Papers

The Seiberg-Witten prepotential of four-dimensional $\mathcal{N}=2$ gauge theory can be reached by two recursions of very different nature, and this thesis compares them explicitly. The first part is a self-contained review of the microscopic side: the ADHM construction as a hyperkähler quotient, the supersymmetric measure on the instanton moduli space, Seiberg-Witten theory, and the one- and two-instanton contributions computed by non-commutative resolution and localisation. The second part introduces the $\Omega$-background and Nekrasov's partition function, and uses the AGT correspondence to turn Zamolodchikov's recursion for Virasoro conformal blocks into a recursion for the instanton partition function. For pure $SU(2)$, this recursion is run up to five instantons, including the first corrections in $\epsilon_1,\epsilon_2$. In the last part, the same quantities are obtained from the Eynard-Orantin topological recursion on the Seiberg-Witten curve, which yields the Taylor expansion of the prepotential around an arbitrary point of the Coulomb branch. For pure $SU(2)$ we give the Bergman kernel and the $B$-periods of $\omega_{0,3}$, $\omega_{0,4}$ and $\omega_{1,1}$ in closed form. They reproduce the instanton series generated by Zamolodchikov's recursion, remain valid at strong coupling, where they detect the massless monopole, and at genus one give the first correction to the self-dual $\Omega$-background. The two recursions are thus complementary: one is exact in the vacuum expectation value and perturbative in the instanton number, the other is exact in the instanton parameter and perturbative around a fixed vacuum. We formulate a conjecture relating the $B$-periods of $\omega_{g,n}$ to the derivatives of the genus-$g$ free energy, and list open problems.

We present two results derived from the sharp log-Sobolev inequality for the uniform measure on a complete graph which concern the von Neumann entropy and the Entanglement of Formation of a state of finite and infinite-dimensional quantum systems. The first result is a sharp Lipschitz lower semicontinuity bound for the von Neumann entropy at any mixed state $\rho$ with uniform positive spectrum (i.e. a state proportional to a projector) w.r.t. the fidelity deficit: the inequality $\,S(\rho)-S(\sigma)\leq C_\rho(1-F(\rho,\sigma))\,$ valid for any state $\sigma$, where $C_{\rho}$ is a constant depending on the rank of $\rho$. The second result is a sharp Lipschitz lower semicontinuity bound for the Entanglement of Formation at any pure state $\rho$ with uniform positive spectrum of marginal states w.r.t. the fidelity deficit: the inequality $\,E_F(\rho)-E_F(\sigma)\leq C_\rho(1-\mathrm{Tr}\rho\sigma)\,$ valid for any state $\sigma$, where $C_{\rho}$ is a constant depending on the Schmidt rank of $\rho$. In both cases the optimal constant $C_\rho$ is equal to the optimal constant $K_{d}$ in the log-Sobolev inequality for the complete graph with $d$ vertices: in the first case $d=\mathrm{rank}\rho$, in the second one $d=\mathrm{rank}\rho_A=\mathrm{rank}\rho_B$. The authors are grateful to GPT 5.6 for valuable discussion and technical help in preparing this note.

A weighted dynamical version $\mathbf{Z}_f$ of the classical Ihara zeta function is presented on connected finite regular graphs, expressed in terms of weighted periodic orbit data. We establish its meromorphic continuation, with poles given by the resonances of the associated non-backtracking transfer operator acting on a suitable Banach space, and compute its residues. At simple spectral parameters, the residue of $\mathbf{Z}_f$ is identified with the invariant Ruelle distribution on the graph phase space. Combining this result with a relation obtained by Arends-Palmirotta, we further derive Patterson-Sullivan and Wigner residue formulae. This provides a finite-graph analogue of residue formulae for weighted dynamical zeta functions for geodesic flow on rank one locally symmetric spaces, in the spirit of Schütte-Barkhofen-Weich.

We show that for positive semidefinite $A$ and $B$ the relative entropy can be written as $D(A\|B)=2\int a\log(a/b)\,\mathrm{d}\mu_{A,B}(a,b)$, where $\mu_{A,B}$ denotes Heinävaara's tracial joint spectral measure. This allows us to obtain a unified derivation of several known integral representations of relative entropy from scalar equalities. Scalar inequalities can be used in the same way to derive Pinsker-type bounds. We further show that the testing curve $t\mapsto \mathrm{tr}[A-tB]_+$ is piecewise affine exactly when $A$ and $B$ commute, which is equivalent to their testing region being a polygon. This gives a characterization of noncommutativity through the curvature. As further applications, we derive inequalities for relative entropy variance and the loss of relative entropy under positive trace-preserving maps.

The two-dimensional one-component plasma forms a droplet in the case that the one-body potential is proportional to the number of charges. Our interest is in studying the large $N$ form of the corresponding partition function, with the plasma confined to the surface of the cylinder. The one-body potential is (up to technical restrictions) allowed to be arbitrary in the direction of the axis of the cylinder, whereas the coupling is restricted to the exactly solvable value $\beta = 2$. It is demonstrated that a change of variables can be made to an annular droplet plasma model, up to a certain Jacobian factor. The latter can be interpreted as the characteristic function of a certain linear statistic, which generalises the original aim of our study to also analysing the large $N$ form of the characteristic function for the annular droplet plasma model. While this is well known in the case of soft wall boundary conditions, our analysis (based on Laplace's method applied to certain integrals, and the Euler-Maclaurin summation formula) covers the case of one or two hard walls at the boundary, or inside, of the droplet for which the soft edge formulas are shown to no longer hold. Use of this to study the large $N$ expansion of the cylinder partition function requires knowledge of the same expansion in the annular case. This is not available in the case of two hard walls inside the droplet, which we treat instead via a direct analysis. In distinction to the case of the annular partition function, the large $N$ expansion of the logarithm of the cylinder partition function is found to always have no term proportional to $\log N$, independent of the presence of hard walls.

Quasi-exactly solvable (QES) deformations of harmonic and singular oscillators have been widely studied via a range of approaches. In this paper, we obtain families of new QES deformations of solvable quantum systems associated with exceptional orthogonal polynomials (EOPs). The construction builds upon the theory of Darboux-Crum transformations and the classification of exactly solvable quantum systems associated with EOPs of Hermite type. It is shown that the deformations break the exact solvability of the undeformed systems and introduce model parameters into the deformed systems that permit the existence of a finite number of polynomial solutions whose roots satisfy systems of algebraic equations. The new families presented and studied consist of deformations of quantum systems related to Hermite EOPs of type III with arbitrary codimensions. We present polynomial and rational deformations and analyze, in each case, the conditions for quasi-exact solvability in terms of Bethe ansatz equations and parameter constraints. In general, the structures of the underlying polynomial solutions are no longer associated with well-known classical orthogonal polynomials. So for the general cases, we mainly focus on presenting the new approach as well as the Bethe ansatz equations and the constraints for model parameters. As applications, we construct particular families of QES deformations related to solvable models allowing one, two, and up to four gaps, and obtain the closed form expressions for their wavefunctions and spectra. We analyze the existence of QES solutions in the spaces of model parameters, providing information on the number of solutions for given parameters.

We propose spectral and spectral-element methods for accurately computing many eigenvalues of the Schrödinger operator with Robin boundary condition on simple and complex geometries, respectively. Due to their spectral-type accuracy in approximating those eigenfunctions corresponding to high-index eigenvalues, which are usually highly oscillatory, the proposed approaches have excellent resolution in computing thousands of eigenvalues accurately and efficiently with the resolution property that the number of eigenvalues with reasonable accuracy is proportional to the number of degrees of freedom. Using a standard HPC node with 128 GB of memory, we can obtain numerically more than 5,000 reliable eigenvalues with relative errors below $10^{-8}$ for different complex domains in two dimensions (2D). Based on these computed eigenvalues, we first confirm some theoretical results on the Robin-to-Neumann (RtN) gaps of the Laplacian operator in 2D, which were recently studied by Rudnick et al. [Comm. Math. Phys. 388 (2021)]. Then we systematically study the RtN gaps of the Schrödinger operator and their convergence rates. Based on our extensive numerical results, we formulate a unified conjecture on the cumulative averages of the RtN gaps of the Schrödinger operator.

We survey a geometric approach to the Navier-Stokes equations developed by the author over the past fifteen years. The central object is a Riemannian space of fourteen dimensions whose metric is Ricci-flat precisely on the solutions of the Navier-Stokes system, so that the behaviour of a viscous incompressible fluid becomes a property of curvature. The space decomposes into a flat six-dimensional part and two dual quadruples of coordinates, Eulerian and Lagrangian, which exhibits the two classical descriptions of a fluid as two halves of a single geometry. We also recall the associated six-dimensional metric, whose integrability condition is the incompressibility of the fluid; the link with the projective geometry of second-order ordinary differential equations in the sense of E. Cartan; and the use of Cartan's invariants to construct a three-dimensional analogue of the Taylor-Green vortex. An application of the same construction to the equations of rotation of a rigid body is indicated.

We describe in explicit detail the rich relationship between division algebras, split composition algebras, triality, Clifford algebras, spinors, triality Lie algebras, generalized reflections, exceptional magic square Lie algebras, triality eigenspaces, 3-symmetric spaces, Vinberg theta algebras, and Exceptional Unification in particle physics.

We study an entanglement transition at logarithmic depth in random hypercube linear optical networks. Starting from an initial Gaussian state with all modes squeezed, we prove that random hypercube linear optical networks on $n$ modes generate ensemble-averaged subsystem entanglement within a constant factor of its maximum in all subsystems at circuit depth $\Theta(\log n)$. Below depth $\log_2n$, there is an extensive subsystem with no entanglement. The entanglement generation in logarithmic depth can be compared to recent progress towards $O(\log n)$ depth average-case sampling hardness for Gaussian boson sampling in a hypercube network.

We consider the spectrum of the Orr-Sommerfeld operator, which is obtained from the linearized Navier-Stokes (LNS) operator near a laminar flow in an infinite two-dimensional channel in the large Reynolds number limit. For a rather general class of laminar flows, which behave locally near the boundary like a Couette flow and are bounded from below (above) by a linear increasing (decreasing) function, we show that there exists an eigenvalue of the LNS operator which coincides, to leading order, with the eigenvalue of LNS near Couette flow, which was formally obtained by Wasow in 1953.

We study the polynomial generalized Korteweg–de Vries family \[ u_t+P_m(u)u_x+\kappa u_{xxx}=0,\qquad \kappa\neq0, \] where $P_m$ is a real polynomial of degree $m\ge1$. The purpose is not to generate isolated closed-form waves, but to identify the structural threshold at which pole-type Painlevé behavior and elliptic traveling-wave geometry are simultaneously lost. A Weiss–Tabor–Carnevale dominant-balance calculation gives the universal principal exponent $p=-2/m$. Hence only $m=1$ and $m=2$ can possess a principal Laurent branch with integer pole order; their resonance sets are respectively $\{-1,4,6\}$ and $\{-1,3,4\}$. These two sectors are, after affine and Galilean transformations, the KdV and modified KdV equations, so their compatibility conditions and complete-integrability structures are inherited from the classical hierarchies. In contrast, every degree $m\ge3$ has a fractional leading exponent and therefore fails the strong WTC pole criterion at the first step. The results provide a concise bridge between singularity analysis, Hamiltonian form, algebraic-curve genus and exact nonlinear waves.

Quantifying properties of quantum states through the limits of their manipulation is a central goal of quantum resource theories. For symmetry breaking, the quantum geometric tensor (QGT) governs asymptotic pure-state conversion, but a complete characterization for general mixed states has remained elusive. Here we fully resolve this problem for finite-dimensional systems under compact Lie group symmetries in the i.i.d. asymptotic regime. Specifically, we establish a single-letter formula for the optimal conversion rate between arbitrary states, with vanishing trace-distance error, in the resource theory of asymmetry. The rate is determined by a one-parameter family of metric adjusted QGTs, obtained by rescaling quantum Fisher information (QFI) matrices that interpolate between the symmetric logarithmic derivative and right logarithmic derivative (RLD) QFIs. For pure states, the RLD endpoint recovers the standard QGT. No state-independent finite subset of this family suffices in general, even for $U(1)$ symmetry, revealing a qualitative distinction from pure-state conversion. Our formula further yields an exact pure-state distillation-rate formula in terms of a single asymmetry measure, characterizes asymptotically reversible interconversion, and identifies bound asymmetry for quantum clocks. Complementarity among members of the metric adjusted QGT family also reveals an activation mechanism: a state with zero conversion rate to a mixed clock state can still enhance another input's yield under joint processing. Our proof relies on two developments of independent interest. First, we extend quantum local asymptotic normality to unitary models with arbitrary rank and spectral degeneracy. Second, we characterize convertibility between quantum Gaussian shift models in terms of the same one-parameter family of QFIs.

The Clifford hierarchy is a nested sequence of sets of quantum gates that can be fault-tolerantly performed using gate teleportation within standard quantum error correction schemes. The importance of these gates has motivated numerous studies of their structure. Zeng-Chen-Chuang conjectured in 2007 that all hierarchy gates are generalised semi-Clifford, i.e. take the form $C_1 \Pi D C_2$ for Clifford gates $C_1, C_2$, a permutation gate $\Pi$, and a diagonal gate $D$; Beigi-Shor proved in 2008 that this holds for all third-level gates. We construct a five-qubit gate that is in the fifth level of the Clifford hierarchy but is not generalised semi-Clifford. Rather than simply present and verify our counterexample to the generalised semi-Clifford conjecture, we show how its form can be deduced. Our counterexample also demonstrates that the Clifford hierarchy is not closed under inverses.

We show that the inference problem of constraining the parton distribution functions of the proton from deeply inelastic scattering data can be formulated as a linear tensor reconstruction inverse problem. This means that instead of fitting model parameters to the world data, a reconstructive approach to solve a system of coupled linear functional integral equations can be formulated. We leverage the mathematical structures of the integral equations defined by perturbative QCD and global analysis to pose the problem of global analysis as a coupled system of linear integral equations, and construct a proof-of-principle methodology to solve it. To formulate this approach concretely, we review all next-to-leading order accuracy results for inclusive virtual photon, neutral current, charged current, heavy flavor production, and neutrino deep-inelastic lepton–proton scattering. This mathematical methodology of inference opens a path towards a model-bias-free extraction of the proton PDFs from the world data of deeply inelastic scattering in the spirit of indirect measurement employed in mathematical inverse problems, including robust estimation of uncertainties with reduced bias from model parametrization, while closely adhering to the established paradigm of perturbative QCD and global analysis.

We construct canonical chiral $\mathcal N=(0,1)$ sigma models on Spin(7) manifolds. The Spin(7) structure fixes the rank-seven bundle of the left-moving fermions, whose quadratic index matches the tangent representation, so the internal anomalies cancel while the rank difference leaves the gravitational anomaly of one right-moving Majorana–Weyl fermion. A transverse section of the left-moving bundle has a 1D zero locus with induced String structure, and we compute its class in the first torsion group of topological modular forms. The class is nonzero precisely when the Euler characteristic of the target is odd. The standard Joyce action on the torus has no internal finite-group anomaly and can be gauged to define an exact chiral spin QFT. We show that the orbifold Euler characteristic is even throughout the diagonal Joyce family generated by coordinate reflections and half-shifts preserving the Cayley form. By contrast, a free antiholomorphic quotient of the Fermat sextic is a compact torsion-free Spin(7) target with Euler characteristic 1305 and realizes the nonzero class.

We develop tools to compute moduli spaces of geometric functorial field theories as mapping spaces of equivariant simplicial presheaves. Given a d-dimensional geometric structure F, presented as a presheaf on the site of smooth families of d-manifolds, we define its Cartesian realization, which is an O(d)-equivariant simplicial presheaf on the site of Cartesian spaces. We use Cartesian realizations to present the moduli space of functorial field theories with geometric structure F as a mapping space between O(d)-equivariant simplicial presheaves. In a companion paper, we use this result to compute the moduli space of smooth one-dimensional oriented Riemannian functorial field theories valued in an arbitrary smooth symmetric monoidal infinity-category.

The Katz-Long-Moody construction associates to a representation of the semidirect product of a free group and a braid group, defined by the Artin action, and a nonzero parameter a new representation of the same group. On the pure braid group it corresponds to Haraoka's multiplicative middle convolution for KZ-type equations. For unitary input and a convolution parameter on the unit circle other than one, the construction equips the quotient representation with a canonical non-degenerate invariant Hermitian form. We give a closed formula for its signature in terms of the eigenangles of the input local monodromies, the eigenangles of their ordered product, and the convolution parameter. The formula accounts for the kernel of the form before passage to the quotient and for signature changes at resonant parameters. It determines precisely when the induced form is definite, answering the definiteness problem posed in the companion paper. Definiteness implies unitarizability of the output representation; the converse holds when that representation is irreducible. The proof uses elementary linear algebra: a determinant identity, explicit block-pivot formulas, and an inertia formula for sums of Cayley transforms of unitary matrices. As applications, we compare the rank-one construction explicitly with Haraoka's invariant form for Pochhammer systems, recover the Gauss case of the Beukers-Heckman interlacing criterion, and determine the definite parameter intervals for the Hecke and Temperley-Lieb specializations.

In this paper, we develop a new approach to studying the Fourier transform of Gaussian multiplicative chaos. We determine the Fourier dimension of these random measures on tori for every smooth log-correlated covariance and in every dimension, and prove sharp bounds and exact formulas for chaos on natural classes of bounded sets and hypersurfaces in Euclidean space. These results highlight how boundary geometry and multifractal concentration jointly govern Fourier decay, including regimes in which the boundary strictly reduces the Fourier dimension. In the circle setting, this gives a substantially simpler new proof of a conjecture of Garban and Vargas.

Entanglement Distance (ED) was originally proposed as a geometric measure of entanglement derived from the Fubini-Study metric on the projective Hilbert space. Independently, the Meyer-Wallach and Scott measures quantify multipartite entanglement via linear entropy. In this work, we demonstrate that these two seemingly distinct frameworks are mathematically identical for pure states of arbitrary finite dimensions. We prove that ED arises naturally as the trace of the Fubini-Study metric tensor over the local subalgebra of observables. Crucially, this geometric unification yields a direct operational interpretation: the global entanglement of a pure state is exactly proportional to the total Quantum Fisher Information (QFI) available for local unitary estimation. This bridges abstract information geometry with quantum metrology, demonstrating that ED dynamically quantifies resourcefulness for distributed quantum sensing, identifying Heisenberg-limited sensitivity in regimes where standard variance-based witnesses fail.

We prove a delocalisation bound for eigenvectors of Wigner matrices with the precise relationship between the size of the largest entry and the decay exponent of the probability. We also prove that the largest entry of an individual eigenvector and the largest entry of all eigenvectors are both Gumbel distributed. The proof is based on the inclusion-exclusion principle, the small probability comparison of Erdős–Xu, and partial diagonalisation of Gaussian divisible matrices.

We study a random Schrödinger operator with a potential distributed according to a Poisson process. Asymptotic expansions for traces of resolvents in the limit of small disorder are derived. Explicit estimates for the expansion coefficients are given and we show that their infinite volume limits are finite as the spectral parameter approaches the spectrum of the free Laplacian. As an application we derive bounds on the integrated density of states.

The random-cluster model with cluster parameter \(0<q<1\) is conjectured to exhibit negative dependence, but even pairwise negative correlation between distinct edges remains open on general finite graphs. We first establish a reduction showing that the pairwise conjecture is equivalent to its restriction to regular graph sequences of diverging degrees $(d_n)$, even for edge pairs at distance \(o(d_n/\log d_n)\). We then prove strict pairwise negative correlation for a broad class of high-degree regular graph sequences satisfying a two-scale edge-isoperimetric condition. More precisely, for every fixed \(p\in(0,1)\), all sufficiently large graphs in the sequence have strictly negative covariance between any two distinct edge indicators at distance \(o(d_n/\log d_n)\), uniformly in \(q\in[0,1)\) and in the choice of the two edges. In particular, the result includes the \(q=0\) endpoint, corresponding to Bernoulli bond percolation conditioned to be connected. The isoperimetric hypothesis is satisfied by high-degree expander families and, with probability tending to one, by uniformly random regular graphs of diverging degree; its two-scale form also allows product geometries such as hypercubes and fixed-side high-dimensional discrete tori. The proof is based on a polymer representation and cluster expansion, together with a geometric identification of the leading contribution to the two-edge correlation.

We prove that the system of Favre-filtered compressible Navier–Stokes equations with subgrid-scale closure terms, written in the coordinates $(Lt,Lx_1,Lx_2,Lx_3)$ for an arbitrary parameter $L>0$, is obtained from the system written in standard coordinates $(t,x_1,x_2,x_3)$ by the action of a smooth diffeomorphism of the underlying spacetime manifold. The proof begins with a self-contained treatment of infinite-dimensional manifolds and the Fréchet manifold of smooth field configurations. We then define the one-parameter dilation group $\{\phi_L\}_{L>0}$, verify that each $\phi_L$ is a diffeomorphism, and compute its tangent and cotangent actions. The induced pullback action on sections of the configuration bundle is shown to commute with the total derivative operator, which implies that the first-jet prolongation of $\phi_L$ maps the equation submanifold of the system onto itself. Equation-by-equation verification—continuity, momentum, and energy—confirms that every residual is multiplied by the common nonzero factor $L^{-1}$ (or, equivalently, is identically zero in the transformed coordinates), so that the solution set is preserved. We conclude that the family of systems parameterised by $L>0$ satisfies the diffeomorphism transformation expression and that solution spaces are canonically isomorphic for all $L$.

We prove that a scalar tau-symmetric Hamiltonian deformation of the Riemann hierarchy in generalized standard form is uniquely determined by the nonzero coefficient of $u_x^2$ and the coefficients of $u_{xx}^g$, $g\ge2$, in its first Hamiltonian density. This determines the original hierarchy up to normal Miura transformations. Combined with the construction of Hodge-class double ramification hierarchies by Buryak–Rossi, this establishes Hodge universality at nonzero dispersion.

Quantum theory does not generally permit the probability laws obtained from individual unitary steps by the Born rule to be sewn into a consistent genealogy; we classify the exceptions and show that faithful composition can hold from an initial boundary yet fail after an internal restart. For finite-dimensional, composition-closed unitary families, universal composition holds exactly for unitary monomials, the phase-dressed permutations whose Born kernels realize reversible deterministic state machines. Prescribed sequences evade this obstruction. We classify all pairs of qubit unitary steps, give a necessary-and-sufficient criterion for pairs of qutrit unitary steps, and prove that a boundary-stable unitary sequence on a $d$-dimensional Hilbert space contains at most $d$ fully mixing steps, with equality in every prime dimension. We also construct arbitrarily long genuinely mixing sequences that compose from their initial boundary but fail after an internal restart, and a qutrit-controlled two-qubit realization with active interference. We define a Born–Chapman–Kolmogorov current that vanishes exactly when coherent and stepwise-checked endpoint laws agree, together with an associated measure of how many bits the endpoint reveals about the intermediate checking schedule. This state-machine connection provides a foundation for a quantum theory of music, in which unitary operations are notes and temporal boundaries are cues. Musical-transition prediction is proved PromiseBQP-complete, and the stepwise patterns that preserve a genealogy specify rules for rhythm, whereas the exceptional failure of that genealogy from an internal cue is the quantum music paradox.

How does continuum operator structure appear in a finite qubit register? We address this question for analytic functions of diagonal operators represented in a binary basis, focusing on the Jordan–Lee–Preskill (JLP) momentum operator, by developing an operator-level generating-function framework for their Walsh-Pauli spectra. The construction determines the spectrum analytically and reveals exact support and parity selection rules, together with a nontrivial intra-shell hierarchy induced by the binary encoding. This provides a systematic characterization of Walsh compressibility and its relation to Pauli locality. As a controlled application, we consider generalized uncertainty-principle (GUP) kinematics as a tunable nonlinear odd deformation of momentum, showing how higher-order momentum terms redistribute spectral weight into progressively higher Pauli-weight sectors

We review recent progress on a model for the relativistic electron-positron field interacting with a classical electromagnetic field at positive temperature. The ultimate goal is to advance our comprehension of how thermal backgrounds affect polarisation mechanisms of this quantum system.

We ask how much of the geometry a charged particle moves in is fixed by its motion, and how much a particle must bring. We ask of a symplectic structure only that it relate velocity to momentum as Hamilton's equations do, and we ask it of every energy at once. In particular, we show that the structures meeting that demand are the canonical one and its twists by a closed two-form of the base. A field provides the two-form, a particle the multiplier before it, which we identify constitutively with its charge. Thus, a single energy governs a family of structures, and each particle takes the one its charge fixes. We then ask what a particle must bring to be given a momentum, and we show that the degree of that map settles the degree at which a field enters Newton's Second Law. An antisymmetric bilinear form returns no Lorentz force, whilst a Randers metric returns one — a length whose difference from a Riemannian one is linear in the velocity. Moreover, we find that metric already within the twisted structure, as its primitive over a level of the free energy, and its law of transport to be nonlinear, no affine connection being known to serve. Under an indefinite signature the length parts from the dynamics, and the extremals turn from shortest to longest. On the round sphere a monopole flux leaves no such metric, whilst the transport remains and prequantisation, given a unit of action, restricts the charge to a lattice. In this manner, we conclude that each charge-to-mass ratio receives a geometry of its own, so that by a functionalist criterion none of them is the spacetime of a charged particle.

We prove the black hole uniqueness conjecture in the axially symmetric, stationary, electrovacuum setting, subject to the refined asymptotic analysis of the associated singular harmonic maps, which includes an analyticity hypothesis at the axes. More precisely, it is shown that any asymptotically flat solution of the Einstein–Maxwell equations in this class, with more than one black hole horizon component is either: Majumdar–Papapetrou, up to a duality rotation, in which case all logarithmic angle defects vanish, or every finite axis rod logarithmic angle defect is strictly negative and hence every interaction force is strictly attractive. The proof extends the singular harmonic map method used for vacuum Kerr uniqueness in [18].