-
Drums of high width
Authors:
Alex Davies,
Prateek Gupta,
Sebastien Racaniere,
Grzegorz Swirszcz,
Adam Zsolt Wagner,
Theophane Weber,
Geordie Williamson
Abstract:
We provide a family of $5$-dimensional prismatoids whose width grows linearly in the number of vertices. This provides a new infinite family of counter-examples to the Hirsch conjecture whose excess width grows linearly in the number of vertices, and answers a question of Matschke, Santos and Weibel.
We provide a family of $5$-dimensional prismatoids whose width grows linearly in the number of vertices. This provides a new infinite family of counter-examples to the Hirsch conjecture whose excess width grows linearly in the number of vertices, and answers a question of Matschke, Santos and Weibel.
△ Less
Submitted 12 March, 2025;
originally announced March 2025.
-
Advancing Geometry with AI: Multi-agent Generation of Polytopes
Authors:
Grzegorz Swirszcz,
Adam Zsolt Wagner,
Geordie Williamson,
Sam Blackwell,
Bogdan Georgiev,
Alex Davies,
Ali Eslami,
Sebastien Racaniere,
Theophane Weber,
Pushmeet Kohli
Abstract:
Polytopes are one of the most primitive concepts underlying geometry. Discovery and study of polytopes with complex structures provides a means of advancing scientific knowledge. Construction of polytopes with specific extremal structure is very difficult and time-consuming. Having an automated tool for the generation of such extremal examples is therefore of great value. We present an Artificial…
▽ More
Polytopes are one of the most primitive concepts underlying geometry. Discovery and study of polytopes with complex structures provides a means of advancing scientific knowledge. Construction of polytopes with specific extremal structure is very difficult and time-consuming. Having an automated tool for the generation of such extremal examples is therefore of great value. We present an Artificial Intelligence system capable of generating novel polytopes with very high complexity, whose abilities we demonstrate in three different and challenging scenarios: the Hirsch Conjecture, the k-neighbourly problem and the longest monotone paths problem. For each of these three problems the system was able to generate novel examples, which match or surpass the best previously known bounds. Our main focus was the Hirsch Conjecture, which had remained an open problem for over 50 years. The highly parallel A.I. system presented in this paper was able to generate millions of examples, with many of them surpassing best known previous results and possessing properties not present in the earlier human-constructed examples. For comparison, it took leading human experts over 50 years to handcraft the first example of a polytope exceeding the bound conjectured by Hirsch, and in the decade since humans were able to construct only a scarce few families of such counterexample polytopes. With the adoption of computer-aided methods, the creation of new examples of mathematical objects stops being a domain reserved only for human expertise. Advances in A.I. provide mathematicians with yet another powerful tool in advancing mathematical knowledge. The results presented demonstrate that A.I. is capable of addressing problems in geometry recognized as extremely hard, and also to produce extremal examples different in nature from the ones constructed by humans.
△ Less
Submitted 30 January, 2025;
originally announced February 2025.
-
Quantisation of Lie-Poisson manifolds
Authors:
Sebastien Racaniere
Abstract:
In quantum physics, the operators associated with the position and the momentum of a particle are unbounded operators and $C^*$-algebraic quantisation does therefore not deal with such operators. In the present article, I propose a quantisation of the Lie-Poisson structure of the dual of a Lie algebroid which deals with a big enough class of functions to include the above mentioned example. As a…
▽ More
In quantum physics, the operators associated with the position and the momentum of a particle are unbounded operators and $C^*$-algebraic quantisation does therefore not deal with such operators. In the present article, I propose a quantisation of the Lie-Poisson structure of the dual of a Lie algebroid which deals with a big enough class of functions to include the above mentioned example. As an application, I show with an example how the quantisation of the dual of the Lie algebroid associated to a Poisson manifold can lead to a quantisation of the Poisson manifold itself. The example I consider is the torus with constant Poisson structure, in which case I recover its usual $C^*$-algebraic quantisation.
△ Less
Submitted 3 November, 2004;
originally announced November 2004.
-
Quasi-Poisson actions and massive non-rotating BTZ black holes
Authors:
Sebastien Racaniere
Abstract:
Using ideas from an article of P. Bieliavsky, M. Rooman and Ph. Spindel on BTZ black holes, I construct a family of interesting examples of quasi-Poisson actions as defined by A. Alekseev and Y. Kosmann-Schwarzbach. As an application, I obtain a genuine Poisson structure on $SL(2,R)$ which induces a Poisson structure on a BTZ black hole.
Using ideas from an article of P. Bieliavsky, M. Rooman and Ph. Spindel on BTZ black holes, I construct a family of interesting examples of quasi-Poisson actions as defined by A. Alekseev and Y. Kosmann-Schwarzbach. As an application, I obtain a genuine Poisson structure on $SL(2,R)$ which induces a Poisson structure on a BTZ black hole.
△ Less
Submitted 29 September, 2004;
originally announced September 2004.
-
Kirwan map and moduli space of flat connections
Authors:
Sebastien Racaniere
Abstract:
If $K$ is a compact Lie group and $g\geq 2$ an integer, the space $K^{2g}$ is endowed with the structure of a Hamiltonian space with a Lie group valued moment map $Φ$. Let $β$ be in the centre of $K$. The reduction $Φ^{-1}(β)/K$ is homeomorphic to a moduli space of flat connections. When $K$ is simply connected, a direct consequence of a recent paper of Bott, Tolman and Weitsman is to give a set…
▽ More
If $K$ is a compact Lie group and $g\geq 2$ an integer, the space $K^{2g}$ is endowed with the structure of a Hamiltonian space with a Lie group valued moment map $Φ$. Let $β$ be in the centre of $K$. The reduction $Φ^{-1}(β)/K$ is homeomorphic to a moduli space of flat connections. When $K$ is simply connected, a direct consequence of a recent paper of Bott, Tolman and Weitsman is to give a set of generators for the $K$-equivariant cohomology of $Φ^{-1}(β)$. Another method to construct classes in $H^*_K(Φ^{-1}(β))$ is by using the so called universal bundle. When the group is $\Sun$ and $β$ is a generator of the centre, these last classes are known to also generate the equivariant cohomology of $Φ^{-1}(β)$. The aim of this paper is to compare the classes constructed using the result of Bott, Tolman and Weitsman and the ones using the universal bundle.
△ Less
Submitted 15 December, 2003; v1 submitted 24 June, 2003;
originally announced June 2003.
