Related papers: Parametrizing the abstract Ellentuck theorem
We discuss the algebra of general gauge theories that are described by the embedding tensor formalism. We compare the gauge transformations dependent and independent of an invariant action, and argue that the generic transformations lead to…
The angular and the radial parts of the dynamics of the perturbed Kepler motion are separable in many important cases. In this paper we study the radial motion and its parametrizations. We develop in detail a generalized eccentric anomaly…
We use "generalized" version of total variation, coarea formulas, isoperimetric inequalities to obtain sharp estimates for solutions (and for their gradients) to anisotropic elliptic equations with a lower order term, comparing them with…
We consider the problem of rationalizing choice data by a preference satisfying an arbitrary collection of invariance axioms. Examples of such axioms include quasilinearity, homotheticity, independence-type axioms for mixture spaces,…
Vapnik--Chervonenkis' theorem is a seminal result in machine learning. It establishes sufficient conditions for empirical probabilities to converge to theoretical probabilities, uniformly over families of events. It also provides an…
A consistent framework has been put forward to quantize the isentropic, compressible and inviscid fluid model in the Hamiltonian framework, using the Clebsch parameterization. The naive quantization is hampered by the non-canonical (in…
We present an elementary method for proving enumeration formulas which are polynomials in certain parameters if others are fixed and factorize into distinct linear factors over Z. Roughly speaking the idea is to prove such formulas by…
We prove characterization theorems for relative entropy (also known as Kullback-Leibler divergence), q-logarithmic entropy (also known as Tsallis entropy), and q-logarithmic relative entropy. All three have been characterized axiomatically…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
Using Y.Andr\'e's result on differential equations staisfied by $E$-functions, we derive an improved version of the Siegel-Shidlovskii theorem. It gives a complete characterisation of algebraic relations over the algebraic numbers between…
This paper focuses on the metric properties of L\"uroth well approximable numbers, studying analogous of classical results, namely the Khintchine Theorem, the Jarn\'ik--Besicovitch Theorem, and the result of Dodson. A supplementary proof is…
We discuss algebraic and combinatorial aspects of the Hamiltonian normal form theory. The main objective is to describe the normal form near a singular point purely in terms of the original Hamiltonian, avoiding the normalization procedure.…
The purpose of this paper is to establish a Nadel vanishing theorem for big line bundles with multiplier ideal sheaves of singular metrics admitting an analytic Zariski decomposition (such as, metrics with minimal singularities and Siu's…
We provide a natural definition of an elliptic arrangement, extending the classical framework to an elliptic curve E with complex multiplication. We analyse the intersections of elements of the arrangement and their connected components as…
We describe a natural generalization of irreducibility in order lattices with arbitrary metrics. We analyse the special cases of valuation metrics and more general metrics for lattices. This article is mainly based on a part of the author's…
This note proves the existence of universal rational parametrizations. The description involves homogeneous coordinates on a toric variety coming from a lattice polytope. We first describe how smooth toric varieties lead to universal…
To every minimal model of a complete local isolated cDV singularity Donovan--Wemyss associate a finite dimensional symmetric algebra known as the contraction algebra. We construct the first known standard derived equivalences between these…
The Lagrangian Batalin-Vilkovisky (BV) formalism gives the rules for the quantisation of a general class of gauge theories which contain all the theories known up to now. It does, however, not only give a recipe to obtain a gauge fixed…
Let k be an imaginary quadratic number field (with class number 1). We describe a new, essentially linear-time algorithm, to list all isomorphism classes of cubic extensions L/k up to a bound X on the norm of the relative discriminant…
We discuss various aspects of the post-Newtonian approximation in general relativity. After presenting the foundation based on the Newtonian limit, we use the (3+1) formalism to formulate the post-Newtonian approximation for the perfect…