title: High-scale validity of a two Higgs doublet scenario: predicting collider signals

abstract: It is possible to ameliorate the Higgs vacuum stability problem by switching over to two Higgs doublet models (2HDM), ensuring a stable electroweak vacuum up to the Planck scale, even though the top quark mass may be on the high side. However, the simultaneous requirements of perturbative unitarity, and also compatibility with collider and flavour data, constrain the parameter space severely. We investigate the collider signals answering to the regions allowed by such constraints. In particular, the near degeneracy of the neutral heavy scalar and the pseudoscalar is a feature that is probed. The LHC allows distinguishability of these two states, together with signal significance of at least 3$\sigma$, in its high-luminosity run. While $e^+ e^-$ colliders may have rather low event rates, muon colliders, cashing on the principle of radiative return, can probe 2HDM scenarios with (pseudo)scalar masses up to a TeV or so, though with the price of losing distinction between the CP-even and odd states.


title: Deterministic nonclassicality for quantum mechanical oscillators in thermal states

abstract: Quantum nonclassicality is the basic building stone for the vast majority of quantum information applications and methods of its generation are at the forefront of research. One of the obstacles any method needs to clear is the looming presence of decohorence and noise which act against the nonclassicality and often erase it completely. In this paper we show that nonclassical states of a quantum harmonic oscillators initially in thermal equilibrium states can be deterministically created by coupling it to a single two level system. This can be achieved even in the absorption regime in which the two level system is initially in the ground state. The method is resilient to noise and it may actually benefit from it, as witnessed by the systems with higher thermal energy producing more nonclassical states.


title: On the molecules of numerical semigroups, Puiseux monoids, and Puiseux algebras

abstract: A molecule is a nonzero non-unit element of an integral domain (resp., commutative cancellative monoid) having a unique factorization into irreducibles (resp., atoms). Here we study the molecules of Puiseux monoids as well as the molecules of their corresponding semigroup algebras, which we call Puiseux algebras. We begin by presenting, in the context of numerical semigroups, some results on the possible cardinalities of the sets of molecules and the sets of reducible molecules (i.e., molecules that are not irreducibles/atoms). Then we study the molecules in the more general context of Puiseux monoids. We construct infinitely many non-isomorphic atomic Puiseux monoids all whose molecules are atoms. In addition, we characterize the molecules of Puiseux monoids generated by rationals with prime denominators. Finally, we turn to investigate the molecules of Puiseux algebras. We provide a characterization of the molecules of the Puiseux algebras corresponding to root-closed Puiseux monoids. Then we use such a characterization to find an infinite class of Puiseux algebras with infinitely many non-associated reducible molecules.


title: An explicit inversion formula for the $p$-adic Whittaker transform on $\text{GL}_n(\mathbb{Q}_p)$

abstract: Whittaker functions on non-archimedean fields were first introduced in the work of Jacquet, and they were characterized explicitly by Shintani. We obtain an explicit inversion formula and a Plancherel formula for the $p$-adic Whittaker transform on $\text{GL}_n(\mathbb{Q}_p)$. As an application, integral representations are obtained for the local factors of certain symmetric power $L$-functions.


title: A Dataset for Developing and Benchmarking Active Vision

abstract: We present a new public dataset with a focus on simulating robotic vision tasks in everyday indoor environments using real imagery. The dataset includes 20,000+ RGB-D images and 50,000+ 2D bounding boxes of object instances densely captured in 9 unique scenes. We train a fast object category detector for instance detection on our data. Using the dataset we show that, although increasingly accurate and fast, the state of the art for object detection is still severely impacted by object scale, occlusion, and viewing direction all of which matter for robotics applications. We next validate the dataset for simulating active vision, and use the dataset to develop and evaluate a deep-network-based system for next best move prediction for object classification using reinforcement learning. Our dataset is available for download at cs.unc.edu/~ammirato/active_vision_dataset_website/.


title: Diagrammar in an Extended Theory of Gravity

abstract: We show how the $S$-matrix of an extended theory of gravity defined by its three-point amplitudes can be constructed by demanding factorisation. The resultant $S$-matrix has tree amplitudes obeying the same soft singularity theorems as Einstein gravity including the sub-sub-leading terms.


title: A planar large sieve and sparsity of time-frequency representations

abstract: With the aim of measuring the sparsity of a real signal, Donoho and Logan introduced the concept of maximum Nyquist density, and used it to extend Bombieri's principle of the large sieve to bandlimited functions. This led to several recovery algorithms based on the minimization of the $L_{1}$-norm. In this paper we introduce the concept of {\ planar maximum} Nyquist density, which measures the sparsity of the time-frequency distribution of a function. We obtain a planar large sieve principle which applies to time-frequency representations with a gaussian window, or equivalently, to Fock spaces, $\mathcal{F}_{1}\left( \mathbb{C}\right) $, allowing for perfect recovery of the short-Fourier transform (STFT) of functions in the modulation space $M_{1}$ (also known as Feichtinger's algebra $S_{0}$) corrupted by sparse noise and for approximation of missing STFT data in $M_{1}$, by $L_{1}$-minimization.


title: Massive Primordial Black Holes as Dark Matter and their detection with Gravitational Waves

abstract: Massive Primordial Black Holes (MPBH) can be formed after inflation due to broad peaks in the primordial curvature power spectrum that collapse gravitationally during the radiation era, to form clusters of black holes that merge and increase in mass after recombination, generating today a broad mass-spectrum of black holes with masses ranging from 0.01 to $10^5~M_\odot$. These MPBH could act as seeds for galaxies and quick-start structure formation, initiating reionization, forming galaxies at redshift $z>10$ and clusters at $z>1$. They may also be the seeds on which SMBH and IMBH form, by accreting gas onto them and forming the centers of galaxies and quasars at high redshift. They form at rest with zero spin and have negligible cross-section with ordinary matter. If there are enough of these MPBH, they could constitute the bulk of the Dark Matter today. Such PBH could be responsible for the observed fluctuations in the CIB and X-ray backgrounds. MPBH could be directly detected by the gravitational waves emitted when they merge to form more massive black holes, as recently reported by LIGO. Their continuous merging since recombination could have generated a stochastic background of gravitational waves that could eventually be detected by LISA and PTA. MPBH may actually be responsible for the unidentified point sources seen by Fermi, Magic and Chandra. Furthermore, the ejection of stars from shallow potential wells like those of Dwarf Spheroidals (DSph), via the gravitational slingshot effect, could be due to MPBH, thus alleviating the substructure and too-big-to-fail problems of standard collisionless CDM. Their mass distribution peaks at a few tens of $M_\odot$ today, and could be detected also with long-duration microlensing events, as well as by the anomalous motion of stars in GAIA. Their presence as CDM in the Universe could be seen in the time-dilation of lensed images of quasars.


title: Detecting dynamical changes in time series by using the Jensen Shannon Divergence

abstract: Most of the time series in nature are a mixture of signals with deterministic and random dynamics. Thus the distinction between these two characteristics becomes important. Distinguishing between chaotic and aleatory signals is difficult because they have a common wide-band power spectrum, a delta-like autocorrelation function, and share other features as well. In general signals are presented as continuous records and require to be discretized for being analyzed. In this work we present different schemes for discretizing and for detection of dynamical changes in time series. One of the main motivations is to detect transition from chaotic regime to random regime. The tools used are originated in Information Theory. The schemes proposed are applied to simulated and real life signals, showing in all cases a high proficiency for detecting changes in the dynamics of the associated time series.


title: Fixed point theorems in $G$-metric space

abstract: In this article, we present a new type of fixed point for single valed mapping in a $G$-complete $G$-metric space.


title: Solvent fluctuations around solvophobic, solvophilic and patchy nanostructures and the accompanying solvent mediated interactions

abstract: Using classical density functional theory (DFT) we calculate the density profile $\rho({\mathbf r})$ and local compressibility $\chi({\mathbf r})$ of a simple liquid solvent in which a pair of blocks with (microscopic) rectangular cross-section are immersed. We consider blocks that are solvophobic, solvophilic and also ones that have both solvophobic and solvophilic patches. Large values of $\chi({\mathbf r})$ correspond to regions in space where the liquid density is fluctuating most strongly. We seek to elucidate how enhanced density fluctuations correlate with the solvent mediated force between the blocks, as the distance between the blocks and the chemical potential of the liquid reservoir vary. For sufficiently solvophobic blocks, at small block separations and small deviations from bulk gas-liquid coexistence, we observe a strongly attractive (near constant) force, stemming from capillary evaporation to form a low density gas-like intrusion between the blocks. The accompanying $\chi({\mathbf r})$ exhibits structure which reflects the incipient gas-liquid interfaces that develop. We argue that our model system provides a means to understanding the basic physics of solvent mediated interactions between nanostructures, and between objects such as proteins in water, that possess hydrophobic and hydrophilic patches.


title: The Long-Moody construction and polynomial functors

abstract: In 1994, Long and Moody gave a construction on representations of braid groups which associates a representation of \mathbf{B}\_{n} with a representation of \mathbf{B}\_{n+1}. In this paper, we prove that this construction is functorial and can be extended: it inspires endofunctors, called Long-Moody functors, between the category of functors from Quillen's bracket construction associated with the braid groupoid to a module category. Then we study the effect of Long-Moody functors on strong polynomial functors: we prove that they increase by one the degree of very strong polynomiality.


title: The population of TeV pulsar wind nebulae in the H.E.S.S. Galactic Plane Survey

abstract: The nine-year H.E.S.S. Galactic Plane Survey (HGPS) yielded the most uniform observation scan of the inner Milky Way in the TeV gamma-ray band to date. The sky maps and source catalogue of the HGPS allow for a systematic study of the population of TeV pulsar wind nebulae found throughout the last decade. To investigate the nature and evolution of pulsar wind nebulae, for the first time we also present several upper limits for regions around pulsars without a detected TeV wind nebula. Our data exhibit a correlation of TeV surface brightness with pulsar spin-down power $\dot{E}$. This seems to be caused both by an increase of extension with decreasing $\dot{E}$, and hence with time, compatible with a power law $R_\mathrm{PWN}(\dot{E}) \sim \dot{E}^{-0.65 \pm 0.20}$, and by a mild decrease of TeV gamma-ray luminosity with decreasing $\dot{E}$, compatible with $L_{1-10\,\mathrm{TeV}} \sim \dot{E}^{0.59 \pm 0.21}$. We also find that the offsets of pulsars with respect to the wind nebula centres with ages around 10 kyr are frequently larger than can be plausibly explained by pulsar proper motion and could be due to an asymmetric environment. In the present data, it seems that a large pulsar offset is correlated with a high apparent TeV efficiency $L_{1-10\,\mathrm{TeV}}/\dot{E}$. In addition to 14 HGPS sources considered as firmly identified pulsar wind nebulae and 5 additional pulsar wind nebulae taken from literature, we find 10 HGPS sources that form likely TeV pulsar wind nebula candidates. Using a model that subsumes the present common understanding of the very high-energy radiative evolution of pulsar wind nebulae, we find that the trends and variations of the TeV observables and limits can be reproduced to a good level, drawing a consistent picture of present-day TeV data and theory.


title: Abstract elementary classes stable in $\aleph_0$

abstract: We study abstract elementary classes (AECs) that, in $\aleph_0$, have amalgamation, joint embedding, no maximal models and are stable (in terms of the number of orbital types). Assuming a locality property for types, we prove that such classes exhibit superstable-like behavior at $\aleph_0$. More precisely, there is a superlimit model of cardinality $\aleph_0$ and the class generated by this superlimit has a type-full good $\aleph_0$-frame (a local notion of nonforking independence) and a superlimit model of cardinality $\aleph_1$. We also give a supersimplicity condition under which the locality hypothesis follows from the rest.


title: Lie Calculus

abstract: We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher order theory naturally involves higher algebra (n-fold groupoids).(conceptual, topological) differential calculus, groupoids, higher algebra($n$-fold groupoids), Lie group, Lie groupoid, tangent groupoid, cubes of rings


title: Adaptive Learning to Speed-Up Control of Prosthetic Hands: a Few Things Everybody Should Know

abstract: A number of studies have proposed to use domain adaptation to reduce the training efforts needed to control an upper-limb prosthesis exploiting pre-trained models from prior subjects. These studies generally reported impressive reductions in the required number of training samples to achieve a certain level of accuracy for intact subjects. We further investigate two popular methods in this field to verify whether this result equally applies to amputees. Our findings show instead that this improvement can largely be attributed to a suboptimal hyperparameter configuration. When hyperparameters are appropriately tuned, the standard approach that does not exploit prior information performs on par with the more complicated transfer learning algorithms. Additionally, earlier studies erroneously assumed that the number of training samples relates proportionally to the efforts required from the subject. However, a repetition of a movement is the atomic unit for subjects and the total number of repetitions should therefore be used as reliable measure for training efforts. Also when correcting for this mistake, we do not find any performance increase due to the use of prior models.


title: Carroll symmetry of plane gravitational waves

abstract: The well-known 5-parameter isometry group of plane gravitational waves in $4$ dimensions is identified as Levy-Leblond's Carroll group in $2+1$ dimensions with no rotations. Our clue is that plane waves are Bargmann spaces into which Carroll manifolds can be embedded. We also comment on the scattering of light by a gravitational wave and calculate its electric permittivity considered as an impedance-matched metamaterial.


title: Relativistic calculations of differential ionization cross sections: Application to antiproton-hydrogen collisions

abstract: A new relativistic method based on the Dirac equation for calculating fully differential cross sections for ionization in ion-atom collisions is developed. The method is applied to ionization of the atomic hydrogen by antiproton impact, as a non-relativistic benchmark. The fully differential, as well as various doubly and singly differential cross sections for ionization are presented. The role of the interaction between the projectile and the target nucleus is discussed. Several discrepancies in available theoretical predictions are resolved. The relativistic effects are studied for ionization of hydrogenlike xenon ion under the impact of carbon nuclei.


title: Balancing Lexicographic Fairness and a Utilitarian Objective with Application to Kidney Exchange

abstract: Balancing fairness and efficiency in resource allocation is a classical economic and computational problem. The price of fairness measures the worst-case loss of economic efficiency when using an inefficient but fair allocation rule; for indivisible goods in many settings, this price is unacceptably high. One such setting is kidney exchange, where needy patients swap willing but incompatible kidney donors. In this work, we close an open problem regarding the theoretical price of fairness in modern kidney exchanges. We then propose a general hybrid fairness rule that balances a strict lexicographic preference ordering over classes of agents, and a utilitarian objective that maximizes economic efficiency. We develop a utility function for this rule that favors disadvantaged groups lexicographically; but if cost to overall efficiency becomes too high, it switches to a utilitarian objective. This rule has only one parameter which is proportional to a bound on the price of fairness, and can be adjusted by policymakers. We apply this rule to real data from a large kidney exchange and show that our hybrid rule produces more reliable outcomes than other fairness rules.


title: Irreducible components of minuscule affine Deligne-Lusztig varieties

abstract: We examine the set of $J_b(F)$-orbits in the set of irreducible components of affine Deligne-Lusztig varieties for a hyperspecial subgroup and minuscule coweight $\mu$. Our description implies in particular that its number of elements is bounded by the dimension of a suitable weight space in the Weyl module associated with $\mu$ of the dual group.


title: Invariance principle via orthomartingale approximation

abstract: We obtain a necessary and sufficient condition for the orthomartingale-coboundary decomposition. We establish a sufficient condition for the approximation of the partial sums of a strictly stationary random fields by those of stationary orthomartingale differences. This condition can be checked under multidimensional analogues of the Hannan condition and the Maxwell-Woodroofe condition.


title: Almost disjoint spanning trees: relaxing the conditions for completely independent spanning trees

abstract: The search of spanning trees with interesting disjunction properties has led to the introduction of edge-disjoint spanning trees, independent spanning trees and more recently completely independent spanning trees. We group together these notions by defining (i, j)-disjoint spanning trees, where i (j, respectively) is the number of vertices (edges, respectively) that are shared by more than one tree. We illustrate how (i, j)-disjoint spanning trees provide some nuances between the existence of disjoint connected dominating sets and completely independent spanning trees. We prove that determining if there exist two (i, j)-disjoint spanning trees in a graph G is NP-complete, for every two positive integers i and j. Moreover we prove that for square of graphs, k-connected interval graphs, complete graphs and several grids, there exist (i, j)-disjoint spanning trees for interesting values of i and j.


title: Asynchronous Incremental Stochastic Dual Descent Algorithm for Network Resource Allocation

abstract: Stochastic network optimization problems entail finding resource allocation policies that are optimum on an average but must be designed in an online fashion. Such problems are ubiquitous in communication networks, where resources such as energy and bandwidth are divided among nodes to satisfy certain long-term objectives. This paper proposes an asynchronous incremental dual decent resource allocation algorithm that utilizes delayed stochastic {gradients} for carrying out its updates. The proposed algorithm is well-suited to heterogeneous networks as it allows the computationally-challenged or energy-starved nodes to, at times, postpone the updates. The asymptotic analysis of the proposed algorithm is carried out, establishing dual convergence under both, constant and diminishing step sizes. It is also shown that with constant step size, the proposed resource allocation policy is asymptotically near-optimal. An application involving multi-cell coordinated beamforming is detailed, demonstrating the usefulness of the proposed algorithm.


title: A Manifesto for Web Science @ 10

abstract: Twenty-seven years ago, one of the biggest societal changes in human history began slowly when the technical foundations for the World Wide Web were defined by Tim Berners-Lee. Ever since, the Web has grown exponentially, reaching far beyond its original technical foundations and deeply affecting the world today - and even more so the society of the future. We have seen that the Web can influence the realization of human rights and even the pursuit of happiness. The Web provides an infrastructure to help us to learn, to work, to communicate with loved ones, and to provide entertainment. However, it also creates an environment affected by the digital divide between those who have and those who do not have access. Additionally, the Web provides challenges we must understand if we are to find a viable balance between data ownership and privacy protection, between over-whelming surveillance and the prevention of terrorism. For the Web to succeed, we need to understand its societal challenges including increased crime, the impact of social platforms and socio-economic discrimination, and we must work towards fairness, social inclusion, and open governance. Ten Yars ago, the field of Web Science was created to explore the science underlying the Web from a socio-technical perspective including its mathematical properties, engineering principles, and social impacts. Ten years later, we are learning much as the interdisciplinary endeavor to understand the Web's global information space continues to grow. In this article we want to elicit the major lessons we have learned through Web Science and make some cautious predictions of what to expect next.


title: Rate of Convergence of General Phase Field Equations towards their Homogenized Limit

abstract: Over the last few decades, phase-field equations have found increasing applicability in a wide range of mathematical-scientific fields (e.g. geometric PDEs and mean curvature flow, materials science for the study of phase transitions) but also engineering ones (e.g. as a computational tool in chemical engineering for interfacial flow studies). Here, we focus on phase-field equations in strongly heterogeneous materials with perforations such as porous media. To the best of our knowledge, we provide the first derivation of error estimates for fourth order, homogenized, and nonlinear evolution equations. Our fourth order problem induces a slightly lower convergence rate, i.e., $\epsilon^{1/4}$, where $\epsilon$ denotes the material's specific heterogeneity, than established for second-order elliptic problems (e.g. \cite{Zhikov2006}) for the error between the effective macroscopic solution of the (new) upscaled formulation and the solution of the microscopic phase field problem. We hope that our study will motivate new modelling, analytic, and computational perspectives for interfacial transport and phase transformations in strongly heterogeneous environments.


title: A 2-edge partial inverse problem for the Sturm-Liouville operators with singular potentials on a star-shaped graph

abstract: Boundary value problems for Sturm-Liouville operators with potentials from the class $W_2^{-1}$ on a star-shaped graph are considered. We assume that the potentials are known on all the edges of the graph except two, and show that the potentials on the remaining edges can be constructed by fractional parts of two spectra. A uniqueness theorem is proved, and an algorithm for the constructive solution of the partial inverse problem is provided. The main ingredient of the proofs is the Riesz-basis property of specially constructed systems of functions.


title: Entanglement-enhanced radio-frequency field detection and waveform sensing

abstract: We demonstrate a new technique for detecting components of arbitrarily-shaped radio-frequency waveforms based on stroboscopic back-action evading measurements. We combine quantum non-demolition measurements and stroboscopic probing to detect waveform components with magnetic sensitivity beyond the standard quantum limit. Using an ensemble of $1.5\times 10^6$ cold rubidium atoms, we demonstrate entanglement-enhanced sensing of sinusoidal and linearly chirped waveforms, with 1.0(2)dB and 0.8(3)dB metrologically relevant noise reduction, respectively. We achieve volume-adjusted sensitivity of $\delta\rm{B}\sqrt{V}\approx 11.20~\rm{fT\sqrt{cm^3/Hz}}$, comparable to the best RF~magnetometers.


title: Linear degree growth in lattice equations

abstract: We conjecture recurrence relations satisfied by the degrees of some linearizable lattice equations. This helps to prove linear growth of these equations. We then use these recurrences to search for lattice equations that have linear growth and hence are linearizable.


title: Tuning the Fermi velocity in Dirac materials with an electric field

abstract: Dirac materials are characterized by energy-momentum relations that resemble those of relativistic massless particles. Commonly denominated Dirac cones, these dispersion relations are considered to be their essential feature. These materials comprise quite diverse examples, such as graphene and topological insulators. Band-engineering techniques should aim to a full control of the parameter that characterizes the Dirac cones: the Fermi velocity. We propose a general mechanism that enables the fine-tuning of the Fermi velocity in Dirac materials in a readily accessible way for experiments. By embedding the sample in a uniform electric field, the Fermi velocity is substantially modified. We first prove this result analytically, for the surface states of a topological insulator/semiconductor interface, and postulate its universality to other Dirac materials. Then we check its correctness in carbon-based Dirac materials, namely graphene nanoribbons and nanotubes, thus showing the validity of our hypothesis in both continuum and tight-binding calculations and in different Dirac systems.


title: Variations in the Solar Coronal Rotation with Altitude - Revisited

abstract: Here we report in depth reanalysis of a paper by Vats et al. (2001) [Astrophys. J. 548, L87] based on the measurements of differential rotation with altitude as a function of observing frequencies (as lower and higher frequencies indicate higher and lower heights, respectively) in the solar corona. The radial differential rotation of the solar corona is estimated from daily measurements of the disc-integrated solar radio flux at 11 frequencies: (275, 405, 670, 810, 925, 1080, 1215, 1350, 1620, 1755 MHz and 2800 MHz). We use the same data as were used in Vats et al. (2001), but instead of the 12th maxima of autocorrelograms used there, we use the 1st secondary maxima to derive the synodic rotation period. We estimate synodic rotation by Gaussian fit of the 1st secondary maxima. Vats et al. (2001) reported that the sidereal rotation period increases with increasing frequency. The variation found by them was from 23.6 to 24.15 days in this frequency range with a difference of only 0.55 days. The present study finds that sidereal rotation period increases with decreasing frequency. The variation range is from 24.4 to 22.5 days and difference is about three times larger (1.9 days). However, at 925 MHz both studies give similar rotation period. In Vats et al. (2001) the Pearson factor with trend line was 0.86 whereas present analysis obtained a ~ 0.97 Pearson factor with the trend line. Our study shows that the solar corona rotates slower at higher altitudes, which is in contradiction to the findings reported in Vats et al. (2001). Key words: Solar radio flux- flux modulation method- Gaussian fit- sidereal rotation period.


title: Irreducible convex paving for decomposition of multi-dimensional martingale transport plans

abstract: Martingale transport plans on the line are known from Beiglbock & Juillet to have an irreducible decomposition on a (at most) countable union of intervals. We provide an extension of this decomposition for martingale transport plans in R^d, d larger than one. Our decomposition is a partition of R^d consisting of a possibly uncountable family of relatively open convex components, with the required measurability so that the disintegration is well-defined. We justify the relevance of our decomposition by proving the existence of a martingale transport plan filling these components. We also deduce from this decomposition a characterization of the structure of polar sets with respect to all martingale transport plans.


title: Independent Set Size Approximation in Graph Streams

abstract: We study the problem of estimating the size of independent sets in a graph $G$ defined by a stream of edges. Our approach relies on the Caro-Wei bound, which expresses the desired quantity in terms of a sum over nodes of the reciprocal of their degrees, denoted by $\beta(G)$. Our results show that $\beta(G)$ can be approximated accurately, based on a provided lower bound on $\beta$. Stronger results are possible when the edges are promised to arrive grouped by an incident node. In this setting, we obtain a value that is at most a logarithmic factor below the true value of $\beta$ and no more than the true independent set size. To justify the form of this bound, we also show an $\Omega(n/\beta)$ lower bound on any algorithm that approximates $\beta$ up to a constant factor.


title: How Functional Complexity affects the Scalability-Energy Efficiency Trade-Off of HCC WSN Clustering

abstract: Even though clustering algorithms in Wireless Sensor Networks (WSN) are a well investigate subject, the increasing interest in the Internet of Things (IoT) and 5G technologies has precipitated the need of new ways to comprehend and overcome a new set of challenges. While studies mainly propose new algorithms and compare these algorithms based on a set of properties (e.g. energy efficiency, scalability), none of them focuses on the underlying mechanisms and organizational patterns that lead to these properties. We address this lack of understanding by applying a complex systems science approach to investigate the properties of WSNs arising from the communication patterns of the network nodes. We represent different implementations of clustering in WSNs with a functional topology graph. Moreover, we employ a complexity metric - functional complexity (CF) - to explain how local interactions give rise to the global behavior of the network. Our analysis shows that higher values of CF indicate higher scalability and lower energy efficiency.


title: Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures

abstract: This work aims to show the applicability, and how, of privacy by design approach to biometric systems and the benefit of using formal methods to this end. Starting from a general framework that has been introduced at STM in 2014, that enables to define privacy architectures and to formally reason about their properties, we explain how it can be adapted to biometrics. The choice of particular techniques and the role of the components (central server, secure module, biometric terminal, smart card, etc.) in the architecture have a strong impact on the privacy guarantees provided by a biometric system. In the literature, some architectures have already been analysed in some way. However, the existing proposals were made on a case by case basis, which makes it difficult to compare them and to provide a rationale for the choice of specific options. In this paper, we describe, on different architectures with various levels of protection, how a general framework for the definition of privacy architectures can be used to specify the design options of a biometric systems and to reason about them in a formal way.


title: Hybrid method for identifying mass groups of primary cosmic rays in the joint operation of IACTs and wide angle Cherenkov timing arrays

abstract: This work is a methodical study of another option of the hybrid method originally aimed at gamma/hadron separation in the TAIGA experiment. In the present paper this technique was performed to distinguish between different mass groups of cosmic rays in the energy range 200 TeV - 500 TeV. The study was based on simulation data of TAIGA prototype and included analysis of geometrical form of images produced by different nuclei in the IACT simulation as well as shower core parameters reconstructed using timing array simulation. We show that the hybrid method can be sufficiently effective to precisely distinguish between mass groups of cosmic rays.


title: Identifying beneficial task relations for multi-task learning in deep neural networks

abstract: Multi-task learning (MTL) in deep neural networks for NLP has recently received increasing interest due to some compelling benefits, including its potential to efficiently regularize models and to reduce the need for labeled data. While it has brought significant improvements in a number of NLP tasks, mixed results have been reported, and little is known about the conditions under which MTL leads to gains in NLP. This paper sheds light on the specific task relations that can lead to gains from MTL models over single-task setups.


title: Theoretical studies of superconductivity in doped BaCoSO

abstract: We investigate superconductivity that may exist in the doped BaCoSO, a multi-orbital Mott insulator with a strong antiferromagnetic ground state. The superconductivity is studied in both t-J type and Hubbard type multi-orbital models by mean field approach and random phase approximation (RPA) analysis. Even if there is no C4 rotational symmetry, it is found that the system still carries a d-wave like pairing symmetry state with gapless nodes and sign changed superconducting order parameters on Fermi surfaces. The results are largely doping insensitive. In this superconducting state, the three t2g orbitals have very different superconducting form factors in momentum space. In particular, the intra-orbital pairing of the dx2-y2 orbital has a s-wave like pairing form factor. The two methods also predict very different pairing strength on different parts of Fermi surfaces.These results suggest that BaCoSO and related materials can be a new ground to test and establish fundamental principles for unconventional high temperature superconductivity.


title: Persistent low-temperature spin dynamics in the mixed-valence iridate Ba$_{3}$InIr$_{2}$O$_{9}$

abstract: Using thermodynamic measurements, neutron diffraction, nuclear magnetic resonance, and muon spin relaxation, we establish putative quantum spin-liquid behavior in Ba$_3$InIr$_2$O$_9$, where unpaired electrons are localized on mixed-valence Ir$_2$O$_9$ dimers with Ir$^{4.5+}$ ions. Despite the antiferromagnetic Curie-Weiss temperature on the order of 10 K, neither long-range magnetic order nor spin freezing are observed down to at least 20 mK, such that spins are short-range correlated and dynamic over nearly three decades in temperature. Quadratic power-law behavior of both the spin-lattice relaxation rate and specific heat indicates the gapless nature of the ground state. We envisage that this exotic behavior may be related to an unprecedented combination of the triangular and buckled honeycomb geometries of nearest-neighbor exchange couplings in the mixed-valence setting.


title: On-the-Fly Computation of Bisimilarity Distances

abstract: We propose a distance between continuous-time Markov chains (CTMCs) and study the problem of computing it by comparing three different algorithmic methodologies: iterative, linear program, and on-the-fly. In a work presented at FoSSaCS'12, Chen et al. characterized the bisimilarity distance of Desharnais et al. between discrete-time Markov chains as an optimal solution of a linear program that can be solved by using the ellipsoid method. Inspired by their result, we propose a novel linear program characterization to compute the distance in the continuous-time setting. Differently from previous proposals, ours has a number of constraints that is bounded by a polynomial in the size of the CTMC. This, in particular, proves that the distance we propose can be computed in polynomial time. Despite its theoretical importance, the proposed linear program characterization turns out to be inefficient in practice. Nevertheless, driven by the encouraging results of our previous work presented at TACAS'13, we propose an efficient on-the-fly algorithm, which, unlike the other mentioned solutions, computes the distances between two given states avoiding an exhaustive exploration of the state space. This technique works by successively refining over-approximations of the target distances using a greedy strategy, which ensures that the state space is further explored only when the current approximations are improved. Tests performed on a consistent set of (pseudo)randomly generated CTMCs show that our algorithm improves, on average, the efficiency of the corresponding iterative and linear program methods with orders of magnitude.


title: Stacking-dependent electronic structure of trilayer graphene resolved by nanospot angle-resolved photoemission spectroscopy

abstract: The crystallographic stacking order in multilayer graphene plays an important role in determining its electronic structure. In trilayer graphene, rhombohedral stacking (ABC) is particularly intriguing, exhibiting a flat band with an electric-field tunable band gap. Such electronic structure is distinct from simple hexagonal stacking (AAA) or typical Bernal stacking (ABA), and is promising for nanoscale electronics, optoelectronics applications. So far clean experimental electronic spectra on the first two stackings are missing because the samples are usually too small in size (um or nm scale) to be resolved by conventional angle-resolved photoemission spectroscopy (ARPES). Here by using ARPES with nanospot beam size (NanoARPES), we provide direct experimental evidence for the coexistence of three different stackings of trilayer graphene and reveal their distinctive electronic structures directly. By fitting the experimental data, we provide important experimental band parameters for describing the electronic structure of trilayer graphene with different stackings.


title: Anisotropic power-law inflation in a two-scalar-field model with a mixed kinetic term

abstract: We examine whether an extended scenario of a two-scalar-field model, in which a mixed kinetic term of canonical and phantom scalar fields is involved, admits the Bianchi type I metric, which is homogeneous but anisotropic spacetime, as its power-law solutions. Then we analyze the stability of the anisotropic power-law solutions to see whether these solutions respect the cosmic no-hair conjecture or not during the inflationary phase. In addition, we will also investigate a special scenario, where the pure kinetic terms of canonical and phantom fields disappear altogether in field equations, to test again the validity of cosmic no-hair conjecture. As a result, the cosmic no-hair conjecture always holds in both these scenarios due to the instability of the corresponding anisotropic inflationary solutions.


title: Probing the $Wtb$ vertex structure in $t$-channel single-top-quark production and decay in $pp$ collisions at $\sqrt{\mathrm{s}}=8$ TeV with the ATLAS detector

abstract: To probe the $Wtb$ vertex structure, top-quark and $W$-boson polarisation observables are measured from $t$-channel single-top-quark events produced in proton--proton collisions at a centre-of-mass energy of 8 TeV. The dataset corresponds to an integrated luminosity of 20.2 fb$^{-1}$, recorded with the ATLAS detector at the LHC. Selected events contain one isolated electron or muon, large missing transverse momentum and exactly two jets, with one of them identified as likely to contain a $b$-hadron. Stringent selection requirements are applied to discriminate $t$-channel single-top-quark events from background. The polarisation observables are extracted from asymmetries in angular distributions measured with respect to spin quantisation axes appropriately chosen for the top quark and the $W$ boson. The asymmetry measurements are performed at parton level by correcting the observed angular distributions for detector effects and hadronisation after subtracting the background contributions. The measured top-quark and $W$-boson polarisation values are in agreement with the Standard Model predictions. Limits on the imaginary part of the anomalous coupling $g_{\mathrm{R}}$ are also set from model-independent measurements.


title: The Fermi problem in disordered systems

abstract: We revisit the Fermi two-atoms problem in the framework of disordered systems. In our model we consider a two-qubits system linearly coupled with a quantum massless scalar field. We analyze the energy transfer between the qubits under different experimental perspectives. In addition, we assume that the coefficients of the Klein-Gordon equation are random functions of the spatial coordinates. The disordered medium is modeled by a centered, stationary and Gaussian process. We demonstrate that the classical notion of causality emerges only in the wave zone in the presence of random fluctuations of the light cone. Possible repercussions are discussed.


title: $R+\alpha R^n$ Inflation in higher-dimensional Space-times

abstract: We generalise Starobinsky's model of inflation to space-times with $D>4$ dimensions, where $D-4$ dimensions are compactified on a suitable manifold. The $D$-dimensional action features Einstein-Hilbert gravity, a higher-order curvature term, a cosmological constant, and potential contributions from fluxes in the compact dimensions. The existence of a stable flat direction in the four-dimensional EFT implies that the power of space-time curvature, $n$, and the rank of the compact space fluxes, $p$, are constrained via $n=p=D/2$. Whenever these constraints are satisfied, a consistent single-field inflation model can be built into this setup, where the inflaton field is the same as in the four-dimensional Starobinsky model. The resulting predictions for the CMB observables are nearly indistinguishable from those of the latter.


title: Uniform Probability and Natural Density of Mutually Left Coprime Polynomial Matrices over Finite Fields

abstract: We compute the uniform probability that finitely many polynomials over a finite field are pairwise coprime and compare the result with the formula one gets using the natural density as probability measure. It will turn out that the formulas for the two considered probability measures asymptotically coincide but differ in the exact values. Moreover, we calculate the natural density of mutually left coprime polynomial matrices and compare the result with the formula one gets using the uniform probability distribution. The achieved estimations are not as precise as in the scalar case but again we can show asymptotic coincidence.


title: XMM-Newton observation of MV Lyr and the sandwiched model confirmation

abstract: We present spectral and timing analyses of simultaneous X-ray and UV observations of the VY Scl system MV Lyr taken by XMM-Newton, containing the longest continuous X-ray+UV light curve and highest signal-to-noise X-ray (EPIC) spectrum to date. The RGS spectrum displays emission lines plus continuum, confirming model approaches to be based on thermal plasma models. We test the sandwiched model based on fast variability that predicts a geometrically thick corona that surrounds an inner geometrically thin disc. The EPIC spectra are consistent with either a cooling flow model or a 2-T collisional plasma plus Fe emission lines in which the hotter component may be partially absorbed which would then originate in a central corona or a partially obscured boundary layer, respectively. The cooling flow model yields a lower mass accretion rate than expected during the bright state, suggesting an evaporated plasma with a low density, thus consistent with a corona. Timing analysis confirms the presence of a dominant break frequency around log(f/Hz) = -3 in the X-ray Power Density Spectrum (PDS) as in the optical PDS. The complex soft/hard X-ray light curve behaviour is consistent with a region close to the white dwarf where the hot component is generated. The soft component can be connected to an extended region. We find another break frequency around log(f/Hz) = -3.4 that is also detected by Kepler. We compared flares at different wavelengths and found that the peaks are simultaneous but the rise to maximum is delayed in X-rays with respect to UV.


title: Inversion of the exciton built-in dipole moment in In(Ga)As quantum dots via nonlinear piezoelectric effect

abstract: We show that anisotropic biaxial stress can be used to tune the built-in dipole moment of excitons confined in In(Ga)As quantum dots up to complete erasure of its magnitude and inversion of its sign. We demonstrate that this phenomenon is due to piezoelectricity. We present a model to calculate the applied stress, taking advantage of the so-called piezotronic effect, which produces significant changes in the current-voltage characteristics of the strained diode-membranes containing the quantum dots. Finally, self-consistent k.p calculations reveal that the experimental findings can be only accounted for by the nonlinear piezoelectric effect, whose importance in quantum dot physics has been theoretically recognized although it has proven difficult to single out experimentally.


title: Efficient polarization analysis for focusing neutron instruments

abstract: Polarized neutrons are a powerful probe to investigate magnetism in condensed matter on length scales from single atomic distances to micrometers. With the ongoing advancement of neutron optics, that allow to transport beams with increased divergence, the demands on neutron polarizes and analyzers have grown as well. The situation becomes especially challenging for new instruments at pulsed sources, where a large wavelength band needs to be polarized to make efficient use of the time structure of the beam. Here we present a polarization analysis concept for highly focused neutron beams that is based on transmission supermirrors that are bend in the shape of equiangular spirals. The method allows polarizations above 95\% and good transmission, without negative impact on other beam characteristics. An example of a compact polarizing device already tested on the AMOR reflectometer is presented as well as the concept for the next generation implementation of the technique that will be installed on the Estia instrument being build for the European Spallation Source.


title: Maximal violation of n-locality inequalities in a star-shaped quantum network

abstract: Bell's theorem was a cornerstone for our understanding of quantum theory, and the establishment of Bell non-locality played a crucial role in the development of quantum information. Recently, its extension to complex networks has been attracting a growing attention, but a deep characterization of quantum behaviour is still missing for this novel context. In this work we analyze quantum correlations arising in the bilocality scenario, that is a tripartite quantum network where the correlations between the parties are mediated by two independent sources of states. First, we prove that non-bilocal correlations witnessed through a Bell-state measurement in the central node of the network form a subset of those obtainable by means of a separable measurement. This leads us to derive the maximal violation of the bilocality inequality that can be achieved by arbitrary two-qubit quantum states and arbitrary projective separable measurements. We then analyze in details the relation between the violation of the bilocality inequality and the CHSH inequality. Finally, we show how our method can be extended to n-locality scenario consisting of n two-qubit quantum states distributed among n+1 nodes of a star-shaped network.


title: Design of elastic networks with evolutionary optimised long-range communication as mechanical models of allosteric proteins

abstract: Allosteric effects are often underlying the activity of proteins and elucidating generic design aspects and functional principles which are unique to allosteric phenomena represents a major challenge. Here an approach which consists in the in silico design of synthetic structures which, as the principal element of allostery, encode dynamical long-range coupling among two sites is presented. The structures are represented by elastic networks, similar to coarse-grained models of real proteins. A strategy of evolutionary optimization was implemented to iteratively improve allosteric coupling. In the designed structures allosteric interactions were analyzed in terms of strain propagation and simple pathways which emerged during evolution were identified as signatures through which long-range communication was established. Moreover, robustness of allosteric performance with respect to mutations was demonstrated. As it turned out, the designed prototype structures reveal dynamical properties resembling those found in real allosteric proteins. Hence, they may serve as toy models of complex allosteric systems, such as proteins.


title: Efficient Privacy Preserving Viola-Jones Type Object Detection via Random Base Image Representation

abstract: A cloud server spent a lot of time, energy and money to train a Viola-Jones type object detector with high accuracy. Clients can upload their photos to the cloud server to find objects. However, the client does not want the leakage of the content of his/her photos. In the meanwhile, the cloud server is also reluctant to leak any parameters of the trained object detectors. 10 years ago, Avidan & Butman introduced Blind Vision, which is a method for securely evaluating a Viola-Jones type object detector. Blind Vision uses standard cryptographic tools and is painfully slow to compute, taking a couple of hours to scan a single image. The purpose of this work is to explore an efficient method that can speed up the process. We propose the Random Base Image (RBI) Representation. The original image is divided into random base images. Only the base images are submitted randomly to the cloud server. Thus, the content of the image can not be leaked. In the meanwhile, a random vector and the secure Millionaire protocol are leveraged to protect the parameters of the trained object detector. The RBI makes the integral-image enable again for the great acceleration. The experimental results reveal that our method can retain the detection accuracy of that of the plain vision algorithm and is significantly faster than the traditional blind vision, with only a very low probability of the information leakage theoretically.


title: Visual Translation Embedding Network for Visual Relation Detection

abstract: Visual relations, such as "person ride bike" and "bike next to car", offer a comprehensive scene understanding of an image, and have already shown their great utility in connecting computer vision and natural language. However, due to the challenging combinatorial complexity of modeling subject-predicate-object relation triplets, very little work has been done to localize and predict visual relations. Inspired by the recent advances in relational representation learning of knowledge bases and convolutional object detection networks, we propose a Visual Translation Embedding network (VTransE) for visual relation detection. VTransE places objects in a low-dimensional relation space where a relation can be modeled as a simple vector translation, i.e., subject + predicate $\approx$ object. We propose a novel feature extraction layer that enables object-relation knowledge transfer in a fully-convolutional fashion that supports training and inference in a single forward/backward pass. To the best of our knowledge, VTransE is the first end-to-end relation detection network. We demonstrate the effectiveness of VTransE over other state-of-the-art methods on two large-scale datasets: Visual Relationship and Visual Genome. Note that even though VTransE is a purely visual model, it is still competitive to the Lu's multi-modal model with language priors.


title: An Efficient Pseudo-likelihood Method for Sparse Binary Pairwise Markov Network Estimation

abstract: The pseudo-likelihood method is one of the most popular algorithms for learning sparse binary pairwise Markov networks. In this paper, we formulate the $L_1$ regularized pseudo-likelihood problem as a sparse multiple logistic regression problem. In this way, many insights and optimization procedures for sparse logistic regression can be applied to the learning of discrete Markov networks. Specifically, we use the coordinate descent algorithm for generalized linear models with convex penalties, combined with strong screening rules, to solve the pseudo-likelihood problem with $L_1$ regularization. Therefore a substantial speedup without losing any accuracy can be achieved. Furthermore, this method is more stable than the node-wise logistic regression approach on unbalanced high-dimensional data when penalized by small regularization parameters. Thorough numerical experiments on simulated data and real world data demonstrate the advantages of the proposed method.


title: Some remarkable infinite product identities involving Fibonacci and Lucas numbers

abstract: By applying the classic telescoping summation formula and its variants to identities involving inverse hyperbolic tangent functions having inverse powers of the golden ratio as arguments and employing subtle properties of the Fibonacci and Lucas numbers, we derive interesting general infinite product identities involving these numbers.


title: Three-dimensional abundance distributions in ApBp star atmospheres: non-axisymmetric magnetic geometry

abstract: Numerical models for the atmospheres of magnetic ApBp stars have in the past dealt only with centred dipole magnetic field geometries. These models include atomic diffusion that stratifies the abundances of metals according to the local magnetic field strength and the direction with respect to the surface normal. The magnetic variations with rotational phase of most well observed stars however reveal that this assumption is far too simplistic. In this work we establish for the first time a three-dimensional (3D) model with abundance stratifications arising from atomic diffusion of 16 metals, adopting a non-axisymmetric magnetic field geometry inspired by the configuration derived for a real ApBp star. We find that the chemical elements are distributed in complex patterns in all three dimensions, far from the simple rings that have been proposed as the dominant abundance structures from calculations that assume a perfectly centred dipolar magnetic geometry


title: On the Riemann-Hilbert Problem for Difference and $q$-Difference Systems

abstract: In this paper we study an analogue of the classical Riemann-Hilbert problem stated for the classes of difference and $q$-difference systems. The Birkhoff's existence theorem was generalized in this paper.


title: An Impedance control approch of Ultra High Power Electric Arc Furnace

abstract: An approach is proposed to design the intelligent electrode position controller for UHP by using nonlinear scaling and fuzzy self tuning PID control algorithm. First, nonlinear scaling of controlled variable that compensate the nonlinearity of the object is proposed. Second, a fuzzy self tuning PID electrode position control algorithm is designed and the parameters of the fuzzy inference are optimized by using GA (Genetic Algorithm). Finally, the effectiveness of the proposed approach is verified by field test.


title: System and source identification from operational vehicle responses: A novel modal model accounting for the track-vehicle interaction

abstract: Operational Modal Analysis (OMA) is a powerful tool, widely used in the fields of structural identification and health monitoring, and certainly eligible for identifying the real in-operation behaviour of vehicle systems. Several attempts can be found in the literature, for which the usage of algorithms based on the classical OMA formulation has been strained for the identification of passenger cars and industrial trucks. The interest is mainly focused on the assessment of suspension behaviour and, thus, on the identification of the so-called vehicle rigid body modes. But issues arise when the operational identification of a vehicle system is performed, basically related to the nature of the loads induced by the roughness of rolling profiles. The forces exerted on the wheels, in fact, depending on their location, are affected by time and/or spatial correlation, and, more over, do not fit the form of white noise sequences. Thus, the nature of the excitation strongly violate the hypotheses on which the formulation of classical OMA modal model relies, leading to pronounced modelling errors and, in turn, to poorly estimated modal parameters. In this paper, we develop a specialised modal model, that we refer to as the Track-Vehicle Interaction Modal Model, able to incorporate the character of road/rail inputs acting on vehicles during operation. Since in this novel modal model the relationship between vehicle system outputs and modal parameters is given explicitly, the development of new specific curve fitting techniques, in the time-lag or frequency domain, is now possible, making available simple and cost-effective tools for vehicle operational identification. More over, a second, but not less important outcome of the proposed modal model is the usage of the resulting techniques for the indirect characterisation of rolling surface roughness, that can be used to improve comfort and safety.


title: Oscillatory-like Expansion of a Fermionic Superfluid

abstract: We study the expansion behaviours of a Fermionic superfluid in a cigar-shaped optical dipole trap for the whole BEC-BCS crossover and various temperatures. At low temperature ($0.06(1) T_F$), the atom cloud undergoes an anisotropic hydrodynamic expansion over 30~ms, which behaves like oscillation in the horizontal plane. By analyzing the expansion dynamics according to the superfluid hydrodynamic equation, the effective polytropic index $\bar{\gamma}$ of Equation-of-State of Fermionic superfluid is extracted. The $\bar{\gamma}$ values show a non-monotonic behavior over the BEC-BCS crossover, and have a good agreement with the theoretical results in the unitarity and BEC side. The normalized quasi-frequencies of the oscillatory expansion are measured, which drop significantly from the BEC side to the BCS side and reach a minimum value of 1.73 around $1/k_Fa=-0.25$. Our work improves the understanding of the dynamic properties of strongly interacting Fermi gas.


title: ArrayBridge: Interweaving declarative array processing with high-performance computing

abstract: Scientists are increasingly turning to datacenter-scale computers to produce and analyze massive arrays. Despite decades of database research that extols the virtues of declarative query processing, scientists still write, debug and parallelize imperative HPC kernels even for the most mundane queries. This impedance mismatch has been partly attributed to the cumbersome data loading process; in response, the database community has proposed in situ mechanisms to access data in scientific file formats. Scientists, however, desire more than a passive access method that reads arrays from files. This paper describes ArrayBridge, a bi-directional array view mechanism for scientific file formats, that aims to make declarative array manipulations interoperable with imperative file-centric analyses. Our prototype implementation of ArrayBridge uses HDF5 as the underlying array storage library and seamlessly integrates into the SciDB open-source array database system. In addition to fast querying over external array objects, ArrayBridge produces arrays in the HDF5 file format just as easily as it can read from it. ArrayBridge also supports time travel queries from imperative kernels through the unmodified HDF5 API, and automatically deduplicates between array versions for space efficiency. Our extensive performance evaluation in NERSC, a large-scale scientific computing facility, shows that ArrayBridge exhibits statistically indistinguishable performance and I/O scalability to the native SciDB storage engine.


title: A Universal Ordinary Differential Equation

abstract: An astonishing fact was established by Lee A. Rubel (1981): there exists a fixed non-trivial fourth-order polynomial differential algebraic equation (DAE) such that for any positive continuous function $\varphi$ on the reals, and for any positive continuous function $\epsilon(t)$, it has a $\mathcal{C}^\infty$ solution with $| y(t) - \varphi(t) | < \epsilon(t)$ for all $t$. Lee A. Rubel provided an explicit example of such a polynomial DAE. Other examples of universal DAE have later been proposed by other authors. However, Rubel's DAE \emph{never} has a unique solution, even with a finite number of conditions of the form $y^{(k_i)}(a_i)=b_i$. The question whether one can require the solution that approximates $\varphi$ to be the unique solution for a given initial data is a well known open problem [Rubel 1981, page 2], [Boshernitzan 1986, Conjecture 6.2]. In this article, we solve it and show that Rubel's statement holds for polynomial ordinary differential equations (ODEs), and since polynomial ODEs have a unique solution given an initial data, this positively answers Rubel's open problem. More precisely, we show that there exists a \textbf{fixed} polynomial ODE such that for any $\varphi$ and $\epsilon(t)$ there exists some initial condition that yields a solution that is $\epsilon$-close to $\varphi$ at all times. In particular, the solution to the ODE is necessarily analytic, and we show that the initial condition is computable from the target function and error function.


title: Stable charge density wave phase in a 1T-TiSe$_2$ monolayer

abstract: Charge density wave (CDW) phases are symmetry-reduced states of matter in which a periodic modulation of the electronic charge frequently leads to drastic changes of the electronic spectrum, including the emergence of energy gaps. We analyze the CDW state in a 1T-TiSe$_2$ monolayer within a density functional theory framework and show that, similarly to its bulk counterpart, the monolayer is unstable towards a commensurate $2{\times}2$ periodic lattice distortion (PLD) and CDW at low temperatures. Analysis of the electron and phonon spectrum establishes the PLD as the stable $T=0$ K configuration with a narrow bandgap, whereas the undistorted and semi-metalic state is stable only above a threshold temperature. The lattice distortions as well as the unfolded and reconstructed band structure in the CDW phase agree well with experimental results. We also address evidence in our results for the role of electron-electron interactions in the CDW instability of 1T-TiSe$_2$ monolayers.


title: JOKARUS - Design of a compact optical iodine frequency reference for a sounding rocket mission

abstract: We present the design of a compact absolute optical frequency reference for space applications based on hyperfine transitions in molecular iodine with a targeted fractional frequency instability of better than $3\cdot 10^{-14}$. It is based on a micro-integrated extended cavity diode laser with integrated optical amplifier, fiber pigtailed second harmonic generation wave-guide modules, and a quasi-monolithic spectroscopy setup with operating electronics. The instrument described here is scheduled for launch end of 2017 aboard the TEXUS 54 sounding rocket as an important qualification step towards space application of iodine frequency references and related technologies. The payload will operate autonomously and its optical frequency will be compared to an optical frequency comb during its space flight.


title: Heat capacity evidence for proximity to the Kitaev QSL in A$_2$IrO$_3$ ($A =$ Na, Li)

abstract: The honeycomb lattice iridates $A_2$IrO$_3$ ($A =$ Na, Li) are candidates for realization of the Kitaev-Heisenberg model although their proximity to Kitaev's quantum Spin-Liquid (QSL) is still debated. We report on heat capacity $C$ and entropy $S_{mag}$ for $A_2$IrO$_3$ ($A =$ Na, Li) in the temperature range $0.075~{\rm K}\leq T \leq 155$~K\@. We find a well separated two-peak structure for the magnetic heat capacity $C_{mag}$ for both materials and $S_{mag}$ for Na$_2$IrO$_3$ shows a shoulder between the peaks with a value close to ${1\over 2}$Rln$2$. These features signal the fractionalization of spins into Majornana Fermions close to Kitaev's QSL [Phys. Rev. B {\bf 92}, 115122 (2015); Phys. Rev. B {\bf 93}, 174425 (2016).]. These results provide the first thermodynamic evidence that $A_2$IrO$_3$ are situated close to the Kitaev QSL. Additionally we measure the high temperature $T\leq 1000$~K magnetic susceptibility $\chi$ and estimate the Weiss temperature $\theta$ in the true paramagnetic state. We find $\theta \approx -127$~K and $-105$~K, for Na$_2$IrO$_3$ and Li$_2$IrO$_3$, respectively.


title: Study of the neutron dose equivalent at the HIRFL deep tumor therapy terminal

abstract: The secondary neutron fields at the deep tumor therapy terminal at HIRFL (Heavy Ion Research Facility in Lanzhou) were investigated. The distributions of neutron ambient dose equivalent were measured with a FHT762 Wendi-II neutron ambient dose equivalent meter as the 12C ions with energies of 165, 207, 270, and 350 MeV/u bombarded on thick tissue-like targets. The thickness of targets used in experiments is larger than the range of the carbon ions. The neutron spectra and dose equivalent is simulated by using FLUKA code, and the results agree well with the experimental data. The experiment results showed that the neutron dose produced by fragmentation reactions in tissue can be neglected in carbon-ion therapy, even considering their enhanced biological effectiveness. These results are also valuable for radiation protection, especially in the shielding design of high energy heavy ion medical machines.


title: Sub-bandgap voltage electroluminescence and magneto-oscillations in a WSe2 light-emitting van der Waals heterostructure

abstract: We report on experimental investigations of an electrically driven WSe2 based light-emitting van der Waals heterostructure. We observe a threshold voltage for electroluminescence significantly lower than the corresponding single particle band gap of monolayer WSe2. This observation can be interpreted by considering the Coulomb interaction and a tunneling process involving excitons, well beyond the picture of independent charge carriers. An applied magnetic field reveals pronounced magneto-oscillations in the electroluminescence of the free exciton emission intensity with a 1/B-periodicity. This effect is ascribed to a modulation of the tunneling probability resulting from the Landau quantization in the graphene electrodes. A sharp feature in the differential conductance indicates that the Fermi level is pinned and allows for an estimation of the acceptor binding energy.


title: Stochastic Stability Analysis of Perturbed Learning Automata with Constant Step-Size in Strategic-Form Games

abstract: This paper considers a class of reinforcement-learning that belongs to the family of Learning Automata and provides a stochastic-stability analysis in strategic-form games. For this class of dynamics, convergence to pure Nash equilibria has been demonstrated only for the fine class of potential games. Prior work primarily provides convergence properties of the dynamics through stochastic approximations, where the asymptotic behavior can be associated with the limit points of an ordinary-differential equation (ODE). However, analyzing global convergence through the ODE-approximation requires the existence of a Lyapunov or a potential function, which naturally restricts the applicabity of these algorithms to a fine class of games. To overcome these limitations, this paper introduces an alternative framework for analyzing stochastic-stability that is based upon an explicit characterization of the (unique) invariant probability measure of the induced Markov chain.


title: Coalescing versus merging of energy levels in one-dimensional potentials

abstract: The sub-barrier pairs of energy levels of a Hermitian one-dimensional symmetric double well potential are known to merge into one, if the inter-well distance ($a$) is increased slowly. The energy at which the doublets merge are the ground state eigenvalues of independent wells ($\epsilon_0$). We show that if the double well is perturbed mildly by a complex PT-symmetric potential the merging of levels turns into the coalescing of two levels at an exceptional point $a=a_*$. For $a>a_*$, the real part of complex-conjugate eigenvalues coincides with $\epsilon_0$ again. This is an interesting and rare connection between the two phenomena in two domains: Hermiticity and complex PT-symmetry.


title: Multi-Label Segmentation via Residual-Driven Adaptive Regularization

abstract: We present a variational multi-label segmentation algorithm based on a robust Huber loss for both the data and the regularizer, minimized within a convex optimization framework. We introduce a novel constraint on the common areas, to bias the solution towards mutually exclusive regions. We also propose a regularization scheme that is adapted to the spatial statistics of the residual at each iteration, resulting in a varying degree of regularization being applied as the algorithm proceeds: the effect of the regularizer is strongest at initialization, and wanes as the solution increasingly fits the data. This minimizes the bias induced by the regularizer at convergence. We design an efficient convex optimization algorithm based on the alternating direction method of multipliers using the equivalent relation between the Huber function and the proximal operator of the one-norm. We empirically validate our proposed algorithm on synthetic and real images and offer an information-theoretic derivation of the cost-function that highlights the modeling choices made.


title: Hadronic coupling constants of $g_{\sigma\pi\pi}$ in lattice QCD

abstract: We investigate the coupling constant $g_{\sigma\pi\pi}$ for the hadronic decay $\sigma\to\pi\pi$ only using the relevant three-point function, which is evaluated by the moving-wall source technique with a pretty good noise-to-signal ratio. This simulation is carried out on a $40^3\times96$ MILC gauge configuration with $N_f=2+1$ flavor of the "Asqtad" improved staggered dynamical sea quarks at the lattice spacing $a \approx 0.09$ fm. Our estimated value for this given MILC fine lattice gauge ensemble $g_{\sigma\pi\pi}=2.71(42)$ GeV.


title: Collective neutrino oscillations and neutrino wave packets

abstract: Effects of decoherence by wave packet separation on collective neutrino oscillations in dense neutrino gases are considered. We estimate the length of the wave packets of neutrinos produced in core collapse supernovae and the expected neutrino coherence length, and then proceed to consider the decoherence effects within the density matrix formalism of neutrino flavour transitions. First, we demonstrate that for neutrino oscillations in vacuum the decoherence effects are described by a damping term in the equation of motion of the density matrix of a neutrino as a whole (as contrasted to that of the fixed-momentum components of the neutrino density matrix). Next, we consider neutrino oscillations in ordinary matter and dense neutrino backgrounds, both in the adiabatic and non-adiabatic regimes. In the latter case we study two specific models of adiabaticity violation -- one with short-term and another with extended non-adiabaticity. It is demonstrated that, while in the adiabatic case a damping term is present in the equation of motion of the neutrino density matrix (just like in the vacuum oscillation case), no such term in general appears in the non-adiabatic regime.


title: On Fienup Methods for Regularized Phase Retrieval

abstract: Alternating minimization, or Fienup methods, have a long history in phase retrieval. We provide new insights related to the empirical and theoretical analysis of these algorithms when used with Fourier measurements and combined with convex priors. In particular, we show that Fienup methods can be viewed as performing alternating minimization on a regularized nonconvex least-squares problem with respect to amplitude measurements. We then prove that under mild additional structural assumptions on the prior (semi-algebraicity), the sequence of signal estimates has a smooth convergent behaviour towards a critical point of the nonconvex regularized least-squares objective. Finally, we propose an extension to Fienup techniques, based on a projected gradient descent interpretation and acceleration using inertial terms. We demonstrate experimentally that this modification combined with an $\ell_1$ prior constitutes a competitive approach for sparse phase retrieval.


title: Deriving robust unfitted finite element methods from augmented Lagrangian formulations

abstract: In this paper we will discuss different coupling methods {suitable for use in} the framework of the recently introduced CutFEM paradigm, cf. Burman, Erik; Claus, Susanne; Hansbo, Peter; Larson, Mats G.; Massing, Andr\'e . CutFEM: discretizing geometry and partial differential equations. Internat. J. Numer. Methods Engrg. 104 (2015), no. 7, 472-501. In particular we will consider mortaring using Lagrange multipliers on the one hand and Nitsche's method on the other. For simplicity we will first discuss these method in the setting of uncut meshes, and end with some comments on the extension to CutFEM. We will, for comparison, discuss some different types of problems such as high contrast problems and problems with stiff coupling or adhesive contact. We will review some of the existing methods for these problems and propose some alternative methods resulting from crossovers from the Lagrange multiplier framework to Nitsche's method and vice versa.


title: Van der Waals-like Behaviour of Charged Black Holes and Hysteresis in the Dual QFTs

abstract: Using the rules of the AdS/CFT correspondence, we compute the spherical analogue of the shear viscosity, defined in terms of the retarded Green function for the stress-energy tensor for QFTs dual to five-dimensional charged black holes of general relativity with a negative cosmological constant. We show that the ratio between this quantity and the entropy density, $\tilde\eta/s$, exhibits a temperature-dependent hysteresis. We argue that this hysteretic behaviour can be explained by the Van der Waals-like character of charged black holes, considered as thermodynamical systems. Under the critical charge, hysteresis emerges owing to the presence of two stable states (small and large black holes) connected by a meta-stable region (intermediate black holes). A potential barrier prevents the equilibrium path between the two stable states; the system evolution must occur through the meta-stable region, and a path-dependence of $\tilde\eta/s$ is generated.


title: Curie: Policy-based Secure Data Exchange

abstract: Data sharing among partners---users, organizations, companies---is crucial for the advancement of data analytics in many domains. Sharing through secure computation and differential privacy allows these partners to perform private computations on their sensitive data in controlled ways. However, in reality, there exist complex relationships among members. Politics, regulations, interest, trust, data demands and needs are one of the many reasons. Thus, there is a need for a mechanism to meet these conflicting relationships on data sharing. This paper presents Curie, an approach to exchange data among members whose membership has complex relationships. The CPL policy language that allows members to define the specifications of data exchange requirements is introduced. Members (partners) assert who and what to exchange through their local policies and negotiate a global sharing agreement. The agreement is implemented in a multi-party computation that guarantees sharing among members will comply with the policy as negotiated. The use of Curie is validated through an example of a health care application built on recently introduced secure multi-party computation and differential privacy frameworks, and policy and performance trade-offs are explored.


title: Approximate Inference with Amortised MCMC

abstract: We propose a novel approximate inference algorithm that approximates a target distribution by amortising the dynamics of a user-selected MCMC sampler. The idea is to initialise MCMC using samples from an approximation network, apply the MCMC operator to improve these samples, and finally use the samples to update the approximation network thereby improving its quality. This provides a new generic framework for approximate inference, allowing us to deploy highly complex, or implicitly defined approximation families with intractable densities, including approximations produced by warping a source of randomness through a deep neural network. Experiments consider image modelling with deep generative models as a challenging test for the method. Deep models trained using amortised MCMC are shown to generate realistic looking samples as well as producing diverse imputations for images with regions of missing pixels.


title: Self-corrected chip-based dual-comb spectrometer

abstract: We present a dual-comb spectrometer based on two passively mode-locked waveguide lasers integrated in a single Er-doped ZBLAN chip. This original design yields two free-running frequency combs having a high level of mutual stability. We developed in parallel a self-correction algorithm that compensates residual relative fluctuations and yields mode-resolved spectra without the help of any reference laser or control system. Fluctuations are extracted directly from the interferograms using the concept of ambiguity function, which leads to a significant simplification of the instrument that will greatly ease its widespread adoption. Comparison with a correction algorithm relying on a single-frequency laser indicates discrepancies of only 50 attoseconds on optical timings. The capacities of this instrument are finally demonstrated with the acquisition of a high-resolution molecular spectrum covering 20 nm. This new chip-based multi-laser platform is ideal for the development of high-repetition-rate, compact and fieldable comb spectrometers in the near- and mid-infrared.


title: Bifurcations and dynamics emergent from lattice and continuum models of bioactive porous media

abstract: We study dynamics emergent from a two-dimensional reaction--diffusion process modelled via a finite lattice dynamical system, as well as an analogous PDE system, involving spatially nonlocal interactions. These models govern the evolution of cells in a bioactive porous medium, with evolution of the local cell density depending on a coupled quasi--static fluid flow problem. We demonstrate differences emergent from the choice of a discrete lattice or a continuum for the spatial domain of such a process. We find long--time oscillations and steady states in cell density in both lattice and continuum models, but that the continuum model only exhibits solutions with vertical symmetry, independent of initial data, whereas the finite lattice admits asymmetric oscillations and steady states arising from symmetry-breaking bifurcations. We conjecture that it is the structure of the finite lattice which allows for more complicated asymmetric dynamics. Our analysis suggests that the origin of both types of oscillations is a nonlocal reaction-diffusion mechanism mediated by quasi-static fluid flow.


title: Wright-Fisher diffusions for evolutionary games with death-birth updating

abstract: We investigate spatial evolutionary games with death-birth updating in large finite populations. Within growing spatial structures subject to appropriate conditions, the density processes of a fixed type are proven to converge to the Wright-Fisher diffusions with drift. In addition, convergence in the Wasserstein distance of the laws of their occupation measures holds. The proofs of these results develop along an equivalence between the laws of the evolutionary games and certain voter models and rely on the analogous results of voter models on large finite sets by convergences of the Radon-Nikodym derivative processes. As another application of this equivalence of laws, we show that in a general, large population of size $N$, for which the stationary probabilities of the corresponding voting kernel are comparable to uniform probabilities, a first-derivative test among the major methods for these evolutionary games is applicable at least up to weak selection strengths in the usual biological sense (that is, selection strengths of the order $\mathcal O(1/N)$).


title: Basics of the magnetocaloric effect

abstract: This chapter reviews the basic physics and thermodynamics that govern magnetocaloric materials. The thermodynamics of magnetic materials is discussed by introducing relevant free energy terms together with their microscopic origin leading to a discussion of the sources of entropy that can change in an applied magnetic field. Such entropies account for measurable magnetocaloric effects, especially in the vicinity of magnetic phase transitions. Particular attention is devoted to first order magnetic transitions that involve the coupling of spin, lattice, electronic and anisotropic magneto-crystalline degrees of freedom. The problem of irreversibility and hysteresis, present in magnetocaloric materials with first order phase transitions is discussed in the context of out-of-equilibrium thermodynamics and hysteresis modeling.


title: Conductance and Kondo Interference beyond Proportional Coupling

abstract: The transport properties of nanostructured systems are deeply affected by the geometry of the effective connections to metallic leads. In this work we derive a conductance expression for interacting systems whose connectivity geometries do not meet the Meir-Wingreen proportional coupling condition. As an interesting application, we consider a quantum dot connected coherently to tunable electronic cavity modes. The structure is shown to exhibit a well-defined Kondo effect over a wide range of coupling strengths between the two subsystems. In agreement with recent experimental results, the calculated conductance curves exhibit strong modulations and asymmetric behavior as different cavity modes are swept through the Fermi level. These conductance modulations occur, however, while maintaining robust Kondo singlet correlations of the dot with the electronic reservoir, a direct consequence of the lopsided nature of the device.


title: Big Data for Social Sciences: Measuring patterns of human behavior through large-scale mobile phone data

abstract: Through seven publications this dissertation shows how anonymized mobile phone data can contribute to the social good and provide insights into human behaviour on a large scale. The size of the datasets analysed ranges from 500 million to 300 billion phone records, covering millions of people. The key contributions are two-fold: 1. Big Data for Social Good: Through prediction algorithms the results show how mobile phone data can be useful to predict important socio-economic indicators, such as income, illiteracy and poverty in developing countries. Such knowledge can be used to identify where vulnerable groups in society are, reduce economic shocks and is a critical component for monitoring poverty rates over time. Further, the dissertation demonstrates how mobile phone data can be used to better understand human behaviour during large shocks in society, exemplified by an analysis of data from the terror attack in Norway and a natural disaster on the south-coast in Bangladesh. This work leads to an increased understanding of how information spreads, and how millions of people move around. The intention is to identify displaced people faster, cheaper and more accurately than existing survey-based methods. 2. Big Data for efficient marketing: Finally, the dissertation offers an insight into how anonymised mobile phone data can be used to map out large social networks, covering millions of people, to understand how products spread inside these networks. Results show that by including social patterns and machine learning techniques in a large-scale marketing experiment in Asia, the adoption rate is increased by 13 times compared to the approach used by experienced marketers. A data-driven and scientific approach to marketing, through more tailored campaigns, contributes to less irrelevant offers for the customers, and better cost efficiency for the companies.


title: Computable quotient presentations of models of arithmetic and set theory

abstract: We prove various extensions of the Tennenbaum phenomenon to the case of computable quotient presentations of models of arithmetic and set theory. Specifically, no nonstandard model of arithmetic has a computable quotient presentation by a c.e. equivalence relation. No $\Sigma_1$-sound nonstandard model of arithmetic has a computable quotient presentation by a co-c.e. equivalence relation. No nonstandard model of arithmetic in the language $\{+,\cdot,\leq\}$ has a computably enumerable quotient presentation by any equivalence relation of any complexity. No model of ZFC or even much weaker set theories has a computable quotient presentation by any equivalence relation of any complexity. And similarly no nonstandard model of finite set theory has a computable quotient presentation.


title: Regular $t$-balanced Cayley maps on split metacyclic $2$-groups

abstract: A regular $t$-balanced Cayley map on a group $\Gamma$ is an embedding of a Cayley graph on $\Gamma$ into a surface with certain special symmetric properties. We completely classify regular $t$-balanced Cayley maps for a class of split metacyclic $2$-groups.


title: Existentially Closed Brouwerian Semilattices

abstract: The variety of Brouwerian semilattices is amalgamable and locally finite, hence by well-known results due to W. H. Wheeler, it has a model completion (whose models are the existentially closed structures). In this paper, we supply for such a model completion a finite and rather simple axiomatization.


title: Young neutron stars with soft gamma ray emission and anomalous X-ray pulsar

abstract: The observational properties of Soft Gamma Repeaters and Ano\-malous X-ray Pulsars (SGR/AXP) indicate to necessity of the energy source different from a rotational energy of a neutron star. The model, where the source of the energy is connected with a magnetic field dissipation in a highly magnetized neutron star (magnetar) is analyzed. Some observational inconsistencies are indicated for this interpretation. The alternative energy source, connected with the nuclear energy of superheavy nuclei stored in the nonequilibrium layer of low mass neutron star is discussed.


title: Hopf algebra techniques to handle dynamical systems and numerical integrators

abstract: In a series of papers the present authors and their coworkers have developed a family of algebraic techniques to solve a number of problems in the theory of discrete or continuous dynamical systems and to analyze numerical integrators. Given a specific problem, those techniques construct an abstract, {\em universal} version of it which is solved algebraically; then, the results are tranferred to the original problem with the help of a suitable morphism. In earlier contributions, the abstract problem is formulated either in the dual of the shuffle Hopf algebra or in the dual of the Connes-Kreimer Hopf algebra. In the present contribution we extend these techniques to more general Hopf algebras, which in some cases lead to more efficient computations.


title: The Ancient Astronomy of Easter Island: The Mamari Tablet Tells (Part 2)

abstract: The beginning of the calendar record inscribed on the Mamari tablet has been dated to the day of the summer solstice of December 20, 1680 A.D. The moon was not visible earlier at night. Because of a possible solar eclipse it was a perilous day, a precursor of the future misfortunes: the motion of Halley's Comet of 1682 A.D. and the rebellion of the western tribes. The new data about the watchings of the star Antares have been obtained, too.


title: Interplay of dust alignment, grain growth and magnetic fields in polarization: lessons from the emission-to-extinction ratio

abstract: Polarized extinction and emission from dust in the interstellar medium (ISM) are hard to interpret, as they have a complex dependence on dust optical properties, grain alignment and magnetic field orientation. This is particularly true in molecular clouds. The data available today are not yet used to their full potential. The combination of emission and extinction, in particular, provides information not available from either of them alone. We combine data from the scientific literature on polarized dust extinction with Planck data on polarized emission and we use them to constrain the possible variations in dust and environmental conditions inside molecular clouds, and especially translucent lines of sight, taking into account magnetic field orientation. We focus on the dependence between \lambda_max -- the wavelength of maximum polarization in extinction -- and other observables such as the extinction polarization, the emission polarization and the ratio of the two. We set out to reproduce these correlations using Monte-Carlo simulations where the relevant quantities in a dust model -- grain alignment, size distribution and magnetic field orientation -- vary to mimic the diverse conditions expected inside molecular clouds. None of the quantities chosen can explain the observational data on its own: the best results are obtained when all quantities vary significantly across and within clouds. However, some of the data -- most notably the stars with low emission-to-extinction polarization ratio -- are not reproduced by our simulation. Our results suggest not only that dust evolution is necessary to explain polarization in molecular clouds, but that a simple change in size distribution is not sufficient to explain the data, and point the way for future and more sophisticated models.


title: A Message Passing Approach for Decision Fusion in Adversarial Multi-Sensor Networks

abstract: We consider a simple, yet widely studied, set-up in which a Fusion Center (FC) is asked to make a binary decision about a sequence of system states by relying on the possibly corrupted decisions provided by byzantine nodes, i.e. nodes which deliberately alter the result of the local decision to induce an error at the fusion center. When independent states are considered, the optimum fusion rule over a batch of observations has already been derived, however its complexity prevents its use in conjunction with large observation windows. In this paper, we propose a near-optimal algorithm based on message passing that greatly reduces the computational burden of the optimum fusion rule. In addition, the proposed algorithm retains very good performance also in the case of dependent system states. By first focusing on the case of small observation windows, we use numerical simulations to show that the proposed scheme introduces a negligible increase of the decision error probability compared to the optimum fusion rule. We then analyse the performance of the new scheme when the FC make its decision by relying on long observation windows. We do so by considering both the case of independent and Markovian system states and show that the obtained performance are superior to those obtained with prior suboptimal schemes. As an additional result, we confirm the previous finding that, in some cases, it is preferable for the byzantine nodes to minimise the mutual information between the sequence system states and the reports submitted to the FC, rather than always flipping the local decision.


title: The Markoff Group of Transformations in Prime and Composite Moduli

abstract: The Markoff group of transformations is a group $\Gamma$ of affine integral morphisms, which is known to act transitively on the set of all positive integer solutions to the equation $x^{2}+y^{2}+z^{2}=xyz$. The fundamental strong approximation conjecture for the Markoff equation states that for every prime $p$, the group $\Gamma$ acts transitively on the set $X^{*}\left(p\right)$ of non-zero solutions to the same equation over $\mathbb{Z}/p\mathbb{Z}$. Recently, Bourgain, Gamburd and Sarnak proved this conjecture for all primes outside a small exceptional set. In the current paper, we study a group of permutations obtained by the action of $\Gamma$ on $X^{*}\left(p\right)$, and show that for most primes, it is the full symmetric or alternating group. We use this result to deduce that $\Gamma$ acts transitively also on the set of non-zero solutions in a big class of composite moduli. Our result is also related to a well-known theorem of Gilman, stating that for any finite non-abelian simple group $G$ and $r\ge3$, the group $\mathrm{Aut}\left(F_{r}\right)$ acts on at least one $T_{r}$-system of $G$ as the alternating or symmetric group. In this language, our main result translates to that for most primes $p$, the group $\mathrm{Aut}\left(F_{2}\right)$ acts on a particular $T_{2}$-system of $\mathrm{PSL}\left(2,p\right)$ as the alternating or symmetric group.


title: Dynamic Word Embeddings

abstract: We present a probabilistic language model for time-stamped text data which tracks the semantic evolution of individual words over time. The model represents words and contexts by latent trajectories in an embedding space. At each moment in time, the embedding vectors are inferred from a probabilistic version of word2vec [Mikolov et al., 2013]. These embedding vectors are connected in time through a latent diffusion process. We describe two scalable variational inference algorithms--skip-gram smoothing and skip-gram filtering--that allow us to train the model jointly over all times; thus learning on all data while simultaneously allowing word and context vectors to drift. Experimental results on three different corpora demonstrate that our dynamic model infers word embedding trajectories that are more interpretable and lead to higher predictive likelihoods than competing methods that are based on static models trained separately on time slices.


title: Neural Map: Structured Memory for Deep Reinforcement Learning

abstract: A critical component to enabling intelligent reasoning in partially observable environments is memory. Despite this importance, Deep Reinforcement Learning (DRL) agents have so far used relatively simple memory architectures, with the main methods to overcome partial observability being either a temporal convolution over the past k frames or an LSTM layer. More recent work (Oh et al., 2016) has went beyond these architectures by using memory networks which can allow more sophisticated addressing schemes over the past k frames. But even these architectures are unsatisfactory due to the reason that they are limited to only remembering information from the last k frames. In this paper, we develop a memory system with an adaptable write operator that is customized to the sorts of 3D environments that DRL agents typically interact with. This architecture, called the Neural Map, uses a spatially structured 2D memory image to learn to store arbitrary information about the environment over long time lags. We demonstrate empirically that the Neural Map surpasses previous DRL memories on a set of challenging 2D and 3D maze environments and show that it is capable of generalizing to environments that were not seen during training.


title: Determination of oxygen vacancy limit in Mn substituted YSZ ceramics

abstract: The series of Mnx(Y0.148Zr0.852)1-xO2-{\delta} ceramics was systematically studied by means of X-ray absorption and emission spectroscopy and DC magnetic susceptibility. XAS and XES results show changes in manganese oxidation state and a gradual evolution of the local atomic environment around Mn ions upon increasing dopants content, which is due to structural relaxation caused by growing amount of oxygen vacancies. Magnetic susceptibility measurements reveal that Mn3O4 precipitates are formed for x greater than or equal to 0.1 and enable independent determination of actual quantity of Mn ions dissolved in YSZ solid solution. We show that amount of oxygen vacancies generated by manganese doping into YSZ is limited to 0.19 per formula unit.


title: Spherically symmetric solutions of the $\lambda$-R model

abstract: We derive spherically symmetric solutions of the classical \lambda-R model, a minimal, anisotropic modification of general relativity with a preferred foliation and two local degrees of freedom. Starting from a 3 + 1 decomposition of the four-metric in a general spherically symmetric ansatz, we perform a phase space analysis of the reduced model. We show that its constraint algebra is consistent with that of the full \lambda-R model, and also yields a constant mean curvature or maximal slicing condition as a tertiary constraint. Although the solutions contain the standard Schwarzschild geometry for the general relativistic value \lambda = 1 or for vanishing mean extrinsic curvature K, they are in general non-static, incompatible with asymptotic flatness and parametrized not only by a conserved mass. We show by explicit computation that the four-dimensional Ricci scalar of the solutions is in general time-dependent and nonvanishing.