-
Cusps of caustics by reflection in ellipses
Authors:
Gil Bor,
Mark Spivakovsky,
Serge Tabachnikov
Abstract:
This paper is concerned with the billiard version of Jacobi's last geometric statement and its generalizations. Given a non-focal point $O$ inside an elliptic billiard table, one considers the family of rays emanating from $O$ and the caustic $Γ_n$ of the reflected family after $n$ reflections off the ellipse, for each positive integer $n$. It is known that $Γ_n$ has at least four cusps and it has…
▽ More
This paper is concerned with the billiard version of Jacobi's last geometric statement and its generalizations. Given a non-focal point $O$ inside an elliptic billiard table, one considers the family of rays emanating from $O$ and the caustic $Γ_n$ of the reflected family after $n$ reflections off the ellipse, for each positive integer $n$. It is known that $Γ_n$ has at least four cusps and it has been conjectured that it has exactly four (ordinary) cusps. The present paper presents a proof of this conjecture in the special case when the ellipse is a circle. In the case of an arbitrary ellipse, we give an explicit description of the location of four of the cusps of $Γ_n$, though we do not prove that these are the only cusps.
△ Less
Submitted 16 June, 2024;
originally announced June 2024.
-
A family of maps and a vector field on plane polygons
Authors:
Maxim Arnold,
Lael Costa,
Serge Tabachnikov
Abstract:
We study, theoretically and experimentally, a 1-parameter family of transformations and their limiting vector field on the space of plane polygons. These transformations are discrete analogs of completely integrable transformation on closed plane curves, known as the bicycle correspondence, that is a geometric realization of the Bäcklund transformation of the planar filament equation. For odd-gons…
▽ More
We study, theoretically and experimentally, a 1-parameter family of transformations and their limiting vector field on the space of plane polygons. These transformations are discrete analogs of completely integrable transformation on closed plane curves, known as the bicycle correspondence, that is a geometric realization of the Bäcklund transformation of the planar filament equation. For odd-gons, we construct a symplectic form on the quotient space by parallel translations and show that the transformations are symplectic, and the vector field is Hamiltonian. In the case of triangles, we prove complete integrability of the respective vector field and provide evidence for the conjecture that the transformations are integrable as well.
△ Less
Submitted 24 February, 2024;
originally announced February 2024.
-
Geometry of Integrable Linkages
Authors:
Ron Perline,
Sergei Tabachnikov
Abstract:
In analogy with the well-known 2-linkage tractor-trailer problem, we define a 2-linkage problem in the plane with novel non-holonomic ``no-slip'' conditions. Using constructs from sub-Riemannian geometry, we look for geodesics corresponding to linkage motion with these constraints (``tricycle kinematics''). The paths of the three vertices turn out to be critical points for functionals which appear…
▽ More
In analogy with the well-known 2-linkage tractor-trailer problem, we define a 2-linkage problem in the plane with novel non-holonomic ``no-slip'' conditions. Using constructs from sub-Riemannian geometry, we look for geodesics corresponding to linkage motion with these constraints (``tricycle kinematics''). The paths of the three vertices turn out to be critical points for functionals which appear in the hierarchy of conserved quantities for the planar filament equation, a well known completely integrable evolution equation for planar curves. We show that the geodesic equations are completely integrable, and present a second connection to the planar filament equation.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Monotone twist maps and Dowker-type theorems
Authors:
Peter Albers,
Serge Tabachnikov
Abstract:
Given a planar oval, consider the maximal area of inscribed $n$-gons resp. the minimal area of circumscribed $n$-gons. One obtains two sequences indexed by $n$, and one of Dowker's theorems states that the first sequence is concave and the second is convex. In total, there are four such classic results, concerning areas resp. perimeters of inscribed resp. circumscribed polygons, due to Dowker, Mol…
▽ More
Given a planar oval, consider the maximal area of inscribed $n$-gons resp. the minimal area of circumscribed $n$-gons. One obtains two sequences indexed by $n$, and one of Dowker's theorems states that the first sequence is concave and the second is convex. In total, there are four such classic results, concerning areas resp. perimeters of inscribed resp. circumscribed polygons, due to Dowker, Molnár, and Eggleston. We show that these four results are all incarnations of the convexity property of Mather's $β$-function (the minimal average action function) of the respective billiard-type systems. We then derive new geometric inequalities of similar type for various other billiard system. Some of these billiards have been thoroughly studied, and some are novel. Moreover, we derive new inequalities (even for conventional billiards) for higher rotation numbers.
△ Less
Submitted 25 February, 2024; v1 submitted 4 July, 2023;
originally announced July 2023.
-
Iterating skew evolutes and skew involutes: a linear analog of the bicycle kinematics
Authors:
Serge Tabachnikov
Abstract:
The evolute of a plane curve is the envelope of its normals. Replacing the normals by the lines that make a fixed angle with the curve yields a new curve, called the evolutoid. We prefer the term ``skew evolute", and we study the geometry and dynamics of the skew evolute map and of its inverse, the skew involute map. The relation between a curve and its skew evolute is analogous to the relation be…
▽ More
The evolute of a plane curve is the envelope of its normals. Replacing the normals by the lines that make a fixed angle with the curve yields a new curve, called the evolutoid. We prefer the term ``skew evolute", and we study the geometry and dynamics of the skew evolute map and of its inverse, the skew involute map. The relation between a curve and its skew evolute is analogous to the relation between the rear and front bicycle tracks, and this connections with the bicycle kinematics (a considerably more complicated subject) is our motivation for this study.
△ Less
Submitted 14 February, 2023; v1 submitted 8 February, 2023;
originally announced February 2023.
-
Differential geometry of space curves: Forgotten chapters
Authors:
Dmitry Fuchs,
Ivan Izmestiev,
Matteo Raffaelli,
Gudrun Szewieczek,
Serge Tabachnikov
Abstract:
We study evolutes and involutes of space curves. Although much of the material presented is not new and can be found in classic treatises, we believe that a modern and unified treatment, complemented with several novel observations, may be useful. The results are illustrated with the help of computer graphics, a tool that was not not available to the classical geometers.
We study evolutes and involutes of space curves. Although much of the material presented is not new and can be found in classic treatises, we believe that a modern and unified treatment, complemented with several novel observations, may be useful. The results are illustrated with the help of computer graphics, a tool that was not not available to the classical geometers.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
Bicycling geodesics are Kirchhoff rods
Authors:
Gil Bor,
Connor Jackman,
Serge Tabachnikov
Abstract:
A bicycle path is a pair of trajectories in ${\mathbb R}^n$, the `front' and `back' tracks, traced out by the endpoints of a moving line segment of fixed length (the `bicycle frame') and tangent to the back track. Bicycle geodesics are bicycle paths whose front track's length is critical among all bicycle paths connecting two given placements of the line segment.
We write down and study the asso…
▽ More
A bicycle path is a pair of trajectories in ${\mathbb R}^n$, the `front' and `back' tracks, traced out by the endpoints of a moving line segment of fixed length (the `bicycle frame') and tangent to the back track. Bicycle geodesics are bicycle paths whose front track's length is critical among all bicycle paths connecting two given placements of the line segment.
We write down and study the associated variational equations, showing that for $n\geq 3$ each such geodesic is contained in a 3-dimensional affine subspace and that the front tracks of these geodesics form a certain subfamily of Kirchhoff rods, a class of curves introduced in 1859 by G. Kirchhoff, generalizing the planar elastic curves of J. Bernoulli and L. Euler.
△ Less
Submitted 10 May, 2023; v1 submitted 23 August, 2022;
originally announced August 2022.
-
On conformal points of area preserving maps and related topics
Authors:
Peter Albers,
Serge Tabachnikov
Abstract:
In this article we consider area preserving diffeomorphisms of planar domains, and we are interested in their conformal points, i.e., points at which the derivative is a similarity. We present some conditions that guarantee existence of conformal points for the infinitesimal problem of Hamiltonian vector fields as well as for what we call moderate symplectomorphisms of simply connected domains. We…
▽ More
In this article we consider area preserving diffeomorphisms of planar domains, and we are interested in their conformal points, i.e., points at which the derivative is a similarity. We present some conditions that guarantee existence of conformal points for the infinitesimal problem of Hamiltonian vector fields as well as for what we call moderate symplectomorphisms of simply connected domains. We also link this problem to the Carathéodory and Loewner conjectures.
△ Less
Submitted 5 May, 2022;
originally announced May 2022.
-
On projective evolutes of polygons
Authors:
Maxim Arnold,
Richard Evan Schwartz,
Serge Tabachnikov
Abstract:
The evolute of a curve is the envelope of its normals. In this note we consider a projectively natural discrete analog of this construction: we define projective perpendicular bisectors of the sides of a polygon in the projective plane, and study the map that sends a polygon to the new polygon formed by the projective perpendicular bisectors of its sides. We consider this map acting on the moduli…
▽ More
The evolute of a curve is the envelope of its normals. In this note we consider a projectively natural discrete analog of this construction: we define projective perpendicular bisectors of the sides of a polygon in the projective plane, and study the map that sends a polygon to the new polygon formed by the projective perpendicular bisectors of its sides. We consider this map acting on the moduli space of projective polygons. We analyze the case of pentagons; the moduli space is 2-dimensional in this case. The second iteration of the map has one integral whose level curves are cubic curves, and the transformation on these level curves is conjugated to the map $x\mapsto -4x$ mod 1. We also present the results of an experimental study in the case of hexagons.
△ Less
Submitted 20 February, 2022;
originally announced February 2022.
-
A family of integrable transformations of centroaffine polygons: geometrical aspects
Authors:
M. Arnold,
D. Fuchs,
S. Tabachnikov
Abstract:
Two polygons, $(P_1,\ldots,P_n)$ and $(Q_1,\ldots,Q_n)$ in ${\mathbb R}^2$ are $c$-related if $\det(P_i, P_{i+1})=\det(Q_i, Q_{i+1})$ and $\det(P_i, Q_i)=c$ for all $i$. This relation extends to twisted polygons (polygons with monodromy), and it descends to the moduli space of $SL(2,{\mathbb R}^2)$-equivalent polygons. This relation is an equiaffine analog of the discrete bicycle correspondence st…
▽ More
Two polygons, $(P_1,\ldots,P_n)$ and $(Q_1,\ldots,Q_n)$ in ${\mathbb R}^2$ are $c$-related if $\det(P_i, P_{i+1})=\det(Q_i, Q_{i+1})$ and $\det(P_i, Q_i)=c$ for all $i$. This relation extends to twisted polygons (polygons with monodromy), and it descends to the moduli space of $SL(2,{\mathbb R}^2)$-equivalent polygons. This relation is an equiaffine analog of the discrete bicycle correspondence studied by a number of authors. We study the geometry of this relations, present its integrals, and show that, in an appropriate sense, these relations, considered for different values of the constants $c$, commute. We relate this topic with the dressing chain of Veselov and Shabat. The case of small-gons is investigated in detail.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
On cusps of caustics by reflection: a billiard variation on Jacobi's Last Geometric Statement
Authors:
Gil Bor,
Serge Tabachnikov
Abstract:
A point source of light is placed inside an oval. The $n$-th caustic by reflection is the envelope of the light rays emanating from the light source after $n$ reflections off the curve. We show that each of these caustics, for a generic point light source, has at least 4 cusps. This is a billiard variation on Jacobi's Last Geometric Statement, concerning the number of cusps of the conjugate locus…
▽ More
A point source of light is placed inside an oval. The $n$-th caustic by reflection is the envelope of the light rays emanating from the light source after $n$ reflections off the curve. We show that each of these caustics, for a generic point light source, has at least 4 cusps. This is a billiard variation on Jacobi's Last Geometric Statement, concerning the number of cusps of the conjugate locus of a point on a convex surface. We present various proofs, using different ideas, including the curve shortening flow and Legendrian knot theory.
△ Less
Submitted 24 December, 2021; v1 submitted 14 December, 2021;
originally announced December 2021.
-
Open problems on billiards and geometric optics
Authors:
M. Bialy,
C. Fierobe,
A. Glutsyuk,
M. Levi,
A. Plakhov,
S. Tabachnikov
Abstract:
This is a collection of open problems from workshop "Differential Geometry, Billiards, and Geometric Optics" at CIRM on October 4-8, 2021.
This is a collection of open problems from workshop "Differential Geometry, Billiards, and Geometric Optics" at CIRM on October 4-8, 2021.
△ Less
Submitted 28 October, 2021; v1 submitted 20 October, 2021;
originally announced October 2021.
-
Remarks on rigidity properties of conics
Authors:
Serge Tabachnikov
Abstract:
Inspired by the recent results toward Birkhoff conjecture (a rigidity property of billiards in ellipses), we discuss two rigidity properties of conics. The first one concerns symmetries of an analog of polar duality associated with an oval, and the second concerns properties of the circle map associated with an oval and two pencils of lines.
Inspired by the recent results toward Birkhoff conjecture (a rigidity property of billiards in ellipses), we discuss two rigidity properties of conics. The first one concerns symmetries of an analog of polar duality associated with an oval, and the second concerns properties of the circle map associated with an oval and two pencils of lines.
△ Less
Submitted 17 October, 2021;
originally announced October 2021.
-
Loewner's "forgotten" theorem
Authors:
Peter Albers,
Serge Tabachnikov
Abstract:
Let $f(t)$ be a smooth and periodic function of one real variable. Then the planar curves $t\mapsto \big(f'(t),f(t)\big)$ and $t\mapsto \big(f''(t)-f(t),f'(t)\big)$ both have non-negative rotation number around every point not on the curve. These are the two simplest cases of a beautiful Theorem by C. Loewner. This article is expository, we prove the two statements by elementary means following wo…
▽ More
Let $f(t)$ be a smooth and periodic function of one real variable. Then the planar curves $t\mapsto \big(f'(t),f(t)\big)$ and $t\mapsto \big(f''(t)-f(t),f'(t)\big)$ both have non-negative rotation number around every point not on the curve. These are the two simplest cases of a beautiful Theorem by C. Loewner. This article is expository, we prove the two statements by elementary means following work by Bol [3]. After that, we present Loewner's Theorem and his proof from [7].
△ Less
Submitted 7 September, 2021;
originally announced September 2021.
-
Variations on the Tait-Kneser theorem
Authors:
Gil Bor,
Connor Jackman,
Serge Tabachnikov
Abstract:
The Tait-Kneser theorem, first demonstrated by Peter G. Tait in 1896, states that the osculating circles along a plane curve with monotone non-vanishing curvature are pairwise disjoint and nested. This note contains a proof of this theorem using the Lorentzian geometry of the space of circles. We show how a similar proof applies to two variations on the theorem, concerning the osculating Hooke and…
▽ More
The Tait-Kneser theorem, first demonstrated by Peter G. Tait in 1896, states that the osculating circles along a plane curve with monotone non-vanishing curvature are pairwise disjoint and nested. This note contains a proof of this theorem using the Lorentzian geometry of the space of circles. We show how a similar proof applies to two variations on the theorem, concerning the osculating Hooke and Kepler conics along a plane curve. We also prove a version of the 4-vertex theorem for Kepler conics.
△ Less
Submitted 2 June, 2021; v1 submitted 5 April, 2021;
originally announced April 2021.
-
Symplectically convex and symplectically star-shaped curves -- a variational problem
Authors:
Peter Albers,
Serge Tabachnikov
Abstract:
In this article we propose a generalization of the 2-dimensional notions of convexity resp. being star-shaped to symplectic vector spaces. We call such curves symplectically convex resp. symplectically star-shaped. After presenting some basic results we study a family of variational problems for symplectically convex and symplectically star-shaped curves which is motivated by the affine isoperimet…
▽ More
In this article we propose a generalization of the 2-dimensional notions of convexity resp. being star-shaped to symplectic vector spaces. We call such curves symplectically convex resp. symplectically star-shaped. After presenting some basic results we study a family of variational problems for symplectically convex and symplectically star-shaped curves which is motivated by the affine isoperimetric inequality. These variational problems can be reduced back to two dimensions. For a range of the family parameter extremal points of the variational problem are rigid: they are multiply traversed conics. For all family parameters we determine when non-trivial first and second order deformations of conics exist. In the last section we present some conjectures and questions and two galleries created with the help of a Mathematica applet by Gil Bor.
△ Less
Submitted 27 May, 2021; v1 submitted 29 December, 2020;
originally announced December 2020.
-
Self-Bäcklund curves in centroaffine geometry and Lamé's equation
Authors:
Misha Bialy,
Gil Bor,
Serge Tabachnikov
Abstract:
Twenty five years ago U. Pinkall discovered that the Korteweg-de Vries equation can be realized as an evolution of curves in centoraffine geometry. Since then, a number of authors interpreted various properties of KdV and its generalizations in terms of centoraffine geometry. In particular, the Bäcklund transformation of the Korteweg-de Vries equation can be viewed as a relation between centroaffi…
▽ More
Twenty five years ago U. Pinkall discovered that the Korteweg-de Vries equation can be realized as an evolution of curves in centoraffine geometry. Since then, a number of authors interpreted various properties of KdV and its generalizations in terms of centoraffine geometry. In particular, the Bäcklund transformation of the Korteweg-de Vries equation can be viewed as a relation between centroaffine curves.
Our paper concerns self-Bäcklund centroaffine curves. We describe general properties of these curves and provide a detailed description of them in terms of elliptic functions. Our work is a centroaffine counterpart to the study done by F. Wegner of a similar problem in Euclidean geometry, related to Ulam's problem of describing the (2-dimensional) bodies that float in equilibrium in all positions and to bicycle kinematics.
We also consider a discretization of the problem where curves are replaced by polygons. This is related to discretization of KdV and the cross-ratio dynamics on ideal polygons.
△ Less
Submitted 10 May, 2022; v1 submitted 6 October, 2020;
originally announced October 2020.
-
Remarks on Joachimsthal integral and Poritsky property
Authors:
Maxim Arnold,
Serge Tabachnikov
Abstract:
The billiard in an ellipse has an integral linear in momentum, the Joachimsthal integral. We show that the existence of such an integral characterizes conics. We extend this result to the spherical and hyperbolic geometries and to higher dimensions. We connect the existence of Joachimsthal integral with the Poritsky property, a property of billiard curves, called so after H. Poritsky whose importa…
▽ More
The billiard in an ellipse has an integral linear in momentum, the Joachimsthal integral. We show that the existence of such an integral characterizes conics. We extend this result to the spherical and hyperbolic geometries and to higher dimensions. We connect the existence of Joachimsthal integral with the Poritsky property, a property of billiard curves, called so after H. Poritsky whose important 1950 paper was one of the early studies of the billiard problem.
△ Less
Submitted 10 September, 2020;
originally announced September 2020.
-
On the 80th Birthday of Dmitry Borisovich Fuchs
Authors:
Alice Fialowski,
Ekaterina Fuchs,
Elena Fuchs,
Boris Khesin,
Alexandre Kirillov,
Fedor Malikov,
Valentin Ovsienko,
Alexei Sossinsky,
Serge Tabachnikov
Abstract:
This article is a collection of several memories for a special issue of SIGMA devoted to Dmitry Borisovich Fuchs.
This article is a collection of several memories for a special issue of SIGMA devoted to Dmitry Borisovich Fuchs.
△ Less
Submitted 7 April, 2020;
originally announced April 2020.
-
Dan Reznik's identities and more
Authors:
Misha Bialy,
Serge Tabachnikov
Abstract:
Dan Reznik found, by computer experimentation, a number of conserved quantities associated with periodic billiard trajectories in ellipses. We prove some of his observations using a non-standard generating function for the billiard ball map. In this way, we also obtain some identities valid for all smooth convex billiard tables.
Dan Reznik found, by computer experimentation, a number of conserved quantities associated with periodic billiard trajectories in ellipses. We prove some of his observations using a non-standard generating function for the billiard ball map. In this way, we also obtain some identities valid for all smooth convex billiard tables.
△ Less
Submitted 4 May, 2020; v1 submitted 23 January, 2020;
originally announced January 2020.
-
Billiards in ellipses revisited
Authors:
Arseniy Akopyan,
Richard Schwartz,
Serge Tabachnikov
Abstract:
We prove some recent experimental observations of D. Reznik concerning periodic billiard orbits in ellipses. For example, the sum of cosines of the angles of a periodic billiard polygon remains constant in the one-parameter family of such polygons (that exist due to the Poncelet porism). In our proofs, we use geometric and complex analytic methods.
We prove some recent experimental observations of D. Reznik concerning periodic billiard orbits in ellipses. For example, the sum of cosines of the angles of a periodic billiard polygon remains constant in the one-parameter family of such polygons (that exist due to the Poncelet porism). In our proofs, we use geometric and complex analytic methods.
△ Less
Submitted 25 January, 2020; v1 submitted 9 January, 2020;
originally announced January 2020.
-
Polygonal symplectic billiards
Authors:
Peter Albers,
Gautam Banhatti,
Filip Sadlo,
Richard Schwartz,
Serge Tabachnikov
Abstract:
In this article, we study polygonal symplectic billiards. We provide new results, some of which are inspired by numerical investigations. In particular, we present several polygons for which all orbits are periodic. We demonstrate their properties and derive various conjectures using two numerical implementations.
In this article, we study polygonal symplectic billiards. We provide new results, some of which are inspired by numerical investigations. In particular, we present several polygons for which all orbits are periodic. We demonstrate their properties and derive various conjectures using two numerical implementations.
△ Less
Submitted 19 December, 2019;
originally announced December 2019.
-
Fun Problems in Geometry and Beyond
Authors:
Boris Khesin,
Serge Tabachnikov
Abstract:
We discuss fun problems, vaguely related to notions and theorems of a course in differential geometry. This paper can be regarded as a weekend "treasure chest" supplementing the course weekday lecture notes. The problems and solutions are not original, while their relation to the course might be so.
We discuss fun problems, vaguely related to notions and theorems of a course in differential geometry. This paper can be regarded as a weekend "treasure chest" supplementing the course weekday lecture notes. The problems and solutions are not original, while their relation to the course might be so.
△ Less
Submitted 12 December, 2019;
originally announced December 2019.
-
Four equivalent properties of integrable billiards
Authors:
Alexei Glutsyuk,
Ivan Izmestiev,
Serge Tabachnikov
Abstract:
By a classical result of Darboux, a foliation of a Riemannian surface has the Graves property (also known as the strong evolution property) if and only if the foliation comes from a Liouville net. A similar result of Blaschke says that a pair of orthogonal foliations has the Ivory property if and only if they form a Liouville net.
Let us say that a geodesically convex curve on a Riemannian surfa…
▽ More
By a classical result of Darboux, a foliation of a Riemannian surface has the Graves property (also known as the strong evolution property) if and only if the foliation comes from a Liouville net. A similar result of Blaschke says that a pair of orthogonal foliations has the Ivory property if and only if they form a Liouville net.
Let us say that a geodesically convex curve on a Riemannian surface has the Poritsky property if it can be parametrized in such a way that all of its string diffeomorphisms are shifts with respect to this parameter. In 1950, Poritsky has shown that the only closed plane curves with this property are ellipses.
In the present article we show that a curve on a Riemannian surface has the Poritsky property if and only if it is a coordinate curve of a Liouville net. We also recall Blaschke's derivation of the Liouville property from the Ivory property and his proof of Weihnacht's theorem: the only Liouville nets in the plane are nets of confocal conics and their degenerations.
This suggests the following generalization of Birkhoff's conjecture: If an interior neighborhood of a closed geodesically convex curve on a Riemannian surface is foliated by billiard caustics, then the metric in the neighborhood is Liouville, and the curve is one of the coordinate lines.
△ Less
Submitted 19 September, 2019;
originally announced September 2019.
-
Two variations on the periscope theorem
Authors:
Serge Tabachnikov
Abstract:
A spherical periscope in multi-dimensional space is a system of two ideal mirrors that reflect the rays emanating from a fixed point to the rays coming back to the same point, and a reversed periscope is a system of two mirrors that reflect the rays having a fixed direction to the rays having the opposite direction. We describe the local diffeomorphisms of the wave fronts (spherical, in the former…
▽ More
A spherical periscope in multi-dimensional space is a system of two ideal mirrors that reflect the rays emanating from a fixed point to the rays coming back to the same point, and a reversed periscope is a system of two mirrors that reflect the rays having a fixed direction to the rays having the opposite direction. We describe the local diffeomorphisms of the wave fronts (spherical, in the former, and flat, in the latter cases), induced by these 2-mirror systems.
△ Less
Submitted 22 August, 2019;
originally announced August 2019.
-
Wire billiards, the first steps
Authors:
Misha Bialy,
Andrey Mironov,
Serge Tabachnikov
Abstract:
Wire billiard is defined by a smooth embedded closed curve of non-vanishing curvature $k$ in $\mathbb{R}^n$ (a wire). For a class of curves, that we call nice wires, the wire billiard map is area preserving twist map of the cylinder. In this paper we are investigating whether the basic features of conventional planar billiards extend to this more general situation. In particular, we extend Lazutki…
▽ More
Wire billiard is defined by a smooth embedded closed curve of non-vanishing curvature $k$ in $\mathbb{R}^n$ (a wire). For a class of curves, that we call nice wires, the wire billiard map is area preserving twist map of the cylinder. In this paper we are investigating whether the basic features of conventional planar billiards extend to this more general situation. In particular, we extend Lazutkin's KAM result, as well as Mather's converse KAM result, to wire billiards. We address the notion of caustics: for wire billiards, it corresponds to striction curve of the ruled surface spanned by the chords of the invariant curve. If the ruled surface is developable this is a genuine caustic. We found remarkable examples of the wires which are closed orbits of 1-parameter subgroup of $SO(n)$. These wire billiards are totally integrable. Using the theory of interpolating Hamiltonians, we prove that the distribution of impact points of the wire becomes uniform with respect to the measure $k^{2/3} dx$ (where $x$ is the arc length parameter), as the length of the chords tends to zero. Applying this result, we prove that the billiard transformation in an ellipsoid commutes with the reparameterized geodesic flow on a confocal ellipsoid: the speed of the foot point of the line tangent to a geodesic equals $k^{-2/3}$, where $k$ is the curvature of the geodesic in the ambient space. We also discuss perspectives and open problems of this new class of billiards.
△ Less
Submitted 31 May, 2019;
originally announced May 2019.
-
Cross-ratio dynamics on ideal polygons
Authors:
Maxim Arnold,
Dmitry Fuchs,
Ivan Izmestiev,
Serge Tabachnikov
Abstract:
Two ideal polygons, $(p_1,\ldots,p_n)$ and $(q_1,\ldots,q_n)$, in the hyperbolic plane or in hyperbolic space are said to be $α$-related if the cross-ratio $[p_i,p_{i+1},q_i,q_{i+1}] = α$ for all $i$ (the vertices lie on the projective line, real or complex, respectively). For example, if $α= -1$, the respective sides of the two polygons are orthogonal. This relation extends to twisted ideal polyg…
▽ More
Two ideal polygons, $(p_1,\ldots,p_n)$ and $(q_1,\ldots,q_n)$, in the hyperbolic plane or in hyperbolic space are said to be $α$-related if the cross-ratio $[p_i,p_{i+1},q_i,q_{i+1}] = α$ for all $i$ (the vertices lie on the projective line, real or complex, respectively). For example, if $α= -1$, the respective sides of the two polygons are orthogonal. This relation extends to twisted ideal polygons, that is, polygons with monodromy, and it descends to the moduli space of Möbius-equivalent polygons. We prove that this relation, which is, generically, a 2-2 map, is completely integrable in the sense of Liouville. We describe integrals and invariant Poisson structures, and show that these relations, with different values of the constants $α$, commute, in an appropriate sense. We investigate the case of small-gons, describe the exceptional ideal polygons, that possess infinitely many $α$-related polygons, and study the ideal polygons that are $α$-related to themselves (with a cyclic shift of the indices).
△ Less
Submitted 13 December, 2018;
originally announced December 2018.
-
Descartes Circle Theorem, Steiner Porism, and Spherical Designs
Authors:
Richard Evan Schwartz,
Serge Tabachnikov
Abstract:
A Steiner chain of length k consists of k circles, tangent to two given non-intersecting circles (the parent circles) and tangent to each other in a cyclic pattern. The Steiner porism states that once a chain of k circles exists, there exists a 1-parameter family of such chains with the same parent circles that can be constructed starting with any initial circle, tangent to the parent circles. Wha…
▽ More
A Steiner chain of length k consists of k circles, tangent to two given non-intersecting circles (the parent circles) and tangent to each other in a cyclic pattern. The Steiner porism states that once a chain of k circles exists, there exists a 1-parameter family of such chains with the same parent circles that can be constructed starting with any initial circle, tangent to the parent circles. What do the circles in these 1-parameter family of Steiner chains of length k have in common? We prove that the first k-1 moments of their curvatures remain constant within a 1-parameter family. For k=3, this follows from the Descartes Circle Theorem. We extend our result to Steiner chains in the spherical and hyperbolic geometries and present a related more general theorem involving spherical designs.
△ Less
Submitted 19 November, 2018;
originally announced November 2018.
-
On centro-affine curves and Backlund transformations of the KdV equation
Authors:
Serge Tabachnikov
Abstract:
We continue the study of the Korteweg-de Vries equation in terms of cento-affine curves, initiated by U. Pinkall. A centro-affine curve is a closed parametric curve in the affine plane such that the determinant made by the position and the velocity vectors is identically 1. The space of centro-affine curves is acted upon by the special linear group, and the quotient is identified with the space of…
▽ More
We continue the study of the Korteweg-de Vries equation in terms of cento-affine curves, initiated by U. Pinkall. A centro-affine curve is a closed parametric curve in the affine plane such that the determinant made by the position and the velocity vectors is identically 1. The space of centro-affine curves is acted upon by the special linear group, and the quotient is identified with the space of Hill's equations with periodic solutions. It is known that the space of centro-affine curves carries two pre-symplectic structures, and the KdV flow is identified with is a bi-Hamiltonian dynamical system therein. We introduce a 1-parameter family of transformations on centro-affine curves, prove that they preserve both presymplectic structures, commute with the KdV flow, and share the integrals with it. Furthermore, the transformation commute with each other (Bianchi permutability). We also describe integrals of the KdV equation as arising from the monodromy of Riccati equations associated with centro-affine curves. We are motivated by our work in progress (joint with M. Arnold, D. Fuchs, and I. Izmenstiev), concerning the cross-ratio dynamics on ideal polygons in the hyperbolic plane and hyperbolic space, whose continuous version is studied in the present note.
△ Less
Submitted 25 August, 2018;
originally announced August 2018.
-
A four vertex theorem for frieze patterns?
Authors:
Serge Tabachnikov
Abstract:
Given two Coxeter's frieze patterns with the same width and consisting of positive numbers, choose a row and consider the periodic sequence of the differences of the respective entries of the two friezes. We ask for which rows this sequence must change sign at least four times over the period. We prove that this is the case for the first and for the second non-trivial rows, and that this is true,…
▽ More
Given two Coxeter's frieze patterns with the same width and consisting of positive numbers, choose a row and consider the periodic sequence of the differences of the respective entries of the two friezes. We ask for which rows this sequence must change sign at least four times over the period. We prove that this is the case for the first and for the second non-trivial rows, and that this is true, for all rows, for an infinitesimal version of the question. The article also contains expository material on the four vertex theorem and on Coxeter's frieze patterns.
△ Less
Submitted 15 June, 2018; v1 submitted 30 May, 2018;
originally announced May 2018.
-
Open Problems, Questions, and Challenges in Finite-Dimensional Integrable Systems
Authors:
A. Bolsinov,
V. Matveev,
E. Miranda,
S. Tabachnikov
Abstract:
The paper surveys open problems and questions related to different aspects of integrable systems with finitely many degrees of freedom. Many of the open problems were suggested by the participants of the conference "Finite-dimensional Integrable Systems, FDIS 2017" held at CRM, Barcelona in July 2017.
The paper surveys open problems and questions related to different aspects of integrable systems with finitely many degrees of freedom. Many of the open problems were suggested by the participants of the conference "Finite-dimensional Integrable Systems, FDIS 2017" held at CRM, Barcelona in July 2017.
△ Less
Submitted 14 January, 2020; v1 submitted 10 April, 2018;
originally announced April 2018.
-
Counting Periodic Trajectories of Finsler Billiards
Authors:
Pavle V. M. Blagojević,
Michael Harrison,
Serge Tabachnikov,
Günter M. Ziegler
Abstract:
We provide lower bounds on the number of periodic Finsler billiard trajectories inside a quadratically convex smooth closed hypersurface $M$ in a $d$-dimensional Finsler space with possibly irreversible Finsler metric. An example of such a system is a billiard in a sufficiently weak magnetic field. The $r$-periodic Finsler billiard trajectories correspond to $r$-gons inscribed in $M$ and having ex…
▽ More
We provide lower bounds on the number of periodic Finsler billiard trajectories inside a quadratically convex smooth closed hypersurface $M$ in a $d$-dimensional Finsler space with possibly irreversible Finsler metric. An example of such a system is a billiard in a sufficiently weak magnetic field. The $r$-periodic Finsler billiard trajectories correspond to $r$-gons inscribed in $M$ and having extremal Finsler length. The cyclic group ${\mathbb Z}_r$ acts on these extremal polygons, and one counts the ${\mathbb Z}_r$-orbits. Using Morse and Lusternik-Schnirelmann theories, we prove that if $r\ge 3$ is prime, then the number of $r$-periodic Finsler billiard trajectories is not less than $(r-1)(d-2)+1$. We also give stronger lower bounds when $M$ is in general position. The problem of estimating the number of periodic billiard trajectories from below goes back to Birkhoff. Our work extends to the Finsler setting the results previously obtained for Euclidean billiards by Babenko, Farber, Tabachnikov, and Karasev.
△ Less
Submitted 3 April, 2020; v1 submitted 21 December, 2017;
originally announced December 2017.
-
Introducing symplectic billiards
Authors:
Peter Albers,
Serge Tabachnikov
Abstract:
In this article we introduce a simple dynamical system called symplectic billiards. As opposed to usual/Birkhoff billiards, where length is the generating function, for symplectic billiards symplectic area is the generating function. We explore basic properties and exhibit several similarities, but also differences of symplectic billiards to Birkhoff billiards.
In this article we introduce a simple dynamical system called symplectic billiards. As opposed to usual/Birkhoff billiards, where length is the generating function, for symplectic billiards symplectic area is the generating function. We explore basic properties and exhibit several similarities, but also differences of symplectic billiards to Birkhoff billiards.
△ Less
Submitted 24 August, 2017;
originally announced August 2017.
-
Kasner meets Poncelet
Authors:
Serge Tabachnikov
Abstract:
Given a planar pentagon, construct two new pentagons: the vertices of the first one are the intersection points of the diagonals of the original pentagon, and the vertices of the second one are the tangency points of the conic inscribed in the original pentagon. E. Kasner theorem, published in 1928, asserts that these two operations on pentagons commute. We extend Kasner's result to Poncelet polyg…
▽ More
Given a planar pentagon, construct two new pentagons: the vertices of the first one are the intersection points of the diagonals of the original pentagon, and the vertices of the second one are the tangency points of the conic inscribed in the original pentagon. E. Kasner theorem, published in 1928, asserts that these two operations on pentagons commute. We extend Kasner's result to Poncelet polygons, that is, the polygons inscribed into a conic and circumscribed about a conic.
△ Less
Submitted 28 July, 2017;
originally announced July 2017.
-
Tire tracks and integrable curve evolution
Authors:
Gil Bor,
Mark Levi,
Ron Perline,
Sergei Tabachnikov
Abstract:
We study a simple model of bicycle motion: a segment of fixed length in multi-dimensional Euclidean space, moving so that the velocity of the rear end is always aligned with the segment. If the front track is prescribed, the trajectory of the rear wheel is uniquely determined via a certain first order differential equation -- the bicycle equation. The same model, in dimension two, describes anothe…
▽ More
We study a simple model of bicycle motion: a segment of fixed length in multi-dimensional Euclidean space, moving so that the velocity of the rear end is always aligned with the segment. If the front track is prescribed, the trajectory of the rear wheel is uniquely determined via a certain first order differential equation -- the bicycle equation. The same model, in dimension two, describes another mechanical device, the hatchet planimeter.
Here is a sampler of our results. We express the linearized flow of the bicycle equation in terms of the geometry of the rear track; in dimension three, for closed front and rear tracks, this is a version of the Berry phase formula. We show that in all dimensions a sufficiently long bicycle also serves as a planimeter: it measures, approximately, the area bivector defined by the closed front track. We prove that the bicycle equation also describes rolling, without slip** and twisting, of hyperbolic space along Euclidean space. We relate the bicycle problem with two completely integrable systems: the AKNS (Ablowitz, Kaup, Newell and Segur) system and the vortex filament equation. We show that "bicycle correspondence" of space curves (front tracks sharing a common back track) is a special case of a Darboux transformation associated with the AKNS system. We show that the filament hierarchy, encoded as a single generating equation, describes a 3-dimensional bike of imaginary length. We show that a series of examples of "ambiguous" closed bicycle curves (front tracks admitting self bicycle correspondence), found recently F. Wegner, are buckled rings, or solitons of the planar filament equation. As a case study, we give a detailed analysis of such curves, arising from bicycle correspondence with multiply traversed circles.
△ Less
Submitted 9 March, 2018; v1 submitted 17 May, 2017;
originally announced May 2017.
-
Dual numbers, weighted quivers, and extended Somos and Gale-Robinson sequences
Authors:
Valentin Ovsienko,
Serge Tabachnikov
Abstract:
We investigate a general method that allows one to construct new integer sequences extending existing ones. We apply this method to the classic Somos-4 and Somos-5, and the Gale-Robinson sequences, as well as to more general class of sequences introduced by Fordy and Marsh, and produce a great number of new sequences. The method is based on the notion of "weighted quiver", a quiver with a…
▽ More
We investigate a general method that allows one to construct new integer sequences extending existing ones. We apply this method to the classic Somos-4 and Somos-5, and the Gale-Robinson sequences, as well as to more general class of sequences introduced by Fordy and Marsh, and produce a great number of new sequences. The method is based on the notion of "weighted quiver", a quiver with a $\mathbb Z$-valued function on the set of vertices that obeys very special rules of mutation.
△ Less
Submitted 3 May, 2017;
originally announced May 2017.
-
Iterating evolutes of spatial polygons and of spatial curves
Authors:
Dmitry Fuchs,
Serge Tabachnikov
Abstract:
The evolute of a smooth curve in an m-dimensional Euclidean space is the locus of centers of its osculating spheres, and the evolute of a spatial polygon is the polygon whose consecutive vertices are the centers of the spheres through the consecutive (m+1)-tuples of vertices of the original polygon. We study the iterations of these evolute transformations. This work continues the recent study of s…
▽ More
The evolute of a smooth curve in an m-dimensional Euclidean space is the locus of centers of its osculating spheres, and the evolute of a spatial polygon is the polygon whose consecutive vertices are the centers of the spheres through the consecutive (m+1)-tuples of vertices of the original polygon. We study the iterations of these evolute transformations. This work continues the recent study of similar problems in dimension two, see arXiv:1510.07742. Here is a sampler of our results. The set of n-gons with fixed directions of the sides, considered up to parallel translation, is an (n-m)-dimensional vector space, and the second evolute transformation is a linear map of this space. If n=m+2, then the second evolute is homothetic to the original polygon, and if n=m+3, then the first and the third evolutes are homothetic. In general, each eigenvalue of the second evolute map has double multiplicity. We also study curves, with cusps, in 3-dimensional Euclidean space and their evolutes. We provide continuous analogs of the results obtained for polygons, and present a class of curves which are homothetic to their second evolutes; these curves are spatial analogs of the classical hypocycloids.
△ Less
Submitted 15 April, 2017; v1 submitted 27 November, 2016;
originally announced November 2016.
-
Ivory's Theorem revisited
Authors:
Ivan Izmestiev,
Serge Tabachnikov
Abstract:
Ivory's Lemma is a geometrical statement in the heart of J. Ivory's calculation of the gravitational potential of a homeoidal shell. In the simplest planar case, it claims that the diagonals of a curvilinear quadrilateral made by arcs of confocal ellipses and hyperbolas are equal.
In the first part of this paper, we deduce Ivory's Lemma and its numerous generalizations from complete integrabilit…
▽ More
Ivory's Lemma is a geometrical statement in the heart of J. Ivory's calculation of the gravitational potential of a homeoidal shell. In the simplest planar case, it claims that the diagonals of a curvilinear quadrilateral made by arcs of confocal ellipses and hyperbolas are equal.
In the first part of this paper, we deduce Ivory's Lemma and its numerous generalizations from complete integrability of billiards on conics and quadrics. In the second part, we study analogs of Ivory's Lemma in Liouville and Stäckel metrics. Our main focus is on the results of the German school of differential geometry obtained in the late 19 -- early 20th centuries that might be lesser know today.
In the third part, we generalize Newton's, Laplace's, and Ivory's theorems on gravitational and Coulomb potential of spheres and ellipsoids to the spherical and hyperbolic spaces. V. Arnold extended the results of Newton, Laplace, and Ivory to algebraic hypersurfaces in Euclidean space; we generalize Arnold's theorem to the spaces of constant curvature.
△ Less
Submitted 16 October, 2016; v1 submitted 5 October, 2016;
originally announced October 2016.
-
Centers of mass of Poncelet polygons, 200 years after
Authors:
R. Schwartz,
S. Tabachnikov
Abstract:
The locus of the centers of mass of the family of Poncelet polygons, inscribed into a conic $Γ$ and circumscribed about a conic $γ$, is a conic homothetic to $Γ$.
The locus of the centers of mass of the family of Poncelet polygons, inscribed into a conic $Γ$ and circumscribed about a conic $γ$, is a conic homothetic to $Γ$.
△ Less
Submitted 16 July, 2016;
originally announced July 2016.
-
Projective configuration theorems: old wine into new wineskins
Authors:
S. Tabachnikov
Abstract:
This is a survey of select recent results by a number of authors, inspired by the classical configuration theorems of projective geometry.
This is a survey of select recent results by a number of authors, inspired by the classical configuration theorems of projective geometry.
△ Less
Submitted 16 July, 2016;
originally announced July 2016.
-
Billiard transformations of parallel flows: a periscope theorem
Authors:
A. Plakhov,
S. Tabachnikov,
D. Treschev
Abstract:
We consider the following problem: given two parallel and identically oriented bundles of light rays in n-dimensional Euclidean space and given a diffeomorphism between the rays of the former bundle and the rays of the latter one, is it possible to realize this diffeomorphism by means of several mirror reflections? We prove that a 2-mirror realization is possible if and only if the diffeomorphism…
▽ More
We consider the following problem: given two parallel and identically oriented bundles of light rays in n-dimensional Euclidean space and given a diffeomorphism between the rays of the former bundle and the rays of the latter one, is it possible to realize this diffeomorphism by means of several mirror reflections? We prove that a 2-mirror realization is possible if and only if the diffeomorphism is the gradient of a function. We further prove that any orientation reversing diffeomorphism of domains in the plane is locally the composition of two gradient diffeomorphisms, and therefore can be realized by 4 mirror reflections of light rays in 3-space, while an orientation preserving diffeomorphism can be realized by 6 reflections. In general, we prove that an (orientation reversing or preserving) diffeomorphism of wave fronts of two normal families of light rays in 3-space can be realized by 6 or 7 reflections.
△ Less
Submitted 25 February, 2016;
originally announced February 2016.
-
On the bicycle transformation and the filament equation: results and conjectures
Authors:
Serge Tabachnikov
Abstract:
The paper concerns a simple model of bicycle kinematics: a bicycle is represented by an oriented segment of constant length in n-dimensional space that can move in such a way that the velocity of its rear end is aligned with the segment (the rear wheel is fixed on the bicycle frame). Starting with a closed trajectory of the rear end, one obtains the two respective trajectories of the front end, co…
▽ More
The paper concerns a simple model of bicycle kinematics: a bicycle is represented by an oriented segment of constant length in n-dimensional space that can move in such a way that the velocity of its rear end is aligned with the segment (the rear wheel is fixed on the bicycle frame). Starting with a closed trajectory of the rear end, one obtains the two respective trajectories of the front end, corresponding to the opposite directions of motion. These two curves are said to be in the bicycle correspondence. Conjecturally, this correspondence is completely integrable; we present a number of results substantiating this conjecture. In dimension three, the bicycle correspondence is the Backlund transformation for the filament equation; we discuss bi-Hamiltonian features of the bicycle correspondence and its integrals.
△ Less
Submitted 20 February, 2016;
originally announced February 2016.
-
Affine Hopf fibration
Authors:
V. Ovsienko,
S. Tabachnikov
Abstract:
An affine Hopf fibration is a fibration of n-dimensional real affine space by p-dimensional pairwise skew affine subspaces. An example is a fibration of 3-space by pairwise skew lines, the result of the central projection of the classical Hopf fibration of 3-sphere. In this expository article, we describe the solution of the following problem: for which values of n and p does an affine Hopf fibrat…
▽ More
An affine Hopf fibration is a fibration of n-dimensional real affine space by p-dimensional pairwise skew affine subspaces. An example is a fibration of 3-space by pairwise skew lines, the result of the central projection of the classical Hopf fibration of 3-sphere. In this expository article, we describe the solution of the following problem: for which values of n and p does an affine Hopf fibration exist? The answer is given in terms of the Hurwitz-Radon function.
△ Less
Submitted 30 November, 2015; v1 submitted 28 November, 2015;
originally announced November 2015.
-
Iterating evolutes and involutes
Authors:
M. Arnold,
D. Fuchs,
I. Izmestiev,
S. Tabachnikov,
E. Tsukerman
Abstract:
We study iterations of two classical constructions, the evolutes and involutes of plane curves, and we describe the limiting behavior of both constructions on a class of smooth curves with singularities given by their support functions.
Next we study two kinds of discretizations of these constructions: the curves are replaced by polygons, and the evolutes are formed by the circumcenters of the t…
▽ More
We study iterations of two classical constructions, the evolutes and involutes of plane curves, and we describe the limiting behavior of both constructions on a class of smooth curves with singularities given by their support functions.
Next we study two kinds of discretizations of these constructions: the curves are replaced by polygons, and the evolutes are formed by the circumcenters of the triples of consecutive vertices, or by the incenters of the triples of consecutive sides. The space of polygons is a vector bundle over the space of the side directions, and both kinds of evolutes define vector bundle morphisms. In both cases, we describe the linear maps of the fibers. In the first case, the induced map of the base is periodic, whereas, in the second case, it is an averaging transformation. We also study the dynamics of the related inverse constructions, the involutes of polygons.
In addition to the theoretical study, we performed numerous computer experiments; some of the observations remain unexplained.
△ Less
Submitted 5 September, 2016; v1 submitted 26 October, 2015;
originally announced October 2015.
-
Skewers
Authors:
Serge Tabachnikov
Abstract:
The skewer of a pair of skew lines in space is their common perpendicular. To configuration theorems of plane projective geometry involving points and lines (such as Pappus or Desargues) there correspond configuration theorems in space: points and lines in the plane are replaced by lines is space, the incidence between a line and a point translates as the intersection of two lines at right angle,…
▽ More
The skewer of a pair of skew lines in space is their common perpendicular. To configuration theorems of plane projective geometry involving points and lines (such as Pappus or Desargues) there correspond configuration theorems in space: points and lines in the plane are replaced by lines is space, the incidence between a line and a point translates as the intersection of two lines at right angle, and the operations of connecting two points by a line or by intersecting two lines at a point translate as taking the skewer of two lines. These configuration theorems hold in elliptic, Euclidean, and hyperbolic geometries. This correspondence principle extends to plane configuration theorems involving polarity. For example, the theorem that the three altitudes of a triangle are concurrent corresponds to the Petersen-Morley theorem that the common normals of the opposite sides of a space right-angled hexagon have a common normal. We define analogs of plane circles (they are 2-parameter families of lines in space) and extend the correspondence principle to plane theorems involving circles. We also discuss the skewer versions of the Sylvester problem: given a finite collection of pairwise skew lines such that the skewer of any pair intersects at least one other line at right angle, do all the line have to share a skewer? The answer is positive in the elliptic and Euclidean geometries, but negative in the hyperbolic one.
△ Less
Submitted 19 September, 2015;
originally announced September 2015.
-
On Lagrangian tangent sweeps and Lagrangian outer billiards
Authors:
D. Fuchs,
S. Tabachnikov
Abstract:
Given a Lagrangian submanifold in linear symplectic space, its tangent sweep is the union of its (affine) tangent spaces, and its tangent cluster is the result of parallel translating these spaces so that the foot point of each tangent space becomes the origin. This defines a multivalued map from the tangent sweep to the tangent cluster, and we show that this map is a local symplectomorphism (a we…
▽ More
Given a Lagrangian submanifold in linear symplectic space, its tangent sweep is the union of its (affine) tangent spaces, and its tangent cluster is the result of parallel translating these spaces so that the foot point of each tangent space becomes the origin. This defines a multivalued map from the tangent sweep to the tangent cluster, and we show that this map is a local symplectomorphism (a well known fact, in dimension two).
We define and study the outer billiard correspondence associated with a Lagrangian submanifold. Two points are in this correspondence if they belong to the same tangent space and are symmetric with respect to its foot pointe. We show that this outer billiard correspondence is symplectic and establish the existence of its periodic orbits. This generalizes the well studied outer billiard map in dimension two.
△ Less
Submitted 5 December, 2015; v1 submitted 10 February, 2015;
originally announced February 2015.
-
Introducing supersymmetric frieze patterns and linear difference operators
Authors:
Sophie Morier-Genoud,
Valentin Ovsienko,
Serge Tabachnikov
Abstract:
We introduce a supersymmetric analog of the classical Coxeter frieze patterns. Our approach is based on the relation with linear difference operators. We define supersymmetric analogs of linear difference operators called Hill's operators. The space of these "superfriezes" is an algebraic supervariety, which is isomorphic to the space of supersymmetric second order difference equations, called Hil…
▽ More
We introduce a supersymmetric analog of the classical Coxeter frieze patterns. Our approach is based on the relation with linear difference operators. We define supersymmetric analogs of linear difference operators called Hill's operators. The space of these "superfriezes" is an algebraic supervariety, which is isomorphic to the space of supersymmetric second order difference equations, called Hill's equations.
△ Less
Submitted 24 March, 2015; v1 submitted 29 January, 2015;
originally announced January 2015.
-
Remarks on the the circumcenter of mass
Authors:
S. Tabachnikov,
E. Tsukerman
Abstract:
Suppose that to every non-degenerate simplex Delta in n-dimensional Euclidean space a `center' C(Delta) is assigned so that the following assumptions hold: (i) The map that assigns C(Delta) to Delta commutes with similarities and is invariant under the permutations of the vertices of the simplex; (ii) The map that assigns Vol(Delta) C(Delta) to Delta is polynomial in the coordinates of the vertice…
▽ More
Suppose that to every non-degenerate simplex Delta in n-dimensional Euclidean space a `center' C(Delta) is assigned so that the following assumptions hold: (i) The map that assigns C(Delta) to Delta commutes with similarities and is invariant under the permutations of the vertices of the simplex; (ii) The map that assigns Vol(Delta) C(Delta) to Delta is polynomial in the coordinates of the vertices of the simplex. Then C(Delta) is an affine combination of the center of mass and the circumcenter of Delta (with the coefficients independent of the simplex). The motivation for this theorem comes from the recent study of the circumcenter of mass of simplicial polytopes by the authors and by A. Akopyan.
△ Less
Submitted 19 October, 2014;
originally announced October 2014.
-
Configuration spaces of plane polygons and a sub-Riemannian approach to the equitangent problem
Authors:
J. Jeronimo-Castro,
S. Tabachnikov
Abstract:
The equitangent locus of a convex plane curve consists of the points from which the two tangent segments to the curve have equal length. The equitangent problem concerns the relation between the curve and its equitangent locus. An equitangent n-gon of a convex curve is a circumscribed n-gon whose vertices belong to the equitangent locus. We are interested in curves that admit 1-parameter families…
▽ More
The equitangent locus of a convex plane curve consists of the points from which the two tangent segments to the curve have equal length. The equitangent problem concerns the relation between the curve and its equitangent locus. An equitangent n-gon of a convex curve is a circumscribed n-gon whose vertices belong to the equitangent locus. We are interested in curves that admit 1-parameter families of equitangent n-gons. We use methods of sub-Riemannian geometry: we define a distribution on the space of polygons and study its bracket generating properties. 1-parameter families of equitangent polygons correspond to the curves, tangent to this distribution. This distribution is closely related with the Birkhoff distribution on the space of plane polygons with a fixed perimeter length whose study, in the framework of the billiard ball problem, was pioneered by Yu. Baryshnikov, V. Zharnitsky and J. Landsberg
△ Less
Submitted 16 August, 2014;
originally announced August 2014.
-
Integrable cluster dynamics of directed networks and pentagram maps
Authors:
Michael Gekhtman,
Michael Shapiro,
Serge Tabachnikov,
Alek Vainshtein
Abstract:
The pentagram map was introduced by R. Schwartz more than 20 years ago. In 2009, V. Ovsienko, R. Schwartz and S. Tabachnikov established Liouville complete integrability of this discrete dynamical system. In 2011, M. Glick interpreted the pentagram map as a sequence of cluster transformations associated with a special quiver. Using compatible Poisson structures in cluster algebras and Poisson geom…
▽ More
The pentagram map was introduced by R. Schwartz more than 20 years ago. In 2009, V. Ovsienko, R. Schwartz and S. Tabachnikov established Liouville complete integrability of this discrete dynamical system. In 2011, M. Glick interpreted the pentagram map as a sequence of cluster transformations associated with a special quiver. Using compatible Poisson structures in cluster algebras and Poisson geometry of directed networks on surfaces, we generalize Glick's construction to include the pentagram map into a family of discrete integrable maps and we give these maps geometric interpretations. This paper expands on our research announcement arXiv:1110.0472
△ Less
Submitted 7 June, 2014;
originally announced June 2014.