title: Hund's metals, explained

abstract: A possible practical definition for a Hund's metal is given, as a metallic phase - arising consistently in realistic simulations and experiments in Fe-based superconductors and other materials - with three features: large electron masses, high-spin local configurations dominating the paramagnetic fluctuations and orbital-selective correlations. These features are triggered by, and increase with the proximity to, a Hund's coupling-favored Mott insulator that is realized for half-filled conduction bands. A clear crossover line is found where these three features get enhanced, departing from the Mott transition at half filling and extending in the interaction/doping plane, between a normal (at weak interaction and large doping) and a Hund's metal (at strong interaction and small doping). This phenomenology is found identically in models with featureless bands, highlighting the generality of this physics and its robustness by respect to the details of the material band structures. Some analytical arguments are also given to gain insight into these defining features. Finally the attention is brought on the recent theoretical finding of enhanced/diverging electronic compressibility near the Hund's metal crossover, pointing to enhanced quasiparticle interactions that can cause or boost superconductivity or other instabilities.


title: The Lie Representation of the Complex Unit Sphere

abstract: We present the derivation of the 6-dimensional Eulerian Lie group of the form SO(3,C). We describe our derivation process, which involves the creation of a finite group by using permutation matrices, and the exponentiation of the adjoint form of the subset representing the generators of the finite group. We take clues from the 2-dimensional complex rotation matrix to present, what we believe, is a true representation of the Lie group for the six-dimensional complex unit sphere and proceed to study its dynamics. With this approach, we can proceed to present this SO(3,C) group and derive its unitary counterpart that is U(3). The following findings can prove useful in mathematical physics, complex analysis and applications in deriving higher dimensional forms of similar division algebras.


title: Analogue tachyon in Jeans Cloud

abstract: We study the linear perturbations in a stable Jeans cloud, i.e; the dimension of the cloud is less than the Jeans length. We find that the linear perturbation of density in such a system obeys a wave equation in acoustic analogue of Minkowski space-time which is similar to Klein-Gordon equation for tachyon field in Minkowski space-time, i.e; Klein-Gordon equation with negative mass-squared term in a flat space time background. We further find the analogy with tachyon field for linear perturbation of density by studying linear perturbations in a stable cloud made of Bose-Einstein condensate as dark matter.


title: Generalized minimum distance functions

abstract: Using commutative algebra methods we study the generalized minimum distance function (gmd function) and the corresponding generalized footprint function of a graded ideal in a polynomial ring over a field. The number of solutions that a system of homogeneous polynomials has in any given finite set of projective points is expressed as the degree of a graded ideal. If $\mathbb{X}$ is a set of projective points over a finite field and $I$ is its vanishing ideal, we show that the gmd function and the Vasconcelos function of $I$ are equal to the $r$-th generalized Hamming weight of the corresponding Reed-Muller-type code $C_\mathbb{X}(d)$ of degree $d$. We show that the generalized footprint function of $I$ is a lower bound for the $r$-th generalized Hamming weight of $C_\mathbb{X}(d)$. Then we present some applications to projective nested cartesian codes. To give applications of our lower bound to algebraic coding theory, we show an interesting integer inequality. Then we show an explicit formula and a combinatorial formula for the second generalized Hamming weight of an affine cartesian code.

categories: math.AC cs.IT math.AG math.CO math.IT math.NT


title: Journeys from Quantum Optics to Quantum Technology

abstract: Sir Peter Knight is a pioneer in quantum optics which has now grown to an important branch of modern physics to study the foundations and applications of quantum physics. He is leading an effort to develop new technologies from quantum mechanics. In this collection of essays, we recall the time we were working with him as a postdoc or a PhD student and look at how the time with him has influenced our research.


title: An algorithm for the numerical evaluation of the associated Legendre functions that runs in time independent of degree and order

abstract: We describe a method for the numerical evaluation of normalized versions of the associated Legendre functions $P_\nu^{-\mu}$ and $Q_\nu^{-\mu}$ of degrees $0 \leq \nu \leq 1,000,000$ and orders $-\nu \leq \mu \leq \nu$ on the interval $(-1,1)$. Our algorithm, which runs in time independent of $\nu$ and $\mu$, is based on the fact that while the associated Legendre functions themselves are extremely expensive to represent via polynomial expansions, the logarithms of certain solutions of the differential equation defining them are not. We exploit this by numerically precomputing the logarithms of carefully chosen solutions of the associated Legendre differential equation and representing them via piecewise trivariate Chebyshev expansions. These precomputed expansions, which allow for the rapid evaluation of the associated Legendre functions over a large swath of parameter domain mentioned above, are supplemented with asymptotic and series expansions in order to cover it entirely. The results of numerical experiments demonstrating the efficacy of our approach are presented, and our code for evaluating the associated Legendre functions is publicly available.


title: Endpoint compactness of singular integrals and perturbations of the Cauchy Integral

abstract: We prove sufficient and necessary conditions for compactness of Calder\'on-Zygmund operators on the endpoint from $L^{\infty }(\mathbb R)$ into ${\rm CMO}(\mathbb R)$. We use this result to prove compactness on $L^{p}(\mathbb R)$ with $1<p<\infty $ of certain perturbations of the Cauchy integral on curves with normal derivatives satisfying a ${\rm CMO}$-condition.


title: A class of exactly solvable rationally extended non-central potentials in Two and Three Dimensions

abstract: We start from a seven parameters (six continuous and one discrete) family of non-central exactly solvable potential in three dimensions and construct a wide class of ten parameters (six continuous and four discrete) family of rationally extended exactly solvable non-central real as well as PT symmetric complex potentials. The energy eigenvalues and the eigenfunctions of these extended non-central potentials are obtained explicitly and it is shown that the wave eigenfunctions of these po- tentials are either associated with the exceptional orthogonal polynomials (EOPs) or some type of new polynomials which can be further re-expressed in terms of the corresponding classical orthogonal polynomials. Similarly, we also construct a wide class of rationally extended exactly solvable non-central real as well as complex PT-invariant potentials in two dimensions.


title: Common Metrics for Analyzing, Developing and Managing Telecommunication Networks

abstract: The metrics play increasingly fundamental role in the design, development, deployment and operation of telecommunication systems. Despite their importance, the studies of metrics are usually limited to a narrow area or a well-defined objective. Our study aims to more broadly survey the metrics that are commonly used for analyzing, developing and managing telecommunication networks in order to facilitate understanding of the current metrics landscape. The metrics are simple abstractions of systems, and they directly influence how the systems are perceived by different stakeholders. However, defining and using metrics for telecommunication systems with ever increasing complexity is a complicated matter which has not been so far systematically and comprehensively considered in the literature. The common metrics sources are identified, and how the metrics are used and selected is discussed. The most commonly used metrics for telecommunication systems are categorized and presented as energy and power metrics, quality-of-service metrics, quality-of-experience metrics, security metrics, and reliability and resilience metrics. Finally, the research directions and recommendations how the metrics can evolve, and be defined and used more effectively are outlined.


title: Une r\'eflexion \`a partir de la Nature de Spinoza : "La substance ou la Nature comme Treillis"

abstract: We propose a simple mathematical model based on two axioms and the set theory to approach the problem developed by the philosopher B. Spinoza in "the Ethics". We then use the Knaster-Tarski Theorem to prove the existence and uniqueness of the Substance asserted by Spinoza.


title: Stit logic of justification announcements: a completeness result

abstract: We present a completeness result for a logical system which combines stit logic and justification logic in order to represent proving activity of the agents. This logic is interpreted over the semantics introduced in earlier publications. We define a Hilbert-style axiomatic system for this logic and show that this system is strongly complete relative to the intended semantics.


title: Diffeomorphisms of the closed unit disc converging to the identity

abstract: If $\mathcal{G}$ is the group (under composition) of diffeomorphisms $f : {\bar{D}}(0;1) \rightarrow {\bar{D}}(0;1)$ of the closed unit disc ${\bar{D}}(0;1)$ which are the identity map $id : {\bar{D}}(0;1) \rightarrow {\bar{D}}(0;1)$ on the closed unit circle and satisfy the condition $det(J(f)) > 0$, where $J(f)$ is the Jacobian matrix of $f$ or (equivalently) the Fr\'echet derivative of $f$, then $\mathcal{G}$ equipped with the metric $d_{\mathcal{G}}(f,g) = \Vert f-g \Vert_{\infty } + \Vert J(f) - J(g) \Vert_{\infty }$, where $f$, $g$ range over $\mathcal{G}$, is a metric space in which $d_{\mathcal{G}} \left( f_{t} , id \right) \rightarrow 0$ as $t \rightarrow 1^{+}$, where $f_{t}(z) = \frac{ tz }{ 1 + (t-1) \vert z \vert }$, whenever $z \in {\bar{D}}(0;1)$ and $t \geq 1$.


title: Relativistic Entanglement

abstract: The relativistic quantum theory of Stueckelberg, Horwitz and Piron (SHP) describes in a simple way the experiment on interference in time of an electron emitted by femtosecond laser pulses carried out by Lindner et al. In this paper, we show that, in a way similar to our study of the Lindner et al experiment (with some additional discussion of the covariant quantum mechanical description of spin and angular momentum), the experiment proposed by Palacios et al to demonstrate entanglement of a two electron state, where the electrons are separated in time of emission, has a consistent interpretation in terms of the SHP theory. We find, after a simple calculation, results in essential agreement with those of Palacios et al; but with the observed times as values of proper quantum observables.


title: Separating regular languages with two quantifier alternations

abstract: We investigate a famous decision problem in automata theory: separation. Given a class of language C, the separation problem for C takes as input two regular languages and asks whether there exists a third one which belongs to C, includes the first one and is disjoint from the second. Typically, obtaining an algorithm for separation yields a deep understanding of the investigated class C. This explains why a lot of effort has been devoted to finding algorithms for the most prominent classes. Here, we are interested in classes within concatenation hierarchies. Such hierarchies are built using a generic construction process: one starts from an initial class called the basis and builds new levels by applying generic operations. The most famous one, the dot-depth hierarchy of Brzozowski and Cohen, classifies the languages definable in first-order logic. Moreover, it was shown by Thomas that it corresponds to the quantifier alternation hierarchy of first-order logic: each level in the dot-depth corresponds to the languages that can be defined with a prescribed number of quantifier blocks. Finding separation algorithms for all levels in this hierarchy is among the most famous open problems in automata theory. Our main theorem is generic: we show that separation is decidable for the level 3/2 of any concatenation hierarchy whose basis is finite. Furthermore, in the special case of the dot-depth, we push this result to the level 5/2. In logical terms, this solves separation for $\Sigma_3$: first-order sentences having at most three quantifier blocks starting with an existential one.


title: Hierarchical Deep Recurrent Architecture for Video Understanding

abstract: This paper introduces the system we developed for the Youtube-8M Video Understanding Challenge, in which a large-scale benchmark dataset was used for multi-label video classification. The proposed framework contains hierarchical deep architecture, including the frame-level sequence modeling part and the video-level classification part. In the frame-level sequence modelling part, we explore a set of methods including Pooling-LSTM (PLSTM), Hierarchical-LSTM (HLSTM), Random-LSTM (RLSTM) in order to address the problem of large amount of frames in a video. We also introduce two attention pooling methods, single attention pooling (ATT) and multiply attention pooling (Multi-ATT) so that we can pay more attention to the informative frames in a video and ignore the useless frames. In the video-level classification part, two methods are proposed to increase the classification performance, i.e. Hierarchical-Mixture-of-Experts (HMoE) and Classifier Chains (CC). Our final submission is an ensemble consisting of 18 sub-models. In terms of the official evaluation metric Global Average Precision (GAP) at 20, our best submission achieves 0.84346 on the public 50% of test dataset and 0.84333 on the private 50% of test data.


title: Fine-Grained vs. Average Reliability for V2V Communications around Intersections

abstract: Intersections are critical areas of the transportation infrastructure associated with 47% of all road accidents. Vehicle-to-vehicle (V2V) communication has the potential of preventing up to 35% of such serious road collisions. In fact, under the 5G/LTE Rel.15+ standardization, V2V is a critical use-case not only for the purpose of enhancing road safety, but also for enabling traffic efficiency in modern smart cities. Under this anticipated 5G definition, high reliability of 0.99999 is expected for semi-autonomous vehicles (i.e., driver-in-the-loop). As a consequence, there is a need to assess the reliability, especially for accident-prone areas, such as intersections. We unpack traditional average V2V reliability in order to quantify its related fine-grained V2V reliability. Contrary to existing work on infinitely large roads, when we consider finite road segments of significance to practical real-world deployment, fine-grained reliability exhibits bimodal behavior. Performance for a certain vehicular traffic scenario is either very reliable or extremely unreliable, but nowhere in relative proximity to the average performance.


title: Non-Hermitian Quantum Physics of Open Systems

abstract: Information on quantum systems can be obtained only when they are open (or opened) in relation to a certain environment. As a matter of fact, realistic open quantum systems appear in very different shape. We sketch the theoretical description of open quantum systems by means of a projection operator formalism elaborated many years ago, and applied by now to the description of different open quantum systems. The Hamiltonian describing the open quantum system is non-Hermitian. Most studied are the eigenvalues of the non-Hermitian Hamiltonian of many-particle systems embedded in one environment. We point to the unsolved problems of this method when applied to the description of realistic many-body systems. We then underline the role played by the eigenfunctions of the non-Hermitian Hamiltonian. Very interesting results originate from the fluctuations of the eigenfunctions in systems with gain and loss of excitons. They occur with an efficiency of nearly 100\%. An example is the photosynthesis.


title: An inverse problem for Maxwell's equations with Lipschitz parameters

abstract: We consider an inverse boundary value problem for Maxwell's equations, which aims to recover the electromagnetic material properties of a body from measurements on the boundary. We show that a Lipschitz continuous conductivity, electric permittivity, and magnetic permeability are uniquely determined by knowledge of all tangential electric and magnetic fields on the boundary of the body at a fixed frequency.


title: The Intentional Unintentional Agent: Learning to Solve Many Continuous Control Tasks Simultaneously

abstract: This paper introduces the Intentional Unintentional (IU) agent. This agent endows the deep deterministic policy gradients (DDPG) agent for continuous control with the ability to solve several tasks simultaneously. Learning to solve many tasks simultaneously has been a long-standing, core goal of artificial intelligence, inspired by infant development and motivated by the desire to build flexible robot manipulators capable of many diverse behaviours. We show that the IU agent not only learns to solve many tasks simultaneously but it also learns faster than agents that target a single task at-a-time. In some cases, where the single task DDPG method completely fails, the IU agent successfully solves the task. To demonstrate this, we build a playroom environment using the MuJoCo physics engine, and introduce a grounded formal language to automatically generate tasks.


title: Bayesian latent hierarchical model for transcriptomic meta-analysis to detect biomarkers with clustered meta-patterns of differential expression signals

abstract: Due to the rapid development of high-throughput experimental techniques and fast-dropping prices, many transcriptomic datasets have been generated and accumulated in the public domain. Meta-analysis combining multiple transcriptomic studies can increase the statistical power to detect disease-related biomarkers. In this paper, we introduce a Bayesian latent hierarchical model to perform transcriptomic meta-analysis. This method is capable of detecting genes that are differentially expressed (DE) in only a subset of the combined studies, and the latent variables help quantify homogeneous and heterogeneous differential expression signals across studies. A tight clustering algorithm is applied to detected biomarkers to capture differential meta-patterns that are informative to guide further biological investigation. Simulations and three examples, including a microarray dataset from metabolism-related knockout mice, an RNA-seq dataset from HIV transgenic rats, and cross-platform datasets from human breast cancer, are used to demonstrate the performance of the proposed method.


title: Equivalence relations on ecosystems

abstract: In abstract terms, ecosystem ecology is about determining when two ecosystems, superficially different, are alike in some deeper way. An external observer can choose any ecosystem property as being important. In contrast, two ecosystems are equivalent from the point of view of the organisms they contain if and only if for each species, the proportional population growth rate does not differ between the ecosystems. Comparative studies of ecosystems should therefore focus on patterns in proportional population growth rates, rather than patterns in other properties such as relative abundances. Popular activities such as measuring dissimilarity, and representing dissimilarity via ordination, can then be done from the point of view of the organisms in ecosystems. Summarizing the state of an ecosystem under this approach remains challenging. In general, the dynamics on equivalence classes of ecosystems defined in this way are structurally different from the dynamics of ecosystems as seen by an external observer. This may limit the extent to which natural selection can act on ecosystem structure.


title: A characterization of testable hypergraph properties

abstract: We provide a combinatorial characterization of all testable properties of $k$-uniform hypergraphs ($k$-graphs for short). Here, a $k$-graph property $P$ is testable if there is a randomized algorithm which makes a bounded number of edge queries and distinguishes with probability $2/3$ between $k$-graphs that satisfy $P$ and those that are far from satisfying $P$. For the $2$-graph case, such a combinatorial characterization was obtained by Alon, Fischer, Newman and Shapira. Our results for the $k$-graph setting are in contrast to those of Austin and Tao, who showed that for the somewhat stronger concept of local repairability, the testability results for graphs do not extend to the $3$-graph setting. Our proof relies on a random subhypergraph sampling result proved in a companion paper.


title: Probing dynamical symmetry breaking using quantum-entangled photons

abstract: We present an input/output analysis of photon-correlation experiments whereby a quantum mechanically entangled bi-photon state interacts with a material sample placed in one arm of a Hong-Ou-Mandel (HOM) apparatus. We show that the output signal contains detailed information about subsequent entanglement with the microscopic quantum states in the sample. In particular, we apply the method to an ensemble of emitters interacting with a common photon mode within the open-system Dicke Model. Our results indicate considerable dynamical information concerning spontaneous symmetry breaking can be revealed with such an experimental system.


title: Helical locomotion in granular media

abstract: The physical mechanisms that bring about the propulsion of a rotating helix in a granular medium are considered. A propulsive motion along the axis of the rotating helix is induced by both symmetry breaking due to the helical shape, and the anisotropic frictional forces undergone by all segments of the helix in the medium. Helix dynamics is studied as a function of helix rotation speed and its geometrical parameters. The effect of the granular pressure and the applied external load were also investigated. A theoretical model is developed based on the anisotropic frictional force experienced by a slender body moving in a granular material, to account for the translation speed of the helix. A good agreement with experimental data is obtained, which allows for predicting the helix design to propel optimally within granular media. These results pave the way for the development of an efficient sand-robot operating according to this mode of locomotion.


title: Determination of any pure spatial qudits from a minimum number of measurements by phase stepping interferometry

abstract: We present a proof-of-principle demonstration of a method to characterize \textit{any} pure spatial qudit of arbitrary dimension $d$, which is based on the classic phase shift interferometry technique. In the proposed scheme a total of only $4 d$ measurement outcomes are needed, implying a significant reduction with respect to the standard schemes for quantum state tomography which require of the order of $d^2$. By using this technique, we have experimentally reconstructed a large number of states ranging from $d=2$ up to $14$ with mean fidelity values higher than $0.97$. For that purpose the qudits were codified in the discretized transverse momentum-position of single photons, once they are sent through an aperture with $d$ slits. We provide an experimental implementation of the method based in a Mach-Zehnder interferometer, which allows to reduce the number of measurement settings to 4 since the $d$ slits can be measured simultaneously. Furthermore, it can be adapted to consider the reconstruction of the unknown state from the outcome frequencies of $4d-3$ fixed projectors independently of the encoding or the nature of the quantum system, allowing to implement the reconstruction method in a general experiment.


title: Fast calibrated additive quantile regression

abstract: We propose a novel framework for fitting additive quantile regression models, which provides well calibrated inference about the conditional quantiles and fast automatic estimation of the smoothing parameters, for model structures as diverse as those usable with distributional GAMs, while maintaining equivalent numerical efficiency and stability. The proposed methods are at once statistically rigorous and computationally efficient, because they are based on the general belief updating framework of Bissiri et al. (2016) to loss based inference, but compute by adapting the stable fitting methods of Wood et al. (2016). We show how the pinball loss is statistically suboptimal relative to a novel smooth generalisation, which also gives access to fast estimation methods. Further, we provide a novel calibration method for efficiently selecting the 'learning rate' balancing the loss with the smoothing priors during inference, thereby obtaining reliable quantile uncertainty estimates. Our work was motivated by a probabilistic electricity load forecasting application, used here to demonstrate the proposed approach. The methods described here are implemented by the qgam R package, available on the Comprehensive R Archive Network (CRAN).


title: Generalized Heisenberg-Euler formula in Abelian gauge theory with parity violation

abstract: A generalized Heisenberg-Euler formula is given for an Abelian gauge theory having vector as well as axial vector couplings to a massive fermion. So, the formula is applicable to a parity-violating theory. The gauge group is chosen to be $U(1)$. The formula is quite similar to that in quantum electrodynamics, but there is a complexity in which one factor (related to spin) is expressed in terms of the expectation value. The expectation value is evaluated by the contraction with the one-dimensional propagator in a given background field. The formula affords a basis to the vacuum magnetic birefringence experiment, which aims to probe the dark sector, where the interactions of the light fermions with the gauge fields are not necessarily parity conserving.


title: Collisionless shocks in laboratory astrophysics experiments

abstract: Influence of the plasma collisions on the laser-driven collisionless shock formation and subsequent ion acceleration is studied on the basis of two different collisional algorithms and their implementations in two well-known particle-in-cell codes EPOCH and SMILEI. In this setup, an ultra-intense incident laser pulse generates hot-electrons in a thick target, launching an electrostatic shock at the laser-plasma interface while also pushing the interface through the hole-boring effect. We observe, to varying degrees, the weakening of the space-charge effects due to collisions and improvements ($\ge 10\%$) in the energy spectra of quasi-monoenergetic ions in both PIC codes EPOCH and SMILEI. These results establish the `collisionlessness' of the collisionless shocks in laboratory astrophysics experiments.


title: Structure Formation and Microlensing with Axion Miniclusters

abstract: If the symmetry breaking responsible for axion dark matter production occurs during the radiation-dominated epoch in the early Universe, then this produces large amplitude perturbations that collapse into dense objects known as axion miniclusters. The characteristic minicluster mass, $M_0$, is set by the mass inside the horizon when axion oscillations begin. For the QCD axion $M_0\sim 10^{-10}M_\odot$, however for an axion-like particle $M_0$ can approach $M_\odot$ or higher. Using the Press-Schechter formalism we compute the mass function of halos formed by hierarchical structure formation from these seeds. We compute the concentrations and collapse times of these halos and show that they can grow to be as massive as $10^6M_0$. Within the halos, miniclusters likely remain tightly bound, and we compute their gravitational microlensing signal taking the fraction of axion dark matter collapsed into miniclusters, $f_{\rm MC}$, as a free parameter. A large value of $f_{\rm MC}$ severely weakens constraints on axion scenarios from direct detection experiments. We take into account the non-Gaussian distribution of sizes of miniclusters and determine how this effects the number of microlensing events. We develop the tools to consider microlensing by an extended mass function of non-point-like objects, and use microlensing data to place the first observational constraints on $f_{\rm MC}$. This opens a new window for the potential discovery of the axion.


title: Similarity Search Over Graphs Using Localized Spectral Analysis

abstract: This paper provides a new similarity detection algorithm. Given an input set of multi-dimensional data points, where each data point is assumed to be multi-dimensional, and an additional reference data point for similarity finding, the algorithm uses kernel method that embeds the data points into a low dimensional manifold. Unlike other kernel methods, which consider the entire data for the embedding, our method selects a specific set of kernel eigenvectors. The eigenvectors are chosen to separate between the data points and the reference data point so that similar data points can be easily identified as being distinct from most of the members in the dataset.


title: Production of carbon clusters $\text{C}_3$ to $\text{C}_{12}$ with a cryogenic buffer-gas beam source

abstract: Cryogenic buffer-gas beam sources are capable of producing intense beams of a wide variety of molecules, and have a number of advantages over traditional supersonic expansion sources. In this work, we report on a neon matrix isolation study of carbon clusters produced with a cryogenic buffer-gas beam source. Carbon clusters created by laser ablation of graphite are trapped in a neon matrix and detected with a Fourier transform infrared spectrometer in the spectral range $4000-1000~\text{cm}^{-1}$. Through a study of carbon cluster production as a function of various system parameters, we characterize the behavior of the buffer-gas beam source and find that approximately $10^{11}-10^{12}$ of each cluster is produced with each pulse of the ablation laser. These measurements demonstrate the usefulness of cryogenic buffer-gas beam sources for producing molecular beams of clusters.


title: Repulsion of polarized particles from two-dimensional materials

abstract: Repulsion of nanoparticles, molecules and atoms from surfaces can have important applications in nanomechanical devices, microfluidics, optical manipulation and atom optics. Here, through the solution of a classical scattering problem, we show that a dipole source can experience a robust and strong repulsive force when its near-field interacts with a two-dimensional material that has a metallic character. As an example, the case of graphene is considered, showing that a broad bandwidth of repulsion can be obtained spanning the frequency range $0<\hbar\omega<(5/3)\mu_c$, where ${\mu}_c$ is the chemical potential of graphene, tuneable electrically or by chemical doping.


title: Combinatorics of generalized exponents

abstract: We give a purely combinatorial proof of the positivity of the stabilized forms of the generalized exponents associated to each classical root system. In finite type A_{n-1}, we rederive the description of the generalized exponents in terms of crystal graphs without using the combinatorics of semistandard tableaux or the charge statistic. In finite type C_n, we obtain a combinatorial description of the generalized exponents based on the so-called distinguished vertices in crystals of type A_{2n-1}, which we also connect to symplectic King tableaux. This gives a combinatorial proof of the positivity of Lusztig t-analogues associated to zero weight spaces in the irreducible representations of symplectic Lie algebras. We also present three applications of our combinatorial formula, and discuss some implications to relating two type C branching rules. Our methods are expected to extend to the orthogonal types.


title: On a Strategic Model of Pollution Control

abstract: This paper proposes a strategic model of pollution control. A firm, representative of the productive sector of a country, aims at maximizing its profits by expanding its production. Assuming that the output of production is proportional to the level of pollutants' emissions, the firm increases the level of pollution. The government of the country aims at minimizing the social costs due to the pollution, and introduces regulatory constraints on the emissions' level, which then effectively cap the output of production. Supposing that the firm and the government face both proportional and fixed costs in order to adopt their policies, we model the previous problem as a stochastic impulse two-person nonzero-sum game. The state variable of the game is the level of the output of production which evolves as a general linearly controlled one-dimensional Ito-diffusion. Following an educated guess, we first construct a pair of candidate equilibrium policies and of corresponding equilibrium values, and we then provide a set of sufficient conditions under which they indeed realize an equilibrium. Our results are complemented by a numerical study when the (uncontrolled) output of production evolves as a geometric Brownian motion, and the firm's operating profit and the government's running cost functions are of power type. An analysis of the dependency of the equilibrium policies and values on the model parameters yields interesting new behaviors that we explain as a consequence of the strategic interaction between the firm and the government.


title: Search for direct production of supersymmetric partners of the top quark in the all-jets final state in proton-proton collisions at sqrt(s) = 13 TeV

abstract: A search for direct production of top squark pairs in events with jets and large transverse momentum imbalance is presented. The data are based on proton-proton collisions at a center-of-mass energy of 13 TeV, collected in 2016 at the CERN LHC, and correspond to an integrated luminosity of 35.9 inverse femtobarns. The search considers a variety of R-parity conserving supersymmetric models, including ones for which the top squark and neutralino masses are nearly degenerate. Specialized jet reconstruction tools are developed to exploit the unique characteristics of the signal topologies. With no significant excess of events observed above the standard model expectations, upper limits are set on the direct top squark pair production cross section in the context of simplified supersymmetric models for various decay hypotheses. Models with larger differences in mass between the top squark and neutralino are probed for masses up to 1040 and 500 GeV, respectively, whereas models with a more compressed mass hierarchy are probed up to 660 and 610 GeV, respectively. The smallest mass difference probed is for masses near to 550 and 540 GeV, respectively.


title: The rational part of a periodic continued fraction

abstract: Let $x$ be a periodic continued fraction with the initial block $0$ and the repeating block $c_1,\ldots,c_n$. So $x$ is a quadratic irrational of the form $x=a+\sqrt b$, where $a$, $b$ are rational numbers, $b>0$, $b$ not a square. The numbers $a$ and $\sqrt b$ are uniquely determined by $x$. In general it is difficult to say what the influence of a certain digit of the repeating block on the appearance of $x$ is. We highlight a noteworthy exception from this rule. Indeed, the magnitude of $2a$ is essentially determined by the last digit $c_n$ of the repeating block, the fractional part of $2a$, however, is independent of $c_n$. Of particular interest is the case $2a\in\mathbb Z$, which occurs if, and only if, the sequence $c_1,\ldots,c_{n-1}$ is symmetric.


title: The Structure and Charge Density Waves in NbSe_2 by First-Principles Calculations

abstract: In this paper, we investigated structures and charge density waves, including its origin of CDW, by using first-principles calculations. Firstly, we performed structure searches of NbSe_2 under different pressures to explore the possible structures of the CDW phase in NbSe_2. The stability of the resulted structure is proved by extensive studies of energy calculations and phonon spectra. Based on the detailed analysis on electronic properties (both in real space and K space) and band structures during CDW transitions, we believe the structure distortion and the displacement of atoms are the origin of CDW, which also cause the change of the Fermi surfaces and electronic density of states (DOS). In the end, the results of band structure and DOS were used to explain the reason why CDW and superconducting orders compete with each other at low temperature.


title: Modification of Symmetric Cryptography with Combining Affine Chiper and Caesar Chiper which Dynamic Nature in Matrix of Chiper Transposition by Applying Flow Pattern in the Planting Rice

abstract: Classical cryptography is a way of disguising the news done by the people when there was no computer. The goal is to protect information by way of encoding. This paper describesa modification of classical algorithms to make cryptanalis difficult to steal undisclosed messages. There are three types of classical algorithms that are combined affine chiper, Caesar chiper and chiper transposition. Where for chiperteks affine chiper and Caesar chiper can be looped as much as the initial key, because the result can be varied as much as key value, then affine chiper and Caesar chiper in this case is dynamic. Then the results of the affine and Caesar will be combined in the transposition chiper matrix by applying the pattern of rice cultivation path and for chipertext retrieval by finally applying the pattern of rice planting path. And the final digit of the digit shown in the form of binary digits so that 5 characters can be changed to 80 digit bits are scrambled. Thus the cryptanalyst will be more difficult and takes a very long time to hack information that has been kept secret.


title: Generalizations of Reid Inequality

abstract: In this paper, we improve the famous Reid Inequality related to linear operators. Some monotony results for positive operators are also established with a different approach from what is known in the existing literature. Lastly, Reid and Halmos-Reid inequalities are extended to unbounded operators.


title: A deep learning architecture for temporal sleep stage classification using multivariate and multimodal time series

abstract: Sleep stage classification constitutes an important preliminary exam in the diagnosis of sleep disorders. It is traditionally performed by a sleep expert who assigns to each 30s of signal a sleep stage, based on the visual inspection of signals such as electroencephalograms (EEG), electrooculograms (EOG), electrocardiograms (ECG) and electromyograms (EMG). We introduce here the first deep learning approach for sleep stage classification that learns end-to-end without computing spectrograms or extracting hand-crafted features, that exploits all multivariate and multimodal Polysomnography (PSG) signals (EEG, EMG and EOG), and that can exploit the temporal context of each 30s window of data. For each modality the first layer learns linear spatial filters that exploit the array of sensors to increase the signal-to-noise ratio, and the last layer feeds the learnt representation to a softmax classifier. Our model is compared to alternative automatic approaches based on convolutional networks or decisions trees. Results obtained on 61 publicly available PSG records with up to 20 EEG channels demonstrate that our network architecture yields state-of-the-art performance. Our study reveals a number of insights on the spatio-temporal distribution of the signal of interest: a good trade-off for optimal classification performance measured with balanced accuracy is to use 6 EEG with 2 EOG (left and right) and 3 EMG chin channels. Also exploiting one minute of data before and after each data segment offers the strongest improvement when a limited number of channels is available. As sleep experts, our system exploits the multivariate and multimodal nature of PSG signals in order to deliver state-of-the-art classification performance with a small computational cost.


title: Fluid-solid transition in unsteady, homogeneous, granular shear flows

abstract: Discrete element numerical simulations of unsteady, homogeneous shear flows have been performed by instantly applying a constant shear rate to a random, static, isotropic assembly of identical, soft, frictional spheres at either zero or finite pressure by keeping constant the solid volume fraction until the steady state is reached. If the system is slowly sheared, or, equivalently, if the particles are sufficiently rigid, the granular material exhibits either large or small fluctuations in the evolving pressure, depending whether the average number of contacts per particle (coordination number) is less or larger than a critical value. The amplitude of the pressure fluctuations is rate-dependent when the coordination number is less than the critical and rate-independent otherwise, signatures of fluid-like and solid-like behaviour, respectively. The same critical coordination number has been previously found to represent the minimum value at which rate-independent components of the stresses develop in steady, simple shearing and the jamming transition in isotropic random packings. The observed complex behaviour of the measured pressure in the fluid-solid transition clearly suggests the need for incorporating in a nontrivial way the coordination number, the solid volume fraction, the particle stiffness and the intensity of the particle agitation in constitutive models for the onset and the arrest of granular flows.


title: Nonnegatively curved hypersurfaces with free boundary on a sphere

abstract: We prove that in Euclidean space $R^{n+1}$ any compact immersed nonnegatively curved hypersurface $M$ with free boundary on the sphere $S^n$ is an embedded convex topological disk. In particular, when the $m^{th}$ mean curvature of $M$ is constant, for any $1\leq m\leq n$, $M$ is a spherical cap or an equatorial disk.


title: Dynamic Stochastic Approximation for Multi-stage Stochastic Optimization

abstract: In this paper, we consider multi-stage stochastic optimization problems with convex objectives and conic constraints at each stage. We present a new stochastic first-order method, namely the dynamic stochastic approximation (DSA) algorithm, for solving these types of stochastic optimization problems. We show that DSA can achieve an optimal ${\cal O}(1/\epsilon^4)$ rate of convergence in terms of the total number of required scenarios when applied to a three-stage stochastic optimization problem. We further show that this rate of convergence can be improved to ${\cal O}(1/\epsilon^2)$ when the objective function is strongly convex. We also discuss variants of DSA for solving more general multi-stage stochastic optimization problems with the number of stages $T > 3$. The developed DSA algorithms only need to go through the scenario tree once in order to compute an $\epsilon$-solution of the multi-stage stochastic optimization problem. As a result, the memory required by DSA only grows linearly with respect to the number of stages. To the best of our knowledge, this is the first time that stochastic approximation type methods are generalized for multi-stage stochastic optimization with $T \ge 3$.


title: Search for natural supersymmetry in events with top quark pairs and photons in pp collisions at $\sqrt{s} =$ 8 TeV

abstract: Results are presented from a search for natural gauge-mediated supersymmetry (SUSY) in a scenario in which the top squark is the lightest squark, the next-to-lightest SUSY particle is a bino-like neutralino, and the lightest SUSY particle is the gravitino. The strong production of top squark pairs can produce events with pairs of top quarks and neutralinos, with each bino-like neutralino decaying to a photon and a gravitino. The search is performed using a sample of pp collision data accumulated by the CMS experiment at $\sqrt{s} = $8 TeV, corresponding to an integrated luminosity of 19.7 fb$^{-1}$. The final state consists of a lepton (electron or muon), jets, and one or two photons. The imbalance in transverse momentum in the events is compared with the expected spectrum from standard model processes. No excess event yield is observed beyond the expected background, and the result is interpreted in the context of a general model of gauge-mediated SUSY breaking that leads to exclusion of top squark masses below 650-730 GeV.


title: Biharmonic conformal maps in dimension four and equations of Yamabe-type

abstract: We prove that the problem of constructing biharmonic conformal maps on a $4$-dimensional Einstein manifold reduces to a Yamabe-type equation. This allows us to construct an infinite family of examples on the Euclidean 4-sphere. In addition, we characterize all solutions on Euclidean 4-space and show that there exists at least one non-constant proper biharmonic conformal map from any closed Einstein 4-manifold of negative Ricci curvature.


title: PlumX As a Potential Tool to Assess the Macroscopic Multidimensional Impact of Books

abstract: The main purpose of this macro-study is to shed light on the broad impact of books. For this purpose, the impact of a very large collection of books has been analyzed by using PlumX, an analytical tool providing a great number of different metrics provided by various tools.


title: Strong-coupling charge density wave in a one-dimensional topological metal

abstract: Scanning tunnelling microscopy and low energy electron diffraction show a dimerization-like reconstruction in the one-dimensional atomic chains on Bi(114) at low temperatures. While one-dimensional systems are generally unstable against such a distortion, its observation is not expected for this particular surface, since there are several factors that should prevent it: One is the particular spin texture of the Fermi surface, which resembles a one-dimensional topological state, and spin protection should hence prevent the formation of the reconstruction. The second is the very short nesting vector $2 k_F$, which is inconsistent with the observed lattice distortion. A nesting-driven mechanism of the reconstruction is indeed excluded by the absence of any changes in the electronic structure near the Fermi surface, as observed by angle-resolved photoemission spectroscopy. However, distinct changes in the electronic structure at higher binding energies are found to accompany the structural phase transition. This, as well as the observed short correlation length of the pairing distortion, suggest that the transition is of the strong coupling type and driven by phonon entropy rather than electronic entropy.


title: Structural changes in barley protein LTP1 isoforms at air-water interfaces

abstract: We use a coarse-grained model to study the conformational changes in two barley proteins, LTP1 and its ligand adduct isoform LTP1b, that result from their adsorption to the air-water interface. The model introduces the interface through hydropathy indices. We justify the model by all-atom simulations. The choice of the proteins is motivated by making attempts to understand formation and stability of foam in beer. We demonstrate that both proteins flatten out at the interface and can make a continuous stabilizing and denser film. We show that the degree of the flattening depends on the protein -- the layers of LTP1b should be denser than those of LTP1 -- and on the presence of glycation. It also depends on the number ($\le 4$) of the disulfide bonds in the proteins. The geometry of the proteins is sensitive to the specificity of the absent bonds. We provide estimates of the volume of cavities of the proteins when away from the interface.


title: Energy decay of a viscoelastic wave equation with supercritical nonlinearities

abstract: This paper presents a study of the asymptotic behavior of the solutions for the history value problem of a viscoelastic wave equation which features a fading memory term as well as a supercritical source term and a frictional damping term: \begin{align*} \begin{cases} u_{tt}- k(0) \Delta u - \int_0^{\infty} k'(s) \Delta u(t-s) ds +|u_t|^{m-1}u_t =|u|^{p-1}u, \quad \text{ in } \Omega \times (0,T), \\ u(x,t)=u_0(x,t), \quad \text{ in } \Omega \times (-\infty,0], \end{cases} \end{align*} where $\Omega$ is a bounded domain in $\mathbb R^3$ with a Dirichl\'et boundary condition and $u_0$ represents the history value. A suitable notion of a potential well is introduced for the system, and global existence of solutions is justified provided that the history value $u_0$ is taken from a subset of the potential well. Also, uniform energy decay rate is obtained which depends on the relaxation kernel $-k'(s)$ as well as the growth rate of the damping term. This manuscript complements our previous work [Guo et al. in J Differ Equ 257, 3778-3812(2014), J Differ Equ 262, 1956-1979(2017)] where Hadamard well-posedness and the singularity formulation have been studied for the system. It is worth stressing the special features of the model, namely the source term here has a supercritical growth rate and the memory term accounts to the full past history that goes back to $-\infty$.


title: A quantum key distribution protocol for rapid denial of service detection

abstract: We introduce a quantum key distribution protocol designed to expose fake users that connect to Alice or Bob for the purpose of monopolising the link and denying service. It inherently resists attempts to exhaust Alice and Bob's initial shared secret, and is 100% efficient, regardless of the number of qubits exchanged above the finite key limit. Additionally, secure key can be generated from two-photon pulses, without having to make any extra modifications. This is made possible by relaxing the security of BB84 to that of the quantum-safe block cipher used for day-to-day encryption, meaning the overall security remains unaffected for useful real-world cryptosystems such as AES-GCM being keyed with quantum devices.


title: Linear and Rational Factorization of Tropical Polynomials

abstract: Already for bivariate tropical polynomials, factorization is an NP-Complete problem. In this paper, we give an efficient algorithm for factorization and rational factorization of a rich class of tropical polynomials in $n$ variables. Special families of these polynomials have appeared in economics, discrete convex analysis, and combinatorics. Our theorems rely on an intrinsic characterization of regular mixed subdivisions of integral polytopes, and lead to many open problems of interest in discrete geometry.


title: Automated Game Design Learning

abstract: While general game playing is an active field of research, the learning of game design has tended to be either a secondary goal of such research or it has been solely the domain of humans. We propose a field of research, Automated Game Design Learning (AGDL), with the direct purpose of learning game designs directly through interaction with games in the mode that most people experience games: via play. We detail existing work that touches the edges of this field, describe current successful projects in AGDL and the theoretical foundations that enable them, point to promising applications enabled by AGDL, and discuss next steps for this exciting area of study. The key moves of AGDL are to use game programs as the ultimate source of truth about their own design, and to make these design properties available to other systems and avenues of inquiry.


title: Recommendation with k-anonymized Ratings

abstract: Recommender systems are widely used to predict personalized preferences of goods or services using users' past activities, such as item ratings or purchase histories. If collections of such personal activities were made publicly available, they could be used to personalize a diverse range of services, including targeted advertisement or recommendations. However, there would be an accompanying risk of privacy violations. The pioneering work of Narayanan et al.\ demonstrated that even if the identifiers are eliminated, the public release of user ratings can allow for the identification of users by those who have only a small amount of data on the users' past ratings. In this paper, we assume the following setting. A collector collects user ratings, then anonymizes and distributes them. A recommender constructs a recommender system based on the anonymized ratings provided by the collector. Based on this setting, we exhaustively list the models of recommender systems that use anonymized ratings. For each model, we then present an item-based collaborative filtering algorithm for making recommendations based on anonymized ratings. Our experimental results show that an item-based collaborative filtering based on anonymized ratings can perform better than collaborative filterings based on 5--10 non-anonymized ratings. This surprising result indicates that, in some settings, privacy protection does not necessarily reduce the usefulness of recommendations. From the experimental analysis of this counterintuitive result, we observed that the sparsity of the ratings can be reduced by anonymization and the variance of the prediction can be reduced if $k$, the anonymization parameter, is appropriately tuned. In this way, the predictive performance of recommendations based on anonymized ratings can be improved in some settings.


title: Viability and Arbitrage under Knightian Uncertainty

abstract: We reconsider the microeconomic foundations of financial economics. Motivated by the importance of Knightian Uncertainty in markets, we present a model that does not carry any probabilistic structure ex ante, yet is based on a common order. We derive the fundamental equivalence of economic viability of asset prices and absence of arbitrage. We also obtain a modified version of the Fundamental Theorem of Asset Pricing using the notion of sublinear pricing measures. Different versions of the Efficient Market Hypothesis are related to the assumptions one is willing to impose on the common order.


title: CHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis

abstract: We propose and evaluate a new technique for learning hybrid automata automatically by observing the runtime behavior of a dynamical system. Working from a sequence of continuous state values and predicates about the environment, CHARDA recovers the distinct dynamic modes, learns a model for each mode from a given set of templates, and postulates causal guard conditions which trigger transitions between modes. Our main contribution is the use of information-theoretic measures (1)~as a cost function for data segmentation and model selection to penalize over-fitting and (2)~to determine the likely causes of each transition. CHARDA is easily extended with different classes of model templates, fitting methods, or predicates. In our experiments on a complex videogame character, CHARDA successfully discovers a reasonable over-approximation of the character's true behaviors. Our results also compare favorably against recent work in automatically learning probabilistic timed automata in an aircraft domain: CHARDA exactly learns the modes of these simpler automata.


title: Cation modified A2(Ba, Sr, and Ca)ZnWO6 cubic double perovskites: A theoretical study

abstract: The cubic double perovskites A2ZnWO6 (A = Ba, Sr and Ca) are studied to understand the effect of A cation site, using the density functional theory (DFT) based full potential augmented plane wave method (FP-LAPW) with GGA and mBJ exchange correlation potentials. The structural robustness and stability are investigated using the bond lengths and the total energy. The band structure and density of states suggest that all these cubic double perovskites are indirect wide band gap semiconductors. The band gap varies from 3.90 eV (2.97 eV) for Ba2ZnWO6 system to 3.40 eV (2.8 eV) for Ca2ZnWO6 system using mBJ (GGA) exchange correlation potentials. Our studies suggest that cation site modification has a strong effect on physical and electronic properties, in contrast to the structural robustness. The lattice parameter decreases from 8.19 Angstrom to 7.9 Angstrom from Ba to Ca at alkali cation site and the electronic band gap variation follows the common cation rule. The charge densities show enhanced localization of charges near the zinc and oxygen sites with increasing alkali cation atomic radii. In addition, we discuss the impact of A site cation modification on the dielectric and optical properties for A2ZnWO6 double perovskites.


title: Endofunctors of Quandles and Racks

abstract: We show that the only endofunctors of the category of quandles commuting with the forgetful functor to sets are the power operations. We also give a similar statement for racks.


title: Spatially Adiabatic Frequency Conversion in Optoelectromechanical Arrays

abstract: Faithful conversion of quantum signals between microwave and optical frequency domains is crucial for building quantum networks based on superconducting circuits. Optoelectromechanical systems, in which microwave and optical cavity modes are coupled to a common mechanical oscillator, are a promising route towards this goal. In these systems, efficient, low-noise conversion is possible using a mechanically dark mode of the fields but the conversion bandwidth is limited to a fraction of the cavity linewidth. Here, we show that an array of optoelectromechanical transducers can overcome this limitation and reach a bandwidth that is larger than the cavity linewidth. The coupling rates are varied in space throughout the array so that the mechanically dark mode of the propagating fields adiabatically changes from microwave to optical or vice versa. This strategy also leads to significantly reduced thermal noise with the collective optomechanical cooperativity being the relevant figure of merit. Finally, we demonstrate that, quite surprisingly, the bandwidth enhancement per transducer element is largest for small arrays; this feature makes our scheme particularly attractive for state-of-the-art experimental setups.


title: Deep Learning for Real Time Crime Forecasting

abstract: Accurate real time crime prediction is a fundamental issue for public safety, but remains a challenging problem for the scientific community. Crime occurrences depend on many complex factors. Compared to many predictable events, crime is sparse. At different spatio-temporal scales, crime distributions display dramatically different patterns. These distributions are of very low regularity in both space and time. In this work, we adapt the state-of-the-art deep learning spatio-temporal predictor, ST-ResNet [Zhang et al, AAAI, 2017], to collectively predict crime distribution over the Los Angeles area. Our models are two staged. First, we preprocess the raw crime data. This includes regularization in both space and time to enhance predictable signals. Second, we adapt hierarchical structures of residual convolutional units to train multi-factor crime prediction models. Experiments over a half year period in Los Angeles reveal highly accurate predictive power of our models.


title: Use of Docker for deployment and testing of astronomy software

abstract: We describe preliminary investigations of using Docker for the deployment and testing of astronomy software. Docker is a relatively new containerisation technology that is developing rapidly and being adopted across a range of domains. It is based upon virtualization at operating system level, which presents many advantages in comparison to the more traditional hardware virtualization that underpins most cloud computing infrastructure today. A particular strength of Docker is its simple format for describing and managing software containers, which has benefits for software developers, system administrators and end users. We report on our experiences from two projects -- a simple activity to demonstrate how Docker works, and a more elaborate set of services that demonstrates more of its capabilities and what they can achieve within an astronomical context -- and include an account of how we solved problems through interaction with Docker's very active open source development community, which is currently the key to the most effective use of this rapidly-changing technology.


title: Crystalline evolutions with rapidly oscillating forcing terms

abstract: We consider the evolution by crystalline curvature of a planar set in a stratified medium, modeled by a periodic forcing term. We characterize the limit evolution law as the period of the oscillations tends to zero. Even if the model is very simple, the limit evolution problem is quite rich, and we discuss some properties such as uniqueness, comparison principle and pinning/depinning phenomena.


title: Jupiter's North Equatorial Belt and Jet, I, Cyclic expansions and planetary waves

abstract: This article presents a synopsis of the activity in Jupiter's North Equatorial Belt (NEB) from 1986 to 2010, and of the speeds of dark formations on its south edge and bright streaks ('rifts') in its interior. In particular I discuss NEB expansion events (NEEs), which took place every 3-5 years during this time, and how the various features of the NEB are involved in them. I present evidence that the NEE affects not just the northern edge, but the whole width of the belt. It begins with an outbreak of a bright rift that is more northerly and slower-moving than usual; this is often involved with the first ejection of dark material northwards into the N. Tropical Zone, but typically the rift also expands southwards across the width of the NEB. NEBs dark formations are usually affected, as they are during individual interactions with rifts at other times; they may be disrupted, or intensified, and they usually undergo deceleration. The expansion of the dark NEB to the north occurs concurrently, and is followed by the appearance of new dark 'barges' and white ovals flanking the NEBn jet. The speed of the NEBs dark formations varies with their mean spacing, consistent with the prevailing hypothesis that they are planetary Rossby waves. In most apparitions since 2000 we have also detected smaller, faster features (120 m/s). I propose that these represent waves of the same type, but with higher frequency, and that their speed is slightly less than the true wind speed at cloud-top level under normal conditions.


title: Rate equations for a Na+ channel gating master equation during the action potential within a neural membrane

abstract: The action potential in a neural membrane is generated by Na+ and K+ channel ionic currents that may be calculated from a current equation and the rate equations for activation variables m and n, and the Na+ inactivation variable h. Assuming that a Na+ channel has three activation sensors, and activation and inactivation are cooperative processes, a twelve state master equation that describes channel gating may be reduced to kinetic equations for a five state system when the occupational probability of the first inactivated state is small, and the remaining inactivated states contribute to a total inactivated state. In the case of independent activation sensors, the inactivation rate is, in general, dependent on the activation variable m(t) as well as the forward inactivation transition rates. However, when m(t) has a faster time constant than h(t), the inactivation rate may be approximated by a voltage-dependent function, and therefore, the solution of the master equation during an action potential may be approximated by the solution of Hodgkin-Huxley rate equations for m and h.


title: The GTC exoplanet transit spectroscopy survey. VII. An optical transmission spectrum of WASP-48b

abstract: We obtained long-slit optical spectroscopy of one transit of WASP-48b with the Optical System for Imaging and low-Intermediate-Resolution Integrated Spectroscopy (OSIRIS) spectrograph at the 10.4 m Gran Telescopio Canarias (GTC). We integrated the spectrum of WASP-48 and one reference star in several channels with different wavelength ranges, creating numerous color light curves of the transit. We fit analytic transit curves to the data taking into account the systematic effects present in the time series in an effort to measure the change of the planet-to-star radius ratio ($R_p/R_s$) across wavelength. After removing the transit model and systematic trends to the curves we reached precisions between 261 ppm and 455-755 ppm for the white and spectroscopic light curves, respectively. We obtained $R_p/R_s$ uncertainty values between $0.8 \times 10^{-3}$ and $1.5\times 10^{-3}$ for all the curves analyzed in this work. The measured transit depth for the curves made by integrating the wavelength range between 530 nm and 905 nm is in agreement with previous studies. We report a relatively flat transmission spectrum for WASP-48b with no statistical significant detection of atmospheric species, although the theoretical models that fit the data more closely include of TiO and VO.


title: Self-Assembling Oxide Catalyst for Electrochemical Water Splitting

abstract: Renewable energy conversion and storage, and greenhouse gas emission-free technologies are within the primary tasks and challenges for the society. Hydrogen fuel, produced by alkaline water electrolysis is fulfilling all these demands, however the technology is economically feeble, limited by the slow rate of oxygen evolution reaction. Complex metal oxides were suggested to overcome this problem being low-cost efficient catalysts. However, the insufficient long-term stability, degradation of structure and electrocatalytic activity are restricting their utilization. Here we report on a new perovskite-based self-assembling material BaCo0.98Ti0.02O3-$\delta$:Co3O4 with superior performance, showing outstanding properties compared to current state-of-the-art materials without degeneration of its properties even at 353 K. By chemical and structural analysis the degradation mechanism was identified and modified by selective doping. Short-range order and chemical composition rather than long-range order are factors determining the outstanding performance. The derived general design rules can be used for further development of oxide-based electrocatalytic materials.


title: Search for pair production of heavy vector-like quarks decaying to high-$p_{\text{T}}$ $W$ bosons and $b$ quarks in the lepton-plus-jets final state in $pp$ collisions at $\sqrt{s}$=13 TeV with the ATLAS detector

abstract: A search is presented for the pair production of heavy vector-like $T$ and $B$ quarks, primarily targeting the $T$ quark decays to a $W$ boson and a $b$-quark. The search is based on $36.1$ fb$^{-1}$ of $pp$ collisions at $\sqrt{s}$ = 13 TeV recorded in 2015 and 2016 with the ATLAS detector at the CERN Large Hadron Collider. Data are analysed in the lepton-plus-jets final state, including at least one $b$-tagged jet and a large-radius jet identified as originating from the hadronic decay of a high-momentum $W$ boson. No significant deviation from the Standard Model expectation is observed in the reconstructed $T$ mass distribution. The observed 95% confidence level lower limit on the $T$ mass are 1350 GeV assuming 100% branching ratio to $Wb$. In the SU(2) singlet scenario, the lower mass limit is 1170 GeV. This search is also sensitive to a heavy vector-like $B$ quark decaying to $Wt$ and other final states. The results are thus reinterpreted to provide a 95% confidence level lower limit on the $B$ quark mass at 1250 GeV assuming 100% branching ratio to $Wt$; in the SU(2) singlet scenario, the limit is 1080 GeV. Mass limits on both $T$ and $B$ production are also set as a function of the decay branching ratios. The 100% branching ratio limits are found to be applicable to heavy vector-like $Y$ and $X$ production that decay to $Wb$ and $Wt$, respectively.


title: Constraining the ionized gas evolution with CMB-spectroscopic survey cross-correlation

abstract: We forecast the prospective constraints on the ionized gas model $f_{\rm gas}(z)$ at different evolutionary epochs via the tomographic cross-correlation between kinetic Sunyaev-Zeldovich (kSZ) effect and the reconstructed momentum field at different redshifts. The experiments we consider are the Planck and CMB Stage-4 survey for CMB and the SDSS-III for the galaxy spectroscopic survey. We calculate the tomographic cross-correlation power spectrum, and use the Fisher matrix to forecast the detectability of different $f_{\rm gas}(z)$ models. We find that for constant $f_{\rm gas}$ model, Planck can constrain the error of $f_{\rm gas}$ ($\sigma_{f_{\rm gas}}$) at each redshift bin to $\sim 0.2$, whereas four cases of CMB-S4 can achieve $\sigma_{f_{\rm gas}} \sim 10^{-3}$. For $f_{\rm gas}(z)=f_{\rm gas,0}/(1+z)$ model the error budget will be slightly broadened. We also investigate the model $f_{\rm gas}(z)=f_{\rm gas,0}/(1+z)^{\alpha}$. Planck is unable to constrain the index of redshift evolution, but the CMB-S4 experiments can constrain the index $\alpha$ to the level of $\sigma_{\alpha} \sim 0.01$--$0.1$. The tomographic cross-correlation method will provide an accurate measurement of the ionized gas evolution at different epochs of the Universe.


title: Fidelity based Measurement Induced Nonlocality and its dynamics in Quantum noisy channels

abstract: Measurement induced nonlocality (MIN) captures global nonlocal effect of bipartite quantum state due to locally invariant projective measurements. In this paper, we propose a new version of MIN using fidelity induced metric,andthe same is calculated for pure and mixed states. For mixed state, the upper bound is obtained from eigenvalues of correlation matrix. Further, dynamics of MIN and fidelity based MIN under various noisy quantum channels show that they are more robust than entanglement.


title: MovePattern: Interactive Framework to Provide Scalable Visualization of Movement Patterns

abstract: The rapid growth of movement data sources such as GPS traces, traffic networks and social media have provided analysts with the opportunity to explore collective patterns of geographical movements in a nearly real-time fashion. A fast and interactive visualization framework can help analysts to understand these massive and dynamically changing datasets. However, previous studies on movement visualization either ignore the unique properties of geographical movement or are unable to handle today's massive data. In this paper, we develop MovePattern, a novel framework to 1) efficiently construct a concise multi-level view of movements using a scalable and spatially-aware MapReduce-based approach and 2) present a fast and highly interactive webbased environment which engages vector-based visualization to include on-the-fly customization and the ability to enhance analytical functions by storing metadata for both places and movements. We evaluate the framework using the movements of Twitter users captured from geo-tagged tweets. The experiments confirmed that our framework is able to aggregate close to 180 million movements in a few minutes. In addition, we run series of stress tests on the front-end of the framework to ensure that simultaneous user queries do not lead to long latency in the user response.


title: Solving parametric PDE problems with artificial neural networks

abstract: The curse of dimensionality is commonly encountered in numerical partial differential equations (PDE), especially when uncertainties have to be modeled into the equations as random coefficients. However, very often the variability of physical quantities derived from a PDE can be captured by a few features on the space of the coefficient fields. Based on such an observation, we propose using a neural-network (NN) based method to parameterize the physical quantity of interest as a function of input coefficients. The representability of such quantity using a neural-network can be justified by viewing the neural-network as performing time evolution to find the solutions to the PDE. We further demonstrate the simplicity and accuracy of the approach through notable examples of PDEs in engineering and physics.


title: Cobimaximal Neutrino Mixing from $S_3 \times Z_2$

abstract: It has recently been shown that the phenomenologically successful pattern of cobimaximal neutrino mixing ($\theta_{13} \neq 0$, $\theta_{23} = \pi/4$, and $\delta_{CP} = \pm \pi/2$) may be achieved in the context of the non-Abelian discrete symmetry $A_4$. In this paper, the same goal is achieved with $S_3 \times Z_2$. The residual lepton $Z_3$ triality in the case of $A_4$ is replaced here by $Z_2 \times Z_2$. The associated phenomenology of the scalar sector is discussed.


title: Optimal Photon Generation from Spontaneous Raman Processes in Cold Atoms

abstract: Spontaneous Raman processes in cold atoms have been widely used in the past decade for generating single photons. Here, we present a method to optimize their efficiencies for given atomic coherences and optical depths. We give a simple and complete recipe that can be used in present-day experiments, attaining near-optimal single photon emission while preserving the photon purity.


title: Computational Psychiatry in Borderline Personality Disorder

abstract: Purpose of review: We review the literature on the use and potential use of computational psychiatry methods in Borderline Personality Disorder. Recent findings: Computational approaches have been used in psychiatry to increase our understanding of the molecular, circuit, and behavioral basis of mental illness. This is of particular interest in BPD, where the collection of ecologically valid data, especially in interpersonal settings, is becoming more common and more often subject to quantification. Methods that test learning and memory in social contexts, collect data from real-world settings, and relate behavior to molecular and circuit networks are yielding data of particular interest. Summary: Research in BPD should focus on collaborative efforts to design and interpret experiments with direct relevance to core BPD symptoms and potential for translation to the clinic.


title: Optimizing Matrices For Compressed Sensing Using Existing Goodness Measures: Negative Results, And An Alternative

abstract: The bound that arises out of sparse recovery analysis in compressed sensing involves input signal sparsity and some property of the sensing matrix. An effort has therefore been made in the literature to optimize sensing matrices for optimal recovery using this property. We discover, in the specific case of optimizing codes for the CACTI camera, that the popular method of mutual coherence minimization does not produce optimal results: codes designed to optimize effective dictionary coherence often perform worse than random codes in terms of mean squared reconstruction error. This surprising phenomenon leads us to investigate the reliability of the coherence bound for matrix optimization, in terms of its looseness. We examine, on simulated data, the looseness of the bound as it propagates across various steps of the inequalities in a derivation leading to the final bound. We then similarly examine an alternate bound derived by Tang, G. et al, based on the $\ell_1/\ell_{\infty}$ notion of sparsity, which is a compromise between coherence and the restricted isometry constant (RIC). Moreover, we also perform a bound looseness analysis for the RIC as derived by Cai, T. et al. The conclusion of these efforts is that coherence optimization is problematic not only because of the coherence bound on the RIC, but also the RIC bound itself. These negative results imply that despite the success of previous work in designing sensing matrices based on optimization of a matrix quality factor, one needs to exercise caution in using them for practical sensing matrix design. We then introduce a paradigm for optimizing sensing matrices that overcomes the looseness of compressed sensing upper bounds using an average case error approach. We show a proof-of-concept design using this paradigm that performs convincingly better than coherence-based design in the CACTI case, and no worse for general matrices.


title: Jupiter's South Equatorial Belt cycle in 2009-2011: II, The SEB Revival

abstract: A Revival of the South Equatorial Belt (SEB) is an organised disturbance on a grand scale. It starts with a single vigorous outbreak from which energetic storms and disturbances spread around the planet in the different zonal currents. The Revival that began in 2010 was better observed than any before it. The observations largely validate the historical descriptions of these events: the major features portrayed therein, albeit at lower resolution, are indeed the large structural features described here. Our major conclusions about the 2010 SEB Revival are as follows, and we show that most of them may be typical of SEB Revivals. 1) The Revival started with a bright white plume. 2) The initial plume erupted in a pre-existing cyclonic oval ('barge'). Subsequent white plumes continued to appear on the track of this barge, which was the location of the sub-surface source of the whole Revival. 3) These plumes were extremely bright in the methane absorption band, i.e. thrusting up to very high altitudes, especially when new. 4) Brilliant, methane-bright plumes also appeared along the leading edge of the central branch. Altogether, 7 plumes appeared at the source and at least 6 along the leading edge. 5) The central branch of the outbreak was composed of large convective cells, each initiated by a bright plume, which only occupied a part of each cell, while a very dark streak defined its west edge. 6) The southern branch began with darkening and sudden acceleration of pre-existing faint spots in a slowly retrograding wave-train. 7) Subsequent darker spots in the southern branch were complex structures, not coherent vortices. 8) Dark spots in the southern branch had typical SEBs jetstream speeds but were unusually far south....


title: Radar, without tears

abstract: A brief introduction to radar: principles, Doppler effect, antennas, waveforms, power budget - and future radars. [13 pages]


title: Small-scale structure and the Lyman-$\alpha$ forest baryon acoustic oscillation feature

abstract: The baryon-acoustic oscillation (BAO) feature in the Lyman-$\alpha$ forest is one of the key probes of the cosmic expansion rate at redshifts z~2.5, well before dark energy is believed to have become dynamically significant. A key advantage of the BAO as a standard ruler is that it is a sharp feature and hence is more robust against broadband systematic effects than other cosmological probes. However, if the Lyman-$\alpha$ forest transmission is sensitive to the initial streaming velocity of the baryons relative to the dark matter, then the BAO peak position can be shifted. Here we investigate this sensitivity using a suite of hydrodynamic simulations of small regions of the intergalactic medium with a range of box sizes and physics assumptions; each simulation starts from initial conditions at the kinematic decoupling era (z~1059), undergoes a discrete change from neutral gas to ionized gas thermal evolution at reionization (z~8), and is finally processed into a Lyman-$\alpha$ forest transmitted flux cube. Streaming velocities suppress small-scale structure, leading to less violent relaxation after reionization. The changes in the gas distribution and temperature-density relation at low redshift are more subtle, due to the convergent temperature evolution in the ionized phase. The change in the BAO scale is estimated to be of the order of 0.12% at z=2.5; some of the major uncertainties and avenues for future improvement are discussed. The predicted streaming velocity shift would be a subdominant but not negligible effect (of order $0.26\sigma$) for the upcoming DESI Lyman-$\alpha$ forest survey, and exceeds the cosmic variance floor. It is hoped that this study will motivate additional theoretical work on the magnitude of the BAO shift, both in the Lyman-$\alpha$ forest and in other tracers of large-scale structure.


title: Multistep transition of diamond to warm dense matter state revealed by femtosecond X-ray diffraction

abstract: Diamond bulk irradiated with a free-electron laser pulse of 6100 eV photon energy, 5 fs duration, at the $\sim 19-25$ eV/atom absorbed doses, is studied theoretically on its way to warm dense matter state. Simulations with our hybrid code XTANT show disordering on sub-100 fs timescale, with the diffraction peak (220) vanishing faster than the peak (111). The warm dense matter formation proceeds as a nonthermal damage of diamond with the band gap collapse triggering atomic disordering. Short-living graphite-like state is identified during a few femtoseconds between the disappearance of (220) peak and the disappearance of (111) peak. The results obtained are compared with the data from the recent experiment at SACLA, showing qualitative agreement. Challenges remaining for the accurate modeling of the transition of solids to warm dense matter state and proposals for supplementary measurements are discussed in detail.


title: Unsupervised identification of rat behavioral motifs across timescales

abstract: Behaviors of several laboratory animals can be modeled as sequences of stereotyped behaviors, or behavioral motifs. However, identifying such motifs is a challenging problem. Behaviors have a multi-scale structure: the animal can be simultaneously performing a small-scale motif and a large-scale one (e.g. \textit{chewing} and \textit{feeding}). Motifs are compositional: a large-scale motif is a chain of smaller-scale ones, folded in (some behavioral) space in a specific manner. We demonstrate an approach which captures these structures, using rat locomotor data as an example. From the same dataset, we used a preprocessing procedure to create different versions, each describing motifs of a different scale. We then trained several Hidden Markov Models (HMMs) in parallel, one for each dataset version. This approach essentially forced each HMM to learn motifs on a different scale, allowing us to capture behavioral structures lost in previous approaches. By comparing HMMs with models representing different null hypotheses, we found that rat locomotion was composed of distinct motifs from second scale to minute scale. We found that transitions between motifs were modulated by rats' location in the environment, leading to non-Markovian transitions. To test the ethological relevance of motifs we discovered, we compared their usage between rats with differences in a high-level trait, prosociality. We found that these rats had distinct motif repertoires, suggesting that motif usage statistics can be used to infer internal states of rats. Our method is therefore an efficient way to discover multi-scale, compositional structures in animal behaviors. It may also be applied as a sensitive assay for internal states.


title: First Exclusive Measurement of Deeply Virtual Compton Scattering off $^4$He: Toward the 3D Tomography of Nuclei

abstract: We report on the first measurement of the beam-spin asymmetry in the exclusive process of coherent deeply virtual Compton scattering off a nucleus. The experiment used the 6 GeV electron beam from the CEBAF accelerator at Jefferson Lab incident on a pressurized $^4$He gaseous target placed in front of the CEBAF Large Acceptance Spectrometer (CLAS). The scattered electron was detected by CLAS and the photon by a dedicated electromagnetic calorimeter at forward angles. To ensure the exclusivity of the process, a specially designed radial time projection chamber was used to detect the recoiling $^4$He nuclei. We measured beam-spin asymmetries larger than those observed on the free proton in the same kinematic domain. From these, we were able to extract, in a model-independent way, the real and imaginary parts of the only $^4$He Compton form factor, $\cal H_A$. This first measurement of coherent deeply virtual Compton scattering on the $^4$He nucleus, with a fully exclusive final state via nuclear recoil tagging, leads the way toward 3D imaging of the partonic structure of nuclei.


title: Revisiting Quasiparticle Scattering Interference in High-Temperature Superconductors: The Problem of Narrow Peaks

abstract: We revisit the interpretation of quasiparticle scattering interference in cuprate high-$T_c$ superconductors. This phenomenon has been very successful in reconstructing the dispersions of d-wave Bogoliubov excitations, but the successful identification and interpretation of QPI in scanning tunneling spectroscopy (STS) experiments rely on theoretical results obtained for the case of isolated impurities. We introduce a highly flexible technique to simulate STS measurements by computing the local density of states using real-space Green's functions defined on two-dimensional lattices with as many as 100,000 sites. We focus on the following question: to what extent can the experimental results be reproduced when various forms of distributed disorder are present? We consider randomly distributed point-like impurities, smooth "Coulombic" disorder, and disorder arising from random on-site energies and superconducting gaps. We find an apparent paradox: the QPI peaks in the Fourier-transformed local density of states appear to be sharper and better defined in experiment than those seen in our simulations. We arrive at a no-go result for smooth-potential disorder since this does not reproduce the QPI peaks associated with large-momentum scattering. An ensemble of point-like impurities gets closest to experiment, but this goes hand in hand with impurity cores that are not seen in experiment. We also study the effects of possible measurement artifacts (the "fork mechanism"), which turn out to be of relatively minor consequence. It appears that there is an unknown mechanism at work which renders the QPI peaks much sharper than they are based on present theoretical understanding.


title: The effect of self- and cross-phase modulation on photon-pairs generated by spontaneous four-wave mixing in integrated optical waveguides

abstract: A novel time-domain approach using the momentum operator is used to model spontaneous four-wave mixing in a lossless nonlinear waveguide. The effects of self- and cross-phase modulation on the photon-pair production rate and heralded photon purity are investigated. We show that in the special case where only one half of the photon-pair state is filtered that the generation rate and purity of the heralded photons are unmodified by the presence of self- and cross-phase modulation. The significance of this special case arises when we consider heralded single-photon sources, where future schemes are likely to only filter the herald photon to ensure a high heralding efficiency is maintained.


title: Laser-induced distortion of structural interferences in high harmonic generation

abstract: We study theoretically the two-center interferences occurring in high harmonic generation from diatomic molecules. By solving the time-dependent Schroedinger equation, either numerically or with the molecular strong-field approximation, we show that the electron dynamics results in a strong spectral smoothing of the interference, depending on the value and sign of the driving laser field at recombination. Strikingly, the associated phase-jumps are in opposite directions for the short and long trajectories. In these conditions, the harmonic emission is not simply proportional to the recombination dipole any more. This has important consequences in high harmonic spectroscopy, e.g., for accessing the molecular-frame recombination dipole in amplitude and phase.


title: Photonic Chern insulator through homogenization of an array of particles

abstract: We propose a route towards creating a metamaterial that behaves as a photonic Chern insulator, through homogenization of an array of gyromagnetic cylinders. We show that such an array can exhibit non-trivial topological effects, including topologically non-trivial band gaps and one-way edge states, when it can be homogenized to an effective medium model that has the Berry curvature strongly peaked at the wavevector k=0. The non-trivial band topology depends only on the parameters of the cylinders and the cylinders' density, and can be realized in a wide variety of different lattices including periodic, quasi-periodic and random lattices. Our system provides a platform to explore the interplay between disorder and topology and also opens a route towards synthesis of topological meta-materials based on the self-assembly approach.


title: Walk algebras, distinguished subexpressions, and point counting in Kac-Moody flag varieties

abstract: We study walk algebras and Hecke algebras for Kac-Moody root systems. Each choice of orientation for the set of real roots gives rise to a corresponding "oriented" basis for each of these algebras. We show that the notion of distinguished subexpression naturally arises when studying the transition matrix between oriented bases. We then relate these notions to the geometry of Kac-Moody flag varieties and Bott-Samelson varieties. In particular, we show that the number of points over a finite field in certain intersections of these varieties is given by change of basis coefficients between oriented bases of the Hecke algebra. Using these results we give streamlined derivations of Deodhar's formula for $R$-polynomials and point-counting formulas for specializations of nonsymmetric Macdonald polynomials $E_\lambda(\mathsf{q},t)$ at $\mathsf{q}=0,\infty$.


title: Wextractor: Follow-up of the evolution of prices in web pages

abstract: In the e-commerce world, the follow-up of prices in detail web pages is of great interest for things like buying a product when it falls below some threshold. For doing this task, instead of bookmarking the pages and revisiting them, in this paper we propose a novel web data extraction system, called Wextractor. It consists of an extraction method and a web app for listing the retrieved prices. As for the final user, the main feature of Wextractor is usability because (s)he only has to signal the pages of interest and our system automatically extracts the price from the page.


title: Spectral analysis of gravitational waves from binary neutron star merger remnants

abstract: In this work we analyze the gravitational wave signal from hypermassive neutron stars formed after the merger of binary neutron star systems, focusing on its spectral features. The gravitational wave signals are extracted from numerical relativity simulations of models already considered by De Pietri et al. [Phys. Rev. D 93, 064047 (2016)], Maione et al. [Classical Quantum Gravity 33, 175009 (2016)], and Feo et al. [Classical Quantum Gravity 34, 034001 (2017)], and allow us to study the effect of the total baryonic mass of such systems (from $2.4 M_{\odot}$ to $3 M_{\odot}$), the mass ratio (up to $q = 0.77$), and the neutron star equation of state, both in equal and highly unequal mass binaries. We use the peaks we find in the gravitational spectrum as an independent test of already published hypotheses of their physical origin and empirical relations linking them with the characteristics of the merging neutron stars. In particular, we highlight the effects of the mass ratio, which in the past was often neglected. We also analyze the temporal evolution of the emission frequencies. Finally, we introduce a modern variant of Prony's method to analyze the gravitational wave postmerger emission as a sum of complex exponentials, trying to overcome some drawbacks of both Fourier spectra and least-squares fitting. Overall, the spectral properties of the postmerger signal observed in our simulation are in agreement with those proposed by other groups. More specifically, we find that the analysis of Bauswein and Stergioulas [Phys. Rev. D 91, 124056 (2015)] is particularly effective for binaries with very low masses or with a small mass ratio and that the mechanical toy model of Takami et al. [Phys. Rev. D 91, 064001 (2015)] provides a comprehensive and accurate description of the early stages of the postmerger.


title: Dynamics of Anderson localization in disordered wires

abstract: We consider the dynamics of an electron in an infinite disordered metallic wire. We derive exact expressions for the probability of diffusive return to the starting point in a given time. The result is valid for wires with or without time-reversal symmetry and allows for the possibility of topologically protected conducting channels. In the absence of protected channels, Anderson localization leads to a nonzero limiting value of the return probability at long times, which is approached as a negative power of time with an exponent depending on the symmetry class. When topologically protected channels are present (in a wire of either unitary or symplectic symmetry), the probability of return decays to zero at long time as a power law whose exponent depends on the number of protected channels. Technically, we describe the electron dynamics by the one-dimensional supersymmetric non-linear sigma model. We derive an exact identity that relates any local dynamical correlation function in a disordered wire of unitary, orthogonal, or symplectic symmetry to a certain expectation value in the random matrix ensemble of class AIII, CI, or DIII, respectively. The established exact mapping from one- to zero-dimensional sigma model is very general and can be used to compute any local observable in a disordered wire.


title: The Covering Problem

abstract: An important endeavor in computer science is to understand the expressive power of logical formalisms over discrete structures, such as words. Naturally, "understanding" is not a mathematical notion. This investigation requires therefore a concrete objective to capture this understanding. In the literature, the standard choice for this objective is the membership problem, whose aim is to find a procedure deciding whether an input regular language can be defined in the logic under investigation. This approach was cemented as the right one by the seminal work of Sch\"utzenberger, McNaughton and Papert on first-order logic and has been in use since then. However, membership questions are hard: for several important fragments, researchers have failed in this endeavor despite decades of investigation. In view of recent results on one of the most famous open questions, namely the quantifier alternation hierarchy of first-order logic, an explanation may be that membership is too restrictive as a setting. These new results were indeed obtained by considering more general problems than membership, taking advantage of the increased flexibility of the enriched mathematical setting. This opens a promising research avenue and efforts have been devoted at identifying and solving such problems for natural fragments. Until now however, these problems have been ad hoc, most fragments relying on a specific one. A unique new problem replacing membership as the right one is still missing. The main contribution of this paper is a suitable candidate to play this role: the Covering Problem. We motivate this problem with 3 arguments. First, it admits an elementary set theoretic formulation, similar to membership. Second, we are able to reexplain or generalize all known results with this problem. Third, we develop a mathematical framework and a methodology tailored to the investigation of this problem.


title: Aharonov-Bohm effect for bound states in relativistic scalar particle systems in a spacetime with a space-like dislocation

abstract: We investigate the analogue effect of the Aharonov-Bohm effect for bound states in two relativistic quantum systems in a spacetime with a space-like dislocation. We assume that the topological defect has an internal magnetic flux. Then, we analyse the interaction of a charged particle with a uniform magnetic field in this topological defect spacetime, and thus, we extend this analysis to the confinement to a hard-wall potential and a linear scalar potential. Later, the interaction of the Klein-Gordon oscillator with a uniform magnetic field is analysed. We first focus on the effects of torsion that stem from the spacetime with a space-like dislocation and the geometric quantum phase. Then, we analyse the effects of torsion and the geometric quantum phase under the presence of a hard-wall potential and a linear scalar potential.


title: Fast Amortized Inference and Learning in Log-linear Models with Randomly Perturbed Nearest Neighbor Search

abstract: Inference in log-linear models scales linearly in the size of output space in the worst-case. This is often a bottleneck in natural language processing and computer vision tasks when the output space is feasibly enumerable but very large. We propose a method to perform inference in log-linear models with sublinear amortized cost. Our idea hinges on using Gumbel random variable perturbations and a pre-computed Maximum Inner Product Search data structure to access the most-likely elements in sublinear amortized time. Our method yields provable runtime and accuracy guarantees. Further, we present empirical experiments on ImageNet and Word Embeddings showing significant speedups for sampling, inference, and learning in log-linear models.


title: Spin switching via quantum dot spin valves

abstract: We develop a theory for spin transport and magnetization dynamics in a quantum-dot spin valve, i.e., two magnetic reservoirs coupled to a quantum dot. Our theory is able to take into account effects of strong correlations. We demonstrate that, as a result of these strong correlations, the dot gate voltage enables control over the current-induced torques on the magnets, and, in particular, enables voltage-controlled magnetic switching. The electrical resistance of the structure can be used to read out the magnetic state. Our model may be realized by a number of experimental systems, including magnetic scanning-tunneling microscope tips and artificial quantum dot systems.