# Mathematical Physics (math-ph)

• We present a categorical construction for modelling both definite and indefinite causal structures within a general class of process theories that include classical probability theory and quantum theory. Unlike prior constructions within categorical quantum mechanics, the objects of this theory encode finegrained causal relationships between subsystems and give a new method for expressing and deriving consequences for a broad class of causal structures. To illustrate this point, we show that this framework admits processes with definite causal structures, namely one-way signalling processes, non-signalling processes, and quantum n-combs, as well as processes with indefinite causal structure, such as the quantum switch and the process matrices of Oreshkov, Costa, and Brukner. We furthermore give derivations of their operational behaviour using simple, diagrammatic axioms.
• We prove a result on non-clustering of particles in a two-dimensional Coulomb plasma, which holds provided that the inverse temperature $\beta$ satisfies $\beta>1$. As a consequence we obtain a result on crystallization as $\beta\to\infty$: the particles will, on a microscopic scale, appear at a certain distance from each other. The estimation of this distance is connected to Abrikosov's conjecture that the particles should freeze up according to a honeycomb lattice when $\beta\to\infty$.
• The aim of this work is to study, from an intrinsic and geometric point of view, second-order constrained variational problems on Lie algebroids, that is, optimization problems defined by a cost functional which depends on higher-order derivatives of admissible curves on a Lie algebroid. Extending the classical Skinner and Rusk formalism for the mechanics in the context of Lie algebroids, for second-order constrained mechanical systems, we derive the corresponding dynamical equations. We find a symplectic Lie subalgebroid where, under some mild regularity conditions, the second-order constrained variational problem, seen as a presymplectic Hamiltonian system, has a unique solution. We study the relationship of this formalism with the second-order constrained Euler-Poincaré and Lagrange-Poincaré equations, among others. Our study is applied to the optimal control of mechanical systems.
• We study the high-frequency behavior of the Dirichlet-to-Neumann map for an arbitrary compact Riemannian manifold with a non-empty smooth boundary. We show that far from the real axis it can be approximated by a simpler operator. We use this fact to get new results concerning the location of the transmission eigenvalues on the complex plane. In some cases we obtain optimal transmission eigenvalue-free regions.
• We device a new method to calculate a large number of Mellin moments of single scale quantities using the systems of differential and/or difference equations obtained by integration-by-parts identities between the corresponding Feynman integrals of loop corrections to physical quantities. These scalar quantities have a much simpler mathematical structure than the complete quantity. A sufficiently large set of moments may even allow the analytic reconstruction of the whole quantity considered, holding in case of first order factorizing systems. In any case, one may derive highly precise numerical representations in general using this method, which is otherwise completely analytic.
• We illustrate a rigorous approach to express the totally symmetric isotropic tensors of arbitrary rank in the $n$-dimensional Euclidean space as a linear combination of products of Kronecker deltas. By making full use of the symmetries, one can greatly reduce the efforts to compute cumbersome angular integrals into straightforward combinatoric counts. This method is generalized into the cases in which such symmetries are present in subspaces. We further demonstrate the mechanism of the tensor-integral reduction that is widely used in various physics problems such as perturbative calculations of the gauge-field theory in which divergent integrals are regularized in $d=4-2\epsilon$ space-time dimensions. The main derivation is given in the $n$-dimensional Euclidean space. The generalization of the result to the Minkowski space is also discussed in order to provide graduate students and researchers with techniques of tensor-integral reduction for particle physics problems.
• In the work [Bull, Austr. Math. Soc. 85 (2012), 315-234], S.R. Moghadasi has shown how the decomposition of the $N$-fold product of Lebesgue measure on $\mathbb R^n$ implied by matrix polar decomposition can be used to derive the Blaschke-Petkantschin decomposition of measure formula from integral geometry. We use known formulas from random matrix theory to give a simplified derivation of the decomposition of Lebesgue product measure implied by matrix polar decomposition, applying too to the cases of complex and real quaternion entries, and we give corresponding generalisations of the Blaschke--Petkantschin formula. A number of applications to random matrix theory and integral geometry are given, including to the calculation of the moments of the volume content of the convex hull of $k \le N+1$ points in $\mathbb R^N$, $\mathbb C^N$ or $\mathbb H^N$ with a Gaussian or uniform distribution.
• Weingarten calculus is a completely general and explicit method to compute the moments of the Haar measure on compact subgroups of matrix algebras. Particular cases of this calculus were initiated by theoretical physicists -- including Weingarten, after whom this calculus was coined by the first author, after investigating it systematically. Substantial progress was achieved subsequently by the second author and coworkers, based on representation theoretic and combinatorial techniques. All formulas of `Weingarten calculus' are in the spirit of Weingarten's seminal paper [W78]. However, modern proofs are very different from Weingarten's initial ideas. In this paper, we revisit Weingarten's initial proof and we illustrate its power by uncovering two new important applications: (i) a uniform bound on the Weingarten function, that subsumes existing uniform bounds, and is optimal up to a polynomial factor, and (ii) an extension of Weingarten calculus to symmetric spaces and conceptual proofs of identities established by the second author.
• We consider randomly distributed mixtures of bonds of ferromagnetic and antiferromagnetic type in a two-dimensional square lattice with probability $1-p$ and $p$, respectively, according to an i.i.d. random variable. We study minimizers of the corresponding nearest-neighbour spin energy on large domains in ${\mathbb Z}^2$. We prove that there exists $p_0$ such that for $p\le p_0$ such minimizers are characterized by a majority phase; i.e., they take identically the value $1$ or $-1$ except for small disconnected sets. A deterministic analogue is also proved.
• A recent paper \citeKMMO introduced the stochastic U_q(A_n^(1)) vertex model. The stochastic S-matrix is related to the R-matrix of the quantum group U_q(A_n^(1)) by a gauge transformation. We will show that a certain function D^+_\mu intertwines with the transfer matrix and its space reversal. When interpreting the transfer matrix as the transition matrix of a discrete-time totally asymmetric particle system on the one-dimensional lattice Z, the function D^+_\mu becomes a Markov duality function D_\mu which only depends on q and the vertical spin parameters \mu_x. By considering degenerations in the spectral parameter, the duality results also hold on a finite lattice with closed boundary conditions, and for a continuous-time degeneration. This duality function had previously appeared in a multi-species ASEP(q,j) process. The proof here uses that the R-matrix intertwines with the co-product, but does not explicitly use the Yang-Baxter equation. It will also be shown that the stochastic U_q(A_n^(1)) is a multi-species version of a stochastic vertex model studied in \citeBP,CP. This will be done by generalizing the fusion process of \citeCP and showing that it matches the fusion of \citeKRL up to the gauge transformation. We also show, by direct computation, that the multi-species q-Hahn Boson process (which arises at a special value of the spectral parameter) also satisfies duality with respect to D_0, generalizing the single-species result of \citeC.
• Infinite-dimensional Galilean conformal algebras can be constructed by contracting pairs of symmetry algebras in conformal field theory, such as $W$-algebras. Known examples include contractions of pairs of the Virasoro algebra, its $N=1$ superconformal extension, or the $W_3$ algebra. Here, we introduce a contraction prescription of the corresponding operator-product algebras, or equivalently, a prescription for contracting tensor products of vertex algebras. With this, we work out the Galilean conformal algebras arising from contractions of $N=2$ and $N=4$ superconformal algebras as well as of the $W$-algebras $W(2,4)$, $W(2,6)$, $W_4$, and $W_5$. The latter results provide evidence for the existence of a whole new class of $W$-algebras which we call Galilean $W$-algebras. We also apply the contraction prescription to affine Lie algebras and find that the ensuing Galilean affine algebras admit a Sugawara construction. The corresponding central charge is level-independent and given by twice the dimension of the underlying finite-dimensional Lie algebra. Finally, applications of our results to the characterisation of structure constants in $W$-algebras are proposed.
• Jan 18 2017 math.HO math-ph math.MP arXiv:1701.04699v1
The primary aim of this chapter is, commemorating the 150th anniversary of Riemann's death, to explain how the idea of \it Riemann sum is linked to other branches of mathematics. The materials I treat are more or less classical and elementary, thus available to the "common mathematician in the streets." However one may still see here interesting inter-connection and cohesiveness in mathematics.

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? :-)

Toby Cubitt Sep 19 2016 15:00 UTC

I like this sentence from the conclusion: "There is, however, a second possible answer to our question: yes".

JRW Sep 14 2016 07:46 UTC

"Ni." would be slightly shorter, but some may find it offensive.

Frédéric Grosshans Sep 13 2016 12:38 UTC

The abstract my be a bit too long.

Mohammad Bavarian Sep 08 2016 03:58 UTC

So beautifully written!

Māris Ozols Sep 07 2016 13:03 UTC

John also has an excellent series of 7 blog posts covering this material:
https://www.physicsforums.com/insights/struggles-continuum-part-1/

Artur Jun 22 2015 20:37 UTC

This article contains new results concerning the stroboscopic tomography, the aim of which is to reconstruct the initial density matrix on the basis of the least possible amount of data. The author proposes one complete quantum tomography model, which shows how step by step you can obtain the formul

...(continued)