# Mathematical Physics (math-ph)

• We provide a mathematical definition of a low energy scaling limit of a sequence of general non-relativistic quantum theories in any dimension, and apply our formalism to anyonic chains. We formulate Conjecture 4.3 on conditions when a chiral unitary rational (1+1)-conformal field theory would arise as such a limit and verify the conjecture for the Ising minimal model $M(4,3)$ using Ising anyonic chains. Part of the conjecture is a precise relation between Temperley-Lieb generators $\{e_i\}$ and some finite stage operators of the Virasoro generators $\{L_m+L_{-m}\}$ and $\{i(L_m-L_{-m})\}$ for unitary minimal models $M(k+2,k+1)$ in Conjecture 5.5. Assuming Conjecture 4.3, most of our main results for the Ising minimal model $M(4,3)$ hold for unitary minimal models $M(k+2,k+1), k\geq 3$ as well. Our approach is inspired by an eventual application to an efficient simulation of conformal field theories by quantum computers, and supported by extensive numerical simulation and physical proofs in the physics literature.
• We show that loop groups and the universal cover of $\mathrm{Diff}_+(S^1)$ can be expressed as colimits of groups of loops/diffeomorphisms supported in subintervals of $S^1$. Analogous results hold for based loop groups and for the based diffeomorphism group of $S^1$. These results continue to hold for the corresponding centrally extended groups. We use the above results to construct a comparison functor from the representations of a loop group conformal net to the representations of the corresponding affine Lie algebra. We also establish an equivalence of categories between solitonic representations of the loop group conformal net, and locally normal representations of the based loop group.
• We access the edge of Gaussian beta ensembles with one spike by analyzing high powers of the associated tridiagonal matrix models. In the classical cases beta=1, 2, 4, this corresponds to studying the fluctuations of the largest eigenvalues of additive rank one perturbations of the GOE/GUE/GSE random matrices. In the infinite-dimensional limit, we arrive at a one-parameter family of random Feynman-Kac type semigroups, which features the stochastic Airy semigroup of Gorin and Shkolnikov [13] as an extreme case. Our analysis also provides Feynman-Kac formulas for the spiked stochastic Airy operators, introduced by Bloemendal and Virag [6]. The Feynman-Kac formulas involve functionals of a reflected Brownian motion and its local times, thus, allowing to study the limiting operators by tools of stochastic analysis. We derive a first result in this direction by obtaining a new distributional identity for a reflected Brownian bridge conditioned on its local time at zero.
• We show that the Hawking--Penrose singularity theorem, and the generalisation of this theorem due to Galloway and Senovilla, continue to hold for Lorentzian metrics that are of $C^{1, 1}$-regularity. We formulate appropriate weak versions of the strong energy condition and genericity condition for $C^{1,1}$-metrics, and of $C^0$-trapped submanifolds. By regularisation, we show that, under these weak conditions, causal geodesics necessarily become non-maximising. This requires a detailed analysis of the matrix Riccati equation for the approximating metrics, which may be of independent interest.
• For a general class of large non-Hermitian random block matrices $\mathbf{X}$ we prove that there are no eigenvalues away from a deterministic set with very high probability. This set is obtained from the Dyson equation of the Hermitization of $\mathbf{X}$ as the self-consistent approximation of the pseudospectrum.
• We present an elementary approach to concentration of disordered Hamiltonians. Assuming differentiability of the limiting free energy $F$ with respect to the inverse temperature $\beta$, we show that the Hamiltonian concentrates around the energy level $F'(\beta)$ under the free energy and Gibbs average.
• N=4 supersymmetric extensions of the l-conformal Galilei algebra are constructed by properly extending the Lie superalgebra associated with the most general N=4 superconformal group in one dimension D(2,1;a). If the acceleration generators in the superalgebra form analogues of the irreducible (1,4,3)-, (2,4,2)-, (3,4,1)-, and (4,4,0)-supermultiplets of D(2,1;a), the parameter a turns out to be constrained by the Jacobi identities. In contrast, if the tower of the acceleration generators resembles a component decomposition of a generic real superfield, which is a reducible representation of D(2,1;a), a remains arbitrary. An N=4 l-conformal Galilei superalgebra recently proposed in [Phys. Lett. B 771 (2017) 401] is shown to be a particular instance of a more general construction in this work.
• It was recently conjectured by Vivo, Pato, and Oshanin [Phys. Rev. E 93, 052106 (2016)] that for a quantum system of Hilbert dimension $mn$ in a pure state, the variance of the von Neumann entropy of a subsystem of dimension $m\leq n$ is given by \beginequation* -\psi_1\left(mn+1\right)+\fracm+nmn+1\psi_1\left(n\right)-\frac(m+1)(m+2n+1)4n^2(mn+1), \endequation* where $\psi_{1}(\cdot)$ is the trigamma function. We give a proof of this formula.
• To describe two-place events, Alice-Bob systems have been established by means of the shifted parity and delayed time reversal in Ref. [1]. In this paper, we mainly study exact solutions of the integrable Alice-Bob modified Korteweg de-Vries (AB-mKdV) system. The general Nth Darboux transformation for the AB-mKdV equation are constructed. By using the Darboux transformation, some types of shifted parity and time reversal symmetry breaking solutions including one-soliton, two-soliton and rogue wave solutions are explicitly obtained. In addition to the similar solutions of the mKdV equation (group invariant solutions), there are abundant new localized structures for the AB-mKdV systems.
• The blow up phenomenon in the first step of the classical Picard's scheme was proved in this paper. For certain initial spaces, Bourgain-Pavlović and Yoneda proved the ill-posedness of the Navier-Stokes equations by showing the norm inflation in certain solution spaces. But Chemin and Gallagher said the space $\dot{B}^{-1,\infty}_{\infty}$ seems to be optimal for some solution spaces best chosen. In this paper, we consider more general initial spaces than Bourgain-Pavlović and Yoneda did and establish ill-posedness result independent of the choice of solution space. Our result is a complement of the previous ill-posedness results on Navier-Stokes equations.
• The algebraic method of singular reduction is applied for non regular group action on manifolds which provides singular symplectic spaces. The problem of deformation quantization of the singular surfaces is the focus. For some examples of singular Poisson spaces the deformation quantization is explicitly constructed. In is shown that for the flat phase space with the classical moment map and the orthogonal group action the deformation quantization converges for the entire arguments of exponential type.
• The Radon-Nikodym formalism is used to study the structure of the set of positive maps from $\cB(\cH)$ into itself, where $\cH$ is a finite dimensional Hilbert space. In particular, this formalism was employed to formulate simple criteria which ensure that certain maps are non decomposable. In that way, a recipe for construction of non decomposable maps was obtained.
• We show that resonances closest to the real axis generated by diffraction of waves among cone points on a manifold with Euclidean ends lie asymptotically evenly spaced along a curve of the form $$\frac\Im \lambda\log \left |\Re \lambda\right |= -\nu;$$ here $\nu=(n-1)/2 L_0$ where $n$ is the dimension and $L_0$ is the length of the longest geodesic connecting two cone points. There are asymptotically no resonances below this curve and above the curve $$\frac\Im \lambda\log \left |\Re \lambda\right |= -\Lambda$$ for a fixed $\Lambda>\nu.$
• We introduce a large class of conformally-covariant differential operators and a crossing equation that they obey. Together, these tools dramatically simplify calculations involving operators with spin in conformal field theories. As an application, we derive a formula for a general conformal block (with arbitrary internal and external representations) in terms of derivatives of blocks for external scalars. In particular, our formula gives new expressions for "seed conformal blocks" in 3d and 4d CFTs. We also find simple derivations of identities between external-scalar blocks with different dimensions and internal spins. We comment on additional applications, including derivation of recursion relations for general conformal blocks, reducing inversion formulae for spinning operators to inversion formulae for scalars, and deriving identities between general 6j symbols (Racah-Wigner coefficients/"crossing kernels") of the conformal group.
• I propose a self-dual deformation of the classical phase space of lattice Yang--Mills theory, in which both the electric and magnetic fluxes take value in the gauge Lie group. A local construction of the deformed phase space requires the machinery of "quasi-Hamiltonian spaces" by Alekseev et al., which is here reviewed. The results is a full-fledged finite-dimensional and gauge-invariant phase space, whose self-duality properties are largely enhanced in (3+1) spacetime dimensions. This enhancement is due to a correspondence with the moduli space of an auxiliary non-commutative flat connection living on a Riemann surface defined from the lattice itself, which in turn equips the duality between electric and magnetic fluxes with a neat geometrical interpretation in terms of a Heegaard splitting of the space manifold. Finally, I discuss the consequences of the proposed deformation on the quantization of the phase space, its quantum gravitational interpretation, as well as its relevance for the construction of (3+1) dimensional topological field theories with defects.

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!

Alex Wozniakowski Nov 22 2016 19:50 UTC

Here, the string diagrams (for qudits, transformations, and measurements) may have charge. The manipulation of diagrams with charge requires para-isotopy, which generalizes topological isotopy; and the relation for para-isotopy is found on pg. 11, in eq. (22). Essentially, para-isotopy keeps track

...(continued)
Felix Leditzky Nov 22 2016 17:18 UTC

Could you give an example of a topological isotopy that transforms the transformation $T$ on p.3 into the one in eq. (6)? On a related note, how is a topological isotopy defined?

Marco Piani Sep 19 2016 20:13 UTC

Is it actually decidable? :-)