-
Exploring the Stratified Space Structure of an RL Game with the Volume Growth Transform
Authors:
Justin Curry,
Brennan Lagasse,
Ngoc B. Lam,
Gregory Cox,
David Rosenbluth,
Alberto Speranzon
Abstract:
In this work, we explore the structure of the embedding space of a transformer model trained for playing a particular reinforcement learning (RL) game. Specifically, we investigate how a transformer-based Proximal Policy Optimization (PPO) model embeds visual inputs in a simple environment where an agent must collect "coins" while avoiding dynamic obstacles consisting of "spotlights." By adapting…
▽ More
In this work, we explore the structure of the embedding space of a transformer model trained for playing a particular reinforcement learning (RL) game. Specifically, we investigate how a transformer-based Proximal Policy Optimization (PPO) model embeds visual inputs in a simple environment where an agent must collect "coins" while avoiding dynamic obstacles consisting of "spotlights." By adapting Robinson et al.'s study of the volume growth transform for LLMs to the RL setting, we find that the token embedding space for our visual coin collecting game is also not a manifold, and is better modeled as a stratified space, where local dimension can vary from point to point. We further strengthen Robinson's method by proving that fairly general volume growth curves can be realized by stratified spaces. Finally, we carry out an analysis that suggests that as an RL agent acts, its latent representation alternates between periods of low local dimension, while following a fixed sub-strategy, and bursts of high local dimension, where the agent achieves a sub-goal (e.g., collecting an object) or where the environmental complexity increases (e.g., more obstacles appear). Consequently, our work suggests that the distribution of dimensions in a stratified latent space may provide a new geometric indicator of complexity for RL games.
△ Less
Submitted 29 July, 2025;
originally announced July 2025.
-
A measure-valued HJB perspective on Bayesian optimal adaptive control
Authors:
Alexander M. G. Cox,
Sigrid Källblad,
Chaorui Wang
Abstract:
We consider a Bayesian adaptive optimal stochastic control problem where a hidden static signal has a non-separable influence on the drift of a noisy observation. Being allowed to control the specific form of this dependence, we aim at optimising a cost functional depending on the posterior distribution of the hidden signal. Expressing the dynamics of this posterior distribution in the observation…
▽ More
We consider a Bayesian adaptive optimal stochastic control problem where a hidden static signal has a non-separable influence on the drift of a noisy observation. Being allowed to control the specific form of this dependence, we aim at optimising a cost functional depending on the posterior distribution of the hidden signal. Expressing the dynamics of this posterior distribution in the observation filtration, we embed our problem into a genuinely infinite-dimensional stochastic control problem featuring so-called measure-valued martingales. We address this problem by use of viscosity theory and approximation arguments. Specifically, we show equivalence to a corresponding weak formulation, characterise the optimal value of the problem in terms of the unique continuous viscosity solution of an associated HJB equation, and construct a piecewise constant and arbitrarily-close-to-optimal control to our main problem of study.
△ Less
Submitted 18 February, 2025;
originally announced February 2025.
-
Linear and uniform in time bound for the binary branching model with Moran type interactions
Authors:
A M G Cox,
E Horton,
D Villemonais
Abstract:
In this note, we recall the definition of the binary branching model with Moran type interactions (BBMMI) introduced in [8]. In this interacting particle system, particles evolve, reproduce and die independently and, with a probability that may depend on the configuration of the whole system, the death of a particle may trigger the reproduction of another particle, while a branching event may trig…
▽ More
In this note, we recall the definition of the binary branching model with Moran type interactions (BBMMI) introduced in [8]. In this interacting particle system, particles evolve, reproduce and die independently and, with a probability that may depend on the configuration of the whole system, the death of a particle may trigger the reproduction of another particle, while a branching event may trigger the death of another particle. We recall its relation to the Feynman-Kac semigroup of the underlying Markov evolution and improve on the L 2 distance between their normalisations proved in [8], when additional regularity is assumed on the process.
△ Less
Submitted 30 January, 2025;
originally announced January 2025.
-
Continuity of the Distribution Function of the argmax of a Gaussian Process
Authors:
Matias D. Cattaneo,
Gregory Fletcher Cox,
Michael Jansson,
Kenichi Nagasawa
Abstract:
An increasingly important class of estimators has members whose asymptotic distribution is non-Gaussian, yet characterizable as the argmax of a Gaussian process. This paper presents high-level sufficient conditions under which such asymptotic distributions admit a continuous distribution function. The plausibility of the sufficient conditions is demonstrated by verifying them in three prominent ex…
▽ More
An increasingly important class of estimators has members whose asymptotic distribution is non-Gaussian, yet characterizable as the argmax of a Gaussian process. This paper presents high-level sufficient conditions under which such asymptotic distributions admit a continuous distribution function. The plausibility of the sufficient conditions is demonstrated by verifying them in three prominent examples, namely maximum score estimation, empirical risk minimization, and threshold regression estimation. In turn, the continuity result buttresses several recently proposed inference procedures whose validity seems to require a result of the kind established herein. A notable feature of the high-level assumptions is that one of them is designed to enable us to employ the celebrated Cameron-Martin theorem. In a leading special case, the assumption in question is demonstrably weak and appears to be close to minimal.
△ Less
Submitted 22 January, 2025;
originally announced January 2025.
-
The calculus of Duistermaat's triple index
Authors:
Gregory Berkolaiko,
Graham Cox,
Yuri Latushkin,
Selim Sukhtaiev
Abstract:
In this paper we develop a systematic calculus for the Duistermaat index, a symplectic invariant defined for triples of Lagrangian subspaces. Introduced nearly half a century ago, this index has lately been the subject of renewed attention, due to its central role in eigenvalue interlacing problems on quantum graphs (and more abstractly for self-adjoint extensions of symmetric operators). Here we…
▽ More
In this paper we develop a systematic calculus for the Duistermaat index, a symplectic invariant defined for triples of Lagrangian subspaces. Introduced nearly half a century ago, this index has lately been the subject of renewed attention, due to its central role in eigenvalue interlacing problems on quantum graphs (and more abstractly for self-adjoint extensions of symmetric operators). Here we give an axiomatic characterization of the index that leads to elementary proofs of its fundamental properties. We also relate the index to other quantities often appearing in symplectic geometry, such as the Hörmander--Kashiwara--Wall index and the Maslov index. Among other things, this leads to a curious formula for the Morse index of a difference of Hermitian matrices.
△ Less
Submitted 19 September, 2025; v1 submitted 30 December, 2024;
originally announced December 2024.
-
Stability of spectral partitions with corners
Authors:
Gregory Berkolaiko,
Yaiza Canzani,
Graham Cox,
Peter Kuchment,
Jeremy L. Marzuola
Abstract:
A spectral minimal partition of a manifold is a decomposition into disjoint open sets that minimizes a spectral energy functional. While it is known that bipartite minimal partitions correspond to nodal partitions of Courant-sharp Laplacian eigenfunctions, the non-bipartite case is much more challenging. In this paper, we unify the bipartite and non-bipartite settings by defining a modified Laplac…
▽ More
A spectral minimal partition of a manifold is a decomposition into disjoint open sets that minimizes a spectral energy functional. While it is known that bipartite minimal partitions correspond to nodal partitions of Courant-sharp Laplacian eigenfunctions, the non-bipartite case is much more challenging. In this paper, we unify the bipartite and non-bipartite settings by defining a modified Laplacian operator and proving that the nodal partitions of its eigenfunctions are exactly the critical points of the spectral energy functional. Moreover, we prove that the Morse index of a critical point equals the nodal deficiency of the corresponding eigenfunction. Some striking consequences of our main result are: 1) in the bipartite case, every local minimum of the energy functional is in fact a global minimum; 2) in the non-bipartite case, every local minimum of the energy functional minimizes within a certain topological class of partitions. Our results are valid for partitions with non-smooth boundaries; this introduces considerable technical challenges, which are overcome using delicate approximation arguments in the Sobolev space $H^{1/2}$.
△ Less
Submitted 4 November, 2024;
originally announced November 2024.
-
Unique continuation principles for finite-element discretizations of the Laplacian
Authors:
Graham Cox,
Scott MacLachlan,
Luke Steeves
Abstract:
Unique continuation principles are fundamental properties of elliptic partial differential equations, giving conditions that guarantee that the solution to an elliptic equation must be uniformly zero. Since finite-element discretizations are a natural tool to help gain understanding into elliptic equations, it is natural to ask if such principles also hold at the discrete level. In this work, we p…
▽ More
Unique continuation principles are fundamental properties of elliptic partial differential equations, giving conditions that guarantee that the solution to an elliptic equation must be uniformly zero. Since finite-element discretizations are a natural tool to help gain understanding into elliptic equations, it is natural to ask if such principles also hold at the discrete level. In this work, we prove a version of the unique continuation principle for piecewise-linear and -bilinear finite-element discretizations of the Laplacian eigenvalue problem on polygonal domains in $\mathbb{R}^2$. Namely, we show that any solution to the discretized equation $-Δu = λu$ with vanishing Dirichlet and Neumann traces must be identically zero under certain geometric and topological assumptions on the resulting triangulation. We also provide a counterexample, showing that a nonzero \emph{inner solution} exists when the topological assumptions are not satisfied. Finally, we give an application to an eigenvalue interlacing problem, where the space of inner solutions makes an explicit appearance.
△ Less
Submitted 6 May, 2025; v1 submitted 11 October, 2024;
originally announced October 2024.
-
Homology of spectral minimal partitions
Authors:
Gregory Berkolaiko,
Yaiza Canzani,
Graham Cox,
Jeremy L. Marzuola
Abstract:
A spectral minimal partition of a manifold is its decomposition into disjoint open sets that minimizes a spectral energy functional. It is known that bipartite spectral minimal partitions coincide with nodal partitions of Courant-sharp Laplacian eigenfunctions. However, almost all minimal partitions are non-bipartite. To study those, we define a modified Laplacian operator and prove that the nodal…
▽ More
A spectral minimal partition of a manifold is its decomposition into disjoint open sets that minimizes a spectral energy functional. It is known that bipartite spectral minimal partitions coincide with nodal partitions of Courant-sharp Laplacian eigenfunctions. However, almost all minimal partitions are non-bipartite. To study those, we define a modified Laplacian operator and prove that the nodal partitions of its Courant-sharp eigenfunctions are minimal within a certain topological class of partitions. This yields new results in the non-bipartite case and recovers the above known result in the bipartite case. Our approach is based on tools from algebraic topology, which we illustrate by a number of examples where the topological types of partitions are characterized by relative homology.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Delayed switching identities and multi-marginal solutions to the Skorokhod embedding problem
Authors:
Alexander M. G. Cox,
Annemarie M. Grass
Abstract:
In this article, we consider a generalisation of the Skorokhod embedding problem (SEP) with a delayed starting time. In the delayed SEP, we look for stopping times which embed a given measure in a stochastic process, which occur after a given delay time. Our first contribution is to show that the switching identities introduced in a recent paper of Backhoff, Cox, Grass and Huesmann extend to the c…
▽ More
In this article, we consider a generalisation of the Skorokhod embedding problem (SEP) with a delayed starting time. In the delayed SEP, we look for stopping times which embed a given measure in a stochastic process, which occur after a given delay time. Our first contribution is to show that the switching identities introduced in a recent paper of Backhoff, Cox, Grass and Huesmann extend to the case with a delay.
We then show that the delayed switching identities can be used to establish an optimal stopping representation of Root and Rost solutions to the multi-marginal Skorokhod embedding problem. We achieve this by rephrasing the multi-period problem into a one-period framework with delay. This not only recovers the known multi-marginal representation of Root, but also establishes a previously unknown optimal stopping representation associated to the multi-marginal Rost solution. The Rost case is more complex than the Root case since it naturally requires randomisation for general initial measures, and we develop the necessary tools to develop these solutions. Our work also provides a comprehensive and complete treatment of discrete Root and Rost solutions, embedding discrete measures into simple symmetric random walks.
△ Less
Submitted 7 December, 2023;
originally announced December 2023.
-
Invariable generation of certain branch groups
Authors:
Charles Garnet Cox,
Anitha Thillaisundaram
Abstract:
Let $G$ be a group. Then $S\subseteq G$ is an invariable generating set of $G$ if every subset $S'$ obtained from $S$ by replacing each element with a conjugate is also a generating set of $G$. We investigate invariable generation among key examples of branch groups. In particular, we prove that all generating sets of the torsion Grigorchuk groups, of the branch Grigorchuk-Gupta-Sidki groups and o…
▽ More
Let $G$ be a group. Then $S\subseteq G$ is an invariable generating set of $G$ if every subset $S'$ obtained from $S$ by replacing each element with a conjugate is also a generating set of $G$. We investigate invariable generation among key examples of branch groups. In particular, we prove that all generating sets of the torsion Grigorchuk groups, of the branch Grigorchuk-Gupta-Sidki groups and of the torsion multi-EGS groups (which are natural generalisations of the Grigorchuk-Gupta-Sidki groups) are invariable generating sets. Furthermore, for the first Grigorchuk group and the torsion Grigorchuk-Gupta-Sidki groups, every finitely generated subgroup has a finite invariable generating set. Our results apply to finitely generated groups in $\mathcal{MN}$, the class of groups whose maximal subgroups are all normal. We then obtain that any $2$-generated group in $\mathcal{MN}$ is almost $\frac{3}{2}$-generated, and end by applying this observation to generating graphs.
△ Less
Submitted 28 May, 2025; v1 submitted 23 November, 2023;
originally announced November 2023.
-
The Duistermaat index and eigenvalue interlacing for self-adjoint extensions of a symmetric operator
Authors:
Gregory Berkolaiko,
Graham Cox,
Yuri Latushkin,
Selim Sukhtaiev
Abstract:
Eigenvalue interlacing is a useful tool in linear algebra and spectral analysis. In its simplest form, the interlacing inequality states that a rank-one positive perturbation shifts each eigenvalue up, but not further than the next unperturbed eigenvalue. For different types of perturbations, this idea is known as Weyl interlacing, Cauchy interlacing, Dirichlet--Neumann bracketing and so on.
We…
▽ More
Eigenvalue interlacing is a useful tool in linear algebra and spectral analysis. In its simplest form, the interlacing inequality states that a rank-one positive perturbation shifts each eigenvalue up, but not further than the next unperturbed eigenvalue. For different types of perturbations, this idea is known as Weyl interlacing, Cauchy interlacing, Dirichlet--Neumann bracketing and so on.
We prove a sharp version of the interlacing inequalities for ``finite-dimensional perturbations in boundary conditions'', expressed as bounds on the spectral shift between two self-adjoint extensions of a fixed symmetric operator with finite and equal defect numbers. The bounds are given in terms of the Duistermaat index, a topological invariant describing the relative position of three Lagrangian planes in a symplectic space. Two of the Lagrangian planes describe the self-adjoint extensions being compared, while the third corresponds to the Friedrichs extension, which acts as a reference point.
Along the way several auxiliary results are established, including one-sided continuity properties of the Duistermaat triple index, smoothness of the (abstract) Cauchy data space without unique continuation-type assumptions, and a formula for the Morse index of an extension of a non-negative symmetric operator.
△ Less
Submitted 11 September, 2025; v1 submitted 11 November, 2023;
originally announced November 2023.
-
Symmetry and instability of marginally outer trapped surfaces
Authors:
Ivan Booth,
Graham Cox,
Juan Margalef-Bentabol
Abstract:
We consider an initial data set having a continuous symmetry and a marginally outer trapped surface (MOTS) that is not preserved by this symmetry. We show that such a MOTS is unstable except in an exceptional case. In non-rotating cases we provide a Courant-type lower bound on the number of unstable eigenvalues. These results are then used to prove the instability of a large class of exotic MOTSs…
▽ More
We consider an initial data set having a continuous symmetry and a marginally outer trapped surface (MOTS) that is not preserved by this symmetry. We show that such a MOTS is unstable except in an exceptional case. In non-rotating cases we provide a Courant-type lower bound on the number of unstable eigenvalues. These results are then used to prove the instability of a large class of exotic MOTSs that were recently observed in the Schwarzschild spacetime. We also discuss the implications for the apparent horizon in data sets with translational symmetry.
△ Less
Submitted 15 March, 2024; v1 submitted 3 November, 2023;
originally announced November 2023.
-
Hamiltonian spectral flows, the Maslov index, and the stability of standing waves in the nonlinear Schrödinger equation
Authors:
Graham Cox,
Mitchell Curran,
Yuri Latushkin,
Robert Marangell
Abstract:
We use the Maslov index to study the spectrum of a class of linear Hamiltonian differential operators. We provide a lower bound on the number of positive real eigenvalues, which includes a contribution to the Maslov index from a non-regular crossing. A close study of the eigenvalue curves, which represent the evolution of the eigenvalues as the domain is shrunk or expanded, yields formulas for the…
▽ More
We use the Maslov index to study the spectrum of a class of linear Hamiltonian differential operators. We provide a lower bound on the number of positive real eigenvalues, which includes a contribution to the Maslov index from a non-regular crossing. A close study of the eigenvalue curves, which represent the evolution of the eigenvalues as the domain is shrunk or expanded, yields formulas for their concavity at the non-regular crossing in terms of the corresponding Jordan chains. This, along with homotopy techniques, enables the computation of the Maslov index at such a crossing. We apply our theory to study the spectral (in)stability of standing waves in the nonlinear Schrödinger equation on a compact spatial interval. We derive new stability results in the spirit of the Jones--Grillakis instability theorem and the Vakhitov--Kolokolov criterion, both originally formulated on the real line. A fundamental difference upon passing from the real line to the compact interval is the loss of translational invariance, in which case the zero eigenvalue of the linearised operator is geometrically simple. Consequently, the stability results differ depending on the boundary conditions satisfied by the wave. We compare our lower bound to existing results involving constrained eigenvalue counts, finding a direct relationship between the correction factors found therein and the objects of our analysis, including the second-order Maslov crossing form.
△ Less
Submitted 18 April, 2023; v1 submitted 9 November, 2022;
originally announced November 2022.
-
A Generalized Argmax Theorem with Applications
Authors:
Gregory Cox
Abstract:
The argmax theorem is a useful result for deriving the limiting distribution of estimators in many applications. The conclusion of the argmax theorem states that the argmax of a sequence of stochastic processes converges in distribution to the argmax of a limiting stochastic process. This paper generalizes the argmax theorem to allow the maximization to take place over a sequence of subsets of the…
▽ More
The argmax theorem is a useful result for deriving the limiting distribution of estimators in many applications. The conclusion of the argmax theorem states that the argmax of a sequence of stochastic processes converges in distribution to the argmax of a limiting stochastic process. This paper generalizes the argmax theorem to allow the maximization to take place over a sequence of subsets of the domain. If the sequence of subsets converges to a limiting subset, then the conclusion of the argmax theorem continues to hold. We demonstrate the usefulness of this generalization in three applications: estimating a structural break, estimating a parameter on the boundary of the parameter space, and estimating a weakly identified parameter. The generalized argmax theorem simplifies the proofs for existing results and can be used to prove new results in these literatures.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
Binary branching processes with Moran type interactions
Authors:
Alexander M. G. Cox,
Emma Horton,
Denis Villemonais
Abstract:
The aim of this paper is to study the large population limit of a binary branching particle system with Moran type interactions: we introduce a new model where particles evolve, reproduce and die independently and, with a probability that may depend on the configuration of the whole system, the death of a particle may trigger the reproduction of another particle, while a branching event may trigge…
▽ More
The aim of this paper is to study the large population limit of a binary branching particle system with Moran type interactions: we introduce a new model where particles evolve, reproduce and die independently and, with a probability that may depend on the configuration of the whole system, the death of a particle may trigger the reproduction of another particle, while a branching event may trigger the death of an other one. We study the occupation measure of the new model, explicitly relating it to the Feynman-Kac semigroup of the underlying Markov evolution and quantifying the L2 distance between their normalisations. This model extends the fixed size Moran type interacting particle system discussed in [18, 19, 6, 7, 57] and we will indeed show that our model outperforms the latter when used to approximate a birth and death process. We discuss several other applications of our model including the neutron transport equation [36, 15] and population size dynamics.
△ Less
Submitted 10 April, 2024; v1 submitted 7 July, 2022;
originally announced July 2022.
-
Fredholm determinants, Evans functions and Maslov indices for partial differential equations
Authors:
Graham Cox,
Yuri Latushkin,
Alim Sukhtayev
Abstract:
The Evans function is a well known tool for locating spectra of differential operators in one spatial dimension. In this paper we construct a multidimensional analogue as the modified Fredholm determinant of a ratio of Dirichlet-to-Robin operators on the boundary. This gives a tool for studying the eigenvalue counting functions of second-order elliptic operators that need not be self-adjoint. To d…
▽ More
The Evans function is a well known tool for locating spectra of differential operators in one spatial dimension. In this paper we construct a multidimensional analogue as the modified Fredholm determinant of a ratio of Dirichlet-to-Robin operators on the boundary. This gives a tool for studying the eigenvalue counting functions of second-order elliptic operators that need not be self-adjoint. To do this we use local representation theory for meromorphic operator-valued pencils, and relate the algebraic multiplicities of eigenvalues of elliptic operators to those of the Robin-to-Robin and Robin-to-Dirichlet operator pencils. In the self-adjoint case we relate our construction to the Maslov index, another well known tool in the spectral theory of differential operators. This gives new insight into the Maslov index and allows us to obtain crucial monotonicity results by complex analytic methods.
△ Less
Submitted 15 June, 2022;
originally announced June 2022.
-
SDEs with no strong solution arising from a problem of stochastic control
Authors:
Alexander M. G. Cox,
Benjamin A. Robinson
Abstract:
We study a two-dimensional stochastic differential equation that has a unique weak solution but no strong solution. We show that this SDE shares notable properties with Tsirelson's example of a one-dimensional SDE with no strong solution. In contrast to Tsirelson's equation, which has a non-Markovian drift, we consider a strong Markov martingale with Markovian diffusion coefficient. We show that t…
▽ More
We study a two-dimensional stochastic differential equation that has a unique weak solution but no strong solution. We show that this SDE shares notable properties with Tsirelson's example of a one-dimensional SDE with no strong solution. In contrast to Tsirelson's equation, which has a non-Markovian drift, we consider a strong Markov martingale with Markovian diffusion coefficient. We show that there is no strong solution of the SDE and that the natural filtration of the weak solution is generated by a Brownian motion. We also discuss an application of our results to a stochastic control problem for martingales with fixed quadratic variation in a radially symmetric environment.
△ Less
Submitted 19 July, 2023; v1 submitted 5 May, 2022;
originally announced May 2022.
-
Computing nodal deficiency with a refined Dirichlet-to-Neumann map
Authors:
Gregory Berkolaiko,
Graham Cox,
Bernard Helffer,
Mikael Persson Sundqvist
Abstract:
Recent work of the authors and their collaborators has uncovered fundamental connections between the Dirichlet-to-Neumann map, the spectral flow of a certain family of self-adjoint operators, and the nodal deficiency of a Laplacian eigenfunction (or an analogous deficiency associated to a non-bipartite equipartition). Using a refined construction of the Dirichlet-to-Neumann map, we strengthen all…
▽ More
Recent work of the authors and their collaborators has uncovered fundamental connections between the Dirichlet-to-Neumann map, the spectral flow of a certain family of self-adjoint operators, and the nodal deficiency of a Laplacian eigenfunction (or an analogous deficiency associated to a non-bipartite equipartition). Using a refined construction of the Dirichlet-to-Neumann map, we strengthen all of these results, in particular getting improved bounds on the nodal deficiency of degenerate eigenfunctions. Our framework is very general, allowing for non-bipartite partitions, non-simple eigenvalues, and non-smooth nodal sets. Consequently, the results can be used in the general study of spectral minimal partitions, not just nodal partitions of generic Laplacian eigenfunctions.
△ Less
Submitted 5 February, 2022; v1 submitted 17 January, 2022;
originally announced January 2022.
-
Stability of spectral partitions and the Dirichlet-to-Neumann map
Authors:
Gregory Berkolaiko,
Yaiza Canzani,
Graham Cox,
Jeremy L. Marzuola
Abstract:
The oscillation of a Laplacian eigenfunction gives a great deal of information about the manifold on which it is defined. This oscillation can be encoded in the nodal deficiency, an important geometric quantity that is notoriously hard to compute, or even estimate. Here we compare two recently obtained formulas for the nodal deficiency, one in terms of an energy functional on the space of equipart…
▽ More
The oscillation of a Laplacian eigenfunction gives a great deal of information about the manifold on which it is defined. This oscillation can be encoded in the nodal deficiency, an important geometric quantity that is notoriously hard to compute, or even estimate. Here we compare two recently obtained formulas for the nodal deficiency, one in terms of an energy functional on the space of equipartitions of the manifold, and the other in terms of a two-sided Dirichlet-to-Neumann map defined on the nodal set. We relate these two approaches by giving an explicit formula for the Hessian of the equipartition energy in terms of the Dirichlet-to-Neumann map. This allows us to compute Hessian eigenfunctions, and hence directions of steepest descent, for the equipartition energy in terms of the corresponding Dirichlet-to-Neumann eigenfunctions. Our results do not assume bipartiteness, and hence are relevant to the study of spectral minimal partitions.
△ Less
Submitted 18 July, 2022; v1 submitted 3 January, 2022;
originally announced January 2022.
-
Controlled Measure-Valued Martingales: a Viscosity Solution Approach
Authors:
Alexander M. G. Cox,
Sigrid Källblad,
Martin Larsson,
Sara Svaluto-Ferro
Abstract:
We consider a class of stochastic control problems where the state process is a probability measure-valued process satisfying an additional martingale condition on its dynamics, called measure-valued martingales (MVMs). We establish the `classical' results of stochastic control for these problems: specifically, we prove that the value function for the problem can be characterised as the unique sol…
▽ More
We consider a class of stochastic control problems where the state process is a probability measure-valued process satisfying an additional martingale condition on its dynamics, called measure-valued martingales (MVMs). We establish the `classical' results of stochastic control for these problems: specifically, we prove that the value function for the problem can be characterised as the unique solution to the Hamilton-Jacobi-Bellman equation in the sense of viscosity solutions. In order to prove this result, we exploit structural properties of the MVM processes. Our results also include an appropriate version of Itô's lemma for controlled MVMs. We also show how problems of this type arise in a number of applications, including model-independent derivatives pricing, the optimal Skorokhod embedding problem, and two player games with asymmetric information.
△ Less
Submitted 27 August, 2023; v1 submitted 31 August, 2021;
originally announced September 2021.
-
Optimal control of martingales in a radially symmetric environment
Authors:
Alexander M. G. Cox,
Benjamin A. Robinson
Abstract:
We study a stochastic control problem for continuous multidimensional martingales with fixed quadratic variation. In a radially symmetric environment, we are able to find an explicit solution to the control problem and find an optimal strategy. We show that it is optimal to switch between two strategies, depending only on the radius of the controlled process. The optimal strategies correspond to p…
▽ More
We study a stochastic control problem for continuous multidimensional martingales with fixed quadratic variation. In a radially symmetric environment, we are able to find an explicit solution to the control problem and find an optimal strategy. We show that it is optimal to switch between two strategies, depending only on the radius of the controlled process. The optimal strategies correspond to purely radial and purely tangential motion. It is notable that the value function exhibits smooth fit even when switching to tangential motion, where the radius of the optimal process is deterministic. Under sufficient regularity on the cost function, we prove optimality via viscosity solutions of a Hamilton-Jacobi-Bellman equation. We extend the results to cost functions that may become infinite at the origin. Extra care is required to solve the control problem in this case, since it is not clear how to define the optimal strategy with deterministic radius at the origin. Our results generalise some problems recently considered in Stochastic Portfolio Theory and Martingale Optimal Transport.
△ Less
Submitted 30 September, 2022; v1 submitted 10 August, 2021;
originally announced August 2021.
-
Using Echo State Networks to Approximate Value Functions for Control
Authors:
Allen G. Hart,
Kevin R. Olding,
A. M. G. Cox,
Olga Isupova,
J. H. P. Dawes
Abstract:
An Echo State Network (ESN) is a type of single-layer recurrent neural network with randomly-chosen internal weights and a trainable output layer. We prove under mild conditions that a sufficiently large Echo State Network can approximate the value function of a broad class of stochastic and deterministic control problems. Such control problems are generally non-Markovian.
We describe how the ES…
▽ More
An Echo State Network (ESN) is a type of single-layer recurrent neural network with randomly-chosen internal weights and a trainable output layer. We prove under mild conditions that a sufficiently large Echo State Network can approximate the value function of a broad class of stochastic and deterministic control problems. Such control problems are generally non-Markovian.
We describe how the ESN can form the basis for novel and computationally efficient reinforcement learning algorithms in a non-Markovian framework. We demonstrate this theory with two examples. In the first, we use an ESN to solve a deterministic, partially observed, control problem which is a simple game we call `Bee World'. In the second example, we consider a stochastic control problem inspired by a market making problem in mathematical finance. In both cases we can compare the dynamics of the algorithms with analytic solutions to show that even after only a single reinforcement policy iteration the algorithms arrive at a good policy.
△ Less
Submitted 25 June, 2021; v1 submitted 11 February, 2021;
originally announced February 2021.
-
On the finite index subgroups of Houghton's groups
Authors:
Charles Garnet Cox
Abstract:
An erratum has been added to resolve an issue raised by Professor Derek Holt. This appears after the original paper, and also includes two new results.
Original abstract: Houghton's groups $H_2, H_3, \ldots$ are certain infinite permutation groups acting on a countably infinite set; they have been studied, among other things, for their finiteness properties. In this note we describe all of the f…
▽ More
An erratum has been added to resolve an issue raised by Professor Derek Holt. This appears after the original paper, and also includes two new results.
Original abstract: Houghton's groups $H_2, H_3, \ldots$ are certain infinite permutation groups acting on a countably infinite set; they have been studied, among other things, for their finiteness properties. In this note we describe all of the finite index subgroups of each Houghton group, and their isomorphism types. Using the standard notation that $d(G)$ denotes the minimal size of a generating set for $G$ we then show, for each $n\in \{2, 3,\ldots\}$ and $U$ of finite index in $H_n$, that $d(U)\in\{d(H_n), d(H_n)+1\}$ and characterise when each of these cases occurs.
△ Less
Submitted 21 September, 2023; v1 submitted 28 January, 2021;
originally announced January 2021.
-
On the spread of infinite groups
Authors:
Charles Garnet Cox
Abstract:
A group is $\frac32$-generated if every non-trivial element is part of a generating pair. In 2019, Donoven and Harper showed that many Thompson groups are $\frac32$-generated and posed five questions. The first of these is whether there exists a 2-generated group with every proper quotient cyclic that is not $\frac32$-generated. This is a natural question given the significant work in proving that…
▽ More
A group is $\frac32$-generated if every non-trivial element is part of a generating pair. In 2019, Donoven and Harper showed that many Thompson groups are $\frac32$-generated and posed five questions. The first of these is whether there exists a 2-generated group with every proper quotient cyclic that is not $\frac32$-generated. This is a natural question given the significant work in proving that no finite group has this property, but we show that there is such an infinite group. The groups we consider are a family of finite index subgroups of the Houghton group $\text{FSym}(\mathbb{Z})\rtimes\mathbb{Z}$. We then show that the first two groups in our family are $\frac32$-generated, and investigate the related notion of spread for these groups. We are able to show that they have finite spread which is greater than 2. These are therefore the first infinite groups to be shown to have finite positive spread, and the first to be shown to have spread greater than 2 (other than $\mathbb{Z}$ and the Tarski monsters, which have infinite spread).
△ Less
Submitted 2 December, 2021; v1 submitted 22 December, 2020;
originally announced December 2020.
-
Weak Identification with Bounds in a Class of Minimum Distance Models
Authors:
Gregory Cox
Abstract:
When parameters are weakly identified, bounds on the parameters may provide a valuable source of information. Existing weak identification estimation and inference results are unable to combine weak identification with bounds. Within a class of minimum distance models, this paper proposes identification-robust inference that incorporates information from bounds when parameters are weakly identifie…
▽ More
When parameters are weakly identified, bounds on the parameters may provide a valuable source of information. Existing weak identification estimation and inference results are unable to combine weak identification with bounds. Within a class of minimum distance models, this paper proposes identification-robust inference that incorporates information from bounds when parameters are weakly identified. The inference is based on limit theory that combines weak identification theory with parameter-on-the-boundary theory. This paper demonstrates the role of the bounds and identification-robust inference in two example factor models. This paper also demonstrates the identification-robust inference in an empirical application, a factor model for parental investments in children.
△ Less
Submitted 12 December, 2022; v1 submitted 21 December, 2020;
originally announced December 2020.
-
Monte-Carlo Methods for the Neutron Transport Equation
Authors:
Alexander M. G. Cox,
Simon C. Harris,
Andreas E. Kyprianou,
Minmin Wang
Abstract:
This paper continues our treatment of the Neutron Transport Equation (NTE) building on the work in [arXiv:1809.00827v2], [arXiv:1810.01779v4] and [arXiv:1901.00220v3], which describes the flux of neutrons through inhomogeneous fissile medium. Our aim is to analyse existing and novel Monte Carlo (MC) algorithms, aimed at simulating the lead eigenvalue associated with the underlying model. This quan…
▽ More
This paper continues our treatment of the Neutron Transport Equation (NTE) building on the work in [arXiv:1809.00827v2], [arXiv:1810.01779v4] and [arXiv:1901.00220v3], which describes the flux of neutrons through inhomogeneous fissile medium. Our aim is to analyse existing and novel Monte Carlo (MC) algorithms, aimed at simulating the lead eigenvalue associated with the underlying model. This quantity is of principal importance in the nuclear regulatory industry for which the NTE must be solved on complicated inhomogenous domains corresponding to nuclear reactor cores, irradiative hospital equipment, food irradiation equipment and so on. We include a complexity analysis of such MC algorithms, noting that no such undertaking has previously appeared in the literature. The new MC algorithms offer a variety of advantages and disadvantages of accuracy vs cost, as well as the possibility of more convenient computational parallelisation.
△ Less
Submitted 7 October, 2021; v1 submitted 4 December, 2020;
originally announced December 2020.
-
Eigenvalues of the MOTS stability operator for slowly rotating Kerr black holes
Authors:
Liam Bussey,
Graham Cox,
Hari Kunduri
Abstract:
We study the eigenvalues of the MOTS stability operator for the Kerr black hole with angular momentum per unit mass $|a| \ll M$. We prove that each eigenvalue depends analytically on $a$ (in a neighbourhood of $a=0$), and compute its first nonvanishing derivative. Recalling that $a=0$ corresponds to the Schwarzschild solution, where each eigenvalue has multiplicity $2\ell+1$, we find that this deg…
▽ More
We study the eigenvalues of the MOTS stability operator for the Kerr black hole with angular momentum per unit mass $|a| \ll M$. We prove that each eigenvalue depends analytically on $a$ (in a neighbourhood of $a=0$), and compute its first nonvanishing derivative. Recalling that $a=0$ corresponds to the Schwarzschild solution, where each eigenvalue has multiplicity $2\ell+1$, we find that this degeneracy is completely broken for nonzero $a$. In particular, for $0 < |a| \ll M$ we obtain a cluster consisting of $\ell$ distinct complex conjugate pairs and one real eigenvalue. As a special case of our results, we get a simple formula for the variation of the principal eigenvalue. For perturbations that preserve the total area or mass of the black hole, we find that the principal eigenvalue has a local maximum at $a=0$. However, there are other perturbations for which the principal eigenvalue has a local minimum at $a=0$.
△ Less
Submitted 5 January, 2021; v1 submitted 4 October, 2020;
originally announced October 2020.
-
Defining the spectral position of a Neumann domain
Authors:
Ram Band,
Graham Cox,
Sebastian Egger
Abstract:
A Laplacian eigenfunction on a two-dimensional Riemannian manifold provides a natural partition into Neumann domains (a.k.a. a Morse--Smale complex). This partition is generated by gradient flow lines of the eigenfunction, which bound the so-called Neumann domains. We prove that the Neumann Laplacian defined on a Neumann domain is self-adjoint and has a purely discrete spectrum. In addition, we pr…
▽ More
A Laplacian eigenfunction on a two-dimensional Riemannian manifold provides a natural partition into Neumann domains (a.k.a. a Morse--Smale complex). This partition is generated by gradient flow lines of the eigenfunction, which bound the so-called Neumann domains. We prove that the Neumann Laplacian defined on a Neumann domain is self-adjoint and has a purely discrete spectrum. In addition, we prove that the restriction of an eigenfunction to any one of its Neumann domains is an eigenfunction of the Neumann Laplacian. By comparison, similar statements about the Dirichlet Laplacian on a nodal domain of an eigenfunction are basic and well-known. The difficulty here is that the boundary of a Neumann domain may have cusps and cracks, so standard results about Sobolev spaces are not available.
Another very useful common fact is that the restricted eigenfunction on a nodal domain is the first eigenfunction of the Dirichlet Laplacian. This is no longer true for a Neumann domain. Our results enable the investigation of the resulting spectral position problem for Neumann domains, which is much more involved than its nodal analogue.
△ Less
Submitted 28 April, 2021; v1 submitted 30 September, 2020;
originally announced September 2020.
-
Invariable generation and the Houghton groups
Authors:
Charles Garnet Cox
Abstract:
The Houghton groups $H_1, H_2, \ldots$ are a family of infinite groups. In 1975 Wiegold showed that $H_3$ was invariably generated (IG) but $H_1\le H_3$ was not. A natural question is then whether the groups $H_2, H_3, \ldots$ are all IG. Wiegold also ends by saying that, in the examples he had found of an IG group with a subgroup that is not IG, the subgroup was never of finite index. Another nat…
▽ More
The Houghton groups $H_1, H_2, \ldots$ are a family of infinite groups. In 1975 Wiegold showed that $H_3$ was invariably generated (IG) but $H_1\le H_3$ was not. A natural question is then whether the groups $H_2, H_3, \ldots$ are all IG. Wiegold also ends by saying that, in the examples he had found of an IG group with a subgroup that is not IG, the subgroup was never of finite index. Another natural question is then whether there is a subgroup of finite index in $H_3$ that is not IG. In this note we prove, for each $n\in \{2, 3, \ldots\}$, that $H_n$ and all of its finite index subgroups are IG.
The independent work of Minasyan and Goffer-Lazarovich in June 2020 frames this note quite nicely: they showed that an IG group can have a finite index subgroup that is not IG.
△ Less
Submitted 3 July, 2020;
originally announced July 2020.
-
Generalized Maslov indices for non-Hamiltonian systems
Authors:
Thomas John Baird,
Paul Cornwell,
Graham Cox,
Christopher Jones,
Robert Marangell
Abstract:
We extend the definition of the Maslov index to a broad class of non-Hamiltonian dynamical systems. To do this, we introduce a family of topological spaces--which we call Maslov-Arnold spaces--that share key topological features with the Lagrangian Grassmannian, and hence admit a similar index theory. This family contains the Lagrangian Grassmannian, and much more. We construct a family of example…
▽ More
We extend the definition of the Maslov index to a broad class of non-Hamiltonian dynamical systems. To do this, we introduce a family of topological spaces--which we call Maslov-Arnold spaces--that share key topological features with the Lagrangian Grassmannian, and hence admit a similar index theory. This family contains the Lagrangian Grassmannian, and much more. We construct a family of examples, called hyperplane Maslov-Arnold spaces, that are dense in the Grassmannian, and hence are much larger than the Lagrangian Grassmannian (which is a submanifold of positive codimension). The resulting index is then used to study eigenvalue problems for non-symmetric reaction-diffusion systems. A highlight of our analysis is a topological interpretation of the Turing instability: the bifurcation that occurs as one increases the ratio of diffusion coefficients corresponds to a change in the generalized Maslov index.
△ Less
Submitted 20 September, 2021; v1 submitted 25 June, 2020;
originally announced June 2020.
-
Limiting Eigenfunctions of Sturm-Liouville operators Subject to a Spectral Flow
Authors:
Thomas Beck,
Isabel Bors,
Grace Conte,
Graham Cox,
Jeremy L. Marzuola
Abstract:
We examine the spectrum of a family of Sturm--Liouville operators with regularly spaced delta function potentials parametrized by increasing strength. The limiting behavior of the eigenvalues under this spectral flow was described in a previor result of the last two authors with Berkolaiko, where it was used to study the nodal deficiency of Laplacian eigenfunctions. Here we consider the eigenfunct…
▽ More
We examine the spectrum of a family of Sturm--Liouville operators with regularly spaced delta function potentials parametrized by increasing strength. The limiting behavior of the eigenvalues under this spectral flow was described in a previor result of the last two authors with Berkolaiko, where it was used to study the nodal deficiency of Laplacian eigenfunctions. Here we consider the eigenfunctions of these operators. In particular, we give explicit formulas for the limiting eigenfunctions, and also characterize the eigenfunctions and eigenvalues for all values for the spectral flow parameter (not just in the limit). We also develop spectrally accurate numerical tools for comparison and visualization.
△ Less
Submitted 24 June, 2020;
originally announced June 2020.
-
A local test for global extrema in the dispersion relation of a periodic graph
Authors:
Gregory Berkolaiko,
Yaiza Canzani,
Graham Cox,
Jeremy L. Marzuola
Abstract:
We consider a family of periodic tight-binding models (combinatorial graphs) that have the minimal number of links between copies of the fundamental domain. For this family we establish a local condition of second derivative type under which the critical points of the dispersion relation can be recognized as global maxima or minima. Under the additional assumption of time-reversal symmetry, we sho…
▽ More
We consider a family of periodic tight-binding models (combinatorial graphs) that have the minimal number of links between copies of the fundamental domain. For this family we establish a local condition of second derivative type under which the critical points of the dispersion relation can be recognized as global maxima or minima. Under the additional assumption of time-reversal symmetry, we show that any local extremum of a dispersion band is in fact its global extremum if the dimension of the periodicity group is three or less, or (in any dimension) if the critical point in question is a symmetry point of the Floquet--Bloch family with respect to complex conjugation. We demonstrate that our results are nearly optimal with a number of examples.
△ Less
Submitted 5 January, 2022; v1 submitted 27 April, 2020;
originally announced April 2020.
-
Switching Identities by Probabilistic Means
Authors:
J. Backoff,
A. M. G. Cox,
A. Grass,
M. Huesmann
Abstract:
Switching identities have a long history in potential theory and stochastic analysis. In recent work of Cox and Wang, a switching identity was used to connect an optimal stopping problem and the Skorokhod embedding problem (SEP). Typically switching identies of this form are derived using deep analytic connections. In this paper, we prove the switching identities using a simple probabilistic argum…
▽ More
Switching identities have a long history in potential theory and stochastic analysis. In recent work of Cox and Wang, a switching identity was used to connect an optimal stopping problem and the Skorokhod embedding problem (SEP). Typically switching identies of this form are derived using deep analytic connections. In this paper, we prove the switching identities using a simple probabilistic argument, which furthermore highlights a previously unexplored symmetry between the Root and Rost solutions to the SEP.
△ Less
Submitted 25 February, 2021; v1 submitted 28 February, 2020;
originally announced February 2020.
-
Invariable generation and wreath products
Authors:
Charles Garnet Cox
Abstract:
Invariable generation is a topic that has predominantly been studied for finite groups. In 2014, Kantor, Lubotzky, and Shalev produced extensive tools for investigating invariable generation for infinite groups. Since their paper, various authors have investigated the property for particular infinite groups or families of infinite groups.
A group is invariably generated by a subset $S$ if replac…
▽ More
Invariable generation is a topic that has predominantly been studied for finite groups. In 2014, Kantor, Lubotzky, and Shalev produced extensive tools for investigating invariable generation for infinite groups. Since their paper, various authors have investigated the property for particular infinite groups or families of infinite groups.
A group is invariably generated by a subset $S$ if replacing each element of $S$ with any of its conjugates still results in a generating set for $G$. In this paper we investigate how this property behaves with respect to wreath products. Our main work is to deal with the case where the base of $G\wr_X H$ is not invariably generated. We see both positive and negative results here depending on $H$ and its action on $X$.
△ Less
Submitted 19 August, 2020; v1 submitted 14 January, 2020;
originally announced January 2020.
-
Stochastic Methods for Neutron Transport Equation III: Generational many-to-one and $k_\texttt{eff}$
Authors:
A. M. G. Cox,
E. L. Horton,
A. E. Kyprianou,
D. Villemonais
Abstract:
The Neutron Transport Equation (NTE) describes the flux of neutrons over time through an inhomogeneous fissile medium. In the recent articles [5, 10], a probabilistic solution of the NTE is considered in order to demonstrate a Perron-Frobenius type growth of the solution via its projection onto an associated leading eigenfunction. In [9, 4], further analysis is performed to understand the implicat…
▽ More
The Neutron Transport Equation (NTE) describes the flux of neutrons over time through an inhomogeneous fissile medium. In the recent articles [5, 10], a probabilistic solution of the NTE is considered in order to demonstrate a Perron-Frobenius type growth of the solution via its projection onto an associated leading eigenfunction. In [9, 4], further analysis is performed to understand the implications of this growth both in the stochastic sense, as well as from the perspective of Monte-Carlo simulation. Such Monte-Carlo simulations are prevalent in industrial applications, in particular where regulatory checks are needed in the process of reactor core design. In that setting, however, it turns out that a different notion of growth takes centre stage, which is otherwise characterised by another eigenvalue problem. In that setting, the eigenvalue, sometimes called k-effective (written $k_\texttt{eff}$), has the physical interpretation as being the ratio of neutrons produced (during fission events) to the number lost (due to absorption in the reactor or leakage at the boundary) per typical fission event. In this article, we aim to supplement [5, 10, 9, 4], by developing the stochastic analysis of the NTE further to the setting where a rigorous probabilistic interpretation of keff is given, both in terms of a Perron-Frobenius type analysis as well as via classical operator analysis. To our knowledge, despite the fact that an extensive engineering literature and industrial Monte-Carlo software is concentrated around the estimation of keff and its associated eigenfunction, we believe that our work is the first rigorous treatment in the probabilistic sense (which underpins some of the aforesaid Monte-Carlo simulations).
△ Less
Submitted 2 September, 2019;
originally announced September 2019.
-
Exponential dichotomies for elliptic PDE on radial domains
Authors:
Margaret Beck,
Graham Cox,
Christopher Jones,
Yuri Latushkin,
Alim Sukhtayev
Abstract:
It was recently shown by the authors that a semilinear elliptic equation can be represented as an infinite-dimensional dynamical system in terms of boundary data on a shrinking one-parameter family of domains. The resulting system is ill-posed, in the sense that solutions do not typically exist forward or backward in time. In this paper we consider a radial family of domains and prove that the lin…
▽ More
It was recently shown by the authors that a semilinear elliptic equation can be represented as an infinite-dimensional dynamical system in terms of boundary data on a shrinking one-parameter family of domains. The resulting system is ill-posed, in the sense that solutions do not typically exist forward or backward in time. In this paper we consider a radial family of domains and prove that the linearized system admits an exponential dichotomy, with the unstable subspace corresponding to the boundary data of weak solutions to the linear PDE. This generalizes the spatial dynamics approach, which applies to infinite cylindrical (channel) domains, and also generalizes previous work on radial domains as we impose no symmetry assumptions on the equation or its solutions.
△ Less
Submitted 13 July, 2020; v1 submitted 24 July, 2019;
originally announced July 2019.
-
A dynamical approach to semilinear elliptic equations
Authors:
Margaret Beck,
Graham Cox,
Christopher Jones,
Yuri Latushkin,
Alim Sukhtayev
Abstract:
A characterization of a semilinear elliptic partial differential equation (PDE) on a bounded domain in $\mathbb{R}^n$ is given in terms of an infinite-dimensional dynamical system. The dynamical system is on the space of boundary data for the PDE. This is a novel approach to elliptic problems that enables the use of dynamical systems tools in studying the corresponding PDE. The dynamical system is…
▽ More
A characterization of a semilinear elliptic partial differential equation (PDE) on a bounded domain in $\mathbb{R}^n$ is given in terms of an infinite-dimensional dynamical system. The dynamical system is on the space of boundary data for the PDE. This is a novel approach to elliptic problems that enables the use of dynamical systems tools in studying the corresponding PDE. The dynamical system is ill-posed, meaning solutions do not exist forwards or backwards in time for generic initial data. We offer a framework in which this ill-posed system can be analyzed. This can be viewed as generalizing the theory of spatial dynamics, which applies to the case of an infinite cylindrical domain.
△ Less
Submitted 13 July, 2020; v1 submitted 23 July, 2019;
originally announced July 2019.
-
Simple Adaptive Size-Exact Testing for Full-Vector and Subvector Inference in Moment Inequality Models
Authors:
Gregory Cox,
Xiaoxia Shi
Abstract:
We propose a simple test for moment inequalities that has exact size in normal models with known variance and has uniformly asymptotically exact size more generally. The test compares the quasi-likelihood ratio statistic to a chi-squared critical value, where the degree of freedom is the rank of the inequalities that are active in finite samples. The test requires no simulation and thus is computa…
▽ More
We propose a simple test for moment inequalities that has exact size in normal models with known variance and has uniformly asymptotically exact size more generally. The test compares the quasi-likelihood ratio statistic to a chi-squared critical value, where the degree of freedom is the rank of the inequalities that are active in finite samples. The test requires no simulation and thus is computationally fast and especially suitable for constructing confidence sets for parameters by test inversion. It uses no tuning parameter for moment selection and yet still adapts to the slackness of the moment inequalities. Furthermore, we show how the test can be easily adapted for inference on subvectors for the common empirical setting of conditional moment inequalities with nuisance parameters entering linearly.
△ Less
Submitted 18 August, 2020; v1 submitted 14 July, 2019;
originally announced July 2019.
-
Isoperimetric relations between Dirichlet and Neumann eigenvalues
Authors:
Graham Cox,
Scott Scott MacLachlan,
Luke Steeves
Abstract:
Inequalities between the Dirichlet and Neumann eigenvalues of the Laplacian have received much attention in the literature, but open problems abound. Here, we study the number of Neumann eigenvalues no greater than the first Dirichlet eigenvalue. Based on a combination of analytical and numerical results, we conjecture that this number is controlled by the isoperimetric ratio of the domain. This h…
▽ More
Inequalities between the Dirichlet and Neumann eigenvalues of the Laplacian have received much attention in the literature, but open problems abound. Here, we study the number of Neumann eigenvalues no greater than the first Dirichlet eigenvalue. Based on a combination of analytical and numerical results, we conjecture that this number is controlled by the isoperimetric ratio of the domain. This has applications to the nodal deficiency of eigenfunctions and is closely related to a long-standing conjecture of Yau on the Hausdorff measure of nodal sets.
△ Less
Submitted 24 June, 2019;
originally announced June 2019.
-
Conformal invariants from nodal sets II. Manifolds with boundary
Authors:
Graham Cox,
Dmitry Jakobson,
Mikhail Karpukhin,
Yannick Sire
Abstract:
In this paper, we study conformal invariants that arise from nodal sets and negative eigenvalues of conformally covariant operators on manifolds with boundary. We also consider applications to curvature prescription problems on manifolds with boundary. We relate Dirichlet and Neumann eigenvalues and put the results developed here for the Escobar problem into the more general framework of boundary…
▽ More
In this paper, we study conformal invariants that arise from nodal sets and negative eigenvalues of conformally covariant operators on manifolds with boundary. We also consider applications to curvature prescription problems on manifolds with boundary. We relate Dirichlet and Neumann eigenvalues and put the results developed here for the Escobar problem into the more general framework of boundary operators of arbitrary order.
△ Less
Submitted 15 May, 2019;
originally announced May 2019.
-
Regularity and convergence analysis in Sobolev and Hölder spaces for generalized Whittle-Matérn fields
Authors:
Sonja G. Cox,
Kristin Kirchner
Abstract:
We analyze several Galerkin approximations of a Gaussian random field $\mathcal{Z}\colon\mathcal{D}\timesΩ\to\mathbb{R}$ indexed by a Euclidean domain $\mathcal{D}\subset\mathbb{R}^d$ whose covariance structure is determined by a negative fractional power $L^{-2β}$ of a second-order elliptic differential operator $L:= -\nabla\cdot(A\nabla) + κ^2$. Under minimal assumptions on the domain…
▽ More
We analyze several Galerkin approximations of a Gaussian random field $\mathcal{Z}\colon\mathcal{D}\timesΩ\to\mathbb{R}$ indexed by a Euclidean domain $\mathcal{D}\subset\mathbb{R}^d$ whose covariance structure is determined by a negative fractional power $L^{-2β}$ of a second-order elliptic differential operator $L:= -\nabla\cdot(A\nabla) + κ^2$. Under minimal assumptions on the domain $\mathcal{D}$, the coefficients $A\colon\mathcal{D}\to\mathbb{R}^{d\times d}$, $κ\colon\mathcal{D}\to\mathbb{R}$, and the fractional exponent $β>0$, we prove convergence in $L_q(Ω; H^σ(\mathcal{D}))$ and in $L_q(Ω; C^δ(\overline{\mathcal{D}}))$ at (essentially) optimal rates for (i) spectral Galerkin methods and (ii) finite element approximations. Specifically, our analysis is solely based on $H^{1+α}(\mathcal{D})$-regularity of the differential operator $L$, where $0<α\leq 1$. For this setting, we furthermore provide rigorous estimates for the error in the covariance function of these approximations in $L_{\infty}(\mathcal{D}\times\mathcal{D})$ and in the mixed Sobolev space $H^{σ,σ}(\mathcal{D}\times\mathcal{D})$, showing convergence which is more than twice as fast compared to the corresponding $L_q(Ω; H^σ(\mathcal{D}))$-rate. For the well-known example of such Gaussian random fields, the original Whittle-Matérn class, where $L=-Δ+ κ^2$ and $κ\equiv \operatorname{const.}$, we perform several numerical experiments which validate our theoretical results.
△ Less
Submitted 13 April, 2019;
originally announced April 2019.
-
The structure of non-linear martingale optimal transport problems
Authors:
Alexander M. G. Cox,
Matija Vidmar
Abstract:
We explore the structure of solutions to a family of non-linear martingale optimal transport (MOT) problems that involve conditional expectations in the objective functional. En route general results concerning optimization over (martingale) measures are proved that appear much more widely applicable. In particular the analysis leads us to introduce a notion of so-called curtain transports; in a m…
▽ More
We explore the structure of solutions to a family of non-linear martingale optimal transport (MOT) problems that involve conditional expectations in the objective functional. En route general results concerning optimization over (martingale) measures are proved that appear much more widely applicable. In particular the analysis leads us to introduce a notion of so-called curtain transports; in a main contribution we highlight the rôle that these transports play in (non-linear) MOT.
△ Less
Submitted 15 March, 2019;
originally announced March 2019.
-
Multi-species neutron transport equation
Authors:
Alex M. G. Cox,
Simon C. Harris,
Emma Horton,
Andreas E. Kyprianou
Abstract:
The Neutron Transport Equation (NTE) describes the flux of neutrons through inhomogeneous fissile medium. Whilst well treated in the nuclear physics literature (cf. [9, 27]), the NTE has had a somewhat scattered treatment in mathematical literature with a variety of different approaches (cf. [8, 25]). Within a probabilistic framework it has somewhat undeservingly received little attention in recen…
▽ More
The Neutron Transport Equation (NTE) describes the flux of neutrons through inhomogeneous fissile medium. Whilst well treated in the nuclear physics literature (cf. [9, 27]), the NTE has had a somewhat scattered treatment in mathematical literature with a variety of different approaches (cf. [8, 25]). Within a probabilistic framework it has somewhat undeservingly received little attention in recent years; nonetheless, probabilistic treatments can be found see for example [19, 26, 24, 29, 4, 3]. In this article our aim is threefold. First we want to introduce a slightly more general setting for the NTE, which gives a more complete picture of the different species of particle and radioactive fluxes that are involved in fission. Second we consolidate the classical c0-semigroup approach to solving the NTE with the method of stochastic representation which involves expectation semigroups. Third we provide the leading asymptotic of our multi-species NTE, which will turn out to be crucial for further stochastic analysis of the NTE in forthcoming work [6, 5]. The methodology used in this paper harmonises the culture of expectation semigroup analysis from the theory of stochastic processes against c0-semigroup theory from functional analysis. In this respect, our presentation is thus part review of existing theory and part presentation of new research results based on generalisation of existing results.
△ Less
Submitted 3 January, 2019; v1 submitted 4 September, 2018;
originally announced September 2018.
-
Nodal deficiency, spectral flow, and the Dirichlet-to-Neumann map
Authors:
Gregory Berkolaiko,
Graham Cox,
Jeremy L. Marzuola
Abstract:
It was recently shown that the nodal deficiency of an eigenfunction is encoded in the spectrum of the Dirichlet-to-Neumann operators for the eigenfunction's positive and negative nodal domains. While originally derived using symplectic methods, this result can also be understood through the spectral flow for a family of boundary conditions imposed on the nodal set, or, equivalently, a family of op…
▽ More
It was recently shown that the nodal deficiency of an eigenfunction is encoded in the spectrum of the Dirichlet-to-Neumann operators for the eigenfunction's positive and negative nodal domains. While originally derived using symplectic methods, this result can also be understood through the spectral flow for a family of boundary conditions imposed on the nodal set, or, equivalently, a family of operators with delta function potentials supported on the nodal set. In this paper we explicitly describe this flow for a Schrödinger operator with separable potential on a rectangular domain, and determine a mechanism by which lower energy eigenfunctions do or do not contribute to the nodal deficiency.
△ Less
Submitted 13 February, 2024; v1 submitted 8 May, 2018;
originally announced May 2018.
-
Stochastic integration in quasi-Banach spaces
Authors:
Petru A. Cioica-Licht,
Sonja G. Cox,
Mark C. Veraar
Abstract:
In this paper we develop a stochastic integration theory for processes with values in a quasi-Banach space. The integrator is a cylindrical Brownian motion. The main results give sufficient conditions for stochastic integrability. They are natural extensions of known results in the Banach space setting. We apply our main results to the stochastic heat equation where the forcing terms are assumed t…
▽ More
In this paper we develop a stochastic integration theory for processes with values in a quasi-Banach space. The integrator is a cylindrical Brownian motion. The main results give sufficient conditions for stochastic integrability. They are natural extensions of known results in the Banach space setting. We apply our main results to the stochastic heat equation where the forcing terms are assumed to have Besov regularity in the space variable with integrability exponent $p\in (0,1]$. The latter is natural to consider for its potential application to adaptive wavelet methods for stochastic partial differential equations.
△ Less
Submitted 30 October, 2018; v1 submitted 24 April, 2018;
originally announced April 2018.
-
Almost Sure Uniqueness of a Global Minimum Without Convexity
Authors:
Gregory Cox
Abstract:
This paper establishes the argmin of a random objective function to be unique almost surely. This paper first formulates a general result that proves almost sure uniqueness without convexity of the objective function. The general result is then applied to a variety of applications in statistics. Four applications are discussed, including uniqueness of M-estimators, both classical likelihood and pe…
▽ More
This paper establishes the argmin of a random objective function to be unique almost surely. This paper first formulates a general result that proves almost sure uniqueness without convexity of the objective function. The general result is then applied to a variety of applications in statistics. Four applications are discussed, including uniqueness of M-estimators, both classical likelihood and penalized likelihood estimators, and two applications of the argmin theorem, threshold regression and weak identification.
△ Less
Submitted 19 February, 2019; v1 submitted 6 March, 2018;
originally announced March 2018.
-
A symplectic perspective on constrained eigenvalue problems
Authors:
Graham Cox,
Jeremy L. Marzuola
Abstract:
The Maslov index is a powerful tool for computing spectra of selfadjoint, elliptic boundary value problems. This is done by counting intersections of a fixed Lagrangian subspace, which designates the boundary condition, with the set of Cauchy data for the differential operator. We apply this methodology to constrained eigenvalue problems, in which the operator is restricted to a (not necessarily i…
▽ More
The Maslov index is a powerful tool for computing spectra of selfadjoint, elliptic boundary value problems. This is done by counting intersections of a fixed Lagrangian subspace, which designates the boundary condition, with the set of Cauchy data for the differential operator. We apply this methodology to constrained eigenvalue problems, in which the operator is restricted to a (not necessarily invariant) subspace. The Maslov index is defined and used to compute the Morse index of the constrained operator. We then prove a constrained Morse index theorem, which says that the Morse index of the constrained problem equals the number of constrained conjugate points, counted with multiplicity, and give an application to the nonlinear Schrödinger equation.
△ Less
Submitted 20 September, 2017;
originally announced September 2017.
-
The conjugacy ratio of groups
Authors:
Laura Ciobanu,
Charles Garnet Cox,
Armando Martino
Abstract:
In this paper we introduce and study the conjugacy ratio of a finitely generated group, which is the limit at infinity of the quotient of the conjugacy and standard growth functions. We conjecture that the conjugacy ratio is $0$ for all groups except the virtually abelian ones, and confirm this conjecture for certain residually finite groups of subexponential growth, hyperbolic groups, right-angle…
▽ More
In this paper we introduce and study the conjugacy ratio of a finitely generated group, which is the limit at infinity of the quotient of the conjugacy and standard growth functions. We conjecture that the conjugacy ratio is $0$ for all groups except the virtually abelian ones, and confirm this conjecture for certain residually finite groups of subexponential growth, hyperbolic groups, right-angled Artin groups, and the lamplighter group.
△ Less
Submitted 7 September, 2017;
originally announced September 2017.
-
Measure-valued martingales and optimality of Bass-type solutions to the Skorokhod Embedding Problem
Authors:
Mathias Beiglböck,
Alexander M. G. Cox,
Martin Huesmann,
Sigrid Källblad
Abstract:
In this paper we consider (probability-)measure valued processes, which we call MVMs, which have a natural martingale structure. Following previous work of Eldan and Cox-Källblad, these processes are known to have a close connection to the solutions to the Skorokhod Embedding Problem. In this paper, we consider properties of these processes, and in particular, we are able to show that the MVMs con…
▽ More
In this paper we consider (probability-)measure valued processes, which we call MVMs, which have a natural martingale structure. Following previous work of Eldan and Cox-Källblad, these processes are known to have a close connection to the solutions to the Skorokhod Embedding Problem. In this paper, we consider properties of these processes, and in particular, we are able to show that the MVMs connected to the Bass and Root embeddings have natural measure-valued analogues which also possess natural optimality properties. We also introduce a new MVM which is a generalisation of both the Bass and Root MVMs.
△ Less
Submitted 23 August, 2017;
originally announced August 2017.
-
The ponderomotive Lorentz force
Authors:
Graham Cox,
Mark Levi
Abstract:
This paper describes a curious phenomenon: a particle in a rapidly varying potential is subject to an effective magnetic-like force. This force is in addition to the well-known ponderomotive force, but it has not been shown to exist before except for the linear case of a rapidly rotating quadratic saddle potential. We show that this is a universal phenomenon: the magnetic-like force arises generic…
▽ More
This paper describes a curious phenomenon: a particle in a rapidly varying potential is subject to an effective magnetic-like force. This force is in addition to the well-known ponderomotive force, but it has not been shown to exist before except for the linear case of a rapidly rotating quadratic saddle potential. We show that this is a universal phenomenon: the magnetic-like force arises generically in potential force fields with rapid periodic time dependence, including but not limited to rotational dependence.
△ Less
Submitted 24 February, 2020; v1 submitted 16 July, 2017;
originally announced July 2017.
