arXiv ScienceSearch

arXiv subjects

Mark Wilkinson

Publications and source records attributed to Mark Wilkinson.

At least 19 recordsLinked to original sources

On the Equivariant Learning of the $Q$-tensor Order Parameter

We construct and evaluate group-equivariant neural networks for the prediction of the two-dimensional $Q$-tensor order parameter of nematic liquid crystals from synthetically generated microscopic textures. Seven architectures, equivariant to cyclic groups $C_k$ of order $k$ for $k=4,\,8,\,16,\,32,\,64,\,128,\, 256$, are built using a combination of weight-sharing constraints, equivariant activations and regularization techniques. To do this, we construct rotation-like permutation matrix groups with elements $\varrho_{C_k}(g)$ that act on row-wise vectorized images, thereby approximating a $\frac{2\pi}{k}$ rotation of the circular subdomain on square images. We show that all seven equivariant models satisfy the $Q$-tensor equivariance constraint to within single-precision floating point accuracy. Comparing against approximate parameter-matched non-equivariant benchmarks, with and without data augmentation, we find that the equivariant models consistently achieve lower errors and generalize more robustly to unseen defect configurations. Performance increases with group order, suggesting that the incorporation of finer rotational symmetry leads to lower errors.

cond-mat.soft

Enhancing Energy Efficiency in Scientific Workflows through CFD based PIVAEs

The growing complexity and scale of scientific workflows in high performance computing (HPC) environments have led to significant challenges in managing energy consumption without compromising computational performance. Traditional scheduling strategies often fail to account for the complex interplay between thermal dynamics, workload diversity, and system scalability, leading to inefficient and unsustainable energy usage. This paper introduces a novel, scalable, and AI-assisted scheduling framework for optimizing energy consumption in HPC environments without compromising performance. Central to our approach is the integration of Computational Fluid Dynamics (CFD) with a Physics-Informed Variational Autoencoder (PIVAE), enabling the generation of physically realistic synthetic workload data that bridges the gap between thermodynamic behavior and scheduler decision-making in complex, multi-scale HPC environments. By categorizing workflows based on resource utilization profiles, we evaluate multiple scheduling strategies such as Locality Aware and Speculative Aware Scheduling. These workflows, ranging from event reconstruction to anomaly detection, represent diverse computational intensities. Our results show that modest reductions in CPU performance (e.g., to 15%) can yield substantial energy savings (up to 10%) with only minor turnaround time increases (approximately 5-6%), identifying an optimal operational sweet spot. This work demonstrates how physics-informed generative modeling can enable adaptive, sustainable, and data-efficient scheduling for next-generation HPC infrastructures.

cs.DC

A Differentiable Framework for Gradient Enhanced Damage with Physics-Augmented Neural Networks in JAX-FEM

Soft materials such as rubbers, hydrogels, and biological tissues undergo damage in the form of stiffness degradation without apparent changes in their stress-free geometry. Accurate simulation of this behavior is critical in applications ranging from soft robotics to the design of medical devices, yet two persistent challenges are the difficulty of constructing flexible, thermodynamically consistent constitutive models, and the mesh dependence of finite element solutions caused by strain softening. Here we address both challenges simultaneously by combining physics-augmented neural network constitutive models with a gradient-enhanced damage formulation implemented within the differentiable finite element framework JAX-FEM. The elastic strain energy and the damage yield function are each parameterized by input-convex neural networks (ICNNs), which enforce polyconvexity and satisfaction of the Clausius--Duhem inequality by design. The gradient-enhanced formulation introduces a non-local damage field governed by an additional partial differential equation, regularizing the spatial distribution of damage and eliminating mesh dependence. The implementation is validated through local stress-strain fits, single-element parametric studies, a mesh and solution strategy study for a uniform deformation case, and a notched plate simulation. The results demonstrate that the proposed framework enables flexible, data-driven, mesh-independent damage simulation for a broad class of soft materials. We anticipate that the open-source implementation will lower the barrier to adopting physics-augmented neural network constitutive models.

cs.CE

Weyl Group Representation of Billiard Trajectories for One-dimensional Hard Sphere Dynamics

We present an exact formula for the dynamics of $N$ hard spheres of radius $r>0$ on an infinite line which evolve under the assumption that total linear momentum and kinetic energy of the system is conserved for all times. This model is commonly known as the one-dimensional Tonks gas or the hard rod gas model. Our exact formula is expressed as a sum over the Weyl group associated to the root system $A_{N-1}$ and is valid for all initial data in a full-measure subset of the tangent bundle of the hard sphere table. As an application of our explicit formula, we produce a simple proof that the associated billiard flow admits the Liouville measure on the tangent bundle of the hard sphere table as an invariant measure.

math-ph

Maximal Codimension Collisions and Invariant Measures for Hard Spheres on a Line

For any $N\geq 3$, we study invariant measures of the dynamics of $N$ hard spheres whose centres are constrained to lie on a line. In particular, we study the invariant submanifold $\mathcal{M}$ of the tangent bundle of the hard sphere billiard table comprising initial data that lead to the simultaneous collision of all $N$ hard spheres. Firstly, we obtain a characterisation of those continuously-differentiable $N$-body scattering maps which generate a billiard dynamics on $\mathcal{M}$ admitting a canonical weighted Hausdorff measure on $\mathcal{M}$ (that we term the Liouville measure on $\mathcal{M}$) as an invariant measure. We do this by deriving a second boundary-value problem for a fully nonlinear PDE that all such scattering maps satisfy by necessity. Secondly, by solving a family of functional equations, we find sufficient conditions on measures which are absolutely continuous with respect to the Hausdorff measure in order that they be invariant for billiard flows that conserve momentum and energy. Finally, we show that the unique momentum- and energy-conserving linear $N$-body scattering map yields a billiard dynamics which admits the Liouville measure on $\mathcal{M}$ as an invariant measure.

math.DS

London quantum-secured metro network

We describe a London Quantum-Secured Metro Network using Quantum Key Distribution between three London nodes together with customer access tails. The commercially- eady solution is fully integrated into the BT network and on-boarded its first customer.

quant-ph

A new implementation of the geometric method for solving the Eady slice equations

We present a new implementation of the geometric method of Cullen & Purser (1984) for solving the semi-geostrophic Eady slice equations which model large scale atmospheric flows and frontogenesis. The geometric method is a Lagrangian discretisation, where the PDE is approximated by a particle system. An important property of the discretisation is that it is energy conserving. We restate the geometric method in the language of semi-discrete optimal transport theory and exploit this to develop a fast implementation that combines the latest results from numerical optimal transport theory with a novel adaptive time-stepping scheme. Our results enable a controlled comparison between the Eady-Boussinesq vertical slice equations and their semi-geostrophic approximation. We provide further evidence that weak solutions of the Eady-Boussinesq vertical slice equations converge to weak solutions of the semi-geostrophic Eady slice equations as the Rossby number tends to zero.

math.NA

A Lie Algebra-Theoretic Approach to Characterisation of Collision Invariants of the Boltzmann Equation for General Convex Particles

By studying scattering Lie groups and their associated Lie algebras, we introduce a new method for the characterisation of collision invariants for physical scattering families associated to smooth, convex hard particles in the particular case that the collision invariant is of class $\mathscr{C}^{1}$. This work extends that of Saint-Raymond and Wilkinson (Communications on Pure and Applied Mathematics (2018), 71(8), pp. 1494-1534), in which the authors characterise collision invariants only in the case of the so-called canonical physical scattering family. Indeed, our method extends to the case of non-canonical physical scattering, whose existence was reported in Wilkinson (Archive for Rational Mechanics and Analysis (2020), 235(3), pp. 2055-2083). Moreover, our new method improves upon the work in Saint-Raymond and Wilkinson as we place no symmetry hypotheses on the underlying non-spherical particles which make up the gas under consideration. The techniques established in this paper also yield a new proof of the result of Boltzmann for collision invariants of class $\mathscr{C}^{1}$ in the classical case of hard spheres.

math-ph

Linear dynamics of the semi-geostrophic equations in Eulerian coordinates on $\mathbb{R}^{3}$

We consider a class of steady solutions of the semi-geostrophic equations on $\mathbb{R}^3$ and derive the linearised dynamics around those solutions. The linear PDE which governs perturbations around those steady states is a transport equation featuring a pseudo-differential operator of order 0. We study well-posedness of this equation in $L^2(\mathbb{R}^3;\mathbb{R}^3)$ introducing a representation formula for the solutions, and extend the result to the space of tempered distributions on $\mathbb{R}^{3}$. We investigate stability of the steady solutions by looking at plane wave solutions of the linearised problem, and discuss differences in the case of the quasi-geostrophic equations.

math.AP

Semi-discrete optimal transport methods for the semi-geostrophic equations

We give a new and constructive proof of the existence of global-in-time weak solutions of the 3-dimensional incompressible semi-geostrophic equations (SG) in geostrophic coordinates, for arbitrary initial measures with compact support. This new proof, based on semi-discrete optimal transport techniques, works by characterising discrete solutions of SG in geostrophic coordinates in terms of trajectories satisfying an ordinary differential equation. It is advantageous in its simplicity and its explicit relation to Eulerian coordinates through the use of Laguerre tessellations. Using our method, we obtain improved time-regularity for a large class of discrete initial measures, and we compute explicitly two discrete solutions. The method naturally gives rise to an efficient numerical method, which we illustrate by presenting simulations of a 2-dimensional semi-geostrophic flow in geostrophic coordinates generated using a numerical solver for the semi-discrete optimal transport problem coupled with an ordinary differential equation solver.

math.AP

Smooth Solutions of the Surface Semi-Geostrophic Equations

The semi-geostrophic equations have attracted the attention of the physical and mathematical communities since the work of Hoskins in the 1970s owing to their ability to model the formation of fronts in rotation-dominated flows, and also to their connection with optimal transport theory. In this paper, we study an active scalar equation, whose activity is determined by way of a Neumann-to-Dirichlet map associated to a fully nonlinear second-order Neumann boundary value problem on the infinite strip $\mathbb{R}^{2}\times(0,1)$, that models a semi-geostrophic flow in regime of constant potential vorticity. This system is an expression of an Eulerian semi-geostrophic flow in a co-ordinate system originally due to Hoskins, to which we shall refer as {\em Hoskins' coordinates}. We obtain results on the local-in-time existence and uniqueness of classical solutions of this active scalar equation in H\"older spaces.

math.AP

Cullen's Stability Principle and Weak Solutions of the Free-surface Semi-geostrophic Equations

The semi-geostrophic equations are used widely in the modelling of large-scale atmospheric flows. In this note, we prove the global existence of weak solutions of the incompressible semi-geostrophic equations, in geostrophic coordinates, in a three-dimensional domain with a free upper boundary. The proof, based on an energy minimisation argument originally inspired by Cullen's Stability Principle, uses optimal transport results as well as the analysis of Hamiltonian ODEs in spaces of probability measures as studied by Ambrosio and Gangbo. We also give a general formulation of Cullen's Stability Principle in a rigorous mathematical framework.

math.AP

Local-in-time Physical Solutions of the Incompressible Semi-Geostrophic Equations in Eulerian Coordinates

We prove the existence of local-in-time smooth solutions of the incompressible semi-geostrophic equations expressed in Eulerian co-ordinates in 3-dimensional smooth bounded simply-connected domains. Our solutions adhere to Cullen's Stability Principle in that the geopotential is guaranteed to be a convex map for all times of its existence. We achieve our results by appealing to the theory of so-called div-curl systems (or Hodge systems), making use of recent results of Wang, which yield useful estimates on the ageostrophic velocity field. To our knowledge, this work constitutes the first time that any notion of bounded solution of the semi-geostrophic equations in Eulerian co-ordinates has been constructed on a bounded domain. Indeed, our work solves an open problem as highlighted by, among others, A. Figalli in his CIME lectures on the semi-geostrophic equations. Our methods are largely elementary. We discuss the application of the novel ideas in this work to the case of variable Coriolis force in the final section of the article.

math.AP

On Global-in-time Chaotic Weak Solutions of the Liouville Equation for Hard Spheres

We outline a new method of construction of global-in-time weak solutions of the Liouville equation - and also of the associated BBGKY hierarchy - corresponding to the hard sphere singular Hamiltonian. Our method makes use only of geometric reflection arguments on phase space. As a consequence of our method, in the case of $N=2$ hard spheres, we show for any chaotic initial data, the unique global-in-time weak solution $F$ of the Liouville equation is realised as $F=\mathsf{R}(f\otimes f)$ in the sense of tempered distributions on $T\mathbb{R}^{6}\times (-\infty, \infty)$, where $\mathsf{R}$ is a 'reflection-type' operator on Schwartz space, and $f$ is a global-in-time classical solution of the 1-particle free transport Liouville equation on $T\mathbb{R}^{3}$.

math.AP

On the Initial Boundary-Value Problem in the Kinetic Theory of Hard Particles I: Non-existence

In the first of two papers, we study the initial boundary-value problem that underlies the theory of the Boltzmann equation for general non-spherical hard particles. In this work, for two congruent ellipses and for a large class of associated boundary conditions, we identify initial conditions for which there do not exist local-in-time weak solutions of Newton's equations of motion. To our knowledge, this is the first time the necessity of rolling in the energy-conserving dynamics of strictly-convex rigid bodies has been demonstrated. This study was, in part, motivated by a recent observation of Palffy-Muhoray, Virga, Wilkinson and Zheng on the interpenetration of strictly-convex rigid bodies.

math.CA

On the Initial Boundary-Value Problem in the Kinetic Theory of Hard Particles II: Non-uniqueness

We prove that to each initial datum in a set of positive measure in phase space, there exist uncountably-many associated weak solutions of Newton's equations of motion which govern the dynamics of two non-spherical sets with real-analytic boundaries subject to the conservation of linear momentum, angular momentum and kinetic energy. We prove this result by first exhibiting non-uniqueness of classical solution to a constrained Monge-Amp\`ere equation posed on Euclidean space, and then applying the deep existence theory of Ballard for hard particle dynamics. In the final section of the article, we discuss the relevance of this observation to the kinetic theory of hard particle systems.

math-ph

On a paradox in the impact dynamics of smooth rigid bodies

Paradoxes in the impact dynamics of rigid bodies are known to arise in the presence of friction. We show here that, on specificc occasions, in the absence of friction, the conservation laws of classical mechanics are also incompatible with the collisions of smooth, strictly convex rigid bodies. Under the assumption that the impact impulse is along the normal direction to the surface at the contact point, two convex rigid bodies which are well separated can come into contact, and then interpenetrate each other. This paradox can be constructed in both 2D and 3D when the collisions are tangential, in which case no momentum or energy transfer between the two bodies is possible. The postcollisional interpenetration can be realized through the contact points or through neighboring points only. The penetration distance is shown to be O(t^3). The conclusion is that rigid body dynamics is not compatible with the conservation laws of classical mechanics.

physics.class-ph

Too small to succeed: the difficulty of sustaining star formation in low-mass haloes

We present high resolution simulations of an isolated dwarf spheroidal (dSph) galaxy between redshifts $z\sim10$ and $z\sim 4$, the epoch when several Milky Way dSph satellites experienced extended star formation, in order to understand in detail the physical processes which affect a low-mass halo's ability to retain gas. It is well-established that supernova feedback is very effective at expelling gas from a $3\times 10^7$M$_\odot$ halo, the mass of a typical redshift 10 progenitor of a redshift 0 halo with mass $\sim10^9$M$_\odot$. We investigate the conditions under which such a halo is able to retain sufficient high-density gas to support extended star formation. In particular, we explore the effects of: an increased relative concentration of the gas compared to the dark matter; a higher concentration dark matter halo; significantly lower supernova rates; enhanced metal cooling due to enrichment from earlier supernovae. We show that disk-like gas distributions retain more gas than spherical ones, primarily due to the shorter gas cooling times in the disk. However, a significant reduction in the number of supernovae compared to that expected for a standard initial mass function is still needed to allow the retention of high density gas. We conclude that the progenitors of the observed dSphs would only have retained the gas required to sustain star formation if their mass, concentration and gas morphology were already unusual for those of a dSph-mass halo progenitor by a redshift of 10.

astro-ph.GA