title: Loss-tolerant quantum enhanced metrology and state engineering via the reverse Hong-Ou-Mandel effect

abstract: Preparing highly entangled quantum states between remote parties is a major challenge for quantum communications [1-8]. Particularly promising in this context are the N00N states, which are entangled N-photon wavepackets delocalized between two different locations, providing measurement sensitivity limited only by the uncertainty principle [1, 10-15]. However, these states are notoriously vulnerable to losses, making it difficult both to share them between remote locations, and to recombine them to exploit interference effects. Here we address this challenge by utilizing the reverse version of the Hong-Ou-Mandel effect [16] to prepare a high-fidelity two-photon N00N state shared between two parties connected by a lossy optical channel. Furthermore, we demonstrate that the enhanced phase sensitivity can be directly exploited in the two distant locations, and we remotely prepare superpositions of coherent states, known as Schr\"odinger's cat states" [17, 18].


title: Network Identification with Latent Nodes via Auto-Regressive Models

abstract: We consider linear time-invariant networks with unknown topology where only a manifest subset of the nodes can be directly actuated and measured while the state of the remaining latent nodes and their number are unknown. Our goal is to identify the transfer function of the manifest subnetwork and determine whether interactions between manifest nodes are direct or mediated by latent nodes. We show that, if there are no inputs to the latent nodes, the manifest transfer function can be approximated arbitrarily well in the H-infinity norm sense by the transfer function of an auto-regressive model and present a least-squares estimation method to construct the auto-regressive model from measured data. We show that the least-squares auto-regressive method guarantees an arbitrarily small H-infinity norm error in the approximation of the manifest transfer function, exponentially decaying once the model order exceeds a certain threshold. Finally, we show that when the latent subnetwork is acyclic, the proposed method achieves perfect identification of the manifest transfer function above a specific model order as the length of the data increases. Various examples illustrate our results.


title: Robust State Estimation against Sparse Integrity Attacks

abstract: We consider the problem of robust state estimation in the presence of integrity attacks. There are $m$ sensors monitoring a dynamical process. Subject to the integrity attacks, $p$ out of $m$ measurements can be arbitrarily manipulated. The classical approach such as the MMSE estimation in the literature may not provide a reliable estimate under this so-called $(p,m)$-sparse attack. In this work, we propose a robust estimation framework where distributed local measurements are computed first and fused at the estimator based on a convex optimization problem. We show the sufficient and necessary conditions for robustness of the proposed estimator. The sufficient and necessary conditions are shown to be tight, with a trivial gap. We also present an upper bound on the damage an attacker can cause when the sufficient condition is satisfied. Simulation results are also given to illustrate the effectiveness of the estimator.


title: Folding PDZ2 domain using the Molecular Transfer Model

abstract: A major challenge in molecular simulations is to describe denaturant-dependent folding of proteins order to make direct comparisons with {\it in vitro} experiments. We use the molecular transfer model, which is currently the only method that accomplishes this goal albeit phenomenologically, to quantitatively describe urea-dependent folding of PDZ domain, which plays a significant role in molecular recognition and signaling. Experiments show that urea-dependent unfolding rates of the PDZ2 domain exhibit a downward curvature at high urea concentrations, which has been interpreted by invoking the presence of a sparsely populated high energy intermediate. Simulations using the MTM and a coarse-grained model of PDZ2 are used to show that the intermediate, which has some native-like character, is present in equilibrium both in the presence and absence of urea. The free energy profiles show that there are two barriers separating the folded and unfolded states. Structures of the transition state ensembles, ($TSE1$ separating the unfolded and $I_{EQ}$ and $TSE2$ separating $I_{EQ}$ and the native state), determined using the $P_{fold}$ method, show that $TSE1$ is expanded; $TSE2$ and native-like. Folding trajectories reveal that PDZ2 folds by parallel routes. In one pathway folding occurs exclusively through $I_1$, which resembles $I_{EQ}$. In a fraction of trajectories, constituting the second pathway, folding occurs through a combination of $I_{1}$ and a kinetic intermediate. The radius of gyration ($R_g^{U}$) of the unfolded state is more compact (by $\sim$ 9\%) under native conditions. Decrease in $R_g^{U}$ occurs on the time scale on the order of utmost $\sim$ 20 $\mu s$. The modest decrease in $R_g^{U}$ and the rapid collapse suggest that high spatial and temporal resolution are needed to detect compaction in finite-sized proteins.


title: On the Convergence of Soft Potential Dynamics to Hard Sphere Dynamics

abstract: We address a question raised in the work of Gallagher, Saint-Raymond and Texier (From Newton to Boltzmann: Hard Spheres and Short-range Potentials, Z\"urich Lectures in Advanced Mathematics, EMS, 2013) that concerns the convergence of soft-potential dynamics to hard sphere dynamics. In the case of two particles, we establish that hard sphere dynamics is the limit of soft sphere dynamics in the weak-star topology of BV. We view our result as establishing a topological method by which to construct weak solutions to the ODE of hard sphere motion.


title: TrueHappiness: Neuromorphic Emotion Recognition on TrueNorth

abstract: We present an approach to constructing a neuromorphic device that responds to language input by producing neuron spikes in proportion to the strength of the appropriate positive or negative emotional response. Specifically, we perform a fine-grained sentiment analysis task with implementations on two different systems: one using conventional spiking neural network (SNN) simulators and the other one using IBM's Neurosynaptic System TrueNorth. Input words are projected into a high-dimensional semantic space and processed through a fully-connected neural network (FCNN) containing rectified linear units trained via backpropagation. After training, this FCNN is converted to a SNN by substituting the ReLUs with integrate-and-fire neurons. We show that there is practically no performance loss due to conversion to a spiking network on a sentiment analysis test set, i.e. correlations between predictions and human annotations differ by less than 0.02 comparing the original DNN and its spiking equivalent. Additionally, we show that the SNN generated with this technique can be mapped to existing neuromorphic hardware -- in our case, the TrueNorth chip. Mapping to the chip involves 4-bit synaptic weight discretization and adjustment of the neuron thresholds. The resulting end-to-end system can take a user input, i.e. a word in a vocabulary of over 300,000 words, and estimate its sentiment on TrueNorth with a power consumption of approximately 50 uW.


title: The Wiener Test for the Removability of the Logarithmic Singularity for the Elliptic PDEs with Measurable Coefficients and Its Consequences

abstract: This paper introduces the notion of $log$-regularity (or $log$-irregularity) of the boundary point $\zeta$ (possibly $\zeta=\infty$) of the arbitrary open subset $\Omega$ of the Greenian deleted neigborhood of $\zeta$ in $R^2$ concerning second order uniformly elliptic equations with bounded and measurable coefficients, according as whether the $log$-harmonic measure of $\zeta$ is null (or positive). A necessary and sufficient condition for the removability of the logarithmic singularity, that is to say for the existence of a unique solution to the Dirichlet problem in $\Omega$ in a class $O(\log |\cdot - \zeta|)$ is established in terms of the Wiener test for the $log$-regularity of $\zeta$. From a topological point of view, the Wiener test at $\zeta$ presents the minimal thinness criteria of sets near $\zeta$ in minimal fine topology. Precisely, the open set $\Omega$ is a deleted neigborhood of $\zeta$ in minimal fine topology if and only if $\zeta$ is $log$-irregular. From the probabilistic point of view, the Wiener test presents asymptotic law for the $log$-Brownian motion near $\zeta$ conditioned on the logarithmic kernel with pole at $\zeta$.


title: Computation of the magnetostatic interaction between linearly magnetized polyhedrons

abstract: In this paper we present a method to accurately compute the energy of the magnetostatic interaction between linearly (or uniformly, as a special case) magnetized polyhedrons. The method has applications in finite element micromagnetics, or more generally in computing the magnetostatic interaction when the magnetization is represented using the finite element method (FEM). The magnetostatic energy is described by a six-fold integral that is singular when the interaction regions overlap, making direct numerical evaluation problematic. To resolve the singularity, we evaluate four of the six iterated integrals analytically resulting in a 2d integral over the surface of a polyhedron, which is nonsingular and can be integrated numerically. This provides a more accurate and efficient way of computing the magnetostatic energy integral compared to existing approaches. The method was developed to facilitate the evaluation of the demagnetizing interaction between neighouring elements in finite-element micromagnetics and provides a possibility to compute the demagnetizing field using efficient fast multipole or tree code algorithms.


title: Generalizing Moran's Theorem

abstract: This work is aimed by the spirit of 1946 Moran's Theorem, which ensures that both the box and the Hausdorff dimensions for any attractor could be calculated as the solution of an equation involving only its similarity factors. To achieve such result, the open set condition (OSC, herein) is required to be satisfied by the pieces of the attractor in order to guarantee that they do not overlap too much. In this paper, we generalize the classical Moran's through a fractal dimension model which allows to obtain the fractal dimension of any IFS-attractor equipped with its natural fractal structure without requiring the OSC to be satisfied.


title: Conversion of Artificial Recurrent Neural Networks to Spiking Neural Networks for Low-power Neuromorphic Hardware

abstract: In recent years the field of neuromorphic low-power systems that consume orders of magnitude less power gained significant momentum. However, their wider use is still hindered by the lack of algorithms that can harness the strengths of such architectures. While neuromorphic adaptations of representation learning algorithms are now emerging, efficient processing of temporal sequences or variable length-inputs remain difficult. Recurrent neural networks (RNN) are widely used in machine learning to solve a variety of sequence learning tasks. In this work we present a train-and-constrain methodology that enables the mapping of machine learned (Elman) RNNs on a substrate of spiking neurons, while being compatible with the capabilities of current and near-future neuromorphic systems. This "train-and-constrain" method consists of first training RNNs using backpropagation through time, then discretizing the weights and finally converting them to spiking RNNs by matching the responses of artificial neurons with those of the spiking neurons. We demonstrate our approach by mapping a natural language processing task (question classification), where we demonstrate the entire mapping process of the recurrent layer of the network on IBM's Neurosynaptic System "TrueNorth", a spike-based digital neuromorphic hardware architecture. TrueNorth imposes specific constraints on connectivity, neural and synaptic parameters. To satisfy these constraints, it was necessary to discretize the synaptic weights and neural activities to 16 levels, and to limit fan-in to 64 inputs. We find that short synaptic delays are sufficient to implement the dynamical (temporal) aspect of the RNN in the question classification task. The hardware-constrained model achieved 74% accuracy in question classification while using less than 0.025% of the cores on one TrueNorth chip, resulting in an estimated power consumption of ~17 uW.


title: A comparison among some Hurst exponent approaches to predict nascent bubbles in $500$ company stocks

abstract: In this paper, three approaches to calculate the self-similarity exponent of a time series are compared in order to determine which one performs best to identify the transition from random efficient market behavior (EM) to herding behavior (HB) and hence, to find out the beginning of a market bubble. In particular, classical Detrended Fluctuation Analysis (DFA), Generalized Hurst Exponent (GHE) and GM2 (one of Geometric Method-based algorithms) were applied for self-similarity exponent calculation purposes. Traditionally, researchers have been focused on identifying the beginning of a crash. Instead of this, we are pretty interested in identifying the beginning of the transition process from EM to a market bubble onset, what we consider could be more interesting. The relevance of self-similarity index in such a context lies on the fact that it becomes a suitable indicator which allows to identify the raising of HB in financial markets. Overall, we could state that the greater the self-similarity exponent in financial series, the more likely the transition process to HB could start. This fact is illustrated through actual S\&P500 stocks.


title: Projection based dimensionality reduction for measure valued evolution equations in statistical manifolds

abstract: We propose a dimensionality reduction method for infinite-dimensional measure-valued evolution equations such as the Fokker-Planck partial differential equation or the Kushner-Stratonovich resp. Duncan-Mortensen-Zakai stochastic partial differential equations of nonlinear filtering, with potential applications to signal processing, quantitative finance, heat flows and quantum theory among many other areas. Our method is based on the projection coming from a duality argument built in the exponential statistical manifold structure developed by G. Pistone and co-authors. The choice of the finite dimensional manifold on which one should project the infinite dimensional equation is crucial, and we propose finite dimensional exponential and mixture families. This same problem had been studied, especially in the context of nonlinear filtering, by D. Brigo and co-authors but the $L^2$ structure on the space of square roots of densities or of densities themselves was used, without taking an infinite dimensional manifold environment space for the equation to be projected. Here we re-examine such works from the exponential statistical manifold point of view, which allows for a deeper geometric understanding of the manifold structures at play. We also show that the projection in the exponential manifold structure is consistent with the Fisher Rao metric and, in case of finite dimensional exponential families, with the assumed density approximation. Further, we show that if the sufficient statistics of the finite dimensional exponential family are chosen among the eigenfunctions of the backward diffusion operator then the statistical-manifold or Fisher-Rao projection provides the maximum likelihood estimator for the Fokker Planck equation solution. We finally try to clarify how the finite dimensional and infinite dimensional terminology for exponential and mixture spaces are related.


title: Linear NMR in the polar phase of $^3$He in aerogel

abstract: $^3$He is an example of the system with non-trivial Cooper paring. A few different superfluid phases are known in this system. Recently the new one, the polar phase, have been observed in $^3$He confined in nematically ordered aerogel. A number of various topological defects including half-quantum vortices can exist the polar phase. In this work we present theoretical and numerical studies of linear NMR in the polar phase both in the uniform order-parameter texture and in the presence of half-quantum vortices.


title: Non-Parametric Bayesian Rejuvenation of Smart-City Participation through Context-aware Internet-of-Things (IoT) Management

abstract: Tweaking citizen participation is vital in promoting Smart City services. However, conventional practices deficit sufficient realization of personal traits despite socio-economic promise. The recent trend of IoT-enabled smart-objects/things and personalized services pave the way for context-aware services. Eventually, the aim of this paper is to develop a context-aware model in predicting participation of smart city service. Hence, major requirements are identified for citizen participation, namely (a) unwrapping of contexts, which are relevant, (b) scaling up (over time) of participation. However, paramount challenges are imposed on this stipulation, such as, un-observability, independence and composite relationship of contexts. Therefore, a Non-parametric Bayesian model is proposed to address scalability of contexts and its relationship with participation.


title: Measurements of anisotropic mass of magnons confined in a harmonic trap in superfluid $^3$He-B

abstract: We can pump magnons to a nearly harmonic magneto-textural trap in superfluid $^3$He-B. Using the NMR spectroscopy of levels in the trap we have measured the anisotropic magnon mass and related values of the spin-wave velocities. Based on our measurements we provide values of the Fermi-liquid parameter $F^a_1$.


title: Modelling of immune cells as vectors of HIV spread inside a patient human body

abstract: The search to understand how the HIV virus spreads inside the human body and how the immune response works to control it has motivated studies related to Mathematical Immunology. Actually, researches include the idea of mathematical models representing the dynamics of healthy and infected cell populations and focusing on mechanisms used by HIV to invade target-host cells, viral dissemination (which leads to depletion of the T-cell pool and collapse of the immune system), and impairment of immune response. In this work, we show the importance of specific cells of immune response, as infection vectors involved in the dynamics of viral proliferation within an untreated patient, by using an ordinary differential equation model in which we considered that the virus infected target-cells such as macrophages, dendritic cells, and lymphocytes TCD4 and TCD8 populations. In conclusion, we demonstrate the importance of each cell-host and the threshold of viral establishment and posterior spread based on the presence of infected macrophages and dendritic cells in antigen-presenting processing, which leads to new infections (by wild or mutant virions) after immune response activation episodes. We presented an $R_0$ expression that provides the major parameters of HIV infection. Additionally, we suggest some possibilities of new targets for functional vaccines.


title: On maximal symplectic partial spreads

abstract: New types of maximal symplectic partial spreads are constructed.


title: Prime Decomposition and the Iwasawa mu-invariant

abstract: For $\Gamma=\mathbb{Z}_p$, Iwasawa was the first to construct $\Gamma$-extensions over number fields with arbitrarily large $\mu$-invariants. In this work, we investigate other uniform pro-$p$ groups which are realizable as Galois groups of towers of number fields with arbitrarily large $\mu$-invariant. For instance, we prove that this is the case if $p$ is a regular prime and $\Gamma$ is a uniform pro-$p$ group admitting a fixed-point-free automorphism of odd order dividing $p-1$. Both in Iwasawa's work, and in the present one, the size of the $\mu$-invariant appears to be intimately related to the existence of primes that split completely in the tower.


title: Multiband thermal transport in the iron-based superconductor Ba1 xKxFe2As2

abstract: We present results of precise measurements of the thermal and electrical transport in the optimally- and over-doped Ba1-xKxFe2As2 single crystals (x = 0.35, 0.55, 0.88) and compare them to the previously reported data on Ba(Fe1-yCoy)2As2. A contraction of the electron pocket is observed upon substitution potassium for barium, but even at the extreme doping (x = 0.88) there is still a noticeable contribution from negative charge carriers to the electronic transport. The size of the electron pocket in all K-doped samples is small enough to cause a significant enhancement of the respective Hall-Lorenz number. Another observed characteristic is the emergence of a maximum in the transverse thermal conductivity below the superconducting critical temperature of the optimally- (x = 0.35) and slightly over-doped (x = 0.55) samples. The evolution of this anomaly from the optimally electron-doped Ba(Fe0.94Co0.06)2As2 to hole-overdoped Ba0.45K0.55Fe2As2 suggests formation of a uniform superconducting gap on the electron pocket in the former and regions of a depressed gap on the hole-pocket in the latter.


title: Photo-thermionic effect in vertical graphene heterostructures

abstract: Finding alternative optoelectronic mechanisms that overcome the limitations of conventional semiconductor devices is paramount for detecting and harvesting low-energy photons. A highly promising approach is to drive a current from the thermal energy added to the free-electron bath as a result of light absorption. Successful implementation of this strategy requires a broadband absorber where carriers interact among themselves more strongly than with phonons, as well as energy-selective contacts to extract the excess electronic heat. Here we show that graphene-WSe2-graphene heterostructure devices offer this possibility through the photo-thermionic effect: the absorbed photon energy in graphene is efficiently transferred to the electron bath, leading to a thermalized hot carrier distribution. Carriers with energy higher than the Schottky barrier between graphene and WSe2 can be emitted over the barrier, thus creating photocurrent. We experimentally demonstrate that the photo-thermionic effect enables detection of sub-bandgap photons, while being size-scalable, electrically tunable, broadband and ultrafast.


title: Strange kinetics of bulk-mediated diffusion on lipid bilayers

abstract: Diffusion at solid-liquid interfaces is crucial in many technological and biophysical processes. Although its behavior seems deceivingly simple, recent studies showing passive superdiffusive transport suggest diffusion on surfaces may hide rich complexities. In particular, bulk-mediated diffusion occurs when molecules are transiently released from the surface to perform three-dimensional excursions into the liquid bulk. This phenomenon bears the dichotomy where a molecule always return to the surface but the mean jump length is infinite. Such behavior is associated with a breakdown of the central limit theorem and weak ergodicity breaking. Here, we use single-particle tracking to study the statistics of bulk-mediated diffusion on a supported lipid bilayer. We find that the time-averaged mean square displacement (MSD) of individual trajectories, the archetypal measure in diffusion processes, does not converge to the ensemble MSD but it remains a random variable, even in the long observation-time limit. The distribution of time averages is shown to agree with a L\'{e}vy flight model. Our results also unravel intriguing anomalies in the statistics of displacements. The time averaged MSD is shown to depend on experimental time and investigations of fractional moments show a scaling $\langle |r(t)|^q\rangle \sim t^{q\nu(q)}$ with non-linear exponents, i.e. $\nu(q)\neq\textrm{const}$. This type of behavior is termed strong anomalous diffusion and is rare among experimental observations.


title: Tabulating knot polynomials for arborescent knots

abstract: Arborescent knots are the ones which can be represented in terms of double fat graphs or equivalently as tree Feynman diagrams. This is the class of knots for which the present knowledge is enough for lifting topological description to the level of effective analytical formulas. The paper describes the origin and structure of the new tables of colored knot polynomials, which will be posted at the dedicated site. Even if formal expressions are known in terms of modular transformation matrices, the computation in finite time requires additional ideas. We use the "family" approach, and apply it to arborescent knots in the Rolfsen table by developing a Feynman diagram technique associated with an auxiliary matrix model field theory. Gauge invariance in this theory helps to provide meaning to Racah matrices in the case of non-trivial multiplicities and explains the need for peculiar sign prescriptions in the calculation of [21]-colored HOMFLY polynomials.


title: Variable Total Variation Regularization for Backward Time-Space Fractional Diffusion Problem

abstract: In this paper, we consider a backward problem for a time-space fractional diffusion process. For this problem, we propose to construct the initial data by minimizing data residual error in fourier space domain and variable total variation (TV) regularizing term which can protect the edges as TV regularizing term and reduce staircasing effect. The well-posedness of this optimization problem is studied under a very general setting. Actually, we write the time-space fractional diffusion equation as an abstract fractional differential equation and get our results by using fractional semigroup theory, so our results can be applied to other backward problems for more general fractional differential equations. Then a modified Bregman iterative algorithm is proposed to approximate the minimizer. The new features of this algorithm is that the regularizing term changed in each step and we need not to solve the complexed Euler-Lagrange equations of variable TV regularizing term (just need to solve a simpler Euler-Lagrange equations). The convergence of this algorithm and the strategy of choosing parameters are also obtained. Numerical implementations are given to support our analysis to show the flexibility of our minimization model.


title: Generic Extensions and Generic Polynomials for Linear Algebraic Groups

abstract: We show the existence of and explicitly construct generic polynomials for various groups, over fields of positive characteristic. The methods we develop apply to a broad class of connected linear algebraic groups defined over finite fields satisfying certain conditions on cohomology. In particular, we use our techniques to study constructions for unipotent groups, certain algebraic tori, and certain split semisimple groups. An attractive consequence of our work is the construction of generic polynomials in the optimal number of parameters for all cyclic 2-groups over all fields of positive characteristic. This contrasts with a theorem of Lenstra, which states no cyclic 2-group of order $\ge 8$ has a generic polynomial over $\mathbb{Q}$.


title: On half-synchronized systems

abstract: A subclass of coded systems containing synchronized systems is the family of half-synchronized systems. In this note, we will consider them and show that the property half-synchronized lifts under hyperbolic maps. This enables us to define an equivalence relation on the set of half-synchronized systems. Also, when the domain is half-synchronized, we show that right-closing a.e., 1-1 a.e. factor maps have a strong decoding property.


title: Determining Tournament Payout Structures for Daily Fantasy Sports

abstract: With an exploding global market and the recent introduction of online cash prize tournaments, fantasy sports contests are quickly becoming a central part of the social gaming and sports industries. For sports fans and online media companies, fantasy sports contests are an opportunity for large financial gains. However, they present a host of technical challenges that arise from the complexities involved in running a web-scale, prize driven fantasy sports platform. We initiate the study of these challenges by examining one concrete problem in particular: how to algorithmically generate contest payout structures that are 1) economically motivating and appealing to contestants and 2) reasonably structured and succinctly representable. We formalize this problem and present a general two-staged approach for producing satisfying payout structures given constraints on contest size, entry fee, prize bucketing, etc. We then propose and evaluate several potential algorithms for solving the payout problem efficiently, including methods based on dynamic programming, integer programming, and heuristic techniques. Experimental results show that a carefully designed heuristic scales very well, even to contests with over 100,000 prize winners. Our approach extends beyond fantasy sports -- it is suitable for generating engaging payout structures for any contest with a large number of entrants and a large number of prize winners, including other massive online games, poker tournaments, and real-life sports tournaments.


title: The radial MASA in free orthogonal quantum groups

abstract: We prove that the radial subalgebra in free orthogonal quantum group factors is maximal abelian and mixing, and we compute the associated bimodule. The proof relies on new properties of the Jones-Wenzl projections and on an estimate of certain scalar products of coefficients of irreducible representations.


title: Electronic and Optical Properties of the Narrowest Armchair Graphene Nanoribbons Studied by Density Functional Methods

abstract: In the present study, a series of planar poly(p-phenylene) (PPP) oligomers with n phenyl rings (n = 1 - 20), designated as n-PP, are taken as finite-size models of the narrowest armchair graphene nanoribbons with hydrogen passivation. The singlet-triplet energy gap, vertical ionization potential, vertical electron affinity, fundamental gap, optical gap, and exciton binding energy of n-PP are calculated using Kohn-Sham density functional theory and time-dependent density functional theory with various exchange-correlation density functionals. The ground state of n-PP is shown to be singlet for all the chain lengths studied. In contrast to the lowest singlet state (i.e., the ground state), the lowest triplet state and the ground states of the cation and anion of n-PP are found to exhibit some multi-reference character. Overall, the electronic and optical properties of n-PP obtained from the omegaB97 and omegaB97X functionals are in excellent agreement with the available experimental data.

categories: physics.chem-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.comp-ph quant-ph


title: Long-range random transverse-field Ising model in three dimensions

abstract: We consider the random transverse-field Ising model in $d=3$ dimensions with long-range ferromagnetic interactions which decay as a power $\alpha > d$ with the distance. Using a variant of the strong disorder renormalization group method we study numerically the phase-transition point from the paramagnetic side. The distribution of the (sample dependent) pseudo-critical points is found to scale with $1/\ln L$, $L$ being the linear size of the sample. Similarly, the critical magnetization scales with $(\ln L)^{\chi}/L^d$ and the excitation energy behaves as $L^{-\alpha}$. Using extreme-value statistics we argue that extrapolating from the ferromagnetic side the magnetization approaches a finite limiting value and thus the transition is of mixed-order.


title: The discrete analogue of the method of quickest descent for an inverse acoustic problem in case of a smooth source

abstract: The article considers the discrete analogue of the method of quickest descent for an inverse Acoustics problem in case of a smooth source. The authors derived the gradient of functional in differential and discrete cases, described the algorithm of solving a problem, and compared gradients of functional in continuous and discrete cases. In the article the improved estimates of the rates of convergence of gradient-based methods are obtained, which are very important for practice because they provide with the possibility to make input data errors consistent with the iteration number. There is a practical application of the proposed new method of deriving the gradient of functional for an Acoustics discrete problem, for it provides with calculations that are more accurate. The theoretical importance of the method is the developed technique of deriving estimates and gradients of functional at a discrete level.


title: Signatures of the Adler-Bell-Jackiw chiral anomaly in a Weyl Fermion semimetal

abstract: Weyl semimetals provide the realization of Weyl fermions in solid-state physics. Among all the physical phenomena that are enabled by Weyl semimetals, the chiral anomaly is the most unusual one. Here, we report signatures of the chiral anomaly in the magneto-transport measurements on the first Weyl semimetal TaAs. We show negative magnetoresistance under parallel electric and magnetic fields, that is, unlike most metals whose resistivity increases under an external magnetic field, we observe that our high mobility TaAs samples become more conductive as a magnetic field is applied along the direction of the current for certain ranges of the field strength. We present systematically detailed data and careful analyses, which allow us to exclude other possible origins of the observed negative magnetoresistance. Our transport data, corroborated by photoemission measurements, first-principles calculations and theoretical analyses, collectively demonstrate signatures of the Weyl fermion chiral anomaly in the magneto-transport of TaAs.


title: Quantum Decoherence and Thermalization at Finite Temperature within the Canonical Thermal State Ensemble

abstract: We study measures of decoherence and thermalization of a quantum system $S$ in the presence of a quantum environment (bath) $E$. The entirety $S$$+$$E$ is prepared in a canonical thermal state at a finite temperature, that is the entirety is in a steady state. Both our numerical results and theoretical predictions show that measures of the decoherence and the thermalization of $S$ are generally finite, even in the thermodynamic limit, when the entirety $S$$+$$E$ is at finite temperature. Notably, applying perturbation theory with respect to the system-environment coupling strength, we find that under common Hamiltonian symmetries, up to first order in the coupling strength it is sufficient to consider $S$ uncoupled from $E$, but entangled with $E$, to predict decoherence and thermalization measures of $S$. This decoupling allows closed form expressions for perturbative expansions for the measures of decoherence and thermalization in terms of the free energies of $S$ and of $E$. Large-scale numerical results for both coupled and uncoupled entireties with up to 40 quantum spins support these findings.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech physics.comp-ph


title: Speculative Futures Trading under Mean Reversion

abstract: This paper studies the problem of trading futures with transaction costs when the underlying spot price is mean-reverting. Specifically, we model the spot dynamics by the Ornstein-Uhlenbeck (OU), Cox-Ingersoll-Ross (CIR), or exponential Ornstein-Uhlenbeck (XOU) model. The futures term structure is derived and its connection to futures price dynamics is examined. For each futures contract, we describe the evolution of the roll yield, and compute explicitly the expected roll yield. For the futures trading problem, we incorporate the investor's timing option to enter or exit the market, as well as a chooser option to long or short a futures upon entry. This leads us to formulate and solve the corresponding optimal double stopping problems to determine the optimal trading strategies. Numerical results are presented to illustrate the optimal entry and exit boundaries under different models. We find that the option to choose between a long or short position induces the investor to delay market entry, as compared to the case where the investor pre-commits to go either long or short.


title: Algebro-geometric axioms for DCF$_{0,m}$

abstract: We give an algebro-geometric first-order axiomatization of DCF$_{0,m}$ (the theory of differentially closed fields of characteristic zero with m commuting derivations) in the spirit of the classical geometric axioms of DCF$_0$.


title: Quantum Walk Search on Johnson Graphs

abstract: The Johnson graph $J(n,k)$ is defined by $n$ symbols, where vertices are $k$-element subsets of the symbols, and vertices are adjacent if they differ in exactly one symbol. In particular, $J(n,1)$ is the complete graph $K_n$, and $J(n,2)$ is the strongly regular triangular graph $T_n$, both of which are known to support fast spatial search by continuous-time quantum walk. In this paper, we prove that $J(n,3)$, which is the $n$-tetrahedral graph, also supports fast search. In the process, we show that a change of basis is needed for degenerate perturbation theory to accurately describe the dynamics. This method can also be applied to general Johnson graphs $J(n,k)$ with fixed $k$.


title: Partial-Match Queries with Random Wildcards: In Tries and Distributed Hash Tables

abstract: Consider an $m$-bit query $q$ to a bitwise trie $T$. A wildcard $*$ is an unspecified bit in $q$ for which the query asks the membership for both cases $*=0$ and $*=1$. It is common that such partial-match queries with wildcards are issued in tries. With uniformly random occurrences of $w$ wildcards in $q$ assumed, the obvious upper bound on the average number of traversal steps in $T$ is $2^w m$. We show that the average does not exceed \[ \frac{m+1}{w+1} \left( 2^{w+2} - 2 w - 4 \right) + m = O \left( \frac{2^w m}{w} \right), \] and equals the value exactly when $T$ includes all the $m$-bit keys as the worst case. Here the query $q$ performs with the naive backtracking algorithm in $T$. It is similarly shown that the average is $O \left( \frac{k^w m}{w} \right)$ in a general trie of maximum out-degree $k$. Our analysis for tries is extended to a distributed hash table (DHT), which is among the most frequently used decentralized data structures in networking. We show, under a natural probabilistic assumption for the largest class of DHTs, that the average number of hops required by an $m$-bit query $q$ to a DHT $D$ with random $w$ wildcards meets the same asymptotic bound. As a result, $q$ is answered with average $O \left( \frac{2^w m}{w} \right)$ hops rather than $\Theta \left( 2^w m \right)$ in the four major DHTs Chord, Pastry, Tapestry and Kademlia. In addition, with a uniform key distribution for sufficiently many entries, we prove that a lookup request to the DHT Chord is answered correctly with $O(m)$ hops and probability $1 - 2^{-\Omega (m)}$. To the author's knowledge, the probability $1 - 2^{-\Omega (m)}$ of correct lookup in Chord has not been identified so far.


title: Lattice specific heat for the RMIn$_5$ (R = Gd, La, Y, M = Co, Rh) compounds: non-magnetic contribution subtraction

abstract: We analyze theoretically a common experimental process used to obtain the magnetic contribution to the specific heat of a given magnetic material. In the procedure, the specific heat of a non-magnetic analog is measured and used to subtract the non-magnetic contributions, which are generally dominated by the lattice degrees of freedom in a wide range of temperatures. We calculate the lattice contribution to the specific heat for the magnetic compounds GdMIn$_5$ (M = Co, Rh) and for the non-magnetic YMIn$_5$ and LaMIn$_5$ (M = Co, Rh), using density functional theory based methods. We find that the best non-magnetic analog for the subtraction depends on the magnetic material and on the range of temperatures. While the phonon specific heat contribution of YRhIn$_5$ is an excellent approximation to the one of GdCoIn$_5$ in the full temperature range, for GdRhIn$_5$ we find a better agreement with LaCoIn$_5$, in both cases, as a result of an optimum compensation effect between masses and volumes. We present measurements of the specific heat of the compounds GdMIn$_5$ (M = Co, Rh) up to room temperature where it surpasses the value expected from the Dulong-Petit law. We obtain a good agreement between theory and experiment when we include anharmonic effects in the calculations.


title: Unusual Landau Level Pinning and Correlated $\nu=1$ Quantum Hall Effect in Hole Systems Confined to Wide GaAs Quantum Wells

abstract: In two-dimensional hole systems confined to wide GaAs quantum wells, where the heavy- and light- hole states are close in energy, we observe a very unusual crossing of the lowest two Landau levels as the sample is tilted in magnetic field. At a magic tilt angle $\theta\simeq 34^{\circ}$, which surprisingly is independent of the well-width or hole density, in a large filling factor range near $\nu=1$ the lowest two levels are nearly degenerate as evinced by the presence of two-component quantum Hall states. Remarkably, a quantum Hall state is seen at $\nu=1$, consistent with a \textit{correlated} $\Psi_{111}$ state.


title: Number rigidity in superhomogeneous random point fields

abstract: We give sufficient conditions for the number rigidity of a translation invariant or periodic point process on $\mathbb{R}^d$, where $d=1,2$. That is, the probability distribution of the number of particles in a bounded domain $\Lambda \subset \mathbb{R}^d$, conditional on the configuration on $\Lambda^\complement$, is concentrated on a single integer $N_\Lambda$. These conditions are : (a) the variance of the number of particles in a bounded domain $\mathcal{O} \subset \mathbb{R}^d$ grows slower than the volume of $\mathcal{O}$ (a.k.a. superhomogeneous point processes), when $\mathcal{O} \uparrow \mathbb{R}^d$ (in a self-similar manner), and (b) the truncated pair correlation function is bounded by $C_1[|x-y|+1]^{-2}$ in $d=1$ and by $C_2[|x-y|+1]^{-(4+\epsilon)}$ in $d=2$. These conditions are satisfied by all known processes with number rigidity ([GP],[G],[PS],[AM],[Bu],[BuDQ], [BBNY], and many more) in $d=1,2$. We also observe, in the light of the results of [PS], that no such criteria exist in $d>2$.

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


title: Harvest the potential of massive MIMO with multi-layer techniques

abstract: Massive MIMO is envisioned as a promising technology for 5G wireless networks due to its high potential to improve both spectral and energy efficiency. Although the massive MIMO system is based on innovations in the physical layer, the upper layer techniques also play important roles in harvesting the performance gains of massive MIMO. In this article, we begin with an analysis of the benefits and challenges of massive MIMO systems. We then investigate the multi-layer techniques for incorporating massive MIMO in several important network deployment scenarios. We conclude this article with a discussion of open and potential problems for future research.


title: Fresnel-Fizeau drag: Invisibility conditions for all inertial observers

abstract: It was recently shown [Halimeh et al. arXiv:1510.06144 (to appear in Phys. Rev. A)] that as a result of the Doppler effect, inherently dispersive single-frequency ideal free-space invisibility cloaks in relative motion to an observer can only cloak light whose frequency in the cloak frame coincides with the operational frequency of the cloak, although an infinite number of such rays exist for any cloak motion. In this article, we show analytically and through ray-tracing simulations that even though this relationship can be relaxed by simplifying the ideal invisibility cloak into a broadband amplitude cloak, Fresnel-Fizeau drag uncloaks the phase of light in the inertial frame of the cloak thereby compromising its amplitude cloaking in all other inertial frames. In other words, only an invisibility device that perfectly cloaks both the amplitude and the phase of light in its own inertial frame will also (perfectly) cloak this light in any other inertial frame. The same conclusion lends itself to invisible objects that are not cloaks, such as the invisible sphere.


title: BOOST: Base station on-off switching strategy for energy efficient massive MIMO HetNets

abstract: In this paper, we investigate the problem of optimal base station (BS) ON-OFF switching and user association in a heterogeneous network (HetNet) with massive MIMO, with the objective to maximize the system energy efficiency (EE). The joint BS ON-OFF switching and user association problem is formulated as an integer programming problem. We first develop a centralized scheme, in which we relax the integer constraints and employ a series of Lagrangian dual methods that transform the original problem into a standard linear programming (LP) problem. Due to the special structure of the LP, we prove that the optimal solution to the relaxed LP is also feasible and optimal to the original problem. We then propose a distributed scheme by formulating a repeated bidding game for users and BS's, and prove that the game converges to a Nash Equilibrium (NE). Simulation studies demonstrate that the proposed schemes can achieve considerable gains in EE over several benchmark schemes in all the scenarios considered.


title: The antichain of excluded minors for the class of gammoids is maximal

abstract: Every gammoid is a minor of an excluded minor for the class of gammoids.


title: Electronic Single Molecule Identification of Carbohydrate Isomers by Recognition Tunneling

abstract: Glycans play a central role as mediators in most biological processes, but their structures are complicated by isomerism. Epimers and anomers, regioisomers, and branched sequences contribute to a structural variability that dwarfs those of nucleic acids and proteins, challenging even the most sophisticated analytical tools, such as NMR and mass spectrometry. Here, we introduce an electron tunneling technique that is label-free and can identify carbohydrates at the single-molecule level, offering significant benefits over existing technology. It is capable of analyzing sub-picomole quantities of sample, counting the number of individual molecules in each subset in a population of coexisting isomers, and is quantitative over more than four orders of magnitude of concentration. It resolves epimers not well separated by ion-mobility and can be implemented on a silicon chip. It also provides a readout mechanism for direct single-molecule sequencing of linear oligosaccharides.


title: Salem numbers and Enriques surfaces

abstract: It is known that the dynamical degree, or equivalently, the topological entropy of an automorphism g of an algebraic surface S is lower semi-continuous when (S,g) varies in a algebraic family. In this paper we make a series of experiments confirming this behavior with the aim to realize small Salem numbers as the dynamical degrees of automorphisms of Enriques surfaces.


title: Computationally Efficient Bounds for the Sum of Catalan Numbers

abstract: Easily computable lower and upper bounds are found for the sum of Catalan numbers. The lower bound is proven to be tighter than the upper bound, which previously was declared to be only an asymptotic. The average of these bounds is proven to be also an upper bound, and empirically it is shown that the average is superior to the previous upper bound by a factor greater than (9/2).


title: Typical representatives of free homotopy classes in a multi-punctured plane

abstract: We show that a uniform probability measure supported on a specific set of piecewise linear loops in a non-trivial free homotopy class in a multi-punctured plane is overwhelmingly concentrated around loops of minimal lengths. Our approach is based on extending Mogulskii's theorem to closed paths, which is a useful result of independent interest. In addition, we show that the above measure can be sampled using standard Markov Chain Monte Carlo techniques, thus providing a simple methods for approximating shortest loops.


title: Variability in the CO ro-vibrational lines from HD163296

abstract: We present for the first time a direct comparison of multi-epoch (2001-2002 and 2012) CO ro-vibrational emission lines from HD163296. We find that both the line shapes and the FWHM (Full Width Half Maximum) differ between these two epochs. The FWHM of the median observed line profiles are 10-25 km/s larger in the earlier epoch, and confirmed double peaks are only present in high J lines from 2001-2002. The line wings of individual transitions are similar in the two epochs making an additional central component in the later epoch a likely explanation for the single peaks and the lower FWHM. Variations in NIR brightness have been reported and could be linked to the observed variations. Additionally, we use the thermo chemical disc code ProDiMo to compare for the first time the line shapes, peak separations, FWHM, and line fluxes, to those observed. The ProDiMo model reproduces the peak separations, and low and mid J line fluxes well. The FWHM however, are over predicted and high J line fluxes are under predicted. We propose that a variable non-Keplerian component of the CO ro-vibrational emission, such as a disc wind or an episodic accretion funnel, is causing the difference between the two data sets collected at different epochs, and between model and observations. Additional CO ro-vibrational line detections (with CRIRES/VLT or NIRSPEC/Keck) or [Ne II] line observations with VISIR/VLT could help to clarify the cause of the variability.


title: Observational evidence of a slow downfall of star formation efficiency in massive galaxies during the last 10 Gyr

abstract: In this paper we study the causes of the reported mass-dependence of the slope of SFR-M* relation, the so-called "Main Sequence" of star-forming galaxies, and discuss its implication on the physical processes that shaped the star formation history of massive galaxies over cosmic time. We use the CANDELS near-IR imaging from the Hubble Space Telescope to perform the bulge-to-disk decomposition of distant galaxies and measure for the first time the slope of the SFR-Mdisk relation at z=1. We find that this relation follows very closely the shape of the SFR-M* correlation, still with a pronounced flattening at the high-mass end. This is clearly excluding, at least at z=1, the secular growth of quiescent bulges in star-forming galaxies as the main driver for the change of slope of the Main Sequence. Then, by stacking the Herschel data available in the CANDELS field, we estimate the total gas mass and the star formation efficiency at different positions on the SFR-M* relation. We find that the relatively low SFRs observed in massive galaxies (M* > 5e10 Msun) are caused by a decreased star formation efficiency, by up to a factor of 3 as compared to lower stellar mass galaxies, and not by a reduced gas content. The trend at the lowest masses is likely linked to the dominance of atomic over molecular gas. We argue that this stellar-mass-dependent SFE can explain the varying slope of the Main Sequence since z=1.5, hence over 70% of the Hubble time. The drop of SFE occurs at lower masses in the local Universe (M* > 2e10 Msun) and is not present at z=2. Altogether this provides evidence for a slow downfall of the star formation efficiency in massive Main Sequence galaxies. The resulting loss of star formation is found to be rising starting from z=2 to reach a level comparable to the mass growth of the quiescent population by z=1. We finally discuss the possible physical origin of this phenomenon.


title: Million-Body Star Cluster Simulations: Comparisons between Monte Carlo and Direct $N$-body

abstract: We present the first detailed comparison between million-body globular cluster simulations computed with a H\'enon-type Monte Carlo code, CMC, and a direct $N$-body code, NBODY6++GPU. Both simulations start from an identical cluster model with $10^6$ particles, and include all of the relevant physics needed to treat the system in a highly realistic way. With the two codes "frozen" (no fine-tuning of any free parameters or internal algorithms of the codes) we find excellent agreement in the overall evolution of the two models. Furthermore, we find that in both models, large numbers of stellar-mass black holes (> 1000) are retained for 12 Gyr. Thus, the very accurate direct $N$-body approach confirms recent predictions that black holes can be retained in present-day, old globular clusters. We find only minor disagreements between the two models and attribute these to the small-$N$ dynamics driving the evolution of the cluster core for which the Monte Carlo assumptions are less ideal. Based on the overwhelming general agreement between the two models computed using these vastly different techniques, we conclude that our Monte Carlo approach, which is more approximate, but dramatically faster compared to the direct $N$-body, is capable of producing a very accurate description of the long-term evolution of massive globular clusters even when the clusters contain large populations of stellar-mass black holes.


title: Extracting the QCD ${\Lambda _{\overline {MS} }}$ parameter in Drell-Yan Process using Collins-Sopper-Sterman approach

abstract: In this work we directly fit the QCD dimensional transmutation parameter, ${\Lambda _{\overline {MS} }}$, to experimental data of Drell-Yan (DY) observables. For this purpose we first obtain the evolution of transverse momentum dependent parton distribution functions (TMDPDFs) up to the NNLO approximation based on Collins-Sopper-Sterman formalism. As is expecting the TMDPDFs are appearing at larger values of transvers momentum by increasing the energy scales and also the order of approximation. Then we calculate the cross section related to the TMDPDFs in the DY process. As a consequence of fitting to the E288 experimental data at center of mass energy $\sqrt{s}=23.8$ $GeV$, we obtain ${\Lambda _{\overline {MS} }} = 249 \pm 7 MeV$ corresponding to the renormalized coupling constant ${\alpha _s}(M_z^2) = 0.119 \pm 0.001$ which is within the acceptable range for this quantity. The results for DY cross section at different energy scales are in good agreement within the available data.


title: Sensitivities to PDFs in parton shower MC generator reweighting and tuning

abstract: Evaluating parton density systematic uncertainties in Monte~Carlo event generator predictions has long been achieved by reweighting between the original and systematic PDFs for the initial state configurations of the individual simulated events. This weighting is now pre-emptively performed in many generators, providing convenient weight factors for PDF and scale systematics -- including for NLO calculations where counterterms make the weight calculation complex. This note attempts a pedagogical discussion and empirical study of the consequences of neglecting the effects of PDF variations on the beyond-fixed-order components of MC models, and the implications for parton shower & MPI tuning strategies. We confirm that the effects are usually small, for well-understood reasons, and discuss the connected issue of consistent treatment of the strong coupling between PDFs and parton showers, where motivations from physical principles and the need for good data-description are not always well-aligned.


title: Ground states for fractional magnetic operators

abstract: We study a class of minimization problems for a nonlocal operator involving an external magnetic potential. The notions are physically justified and consistent with the case of absence of magnetic fields. Existence of solutions is obtained via concentration compactness.


title: An Algorithm for Tolerating Crash Failures in Distributed Systems

abstract: In the framework of the ESPRIT project 28620 "TIRAN" (tailorable fault tolerance frameworks for embedded applications), a toolset of error detection, isolation, and recovery components is being designed to serve as a basic means for orchestrating application-level fault tolerance. These tools will be used either as stand-alone components or as the peripheral components of a distributed application, that we call 'the backbone". The backbone is to run in the background of the user application. Its objectives include (1) gathering and maintaining error detection information produced by TIRAN components like watchdog timers, trap handlers, or by external detection services working at kernel or driver level, and (2) using this information at error recovery time. In particular, those TIRAN tools related to error detection and fault masking will forward their deductions to the backbone that, in turn, will make use of this information to orchestrate error recovery, requesting recovery and reconfiguration actions to those tools related to error isolation and recovery. Clearly a key point in this approach is guaranteeing that the backbone itself tolerates internal and external faults. In this article we describe one of the means that are used within the TIRAN backbone to fulfill this goal: a distributed algorithm for tolerating crash failures triggered by faults affecting at most all but one of the components of the backbone or at most all but one of the nodes of the system. We call this the algorithm of mutual suspicion.


title: Emergent classical geometries on boundaries of randomly connected tensor networks

abstract: It is shown that classical spaces with geometries emerge on boundaries of randomly connected tensor networks with appropriately chosen tensors in the thermodynamic limit. With variation of the tensors, the dimensions of the spaces can be freely chosen, and the geometries, which are curved in general, can be varied. We give the explicit solvable examples of emergent flat tori in arbitrary dimensions, and the correspondence from the tensors to the geometries for general curved cases. The perturbative dynamics in the emergent space is shown to be described by an effective action which is invariant under the spatial diffeomorphism due to the underlying orthogonal group symmetry of the randomly connected tensor network. It is also shown that there are various phase transitions among spaces, including extended and point-like ones, under continuous change of the tensors.


title: Sublinear-Time Algorithms for Counting Star Subgraphs with Applications to Join Selectivity Estimation

abstract: We study the problem of estimating the value of sums of the form $S_p \triangleq \sum \binom{x_i}{p}$ when one has the ability to sample $x_i \geq 0$ with probability proportional to its magnitude. When $p=2$, this problem is equivalent to estimating the selectivity of a self-join query in database systems when one can sample rows randomly. We also study the special case when $\{x_i\}$ is the degree sequence of a graph, which corresponds to counting the number of $p$-stars in a graph when one has the ability to sample edges randomly. Our algorithm for a $(1 \pm \varepsilon)$-multiplicative approximation of $S_p$ has query and time complexities $\O(\frac{m \log \log n}{\epsilon^2 S_p^{1/p}})$. Here, $m=\sum x_i/2$ is the number of edges in the graph, or equivalently, half the number of records in the database table. Similarly, $n$ is the number of vertices in the graph and the number of unique values in the database table. We also provide tight lower bounds (up to polylogarithmic factors) in almost all cases, even when $\{x_i\}$ is a degree sequence and one is allowed to use the structure of the graph to try to get a better estimate. We are not aware of any prior lower bounds on the problem of join selectivity estimation. For the graph problem, prior work which assumed the ability to sample only \emph{vertices} uniformly gave algorithms with matching lower bounds [Gonen, Ron, and Shavitt. \textit{SIAM J. Comput.}, 25 (2011), pp. 1365-1411]. With the ability to sample edges randomly, we show that one can achieve faster algorithms for approximating the number of star subgraphs, bypassing the lower bounds in this prior work. For example, in the regime where $S_p\leq n$, and $p=2$, our upper bound is $\tilde{O}(n/S_p^{1/2})$, in contrast to their $\Omega(n/S_p^{1/3})$ lower bound when no random edge queries are available.


title: Decoherence in the classical limit of histories of a particle coupled to a von Neumann apparatus

abstract: Using the Gell-Mann and Hartle formalism of generalized quantum mechanics of closed systems, we study the classical limit of coarse-grained spacetime histories and their decoherence. The system under consideration is one-dimensional and consists of a particle coupled to a von Neumann apparatus that performs a measurement of the position of the particle during the finite time interval during which the histories of this system take place. We consider two cases: a free particle and a harmonic oscillator. The real line is divided into intervals of the same length, and coarse-grained histories are defined by the time average of the position of the particle on a given Feynman path to be within one of these intervals. The position of the pointer in each Feynman path correlates with this time average. The class operators for this system have been evaluated, and the decoherence functional shows that these coarse-grained histories do not decohere, not even when initially either the particle or the pointer is in an eigenstate of position. Decoherence is obtained only when the classical limit is taken. Qualitative arguments for decoherence in the classical limit are presented for the case of a general particle potential.


title: Quark-Noave in binaries: Observational signatures and implications to astrophysics

abstract: The explosive transition of a massive neutron star to a quark star (the Quark-Nova, QN) releases in excess of ~ 10^52 erg in kinetic energy which can drastically impact the surrounding environment of the QN. A QN is triggered when a neutron star gains enough mass to reach the critical value for quark deconfinement to happen in the core. In binaries, a neutron star has access to mass reservoirs (e.g. accretion from a companion or from a Common Envelope, CE). We explain observed light-curves of hydrogen-poor superluminous Supernovae (SLSNe Ia) in the context of a QN occurring in the second CE phase of a massive binary. In particular this model gives good fits to light-curves of SLSNe with double-humped light-curves. Our model suggests the QN as a mechanism for CE ejection and that they be taken into account during binary evolution. In a short period binary with a white dwarf companion, the neutron star can quickly grow in mass and experience a QN event. Part of the QN ejecta collides with the white dwarf, shocking, compressing, and heating it to driving a thermonuclear runaway producing a SN Ia impostor (a QN-Ia). Unlike "normal" Type Ia supernovae where no compact remnant is formed, a QN-Ia produces a quark star undergoing rapid spin-down providing additional power along with the 56Ni decay energy. Type Ia SNe are used as standard candles and contamination of this data by QNe-Ia can infer an incorrect cosmology.


title: Quark-nova compact remnants: Observational signatures in astronomical data and implications to compact stars

abstract: Quark-novae leave behind quark stars with a surrounding metal-rich fall-back (ring-like) material. These compact remnants have high magnetic fields and are misconstrued as magnetars; however, several observational features allow us to distinguish a quark star (left behind by a quark-nova) from a neutron star with high magnetic field. In our model, bursting activity is expected from intermittent accretion events from the surrounding fall-back debris leading to X-ray bursts (in the case of a Keplerian ring) or gamma ray bursts (in the case of a co-rotating shell). The details of the spectra are described by a constant background X-ray luminosity from the expulsion of magnetic flux tubes which will be temporarily buried by bursting events caused by accretion of material onto the quark star surface. These accretion events emit high energy photons and heat up the quark star and surrounding debris leading to hot spots which may be observable as distinct blackbodies. Additionally, we explain observed spectral line features as atomic lines from r-process material and explain an observed anti-glitch in an AXP as the transfer of angular momentum from a surrounding Keplerian disk to the quark star.


title: Backward Doubly Stochastic Equations with Jumps and Comparison Theorems

abstract: In this work we mainly prove the existence and pathwise uniqueness of solutions to general backward doubly stochastic differential equations with jumps appearing in both forward and backward integral parts. Several comparison theorems under some weak conditions are also given. Finally we apply comparison theorems in proving the existence of solution to some special backward doubly stochastic differential equations with drift coefficient increasing linearly.


title: Lines on quartic surfaces

abstract: We show that the maximal number of (real) lines in a (real) nonsingular spatial quartic surface is 64 (respectively, 56). We also give a complete projective classification of all quartics containing more than 52 lines: all such quartics are projectively rigid. Any value not exceeding 52 can appear as the number of lines of an appropriate quartic.


title: Resistivity plateau and extremely large magnetoresistance in NbAs2 and TaAs2

abstract: In topological insulators (TIs), metallic surface conductance saturates the insulating bulk resistance with de- creasing temperature, resulting in resistivity plateau at low temperatures as a transport signature originating from metallic surface modes protected by time reversal symmetry (TRS). Such characteristic has been found in several materials including Bi2Te2Se, SmB6 etc. Recently, similar behavior has been observed in metallic com- pound LaSb, accompanying an extremely large magetoresistance (XMR). Shubnikov-de Hass (SdH) oscillation at low temperatures further confirms the metallic behavior of plateau region under magnetic fields. LaSb[1] has been proposed by the authors as a possible topological semimetal (TSM), while negative magnetoresistance is absent at this moment. Here, high quality single crystals of NbAs2/TaAs2 with inversion symmetry have been grown and the resistivity under magnetic field is systematically investigated. Both of them exhibit metallic behavior under zero magnetic field, and a metal-to-insulator transition occurs when a nonzero magnetic field is applied, resulting in XMR (1.0*105% for NbAs2 and 7.3*105% for TaAs2 at 2.5 K & 14 T). With tempera- ture decreased, a resistivity plateau emerges after the insulator-like regime and SdH oscillation has also been observed in NbAs2 and TaAs2.


title: Weighted Estimates for the Berezin Transform and Bergman Projection on the Unit Ball in $\mathbb{C}^{n}$

abstract: Using modern techniques of dyadic harmonic analysis, we are able to prove sharp estimates for the Bergman projection and Berezin transform and more general operators in weighted Bergman spaces on the unit ball in $\mathbb{C}^n$. The estimates are in terms of the Bekolle-Bonami constant of the weight.


title: Test Flavor SU(3) symmetry in Exclusive $\Lambda_c$ decays

abstract: Flavor SU(3) symmetry is a powerful tool to analyze charmed baryon decays, however its applicability remains to be experimentally validated. Since there is not much data on $\Xi_c$ decays, various exclusive $\Lambda_c$ decays especially the ones into a neutron state are essential for the test of flavor symmetry. These decay modes are also helpful to investigate final state interactions in charmed baryon decays. In this work, we discuss the explicit roles of $\Lambda_c$ decays into a neutron in testing the flavor symmetry and exploring final state interactions. The involved decay modes include semileptonic decays, two-body and three-body non-leptonic decays, but all of them have not been experimentally observed to date.


title: On Logarithmic Sobolev Inequality for the Noncommutative Two Torus

abstract: An analogue of Gross' logarithmic Sobolev inequality for a class of elements of noncommutative two tori is proved.


title: Poincar\'e polynomials of moduli spaces of stable maps into flag manifolds

abstract: By using Oprea's Bialynicki-Birula decomposition for the stack of genus zero stable maps to flag manifolds. We calculate the Poincar\'e polynomial of the moduli space in degree one and degree two.


title: Predictive and statistical analyses for academic advisory support

abstract: The ability to recognize weakness of students and solving any problem may confront them in timely fashion is always a target of all educational institutions. This study was designed to explore how can predictive and statistical analysis support the academic work of adviser mainly in analysis progress of students . The sample consisted of a total of 249 undergraduate students: 46 % of them were Female and 54% Male. A one-way analysis of variance and t-test were conducted to analysis if there was different behavior in registering courses. Predictive data mining is used for support adviser in decision making. Several classification techniques with 10-fold Cross validation were applied. Among of them, C 4.5 constitutes the best agreement among the finding results.


title: Adaptive type-2 fuzzy second order sliding mode control for nonlinear uncertain chaotic system

abstract: In this paper, a robust adaptive type-2 fuzzy higher order sliding mode controller is designed to stabilize the unstable periodic orbits of uncertain perturbed chaotic system with internal parameter uncertainties and external disturbances. In Higher Order Sliding Mode Control (HOSMC),the chattering phenomena of the control effort is reduced, by using Super Twisting algorithm. Adaptive interval type-2 fuzzy systems are proposed to approximate the unknown part of uncertain chaotic system and to generate the Super Twisting signals. Based on Lyapunov criterion, adaptation laws are derived and the closed loop system stability is guaranteed. An illustrative example is given to demonstrate the effectiveness of the proposed controller.


title: Impact parameter dependence of pion ratio in probing the nuclear symmetry energy using heavy-ion collisions

abstract: The impact parameter dependence of \rpi ratio is examined in heavy-ion collisions at 400MeV/nucleon within a transport model. It is shown that the sensitivity of \rpi ratio on symmetry energy shows a transition from central to peripheral collisions, i.e., the stiffer symmetry energy leads to a larger \rpi ratio in peripheral collisions while the softer symmetry energy always leads this ratio to be larger in central collisions. After checking the kinematic energy distribution of \rpi ratio, we found this transition of sensitivity of \rpi ratio to symmetry energy is mainly from less energetic pions, i.e., the softer symmetry energy gets the less energetic pions to form a smaller \rpi ratio in peripheral collisions while these pions generate a larger \rpi ratio in central collisions. Undoubtedly, the softer symmetry energy can also lead more energetic pions to form a larger \rpi ratio in peripheral collisions. Nevertheless, considering that most of pions are insufficient energetic at this beam energy, we therefore suggest the \rpi ratio as a probe of the high-density symmetry energy effective only in central at most to midcentral collisions, thereby avoiding the possible information of low-density symmetry energy carried in \rpi ratio from peripheral collisions.


title: Transmit Power Minimization for Wireless Networks with Energy Harvesting Relays

abstract: Energy harvesting (EH) has recently emerged as a key technology for green communications as it can power wireless networks with renewable energy sources. However, directly replacing the conventional non-EH transmitters by EH nodes will be a challenge. In this paper, we propose to deploy extra EH nodes as relays over an existing non-EH network. Specifically, the considered non-EH network consists of multiple source-destination (S-D) pairs. The deployed EH relays will take turns to assist each S-D pair, and energy diversity can be achieved to combat the low EH rate of each EH relay. To make the best of these EH relays, with the source transmit power minimization as the design objective, we formulate a joint power assignment and relay selection problem, which, however, is NP-hard. We thus propose a general framework to develop efficient sub-optimal algorithms, which is mainly based on a sufficient condition for the feasibility of the optimization problem. This condition yields useful design insights and also reveals an energy hardening effect, which provides the possibility to exempt the requirement of non-causal EH information. Simulation results will show that the proposed cooperation strategy can achieve near-optimal performance and provide significant power savings. Compared to the greedy cooperation method that only optimizes the performance of the current transmission block, the proposed strategy can achieve the same performance with much fewer relays, and the performance gap increases with the number of S-D pairs.


title: Word Existence Algorithm

abstract: The current scenario in the field of computing is largely affected by the speed at which data can be accessed and recalled. In this paper, we present the word existence algorithm which is used to check if the word given as an input is part of a particular database or not. We have taken the English language as an example here. This algorithm tries to solve the problem of lookup by using a uniformly distributed hash function. We have also addressed the problem of clustering and collision. A further contribution is that we follow a direct hashed model where each hash value is linked to another table if the continuity for the function holds true. The core of the algorithm lies in the data model being used during preordering. Our focus lies on the formation of a continuity series and validating the words that exists in the database. This algorithm can be used in applications where we there is a requirement to search for just the existence of a word, example Artificial Intelligence responding to input ,look up for neural networks and dictionary lookups and more. We have observed that this algorithm provides a faster search time


title: Multi-Number CVT-XOR Arithmetic Operations in any Base System and its Significant Properties

abstract: Carry Value Transformation (CVT) is a model of discrete dynamical system which is one special case of Integral Value Transformations (IVTs). Earlier in [5] it has been proved that sum of two non-negative integers is equal to the sum of their CVT and XOR values in any base system. In the present study, this phenomenon is extended to perform CVT and XOR operations for many non-negative integers in any base system. To achieve that both the definition of CVT and XOR are modified over the set of multiple integers instead of two. Also some important properties of these operations have been studied. With the help of cellular automata the adder circuit designed in [14] on using CVT-XOR recurrence formula is used to design a parallel adder circuit for multiple numbers in binary number system.


title: Proof of Sun's conjectures on integer-valued polynomials

abstract: Recently, Z.-W. Sun introduced two kinds of polynomials related to the Delannoy numbers, and proved some supercongruences on sums involving those polynomials. We deduce new summation formulas for squares of those polynomials and use them to prove that certain rational sums involving even powers of those polynomials are integers whenever they are evaluated at integers. This confirms two conjectures of Z.-W. Sun. We also conjecture that many of these results have neat $q$-analogues.


title: On-line Bayesian System Identification

abstract: We consider an on-line system identification setting, in which new data become available at given time steps. In order to meet real-time estimation requirements, we propose a tailored Bayesian system identification procedure, in which the hyper-parameters are still updated through Marginal Likelihood maximization, but after only one iteration of a suitable iterative optimization algorithm. Both gradient methods and the EM algorithm are considered for the Marginal Likelihood optimization. We compare this "1-step" procedure with the standard one, in which the optimization method is run until convergence to a local minimum. The experiments we perform confirm the effectiveness of the approach we propose.


title: Transversal intersection of Hypersurfaces in R^5

abstract: In this paper we present the algorithms for calculating the differential geometric properties {t,n,b1,b2,b3,k1,k2,k3,k4} along-with geodesic curvature and geodesic torsion of the transversal intersection curve of four hypersurfaces (given by parametric representation) in Euclidean space R^5. In transversal intersection the normals of the surfaces at the intersection point are linearly independent, while as in nontransversal intersection the normals of the surfaces at the intersection point are linearly dependent.


title: Topological mapping of space in bat hippocampus

abstract: Mammalian hippocampus plays a key role in spatial learning and memory, but the exact nature of the hippocampal representation of space is still being explored. Recently, there has been a fair amount of success in modeling hippocampal spatial maps in rats, assuming a topological perspective on spatial information processing. In this paper, we use the topological model to study $3D$ learning in bats, which produces several insights into neurophysiological mechanisms of the hippocampal spatial mapping. First, we demonstrate functional importance of the cell assemblies for producing accurate maps of the $3D$ environments. Second, the model suggests that the readout neurons in these cell assemblies should function as integrators of synaptic inputs, rather than detectors of place cells' coactivity and allows estimating the integration time window. Lastly, the model suggests that, in contrast with relatively slow moving rats, suppressing $\theta$-precession in bats improves the place cells capacity to encode spatial maps, which is consistent with the experimental observations.


title: Rota's Classification Problem, rewriting systems and Gr\"obner-Shirshov bases

abstract: In this paper we revisit Rota's Classification Problem on classifying algebraic identities for linear operator. We reformulate Rota's Classification Problem in the contexts of rewriting systems and Gr\"obner-Shirshov bases, through which Rota's Classification Problem amounts to the classification of operators, given by their defining operator identities, that give convergent rewriting systems or Gr\"obner-Shirshov bases. Relationship is established between the reformulations in terms of rewriting systems and that of Gr\"obner-Shirshov bases. We provide an effective condition that gives Gr\"obner-Shirshov operators and obtain a new class of Gr\"obner-Shirshov operators.


title: Thinning and Information Projections

abstract: In this paper we establish lower bounds on information divergence of a distribution on the integers from a Poisson distribution. These lower bounds are tight and in the cases where a rate of convergence in the Law of Thin Numbers can be computed the rate is determined by the lower bounds proved in this paper. General techniques for getting lower bounds in terms of moments are developed. The results about lower bound in the Law of Thin Numbers are used to derive similar results for the Central Limit Theorem.


title: On a Relation between Spectral Theory of Lens Spaces and Ehrhart Theory

abstract: In this article Ehrhart quasi-polynomials of simplices are employed to determine isospectral lens spaces in terms of a finite set of numbers. Using the natural lattice associated with a lens space the associated toric variety of a lens space is introduced. It is proved that if two lens spaces are isospectral then the dimension of global sections of powers of a natural line bundle on these two toric varieties are equal and they have the same general intersection number. Also, harmonic polynomial representation of the group SO(n) is used to provide a direct proof for a theorem of Lauret, Miatello and Rossetti on isospectrality of lens spaces.


title: Doubly nonlocal reaction-diffusion equation and the emergence of species

abstract: The paper is devoted to a reaction-diffusion equation with doubly nonlocal nonlinearity arising in various applications in population dynamics. One of the integral terms corresponds to the nonlocal consumption of resources while another one describes reproduction with different phenotypes. Linear stability analysis of the homogeneous in space stationary solution is carried out. Existence of travelling waves is proved in the case of narrow kernels of the integrals. Periodic travelling waves are observed in numerical simulations. Existence of stationary solutions in the form of pulses is shown, and transition from periodic waves to pulses is studied. In the applications to the speciation theory, the results of this work signify that new species can emerge only if they do not have common offsprings. Thus, it is shown how Darwin's definition of species as groups of morphologically similar individuals is related to Mayr's definition as groups of individuals that can breed only among themselves.


title: Laplacian flow for closed G_2 structures: real analyticity

abstract: Let $\varphi(t), t\in [0,T]$ be a smooth solution to the Laplacian flow for closed G_2 structures on a compact 7-manifold $M$. We show that for each fixed positive time $t\in (0,T]$, $(M,\varphi(t),g(t))$ is real analytic, where $g(t)$ is the metric induced by $\varphi(t)$. Consequently, any Laplacian soliton is real analytic and we obtain unique continuation results for the flow.


title: Partitioning RNAs into pseudonotted and pseudoknot-free regions modeled as Dual Graphs

abstract: Dual graphs have been applied to model RNA secondary structures. The purpose of the paper is two-fold: we present new graph-theoretic properties of dual graphs to validate the further analysis and classification of RNAs using these topological representations; we also present a linear-time algorithm to partition dual graphs into topological components called {\it blocks} and determine if each block contains a {\it pseudoknot} or not. We show that a block contains a pseudoknot if and only if the block has a vertex of degree $3$ or more; this characterization allows us to efficiently isolate smaller RNA fragments and classify them as pseudoknotted or pseudoknot-free regions, while keeping these sub-structures intact. Even though non-topological techniques to detect and classify pseudoknots have been efficiently applied, structural properties of dual graphs provide a unique perspective for the further analysis of RNAs. Applications to RNA design can be envisioned since modular building blocks with intact pseudoknots can be combined to form new constructs.\end{abstract}


title: Non-BPS interactions from the type II one loop four graviton amplitude

abstract: We obtain T--duality invariant second order differential equations satisfied by the $D^8\mathcal{R}^4$ and $D^{10} \mathcal{R}^4$ interactions from the low energy expansion of the one loop four graviton amplitude in toroidally compactified type II string theory. The eigenvalues of these equations are completely determined by the structure of the one loop integrands. Unlike the BPS interactions, these non--BPS interactions satisfy Poisson equations having source terms that receive contributions from both the bulk and boundary of the worldsheet moduli space. We explicitly solve these equations in nine dimensions.


title: Molecular dynamics study on a nonequilibrium motion of a colloidal particle driven by an external torque

abstract: We investigate the motion of a colloidal particle driven out of equilibrium by an external torque. We use the molecular dynamics simulation that is alternative to the numerical integration approach based on the Langevin equation and is expected to mimic an experiment more realistically. We choose a heat bath composed of thousands of particles interacting to each other through the Lennard-Jones potential and impose the Langevin thermostat to maintain it in equilibrium. We prepare a single colloidal particle to interact with the particles of the heat bath also by the Lennard-Jones potential while any dissipative force and noise are not employed. We prepare the simulation protocol fit to the overdamped limit in real experiments by increasing the size and mass of the colloidal particle. We study the stochastic properties of the nonequilibrium fluctuations for work and heat produced incessantly in time. We accurately confirm the fluctuation theorem for the work production. We show our results to agree accurately with those from the numerical integration of the Langevin equation.


title: Exact Distribution of the Generalized Shiryaev-Roberts Stopping Time Under the Minimax Brownian Motion Setup

abstract: We consider the quickest change-point detection problem where the aim is to detect the onset of a pre-specified drift in "live"-monitored standard Brownian motion; the change-point is assumed unknown (nonrandom). The object of interest is the distribution of the stopping time associated with the Generalized Shryaev-Roberts (GSR) detection procedure set up to "sense" the presence of the drift in the Brownian motion under surveillance. Specifically, we seek the GSR stopping time's survival function (the tail probability that no alarm is triggered by the GSR procedure prior to a given point in time), and distinguish two scenarios: (a) when the drift never sets in (pre-change regime) and (b) when the drift is in effect ab initio (post-change regime). Under each scenario, we obtain a closed-form formula for the respective survival function, with the GSR statistic's (deterministic) nonnegative headstart assumed arbitrarily given. The two formulae are found analytically, through direct solution of the respective Kolmogorov forward equation via the Fourier spectral method to achieve separation of the spacial and temporal variables. We then exploit the obtained formulae numerically and characterize the pre- and post-change distributions of the GSR stopping time depending on three factors: (a) magnitude of the drift, (b) detection threshold, and (c) the GSR statistic's headstart.


title: Sound and Complete Runtime Security Monitor for Application Software

abstract: Conventional approaches for ensuring the security of application software at run-time, through monitoring, either produce (high rates of) false alarms (e.g. intrusion detection systems) or limit application performance (e.g. run-time verification). We present a runtime security monitor that detects both known and unknown cyber attacks by checking that the run-time behavior of the application is consistent with the expected behavior modeled in application specification. This is crucial because, even if the implementation is consistent with its specification, the application may still be vulnerable due to flaws in the supporting infrastructure (e.g. the language runtime system, libraries and operating system). This runtime security monitor is sound and complete, eliminating false alarms, as well as efficient, so that it does not limit runtime application performance and so that it supports real-time systems. The security monitor takes as input the application specification and the application implementation, which may be expressed in different languages. The specification language of the application software is formalized based on monadic second order logic and event calculus interpreted over algebraic data structures. This language allows us to express behavior of an application at any desired (and practical) level of abstraction as well as with high degree of modularity. The security monitor detects every attack by systematically comparing the application execution and specification behaviors at runtime, even though they operate at two different levels of abstraction. We define the denotational semantics of the specification language and prove that the monitor is sound and complete. Furthermore, the monitor is efficient because of the modular application specification at appropriate level(s) of abstraction.


title: Optimal production and pricing strategies in a dynamic model of monopolistic firm

abstract: We consider a deterministic continuous time model of monopolistic firm, which chooses production and pricing strategies of a single good. Firm's goal is to maximize the discounted profit over infinite time horizon. The no-backlogging assumption induces the state constraint on the inventory level. The revenue and production cost functions are assumed to be continuous but, in general, we do not impose the concavity/convexity property. Using the results form the theory of viscosity solutions and Young-Fenchel duality, we derive a representation for the value function, study its regularity properties, and give a complete description of optimal strategies for this non-convex optimal control problem. In agreement with the results of Chazal et al. (2003), it is optimal to liquidate initial inventory in finite time and then use an optimal static strategy. We give a condition, allowing to distinguish if this static strategy can be represented by an ordinary or relaxed control. The latter is related to production cycles. General theory is illustrate by the example of a non-convex production cost, proposed by Arvan and Moses (1981).


title: Metallic ferromagnetism supported by a single band in a multi-band Hubbard model

abstract: We construct a multi-band Hubbard model on the lattice obtained by "decorating" a closely packed $d$-dimensional lattice $\mathcal{M}$ (such as the triangular lattice) where $d\ge2$. We take the limits in which the Coulomb interaction and the band gap become infinitely large. Then there remains only a single band with finite energy, on which electrons are supported. Let the electron number be $N_\mathrm{e}=|\mathcal{M}|-N_\mathrm{h}$, where $|\mathcal{M}|$ corresponds to the electron number which makes the lowest (finite energy) band half-filled, and $N_\mathrm{h}$ is the number of "holes". It is expected that the model exhibits metallic ferromagnetism if $N_\mathrm{h}/|\mathcal{M}|$ is nonvanishing but sufficiently small. We prove that the ground states exhibit saturated ferromagnetism if $N_\mathrm{h}\le(\text{const.})|\mathcal{M}|^{2/(d+2)}$, and exhibit (not necessarily saturated) ferromagnetism if $N_\mathrm{h}\le(\mathrm{const.})|\mathcal{M}|^{(d+1)/(d+2)}$. This may be regarded as a rigorous example of metallic ferromagnetism provided that the system size $|\mathcal{M}|$ is not too large.


title: Calibration of mixed-polarization interferometric observations

abstract: Heterodyne receivers register the sky signal on either a circular polarization basis (where it is split into left-hand and right-hand circular polarization) or a linear polarization basis (where it is split into horizontal and vertical linear polarization). We study the problem of interferometric observations performed with telescopes that observe on different polarization bases, hence producing visibilities that we call "mixed basis" (i.e., linear in one telescope and circular in the other). We present novel algorithms for the proper calibration and treatment of such interferometric observations and test our algorithms with both simulations and real data. The use of our algorithms will be important for the optimum calibration of forthcoming observations with the Atacama Large mm/submm Array (ALMA) in very-long-baseline interferometry (VLBI) mode. Our algorithms will also allow us to optimally calibrate future VLBI observations at very high data rates (i.e., wide bandwidths), where linear-polarization feeds will be preferable at some stations, to overcome the polarimetric limitations due to the use of quarter-wave plates.


title: Highly efficient optical quantum memory with long coherence time in cold atoms

abstract: Optical quantum memory is an essential element for long distance quantum communication and photonic quantum computation protocols. The practical implementation of such protocols requires an efficient quantum memory with long coherence time. Beating the no-cloning limit, for example, requires efficiencies above 50\%. An ideal optical fibre loop has a loss of 50% in 100 $\mu$ s, and until now no universal quantum memory has beaten this time-efficiency limit. Here, we report results of a gradient echo memory (GEM) experiment in a cold atomic ensemble with a 1/e coherence time up to 1ms and maximum efficiency up to 87$\pm$2% for short storage times. Our experimental data demonstrates greater than 50% efficiency for storage times up to 0.6ms. Quantum storage ability is verified beyond the ideal fibre limit using heterodyne tomography of small coherent states.


title: The symplectic geometry of a new kind of Siegel upper half space of order 2 (I)

abstract: In this paper, we introduce a new kind of Siegel upper half space and consider the symplectic geometry on it explicitly under the action of the group of all holomorphic transformations of it. The results and methods will form a basis for our number theoretic applications later.


title: Co-Poisson structures on polynomial Hopf algebras

abstract: The Hopf dual $H^\circ$ of any Poisson Hopf algebra $H$ is proved to be a co-Poisson Hopf algebra provided $H$ is noetherian. Without noetherian assumption, it is not true in general. There is no nontrivial Poisson Hopf structure on the universal enveloping algebra of a non-abelian Lie algebra. The Poisson Hopf structures on $A=k[x_1, x_2, \cdots, x_d]$, viewed as the universal enveloping algebra of a finite-dimensional abelian Lie algebra, are exactly linear Poisson structures on $A$. The co-Poisson structures on polynomial Hopf algebra $A$ are characterized. Some correspondences between co-Poisson and Poisson structures are also established.


title: Topological Phases of Inhomogeneous Superconductivity

abstract: We theoretically consider the effect of a spatially periodic modulation of the superconducting order parameter on the formation of Majorana fermions induced by a one-dimensional system with magnetic impurities brought into close proximity to an $s$-wave superconductor. When the magnetic exchange energy is larger than the inter-impurity electron hopping we model the effective system as a chain of coupled Shiba states. While in the opposite regime, the effective system is accurately described by a quantum wire model. Upon including a spatially modulated superconducting pairing, we find, for sufficiently large magnetic exchange energy, the system is able to support a single pair of Majorana fermions with one Majorana fermion on the left end of the system and one on the right end. When the modulation of superconductivity is large compared to the magnetic exchange energy, the Shiba chain returns to a trivially gapped regime while the quantum wire enters a new topological phase capable of supporting two pairs of Majorana fermions.


title: On feasibility of perfect interference alignment in interference networks

abstract: Interference alignment(IA) is mostly achieved by coding interference over multiple dimensions. Intuitively, the more interfering signals that need to be aligned, the larger the number of dimensions needed to align them. This dimensionality requirement poses a major challenge for IA in practical systems. This work evaluates the necessary and sufficient conditions on channel structure of a 3 user interference channel(IC) to make perfect IA feasible within limited number of channel extensions. It is shown that if only one of interfering channel coefficients can be designed to a specific value, interference would be aligned perfectly at all receivers.


title: An efficient approach for solving stiff nonlinear boundary value problems

abstract: A new method for solving stiff boundary value problems is described and compared to other known approaches using the Troesch's problem as a test example. The method is based on the general idea of alternate approximation of either the unknown function or its inverse and has a genuine "immunity" towards numerical difficulties invoked by the rapid variation (stiffness) of the unknown solution. A c++ implementation of the proposed method is available at https://github.com/imathsoft/MathSoftDevelopment .


title: Statistical-mechanical Analysis of Linear Programming Relaxation for Combinatorial Optimization Problems

abstract: Typical behavior of the linear programming (LP) problem is studied as a relaxation of the minimum vertex cover, a type of integer programming (IP) problem. A lattice-gas model on the Erd\"os-R\'enyi random graphs of $\alpha$-uniform hyperedges is proposed to express both the LP and IP problems of the min-VC in the common statistical-mechanical model with a one-parameter family. Statistical-mechanical analyses reveal for $\alpha=2$ that the LP optimal solution is typically equal to that given by the IP below the critical average degree $c=e$ in the thermodynamic limit. The critical threshold for good accuracy of the relaxation extends the mathematical result $c=1$, and coincides with the replica symmetry-breaking threshold of the IP. The LP relaxation for the minimum hitting sets with $\alpha\geq 3$, minimum vertex covers on $\alpha$-uniform random graphs, is also studied. Analytic and numerical results strongly suggest that the LP relaxation fails to estimate optimal values above the critical average degree $c=e/(\alpha-1)$ where the replica symmetry is broken.

categories: cond-mat.dis-nn cond-mat.stat-mech cs.IT math.IT