Exact Geometric Typicality and Bipartite Entanglement from the Projected Central Limit Theorem on Hyperspheres

2026-06-04T13:53:10Z

Starting from the exact Projected Central Limit Theorem on hyperspheres, we rederive the Beta distribution for subsystem occupation probabilities and Lubkin's purity formula from elementary hyperspherical moments, quantifying the finite-size ``platykurtic'' suppression of tails relative to the Gaussian approximation used in standard eigenstate-thermalization and typicality treatments. Our main new result concerns the bipartite quantum mutual information $\langle I(A{:}B)\rangle$ for Haar-random pure states. We show that its full asymptotic expansion in $1/N$ admits a Bernoulli-factorized form in which every order $k \ge 1$ carries the symmetric factor $(d_A^{2k}-1)(d_B^{2k}-1)$ and all higher odd-order corrections vanish identically. Through an exact algebraic reorganization of Page's formula (conjectured in Ref.~\cite{Page1993} and subsequently proven~\cite{Foong1994, SanchezRuiz1995, Sen1996}), we establish that the leading finite-size correction separates into a dominant $\mathfrak{su}(d_A) \otimes \mathfrak{su}(d_B)$ bipartite quantum coherence contribution $(d_A^2 - 1)(d_B^2 - 1)/(2N)$ and a subtracted classical-probability (Cartan $\otimes$ Cartan) contribution $(d_A - 1)(d_B - 1)/(2N)$, and we trace this separation to the difference between diagonal and eigenvalue entropies via Schur's majorisation theorem, with the dimensional counts $(d-1)$ and $(d^2-1)$ acquiring meaning through the Cartan structure of the generalised Bloch decomposition. These results admit a single non-perturbative closed form: the exact typical mutual information factors as $\langle I(A{:}B)\rangle = (d_A^2-1)(d_B^2-1)\,\mathcal{G}(d_A,d_B,d_E)$, with $\mathcal{G}$ given by an explicit Bose--Einstein integral whose asymptotic expansion in $1/N$ reproduces the Bernoulli series.

Non-Perturbative Closed Form for the Typical Bipartite Mutual Information of Haar-Random States

2026-06-04T13:46:02Z

The average bipartite quantum mutual information $\langle I(A{:}B)\rangle$ of Haar-random pure states can be expressed exactly through Page's formula in terms of digamma functions. We show that this quantity admits a single non-perturbative closed form: $\langle I(A{:}B)\rangle = (d_A^2-1)(d_B^2-1)\,\mathcal{G}(d_A,d_B,d_E)$, where $\mathcal{G}$ is given by an explicit convergent integral over a Bose--Einstein kernel. The overall factor $(d_A^2-1)(d_B^2-1)=\dim[\mathfrak{su}(d_A)]\cdot\dim[\mathfrak{su}(d_B)]$ is exact, not merely asymptotic. The asymptotic expansion of $\mathcal{G}$ in $1/N$ yields a Bernoulli-factorised series whose coefficients involve $ζ(1{-}2k)$; this series diverges, and our integral is its exact Borel sum. The integral representation also makes $\langle I\rangle < (d_A^2{-}1)(d_B^2{-}1)/(2N)$ manifest via a scale-inversion symmetry of the kernel. Our derivation traces the mutual information's structure to an exact decomposition of Page's entropy into a diagonal (Dirichlet) contribution and a Schur-majorisation eigenvalue correction, whose assembly into the mutual information cleanly separates classical from quantum correlations.

"True" self-avoiding walks on general trees

2026-06-04T12:27:48Z

We study the asymptotic behavior of ``true" self-avoiding random walks on general infinite locally finite trees. In this model, the walk starts at the root and, at each step, from its current vertex chooses a neighboring edge to traverse with probability proportional to the current weight of that edge, where the weight of each edge after being traversed $n$ times is given by $w(n)=\exp(-βn)$. We show that the process exhibits a sharp phase transition between recurrence and transience. The critical value is determined by the branching-ruin number of the tree, which coincides with the Hausdorff dimension of the boundary of the tree under a suitable metric. We prove that the walk is almost surely transient when the branching-ruin number is greater than $1/2$, and recurrent when it is less than $1/2$. This resolves an open question posed by Kosygina.

Asymptotics of the Hankel determinant and orthogonal polynomials arising from the information theory of MIMO systems

2026-06-04T11:56:43Z

We consider the Hankel determinant and orthogonal polynomials with respect to the deformed Laguerre weight $w(x; t) = {x^α}{\mathrm e^{ - x}}{(x + t)^λ},\; x\in \mathbb{R}^{+} $ with parameters $α> -1,\; t > 0$ and $λ\in \mathbb{R}$. This problem originates from the information theory of single-user multiple-input multiple-output (MIMO) systems studied by Chen and McKay [{\em IEEE Trans. Inf. Theory} {\bf 58} ({2012}) {4594--4634}]. By using the ladder operators for orthogonal polynomials with general Laguerre-type weights, we obtain a system of difference equations and a system of differential-difference equations for the recurrence coefficients $α_n(t)$ and $β_n(t)$. We also show that the orthogonal polynomials satisfy a second-order ordinary differential equation. By using Dyson's Coulomb fluid approach, we obtain the large $n$ asymptotic expansions of the recurrence coefficients $α_n(t)$ and $β_n(t)$, the sub-leading coefficient $\mathrm p(n, t)$ of the monic orthogonal polynomials, the Hankel determinant $D_n(t)$ and the normalized constant $h_n(t)$ for fixed $t\in\mathbb{R}^{+}$. We also discuss the long-time asymptotics of these quantities as $t\rightarrow\infty$ for fixed $n\in\mathbb{N}$. The large $n$ and large $t$ asymptotics of the above quantities are very important for the study of the asymptotics of the mutual information distribution and two fundamental quantities (the outage capacity and the error probability) for single-user MIMO systems.

Integrable Deformations of the Breitenlohner-Maison Model from 4d Chern-Simons Theory

2026-06-04T11:16:11Z

We derive integrable deformations of the 2d Breitenlohner-Maison (BM) sigma model that describes the stationary, axisymmetric sector of 4d general relativity, as well as higher-rank generalisations thereof, using the framework of 4d Chern-Simons theory. In particular, we consider deformations of the boundary conditions and action of the 4d Cole-Weck model, which lead to deformations of the BM model associated with solutions to the homogeneous and inhomogeneous classical Yang-Baxter equations respectively.

Liouville-Preserving Hamiltonian Scattering on Finite Metric Graphs

2026-06-04T10:15:51Z

A metric graph with a mechanical Hamiltonian on each edge does not, by itself, define a deterministic classical motion through a branching vertex: conservation of energy fixes only the outgoing speed, not the outgoing edge-end. We study the deterministic problem obtained after this missing vertex datum is supplied. On each edge $e$, with coordinate $q\in[0,\ell_e]$, the Hamiltonian is $H_e(q,p)=p^2/2+V_e(q)$, where $V$is continuous on the graph and $C^2$ on every edge. At each vertex we prescribe an energy-preserving Borel isomorphism from incoming to outgoing nonzero boundary covectors. The resulting phase space is the measurable quotient that identifies each incoming boundary covector with its prescribed outgoing one. After excluding the finitely many energy levels $V(v)$, the edgewise Hamilton equations and the vertex laws concatenate to a global one-parameter group of bimeasurable transformations. The group preserves energy and the quotient measure induced by the edgewise Liouville measures $dq\,dp$. The proof uses no smooth symplectic structure on the quotient; the invariance follows from ordinary edgewise Liouville invariance, a uniform no-Zeno estimate on compact regular energy windows, and preservation of the transverse Liouville flux $r\,dr$ by the speedwise vertex permutations. If the vertex laws are compatible with momentum reversal, then the quotient dynamics is reversible. On regular energy surfaces satisfying the usual regular-value condition, the induced time-parametrization measure is invariant as well.

Limit theorems for walks and triangles on Erdös-Rényi random graphs with large interaction radius

2026-06-04T09:39:50Z

We study cumulants of numbers of $q$-step walks on Erd\H os-Rényi random graphs with distance-dependent edge probability in the limit when the number of vertices $N$, concentration $c$, and interaction radius $R$ tend to infinity. These cumulants can be associated with a formal cumulant expansion of the free energy of matrix models of exponential random graphs widely known in mathematical and theoretical physics. We show that in three different asymptotic regimes, the limiting values of $k$-th cumulants ${\cal F}_k^{(q)}$ exist and can be associated with one or another family of tree-type diagrams, in dependence on the asymptotic behavior of parameters $cR/N$ for $q$-step non-closed walks and $c^2R/N^2$ for 3-step closed walks, respectively. In some cases, we obtain explicit expressions for ${\cal F}_k^{(q)}$ with the help of a modified Prüfer codification. These results allow us to prove Limit Theorems for the number of non-closed walks and for the number of triangles in corresponding ensembles of large random graphs. We indicate an asymptotic threshold that separates the normal probability distribution and the Poisson one for the number of triangles in random graphs. We show that in the random graph ensemble that we consider the average vertex degree can be bounded from above while the total number of triangles infinitely increases, thus rigorously solving a graph collapse problem known in applications.

Family Floer SYZ conjecture for $A_n$ singularity

2026-06-04T08:57:25Z

We resolve a mathematically precise SYZ conjecture for $A_n$ singularity by building a quantum-corrected T-duality between two singular torus fibrations related to the Kähler geometry of the $A_n$-smoothing and the Berkovich geometry of the $A_n$-resolution, respectively. Our approach involves novel computations that embody a non-archimedean version of the partition of unity, and it confirms the strategy that patching verified local singularity models brings global SYZ conjecture solutions (like K3 surfaces) within reach. There is also explicit extra evidence concerning the collision of singular fibers and braid group actions. On one hand, we address the central challenge of matching SYZ singular loci identified by Joyce. In reality, we construct not merely an isolated SYZ mirror fibration partner, but a parameter-dependent one that always keeps the matching singular loci plus integral affine structure, even when the collision of singular fibers occurs. On the other hand, our SYZ result displays a visible tie, regardless of the parameter choice, between the $(A_n)$-configuration of Lagrangian spheres occurred as vanishing cycles in the $A_n$-smoothing and the exceptional locus of rational $(-2)$-curves in the $A_n$-resolution, which aligns with the celebrated works of Khovanov, Seidel, and Thomas.

Dirac operators for infinite-dimensional color Lie algebras

2026-06-04T07:33:03Z

We construct cubic Dirac operators and relative cubic Dirac operators for infinite-dimensional quadratic $\mathbb{Z}$-graded color Lie algebras with finite-dimensional components. These operators are defined in completions of the quantum Weil algebra determined by the $\mathbb{Z}$-grading. The same grading fixes the normal-ordering convention. The failure of the normally ordered Casimir to be central, and of the normally ordered cubic Dirac operator to be $\mathfrak{g}$-invariant, is measured by a color analogue of the Kac-Peterson class. If this class is trivial, the Casimir admits a central correction and the cubic Dirac operator admits a corrected $\mathfrak{g}$-invariant form. For the corrected (relative) cubic Dirac operators, we establish Parthasarathy-type square formulas. We also extend the Chern-Weil homomorphism to completed $\mathfrak{g}$-differential algebras and identify the classical element whose quantization is the cubic Dirac operator with the Chern-Simons element associated with the quadratic invariant polynomial defined by $B$. As applications, we consider symmetrizable Kac-Moody superalgebras. In this setting the Kac-Peterson class is trivial, with primitive given by the Weyl vector. For the affine Kac-Moody superalgebra associated to $\mathfrak{osp}(1\vert 2n)$, we compute $\mathrm{ker}\operatorname{D}_{\mathfrak{g},\mathfrak{g}_{\bar{0}}}^{2}$ on integrable highest weight supermodules. We then apply the relative square formula to $ω$-unitarizable highest weight supermodules and obtain a Dirac inequality giving necessary conditions for unitarity. Finally, under assumptions satisfied by Kac-Moody superalgebras such as $\widehat{\mathfrak{sl}}(m\vert n)$, we identify the Dirac kernel with Lie superalgebra cohomology.

BV construction of SUSY vertex algebras from SUSY factorization algebras

2026-06-04T04:57:57Z

We construct $N=1$ supersymmetric (SUSY) vertex algebras from supersymmetric enhancements of Costello--Gwilliam factorization algebras on super Riemann surfaces. Introducing SUSY factorization algebras defined on embedded SUSY disks together with natural symmetry conditions, we prove a SUSY analogue of the Costello--Gwilliam extraction theorem. As an application, we study the holomorphic sigma model in the BV formalism. For a linear target, we obtain the free $bc$-$βγ$ system and recover its structure as a SUSY vertex algebra. For general complex targets, we describe the descent of the theory under coordinate changes and identify the resulting SUSY vertex algebra with the chiral de Rham complex. We further show that Ricci-flat Kähler and hyperkähler targets give rise to $N=2$ and $N=4$ supersymmetric enhancements introduced by Ben-Zvi--Heluani--Szczesny.

On Quantum Aspects of 1-Form Symmetries I: BV-BRST Cohomology and Anomaly Polynomials

2026-06-04T03:37:36Z

We investigate the quantum aspects of gauging continuous 1-form global symmetries. In this paper, we study the BV-BRST quantization of a $U(1)$ 2-form gauge field, described geometrically by a $U(1)$ gerbe. Starting from the local Čech data of the gerbe, we construct the corresponding infinitesimal symmetry structure in terms of a Lie 2-algebroid, and show that, together with the associated exact Courant algebroid, it provides a natural geometric framework for the BV-BRST complex of this higher-form gauge theory. In this formulation, the field-ghost tower is encoded directly in the local gerbe data, and the higher Russian formula arises naturally from the relations among the connective structure, the curving, and the 3-form curvature. We further show that the resulting Čech-de Rham bicomplex provides a natural setting for anomaly descent for $U(1)$ 1-form symmetries, and illustrate the construction with explicit examples in Maxwell theory.

Transcranial FUS Therapy and Monitoring using Nonlinear Acoustics

2026-06-04T02:55:27Z

Focused ultrasound (FUS) offers a promising, non-invasive method for modulating neural activity and delivering therapies deep within the brain with immense clinical potential. However, progress in developing transcranial ultrasound (TUS) for clinical applications has been hindered by several factors. The complexity of the human skull causes focal aberrations and attenuation, thereby presenting a major obstacle to the precise targeting of ultrasound waves. Although phased arrays can correct for these aberrations, their high cost and continuous reliance on magnetic resonance imaging (MRI) pose significant obstacles for widespread academic research and clinical translation. To address these challenges, this thesis proposes an innovative framework for the design, registration, and clinical application of acoustic holograms. First, we introduce a novel frequency-domain topology optimization method that overcomes the breakdown of traditional phase-only designs in the megahertz regime by accounting for volumetric wave-propagation effects, thereby achieving high-fidelity focusing. Second, we present a non-invasive registration strategy that utilizes the nonlinear parametric array (PA) effect to enable precise lens alignment without requiring any imaging modalities, such as MRI. Finally, we demonstrate the utility of this nonlinear parametric array (PA) effect as a tool for monitoring ventricular dilation as a non-invasive proxy for intracranial pressure changes in hydrocephalus. Collectively, these developments provide a path toward accessible, high-precision transcranial ultrasound systems for research and clinical use. In addition, we demonstrate a novel platform for in vitro focused ultrasound neuromodulation that leverages acoustics to advance therapeutic discovery.

A stochastic model for fog forecasting

2026-06-04T02:12:33Z

Despite significant advancements in parameterizations of boundary layer processes, forecasting, and nowcasting low-level clouds using numerical models remain challenging. The purpose of this study is to test a prototype of a high-resolution stochastic-deterministic model designed to simulate the life cycle of fog cover based on the Ising model from statistical mechanics. The case of advection fog around St. John's Airport in Newfoundland (Canada) has been considered. The model demonstrates promising capabilities in forecasting mean fog cover and replicating the horizontal structure observed in satellite imagery, including bands, rolls, and closed or open cells. We evaluate the model's predictive skill by analyzing its effectiveness in reproducing the evolution of fog cover across three representative cases. A contingency table and associated performance metrics are used to assess its accuracy.

Harnessing Eversion Buckling for Ideal Omnidirectional Energy Absorption

2026-06-04T02:10:20Z

Thin shells can undergo large shape changes governed by the competition between bending and membrane energies. Here, we identify an instability mechanism in everted toroidal shells, referred to as eversion buckling. After eversion, the axisymmetric configuration may either remain stable or lose stability through symmetry breaking, depending on geometry. A scaling analysis reveals a dimensionless parameter that characterizes the ratio between membrane and bending energies. This parameter defines a critical threshold separating a bistable regime, where the axisymmetric everted state persists, from a monostable regime, where the shell collapses into a non-axisymmetric configuration. The transition is consistent with a pitchfork-type bifurcation, leading to collapse without a preferred in-plane direction. Finite element simulations and experiments validate the proposed scaling and the associated stability boundary across different shell geometries. In the bistable regime, individual everted shells exhibit rapid snap-through accompanied by large volumetric contraction and show limited sensitivity of the critical response to boundary constraints. Building on this mechanism, assemblies of such shells form granular systems with a stable stress plateau and high energy absorption efficiency. These results provide a mechanics-based framework for designing shell-based systems with robust and direction-insensitive energy absorption.

Variational Inverse Problems for Second Order ODEs with and without Constraints

2026-06-04T01:04:23Z

Many physical systems with or without nonholonomic constraints have a Lagrangian description. In the first case, the Lagrangian model can be represented by second-order ODEs that are constrained to a submanifold of velocities; in the latter case the ODEs are unconstrained. In this paper, using geometric techniques, we address the more general inverse problem: ``When can a given constrained or unconstrained system of second order ODEs on a manifold be the representation of a Lagrangian model?''. We show that the constrained case has many more ambiguities and complexities than its well-understood, unconstrained counterpart.