SearcharxivSearch

arXiv subjects

Andrew Corbett

Publications and source records attributed to Andrew Corbett.

11 recordsLinked to original sources

Supervised Distributional Reduction via Optimal Transport and Dependence Maximization

Learning representations that capture both intrinsic data geometry and target-relevant structure remains a fundamental challenge, particularly in settings where data reduction must balance compression with predictive fidelity. While distributional reduction-encompassing joint clustering and dimensionality reduction-offers a principled way to summarize data, its supervised variants remain relatively under-explored, despite the importance of retaining task-relevant signal for downstream prediction and decision-making. We propose Supervised Distributional Reduction (SDR), an algorithm for learning target-aware representations by combining optimal transport with explicit dependence maximization. SDR builds on the Fused Gromov-Wasserstein (FGW) objective to align the relational structure of the input distribution with a set of representative points, while augmenting it with a direct dependence term that encourages the learned embeddings to capture predictive signal more explicitly. This results in compact representations that reflect both geometric structure and supervision. Beyond representation learning, SDR naturally induces a data-dependent, non-stationary geometry that can be leveraged for settings such as Gaussian Process (GP) modelling. By redefining distances through target-aware distributional alignment, SDR enables the construction of adaptive kernels that respond to local variations in both data geometry and supervision, offering an optimal transport-based perspective on non-stationary kernel design.

cs.LG

Boosting Inference with Guided Reasoning: Stochastic Exploration for Recursive Models

Recent work on recursive architectures has shown that tiny neural networks can be surprisingly powerful on structured reasoning tasks. The trick is to model reasoning trajectories with a latent dynamical system. We argue that the inference-time behaviour of these architectures is best understood as approximate inference over latent reasoning trajectories, with deterministic recursion as the one-particle, zero-noise limit. We make this view operational through guided stochastic exploration: stochastic perturbations of the reasoning dynamics propose neighbouring trajectories, and the model's existing early-stopping head reweights them online. The framework yields three label-free diagnostics: local stability, guide alignment, and cloud-token entropy. These predict, from inference traces alone, whether the procedure will help and which of its outputs to trust. On Sudoku-Extreme it lifts exact-solve accuracy from $85.9\%$ to $98.0\%$ without retraining; on Maze-Hard the diagnostics flag a misaligned guide, as validation performance later confirms. The same machinery thus characterises both when recursive reasoning has room to improve at the trajectory level and when the model's internal guide can recover it.

cs.AI

Imbedding Deep Neural Networks

Continuous-depth neural networks, such as Neural ODEs, have refashioned the understanding of residual neural networks in terms of non-linear vector-valued optimal control problems. The common solution is to use the adjoint sensitivity method to replicate a forward-backward pass optimisation problem. We propose a new approach which explicates the network's `depth' as a fundamental variable, thus reducing the problem to a system of forward-facing initial value problems. This new method is based on the principle of `Invariant Imbedding' for which we prove a general solution, applicable to all non-linear, vector-valued optimal control problems with both running and terminal loss. Our new architectures provide a tangible tool for inspecting the theoretical--and to a great extent unexplained--properties of network depth. They also constitute a resource of discrete implementations of Neural ODEs comparable to classes of imbedded residual neural networks. Through a series of experiments, we show the competitive performance of the proposed architectures for supervised learning and time series prediction.

cs.LG

Vorono\"i summation for half-integral weight automorphic forms

A general Vorono\"i summation formula for the (metaplectic) double cover of $\text{GL}_2$ is derived via the representation theoretic framework \`a la Ichino--Templier. The identity is also formulated classically and used to establish Vorono\"i summation formulae for half-integral weight modular forms and Maa{\ss} forms.

math.NT

A symplectic restriction problem

We investigate the norm of a degree 2 Siegel modular form of asymptotically large weight whose argument is restricted to the 3-dimensional subspace of its imaginary part. On average over Saito-Kurokawa lifts an asymptotic formula is established that is consistent with the mass equidistribution conjecture on the Siegel upper half space as well as the Lindelof hypothesis for the corresponding Koecher-Maass series. The ingredients include a new relative trace formula for pairs of Heegner periods.

math.NT

The Transfer of Polarised Radiation in Homogeneous Water Bodies

We give an analytic solution for the propagation of polarised radiation through a homogeneous water body. As corollaries we derive the vector bidirectional reflectance distribution function at the bottom of an infinitely deep water body and compute the asymptotic radiance distribution. These have applications to polarised radiative transfer simulation in the inhomogeneous setting. Of independent interest, we give a concise variant formulation of the azimuthal decoupling via a complex Fourier transform which is applicable to radiative transfer models in general.

physics.optics

An explicit conductor formula for ${\rm GL}_n \times {\rm GL}_1$

We prove an explicit formula for the conductor of an irreducible, admissible representation of ${\rm GL}_n(F)$ twisted by a character of $F^{\times}$ where the field $F$ is local and non-archimedean. As a consequence, we quantify the number of character twists of such a representation of fixed conductor.

math.NT

Voronoï summation via switching cusps

We consider the Fourier expansion of a Hecke (resp.\ Hecke--Maaß) cusp form of general level $N$ at the various cusps of $Γ_{0}(N)\bs\Hb$. We explain how to compute these coefficients via the local theory of $p$-adic Whittaker functions and establish a classical Voronoï summation formula allowing an arbitrary additive twist. Our discussion has applications to bounding sums of Fourier coefficients and understanding the (generalised) Atkin--Lehner relations.

math.NT

On the order of vanishing of newforms at cusps

Let $E$ be an elliptic curve over $\mathbb{Q}$ of conductor $N$. We obtain an explicit formula, as a product of local terms, for the ramification index at each cusp of a modular parametrization of $E$ by $X_0(N)$. Our formula shows that the ramification index always divides 24, a fact that had been previously conjectured by Brunault as a result of numerical computations. In fact, we prove a more general result which gives the order of vanishing at each cusp of a holomorphic newform of arbitary level, weight and character, provided its field of rationality satisfies a certain condition. The above result relies on a purely $p$-adic computation of possibly independent interest. Let $F$ be a non-archimedean local field and $π$ an irreducible, admissible, generic representation of $\mathrm{GL}_2(F)$. We introduce a new integral invariant, which we call the \emph{vanishing index} and denote $e_π(l)$, that measures the degree of "extra vanishing" at matrices of level $l$ of the Whittaker function associated to the newvector of $π$. Our main local result writes down the value of $e_π(l)$ in every case.

math.NT

Voronoi summation for ${\rm GL}_n$: collusion between level and modulus

We investigate the Voronoi summation problem for ${\rm GL}_n$ in the level aspect for $n\geq 2$. Of particular interest are those primes at which the level and modulus are jointly ramified - a common occurrence in analytic number theory when using techniques such as the Petersson trace formula. Building on previous legacies, our formula stands as the most general of its kind; in particular we extend the results of Ichino-Templier. We also give (classical) refinements of our formula and study the $p$-adic generalisations of the Hankel transform.

math.NT

A proof of the refined Gan--Gross--Prasad conjecture for non-endoscopic Yoshida lifts

We prove a precise formula relating the Bessel period of certain automorphic forms on ${\rm GSp}_{4}(\mathbb{A}_{F})$ to a central $L$-value. This is a special case of the refined Gan--Gross--Prasad conjecture for the groups $({\rm SO}_{5},{\rm SO}_{2})$ as set out by Ichino--Ikeda and Liu. This conjecture is deep and hard to prove in full generality; in this paper we succeed in proving the conjecture for forms lifted, via automorphic induction, from ${\rm GL}_{2}(\mathbb{A}_{E})$ where $E$ is a quadratic extension of $F$. The case where $E=F\times F$ has been previously dealt with by Liu.

math.NT