Papers

We study spontaneous scalarization of static, spherically symmetric black holes in scalar–Gauss–Bonnet gravity with a Ricci coupling $F=1 \beta\phi^{2}/4+\gamma\beta^{2}\phi^{4}+O(\phi^{6})$ that nonlinearly completes the quadratic one. For arbitrary couplings and potential, we derive the near-horizon regularity condition and horizon curvature invariants in closed form; scalarized branches terminate where this condition degenerates, at finite horizon curvature. A weakly nonlinear expansion fixes the bifurcation direction exactly: for a massless scalar, its governing coefficient is quadratic in $\beta$, changes sign at $\beta=1.1156$, and depends linearly on a quartic self-interaction. At equal horizon values of the scalar, completions differ in mass, to leading order, in proportion to $\gamma$. A radial-perturbation master equation for arbitrary couplings confirms the exchange of stability at the bifurcation and turning points. Consequently, the domain of radially stable black holes shrinks as $\gamma$ increases over the range studied; it is smaller for the exponential completion than for the quadratic truncation.

Antipodal self-duality (ASD) is a remarkable property that relates an amplitude to itself, after performing a suitable kinematic map and reversing the letters of the symbol (more precisely, acting with the antipode of the Hopf algebra of multiple polylogarithms). ASD has been seen in only one process in planar $\mathcal{N}=4$ super-Yang-Mills theory, and its physical origin is unknown, motivating a search for ASD in other contexts. Recently, ASD was found to hold for square fishnet integrals in a strongly-deformed version of planar $\mathcal{N}=4$. In this paper, we investigate the properties of polynomials in ladder integrals under the ASD transformation that leaves the square fishnet invariant. Our basic building blocks are determinants of certain matrices of ladder integrals, that are labeled by partitions or Young diagrams, and automatically obey the Steinmann relations. We employ integrability-based representations of such determinants, which are essentially matrix-model integrals, and the theory of symmetric polynomials to find many more ASD quantities – linear combinations of determinants whose coefficients are expressed using the combinatorics of partitions. As a byproduct, we provide an alternate proof that square fishnet integrals obey ASD.

We establish duality relations for conditional entropies relative to subalgebras of arbitrary von Neumann algebras, including the Umegaki relative entropy as well as the sandwiched- and Petz-Rényi divergences. Even in finite dimensions, these results extend the familiar dualities for conditional entropies from tensor-product subsystems to general subalgebras, while also lifting the framework to the fully infinite-dimensional setting. As an application, we establish an infinite-dimensional extension of quantum Stein's lemma when the alternative hypothesis is the state space of a finite-index subalgebra, which gives an operational interpretation of the relative entropy to a subalgebra as the optimal asymptotic error exponent in composite quantum hypothesis testing-the first beyond finite dimensions.

We consider multi-dimensional quasiperiodic Schrödinger operators with monotone sawtooth-type potentials in the perturbative localization regime. We prove that a given gap is closed iff a corresponding (via a natural gap labeling) eigenfunction vanishes at the origin. Using this, we show that for a generic choice of the sampling function $f$, the spectrum of such an operator is a Cantor set, with all possible gaps being open. We also provide a class of functions $f$ for which some gaps are closed. Finally, we observe that certain gaps are more difficult to close than the others.

We construct an extensive model of bulk mutual information (MI) in anti-de Sitter spacetime and use it to describe the leading quantum corrections to the MI of certain holographic theories. The equivalence between bulk and boundary MI follows from the Faulkner–Lewkowycz–Maldacena prescription. We show that the extensivity of the bulk MI is sufficient for the quantum-corrected boundary entropy vector to satisfy monogamy of MI and all other holographic entropy cone inequalities. Our model is built from a covariantly conserved current-current kernel in AdS and is realized explicitly by a free massive Dirac fermion, whose boundary MI at long distances is that of a fermionic generalized free field (GFF). The construction also reproduces the expected short-distance divergence structure of a GFF, and the current-current correlator defines a positive and monotonically decreasing function along the renormalization-group flow. We illustrate this explicitly for disjoint half-disks at the conformal fixed point of the model in AdS$_3$, where we present the exact result.

In this paper, we give exact combinatorial expressions for all CUE joint moments on the unit circle, in the case that all exponents are even positive integers, yielding the corresponding asymptotics. We offer two equivalent expressions for these quantities: the first is a sum involving Kostka numbers; the second is related to counting integer matrices (magic squares). As an application of our results, we unify many results in the literature, which were previously disconnected. Moreover, we prove a conjecture of Basor et al. (2018) regarding an irregular conformal block structure.

We prove that, for every genus $g\geq 3$, the primary obstruction of each parity component of the moduli superstack of smooth unpunctured super Riemann surfaces is nonzero, both algebraically and holomorphically. Consequently, both components are non-projected and, in particular, non-split: neither admits an algebraic or holomorphic retraction onto its reduced moduli stack of spin curves.

We study gaugino condensates in $\mathcal{N}=1$ $SU(N)$ super-Yang–Mills theory on Eguchi–Hanson space using instanton methods. Fractional topological charge and the spectral asymmetry of the asymptotic $\mathbb{RP}^3$ boundary modify the instanton calculus. A charge-$\frac12$ instanton carries only two adjoint gaugino zero modes and can therefore contribute directly to the bilinear. Because the Eguchi–Hanson path integral prepares a boundary state on $\mathbb{RP}^3$, the observables are boundary-sector-projected amplitudes. Moreover, supersymmetric Ward identities ensure that chiral correlators are independent of insertion points and the Eguchi–Hanson resolution parameter. For $SU(2)$ instanton, with central holonomy, the full collective-coordinate integral gives $\langle\operatorname{tr}(\lambda\lambda)\rangle=16\pi^2\Lambda^3$ for a specified boundary projection, reproducing the flat-space value. For a single $SU(2)$-block embedding in $SU(N>2)$, the noncentral holonomy requires a continuum determinant for renormalization-group invariance, so zero modes alone do not determine the bilinear. We also study a charge-$1$ $SU(4)$ two-block saddle with central holonomy, $16$ bosonic moduli, and $8$ adjoint zero modes. Its collective-coordinate integral gives $\langle\prod_{i=1}^4\operatorname{tr}(\lambda\lambda)(x_i)\rangle=\frac16(16\pi^2\Lambda^3)^4$. Under the assumptions required for position independence and clustering, this result determines the fourth power of the bilinear condensate in the corresponding boundary sector. Since no independent bilinear calculation is available in the same sector, the factor $1/6$ does not by itself constitute a clustering puzzle.

We prove that the classical part of the Nicolai map for a supersymmetric free nonrelativistic particle moving on a Kähler manifold is linear in the Kähler metric and local for its velocity. Moreover, we give an exact expression for the one-loop correction of the map in terms of the Kähler potential and point out a direct way to higher loop order. This provides another example for the rare cases of exact Nicolai maps, and the first all-order one-loop result. As a check we have verified the Nicolai-map conditions to zero and one-loop order (free-action and determinant-matching). A graphical representation is given as well.

Neural network field theory specifies a Euclidean field theory by a network architecture and a density on its parameters, so that correlation functions are integrals over those parameters. We introduce constructive neural network field theory and use it to realize finite-volume scalar $\phi^4_2$ as a limit of network measures. For each dyadic momentum shell of the free propagator, the field is given a separate set of neurons with Gaussian coefficients, uniform phases, and frequencies drawn from the shell's spectral density. Once the frequencies and phases are fixed, integrating out one shell's coefficients is a finite-dimensional integral against a Gaussian density reweighted by the Wick-ordered quartic interaction. For widths that grow fast enough with the shell index and almost every draw of the frequencies and phases, the reweighted density is uniformly log-concave for every shell above a threshold, at any coupling in two and three dimensions, and the fluctuations of those shell fields are held to the free-field scale. In two dimensions, an induction over scales shows that shell $j$ contributes $O(2^{-2j}j^3)$ to the log partition function, and the total-variation distance between marginals at successive cutoffs is of the same order. Because these contributions are summable, the ultraviolet cutoff can be removed for any suitable fixed sequence of widths. Almost surely, the ultraviolet and infinite-width limits commute, and in either order the joint laws of finitely many smeared fields converge to those of the standard finite-volume $\phi^4_2$ measure. The method of parametrizing a field via a network organized into momentum shells and integrating out one shell at a time is not specific to $\phi^4_2$, so we expect it to extend to other theories.

We study the monic recurrence coefficients of the generalized Charlier polynomials associated with the discrete weight \[ \rho_\mu(k) = \frac{\mu^k}{(k!)^2}, \qquad k\in\mathbb N_0, \qquad \mu>0. \] We establish complete factorial asymptotics for the deviations $\beta_n-n$ and $\mu-\gamma_n$, proving that they are beyond all algebraic orders and appear at the scale $\mu^{n}/(n!)^2$. The key step is a parametrization $\beta_n-n=\sqrt{\mu}\,c_nc_{n+1}$, $\gamma_n=\mu(1-c_n^2)$, which reduces the problem to a positive sequence $(c_n)$ satisfying a discrete Painlevé II equation. Linearization around $c_n=0$ yields a discrete Bessel equation whose recessive solution is $J_n(2\sqrt{\mu})$. We prove that the ratio $c_n/J_n(2\sqrt{\mu})$ converges to a finite limit $L(\mu)$, which we identify exactly as $L(\mu)=1$ by combining Bessel comparison with a global analysis based on the sector decomposition of the associated Hankel determinant. This yields the exact connection formula \[ c_n \sim J_n(2\sqrt{\mu}), \qquad n\to\infty, \] and consequently the precise asymptotics \[ \beta_n-n\sim \frac{\mu^{n+1}}{n!(n+1)!}, \qquad \mu-\gamma_n\sim \frac{\mu^{n+1}}{(n!)^2}. \] We further develop a complementary approach based on Hankel determinants interpreted as a discrete logarithmic gas. We show that the Hankel determinant factorizes as $\Delta_n(\mu)=\mu^{n(n-1)/2}T_n(\mu)$ and admits a sector decomposition $T_n(\mu)=1+\sum_{q=1}^{n}S_q(\mu)$ with sector contributions independent of $n$. We establish $S_q(\mu)\sim e^\mu\mu^q/(q!)^2$, providing an independent derivation of the factorial corrections. Together, the Bessel comparison and sector decomposition reveal a rich integrable structure linking discrete Painlevé dynamics, Toda deformations, and Hankel–partition representations.

Given multiple uses of an unknown quantum channel, we determine whether it is a specified non-mixed-unitary channel or belongs to the set of mixed-unitary channels. Formulating this as a composite channel hypothesis testing problem, we characterize the Stein exponents achievable by parallel strategies under progressively weaker restrictions on probe states and auxiliary memory. In particular, we consider block-i.i.d. probes, which allow arbitrary correlations within blocks of fixed size while remaining i.i.d. across different blocks, and derive finite-letter expressions of the corresponding Stein exponents. Varying the block size, which interpolates between fully i.i.d. and arbitrary probes, together with further restrictions on intra-block correlations and access to auxiliary memory, results in a multifaceted hierarchy. We establish several strict separations within this hierarchy. Without auxiliary memory, we prove that fully i.i.d. probes yield a vanishing Stein exponent for every unital non-mixed-unitary channel, while blocks of three product probes suffice to obtain a strictly positive exponent for the qutrit Werner-Holevo channel. For block size two, although product probes seem to be insufficient for $O(3)$-covariant channels, an entangled probe achieves a strictly positive exponent for the qutrit Werner-Holevo channel, even though every maximally entangled probe fails. In contrast, access to auxiliary memory makes fully i.i.d. probes sufficient by yielding a strictly positive exponent for every non-mixed-unitary channel, even without requiring input-reference entanglement, and this exponent admits a lower bound determined by the diamond-norm distance from the mixed-unitary set. Moreover, for odd-dimensional Werner-Holevo channels, we find that this exponent is infinite, with every full-Schmidt-rank pure state being optimal.

We derive the half-space KPZ equation as a continuum limit from a general class of Ginzburg-Landau SPDEs under weak nonlinearity scaling. To our knowledge, this is the first half-space universality result for the KPZ equation beyond integrable models (and their perturbations).

The Kerr stability conjecture has been proved in the slowly rotating case, i.e., $|a|\ll m$, in the sequence of works \cite{KS-GCM1} \cite{KS-GCM2} \cite{KS:Kerr} by Sergiu Klainerman and the author, \cite{GKS22} by Elena Giorgi, Sergiu Klainerman and the author, and \cite{Shen} by Dawei Shen, and extended in \cite{Sze}, by the author, to the full subextremal range $|a|<m$, thereby completing the proof of the Kerr stability conjecture. The proof in \cite{Sze} crucially relies on the two companion papers \cite{MaSz24} \cite{MaSz26} by Siyuan Ma and the author, in which we prove energy-Morawetz estimates respectively for the scalar wave equation and for Teukolsky equations on perturbations of Kerr with $|a|<m$. In addition, two results in \cite{Sze}, concerning the derivation of the Teukolsky wave-transport system in perturbations of Kerr and energy-Morawetz estimates for Teukolsky in the setting of \cite{Sze}, are stated without proofs. The goal of the present paper companion paper to \cite{Sze} is to provide the proof of these two results.

Mutually unbiased bases (MUBs) describe quantum measurements for which certainty in one basis gives uniform outcomes in the others. Their maximum number remains unknown in dimensions that are not powers of a prime. We introduce an ansatz that, in many dimensions, allows us to construct more MUBs than have previously been found. Each basis in the ansatz consists of a diagonal phase matrix applied to a fixed unitary, which is a tensor product of Fourier matrices and, optionally, any real Hadamard matrix. This construction yields five MUBs in dimension 12, six in dimensions 48, 96, and 192, seven in dimensions 36 and 108, and ten in dimension 648. These bases can then be extended to exceed the tensor product bound, asymptotically, in every eighteenth dimension. Moreover, we show that Paley's real Hadamard matrix can be used to construct $q+1$ bases in dimension $d = q(q+1)$ for every prime power $q\equiv3\pmod4$. This count grows as $\sqrt d$ and cannot be exceeded by tensor products of smaller sets.

We uncover a connection between the classical limit of the Magnus expansion in quantum field theory and the Malvenuto-Reutenauer Hopf algebra of permutations. We study a cubic scalar theory describing a massive particle coupled to massless scalar quanta, which captures the propagator structure relevant to classical scattering in gravity and scalar QED. Using a Schwinger parametrisation of the massive propagators, we compute the classical limit of Magnus amplitudes at tree level in this theory. First, we prove that all hyperclassical contributions cancel at the level of the Schwinger proper-time integrand, before integration. Then, we show that the classical Magnus amplitude precisely matches expectations from worldline quantum field theory. Both results rely on cancellations of disconnected diagrams which we relate to the Hopf algebra, specifically to the action of the adjoint first Eulerian projector, which annihilates the shuffle products associated with disconnected contributions. Moreover, the worldline diagrams include generic directed-tree topologies, whereas the field-theory diagrams only include directed chains. The correspondence we establish between the two therefore leads to a new formula for generic Murua coefficients in terms of simpler directed chain coefficients. Finally, we observe a suggestive connection between Magnus amplitudes and the web-mixing matrices governing the exponentiation of multiple Wilson lines.

Characterising open quantum dynamics requires identifying the environmental degrees of freedom that shape the system's evolution. The memory dimension, defined as the size of the smallest effective memory needed to reproduce this influence, quantifies the dynamically relevant environmental resources and provides a common basis for comparing different many-body environments. Here we introduce a pseudo-control protocol that encodes information about the memory dimension in an experimentally accessible interference matrix, whose rank certifies a lower bound on this dimension without direct access to the environment or full process-tensor tomography. Applied to quantum many-body environments, the protocol allows flexible adjustment of the interaction and interval times, revealing how these parameters, environmental dynamics, and system-environment interactions shape detectable memory. Our approach provides a new operational technique for characterising open quantum dynamics and probing the structure of system-environment interactions through their memory signatures.

We develop a resurgent transseries approach to mock theta functions and show that the associated Mordell–Appell integrals underlie their modular and resurgent structure. From these integrals, we recover the modular transformation laws, obtain uniqueness characterizations of the mock theta vectors, provide a canonical crossing of their natural boundary, and produce new mock theta functions. After representing the Mordell–Appell integrals as Laplace transforms of elementary resurgent functions, we rotate the Laplace contour to a Stokes line. Their Stokes phenomena and their modular transformation laws reproduce those of the associated unary series and, combined with our uniqueness results, those of the mock theta functions. Conversely, we regard these modular transformation laws as functional equations governing the mock theta vectors. For Ramanujan's order-$3$ pair $(f,\omega)$ and the distinguished mock theta vectors of orders $5$, $7$, and $11$, satisfying the full $SL(2,\mathbb Z)$ transformation laws, we prove that these functional equations uniquely determine a holomorphic solution in the unit disk under canonical minimal-growth normalization. This unique solution is precisely the classical mock theta vector. We show that the normalization is essential: for orders $5$, $7$, and $11$ we determine explicit nontrivial solutions of the homogeneous problem, yielding new mock theta functions with faster-growing coefficients. Finally, we give two intrinsic and natural constructions for crossing the natural boundary $|q|=1$. The first continues the modular functional equations and takes their unique holomorphic solutions on the other side. The second acts on the resurgent asymptotic series at the cusp: we replace $\tau$ by $-\tau$ and apply Écalle–Borel summation. We prove that the constructions agree, giving a canonical and explicit boundary crossing.

Protocols for quantum state tomography can be characterized either by their sample complexity or by the tomographic rate function that governs the large deviation behaviour of error estimates. We establish a framework for the analysis of covariant protocols which allows us to compare these measures. First, we derive the rate functions for several protocols, including random purification-based protocols and the sample-optimal protocol of Haah et al. These rate functions are expressed in terms of a new family of divergences which includes the reverse sandwiched Rényi divergence and Keyl's annealed quantum relative entropy as special cases. We show that these rate functions obey a strict ordering, even though the sample complexity of each protocol is order optimal. We consider a different version of sample complexity based on Wasserstein distance rather than trace distance, and show that the ordering of the rate functions implies analogous strict inequalities for the Wasserstein-type sample complexity. Thus the tomographic rate function is a more fine-grained indicator of the performance of a tomography protocol than the usual sample complexity.

Measurement compatibility asks whether a family of quantum measurements can be simulated by one parent measurement followed by classical post-processing. We extend this measurement compatibility to the notion of \emph{$d$-compatibility} for measurements, channels, and instruments whose parent passes a $d$-dimensional quantum system and unlimited classical information to the post-processing. We formulate $d$-compatibility as a common linear factorization of operator spaces and operator systems and show that $d$-compatible families form a closed set, even with infinitely many settings and a separable infinite-dimensional input. To certify $d$-incompatibility, we define the compatibility functional as the smallest product of completely bounded norms over common factorizations through a $d$-dimensional register. Using factorization theory of operator spaces, we show that measure-and-prepare channels defined in terms of mutually unbiased bases and pinching channels defined in terms of Heisenberg-Weyl operators are $d$-incompatible in certain regimes of $d$. We also link $d$-compatibility of multi-instruments to the preparability of Choi assemblages using channel-state duality, and use this connection to show that for bipartite states the (in)compatibility of instruments can be used to certify Schmidt numbers and the implementability of the instrument using one-way LOCC protocols. Finally, our compatibility functional also bounds the generalized robustness of compatibility, which we interpret through a memory-bounded nontransient preparation game.

We study the closed and open Gromov–Witten potentials of the toric Calabi–Yau threefold $$ X_p=\operatorname{Tot}\bigl(\mathcal{O}_{\mathbb{P}^{1}}(p-1)\oplus\mathcal{O}_{\mathbb{P}^{1}}(-p-1)\bigr),\qquad p\geq 2. $$ We prove closed and open mirror symmetry under a nonvanishing condition on the torus weights, relating these potentials to topological recursion on the mirror curves. We establish polynomial structures for both the higher-genus closed potentials and the stable open potentials. We also establish double-scaling limits for topological recursion on the mirror curves. In particular, our results for the closed potentials prove the higher-genus ansatz and the double-scaling conjecture of Caporaso–Griguolo–Mariño–Pasquetti–Seminara.

Open quantum systems can rapidly lose most microscopic information, leaving only a few degrees of freedom to govern their long-time dynamics. Classical Markov state models (MSMs) describe such metastable dynamics as transitions among a few representative phases and are widely used to reduce complex-system dynamics in condensed matter and chemical physics. In quantum systems, however, phase labels alone are insufficient when coherence persists between metastable states. Even when the slow modes are known, their spectral projection need not produce valid quantum states. We construct quantum Markov state models (QMSMs) that describe the surviving information and its evolution on a small physical state space containing classical sectors and quantum matrix blocks. We quantify metastability by assuming that the evolution channel $\mathcal C$ changes little when applied a second time, with sufficiently small defect $\eta=\|\mathcal C^2-\mathcal C\|_\diamond$, and that the number of slow degrees of freedom is bounded independently of the full system size. Under these assumptions, we construct compression and reconstruction channels whose composition recovers every reduced state exactly, while the reverse composition gives an exactly idempotent channel approximating $\mathcal C$, answering Kitaev's exact-rounding question [Kit25]. Our constructions give an optimal diamond-norm bound of $\mathcal{O}(\eta^{1/3})$ on all input states, as well as an improved bound of $\mathcal{O}(\eta^{1/2})$ on metastable states prepared by $\mathcal C$, with constants depending only on the slow dimension. The reduced transition channel can be iterated to predict the microscopic dynamics with controlled error. We illustrate the QMSM through a weakly driven dissipative spin chain supporting either a metastable logical qubit or long-lived classical phases.

Quantum measurements and channels determine how information is extracted, encoded, and transmitted in quantum protocols. Optimizing their performance often requires numerical methods that remain practical as Hilbert space dimensions increase. The Reimpell-Werner iteration offers a practical approach to these tasks through repeated matrix updates that respect the constraints. Here, we generalize this iteration to linear objectives with arbitrary Hermitian cost matrices. We prove that the iterates converge to a global optimum whenever the initialization satisfies suitable support overlap conditions. For each fixed problem, choice of iteration parameters, and admissible initialization, $\mathcal{O}(1/\varepsilon)$ iterations suffice asymptotically to bring the objective value within $\varepsilon$ of the optimum. These results provide a rigorous foundation for the iteration and broaden the class of optimization problems to which its convergence guarantees apply.

Dynamic approaches to minimize the classical curvature-elasticity free energy for a fluid lipid membrane, are extended towards a Surface Beris–Edwards–Helfrich model. This extension explicitly treats the liquid crystal structure of the membrane, which results from the lipid molecules, that are, on average, oriented normal to the surface. Locally varying liquid crystal order leads to local variations in bending rigidities and surface viscosity and thus influences the shape evolution. This provides a multiscale coupling between the local membrane mechanics on the level of the lipids and the mesoscopic length and time scales of biological functions. The model is derived using the Lagrange–d'Alembert principle. We provide a numerical algorithm to solve the equations in the one-constant approximation and demonstrate the impact on the emerging equilibrium shapes, which not only depend on the specified conserved surface area and enclosed volume, as for the classical curvature-elasticity free energy, but also the elastic parameter. Exploring the dynamic evolution shows a tight coupling of tangential flow, shape evolution and liquid crystalline order. We further point to extensions towards lipid phase separation and asymmetric lipid bilayers.

We study discrete-time quantum trajectories of a finite-dimensional system in a disordered environment, where the instrument applied at each step is determined by an invertible measure-preserving dynamical system. For general quantum instruments on a standard Borel outcome space, we construct the quenched probability law on sequences of measurement outcomes for a fixed realization of the disorder and a given initial state. Under a quenched Doeblin condition with a uniform deterministic minorization constant and an environment-dependent minorizing probability measure, we establish the existence and uniqueness of an equivariant family of random posterior laws and identify its barycenter as the unique dynamically stationary state for the associated non-selective channel cocycle. If the environment is ergodic, we prove a pathwise ergodic theorem valid for every measurable choice of initial state: for almost every realization of the disorder, time averages of posterior states converge almost surely under the corresponding quenched law to the disorder average of the unique dynamically stationary state. For an ergodic environment, we establish quenched variance asymptotics and, when the asymptotic variance is positive, a central limit theorem and standardized Berry–Esseen bounds for additive functionals generated by bounded measurable real-valued functions of the environment and posterior state. These results hold for every measurable initial state and almost every disorder realization. We then show that the stationary annealed joint process of instruments and posterior states inherits the $\alpha$-mixing of the instrument process, up to an exponentially decaying term. Finally, we provide classes of examples involving perfect and imperfect measurements, including models with continuous or finite outcome spaces, that satisfy the standing Doeblin condition.

We investigate the Casimir effect of a massive, self-interacting real scalar field with quartic coupling in a $(3+1)$-dimensional Hořava-Lifshitz-type theory, subject to rough boundaries obeying Dirichlet boundary conditions. Using the effective action and generalized $\zeta$-function approach, we derive the renormalized effective potential, incorporating anisotropic scaling, boundary roughness, and temperature in the low-temperature regime. We determine the topological mass at one-loop order and the Casimir energy up to two loops. In the massless limit, the topological mass and the two-loop Casimir contribution exhibit infrared divergences for odd values $z>1$, associated with the absence of an intrinsic mass scale, while the one-loop Casimir energy remains finite. For $z=1$, the standard relativistic Dirichlet result is recovered in the zero-temperature and vanishing-roughness limits.

In the present paper, we extend the results in the sequence of works \cite{KS-GCM1} \cite{KS-GCM2} \cite{KS:Kerr} by Sergiu Klainerman and the author, \cite{GKS22} by Elena Giorgi, Sergiu Klainerman and the author, and \cite{Shen} by Dawei Shen from the slowly rotating regime $|a|\ll m$ to the full subextremal range $|a|<m$, thereby completing the proof of the Kerr stability conjecture. The restriction $|a|\ll m$ enters in fact only through the estimates for wave equations and for the Bianchi system established in \cite{GKS22}. To remove this restriction, we crucially rely on the two companion papers \cite{MaSz24} \cite{MaSz26} by Siyuan Ma and the author, in which we prove energy-Morawetz estimates respectively for the inhomogeneous scalar wave equation and for inhomogeneous Teukolsky equations on perturbations of Kerr with $|a|<m$. Additionally, some of the results of the present paper are proved in our companion paper \cite{Sze}.

We develop a theory of exact transmission of finite-dimensional $C^*$-algebras through quantum channels. These algebras describe hybrid classical-quantum information, allowing the dimension of the quantum system to depend on the classical message. Allowing arbitrary encodings and decodings yields a transmission set of algebra types, ordered by embedding, that unifies zero-error information theory with operator-algebraic error correction. We ask if this set admits a dominating algebra into which every transmittable algebra embeds. Our central finding is that domination can fail even in small dimensions. In its absence, several incomparable maximal algebras can describe different optimal uses of the same channel, forcing the user to select one depending on the operational task and the type of information to be preserved. We introduce hybrid capacities that reconstruct the only possible dominating algebra type and present a complete finite characterization of domination using minimal forbidden algebra types. We identify dominating algebras for channels whose operator systems are graph-isomorphic to $*$-algebras, including highly divisible channels, and for channels with zero one-shot zero-error quantum capacity. Under tensor products, we prove that joint coding can produce new algebra types, giving an algebraic analogue of superadditivity from Shannon theory. Domination can fail for the joint use of two channels, even when both channels separately admit dominating algebras. Finally, we construct a channel whose $n$-fold tensor powers have doubly exponentially many maximal algebra types, attaining the largest possible growth scaling for finite-dimensional channels. Consequently, new transmittable algebra types appear at arbitrarily large block-lengths for this channel, so its full transmission structure cannot be generated from any finite collection of bounded-block-length codes.

We review the discrete theory of differential-geometric Poisson brackets as introduced by B. A. Dubrovin, and we present a complete proof of their characterisation in the non-degenerate case. We use this characterisation to show several novel examples of such structures, providing a complete classification for non-degenerate four-dimensional differential-geometric Poisson brackets under the additional assumption of the Lie algebra to be of quasi-Frobenius type. We also present a complete classification of quasi-Frobenius filiform N-graded Lie algebras, including two families in arbitrary dimensions.

We investigate Lie groups endowed with left-invariant Lorentzian metrics of nonzero constant sectional curvature. We first revisit Heintze's theory and obtain a characterization of the Lie algebras of Riemannian Lie groups of negative constant curvature. We also extend classical results of Nomizu and Barnet to the pseudo-Riemannian setting by constructing a large family of Lie groups carrying incomplete left-invariant metrics of constant sectional curvature. We then describe Lorentzian Lie algebras of nonzero constant curvature according to the causal nature of their center and derived ideal. This description is complete except when the derived ideal is Lorentzian, for which we obtain a complete classification in dimension four. We show that every left-invariant Lorentzian metric of nonzero constant curvature on \(\mathrm{SL}(2,\mathbb R)\) is bi-invariant and complete. Moreover, a semisimple Lie group admits a complete left-invariant Lorentzian metric of nonzero constant curvature if and only if it is locally isomorphic to \(\mathrm{SL}(2,\mathbb R)\). We also characterize \(\mathrm{SL}(2,\mathbb R)\) through the existence of a noncentral spacelike left-invariant Killing vector field. Finally, we classify Lorentzian Lie algebras of nonzero constant curvature in dimensions at most four.