Rare events of small-noise Doob conditioned processes

2026-05-23T12:09:23Z

Doob fixed-time conditioning enables the sampling of rare trajectories of Markov processes by modifying the drift so that reaching a prescribed target at a given time is guaranteed. We study the statistics of this conditioned path ensemble through the moment generating function in the weak-noise large deviation regime. Since the Doob drift is rarely available in closed form, we reinterpret the conditioned ensemble as the original process post-selected on the terminal constraint, thereby avoiding explicit construction of the Doob transform. This viewpoint then yields an optimal-control representation for the leading exponential contribution to the generating function, expressed as a variational principle with terminal boundary conditions set by the Doob end-point constraint. We illustrate the framework with two analytical examples and with an application to heat dissipation of a minimal model of biomolecular folding.

Modelling optimal implementation of an arbitrary $N$-qubit quantum gate within the generalized Bloch vectors formalism

2026-05-23T11:21:07Z

The optimal implementation of quantum gates for closed $N$-qubit systems is one of the key challenges for practical realization of many quantum information processing tasks. In the present article, based on the generalized Bloch vectors formalism [\emph{J. Phys. A: Math. Theor.} 54, 195301 (2021)] for a finite-dimensional quantum system, we develop a new general model for the optimal quantum gates implementation, which is formulated in terms of the Bloch vectors for the unitary evolution operator and the system Hamiltonians, drift and control, and has the unified form applicable for the implementation of an arbitrary $N$-qubit gate within any closed $N$-qubit system satisfying the controllability conditions. Within the developed optimal model, the cost functional has both the terminal part and also, the integral part with the special scaling, and this allows us to specify the quantum optimal control synthesis via solving the two-point boundary value problem (BVP) for the system of ordinary differential equations (ODEs), which can be explored numerically by any of the known BVP solvers for ODEs. The numerical experiments, conducted for the implementation within the developed optimal model of a variety of $N=1,2,3$ qubit gates, demonstrate the high accuracy of the model-based results.

Trained quantum neural networks are Gaussian processes

2026-05-23T10:34:43Z

We study quantum neural networks made by parametric one-qubit gates and fixed two-qubit gates in the limit of infinite width, where the generated function is the expectation value of the sum of single-qubit observables over all the qubits. First, we prove that the probability distribution of the function generated by the untrained network with randomly initialized parameters converges in distribution to a Gaussian process whenever each measured qubit is correlated only with few other measured qubits. Then, we analytically characterize the training of the network via gradient descent with square loss on supervised learning problems. We prove that, as long as the network is not affected by barren plateaus, the trained network can perfectly fit the training set and that the probability distribution of the function generated after training still converges in distribution to a Gaussian process. Finally, we consider the statistical noise of the measurement at the output of the network and prove that a polynomial number of measurements is sufficient for all the previous results to hold and that the network can always be trained in polynomial time.

On the asymptotics of ground states for a boundary value problem for the equation $-\varepsilon Δ_p u = a|u|^{q-2}u - b|u|^{γ-2}u$

2026-05-23T09:11:02Z

We study a singularly perturbed Dirichlet problem for the $p$-Laplacian with competing superlinear terms, \[ -\varepsilon Δ_p u = a(x)|u|^{q-2}u - b(x)|u|^{γ-2}u, \qquad u|_{\partialΩ}=0, \] where $10$, and $\varepsilon>0$ is small. By means of the nonlinear Rayleigh quotient method, we introduce two critical parameter values, $\varepsilon^*$ and $\varepsilon_e^*$, related respectively to the Nehari manifold and to the zero energy level. We prove the nonexistence of nontrivial weak solutions for $\varepsilon>\varepsilon^*$, and the existence of at least two positive weak solutions for $0<\varepsilon<\varepsilon_e^*$; one of them is a ground state. The main result describes the asymptotic behaviour of ground states as $\varepsilon\to 0^+$. If, in addition, $a\geqσ_a>0$, then every family of positive ground states $u_\varepsilon$ converges in measure in $Ω$ to the explicit profile \[ \bar u_0(x) = \left(\frac{a(x)}{b(x)}\right)^{1/(γ-q)}. \] Moreover, \[ u_\varepsilon\to\bar u_0 \quad\text{strongly in }L^r(Ω), \qquad 1\le r<γ, \] and \[ u_\varepsilon\rightharpoonup\bar u_0 \quad\text{weakly in }L^r(Ω), \qquad 1

Superconfined Antiferromagnons on the Two-Dimensional Penrose Lattice

2026-05-23T06:56:12Z

We find novel confined states in the spin-$S$ nearest-neighbor antiferromagnetic Heisenberg model on the two-dimensional Penrose lattice. Linear spin waves have massively degenerate eigenstates strictly confined to tricoordinated sites. They contrast with the well-known itinerant analogs in the tight-binding model, where electrons are confined but extended to both tricoordinated and pentacoordinated sites. It is the site potentials in the spin-wave Hamiltonian, originating from Coulomb interactions between electrons, that confine spin waves to minimally coordinated sites only. Confined states in the tight-binding Hamiltonian consist of six types of building blocks, whereas those in the spin-wave Hamiltonian consist of only four of them. Confined spin waves are robust against $1/S$ corrections. Emergent $O(S^{0})$ interactions further confine -- superconfine -- spin waves into two separate groups within tricoordinated sites.

Principle of Diminishing Potentialities in Large N Algebras

2026-05-23T04:11:07Z

A connection between the completion of quantum mechanics featuring events and the theory of emergent spacetime in quantum gravity where von Neumann algebra plays a vital role is established. In thermal equilibrium, it can be shown that the Principle of Diminishing Potentialities (PDP) holds for the large $N$ algebra of $\mathcal{N}=4$ Super Yang-Mills (SYM) theory with gauge group $SU(N)$ when the temperature is higher than Hawking-Page temperature. Below Hawking-Page transition and for the case of zero temperature, PDP does not hold. Since the centralizer of thermofield double state on the large $N$ algebra of $\mathcal{N}=4$ SYM theory coincides with the center of the large $N$ algebra which is trivial, we extend the large $N$ algebra by performing crossed product by the maximal abelian subgroup $H $ of the compact symmetry group $G$ of the two-sided eternal black hole. In this case, the centralizer of an extension of thermofield double state is non-trivial and it is given by the action of the maximal abelian subgroup $H$ on the Hilbert space $\mathcal{H}_{TFD} \otimes L^{2} (H)$. This centralizer is by itself commutative and it coincides with its own center. This implies that the first actual event that initiate the ``Events-Trees-Histories'' dynamical evolution in this framework is given by the spectral projectors associated to the action of the Cartan subalgebra $\mathfrak{h}$ of the Lie algebra $\mathfrak{g}$ associated to the group $G$ on the Hilbert space $\mathcal{H}_{TFD} \otimes L^{2} (H)$.

Strichartz estimates for Schrödinger equations with the multipole Aharonov--Bohm Hamiltonian

2026-05-23T02:52:31Z

We prove global-in-time Strichartz estimates for Schrödinger equations with multipole Aharonov--Bohm Hamiltonians on $\mathbb{R}^2$. As intermediate steps, we prove global-in-time local smoothing estimates for multipole Aharonov--Bohm Hamiltonians.

xCPS: an xAct package for covariant phase space, Noether charges, and entropy

2026-05-22T23:22:03Z

xCPS is an xAct tensor algebra package for symbolic computations within the covariant phase space formalism of field theories. From a generic Lagrangian, xCPS automates the derivation of equations of motion and symplectic currents. It systematically determines whether an infinitesimal transformation in the space of fields is a Noether symmetry and computes the associated Noether charge. Additionally, xCPS can in many cases determine whether a tensorial expression is a divergence and, if so, find its divergence potential. By implementing vertical exterior calculus through a graded, supercommutative wedge product and vertical operators, the package enables efficient computations in gauge theories and higher-derivative models of gravity, including the derivation of thermodynamic quantities like Wald's entropy. xCPS is open-source under the GPL license and available at https://github.com/juanmargalef.

Braided quantum mechanics and Majorana qubits at third root of unity: a color Heisenberg-Lie (super)algebra framework

2026-05-22T21:49:48Z

We introduce color Heisenberg-Lie (super)algebras graded by the abelian groups $Z_3^2$, $Z_2^p\times Z_3^2$ for $p=1,2,3$, and investigate the properties of their associated multi-particle quantum paraoscillators. In the Rittenberg-Wyler's color Lie (super)algebras framework the above abelian groups are the simplest ones which induce mixed brackets interpolating commutators and anticommutators. These mixed brackets allow to accommodate two types of parastatistics: one based on the permutation group (beyond bosons and fermions in any space dimension) and an anyonic parastatistics based on the braid group. In both such cases the two broad classes of paraparticles are given by parabosons and parafermions. Mixed-bracket parafermions are created by nilpotent operators; they satisfy a generalized Pauli exclusion principle leading to roots-of-unity truncations in their multi-particle energy spectrum (braided Majorana qubits and their Gentile-type parastatistics are recovered in this color Lie superalgebra setting). Mixed-bracket parabosons do not admit truncations of the spectrum; the minimal detectable signature of their parastatistics is encoded in the measurable probability density of two indistinguishable parabosonic oscillators in a given energy eigenstate.

A Matrix Model for Higher-Genus Fuss--Catalan Numbers

2026-05-22T21:29:31Z

The genus--g Fuss--Catalan (FC) number counts the number of ways to obtain a genus-g surface by identifying the edges of a pn--gon via p-valent hyperedges. For p=2 these are the genus--g Catalan numbers which are generated as the trace correlations in the Gaussian matrix model (GUE). Here we construct a simple two-matrix model which generates the higher-genus Fuss--Catalan numbers for any p as the coefficients of its 1/N-expansion. We obtain exact sum rules and an explicit formula for the higher-genus Fuss--Catalan numbers which generalises the Harer--Zagier formula to p>2. We discuss the relation of the higher-genus FC numbers to the intersection numbers and the Euler characteristic of the moduli space of spin-p curves.

Random close packing fraction of bidisperse discs: theoretical derivation

2026-05-22T21:23:02Z

Predicting theoretically the highest density, which a disordered packing of discs can achieve, has been a long-standing unresolved problem. Such predictions are hindered by two difficulties - the dependence of the density on the packing procedure and ensuring disorder. A theory that overcomes these difficulties has been developed recently for mono-disperse disc packing~\cite{Bl21}. However, to minimise order, experiments and numerical simulations often use two-size discs and a prediction of the highest possible packing fraction, $φ_{RCP}$, for these packings is arguably more useful. This problem is more complex because in such packings, $φ_{RCP}$ is not a number but a function of the sizes ratio, $D$, and concentrations, $p$, of the disc types. A disorder-guaranteeing theory is formulated here to derive $φ_{RCP}(p,D)$ under some assumptions, using the concept of the cell order distribution. Exact upper and lower bounds on the densest disordered packing fraction are also derived.

Associative Structures in Pseudo-Riemannian Lie Algebras

2026-05-22T20:45:18Z

This paper investigates the algebraic and geometric consequences of the associativity of the symmetric part $U$ of the Levi-Civita connection on a pseudo-Riemannian Lie algebra $(\mathfrak{g}, \langle \cdot, \cdot \rangle)$. We demonstrate that in the Riemannian (positive-definite) setting, the associativity of $U$ is an extremely restrictive condition that forces the tensor to vanish identically, thereby recovering the class of bi-invariant metrics. In contrast, in the pseudo-Riemannian setting, we focus on the subclass where $(\mathfrak{g}, U)$ is associative and unimodular. As a primary result, we establish that every connected Lie group endowed with a left-invariant pseudo-Riemannian metric whose $U$-tensor is associative and unimodular is geodesically complete. Finally, we explore the families of 2-step nilpotent and almost-abelian Lie algebras. For the latter, we obtain some rigid structural classifications, showing that the paradigmatic models are the $3$-dimensional Heisenberg algebra with certain (anti)-Lorentzian metrics or a semi-direct extension involving a nondegenerate infinitesimal $β$-transformation on the canonical neutral space $W \oplus W^*$.

New inverse problems for a time-switched system of wave and diffusion equations

2026-05-22T20:26:59Z

We study two new classes of inverse problems for a time-switched system in which a fractional wave equation (with Caputo derivative of order $α\in (1,2)$) governs the dynamics on the interval $[0,a)$, and a fractional diffusion equation (with Caputo derivative of order $β\in (0,1)$ taken with respect to the switching point $t=a$) governs the dynamics on $(a,b]$. The two problems differ in which part of the transmitting condition at the interface $t=a$ is regarded as unknown. In both cases the overdetermination data consist of a single spatial measurement of the solution at a fixed time $ξ\in (a,b)$. Using the spectral expansion method with respect to the classical Sturm-Liouville eigensystem on $[0,1]$, we reduce each problem to a sequence of coupled scalar Cauchy problems involving the two-parameter Mittag-Leffler function. Explicit series representations for the solution $u(t,x)$ and the unknown interface functions $h(x)$ and $\bar{h}(x)$ are derived. Uniform convergence of the resulting infinite series and their relevant derivatives is established through four auxiliary lemmas, using the decay estimates for the Mittag-Leffler function, integration-by-parts arguments, the Cauchy--Schwarz inequality, and the Weierstrass $M$-test. A uniqueness and existence theorem is stated for Problem~1 under explicit Sobolev-type regularity conditions on the data, with an analogous result for Problem~2.

Quantized thermal current vortices

2026-05-22T19:25:44Z

The thermal Hall effect has emerged as a fundamental tool for probing exotic quasiparticles and topological order, particularly in magnetic insulators where electronic conduction is suppressed. Much like skyrmions, which are characterized by their topologically protected spin configurations, the thermal Hall effect is deeply rooted in the geometric properties of the underlying physical space. Although the effect is a well-established experimental phenomenon, current research points toward the existence of its quantum analogue: the quantized thermal Hall effect. In this paper, we provide a theoretical framework for this quantum version based on Sommerfeld's flux quantization. Furthermore, we demonstrate the potential existence of dissipationless thermal current vortices. We suggest that these vortices may play a crucial role in the stability and dynamics of other topological structures, such as skyrmion lattices, offering a new perspective on the interplay between heat transport and magnetic textures.

On almost periodicity in crystalline measures

2026-05-22T17:45:41Z

Meyer defined crystalline measures as tempered distributions $μ$ such that both $μ$ and its Fourier transform $\widehatμ$ are pure-point Radon measures of locally finite support. He conjectured that every crystalline measure is almost periodic as a tempered distribution. Favorov constructed a counterexample and asked whether crystalline measures are at least almost periodic as general distributions. To resolve Favorov's question, we first show that the almost periodicity of a crystalline measure is characterised in terms of its translation boundedness, in any class of Radon measures, tempered distributions, or general distributions. We then construct a crystalline Fourier eigenmeasure that fails to be translation bounded even as a distribution. We finally construct a crystalline measure that fails to be a~Fourier quasicrystal (in particular, it fails to be slowly increasing), but it is an almost periodic tempered distribution whose Fourier transform is even a norm almost periodic measure. Our examples fully resolve the questions of Meyer and Favorov and sharply delineate the class boundary of translation boundedness. They also demonstrate the unusual behaviour of crystalline measures beyond the class of Fourier quasicrystals.