# Mathematical Physics (math-ph)

• We investigate the quantum Jensen divergences from the viewpoint of joint convexity. It turns out that the set of the functions which generate jointly convex quantum Jensen divergences on positive matrices coincides with the Matrix Entropy Class which has been introduced by Chen and Tropp quite recently in [Electron. J. Probab. 19 (2014), 1-30].
• We demonstrate that a large class of first-order quantum phase transitions can be described as a condensation in the space of states. Given a system having Hamiltonian $H=K+gV$, where $K$ and $V$ are hopping and potential operators acting on the space of states $\mathbb{F}$, we may always write $\mathbb{F}=\mathbb{F}_\mathrm{cond} \oplus \mathbb{F}_\mathrm{norm}$ where $\mathbb{F}_\mathrm{cond}$ is the subspace which spans the eigenstates of $V$ with minimal eigenvalue and $\mathbb{F}_\mathrm{norm}=\mathbb{F}_\mathrm{cond}^\perp$. If, in the thermodynamic limit, $M_\mathrm{cond}/M \to 0$, where $M$ and $M_\mathrm{cond}$ are, respectively, the dimensions of $\mathbb{F}$ and $\mathbb{F}_\mathrm{cond}$, the above decomposition of $\mathbb{F}$ becomes effective, in the sense that the ground state energy per particle of the system, $\epsilon$, coincides with the smaller between $\epsilon_\mathrm{cond}$ and $\epsilon_\mathrm{norm}$, the ground state energies per particle of the system restricted to the subspaces $\mathbb{F}_\mathrm{cond}$ and $\mathbb{F}_\mathrm{norm}$, respectively. It may then happen that, as a function of the parameter $g$, the energies $\epsilon_\mathrm{cond}$ and $\epsilon_\mathrm{norm}$ cross at $g=g_\mathrm{c}$. In this case, a first-order quantum phase transition takes place between a condensed phase (system restricted to the small subspace $\mathbb{F}_\mathrm{cond}$) and a normal phase (system spread over the large subspace $\mathbb{F}_\mathrm{norm}$). Since, in the thermodynamic limit, $M_\mathrm{cond}/M \to 0$, the confinement into $\mathbb{F}_\mathrm{cond}$ is actually a condensation in which the system falls into a ground state orthogonal to that of the normal phase, something reminiscent of Andersons' orthogonality catastrophe. The outlined mechanism is tested on a variety of benchmark lattice models.
• We investigate the reflectionlessness and invisibility properties in the transverse electric (TE) mode solution of a linear homogeneous optical system which comprises the $\mathcal{PT}$-symmetric structures covered by graphene sheets. We derive analytic expressions, indicate roles of each parameter governing optical system with graphene and justify that optimal conditions of these parameters give rise to broadband and wide angle invisibility. Presence of graphene turns out to shift the invisible wavelength range and to reduce the required gain amount considerably, based on its chemical potential and temperature. We substantiate that our results yield broadband reflectionless and invisible configurations for realistic materials of small refractive indices, usually around $\eta = 1$, and of small thickness sizes with graphene sheets of rather small temperatures and chemical potentials. Finally, we demonstrate that pure $\mathcal{PT}$-symmetric graphene yields invisibility at small temperatures and chemical potentials.
• In this paper we focus on the Cauchy problem for the incompressible Navier-Stokes equation with a rough external force. If the given rough external force is small, we prove the local-in-time existence of this system for any initial data belonging to the critical Besov space $\dot{B}_{p,p}^{-1+\frac{3}{p}}$, where $3<p<\infty$. Moreover, We show the long-time behavior of the priori global solutins constructed by us. Also, we give three kinds of uniqueness results of the forced Navier-Stokes equations.
• We propose a way to define uniformly accelerated fields. It is introduced by the operator version of the relativistic kinematics relation $t^2-x^2=-1/ \alpha^2$ as the required field equation, and following the canonical procedure we perform the field quantization in the momentum space, claiming that the resulting excitations can be interpreted as uniformly accelerated particles. The behavior of accelerated particle detectors with definite mass is investigated, and it is shown that a massive detector experiences a temperature inversely proportional to its mass, and consequently finds the vacuum state full of accelerated particles.
• Using the results obtained by Staruszkiewicz in Acta Phys. Pol. B 23, 591 (1992) and in Acta Phys. Pol. B 23, 927 (1992) we show that the representations acting in the eigenspaces of the total charge operator corresponding to the eigenvalues $n_1, n_2$ whose absolute values are less than or equal $\sqrt{\pi/e^2}$ are inequivalent if $|n_1| \neq |n_2|$ and contain the supplementary series component acting as a discrete component. On the other hand the representations acting in the eigenspaces corresponding to eigenvalues whose absolute values are greater than $\sqrt{\pi/e^2}$ are all unitarily equivalent and do not contain any supplementary series component.
• An expression for the dimensionless dissipation rate was derived from the Karman-Howarth equation by asymptotic expansion of the second- and third- order structure functions in powers of the inverse Reynolds number. The implications of the time-derivative term for the assumption of local stationarity (or local equilibrium) which underpins the derivation of the Kolmogorov 4/5' law for the third-order structure function were studied. It was concluded that neglect of the time-derivative cannot be justified by reason of restriction to certain scales (the inertial range) nor to large Reynolds numbers. In principle, therefore, the hypothesis cannot be correct, although it may be a good approximation. It follows, at least in principle, that the quantitative aspects of the hypothesis of local stationarity could be tested by a comparison of the asymptotic dimensionless dissipation rate for free decay with that for the stationary case. But in practice this is complicated by the absence of an agreed evolution time for making the measurements during the decay. However, we can assess the quantitative error involved in using the hypothesis by comparing the exact asymptotic value of the dimensionless dissipation in free decay calculated on the assumption of local stationarity to the experimentally determined value (e.g. by means of direct numerical simulation), as this relationship holds for all measuring times. Should the assumption of local stationarity lead to significant error, then the 4/5' law needs to be corrected. Despite this, scale invariance in wavenumber space appears to hold in the formal limit of infinite Reynolds numbers, which implies that the `-5/3' energy spectrum does not require correction in this limit.
• We give a Stinespring representation of the Schur block product, say (*), on pairs of square matrices with entries in a C*-algebra as a completely bounded bilinear operator of the form: A:=(a_ij), B:= (b_ij): A (*) B := (a_ijb_ij) = V* pi(A) F pi(B) V, such that V is an isometry, pi is a *-representation and F is a self-adjoint unitary. This implies an inequality due to Livshits and an apparently new one on diagonals of matrices. ||A (*) B|| ≤||A||_r ||B||_c operator, row and column norm; - diag(A*A) ≤A* (*) A ≤diag(A*A).
• Motivated by the calculation of correlation functions in inhomogeneous one-dimensional (1d) quantum systems, the 2d Inhomogeneous Gaussian Free Field (IGFF) is studied and solved. The IGFF is defined in a domain $\Omega \subset \mathbb{R}^2$ equipped with a conformal class of metrics $[{\rm g}]$ and with a real positive coupling constant $K: \Omega \rightarrow \mathbb{R}_{>0}$ by the action $\mathcal{S}[h] = \frac{1}{8\pi } \int_\Omega \frac{\sqrt{{\rm g}} d^2 {\rm x}}{K({\rm x})} \, {\rm g}^{i j} (\partial_i h)(\partial_j h)$. All correlations functions of the IGFF are expressible in terms of the Green's functions of generalized Poisson operators that are familiar from 2d electrostatics in media with spatially varying dielectric constants. This formalism is then applied to the study of ground state correlations of the Lieb-Liniger gas trapped in an external potential $V(x)$. Relations with previous works on inhomogeneous Luttinger liquids are discussed. The main innovation here is in the identification of local observables $\hat{O} (x)$ in the microscopic model with their field theory counterparts $\partial_x h, e^{i h(x)}, e^{-i h(x)}$, etc., which involve non-universal coefficients that themselves depend on position --- a fact that, to the best of our knowledge, was overlooked in previous works on correlation functions of inhomogeneous Luttinger liquids ---, and that can be calculated thanks to Bethe Ansatz form factors formulae available for the homogeneous Lieb-Liniger model. Combining those position-dependent coefficients with the correlation functions of the IGFF, ground state correlation functions of the trapped gas are obtained. Numerical checks from DMRG are provided for density-density correlations and for the one-particle density matrix, showing excellent agreement.
• Kontsevich designed a scheme to generate infinitesimal symmetries $\dot{\mathcal{P}} = \mathcal{Q}(\mathcal{P})$ of Poisson brackets $\mathcal{P}$ on all affine manifolds $M^r$; every such deformation is encoded by oriented graphs on $n+2$ vertices and $2n$ edges. In particular, these symmetries can be obtained by orienting sums of non-oriented graphs $\gamma$ on $n$ vertices and $2n-2$ edges. The bi-vector flow $\dot{\mathcal{P}} = \text{Or}(\gamma)(\mathcal{P})$ preserves the space of Poisson structures if $\gamma$ is a cocycle with respect to the vertex-expanding differential in the graph complex. A class of such cocycles $\boldsymbol{\gamma}_{2\ell+1}$ is known to exist: marked by $\ell \in \mathbb{N}$, each of them contains a $(2\ell+1)$-gon wheel with a nonzero coefficient. At $\ell=1$ the tetrahedron $\boldsymbol{\gamma}_3$ itself is a cocycle; at $\ell=2$ the Kontsevich--Willwacher pentagon-wheel cocycle $\boldsymbol{\gamma}_5$ consists of two graphs. We reconstruct the symmetry $\mathcal{Q}_5(\mathcal{P}) = \text{Or}(\boldsymbol{\gamma}_5)(\mathcal{P})$ and verify that $\mathcal{Q}_5$ is a Poisson cocycle indeed: $[\![\mathcal{P},\mathcal{Q}_5(\mathcal{P})]\!]\doteq 0$ via $[\![\mathcal{P},\mathcal{P}]\!]=0$.
• We develop a new compact scheme for second-order PDE (parabolic and Schrödinger type) with a variable time-independent coefficient. It has a higher order and smaller error than classic implicit scheme. The Dirichlet and Neumann boundary problems are considered. The relative finite-difference operator is almost self-adjoint.
• The algorithm of finding inverse multivector (MV) in a symbolic form is of paramount importance in computational Clifford or geometric algebra (GA) $Cl_{p,q}$. The first attempts of inversion of general MV were based on matrix representation of MV basis elements. However, the complexity of such calculations grows exponentially with the dimension $n=p+q$ of $Cl_{p,q}$ algebra. The breakthrough occurred 10 years later (P. Dadbeh, 2011), after grade-negation operation was introduced. It has allowed to write down explicit and compact inverse MVs as a product of initial MV and its carefully chosen grade-negation counterparts for all GAs up to dimension $n\le5$. In this report we show that the grade-negation self-product method can be extended beyond p+q=5 threshold if, in addition, properly constructed multilinear combinations of such MV products are used. In particular, we write down compact and explicit MV inverse formulas for all $p+q=6$ algebras. For readers convenience we have also presented inverse MVs for lower algebras, $p+q\le 5$, in a form of grade negations.
• The implicit compact finite-difference scheme was developed for evolutionary partial differential parabolic and Schrödinger-type equations and systems with a weak nonlinearity. To make a temporal step of the compact implicit scheme we need to solve a non-linear system. We use for this step a simple explicit difference scheme and then Newton -- Raphson iterations, which are implemented by the double-sweep method. Numerical experiments confirm the 4-th order of an algorithm. The Richardson extrapolation improves it up to the 6-th order.
• We study the Fluctuation Theorem (FT) for entropy production in chaotic discrete-time dynamical systems on compact metric spaces, and extend it to empirical measures, all continuous potentials, and all weak Gibbs states. In particular, we establish the FT in the phase transition regime. These results hold under minimal chaoticity assumptions (expansiveness and specification) and require no ergodicity conditions. They are also valid for systems that are not necessarily invertible and involutions other than time reversal. Further extensions involve asymptotically additive potential sequences and the corresponding weak Gibbs measures. The generality of these results allows to view the FT as a structural facet of the thermodynamic formalism of dynamical systems.
• In this paper, we firstly give the definition of the coupled Hall-Littlewood function and its realization in terms of vertex operators. Then we construct the representation of the two-site generalized $q$-boson model in the algebra of coupled Hall-Littlewood functions. Finally, we find that the vertex operators which generate coupled Hall-Littlewood functions can also be used to obtain the partition function of the A-model topological string on the conifold.
• Ground states of quadratic Hamiltonians for fermionic systems can be characterized in terms of orthogonal complex structures. The standard way in which such Hamiltonians are diagonalized makes use of a certain "doubling" of the Hilbert space. In this work we show that this redundancy in the Hilbert space can be completely lifted if the relevant orthogonal structure is taken into account. Such an approach allows for a treatment of Majorana fermions which is both physically and mathematically transparent. Furthermore, an explicit connection between orthogonal complex structures and the topological $\mathbb Z_2$-invariant is given.

Zoltán Zimborás Nov 17 2017 07:59 UTC

Interesting title for a work on Mourre theory for Floquet Hamiltonians.
I wonder how this slipped through the prereview process in arXiv.

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)