# Mathematical Physics (math.MP)

• For any quasi-triangular Hopf algebra, there exists the universal R-matrix, which satisfies the Yang-Baxter equation. It is known that the adjoint action of the universal R-matrix on the elements of the tensor square of the algebra constitutes a quantum Yang-Baxter map, which satisfies the set-theoretic Yang-Baxter equation. The map has a zero curvature representation among L-operators defined as images of the universal R-matrix. We find that the zero curvature representation can be solved by the Gauss decomposition of a product of L-operators. Thereby obtained a quasi-determinant expression of the quantum Yang-Baxter map associated with the quantum algebra $U_{q}(gl(n))$. Moreover, the map is identified with products of quasi-Plücker coordinates over a matrix composed of the L-operators. We also consider the quasi-classical limit, where the underlying quantum algebra reduces to a Poisson algebra. The quasi-determinant expression of the quantum Yang-Baxter map reduces to ratios of determinants, which give a new expression of a classical Yang-Baxter map.
• General dark solitons and mixed solutions consisting of dark solitons and breathers for the third-type Davey-Stewartson (DS-III) equation are derived by employing the bilinear method. By introducing the two differential operators, semi-rational solutions consisting of rogue waves, breathers and solitons are generated. These semi-rational solutions are given in terms of determinants whose matrix elements have simple algebraic expressions. Under suitable parametric conditions, we derive general rogue wave solutions expressed in terms of rational functions. It is shown that the fundamental (simplest) rogue waves are line rogue waves. It is also shown that the multi-rogue waves describe interactions of several fundamental rogue waves, which would generate interesting curvy wave patterns. The higher order rogue waves originate from a localized lump and retreat back to it. Several types of hybrid solutions composed of rogue waves, breathers and solitons have also been illustrated. Specifically, these semi-rational solutions have a new phenomenon: lumps form on dark solitons and gradual separation from the dark solitons is observed.
• Bifurcations of self-similar solutions for reversing interfaces are studied in the slow diffusion equation with strong absorption. The self-similar solutions bifurcate from the time-independent solutions for standing interfaces. We show that such bifurcations occur at the bifurcation points, at which the confluent hypergeometric functions satisfying Kummer's differential equation is truncated into a finite polynomial. A two-scale asymptotic method is employed to obtain the asymptotic dependencies of the self-similar reversing interfaces near the bifurcation points. The asymptotic results are shown to be in excellent agreement with numerical computations.
• We discuss the Bethe ansatz in the Gaudin model on the tensor product of finite-dimensional $sl_2$-modules over the field $F_p$ with $p$ elements, where $p$ is a prime number. We define the Bethe ansatz equations and show that if $(t^0_1,\dots,t^0_k)$ is a solution of the Bethe ansatz equations, then the corresponding Bethe vector is an eigenvector of the Gaudin Hamiltonians. We characterize solutions $(t^0_1,\dots,t^0_k)$ of the Bethe ansatz equations as certain two-dimensional subspaces of the space $F_p[x]$. We consider the case when the number of parameters $k$ equals 1. In that case we show that the Bethe algebra, generated by the Gaudin Hamiltonians, is isomorphic to the algebra of functions on the scheme defined by the Bethe ansatz equation. If in addition the tensor product is the product of vector representations, then the Bethe algebra is also isomorphic to the algebra of functions on the fiber of a suitable Wronski map.
• We investigate cubic interactions between a chiral superfield and the higher spin irreducible representations of the $4D,\, \mathcal{N}=1$ super-Poincaré algebra. We present a realization of a transformation law of the chiral superfield under the action of the higher spin symmetry and following Noether's method we construct an infinite tower of non-trivial, higher spin, conserved supercurrents which are quadratic in the chiral superfield and include higher derivatives. The result is that a single chiral superfield can couple only to $(s+1,s+1/2)$ higher spin supermultiplets. At the component level, there are two types of bosonic conserved currents that couple to integer spins. These are the well known conserved currents constructed from a complex scalar or from a spinor. However consistent with supersymmetry, we establish another conserved current which generates the coupling to half-integer spins and is constructed from the complex scalar and the spinor.
• A complex-analytic structure within the unit disk of the complex plane is presented. It can be used to represent and analyze a large class of real functions. It is shown that any integrable real function can be obtained by means of the restriction of an analytic function to the unit circle, including functions which are non-differentiable, discontinuous or unbounded. An explicit construction of the analytic functions from the corresponding real functions is given. The complex-analytic structure can be understood as an universal regulator for analytic operations on real functions.
• In this paper, we consider a system of a massless Klein-Gordon field coupled to a static source. The total Hamiltonian is a self-adjoint operator on a boson Fock space. We consider annihilation operators in the Heisenberg picture and define a sesquilinear form. Under infrared regularity conditions, it is proven that the sesquilinear form is a solution of the classical field equation.
• We study Fredholm determinants of the Painlevé II and Painlevé XXXIV kernels. In certain critical unitary random matrix ensembles, these kernels generalize the classical sine and Airy kernels, and describe special bulk and edge eigenvalue behaviors, respectively. We obtain Tracy-Widom formulas for the Fredholm determinants, which are explicitly given in terms of integrals involving a family of distinguished solutions to the coupled Painlevé II system in dimension four. Our results reduce to the celebrated Tracy-Widom distribution when parameters in the determinants take some special values. Moreover, the large gap asymptotics for these Fredholm determinants are derived.
• We study a deformation of the defocusing nonlinear Schrödinger (NLS) equation, the defocusing Camassa- Holm NLS, hereafter referred to as CH-NLS equation. We use asymptotic multiscale expansion methods to reduce this model to a Boussinesq-like equation, which is then subsequently approximated by two Korteweg-de Vries (KdV) equations for left- and right-traveling waves. We use the soliton solution of the KdV equation to construct approximate solutions of the CH-NLS system. It is shown that these solutions may have the form of either dark or antidark solitons, namely dips or humps on top of a stable continuous-wave background. We also use numerical simulations to investigate the validity of the asymptotic solutions, study their evolution, and their head-on collisions. It is shown that small-amplitude dark and antidark solitons undergo quasi-elastic collisions.
• The Kardar-Parisi-Zhang (KPZ) universality class describes a broad range of non-equilibrium fluctuations, including those of growing interfaces, directed polymers and particle transport, to name but a few. Since the year 2000, our understanding of the one-dimensional KPZ class has been completely renewed by mathematical physics approaches based on exact solutions. Mathematical physics has played the central role since then, leading to a myriad of new developments, but their implications are clearly not limited to mathematics -- as a matter of fact, it can also be studied experimentally. The aim of this lecture note is to provide an introduction to the field that is accessible to non-specialists, reviewing basic properties of the KPZ class and highlighting main physical outcomes of mathematical developments since the year 2000. It is written in a brief and self-contained manner, with emphasis put on physical intuitions and implications, while only a small (and mostly not the latest) fraction of mathematical developments could be covered. Liquid-crystal experiments by the author and coworkers are also reviewed.
• We study quantum correlations and discord in a bipartite continuous variable hybrid system formed by linear combinations of coherent states $|\alpha\rangle$ and single photon added coherent states (SPACS) of the form $|\psi\rangle_{\text{dp(pa)}}= \mathcal{N}/\sqrt{2} (\hat{a}^\dagger |\alpha\rangle_a |\alpha\rangle_b \pm \hat{b}^\dagger |\alpha\rangle_a |\alpha\rangle_b)$. We stablish a relationship between the quantum discord with a local observable (the quadrature variance for one sub-system) under the influence of scattering and phase fluctuation noise. For the pure states the quantum correlations are characterized by means of measurement induced disturbance (MID) with simultaneous quadrature measurements. In a scenario where homodyne conditional measurements are available we show that the MID provides an easy way to select optimal phases to obtain information of the maximal correlations in the channels. The quantum correlations of these entangled states with channel losses are quantitatively characterized with the quantum discord (QD) with a displaced qubit projector. We observe that as scattering increases, QD decreases monotonically. At the same time for the state $|\psi\rangle_{\text{dp}}$, QD is more resistant to high phase fluctuations when the average photon number $n_0$ is bigger than zero, but if phase fluctuations are low, QD is more resistant if $n_0=0$. For the dp model with scattering, we obtain an analytical expression of the QD as a function of the observable quadrature variance in a local sub-system. This relation allows us to have a way to obtain the degree of QD in the channel by just measuring a local property observable such as the quadrature variance. For the other model this relation still exists but is explored numerically. This relation is an important result that allows to identify quantum processing capabilities in terms of just local observables.
• We use the transfer matrix formulation of scattering theory in two-dimensions to treat the scattering problem for a potential of the form $v(x,y)=\zeta\,\delta(ax+by)g(bx-ay)$ where $\zeta,a$, and $b$ are constants, $\delta(x)$ is the Dirac $\delta$ function, and $g$ is a real- or complex-valued function. We map this problem to that of $v(x,y)=\zeta\,\delta(x)g(y)$ and give its exact and analytic solution for the following choices of $g(y)$: i) A linear combination of $\delta$-functions, in which case $v(x,y)$ is a finite linear array of two-dimensional $\delta$-functions; ii) A linear combination of $e^{i\alpha_n y}$ with $\alpha_n$ real; iii) A general periodic function that has the form of a complex Fourier series. In particular we solve the scattering problem for a potential consisting of an infinite linear periodic array of two-dimensional $\delta$-functions. We also prove a general theorem that gives a sufficient condition for different choices of $g(y)$ to produce the same scattering amplitude within specific ranges of values of the wavelength $\lambda$. For example, we show that for arbitrary real and complex parameters, $a$ and $\mathfrak{z}$, the potentials $\mathfrak{z} \sum_{n=-\infty}^\infty\delta(x)\delta(y-an)$ and $a^{-1}\mathfrak{z}\delta(x)[1+2\cos(2\pi y/a)]$ have the same scattering amplitude for $a< \lambda\leq 2a$.
• The family of unitary non-equivalent Weyl-Stratonovich kernels determining the Wigner probability distribution function of an arbitrary N-level quantum system is constructed.
• A total set of states for which we have no resolution of the identity (a pre-basis'), is considered in a finite dimensional Hilbert space. A dressing formalism renormalizes them into density matrices which resolve the identity, and makes them a generalized basis', which is practically useful. The dresssing mechanism is inspired by Shapley's methodology in cooperative game theory, and it uses Möbius transforms. There is non-independence and redundancy in these generalized bases, which is quantified with a Shannon type of entropy. Due to this redundancy, calculations based on generalized bases, are sensitive to physical changes and robust in the presence of noise. For example, the representation of an arbitrary vector in such generalized bases, is robust when noise is inserted in the coefficients. Also in a physical system with ground state which changes abruptly at some value of the coupling constant, the proposed methodology detects such changes, even when noise is added to the parameters in the Hamiltonian of the system.
• We report on Koszul-Tate resolutions in Algebra, in Mathematical Physics, in Cohomological Analysis of PDE-s, and in Homotopy Theory. Further, we define an abstract Koszul-Tate resolution in the frame of $\mathcal{D}$-Geometry, i.e., geometry over differential operators. We prove Comparison Theorems for these resolutions, thus providing a dictionary between the different fields. Eventually, we show that all these resolutions are of the new $\mathcal{D}$-geometric type.
• The equivalence of the Bott index and the Chern number is established in the thermodynamic limit for a gapped, short ranged and bounded Hamiltonian on a two dimensional torus of linear size $L$. A Kubo formula as an exact operatorial identity is provided in real space and used to show the quantization of the transverse conductance within corrections of order $L^{-1}$. In doing so the physical foundations of the theory that introduces the Bott index in the realm of condensed matter as proposed by Hastings and Loring in J. Math. Phys. (51), 015214, (2010) and Annals of Physics 326 (2011) 1699-1759 are recalled.
• We show that under a low complexity condition on the gradient of a Hamiltonian, Gibbs distributions on the Boolean hypercube are approximate mixtures of product measures whose probability vectors are critical points of an associated mean-field functional. This extends a previous work by the first author. As an application, we demonstrate how this framework helps characterize both Ising models satisfying a mean-field condition and the conditional distributions which arise in the emerging theory of nonlinear large deviations.
• We study the coarsening model (zero-temperature Ising Glauber dynamics) on $\mathbb{Z}^d$ (for $d \geq 2$) with an asymmetric tie-breaking rule. This is a Markov process on the state space $\{-1,+1\}^{\mathbb{Z}^d}$ of "spin configurations" in which each vertex updates its spin to agree with a majority of its neighbors at the arrival times of a Poisson process. If a vertex has equally many $+1$ and $-1$ neighbors, then it updates its spin value to $+1$ with probability $q \in [0,1]$ and to $-1$ with probability $1-q$. The initial state of this Markov chain is distributed according to a product measure with probability $p$ for a spin to be $+1$. In this paper, we show that for any given $p>0$, there exist $q$ close enough to 1 such that a.s. every spin has a limit of $+1$. This is of particular interest for small values of $p$, for which it is known that if $q=1/2$, a.s. all spins have a limit of $-1$. For dimension $d=2$, we also obtain near-exponential convergence rates for $q$ sufficiently large, and for general $d$, we obtain stretched exponential rates independent of $d$. Two important ingredients in our proofs are refinements of block arguments of Fontes-Schonmann-Sidoravicius and a novel exponential large deviation bound for the Asymmetric Simple Exclusion Process.
• FJRW theory is a formulation of physical Landau-Ginzburg models with a rich algebraic structure, rooted in enumerative geometry. As a consequence of a major physical conjecture, called the Landau-Ginzburg/Calabi-Yau correspondence, several birational morphisms of Calabi-Yau orbifolds should correspond to isomorphisms in FJRW theory. In this paper it is shown that not only does this claim prove to be the case, but is a special case of a wider FJRW isomorphism theorem, which in turn allows for a proof of mirror symmetry for a new class of cases in the Landau-Ginzburg setting. We also obtain several interesting geometric applications regarding the Chen-Ruan cohomology of certain Calabi-Yau orbifolds.
• A new approach is described to help improve the foundations of relativistic viscous fluid dynamics and its coupling to general relativity. Focusing on neutral conformal fluids constructed solely in terms of hydrodynamic variables, we derive the most general viscous energy-momentum tensor yielding equations of motion of second order in the derivatives, which is shown to provide a novel type of resummation of the relativistic Navier-Stokes equations for which causality holds. We rigorously prove existence, uniqueness, and causality of solutions of this theory (in the full nonlinear regime) both in a Minkowski background and also when the fluid is dynamically coupled to Einstein's equations. Linearized disturbances around equilibrium in Minkowski spacetime are stable in this causal theory and the second law of thermodynamics is satisfied. A numerical study reveals the presence of a hydrodynamic attractor for a rapidly expanding fluid. Further properties are also studied and a brief discussion of how this approach can be generalized to non-conformal fluids is presented.

Alvaro M. Alhambra Jul 24 2017 16:10 UTC

This paper has just been updated and we thought it would be a good
idea to advertise it here. It was originally submitted a year ago, and
it has now been essentially rewritten, with two new authors added.

We have fixed some of the original results and now we:
-Show how some fundamental theorem

...(continued)
Steve Flammia Jul 21 2017 13:43 UTC

Actually, there is even earlier work that shows this result. In [arXiv:1109.6887][1], Magesan, Gambetta, and Emerson showed that for any Pauli channel the diamond distance to the identity is equal to the trace distance between the associated Choi states. They prefer to phrase their results in terms

...(continued)
gae Jul 21 2017 09:00 UTC

In relation with the discussion at page 21 of this paper. Consider depolarizing channels (including the trivial case of the identity channel) which are teleportation covariant as in the definition Eq. (9) of https://arxiv.org/abs/1510.08863 [Nature Communications 8, 15043 (2017)]. The diamond norm b

...(continued)
Zoltán Zimborás Apr 18 2017 09:47 UTC

Great note. I real like the two end-sentences: "Of course, any given new approach to a hard and extensively studied problem has a very low probability to lead to a direct solution (some popular accounts may not have emphasized this to the degree we would have preferred). But arguably, this makes the

...(continued)
Jalex Stark Apr 06 2017 22:46 UTC

However, one should note that I_3322 may be able to do something that this paper doesn't. William's work leaves open the question of whether there are games with infinite-dimensional tensor product strategies but no finite-dimensional ones. Some of us might expect that I_3322 has this property.

Laura Mančinska Mar 28 2017 13:09 UTC

Great result!

For those familiar with I_3322, William here gives an example of a nonlocal game exhibiting a behaviour that many of us suspected (but couldn't prove) to be possessed by I_3322.

Robert Raussendorf Jan 24 2017 22:29 UTC

Regarding Mark's above comment on the role of the stabilizer states: Yes, all previous works on the subject have used the stabilizer states and Clifford gates as the classical backbone. This is due to the Gottesman-Knill theorem and related results. But is it a given that the free sector in quantum

...(continued)
Planat Jan 24 2017 13:09 UTC

Are you sure? Since we do not propose a conjecture, there is nothing wrong. A class of strange states underlie the pentagons in question. The motivation is to put the magic of computation in the permutation frame, one needs more work to check its relevance.

Mark Howard Jan 24 2017 09:59 UTC

It seems interesting at first sight, but after reading it the motivation is very muddled. It boils down to finding pentagons (which enable KCBS-style proofs of contextuality) within sets of projectors, some of which are stabilizer states and some of which are non-stabilizer states (called magic stat

...(continued)
Felix Leditzky Nov 29 2016 16:34 UTC

Thank you very much for the reply!