arXiv research

An expression for the first variation of the area functional of the second fundamental form is given for a hypersurface in a semi-Riemannian space. The concept of the "mean curvature of the second fundamental form" is then introduced. Some characterisations of extrinsic hyperspheres in terms of this curvature are given…

Given a finite honest time, we first show that the associated Azéma optional supermartingale can be expressed as the drawdown and the relative drawdown of some local optional supermartingales with continuous running supremum. The relative drawdown representation then allows us to provide a characterisation of finite ho…

We consider the energy and bienergy functionals as variational problems on the set of Riemannian metrics and present a study of the biharmonic stress-energy tensor. This approach is then applied to characterise weak conformality of the Gauss map of a submanifold. Finally, working at the level of functionals, we recover…

This text proposes geometrical descriptions of all variational problems invariant by conformal transformations in two variables. First a characterisation in terms of C-Finsler manifolds, a suitable generalization of Finsler manifolds, is given. Second Hamiltonian formalisms are explored, with an emphasis on Caratheodor…

In this article a relation between curvature functionals for surfaces in the Euclidean space and area functionals in relative differential geometry will be given. Relative differential geometry can be described as the geometry of surfaces in the affine space, endowed with a distinguished "relative normal vector field" …

It is shown that the first order (Palatini) variational principle for a generic nonlinear metric-affine Lagrangian depending on the (symmetrized) Ricci square invariant leads to an almost-product Einstein structure or to an almost-complex anti-Hermitian Einstein structure on a manifold. It is proved that a real anti-He…

Consider the following variational problem: among all curves in $\mathbb{R}^n$ of fixed length with prescribed end points and prescribed tangents at the end points, minimise the $L^\infty$-norm of the curvature. We show that the solutions of this problem, and of a generalised version, are characterised by a system of d…

We present a uniform description of $\mathrm{SU}(3)$-structures in dimension $6$ as well as $G_2$-structures in dimension $7$ in terms of a characterising spinor and the spinorial field equations it satisfies. We apply the results to hypersurface theory to obtain new embedding theorems, and give a general recipe for bu…

Study optimal consumption and investment for investors with Epstein-Zin preferences.

Alexandrov spaces with non-negative curvature are characterized by the matrix displacement convexity of an entropy tensor.

MMVAE learns multi-modal data with shared and private latent spaces.

A slope $p/q$ is a characterising slope for a knot $K$ in $S^3$ if the oriented homeomorphism type of $p/q$-surgery on $K$ determines $K$ uniquely. We show that when $K$ is a hyperbolic knot its set of characterising slopes contains all but finitely many slopes $p/q$ with $q \geq 3$. We prove stronger results for hyper…

A new measure helps compute suboptimality in entropy-regularized methods.

We investigate a new 8-dimensional Riemannian geometry defined by a generic closed and coclosed 3-form with stabiliser PSU(3), and which arises as a critical point of Hitchin's variational principle. We give a Riemannian characterisation of this structure in terms of invariant spinor-valued 1-forms, which are harmonic …

Let K be a knot in the 3-sphere. A slope p/q is said to be characterising for K if whenever p/q surgery on K is homeomorphic, via an orientation-preserving homeomorphism, to p/q surgery on another knot K' in the 3-sphere, then K and K' are isotopic. It was an old conjecture of Gordon, proved by Kronheimer, Mrowka, Ozsv…

We characterise the embeddability of simply connected locally 3-connected 2-dimensional simplicial complexes in 3-space in a way analogous to Kuratowski's characterisation of graph planarity, by excluded minors. This answers questions of Lovász, Pardon and Wagner.

Develops SGP-VAE for efficient sparse GP inference in multi-dimensional datasets.

Neural Decomposition breaks down VAE latent structure for better interpretability.

Symmetry helps VI recover certain statistics.

A modular GP framework for efficient transfer learning.

There has recently been a steady increase in the number iterative approaches to density estimation. However, an accompanying burst of formal convergence guarantees has not followed; all results pay the price of heavy assumptions which are often unrealistic or hard to check. The Generative Adversarial Network (GAN) lite…

This study explains gradient flow dynamics in neural networks for small initialisation.

Cohomology defines hyperbolic spaces and their subgraphs.

We prove that Fefferman spaces, associated to non--degenerate CR structures of hypersurface type, are characterised, up to local conformal isometry, by the existence of a parallel orthogonal complex structure on the standard tractor bundle. This condition can be equivalently expressed in terms of conformal holonomy. Ex…

Revealing latent structure in data is an active field of research, having introduced exciting technologies such as variational autoencoders and adversarial networks, and is essential to push machine learning towards unsupervised knowledge discovery. However, a major challenge is the lack of suitable benchmarks for an o…

The exponential map fails to be injective near critical points in sub-Riemannian geometry.

We give a topological characterisation of alternating knot exteriors based on the presence of special spanning surfaces. This shows that alternating is a topological property of the knot exterior and not just a property of diagrams, answering an old question of Fox. We also give a characterisation of alternating link e…

New method recovers clean data from corrupted samples.

A Python package for GLHMM, a flexible HMM framework.

$G$-deformability of maps into projective space is characterised by the existence of certain Lie algebra valued 1-forms. This characterisation gives a unified way to obtain well known results regarding deformability in different geometries.

Special issue on understanding physical processes from unusual diffusion patterns.

We give a dynamical characterisation of odd-dimensional balls within the class of all contact manifolds whose boundary is a standard even-dimensional sphere. The characterisation is in terms of the non-existence of short periodic Reeb orbits.

Sparse Gaussian process hyperparameters optimized using MCMC.

We present a large-scale study of commonality in liquidity and resilience across assets in an ultra high-frequency (millisecond-timestamped) Limit Order Book (LOB) dataset from a pan-European electronic equity trading facility. We first show that extant work in quantifying liquidity commonality through the degree of ex…

Property A was introduced by Yu as a non-equivariant analogue of amenability. Nigel Higson posed the question of whether there is a homological characterisation of property A. In this paper we answer Higson's question affirmatively by constructing analogues of group cohomology and bounded cohomology for a metric space …

The uniform boundary condition in a normed chain complex asks for a uniform linear bound on fillings of null-homologous cycles. For the $\ell^1$-norm on the singular chain complex, Matsumoto and Morita established a characterisation of the uniform boundary condition in terms of bounded cohomology. In particular, spaces…

We define new Riemannian structures on 7-manifolds by a differential form of mixed degree which is the critical point of a (possibly constrained) variational problem over a fixed cohomology class. The unconstrained critical points generalise the notion of a manifold of holonomy $G_2$, while the constrained ones give ri…

For closed and connected subgroups G of SO(n), we study the energy functional on the space of G-structures of a (compact) Riemannian manifold M, where G-structures are considered as sections of the quotient bundle O(M)/G. Then, we deduce the corresponding first and second variation formulae and the characterising condi…

Characterizes quasi-isometric embeddings in coarsely Lipschitz category.

We discuss channel surfaces in the context of Lie sphere geometry and characterise them as certain $Ω_{0}$-surfaces. Since $Ω_{0}$-surfaces possess a rich transformation theory, we study the behaviour of channel surfaces under these transformations. Furthermore, by using certain Dupin cyclide congruences, we characteri…

In this paper, using the method of moving frames, we generalise some of Terracini's results on varieties with tangent defect. In particular, we characterise varieties with higher order osculating defect in terms of Jacobians of higher fundamental forms and moreover we characterise varieties with "small" higher fundamen…

We characterise the maps into the space of $2$-spheres in $S^n$ that are the conformal Gauss maps of conformal immersions of a surface. In particular, we give an invariant formulation and efficient proof of a characterisation, due to Dorfmeister--Wang \cites{DorWan13,DorWan}, of the harmonic maps that are conformal Gau…

Excellent variational approximations to Gaussian process posteriors have been developed which avoid the $\mathcal{O}\left(N^3\right)$ scaling with dataset size $N$. They reduce the computational cost to $\mathcal{O}\left(NM^2\right)$, with $M\ll N$ being the number of inducing variables, which summarise the process. Wh…

The study characterizes slopes for hyperbolic knots and Whitehead doubles.

The interpretation of complex high-dimensional data typically requires the use of dimensionality reduction techniques to extract explanatory low-dimensional representations. However, in many real-world problems these representations may not be sufficient to aid interpretation on their own, and it would be desirable to …

Among all torus links, we characterise those arising as links of simple plane curve singularities by the property that their fibre surfaces admit only a finite number of cutting arcs that preserve fibredness. The same property allows a characterisation of Coxeter-Dynkin trees (i.e., $A_n$, $D_n$, $E_6$, $E_7$ and $E_8$…

New theorem for 4D links simplifies characterisation problem.

We study losses for binary classification and class probability estimation and extend the understanding of them from margin losses to general composite losses which are the composition of a proper loss with a link function. We characterise when margin losses can be proper composite losses, explicitly show how to determ…