title: Crossover from low-temperature to high-temperature fluctuations. I. Thermodynamic Casimir forces of isotropic systems

abstract: We study the crossover from low- to high-temperature fluctuations including critical fluctuations in confined isotropic O$(n)$-symmetric systems on the basis of a finite-size renormalization-group approach at fixed dimension $d$ introduced previously [V. Dohm, Phys. Rev. Lett. {\bf 110}, 107207 (2013)]. Our theory is formulated within the $\varphi^4$ lattice model in a $d$-dimensional block geometry with periodic boundary conditions. We derive the finite-size scaling functions $F^{\text ex}$ and $X$ of the excess free energy density and of the thermodynamic Casimir force, respectively, for $1\leq n \leq \infty$, $2<d<4$. Applications are given for $ L_\parallel^{d-1} \times L$ slab geometries with a finite aspect ratio $\rho=L/L_\parallel$ as well as for the film limit $\rho \to 0$ at fixed $L$. For $n=1$ and $\rho=0$ the low-temperature limits of $F^{\text ex}$ and $X$ vanish whereas they are finite for $n\geq 2$ and $\rho = 0$ due to the effect of the Goldstone modes. For $n=1$ and $\rho>0$ we find a finite low-temperature limit of $F^{\text ex}$ which deviates from that of the the Ising model. We attribute this deviation to the nonuniversal difference between the $\varphi^4$ model with continuous variables $\varphi$ and the Ising model with discrete spin variables $s=\pm1$. For $n\geq 2$ and $\rho>0$, a logarithmic divergence of $F^{\text ex}$ in the low-temperature limit is predicted, in excellent agreement with Monte Carlo (MC) data for the $d=3$ $XY$ model. For $2\leq n \leq \infty$ and $0\leq \rho<\rho_0=0.8567$ the Goldstone modes generate a negative (attractive) low-temperature Casimir force that vanishes for $\rho = \rho_0$ and becomes positive (repulsive) for $\rho > \rho_0$. Our predictions are compared with MC data for Ising, $XY$, and Heisenberg models in slab geometries with $0.01\leq\rho\leq1$. Good overall agreement is found.


title: Ergodicity of the KPZ Fixed Point

abstract: The Kardar-Parisi-Zhang (KPZ) fixed point is a Markov process, recently introduced by Matetski, Quastel, Remenik (arXiv:1701.00018), that describes the limit fluctuations of the height function associated to the totally asymmetric simple exclusion process (TASEP), and it is conjectured to be at the centre of the KPZ universality class. Our main result is that the KPZ incremental process converges weakly to its invariant measure, given by a two-sided Brownian motion with zero drift and diffusion coefficient 2. The heart of the proof is the coupling method that allows us to compare the TASEP height function with its invariant process, which under the KPZ scaling turns into uniform estimates for the KPZ fixed point.


title: Phase diagrams for quantum Brownian motion models on two-dimensional Bravais lattices

abstract: We study quantum Brownian motion (QBM) models for a particle in a dissipative environment coupled to a periodic potential. We review QBM for a particle in a one-dimensional periodic potential and extend the study to that for a particle in two-dimensional (2D) periodic potentials of four Bravais lattice types: square, rectangular, triangular (hexagonal), and centered rectangular. We perform perturbative renormalization group analyses to derive the zero temperature flow diagrams and phase boundaries for a particle in these potentials, and observe localization behavior dependent on the anisotropy of the lattice parameters.


abstract: We review Boltzmann machines and energy-based models. A Boltzmann machine defines a probability distribution over binary-valued patterns. One can learn parameters of a Boltzmann machine via gradient based approaches in a way that log likelihood of data is increased. The gradient and Hessian of a Boltzmann machine admit beautiful mathematical representations, although computing them is in general intractable. This intractability motivates approximate methods, including Gibbs sampler and contrastive divergence, and tractable alternatives, namely energy-based models.


title: The $\mathbb{Z}/p$ ordinary cohomology of $B_G U(1)$

abstract: With $G = \mathbb{Z}/p$, $p$ prime, we calculate the ordinary $G$-cohomology (with Burnside ring coefficients) of $\mathbb{C}P_G^\infty = B_G U(1)$, the complex projective space, a model for the classifying space for $G$-equivariant complex line bundles. The $RO(G)$-graded ordinary cohomology was calculated by Gaunce Lewis, but here we extend to a larger grading in order to capture a more natural set of generators, including the Euler class of the canonical bundle, as well as a significantly simpler set of relations.


title: The Universal Process

abstract: A universal process of a process calculus is one that, given the G\"{o}del index of a process of a certain type, produces a process equivalent to the encoded process. This paper demonstrates how universal processes can be formally defined and how a universal process of the value-passing calculus can be constructed. The existence of such a universal process in a process model can be explored to implement higher order communications, security protocols, and programming languages in the process model. A process version of the S-m-n theorem is stated to showcase how to embed the recursion theory in a process calculus.


title: Modelling Word Burstiness in Natural Language: A Generalised Polya Process for Document Language Models in Information Retrieval

abstract: We introduce a generalised multivariate Polya process for document language modelling. The framework outlined here generalises a number of statistical language models used in information retrieval for modelling document generation. In particular, we show that the choice of replacement matrix M ultimately defines the type of random process and therefore defines a particular type of document language model. We show that a particular variant of the general model is useful for modelling term-specific burstiness. Furthermore, via experimentation we show that this variant significantly improves retrieval effectiveness over a strong baseline on a number of small test collections.


title: Product Matrix Minimum Storage Regenerating Codes with Flexible Number of Helpers

abstract: In coding for distributed storage systems, efficient data reconstruction and repair through accessing a predefined number of arbitrarily chosen storage nodes is guaranteed by regenerating codes. Traditionally, code parameters, specially the number of helper nodes participating in a repair process, are predetermined. However, depending on the state of the system and network traffic, it is desirable to adapt such parameters accordingly in order to minimize the cost of repair. In this work a class of regenerating codes with minimum storage is introduced that can simultaneously operate at the optimal repair bandwidth, for a wide range of exact repair mechanisms, based on different number of helper nodes.


title: Robust and Scalable Power System State Estimation via Composite Optimization

abstract: In today's cyber-enabled smart grids, high penetration of uncertain renewables, purposeful manipulation of meter readings, and the need for wide-area situational awareness, call for fast, accurate, and robust power system state estimation. The least-absolute-value (LAV) estimator is known for its robustness relative to the weighted least-squares (WLS) one. However, due to nonconvexity and nonsmoothness, existing LAV solvers based on linear programming are typically slow, hence inadequate for real-time system monitoring. This paper develops two novel algorithms for efficient LAV estimation, which draw from recent advances in composite optimization. The first is a deterministic linear proximal scheme that handles a sequence of convex quadratic problems, each efficiently solvable either via off-the-shelf algorithms or through the alternating direction method of multipliers. Leveraging the sparse connectivity inherent to power networks, the second scheme is stochastic, and updates only \emph{a few} entries of the complex voltage state vector per iteration. In particular, when voltage magnitude and (re)active power flow measurements are used only, this number reduces to one or two, \emph{regardless of} the number of buses in the network. This computational complexity evidently scales well to large-size power systems. Furthermore, by carefully \emph{mini-batching} the voltage and power flow measurements, accelerated implementation of the stochastic iterations becomes possible. The developed algorithms are numerically evaluated using a variety of benchmark power networks. Simulated tests corroborate that improved robustness can be attained at comparable or markedly reduced computation times for medium- or large-size networks relative to the "workhorse" WLS-based Gauss-Newton iterations.


title: Galois groups of some iterated polynomials over cyclotomic extensions

abstract: Let $\varphi_p(z)=(z-1)^p+2-\zeta_p$, where $\zeta_p\in\bar{\mathbb{Q}}$ is a primitive $p$-th root of unity for some odd prime $p$. Building on previous work, we show that the $n$-th iterate $\varphi_p^n(z)$ has Galois group $[C_p]^n$, an iterated wreath product of cyclic groups, whenever $p$ is not a Wieferich prime.


title: Dilation, functional model and a complete unitary invariant for $C._{0}\,\; \Gamma_n$-contractions

abstract: A commuting tuple of operators $(S_1,\dots, S_{n-1},P)$, defined on a Hilbert space $\mathcal H$, for which the closed symmetrized polydisc \[ \Gamma_n =\left\{ \left(\sum_{1\leq i\leq n} z_i,\sum_{1\leq i<j\leq n}z_iz_j,\dots, \prod_{i=1}^n z_i \right): \,|z_i|\leq 1, i=1,\dots,n \right \} \] is a spectral set, is called a $\Gamma_n$-\textit{contraction}. A $\Gamma_n$-contraction is said to be \textit{pure} or $C._0$ if $P$ is $C._0$, that is, if ${P^*}^n \rightarrow 0$ strongly as $n \rightarrow \infty$. We show that for any $\Gamma_n$-contraction $(S_1,\dots, S_{n-1},P)$, there is a unique operator tuple $(A_1,\dots , A_{n-1})$ that satisfies the operator identities \[ S_i-S_{n-i}^*P=D_PA_iD_P\,, \quad \quad i=1,\dots, n-1. \] This unique tuple is called the \textit{fundamental operator tuple} or $\mathcal F_O$-tuple of $(S_1,\dots, S_{n-1},P)$. With the help of the $\mathcal F_O$-tuple, we construct an operator model for a $C._0 \; \Gamma_n$-contraction and show that there exist $n-1$ operators $C_1,\dots, C_{n-1}$ such that each $S_i$ can be represented as $S_i=C_i+PC_{n-i}^*$. We find an explicit minimal dilation for a class of $C._0 \; \Gamma_n$-contractions whose $\mathcal F_O$-tuples satisfy a certain condition. Also we establish that the $\mathcal F_O$-tuple of $(S_1^*,\dots, S_{n-1}^*,P^*)$ together with the characteristic function of $P$ constitute a complete unitary invariant for the $C._0$ $\Gamma_n$-contractions. The entire program is an analogue of the Nagy-Foias theory for $C._0$ contractions.


title: Sampling with positive definite kernels and an associated dichotomy

abstract: We study classes of reproducing kernels $K$ on general domains; these are kernels which arise commonly in machine learning models; models based on certain families of reproducing kernel Hilbert spaces. They are the positive definite kernels $K$ with the property that there are countable discrete sample-subsets $S$; i.e., proper subsets $S$ having the property that every function in $\mathscr{H}\left(K\right)$ admits an $S$-sample representation. We give a characterizations of kernels which admit such non-trivial countable discrete sample-sets. A number of applications and concrete kernels are given in the second half of the paper.


title: Resolving transition metal chemical space: feature selection for machine learning and structure-property relationships

abstract: Machine learning (ML) of quantum mechanical properties shows promise for accelerating chemical discovery. For transition metal chemistry where accurate calculations are computationally costly and available training data sets are small, the molecular representation becomes a critical ingredient in ML model predictive accuracy. We introduce a series of revised autocorrelation functions (RACs) that encode relationships between the heuristic atomic properties (e.g., size, connectivity, and electronegativity) on a molecular graph. We alter the starting point, scope, and nature of the quantities evaluated in standard ACs to make these RACs amenable to inorganic chemistry. On an organic molecule set, we first demonstrate superior standard AC performance to other presently-available topological descriptors for ML model training, with mean unsigned errors (MUEs) for atomization energies on set-aside test molecules as low as 6 kcal/mol. For inorganic chemistry, our RACs yield 1 kcal/mol ML MUEs on set-aside test molecules in spin-state splitting in comparison to 15-20x higher errors from feature sets that encode whole-molecule structural information. Systematic feature selection methods including univariate filtering, recursive feature elimination, and direct optimization (e.g., random forest and LASSO) are compared. Random-forest- or LASSO-selected subsets 4-5x smaller than RAC-155 produce sub- to 1-kcal/mol spin-splitting MUEs, with good transferability to metal-ligand bond length prediction (0.004-5 {\AA} MUE) and redox potential on a smaller data set (0.2-0.3 eV MUE). Evaluation of feature selection results across property sets reveals the relative importance of local, electronic descriptors (e.g., electronegativity, atomic number) in spin-splitting and distal, steric effects in redox potential and bond lengths.


title: Conversion of Mersenne Twister to double-precision floating-point numbers

abstract: The 32-bit Mersenne Twister generator MT19937 is a widely used random number generator. To generate numbers with more than 32 bits in bit length, and particularly when converting into 53-bit double-precision floating-point numbers in $[0,1)$ in the IEEE 754 format, the typical implementation concatenates two successive 32-bit integers and divides them by a power of $2$. In this case, the 32-bit MT19937 is optimized in terms of its equidistribution properties (the so-called dimension of equidistribution with $v$-bit accuracy) under the assumption that one will mainly be using 32-bit output values, and hence the concatenation sometimes degrades the dimension of equidistribution compared with the simple use of 32-bit outputs. In this paper, we analyze such phenomena by investigating hidden $\mathbb{F}_2$-linear relations among the bits of high-dimensional outputs. Accordingly, we report that MT19937 with a specific lag set fails several statistical tests, such as the overlapping collision test, matrix rank test, and Hamming independence test.


title: A Capacity Scaling Law for Artificial Neural Networks

abstract: We derive the calculation of two critical numbers predicting the behavior of perceptron networks. First, we derive the calculation of what we call the lossless memory (LM) dimension. The LM dimension is a generalization of the Vapnik--Chervonenkis (VC) dimension that avoids structured data and therefore provides an upper bound for perfectly fitting almost any training data. Second, we derive what we call the MacKay (MK) dimension. This limit indicates a 50% chance of not being able to train a given function. Our derivations are performed by embedding a neural network into Shannon's communication model which allows to interpret the two points as capacities measured in bits. We present a proof and practical experiments that validate our upper bounds with repeatable experiments using different network configurations, diverse implementations, varying activation functions, and several learning algorithms. The bottom line is that the two capacity points scale strictly linear with the number of weights. Among other practical applications, our result allows to compare and benchmark different neural network implementations independent of a concrete learning task. Our results provide insight into the capabilities and limits of neural networks and generate valuable know how for experimental design decisions.


title: Improving Deep Learning using Generic Data Augmentation

abstract: Deep artificial neural networks require a large corpus of training data in order to effectively learn, where collection of such training data is often expensive and laborious. Data augmentation overcomes this issue by artificially inflating the training set with label preserving transformations. Recently there has been extensive use of generic data augmentation to improve Convolutional Neural Network (CNN) task performance. This study benchmarks various popular data augmentation schemes to allow researchers to make informed decisions as to which training methods are most appropriate for their data sets. Various geometric and photometric schemes are evaluated on a coarse-grained data set using a relatively simple CNN. Experimental results, run using 4-fold cross-validation and reported in terms of Top-1 and Top-5 accuracy, indicate that cropping in geometric augmentation significantly increases CNN task performance.


title: Tuning the thermal conductance of molecular junctions with interference effects

abstract: We present an \emph{ab initio} study of the role of interference effects in the thermal conductance of single-molecule junctions. To be precise, using a first-principles transport method based on density functional theory, we analyze the coherent phonon transport in single-molecule junctions based on several benzene and oligo-phenylene-ethynylene derivatives. We show that the thermal conductance of these junctions can be tuned via the inclusion of substituents, which induces destructive interference effects and results in a decrease of the thermal conductance with respect to the unmodified molecules. In particular, we demonstrate that these interference effects manifest as antiresonances in the phonon transmission, whose energy positions can be controlled by varying the mass of the substituents. Our work provides clear strategies for the heat management in molecular junctions and more generally in nanostructured metal-organic hybrid systems, which are important to determine, how these systems can function as efficient energy-conversion devices such as thermoelectric generators and refrigerators.


title: Learning to Paraphrase for Question Answering

abstract: Question answering (QA) systems are sensitive to the many different ways natural language expresses the same information need. In this paper we turn to paraphrases as a means of capturing this knowledge and present a general framework which learns felicitous paraphrases for various QA tasks. Our method is trained end-to-end using question-answer pairs as a supervision signal. A question and its paraphrases serve as input to a neural scoring model which assigns higher weights to linguistic expressions most likely to yield correct answers. We evaluate our approach on QA over Freebase and answer sentence selection. Experimental results on three datasets show that our framework consistently improves performance, achieving competitive results despite the use of simple QA models.


title: Joint Multi-view Face Alignment in the Wild

abstract: The de facto algorithm for facial landmark estimation involves running a face detector with a subsequent deformable model fitting on the bounding box. This encompasses two basic problems: i) the detection and deformable fitting steps are performed independently, while the detector might not provide best-suited initialisation for the fitting step, ii) the face appearance varies hugely across different poses, which makes the deformable face fitting very challenging and thus distinct models have to be used (\eg, one for profile and one for frontal faces). In this work, we propose the first, to the best of our knowledge, joint multi-view convolutional network to handle large pose variations across faces in-the-wild, and elegantly bridge face detection and facial landmark localisation tasks. Existing joint face detection and landmark localisation methods focus only on a very small set of landmarks. By contrast, our method can detect and align a large number of landmarks for semi-frontal (68 landmarks) and profile (39 landmarks) faces. We evaluate our model on a plethora of datasets including standard static image datasets such as IBUG, 300W, COFW, and the latest Menpo Benchmark for both semi-frontal and profile faces. Significant improvement over state-of-the-art methods on deformable face tracking is witnessed on 300VW benchmark. We also demonstrate state-of-the-art results for face detection on FDDB and MALF datasets.


title: The rectangular representation of the double affine Hecke algebra via elliptic Schur-Weyl duality

abstract: Given a module $M$ for the algebra $\mathcal{D}_{\mathtt{q}}(G)$ of quantum differential operators on $G$, and a positive integer $n$, we may equip the space $F_n^G(M)$ of invariant tensors in $V^{\otimes n}\otimes M$, with an action of the double affine Hecke algebra of type $A_{n-1}$. Here $G= SL_N$ or $GL_N$, and $V$ is the $N$-dimensional defining representation of $G$. In this paper we take $M$ to be the basic $\mathcal{D}_{\mathtt{q}}(G)$-module, i.e. the quantized coordinate algebra $M= \mathcal{O}_{\mathtt{q}}(G)$. We describe a weight basis for $F_n^G(\mathcal{O}_{\mathtt{q}}(G))$ combinatorially in terms of walks in the type $A$ weight lattice, and standard periodic tableaux, and subsequently identify $F_n^G(\mathcal{O}_{\mathtt{q}}(G))$ with the irreducible "rectangular representation" of height $N$ of the double affine Hecke algebra.


title: Portuguese Word Embeddings: Evaluating on Word Analogies and Natural Language Tasks

abstract: Word embeddings have been found to provide meaningful representations for words in an efficient way; therefore, they have become common in Natural Language Processing sys- tems. In this paper, we evaluated different word embedding models trained on a large Portuguese corpus, including both Brazilian and European variants. We trained 31 word embedding models using FastText, GloVe, Wang2Vec and Word2Vec. We evaluated them intrinsically on syntactic and semantic analogies and extrinsically on POS tagging and sentence semantic similarity tasks. The obtained results suggest that word analogies are not appropriate for word embedding evaluation; task-specific evaluations appear to be a better option.


title: DeepBreath: Deep Learning of Breathing Patterns for Automatic Stress Recognition using Low-Cost Thermal Imaging in Unconstrained Settings

abstract: We propose DeepBreath, a deep learning model which automatically recognises people's psychological stress level (mental overload) from their breathing patterns. Using a low cost thermal camera, we track a person's breathing patterns as temperature changes around his/her nostril. The paper's technical contribution is threefold. First of all, instead of creating hand-crafted features to capture aspects of the breathing patterns, we transform the uni-dimensional breathing signals into two dimensional respiration variability spectrogram (RVS) sequences. The spectrograms easily capture the complexity of the breathing dynamics. Second, a spatial pattern analysis based on a deep Convolutional Neural Network (CNN) is directly applied to the spectrogram sequences without the need of hand-crafting features. Finally, a data augmentation technique, inspired from solutions for over-fitting problems in deep learning, is applied to allow the CNN to learn with a small-scale dataset from short-term measurements (e.g., up to a few hours). The model is trained and tested with data collected from people exposed to two types of cognitive tasks (Stroop Colour Word Test, Mental Computation test) with sessions of different difficulty levels. Using normalised self-report as ground truth, the CNN reaches 84.59% accuracy in discriminating between two levels of stress and 56.52% in discriminating between three levels. In addition, the CNN outperformed powerful shallow learning methods based on a single layer neural network. Finally, the dataset of labelled thermal images will be open to the community.


title: An evaluation of intrusive instrumental intelligibility metrics

abstract: Instrumental intelligibility metrics are commonly used as an alternative to listening tests. This paper evaluates 12 monaural intrusive intelligibility metrics: SII, HEGP, CSII, HASPI, NCM, QSTI, STOI, ESTOI, MIKNN, SIMI, SIIB, and $\text{sEPSM}^\text{corr}$. In addition, this paper investigates the ability of intelligibility metrics to generalize to new types of distortions and analyzes why the top performing metrics have high performance. The intelligibility data were obtained from 11 listening tests described in the literature. The stimuli included Dutch, Danish, and English speech that was distorted by additive noise, reverberation, competing talkers, pre-processing enhancement, and post-processing enhancement. SIIB and HASPI had the highest performance achieving a correlation with listening test scores on average of $\rho=0.92$ and $\rho=0.89$, respectively. The high performance of SIIB may, in part, be the result of SIIBs developers having access to all the intelligibility data considered in the evaluation. The results show that intelligibility metrics tend to perform poorly on data sets that were not used during their development. By modifying the original implementations of SIIB and STOI, the advantage of reducing statistical dependencies between input features is demonstrated. Additionally, the paper presents a new version of SIIB called $\text{SIIB}^\text{Gauss}$, which has similar performance to SIIB and HASPI, but takes less time to compute by two orders of magnitude.


title: Efficient Evaluation of Ellipsoidal Harmonics for Potential Modeling

abstract: Ellipsoidal harmonics are a useful generalization of spherical harmonics but present additional numerical challenges. One such challenge is in computing ellipsoidal normalization constants which require approximating a singular integral. In this paper, we present results for approximating normalization constants using a well-known decomposition and applying tanh-sinh quadrature to the resulting integrals. Tanh-sinh has been shown to be an effective quadrature scheme for a certain subset of singular integrands. To support our numerical results, we prove that the decomposed integrands lie in the space of functions where tanh-sinh is optimal and compare our results to a variety of similar change-of-variable quadratures.


title: Orbital Characteristics of the Subdwarf-B and F V Star Binary EC~20117-4014(=V4640 Sgr)

abstract: Among the competing evolution theories for subdwarf-B (sdB) stars is the binary evolution scenario. EC~20117-4014 (=V4640~Sgr) is a spectroscopic binary system consisting of a pulsating sdB star and a late F main-sequence companion (O'Donoghue et al. 1997), however the period and the orbit semi-major axes have not been precisely determined. This paper presents orbital characteristics of the EC 20117-4014 binary system using 20 years of photometric data. Periodic Observed minus Calculated (O-C) variations were detected in the two highest amplitude pulsations identified in the EC 20117-4014 power spectrum, indicating the binary system's precise orbital period (P = 792.3 days) and the light-travel time amplitude (A = 468.9 s). This binary shows no significant orbital eccentricity and the upper limit of the eccentricity is 0.025 (using 3 $\sigma$ as an upper limit). This upper limit of the eccentricity is the lowest among all wide sdB binaries with known orbital parameters. This analysis indicated that the sdB is likely to have lost its hydrogen envelope through stable Roche lobe overflow, thus supporting hypotheses for the origin of sdB stars. In addition to those results, the underlying pulsation period change obtained from the photometric data was $\dot{P}$ = 5.4 ($\pm$0.7) $\times$ $10^{-14}$ d d$^{-1}$, which shows that the sdB is just before the end of the core helium-burning phase.


title: On Hochschild invariants of Landau-Ginzburg orbifolds

abstract: We develop an approach to calculating the cup and cap products on Hochschild cohomology and homology of curved algebras associated with polynomials and their finite abelian symmetry groups. For polynomials with isolated critical points, the approach yields a complete description of the products. We also reformulate the result for the corresponding categories of equivariant matrix factorizations. In an Appendix written jointly with Alexey Basalaev, we apply the formulas to calculate the Hochschild cohomology of a simple but non-trivial class of so-called invertible LG orbifold models. The resulting algebras turn out to be isomorphic to what has already appeared in the literature on LG mirror symmetry under the name of twisted or orbifolded Milnor/Jacobian algebras. We conjecture that this holds true for all invertible LG models. In the second part of the Appendix, the formulas are applied to a different class of LG orbifolds which have appeared in the context of homological mirror symmetry for varieties of general type as mirror partners of surfaces of genus 2 and higher. In combination with a homological mirror symmetry theorem for the surfaces, our calculation yields a new proof of the fact that the Hochschild cohomology of the Fukaya category of a surface is isomorphic, as an algebra, to the cohomology of the surface.


title: Relationship between the field local quadrature and the quantum discord of a photon-added correlated channel under the influence of scattering and phase fluctuation noise

abstract: We study quantum correlations and discord in a bipartite continuous variable hybrid system formed by linear combinations of coherent states $|\alpha\rangle$ and single photon added coherent states (SPACS) of the form $|\psi\rangle_{\text{dp(pa)}}= \mathcal{N}/\sqrt{2} (\hat{a}^\dagger |\alpha\rangle_a |\alpha\rangle_b \pm \hat{b}^\dagger |\alpha\rangle_a |\alpha\rangle_b)$. We stablish a relationship between the quantum discord with a local observable (the quadrature variance for one sub-system) under the influence of scattering and phase fluctuation noise. For the pure states the quantum correlations are characterized by means of measurement induced disturbance (MID) with simultaneous quadrature measurements. In a scenario where homodyne conditional measurements are available we show that the MID provides an easy way to select optimal phases to obtain information of the maximal correlations in the channels. The quantum correlations of these entangled states with channel losses are quantitatively characterized with the quantum discord (QD) with a displaced qubit projector. We observe that as scattering increases, QD decreases monotonically. At the same time for the state $|\psi\rangle_{\text{dp}}$, QD is more resistant to high phase fluctuations when the average photon number $n_0$ is bigger than zero, but if phase fluctuations are low, QD is more resistant if $n_0=0$. For the dp model with scattering, we obtain an analytical expression of the QD as a function of the observable quadrature variance in a local sub-system. This relation allows us to have a way to obtain the degree of QD in the channel by just measuring a local property observable such as the quadrature variance. For the other model this relation still exists but is explored numerically. This relation is an important result that allows to identify quantum processing capabilities in terms of just local observables.


title: Glassy dynamics of landscape evolution

abstract: Soil creeps imperceptibly downhill, but also fails catastrophically to create landslides. Despite the importance of these processes as hazards and in sculpting landscapes, there is no agreed upon model that captures the full range of behavior. Here we examine the granular origins of hillslope soil transport by Discrete Element Method simulations, and re-analysis of measurements in natural landscapes. We find creep for slopes below a critical gradient, where average particle velocity (sediment flux) increases exponentially with friction coefficient (gradient). At critical there is a continuous transition to a dense-granular flow rheology. Slow earthflows and landslides thus exhibit glassy dynamics characteristic of a wide range of disordered materials; they are described by a two-phase flux equation that emerges from grain-scale friction alone. This glassy model reproduces topographic profiles of natural hillslopes, showing its promise for predicting hillslope evolution over geologic timescales.


title: Weak dependence of phase fraction and dopant concentration in \{beta}, {\alpha} phase mixture of W

abstract: Dopant concentration and $\alpha$, $\beta$ phase fraction is studied in doped W thin films. Oxygen doped $\beta$ W films are found to have 9.0~$\pm$~0.9 at.\% of oxygen as measured from \ac{SIMS}. Whereas, nitrogen doped $\beta$ W films have 0.15~$\pm$~0.02 at.\% of nitrogen, much lower than the theoretically predicted value of 11 at.\%. $\beta$-W films partially phase transform to $\alpha$ by annealing at 175~$^{\circ}$C, up to maximum time of 72 hours. Weak dependence between dopant concentration and phase fraction is observed in the annealed films. The growth exponent of the phase transformation was calculated to be $<$1 in both the films, indicating a non-uniform nucleation of the $\alpha$ phase.


title: Eccentricity Effects on Blur and Depth Perception

abstract: Foveation and focus cue are the two most discussed topics on vision in designing near-eye displays. Foveation reduces rendering load by omitting spatial details in the content that the peripheral vision cannot appreciate; Providing richer focal cue can resolve vergence-accommodation conflict thereby lessening visual discomfort in using near-eye displays. We performed two psychophysical experiments to investigate the relationship between foveation and focus cue. The first study measured blur discrimination sensitivity as a function of visual eccentricity, where we found discrimination thresholds significantly lower than previously reported. The second study measured depth discrimination threshold where we found a clear dependency on visual eccentricity. We discuss the results from the two studies and suggest further investigation.


title: Quantile-based Mean-Field Games with Common Noise

abstract: In this paper we explore the impact of quantiles on optimal strategies under state dynamics driven by both individual noise, common noise and Poisson jumps. We first establish an optimality system satisfied the quantile process under jump terms. We then turn to investigate a new class of finite horizon mean-field games with common noise in which the payoff functional and the state dynamics are dependent not only on the state-action pair but also on conditional quantiles. Based on the best-response of the decision-makers, it is shown that the equilibrium conditional quantile process satisfies a stochastic partial differential equation in the non-degenerate case. A closed-form expression of the quantile process is provided in a basic Ornstein-Uhlenbeck process with common noise.


title: Dual-wavelength generation and tuning by controlling the apodized grating depth in microring resonators

abstract: Here we show a photonic design for tunable dual-wavelength generation deploying optical nonlinear mode coupling of two coupled III-V semiconductor microring resonators (MRRs) connected to a pump and drop waveguide buses. Here one of the two rings contains a grating, while the other has a planar surface. The underling mechanism for the dual wavelength generation originates from the resonance-detuning of the spectra resulting in non-linear mode mixing. Tunability of the wavelengths is achieved by altering the grating depth of the MRR and the power coupling coefficients. For the grating design of the MRR we select a trapezoidal-profiled apodized grating to gain low reflectivity at sidelobes. A time-domain travelling wave (TDTW) analysis gives a InGaAsP core refractive index of 3.3 surrounded by a grating InP cladding with n=3.2. We further confirm that the propagation of a Gaussian pulse input with 10 mW power and bandwidth of 0.76 ps is well confined within the mode propagation of the system. Taken together our results show a 2:1 fan-out of two spectrally separate signals for compact and high functional sources on chip.


title: Superradiance of charged black holes in Einstein-Gauss-Bonnet Gravity

abstract: In this paper we show that electrically charged black holes in Einstein-Gauss-Bonnet gravity suffer from a superradiant instability. It is triggered by a charged scalar field that fulfills Dirichlet boundary conditions at a mirror located outside the horizon. As in General Relativity, the unstable modes exist provided the mirror is located beyond a critical radius, making the instability a long wavelength one. We explore the effects of the Gauss-Bonnet corrections on the critical radius and find evidence that the critical radius decreases as the Gauss-Bonnet coupling $\alpha$ increases. Due to the, up to date, lack of an analytic rotating solution for Einstein-Gauss-Bonnet theory, this is the first example of a superradiant instability in the presence of higher curvature terms in the action.


title: Partially wrapped Fukaya categories of simplicial skeleta

abstract: A class of partially wrapped Fukaya categories in $T^* N$ are proven to be well defined and then studied. In the case of $N$ diffeomorphic to $\mathbb{R}^m \times \mathbb{T}^n$, it is shown that these categories provide homological mirrors to equivariant and non-equivariant categories of coherent sheaves on toric varieties. This gives a new Floer theoretic formulation of mirror symmetry in the non-complete case.


title: More cat than cute? Interpretable Prediction of Adjective-Noun Pairs

abstract: The increasing availability of affect-rich multimedia resources has bolstered interest in understanding sentiment and emotions in and from visual content. Adjective-noun pairs (ANP) are a popular mid-level semantic construct for capturing affect via visually detectable concepts such as "cute dog" or "beautiful landscape". Current state-of-the-art methods approach ANP prediction by considering each of these compound concepts as individual tokens, ignoring the underlying relationships in ANPs. This work aims at disentangling the contributions of the `adjectives' and `nouns' in the visual prediction of ANPs. Two specialised classifiers, one trained for detecting adjectives and another for nouns, are fused to predict 553 different ANPs. The resulting ANP prediction model is more interpretable as it allows us to study contributions of the adjective and noun components. Source code and models are available at https://imatge-upc.github.io/affective-2017-musa2/ .


title: Meta-Learning MCMC Proposals

abstract: Effective implementations of sampling-based probabilistic inference often require manually constructed, model-specific proposals. Inspired by recent progresses in meta-learning for training learning agents that can generalize to unseen environments, we propose a meta-learning approach to building effective and generalizable MCMC proposals. We parametrize the proposal as a neural network to provide fast approximations to block Gibbs conditionals. The learned neural proposals generalize to occurrences of common structural motifs across different models, allowing for the construction of a library of learned inference primitives that can accelerate inference on unseen models with no model-specific training required. We explore several applications including open-universe Gaussian mixture models, in which our learned proposals outperform a hand-tuned sampler, and a real-world named entity recognition task, in which our sampler yields higher final F1 scores than classical single-site Gibbs sampling.


title: Macroscopic Quantum Tunneling in Superconducting Junctions of \beta-Ag$_{2}$Se Topological Insulator Nanowire

abstract: We report on the fabrication and electrical transport properties of superconducting junctions made of \beta-Ag$_{2}$Se topological insulator (TI) nanowires in contact with Al superconducting electrodes. The temperature dependence of the critical current indicates that the superconducting junction belongs to a short and diffusive junction regime. As a characteristic feature of the narrow junction, the critical current decreases monotonously with increasing magnetic field. The stochastic distribution of the switching current exhibits the macroscopic quantum tunneling behavior, which is robust up to T = 0.8 K. Our observations indicate that the TI nanowire-based Josephson junctions can be a promising building block for the development of nanohybrid superconducting quantum bits.


title: Harnessing Correlations in Distributed Erasure-Coded Key-Value Stores

abstract: Motivated by applications of distributed storage systems to key-value stores, the multi-version coding problem was formulated to efficiently store frequently updated data in asynchronous decentralized storage systems. Inspired by consistency requirements in distributed systems, the main goal in the multi-version coding problem is to ensure that the latest possible version of the data is decodable, even if the data updates have not reached some servers in the system. In this paper, we study the storage cost of ensuring consistency for the case where the data versions are correlated, in contrast to previous work where data versions were treated as being independent. We provide multi-version code constructions that show that the storage cost can be significantly smaller than the previous constructions depending on the degree of correlation, despite the asynchrony and the decentralized nature. Our achievability results are based on Reed-Solomon codes and random binning. Through an information-theoretic converse, we show that our multi-version codes are nearly-optimal, within a factor of $2$, in certain interesting regimes.


title: Center conditions: pull back of differential equations

abstract: The space of polynomial differential equations of a fixed degree with a center singularity has many irreducible components. We prove that pull back differential equations form an irreducible component of such a space. The method used in this article is inspired by Ilyashenko and Movasati s method. The main concepts are the Picard Lefschetz theory of a polynomial in two variables with complex coefficients, the Dynkin diagram of the polynomial and the iterated integral.


title: Quaternionic Hyperbolic Fenchel-Nielsen Coordinates

abstract: Let $Sp(2,1)$ be the isometry group of the quaternionic hyperbolic plane ${{\bf H}_{\mathbb H}}^2$. An element $g$ in $Sp(2,1)$ is `hyperbolic' if it fixes exactly two points on the boundary of ${{\bf H}_{\mathbb H}}^2$. We classify pairs of hyperbolic elements in $Sp(2,1)$ up to conjugation. A hyperbolic element of $Sp(2,1)$ is called `loxodromic' if it has no real eigenvalue. We show that the set of $Sp(2,1)$ conjugation orbits of irreducible loxodromic pairs is a $(\mathbb C {\mathbb P}^1)^4$-bundle over a topological space that is locally a semi-analytic subspace of ${\mathbb R}^{13}$. We use the above classification to show that conjugation orbits of `geometric' representations of a closed surface group (of genus $g \geq 2$) into $Sp(2,1)$ can be determined by a system of $42g-42$ real parameters. Further, we consider the groups $Sp(1,1)$ and $GL(2, {\mathbb H})$. These groups also act by the orientation-preserving isometries of the four and five dimensional real hyperbolic spaces respectively. We classify conjugation orbits of pairs of hyperbolic elements in these groups. These classifications determine conjugation orbits of `geometric' surface group representations into these groups.


title: Solitons in a modified discrete nonlinear Schroedinger equation

abstract: We study the bulk and surface nonlinear modes of the modified one-dimensional discrete nonlinear Schroedinger (mDNLS) equation. A linear and a modulational stability analysis of the lowest-order modes is carried out. While for the fundamental bulk mode there is no power threshold, the fundamental surface mode needs a minimum power level to exist. Examination of the time evolution of discrete solitons in the limit of strongly localized modes, suggests ways to manage the Peierls- Nabarro barrier, facilitating in this way a degree of steering. The long-time propagation of an initially localized excitation shows that, at long evolution times, nonlinear effects become negligible and as a result, the propagation becomes ballistic. The similarity of all these results to the ones obtained for the DNLS equation, points out to the robustness of the discrete soliton phenomenology.


title: nuts-flow/ml: data pre-processing for deep learning

abstract: Data preprocessing is a fundamental part of any machine learning application and frequently the most time-consuming aspect when developing a machine learning solution. Preprocessing for deep learning is characterized by pipelines that lazily load data and perform data transformation, augmentation, batching and logging. Many of these functions are common across applications but require different arrangements for training, testing or inference. Here we introduce a novel software framework named nuts-flow/ml that encapsulates common preprocessing operations as components, which can be flexibly arranged to rapidly construct efficient preprocessing pipelines for deep learning.


title: Adiabatic suppression of the axion abundance and isocurvature due to coupling to hidden monopoles

abstract: The string theory predicts many light fields called moduli and axions, which cause a cosmological problem due to the overproduction of their coherent oscillation after inflation. One of the prominent solutions is an adiabatic suppression mechanism, which, however, is non-trivial to achieve in the case of axions because it necessitates a large effective mass term which decreases as a function of time. The purpose of this paper is twofold. First, we provide an analytic method to calculate the cosmological abundance of coherent oscillation in a general situation under the adiabatic suppression mechanism. Secondly, we apply our method to some concrete examples, including the one where a string axion acquires a large effective mass due to the Witten effect in the presence of hidden monopoles.


title: Efficient algorithms for scheduling equal-length jobs with processing set restrictions on uniform parallel batch machines

abstract: We consider the problem of scheduling jobs with equal lengths on uniform parallel batch machines with non-identical capacities where each job can only be processed on a specified subset of machines called its processing set. For the case of equal release times, we give efficient exact algorithms for various objective functions. For the case of unequal release times, we give efficient exact algorithms for minimizing makespan.


title: Mean Curvature Flows of Closed Hypersurfaces in Warped Product Manifolds

abstract: We investigate the mean curvature flows in a class of warped product manifolds with closed hypersurfaces fibering over $\mathbb{R}$. In particular, we prove that under natural conditions on the warping function and Ricci curvature bound for the ambient space, there exists a large class of closed initial hypersurfaces, as geodesic graphs over the totally geodesic hypersurface $\Sigma$, such that the mean curvature flow starting from $S_0$ exists for all time and converges to $\Sigma$.


title: Implementation of Multiparty quantum clock synchronization

abstract: The quantum clock synchronization (QCS) is to measure the time difference among the spatially separated clocks with the principle of quantum mechanics. The first QCS algorithm proposed by Chuang and Jozsa is merely based on two parties, which is further extended and generalized to the multiparty situation by Krco and Paul. They present a multiparty QCS protocol based upon W states that utilizes shared prior entanglement and broadcast of classical information to synchronize spatially separated clocks. Shortly afterwards, Ben-Av and Exman came up with an optimized multiparty QCS using Z state. In this work, we firstly report an implementation of Krco and Ben-AV multiparty QCS algorithm using a four-qubit Nuclear Magnetic Resonance (NMR). The experimental results show a great agreement with the theory and also prove Ben-AV multiparty QCS algorithm more accurate than Krco.


title: Endpoint Sobolev and BV continuity for maximal operators

abstract: In this paper we investigate some questions related to the continuity of maximal operators in $W^{1,1}$ and $BV$ spaces, complementing some well-known boundedness results. Letting $\widetilde M$ be the one-dimensional uncentered Hardy-Littlewood maximal operator, we prove that the map $f \mapsto \big(\widetilde Mf\big)'$ is continuous from $W^{1,1}(\mathbb{R})$ to $L^1(\mathbb{R})$. In the discrete setting, we prove that $\widetilde M: BV(\mathbb{Z}) \to BV(\mathbb{Z})$ is also continuous. For the one-dimensional fractional Hardy-Littlewood maximal operator, we prove by means of counterexamples that the corresponding continuity statements do not hold, both in the continuous and discrete settings, and for the centered and uncentered versions.


title: Large deviation induced phase switch in an inertial majority-vote model

abstract: We theoretically study noise-induced phase switch phenomena in an inertial majority-vote (IMV) model introduced in a recent paper [Phys. Rev. E 95, 042304 (2017)]. The IMV model generates a strong hysteresis behavior as the noise intensity $f$ goes forward and backward, a main characteristic of a first-order phase transition, in contrast to a second-order phase transition in the original MV model. Using the Wentzel-Kramers-Brillouin approximation for the master equation, we reduce the problem to finding the zero-energy trajectories in an effective Hamiltonian system, and the mean switching time depends exponentially on the associated action and the number of particles $N$. Within the hysteresis region, we find that the actions along the optimal forward switching path from ordered phase (OP) to disordered phase (DP) and its backward path, show distinct variation trends with $f$, and intersect at $f=f_c$ that determines the coexisting line of OP and DP. This results in a nonmonotonic dependence of the mean switching time between two symmetric OPs on $f$, with a minimum at $f_c$ for sufficiently large $N$. Finally, the theoretical results are validated by Monte Carlo simulations.


title: Tiered Assessment in Upper-Level Undergraduate Physics

abstract: Tiered assessment is a differentiated assessment strategy where students can choose to attempt advanced assessment tasks. We discuss the use of tiered assessment in second and third year electromagnetics courses.


title: On Edge's correspondence associated with \cdot 222

abstract: We describe explicitly the correspondence of Edge between the set of planes contained in the Fermat cubic 4-fold in characteristic 2, and the set of lattice points T of the Leech lattice such that OABT is a regular tetrahedron, where O is the origin of the Leech lattice, and A and B are fixed points of the Leech lattice such that OAB is a regular triangle of edge length 2. Using this description, we present Conway's isomorphism from PSU(6,4) to \cdot 222 in terms of matrices.


title: Least Sparsity of $p$-norm based Optimization Problems with $p > 1$

abstract: Motivated by $\ell_p$-optimization arising from sparse optimization, high dimensional data analytics and statistics, this paper studies sparse properties of a wide range of $p$-norm based optimization problems with $p > 1$, including generalized basis pursuit, basis pursuit denoising, ridge regression, and elastic net. It is well known that when $p > 1$, these optimization problems lead to less sparse solutions. However, the quantitative characterization of the adverse sparse properties is not available. In this paper, by exploiting optimization and matrix analysis techniques, we give a systematic treatment of a broad class of $p$-norm based optimization problems for a general $p > 1$ and show that optimal solutions to these problems attain full support, and thus have the least sparsity, for almost all measurement matrices and measurement vectors. Comparison to $\ell_p$-optimization with $0 < p \le 1$ and implications to robustness are also given. These results shed light on analysis and computation of general $p$-norm based optimization problems in various applications.


title: Integrating asymptotically-optimal path planning with local optimization

abstract: Many robots operating in unpredictable environments require an online path planning algorithm that can quickly compute high quality paths. Asymptotically optimal planners are capable of finding the optimal path, but can be slow to converge. Local optimisation algorithms are capable of quickly improving a solution, but are not guaranteed to converge to the optimal solution. In this paper we develop a new way to integrate an asymptotically optimal planners with a local optimiser. We test our approach using RRTConnect* with a short-cutting local optimiser. Our approach results in a significant performance improvement when compared with the state-of-the-art RRTConnect* asymptotically optimal planner and computes paths that are 31\% faster to execute when both are given 3 seconds of planning time.


title: Bipartite entanglement in AJL's algorithm for three-strand braids

abstract: Aharonov, Jones, and Landau [Algorithmica 55, 395 (2009)] have presented a polynomial quantum algorithm for approximating the Jones polynomial. We investigate the bipartite entanglement properties in AJL's algorithm for three-strand braids. We re-describe AJL's algorithm as an equivalent algorithm which involves three work qubits in some mixed state coupled to a single control qubit. Furthermore, we use the Peres entanglement criterion to study the entanglement features of the state before measurements present in the re-described algorithm for all bipartitions. We show that the state is a product state relative to the bipartition between the first work qubit and the others. And it has no entanglement between the control qubit and work ones. We also prove a sufficient and necessary condition for its entanglement between the second (third) work qubit and the others. Moreover, we discuss the relation between its bipartite entanglement and elementary crossings in the three-strand braid group. We find that braids whose trace closures are topologically identical may have different entanglement properties in AJL's algorithm.


title: Lower bounds on the sizes of defining sets in full $n$-Latin squares and full designs

abstract: The full $n$-Latin square is the $n\times n$ array with symbols $1,2,\dots ,n$ in each cell. In this paper we show, as part of a more general result, that any defining set for the full $n$-Latin square has size $n^3(1-o(1))$. The full design $N(v,k)$ is the unique simple design with parameters $(v,k,{v-2 \choose k-2})$; that is, the design consisting of all subsets of size $k$ from a set of size $v$. We show that any defining set for the full design $N(v,k)$ has size ${v\choose k}(1-o(1))$ (as $v-k$ becomes large). These results improve existing results and are asymptotically optimal. In particular, the latter result solves an open problem given in (Donovan, Lefevre, et al, 2009), in which it is conjectured that the proportion of blocks in the complement of a full design will asymptotically approach zero.


title: Reconstructing fluid dynamics with micro-finite element

abstract: In the theory of the Navier-Stokes equations, the viscous fluid in incompressible flow is modelled as a homogeneous and dense assemblage of constituent "fluid particles" with viscous stress proportional to rate of strain. The crucial concept of fluid flow is the velocity of the particle that is accelerated by the pressure and viscous interaction around it. In this paper, by virtue of the alternative constituent "micro-finite element", we introduce a set of new intrinsic quantities, called the vortex fields, to characterise the relative orientation between elements and the feature of micro-eddies in the element, while the description of viscous interaction in fluid returns to the initial intuition that the interlayer friction is proportional to the slip strength. Such a framework enables us to reconstruct the dynamics theory of viscous fluid, in which the flowing fluid can be modelled as a finite covering of elements and consequently indicated by a space-time differential manifold that admits complex topological evolution.


title: An appetizer to modern developments on the Kardar-Parisi-Zhang universality class

abstract: The Kardar-Parisi-Zhang (KPZ) universality class describes a broad range of non-equilibrium fluctuations, including those of growing interfaces, directed polymers and particle transport, to name but a few. Since the year 2000, our understanding of the one-dimensional KPZ class has been completely renewed by mathematical physics approaches based on exact solutions. Mathematical physics has played a central role since then, leading to a myriad of new developments, but their implications are clearly not limited to mathematics -- as a matter of fact, it can also be studied experimentally. The aim of these lecture notes is to provide an introduction to the field that is accessible to non-specialists, reviewing basic properties of the KPZ class and highlighting main physical outcomes of mathematical developments since the year 2000. It is written in a brief and self-contained manner, with emphasis put on physical intuitions and implications, while only a small (and mostly not the latest) fraction of mathematical developments could be covered. Liquid-crystal experiments by the author and coworkers are also reviewed.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: The Apollonian circle packing and ample cones for K3 surfaces

abstract: In an earlier work, we gave an Apollonian-like pictorial representation for the ample cone for a class of K3 surfaces. This raises a natural question: Does the Apollonian packing itself represent the ample cone for a K3 surface? In this note, we answer this question in the affirmative.


title: Balanced partitions of 3-colored geometric sets in the plane

abstract: Let $S$ be a finite set of geometric objects partitioned into classes or \emph{colors}. A subset $S'\subseteq S$ is said to be \emph{balanced} if $S'$ contains the same amount of elements of $S$ from each of the colors. We study several problems on partitioning $3$-colored sets of points and lines in the plane into two balanced subsets: (a) We prove that for every 3-colored arrangement of lines there exists a segment that intersects exactly one line of each color, and that when there are $2m$ lines of each color, there is a segment intercepting $m$ lines of each color. (b) Given $n$ red points, $n$ blue points and $n$ green points on any closed Jordan curve $\gamma$, we show that for every integer $k$ with $0 \leq k \leq n$ there is a pair of disjoint intervals on $\gamma$ whose union contains exactly $k$ points of each color. (c) Given a set $S$ of $n$ red points, $n$ blue points and $n$ green points in the integer lattice satisfying certain constraints, there exist two rays with common apex, one vertical and one horizontal, whose union splits the plane into two regions, each one containing a balanced subset of $S$.


title: Helly Numbers of Polyominoes

abstract: We define the Helly number of a polyomino $P$ as the smallest number $h$ such that the $h$-Helly property holds for the family of symmetric and translated copies of $P$ on the integer grid. We prove the following: (i) the only polyominoes with Helly number 2 are the rectangles, (ii) there does not exist any polyomino with Helly number 3, (iii) there exist polyominoes of Helly number $k$ for any $k\neq 1,3$.


title: Geodesic Order Types

abstract: The geodesic between two points $a$ and $b$ in the interior of a simple polygon~$P$ is the shortest polygonal path inside $P$ that connects $a$ to $b$. It is thus the natural generalization of straight line segments on unconstrained point sets to polygonal environments. In this paper we use this extension to generalize the concept of the order type of a set of points in the Euclidean plane to geodesic order types. In particular, we show that, for any set $S$ of points and an ordered subset $\mathcal{B} \subseteq S$ of at least four points, one can always construct a polygon $P$ such that the points of $\mathcal{B}$ define the geodesic hull of~$S$ w.r.t.~$P$, in the specified order. Moreover, we show that an abstract order type derived from the dual of the Pappus arrangement can be realized as a geodesic order type.


title: Nonsymmetric Algebraic Multigrid Based on Local Approximate Ideal Restriction (lAIR)

abstract: Algebraic multigrid (AMG) solvers and preconditioners are some of the fastest numerical methods to solve linear systems, particularly in a parallel environment, scaling to hundreds of thousands of cores. Most AMG methods and theory assume a symmetric positive definite operator. This paper presents a new variation on classical AMG for nonsymmetric matrices (denoted lAIR), based on a local approximation to the ideal restriction operator, coupled with F-relaxation. A new block decomposition of the AMG error-propagation operator is used for a spectral analysis of convergence, and the efficacy of the algorithm is demonstrated on systems arising from the discrete form of the advection-diffusion-reaction equation. lAIR is shown to be a robust solver for various discretizations of the advection-diffusion-reaction equation, including time-dependent and steady-state, from purely advective to purely diffusive. Convergence is robust for discretizations on unstructured meshes and using higher-order finite elements, and is particularly effective on upwind discontinuous Galerkin discretizations. Although the implementation used here is not parallel, each part of the algorithm is highly parallelizable, avoiding common multigrid adjustments for strong advection such as line-relaxation and K- or W-cycles that can be effective in serial, but suffer from high communication costs in parallel, limiting their scalability.


title: Laplace's equation with concave and convex boundary nonlinearities on an exterior region

abstract: This paper studies Laplace's equation $-\Delta\,u=0$ in an exterior region $U\varsubsetneq{\mathbb R}^N$, when $N\geq3$, subject to the nonlinear boundary condition $\frac{\partial u}{\partial\nu}=\lambda{\left\vert{u}\right\vert}^{q-2}u+\mu{\left\vert{u}\right\vert}^{p-2}u$ on $\partial U$ with $1<q<2<p<2^*$. In the function space $\mathscr{H}\left(U\right)$, one observes when $\lambda>0$ and $\mu\in\mathbb R$ arbitrary, then there exists a sequence $\left\{u_k\right\}$ of solutions with negative energy converging to $0$ as $k\to\infty$; on the other hand, when $\lambda\in\mathbb R$ and $\mu>0$ arbitrary, then there exists a sequence $\left\{\tilde{u}_k\right\}$ of solutions with positive and unbounded energy. Also, associated with the $p$-Laplacian equation $-\Delta_p\,u=0$, the exterior $p$-harmonic Steklov eigenvalue problems are described.


title: Finding shorter paths for robot arms using their redundancy

abstract: Many robot arms can accomplish one task using many different joint configurations. Often only one of these configurations is used as a goal by the path planner. Ideally the robot's path planner would be able to use the extra configurations to find higher quality paths. In this paper we use the extra goal configurations to find significantly shorter paths that are faster to execute compared to a planner that chooses one goal configuration arbitrarily. In a grape vine pruning robot arm experiment our proposed approach reduced execution times by 58%.


title: Vector Space Model as Cognitive Space for Text Classification

abstract: In this era of digitization, knowing the user's sociolect aspects have become essential features to build the user specific recommendation systems. These sociolect aspects could be found by mining the user's language sharing in the form of text in social media and reviews. This paper describes about the experiment that was performed in PAN Author Profiling 2017 shared task. The objective of the task is to find the sociolect aspects of the users from their tweets. The sociolect aspects considered in this experiment are user's gender and native language information. Here user's tweets written in a different language from their native language are represented as Document - Term Matrix with document frequency as the constraint. Further classification is done using the Support Vector Machine by taking gender and native language as target classes. This experiment attains the average accuracy of 73.42% in gender prediction and 76.26% in the native language identification task.


title: Likely Transiting Exocomets Detected by Kepler

abstract: We present the first good evidence for exocomet transits of a host star in continuum light in data from the Kepler mission. The Kepler star in question, KIC 3542116, is of spectral type F2V and is quite bright at K_p = 10. The transits have a distinct asymmetric shape with a steeper ingress and slower egress that can be ascribed to objects with a trailing dust tail passing over the stellar disk. There are three deeper transits with depths of ~0.1% that last for about a day, and three that are several times more shallow and of shorter duration. The transits were found via an exhaustive visual search of the entire Kepler photometric data set, which we describe in some detail. We review the methods we use to validate the Kepler data showing the comet transits, and rule out instrumental artefacts as sources of the signals. We fit the transits with a simple dust-tail model, and find that a transverse comet speed of ~35-50 km/s and a minimum amount of dust present in the tail of ~10^16 g are required to explain the larger transits. For a dust replenishment time of ~10 days, and a comet lifetime of only ~300 days, this implies a total cometary mass of > 3 x 10^17 g, or about the mass of Halley's comet. We also discuss the number of comets and orbital geometry that would be necessary to explain the six transits detected over the four years of Kepler prime-field observations. Finally, we also report the discovery of a single comet-shaped transit in KIC 11084727 with very similar transit and host-star properties.


title: On Atiyah-Singer and Atiyah-Bott for finite abstract simplicial complexes

abstract: A linear or multi-linear valuation on a finite abstract simplicial complex can be expressed as an analytic index dim(ker(D)) -dim(ker(D^*)) of a differential complex D:E -> F. In the discrete, a complex D can be called elliptic if a McKean-Singer spectral symmetry applies as this implies str(exp(-t D^2)) is t-independent. In that case, the analytic index of D is the sum of (-1)^k b_k(D), where b_k(D) is the k'th Betti number, which by Hodge is the nullity of the (k+1)'th block of the Hodge operator L=D^2. It can also be written as a topological index summing K(v) over the set of zero-dimensional simplices in G and where K is an Euler type curvature defined by G and D. This can be interpreted as a Atiyah-Singer type correspondence between analytic and topological index. Examples are the de Rham differential complex for the Euler characteristic X(G) or the connection differential complex for Wu characteristic w_k(G). Given an endomorphism T of an elliptic complex, the Lefschetz number X(T,G,D) is defined as the super trace of T acting on cohomology defined by E. It is equal to the sum i(v) over V which are contained in fixed simplices of T, and i is a Brouwer type index. This Atiyah-Bott result generalizes the Brouwer-Lefschetz fixed point theorem for an endomorphism of the simplicial complex G. In both the static and dynamic setting, the proof is done by heat deforming the Koopman operator U(T) to get the cohomological picture str(exp(-t D^2) U(T)) in the limit t to infinity and then use Hodge, and then by applying a discrete gradient flow to the simplex data defining the valuation to push str(U(T)) to V, getting curvature K(v) or the Brouwer type index i(v).


title: Compact modes in quasi one dimensional coupled magnetic oscillators

abstract: In this work we study analytically and numerically the spectrum and localization properties of three quasi-one-dimensional (ribbons) split-ring resonator arrays which possess magnetic flatbands, namely, the stub, Lieb and kagome lattices, and how their spectra is affected by the presence of perturbations that break the delicate geometrical interference needed for a magnetic flatband to exist. We find that the Stub and Lieb ribbons are stable against the three types of perturbations considered here, while the kagome ribbon is, in general, unstable. When losses are incorporated, all flatbands remain dispersionless but become complex, with the kagome ribbon exhibiting the highest loss rate.


title: The relationships between PM2.5 and meteorological factors in China: Seasonal and regional variations

abstract: The interactions between PM2.5 and meteorological factors play a crucial role in air pollution analysis. However, previous studies that have researched the relationships between PM2.5 concentration and meteorological conditions have been mainly confined to a certain city or district, and the correlation over the whole of China remains unclear. Whether or not spatial and seasonal variations exit deserves further research. In this study, the relationships between PM2.5 concentration and meteorological factors were investigated in 74 major cities in China for a continuous period of 22 months from February 2013 to November 2014, at season, year, city, and regional scales, and the spatial and seasonal variations were analyzed. The meteorological factors were relative humidity (RH), temperature (TEM), wind speed (WS), and surface pressure (PS). We found that spatial and seasonal variations of their relationships with PM2.5 do exist. Spatially, RH is positively correlated with PM2.5 concentration in North China and Urumqi, but the relationship turns to negative in other areas of China. WS is negatively correlated with PM2.5 everywhere expect for Hainan Island. PS has a strong positive relationship with PM2.5 concentration in Northeast China and Mid-south China, and in other areas the correlation is weak. Seasonally, the positive correlation between PM2.5 concentration and RH is stronger in winter and spring. TEM has a negative relationship with PM2.5 in autumn and the opposite in winter. PS is more positively correlated with PM2.5 in autumn than in other seasons. Our study investigated the relationships between PM2.5 and meteorological factors in terms of spatial and seasonal variations, and the conclusions about the relationships between PM2.5 and meteorological factors are more comprehensive and precise than before.


title: The Microsoft 2017 Conversational Speech Recognition System

abstract: We describe the 2017 version of Microsoft's conversational speech recognition system, in which we update our 2016 system with recent developments in neural-network-based acoustic and language modeling to further advance the state of the art on the Switchboard speech recognition task. The system adds a CNN-BLSTM acoustic model to the set of model architectures we combined previously, and includes character-based and dialog session aware LSTM language models in rescoring. For system combination we adopt a two-stage approach, whereby subsets of acoustic models are first combined at the senone/frame level, followed by a word-level voting via confusion networks. We also added a confusion network rescoring step after system combination. The resulting system yields a 5.1\% word error rate on the 2000 Switchboard evaluation set.


title: Theory and practice of simulation of optical tweezers

abstract: Computational modelling has made many useful contributions to the field of optical tweezers. One aspect in which it can be applied is the simulation of the dynamics of particles in optical tweezers. This can be useful for systems with many degrees of freedom, and for the simulation of experiments. While modelling of the optical force is a prerequisite for simulation of the motion of particles in optical traps, non-optical forces must also be included; the most important are usually Brownian motion and viscous drag. We discuss some applications and examples of such simulations. We review the theory and practical principles of simulation of optical tweezers, including the choice of method of calculation of optical force, numerical solution of the equations of motion of the particle, and finish with a discussion of a range of open problems.


title: Scientific Information Extraction with Semi-supervised Neural Tagging

abstract: This paper addresses the problem of extracting keyphrases from scientific articles and categorizing them as corresponding to a task, process, or material. We cast the problem as sequence tagging and introduce semi-supervised methods to a neural tagging model, which builds on recent advances in named entity recognition. Since annotated training data is scarce in this domain, we introduce a graph-based semi-supervised algorithm together with a data selection scheme to leverage unannotated articles. Both inductive and transductive semi-supervised learning strategies outperform state-of-the-art information extraction performance on the 2017 SemEval Task 10 ScienceIE task.


title: The equations defining affine Grassmannians in type A and a conjecture of Kreiman, Lakshmibai, Magyar, and Weyman

abstract: The affine Grassmannian of $SL_n$ admits an embedding into the Sato Grassmannian, which further admits a Pl\"ucker embedding into the projectivization of Fermion Fock space. Kreiman, Lakshmibai, Magyar, and Weyman describe the linear part of the ideal defining this embedding in terms of certain elements of the dual of Fock space called "shuffles", and they conjecture that these elements together with the Pl\"ucker relations suffice to cut out the affine Grassmannian. We give a proof of this conjecture in two steps: first we reinterpret the shuffles equations in terms of Frobenius twists of symmetric functions. Using this, we reduce to a finite dimensional-problem, which we solve. For the second step we introduce a finite-dimensional analogue of the affine Grassmannians of $SL_n$, which we conjecture to be precisely the reduced subscheme of a finite-dimensional Grassmannian consisting of subspaces invariant under a nilpotent operator.


title: ExSIS: Extended Sure Independence Screening for Ultrahigh-dimensional Linear Models

abstract: Statistical inference can be computationally prohibitive in ultrahigh-dimensional linear models. Correlation-based variable screening, in which one leverages marginal correlations for removal of irrelevant variables from the model prior to statistical inference, can be used to overcome this challenge. Prior works on correlation-based variable screening either impose statistical priors on the linear model or assume specific post-screening inference methods. This paper first extends the analysis of correlation-based variable screening to arbitrary linear models and post-screening inference techniques. In particular, (i) it shows that a condition---termed the screening condition---is sufficient for successful correlation-based screening of linear models, and (ii) it provides insights into the dependence of marginal correlation-based screening on different problem parameters. Numerical experiments confirm that these insights are not mere artifacts of analysis; rather, they are reflective of the challenges associated with marginal correlation-based variable screening. Second, the paper explicitly derives the screening condition for arbitrary (random or deterministic) linear models and, in the process, it establishes that---under appropriate conditions---it is possible to reduce the dimension of an ultrahigh-dimensional, arbitrary linear model to almost the sample size even when the number of active variables scales almost linearly with the sample size. Third, it specializes the screening condition to sub-Gaussian linear models and contrasts the final results to those existing in the literature. This specialization formally validates the claim that the main result of this paper generalizes existing ones on correlation-based screening.


title: Non-commutative Probability Theory for Topological Data Analysis

abstract: Recent developments have found unexpected connections between non-commutative probability theory and algebraic topology. In particular, Boolean cumulants functionals seem to be important for describing morphisms of homotopy operadic algebras. We provide new elementary examples which clearly resemble a connection between algebraic topology and non-commutative probability, based on spectral graph theory. These observations are important for bringing new ideas from non-commutative probability into TDA and stochastic topology, and in the opposite direction.


title: Equivariant localization and completion in cyclic homology and derived loop spaces

abstract: We prove an equivariant localization theorem over an algebraically closed field of characteristic zero for smooth quotient stacks by reductive groups $X/G$ in the setting of derived loop spaces as well as Hochschild homology and its cyclic variants. We show that the derived loop spaces of the stack $X/G$ and its classical $z$-fixed point stack $\pi_0(X^z)/G^z$ become equivalent after completion along a semisimple parameter $[z] \in G//G$, implying the analogous statement for Hochschild and cyclic homology of the dg category of perfect complexes $\text{Perf}(X/G)$. We then prove an analogue of the Atiyah-Segal completion theorem in the setting of periodic cyclic homology, where the completion of the periodic cyclic homology of $\text{Perf}(X/G)$ at the identity $[e] \in G//G$ is identified with a 2-periodic version of the derived de Rham cohomology of $X/G$. Together, these results identify the completed periodic cyclic homology of a stack $X/G$ over a parameter $[z] \in G//G$ with the 2-periodic derived de Rham cohomology of its $z$-fixed points.


title: First passage problems for upwards skip-free random walks via the $\Phi,W,Z$ paradigm

abstract: We develop the theory of the $W$ and $Z$ scale functions for right-continuous (upwards skip-free) discrete-time discrete-space random walks, along the lines of the analogue theory for spectrally negative L\'evy processes. Notably, we introduce for the first time in this context the one and two-parameter scale functions $Z$, which appear for example in the joint problem of deficit at ruin and time of ruin, and in problems concerning the walk reflected at an upper barrier. Comparisons are made between the various theories of scale functions as one makes time and/or space continuous. The theory is shown to be fruitful by providing a convenient unified framework for studying dividends-capital injection problems under various objectives, for the so-called compound binomial risk model of actuarial science.


title: Block Markov Superposition Transmission of BCH Codes with Iterative Erasures-and-Errors Decoders

abstract: In this paper, we present the block Markov superposition transmission of BCH (BMST-BCH) codes, which can be constructed to obtain a very low error floor. To reduce the implementation complexity, we design a low complexity iterative sliding-window decoding algorithm, in which only binary and/or erasure messages are processed and exchanged between processing units. The error floor can be predicted by a genie-aided lower bound, while the waterfall performance can be analyzed by the density evolution method. To evaluate the error floor of the constructed BMST-BCH codes at a very low bit error rate (BER) region, we propose a fast simulation approach. Numerical results show that, at a target BER of $10^{-15}$, the hard-decision decoding of the BMST-BCH codes with overhead $25\%$ can achieve a net coding gain (NCG) of $10.55$ dB. Furthermore, the soft-decision decoding can yield an NCG of $10.74$ dB. The construction of BMST-BCH codes is flexible to trade off latency against performance at all overheads of interest and may find applications in optical transport networks as an attractive~candidate.


title: Extensions of tensor products of ${\mathbb Z}_p$-orbifold models of the lattice vertex operator algebra $V_{\sqrt{2}A_{p-1}}$

abstract: Let $p$ be an odd prime and let $\widehat{\sigma}$ be an order $p$ automorphism of $V_{\sqrt{2}A_{p-1}}$ which is a lift of a $p$-cycle in the Weyl group ${\rm Weyl}(A_{p-1})\cong {\mathfrak S}_p$. We study a certain extension $V$ of a tensor product of finitely many copies of the orbifold model $V_{\sqrt{2}A_{p-1}}^{\langle \widehat{\sigma} \rangle}$ and give a criterion for $V$ that every irreducible $V$-module is a simple current.


title: The perimeter of uniform and geometric words: a probabilistic analysis

abstract: Let a word be a sequence of $n$ i.i.d. integer random variables. The perimeter $P$ of the word is the number of edges of the word, seen as a polyomino. In this paper, we present a probabilistic approach to the computation of the moments of $P$. This is applied to uniform and geometric random variables. We also show that, asymptotically, the distribution of $P$ is Gaussian and, seen as a stochastic process, the perimeter converges in distribution to a Brownian motion


title: Asymptotic Expansions and Solitons of the Camassa-Holm Nonlinear Schrodinger Equation

abstract: We study a deformation of the defocusing nonlinear Schr\"odinger (NLS) equation, the defocusing Camassa- Holm NLS, hereafter referred to as CH-NLS equation. We use asymptotic multiscale expansion methods to reduce this model to a Boussinesq-like equation, which is then subsequently approximated by two Korteweg-de Vries (KdV) equations for left- and right-traveling waves. We use the soliton solution of the KdV equation to construct approximate solutions of the CH-NLS system. It is shown that these solutions may have the form of either dark or antidark solitons, namely dips or humps on top of a stable continuous-wave background. We also use numerical simulations to investigate the validity of the asymptotic solutions, study their evolution, and their head-on collisions. It is shown that small-amplitude dark and antidark solitons undergo quasi-elastic collisions.


title: Calibration of colour gradient bias in shear measurement using HST/CANDELS data

abstract: Accurate shape measurements are essential to infer cosmological parameters from large area weak gravitational lensing studies. The compact diffraction-limited point-spread function (PSF) in space-based observations is greatly beneficial, but its chromaticity for a broad band observation can lead to new subtle effects that could hitherto be ignored: the PSF of a galaxy is no longer uniquely defined and spatial variations in the colours of galaxies result in biases in the inferred lensing signal. Taking Euclid as a reference, we show that this colourgradient bias (CG bias) can be quantified with high accuracy using available multi-colour Hubble Space Telescope (HST) data. In particular we study how noise in the HST observations might impact such measurements and find this to be negligible. We determine the CG bias using HST observations in the F606W and F814W filters and observe a correlation with the colour, in line with expectations, whereas the dependence with redshift is weak. The biases for individual galaxies are generally well below 1%, which may be reduced further using morphological information from the Euclid data. Our results demonstrate that CG bias should not be ignored, but it is possible to determine its amplitude with sufficient precision, so that it will not significantly bias the weak lensing measurements using Euclid data.


title: Low Background Gamma Spectroscopy at the Boulby Underground Laboratory

abstract: The Boulby Underground Germanium Suite (BUGS) comprises three low background, high-purity germanium detectors operating in the Boulby Underground Laboratory, located 1.1 km underground in the north-east of England, UK. BUGS utilises three types of detector to facilitate a high-sensitivity, high-throughput radioassay programme to support the development of rare-event search experiments. A Broad Energy Germanium (BEGe) detector delivers sensitivity to low-energy gamma-rays such as those emitted by 210Pb and 234Th. A Small Anode Germanium (SAGe) well-type detector is employed for efficient screening of small samples. Finally, a standard p-type coaxial detector provides fast screening of standard samples. This paper presents the steps used to characterise the performance of these detectors for a variety of sample geometries, including the corrections applied to account for cascade summing effects. For low-density materials, BUGS is able to radio-assay to specific activities down to 3.6 mBq/kg for 234Th and 6.6 mBq/kg for 210Pb both of which have uncovered some significant equilibrium breaks in the 238U chain. In denser materials, where gamma-ray self-absorption increases, sensitivity is demonstrated to specific activities of 0.9 mBq/kg for 226Ra, 1.1 mBq/kg for 228 Ra, 0.3 mBq/kg for 224Ra, and 8.6 mBq/kg for 40K with all upper limits at a 90% confidence level. These meet the requirements of most screening campaigns presently under way for rare-event search experiments, such as the LUX-ZEPLIN (LZ) dark matter experiment. We also highlight the ability of the BEGe detector to probe the X-ray fluorescence region which can be important to identify the presence of radioisotopes associated with neutron production; this is of particular relevance in experiments sensitive to nuclear recoils.


title: Free skew monoidal categories

abstract: In the paper "Triangulations, orientals, and skew monoidal categories", the free monoidal category Fsk on a single generating object was described. We sharpen this by giving a completely explicit description of Fsk, and so of the free skew monoidal category on any category. As an application we describe adjunctions between the operad for skew monoidal categories and various simpler operads. For a particular such operad L, we identify skew monoidal categories with certain colax L-algebras.


title: Skew monoidal categories and skew multicategories

abstract: We describe a perfect correspondence between skew monoidal categories and certain generalised multicategories, called skew multicategories, that arise in nature.


title: Spin-orbit coupling in three-orbital Kanamori impurity model and its relevance for transition-metal oxides

abstract: We investigate the effects of the spin-orbit coupling (SOC) in a three-orbital impurity model with Kanamori interaction using the numerical renormalization group method. We focus on the impurity occupancy $N_d=2$ relevant to the dynamical mean-field theory studies of Hund's metals. Depending on the strength of SOC $\lambda$ we identify three regimes: usual Hund's impurity for $|\lambda|<\lambda_c$, van-Vleck non-magnetic impurity for $\lambda > \lambda_c$, and a $J=2$ impurity for $\lambda < -\lambda_c$. They all correspond to a Fermi liquid but with very different quasiparticle phase shifts and different physical properties. The crossover between these regimes is controlled by an emergent scale, the orbital Kondo temperature, $\lambda_c =T_K^\mathrm{orb}$ that drops with increasing interaction strength. This implies that oxides with strong electronic correlations are more prone to the effects of the spin-orbit coupling.


title: The strong Rees property of powers of the maximal ideal and Takahashi-Dao's question

abstract: In this paper, we introduce the notion of the strong Rees property (SRP) for $\mathfrak{m}$-primary ideals of a Noetherian local ring and prove that any power of the maximal ideal $\mathfrak{m}$ has its property if the associated graded ring $G$ of $\mathfrak{m}$ satisfies $\text{depth} \ G \ge 2$. As its application, we characterize two-dimensional excellent normal local domains so that $\mathfrak{m}$ is a $p_g$-ideal. Finally we ask what $\mathfrak{m}$-primary ideals have SRP and state a conjecture which characterizes the case when $\mathfrak{m}^n$ are the only ideals which have SRP.


title: States on EMV-algebras

abstract: We define a state as a $[0,1]$-valued, finitely additive function attaining the value $1$ on an EMV-algebra, which is an algebraic structure close to MV-algebras, where the top element is not assumed. We show that states always exist, the extremal states are exactly state-morphisms. Nevertheless the state space is a convex space that is not necessarily compact, a variant of the Krein--Mil'man theorem saying states are generated by extremal states, is proved. We define a weaker form of states, pre-states and strong pre-states, and also Jordan signed measures which form a Dedekind complete $\ell$-group. Finally, we show that every state can be represented by a unique regular probability measure, and a variant of the Horn--Tarski theorem is proved.


title: On Voisin's conjecture for zero-cycles on hyperkaehler varieties

abstract: Motivated by the Bloch-Beilinson conjectures, Voisin has made a conjecture concerning zero-cycles on self-products of Calabi-Yau varieties. We reformulate Voisin's conjecture in the setting of hyperk\"ahler varieties, and we prove this reformulated conjecture for one family of hyperk\"ahler fourfolds.


title: Topological Wiener-Wintner ergodic theorem with polynomial weights

abstract: For a totally uniquely ergodic dynamical system, we prove a topological Wiener-Wintner ergodic theorem with polynomial weights under the coincidence of the quasi discrete spectrums of the system in both senses of Abramov and of Hahn-Parry. The result applies to ergodic nilsystems. Fully oscillating sequences can then be constructed on nilmanifolds.


title: Some Calabi-Yau fourfolds verifying Voisin's conjecture

abstract: Motivated by the Bloch-Beilinson conjectures, Voisin has made a conjecture concerning the behaviour of zero-cycles on self-products of Calabi-Yau varieties. This note contains some examples of Calabi-Yau fourfolds verifying Voisin's conjecture.


title: MW-motivic complexes

abstract: The aim of this work is to develop a theory parallel to that of motivic complexes based on cycles and correspondences with coefficients in quadratic forms. This framework is closer to the point of view of $\mathbb{A}^1$-homotopy than the original one envisioned by Beilinson and set up by Voevodsky.


title: Tests of bottom quark CSM properties

abstract: We look for possible (partial) compositeness properties of the bottom quark according to the Composite Standard Model (CSM) concept in the same way this was previously done for Higgs boson and top quark. After looking at the direct form factor effects appearing in $e^+e^-\to b\bar b$ we analyze the more complex features of the $e^+e^-, gg, \gamma\gamma \to b\bar b H, b\bar b Z, t\bar b W^-$ processes. We emphasize typical differences appearing between CSM concerving and CSM violating cases. We also mention the possible appearence of an effective bottom mass.


title: Membrane undulations in a structured fluid: Universal dynamics at intermediate length and time scales

abstract: The dynamics of membrane undulations inside a viscous solvent is governed by distinctive, anomalous, power laws. Inside a viscoelastic continuous medium these universal behaviors are modified by the specific bulk viscoelastic spectrum. Yet, in structured fluids the continuum limit is reached only beyond a characteristic correlation length. We study the crossover to this asymptotic bulk dynamics. The analysis relies on a recent generalization of the hydrodynamic interaction in structured fluids, which shows a slow spatial decay of the interaction toward the bulk limit. For membranes which are weakly coupled to the structured medium we find a wide crossover regime characterized by different, universal, dynamic power laws. We discuss various systems for which this behavior is relevant, and delineate the time regime over which it may be observed.


title: A cancellation theorem for Milnor-Witt correspondences

abstract: We show that finite Milnor-Witt correspondences satisfy a cancellation theorem with respect to the pointed multiplicative group scheme. This has several notable applications in the theory of Milnor-Witt motives and Milnor-Witt motivic cohomology.


title: Fundamental models in nonlinear acoustics part I. Analytical comparison

abstract: This work is concerned with the study of fundamental models from nonlinear acoustics. In Part~I, a hierarchy of nonlinear damped wave equations arising in the description of sound propagation in thermoviscous fluids is deduced. In particular, a rigorous justification of two classical models, the Kuznetsov and Westervelt equations, retained as limiting systems for consistent initial data, is given. Numerical comparisons that confirm and complement the theoretical results are provided in Part~II.


title: A comparison theorem for MW-motivic cohomology

abstract: We prove that for a finitely generated field over an infinite perfect field k, and for any integer n, the (n,n)-th MW-motivic cohomology group identifies with the n-th Milnor-Witt K-theory group of that field


title: Twisted Photons: New Quantum Perspectives in High Dimensions

abstract: Quantum information science and quantum information technology have seen a virtual explosion world-wide. It is all based on the observation that fundamental quantum phenomena on the individual particle or system-level lead to completely novel ways of encoding, processing and transmitting information. Quantum mechanics, a child of the first third of the 20th century, has found numerous realizations and technical applications, much more than was thought at the beginning. Decades later, it became possible to do experiments with individual quantum particles and quantum systems. This was due to technological progress, and for light in particular, the development of the laser. Hitherto, nearly all experiments and also nearly all realizations in the fields have been performed with qubits, which are two-level quantum systems. We suggest that this limitation is again mainly a technological one, because it is very difficult to create, manipulate and measure more complex quantum systems. Here, we provide a specific overview of some recent developments with higher-dimensional quantum systems. We mainly focus on Orbital Angular Momentum (OAM) states of photons and possible applications in quantum information protocols. Such states form discrete higher-dimensional quantum systems, also called qudits. Specifically, we will first address the question what kind of new fundamental properties exist and the quantum information applications which are opened up by such novel systems. Then we give an overview of recent developments in the field by discussing several notable experiments over the past 2-3 years. Finally, we conclude with several important open questions which will be interesting for investigations in the future.


title: The Milnor-Witt motivic ring spectrum and its associated theories

abstract: We build a ring spectrum representing Milnor-Witt motivic cohomology, as well as its \'etale local version and show how to deduce out of it three other theories: Borel-Moore homology, cohomology with compact support and homology. These theories, as well as the usual cohomology, are defined for singular schemes and satisfy the properties of their motivic analog (and more), up to considering more general twists. In fact, the whole formalism of these four theories can be functorially attached to any ring spectrum, giving finally maps between the Milnor-Witt motivic ones to the classical motivic ones.


title: Small Embedding Characterizations for Large Cardinals

abstract: We show that many large cardinal notions can be characterized in terms of the existence of certain elementary embeddings between transitive set-sized structures, that map their critical point to the large cardinal in question. In particular, we provide such embedding characterizations also for several large cardinal notions for which no embedding characterizations have been known so far, namely for subtle, for ineffable, and for $\lambda$-ineffable cardinals. As an application, which we will study in detail in a subsequent paper, we present the basic idea of our concept of internal large cardinals. We provide the definition of certain kinds of internally subtle, internally $\lambda$-ineffable and internally supercompact cardinals, and show that these correspond to generalized tree properties, that were investigated by Wei\ss\ in his [16] and [17], and by Viale and Wei\ss\ in [15]. In particular, this yields new proofs of Wei\ss 's results from [16] and [17], eliminating problems contained in the original proofs.


title: An adaptive C0IPG method for the Helmholtz transmission eigenvalue problem

abstract: The interior penalty methods using $C^0$ Lagrange elements ($C^0$IPG) developed in the last decade for the fourth order problems are an interesting topic in academia at present. In this paper, we discuss the adaptive fashion of $C^0$IPG method for the Helmholtz transmission eigenvalue problem.We give the a posteriori error indicators for primal and dual eigenfunctions, and prove their reliability and efficiency. We also give the a posteriori error indicator for eigenvalues and design a $C^0$IPG adaptive algorithm. Numerical experiments show that this algorithm is efficient and can get the optimal convergence rate.


title: Transport Coefficients of Dirac Ferromagnet: Effects of Vertex Corrections

abstract: As a strongly spin-orbit coupled metallic model with ferromagnetism, we have considered an extended Stoner model to the relativistic regime, named Dirac ferromagnet in three dimensions. In the previous paper~[Phys. Rev. B 90, 214418 (2014)], we studied the transport properties giving rise to the anisotropic magnetoresistance~(AMR) and the anomalous Hall effect~(AHE) with the impurity potential being taken into account only as the self-energy. The effects of the vertex corrections~(VCs) to AMR and AHE are reported in this paper. AMR is found not to change quantitatively when the VCs is considered, although the transport lifetime is different from the one-electron lifetime and the charge current includes additional contributions from the correlation with spin currents. The side-jump and the skew-scattering contributions to AHE are also calculated. The skew-scattering contribution is dominant in the clean case as can be seen in the spin Hall effect in the non-magnetic Dirac electron system.