Showing 51–100 of 100 results for author: Tabachnikov, S

$SL_2(\mathbb{Z})$-tilings of the torus, Coxeter-Conway friezes and Farey triangulations

Authors: Sophie Morier-Genoud, Valentin Ovsienko, Serge Tabachnikov

Abstract: The notion of $SL_2$-tiling is a generalization of that of classical Coxeter-Conway frieze pattern. We classify doubly antiperiodic $SL_2$-tilings that contain a rectangular domain of positive integers. Every such $SL_2$-tiling corresponds to a pair of frieze patterns and a unimodular $2\times2$-matrix with positive integer coefficients. We relate this notion to triangulated $n$-gons in the Farey… ▽ More The notion of $SL_2$-tiling is a generalization of that of classical Coxeter-Conway frieze pattern. We classify doubly antiperiodic $SL_2$-tilings that contain a rectangular domain of positive integers. Every such $SL_2$-tiling corresponds to a pair of frieze patterns and a unimodular $2\times2$-matrix with positive integer coefficients. We relate this notion to triangulated $n$-gons in the Farey graph. △ Less

Submitted 16 April, 2014; v1 submitted 22 February, 2014; originally announced February 2014.

Comments: 5 figures

The Six Circles Theorem revisited

Authors: Dennis Ivanov, Serge Tabachnikov

Abstract: The Six Circles Theorem of C. Evelyn, G. Money-Coutts, and J. Tyrrell concerns chains of circles inscribed into a triangle: the first circle is inscribed in the first angle, the second circle is inscribed in the second angle and tangent to the first circle, the third circle is inscribed in the third angle and tangent to the second circle, and so on, cyclically. The theorem asserts that if all the… ▽ More The Six Circles Theorem of C. Evelyn, G. Money-Coutts, and J. Tyrrell concerns chains of circles inscribed into a triangle: the first circle is inscribed in the first angle, the second circle is inscribed in the second angle and tangent to the first circle, the third circle is inscribed in the third angle and tangent to the second circle, and so on, cyclically. The theorem asserts that if all the circles touch the sides of the triangle, and not their extensions, then the chain is 6-periodic. We show that, in general, the chain is eventually 6-periodic but may have an arbitrarily long pre-period. △ Less

Submitted 9 March, 2014; v1 submitted 18 December, 2013; originally announced December 2013.

Comments: edited for better exposition

Coxeter's frieze patterns and discretization of the Virasoro orbit

Authors: Valentin Ovsienko, Serge Tabachnikov

Abstract: We show that the space of classical Coxeter's frieze patterns can be viewed as a discrete version of a coadjoint orbit of the Virasoro algebra. The canonical (cluster) (pre)symplectic form on the space of frieze patterns is a discretization of the Kirillov symplectic form. We relate a continuous version of frieze patterns to conformal metrics of constant curvature in dimension 2. We show that the space of classical Coxeter's frieze patterns can be viewed as a discrete version of a coadjoint orbit of the Virasoro algebra. The canonical (cluster) (pre)symplectic form on the space of frieze patterns is a discretization of the Kirillov symplectic form. We relate a continuous version of frieze patterns to conformal metrics of constant curvature in dimension 2. △ Less

Submitted 17 January, 2014; v1 submitted 10 December, 2013; originally announced December 2013.

Comments: typos corrected

On curves and polygons with the equiangular chord property

Authors: Tarik Aougab, Xidian Sun, Serge Tabachnikov, Yuwen Wang

Abstract: Let $C$ be a smooth, convex curve on either the sphere $\mathbb{S}^{2}$, the hyperbolic plane $\mathbb{H}^{2}$ or the Euclidean plane $\mathbb{E}^{2}$, with the following property: there exists $α$, and parameterizations $x(t), y(t)$ of $C$ such that for each $t$, the angle between the chord connecting $x(t)$ to $y(t)$ and $C$ is $α$ at both ends. Assuming that $C$ is not a circle, E. Gutkin com… ▽ More Let $C$ be a smooth, convex curve on either the sphere $\mathbb{S}^{2}$, the hyperbolic plane $\mathbb{H}^{2}$ or the Euclidean plane $\mathbb{E}^{2}$, with the following property: there exists $α$, and parameterizations $x(t), y(t)$ of $C$ such that for each $t$, the angle between the chord connecting $x(t)$ to $y(t)$ and $C$ is $α$ at both ends. Assuming that $C$ is not a circle, E. Gutkin completely characterized the angles $α$ for which such a curve exists in the Euclidean case. We study the infinitesimal version of this problem in the context of the other two constant curvature geometries, and in particular we provide a complete characterization of the angles $α$ for which there exists a non-trivial infinitesimal deformation of a circle through such curves with corresponding angle $α$. We also consider a discrete version of this property for Euclidean polygons, and in this case we give a complete description of all non-trivial solutions. △ Less

Submitted 11 November, 2013; v1 submitted 4 November, 2013; originally announced November 2013.

Comments: Revision: better figures, acknowledgments added

Journal ref: Pacific J. Math. 274 (2015) 305-324

Linear difference equations, frieze patterns and combinatorial Gale transform

Authors: Sophie Morier-Genoud, Valentin Ovsienko, Richard Evan Schwartz, Serge Tabachnikov

Abstract: We study the space of linear difference equations with periodic coefficients and (anti)periodic solutions. We show that this space is isomorphic to the space of tame frieze patterns and closely related to the moduli space of configurations of points in the projective space. We define the notion of combinatorial Gale transform which is a duality between periodic difference equations of different or… ▽ More We study the space of linear difference equations with periodic coefficients and (anti)periodic solutions. We show that this space is isomorphic to the space of tame frieze patterns and closely related to the moduli space of configurations of points in the projective space. We define the notion of combinatorial Gale transform which is a duality between periodic difference equations of different orders. We describe periodic rational maps generalizing the classical Gauss map. △ Less

Submitted 16 September, 2013; originally announced September 2013.

MSC Class: 39A; 14M15; 05E

Circumcenter of Mass and generalized Euler line

Authors: Serge Tabachnikov, Emmanuel Tsukerman

Abstract: We define and study a variant of the center of mass of a polygon and, more generally, of a simplicial polytope which we call the Circumcenter of Mass (CCM). The Circumcenter of Mass is an affine combination of the circumcenters of the simplices in a triangulation of a polytope, weighted by their volumes. For an inscribed polytope, CCM coincides with the circumcenter. Our motivation comes from th… ▽ More We define and study a variant of the center of mass of a polygon and, more generally, of a simplicial polytope which we call the Circumcenter of Mass (CCM). The Circumcenter of Mass is an affine combination of the circumcenters of the simplices in a triangulation of a polytope, weighted by their volumes. For an inscribed polytope, CCM coincides with the circumcenter. Our motivation comes from the study of completely integrable discrete dynamical systems, where the CCM is an invariant of the discrete bicycle (Darboux) transformation and of recuttings of polygons. We show that the CCM satisfies an analog of Archimedes' Lemma, a familiar property of the center of mass. We define and study a generalized Euler line associated to any simplicial polytope, extending the previously studied Euler line associated to the quadrilateral. We show that the generalized Euler line for polygons consists of all centers satisfying natural continuity and homogeneity assumptions and Archimedes' Lemma. Finally, we show that CCM can also be defined in the spherical and hyperbolic settings. △ Less

Submitted 23 February, 2013; v1 submitted 3 January, 2013; originally announced January 2013.

Journal ref: Discr. Comp. Geom., 51 (2014), 815-836

On the discrete bicycle transformation

Authors: Serge Tabachnikov, Emmanuel Tsukerman

Abstract: We study the dynamics of the discrete bicycle (Darboux, Backlund) transformation of polygons in n-dimensional Euclidean space. This transformation is a discretization of the continuous bicycle transformation, recently studied by Foote, Levi, and Tabachnikov. We prove that the respective monodromy is a Moebius transformation. Working toward establishing complete integrability of the discrete bicycl… ▽ More We study the dynamics of the discrete bicycle (Darboux, Backlund) transformation of polygons in n-dimensional Euclidean space. This transformation is a discretization of the continuous bicycle transformation, recently studied by Foote, Levi, and Tabachnikov. We prove that the respective monodromy is a Moebius transformation. Working toward establishing complete integrability of the discrete bicycle transformation, we describe the monodromy integrals and prove the Bianchi permutability property. We show that the discrete bicycle transformation commutes with the recutting of polygons, a discrete dynamical system, previously studied by V. Adler. We show that a certain center associated with a polygon and discovered by Adler, is preserved under the discrete bicycle transformation. As a case study, we give a complete description of the dynamics of the discrete bicycle transformation on plane quadrilaterals. △ Less

Submitted 24 November, 2012; v1 submitted 10 November, 2012; originally announced November 2012.

Journal ref: Publ. Math. Uruguay (proc. of the Montevideo Dynamical Systems Congress 2012), 14 (2013)

Osculating curves: around the Tait-Kneser Theorem

Authors: E. Ghys, S. Tabachnikov, V. Timorin

Abstract: The Tait-Kneser theorem states that the osculating circles of a plane curve with monotonic curvature are pairwise disjoint and nested. We discuss this theorem and a number of its variations. The Tait-Kneser theorem states that the osculating circles of a plane curve with monotonic curvature are pairwise disjoint and nested. We discuss this theorem and a number of its variations. △ Less

Submitted 24 July, 2012; originally announced July 2012.

Tractrices, Bicycle Tire Tracks, Hatchet Planimeters, and a 100-year-old Conjecture

Authors: R. L. Foote, M. Levi, S. Tabachnikov

Abstract: Geometry of the tracks left by a bicycle is closely related with the so-called Prytz planimeter and with linear fractional transformations of the complex plane. We describe these relations, along with the history of the problem, and give a proof of a conjecture made by Menzin in 1906. Geometry of the tracks left by a bicycle is closely related with the so-called Prytz planimeter and with linear fractional transformations of the complex plane. We describe these relations, along with the history of the problem, and give a proof of a conjecture made by Menzin in 1906. △ Less

Submitted 3 July, 2012; originally announced July 2012.

Comments: 20 pages, 18 figures

The equal tangents property

Authors: J. Jeronimo-Castro, G. Ruiz-Hernandez, S. Tabachnikov

Abstract: Let M be a smooth strictly convex closed surface in space and denote by H the set of points x in the exterior of M such that all the tangent segments from x to M have equal lengths. In this note we prove that if H is either a closed surface containing M or a plane then M is an Euclidean sphere. Moreover, we shall see that the situation in the Euclidean plane is very different. Let M be a smooth strictly convex closed surface in space and denote by H the set of points x in the exterior of M such that all the tangent segments from x to M have equal lengths. In this note we prove that if H is either a closed surface containing M or a plane then M is an Euclidean sphere. Moreover, we shall see that the situation in the Euclidean plane is very different. △ Less

Submitted 4 May, 2012; v1 submitted 1 May, 2012; originally announced May 2012.

Comments: a typo corrected

On fibrations with flat fibers

Authors: Valentin Ovsienko, Serge Tabachnikov

Abstract: We describe pairs (p,n) such that n-dimensional affine space is fibered by pairwise skew p-dimensional affine subspaces. The problem is closely related with the theorem of Adams on vector fields on spheres and the Hurwitz-Radon theory of composition of quadratic forms. We describe pairs (p,n) such that n-dimensional affine space is fibered by pairwise skew p-dimensional affine subspaces. The problem is closely related with the theorem of Adams on vector fields on spheres and the Hurwitz-Radon theory of composition of quadratic forms. △ Less

Submitted 16 March, 2012; originally announced March 2012.

Periodic trajectories in the regular pentagon, II

Authors: Dmitry Fuchs, Serge Tabachnikov

Abstract: In our recent paper, we studied periodic billiard trajectories in the regular pentagon and closed geodesic on the double pentagon, a translation surface of genus two. In particular, we made a number of conjectures concerning symbolic periodic trajectories. In this paper, we prove two of these conjectures. In our recent paper, we studied periodic billiard trajectories in the regular pentagon and closed geodesic on the double pentagon, a translation surface of genus two. In particular, we made a number of conjectures concerning symbolic periodic trajectories. In this paper, we prove two of these conjectures. △ Less

Submitted 29 December, 2011; originally announced January 2012.

Higher pentagram maps, weighted directed networks, and cluster dynamics

Authors: Michael Gekhtman, Michael Shapiro, Serge Tabachnikov, Alek Vainshtein

Abstract: The pentagram map that associates to a projective polygon a new one formed by intersections of short diagonals was introduced by R. Schwartz and was shown to be integrable by V. Ovsienko, R. Schwartz and S. Tabachnikov. Recently, M. Glick demonstrated that the pentagram map can be put into the framework of the theory of cluster algebras. In this paper, we extend and generalize Glick's work by in… ▽ More The pentagram map that associates to a projective polygon a new one formed by intersections of short diagonals was introduced by R. Schwartz and was shown to be integrable by V. Ovsienko, R. Schwartz and S. Tabachnikov. Recently, M. Glick demonstrated that the pentagram map can be put into the framework of the theory of cluster algebras. In this paper, we extend and generalize Glick's work by including the pentagram map into a family of discrete completely integrable systems. Our main tool is Poisson geometry of weighted directed networks on surfaces developed by M. Gekhtman, M. Shapiro, and A. Vainshtein. The ingredients necessary for complete integrability -- invariant Poisson brackets, integrals of motion in involution, Lax representation -- are recovered from combinatorics of the networks. Our integrable systems depend on one discrete parameter $k>1$. The case $k=3$ corresponds to the pentagram map. For $k>3$, we give our integrable systems a geometric interpretation as pentagram-like maps involving deeper diagonals. If $k=2$ and the ground field is $\C$, we give a geometric interpretation in terms of circle patterns. △ Less

Submitted 2 January, 2012; v1 submitted 3 October, 2011; originally announced October 2011.

Comments: One figure and more references added

Journal ref: Electron. Res. Announc. Math. Sci., (2012) 19, 1--17

Liouville-Arnold integrability of the pentagram map on closed polygons

Authors: Valentin Ovsienko, Richard Evan Schwartz, Serge Tabachnikov

Abstract: The pentagram map is a discrete dynamical system defined on the moduli space of polygons in the projective plane. This map has recently attracted a considerable interest, mostly because its connection to a number of different domains, such as: classical projective geometry, algebraic combinatorics, moduli spaces, cluster algebras and integrable systems. Integrability of the pentagram map was conje… ▽ More The pentagram map is a discrete dynamical system defined on the moduli space of polygons in the projective plane. This map has recently attracted a considerable interest, mostly because its connection to a number of different domains, such as: classical projective geometry, algebraic combinatorics, moduli spaces, cluster algebras and integrable systems. Integrability of the pentagram map was conjectured by R. Schwartz and later proved by V. Ovsienko, R. Schwartz and S. Tabachnikov for a larger space of twisted polygons. In this paper, we prove the initial conjecture that the pentagram map is completely integrable on the moduli space of closed polygons. In the case of convex polygons in the real projective plane, this result implies the existence of a toric foliation on the moduli space. The leaves of the foliation carry affine structure and the dynamics of the pentagram map is quasi-periodic. Our proof is based on an invariant Poisson structure on the space of twisted polygons. We prove that the Hamiltonian vector fields corresponding to the monodoromy invariants preserve the space of closed polygons and define an invariant affine structure on the level surfaces of the monodromy invariants. △ Less

Submitted 27 July, 2011; v1 submitted 19 July, 2011; originally announced July 2011.

Comments: a revised version. with minor changes to clarify some points

Journal ref: Duke Math. J. 162, no. 12 (2013), 2149-2196

Discrete spherical means of directional derivatives and Veronese maps

Authors: Alexander Belyaev, Boris Khesin, Serge Tabachnikov

Abstract: We describe and study geometric properties of discrete circular and spherical means of directional derivatives of functions, as well as discrete approximations of higher order differential operators. For an arbitrary dimension we present a general construction for obtaining discrete spherical means of directional derivatives. The construction is based on using the Minkowski's existence theorem and… ▽ More We describe and study geometric properties of discrete circular and spherical means of directional derivatives of functions, as well as discrete approximations of higher order differential operators. For an arbitrary dimension we present a general construction for obtaining discrete spherical means of directional derivatives. The construction is based on using the Minkowski's existence theorem and Veronese maps. Approximating the directional derivatives by appropriate finite differences allows one to obtain finite difference operators with good rotation invariance properties. In particular, we use discrete circular and spherical means to derive discrete approximations of various linear and nonlinear first- and second-order differential operators, including discrete Laplacians. A practical potential of our approach is demonstrated by considering applications to nonlinear filtering of digital images and surface curvature estimation. △ Less

Submitted 2 May, 2012; v1 submitted 18 June, 2011; originally announced June 2011.

The equal tangents problem

Authors: S. Tabachnikov

Abstract: Given a plane oval, is it possible to go around it so that, at all times, the two tangent segments to the oval from the moving point have unequal lengths? In this note we construct an example of such an oval. Given a plane oval, is it possible to go around it so that, at all times, the two tangent segments to the oval from the moving point have unequal lengths? In this note we construct an example of such an oval. △ Less

Submitted 27 February, 2011; originally announced February 2011.

Periodic trajectories in the regular pentagon

Authors: Diana Davis, Dmitry Fuchs, Serge Tabachnikov

Abstract: We study periodic linear trajectories in the double pentagon and periodic billiard trajectories in the regular pentagon. We study periodic linear trajectories in the double pentagon and periodic billiard trajectories in the regular pentagon. △ Less

Submitted 4 February, 2011; originally announced February 2011.

2-frieze patterns and the cluster structure of the space of polygons

Authors: Sophie Morier-Genoud, Valentin Ovsienko, Serge Tabachnikov

Abstract: We study the space of 2-frieze patterns generalizing that of the classical Coxeter-Conway frieze patterns. The geometric realization of this space is the space of n-gons (in the projective plane and in 3-dimensional vector space) which is a close relative of the moduli space of genus 0 curves with n marked points. We show that the space of 2-frieze patterns is a cluster manifold and study its alge… ▽ More We study the space of 2-frieze patterns generalizing that of the classical Coxeter-Conway frieze patterns. The geometric realization of this space is the space of n-gons (in the projective plane and in 3-dimensional vector space) which is a close relative of the moduli space of genus 0 curves with n marked points. We show that the space of 2-frieze patterns is a cluster manifold and study its algebraic and arithmetic properties. △ Less

Submitted 18 July, 2011; v1 submitted 19 August, 2010; originally announced August 2010.

Comments: 36 pages, 4 figures, minor changes from the previous versions; references added (v2), section 5.5 added (v3), picture added (v4)

Variations on R. Schwartz's inequality for the Schwarzian derivative

Authors: Serge Tabachnikov

Abstract: R. Schwartz's inequality provides an upper bound for the Schwarzian derivative of a parameterization of a circle in the complex plane and on the potential of Hill's equation with coexisting periodic solutions. We prove a discrete version of this inequality and obtain a version of the planar Blaschke-Santalo inequality for not necessarily convex polygons. We consider a centro-affine analog of Lükő'… ▽ More R. Schwartz's inequality provides an upper bound for the Schwarzian derivative of a parameterization of a circle in the complex plane and on the potential of Hill's equation with coexisting periodic solutions. We prove a discrete version of this inequality and obtain a version of the planar Blaschke-Santalo inequality for not necessarily convex polygons. We consider a centro-affine analog of Lükő's inequality for the average squared length of a chord subtending a fixed arc length of a curve -- the role of the squared length played by the area -- and prove that the central ellipses are local minima of the respective functionals on the space of star-shaped centrally symmetric curves. We conjecture that the central ellipses are global minima. In an appendix, we relate the Blaschke-Santalo and Mahler inequalities with the asymptotic dynamics of outer billiards at infinity. △ Less

Submitted 7 June, 2010; originally announced June 2010.

The Pentagram Integrals on Inscribed Polygons

Authors: Richard Evan Schwartz, Serge Tabachnikov

Abstract: The pentagram map is a natural iteration on projective equivalence classes of (twisted) n-gons in the projective plane. It was recently proved ([OST]) that the pentagram map is completely integrable, with the complete set of Poisson commuting integrals given by the polynomials O1,...,O[n/2],On and E1,...,E[n/2],En, previously constructed in [S3]. These polynomials are somewhat reminiscent of the s… ▽ More The pentagram map is a natural iteration on projective equivalence classes of (twisted) n-gons in the projective plane. It was recently proved ([OST]) that the pentagram map is completely integrable, with the complete set of Poisson commuting integrals given by the polynomials O1,...,O[n/2],On and E1,...,E[n/2],En, previously constructed in [S3]. These polynomials are somewhat reminiscent of the symmetric polynomials. It was observed in computer experiments that if a polygon is inscribed into a conic then Oi=Ei for all i. The goal of the paper is to prove this theorem. The proof is combinatorial, and it was also suggested by computer experimentation. △ Less

Submitted 24 April, 2010; originally announced April 2010.

Elementary Surprises in Projective Geometry

Authors: Richard Evan Schwartz, Serge Tabachnikov

Abstract: We discuss eight new(?) configuration theorems of classical projective geometry in the spirit of the Pappus and Pascal theorems. We discuss eight new(?) configuration theorems of classical projective geometry in the spirit of the Pappus and Pascal theorems. △ Less

Submitted 4 November, 2009; v1 submitted 10 October, 2009; originally announced October 2009.

Comments: a chronological error corrected

Contact complete integrability

Authors: B. Khesin, S. Tabachnikov

Abstract: Complete integrability in a symplectic setting means the existence of a Lagrangian foliation leaf-wise preserved by the dynamics. In the paper we describe complete integrability in a contact set-up as a more subtle structure: a flag of two foliations, Legendrian and co-Legendrian, and a holonomy-invariant transverse measure of the former in the latter. This turns out to be equivalent to the exis… ▽ More Complete integrability in a symplectic setting means the existence of a Lagrangian foliation leaf-wise preserved by the dynamics. In the paper we describe complete integrability in a contact set-up as a more subtle structure: a flag of two foliations, Legendrian and co-Legendrian, and a holonomy-invariant transverse measure of the former in the latter. This turns out to be equivalent to the existence of a canonical $\R\ltimes \R^{n-1}$ structure on the leaves of the co-Legendrian foliation. Further, the above structure implies the existence of $n$ contact fields preserving a special contact 1-form, thus providing the geometric framework and establishing equivalence with previously known definitions of contact integrability. We also show that contact completely integrable systems are solvable in quadratures. We present an example of contact complete integrability: the billiard system inside an ellipsoid in pseudo-Euclidean space, restricted to the space of oriented null geodesics. We describe a surprising acceleration mechanism for closed light-like billiard trajectories. △ Less

Submitted 2 October, 2009; originally announced October 2009.

Topological aspects of the Dvoretzky Theorem

Authors: Dmitri Burago, Sergei Ivanov, Serge Tabachnikov

Abstract: We explore possibilities and limitations of a purely topological approach to the Dvoretzky Theorem. We explore possibilities and limitations of a purely topological approach to the Dvoretzky Theorem. △ Less

Submitted 28 July, 2009; originally announced July 2009.

Quasiperiodic Motion for the Pentagram Map

Authors: Valentin Ovsienko, Richard Schwartz, Serge Tabachnikov

Abstract: The pentagram map is a projectively natural iteration defined on polygons, and also on a generalized notion of a polygon which we call {\it twisted polygons}. In this note we describe our recent work on the pentagram map, in which we find a Poisson structure on the space of twisted polygons and show that the pentagram map relative to this Poisson structure is completely integrable in the sense o… ▽ More The pentagram map is a projectively natural iteration defined on polygons, and also on a generalized notion of a polygon which we call {\it twisted polygons}. In this note we describe our recent work on the pentagram map, in which we find a Poisson structure on the space of twisted polygons and show that the pentagram map relative to this Poisson structure is completely integrable in the sense of Arnold-Liouville. For certain families of twisted polygons, such as those we call {\it universally convex}, we translate the integrability into a statement about the quasi-periodic notion of the pentagram-map orbits. We also explain how the continuous limit of the Pentagram map is the classical Boissinesq equation, a completely integrable PDE. △ Less

Submitted 12 January, 2009; originally announced January 2009.

Comments: This note is a short announcement of arXiv:0810.5605

MSC Class: 37J35 (Primary); 51A99 (Secondary)

The Pentagram map: a discrete integrable system

Authors: Valentin Ovsienko, Richard Schwartz, Serge Tabachnikov

Abstract: The pentagram map is a projectively natural iteration defined on polygons, and also on objects we call twisted polygons (a twisted polygon is a map from Z into the projective plane that is periodic modulo a projective transformation). We find a Poisson structure on the space of twisted polygons and show that the pentagram map relative to this Poisson structure is completely integrable in the sen… ▽ More The pentagram map is a projectively natural iteration defined on polygons, and also on objects we call twisted polygons (a twisted polygon is a map from Z into the projective plane that is periodic modulo a projective transformation). We find a Poisson structure on the space of twisted polygons and show that the pentagram map relative to this Poisson structure is completely integrable in the sense of Arnold-Liouville. For certain families of twisted polygons, such as those we call universally convex, we translate the integrability into a statement about the quasi-periodic motion for the dynamics of the pentagram map. We also explain how the pentagram map, in the continuous limit, corresponds to the classical Boussinesq equation. The Poisson structure we attach to the pentagram map is a discrete version of the first Poisson structure associated with the Boussinesq equation. △ Less

Submitted 14 October, 2009; v1 submitted 30 October, 2008; originally announced October 2008.

Comments: revised version: errors and typos corrected, Theorem 4 improved

On bicycle tire tracks geometry, hatchet planimeter, Menzin's conjecture and oscillation of unicycle tracks

Authors: M. Levi, S. Tabachnikov

Abstract: The model of a bicycle is a unit segment AB that can move in the plane so that it remains tangent to the trajectory of point A (the rear wheel is fixed on the bicycle frame); the same model describes the hatchet planimeter. The trajectory of the front wheel and the initial position of the bicycle uniquely determine its motion and its terminal position; the monodromy map sending the initial posit… ▽ More The model of a bicycle is a unit segment AB that can move in the plane so that it remains tangent to the trajectory of point A (the rear wheel is fixed on the bicycle frame); the same model describes the hatchet planimeter. The trajectory of the front wheel and the initial position of the bicycle uniquely determine its motion and its terminal position; the monodromy map sending the initial position to the terminal one arises. According to R. Foote's theorem, this map** of a circle to a circle is a Moebius transformation. We extend this result to multi-dimensional setting. Moebius transformations belong to one of the three types: elliptic, parabolic and hyperbolic. We prove a 100 years old Menzin's conjecture: if the front wheel track is an oval with area at least pi then the respective monodromy is hyperbolic. We also study bicycle motions introduced by D. Finn in which the rear wheel follows the track of the front wheel. Such a ''unicycle" track becomes more and more oscillatory in forward direction. We prove that it cannot be infinitely extended backward and relate the problem to the geometry of the space of forward semi-infinite equilateral linkages. △ Less

Submitted 28 January, 2008; originally announced January 2008.

Converse Sturm-Hurwitz-Kellogg theorem and related results

Authors: S. Tabachnikov

Abstract: The classical Sturm-Hurwitz-Kellogg theorem asserts that a function, orthogonal to an n-dimensional Chebyshev system on a circle, has at least n+1 sign changes. We prove the converse: given an n-dimensional Chebyshev system on a circle and a function with at least n+1 sign changes, there exists an orientation preserving diffeomorphism of the circle that takes this function to a function, orthogo… ▽ More The classical Sturm-Hurwitz-Kellogg theorem asserts that a function, orthogonal to an n-dimensional Chebyshev system on a circle, has at least n+1 sign changes. We prove the converse: given an n-dimensional Chebyshev system on a circle and a function with at least n+1 sign changes, there exists an orientation preserving diffeomorphism of the circle that takes this function to a function, orthogonal to the Chebyshev system. We also prove that if a function on the real projective line has at least four sign changes then there exists an orientation preserving diffeomorphism of the projective line that takes this function to the Schwarzian derivative of some function. These results extend the converse four vertex theorem of H. Gluck and B. Dahlberg: a function on a circle with at least two local maxima and two local minima is the curvature of a closed plane curve. △ Less

Submitted 31 October, 2007; originally announced October 2007.

On algebraically integrable outer billiards

Authors: S. Tabachnikov

Abstract: We prove that if the outer billiard map around a plane oval is algebraically integrable in a certain non-degenerate sense then the oval is an ellipse. We prove that if the outer billiard map around a plane oval is algebraically integrable in a certain non-degenerate sense then the oval is an ellipse. △ Less

Submitted 1 August, 2007; originally announced August 2007.

Self-dual polygons and self-dual curves

Authors: Dmitry Fuchs, Serge Tabachnikov

Abstract: We study projectively self-dual polygons and curves in the projective plane. Our results provide a partial answer to problem No 1994-17 in the book of Arnold's problems. We study projectively self-dual polygons and curves in the projective plane. Our results provide a partial answer to problem No 1994-17 in the book of Arnold's problems. △ Less

Submitted 6 July, 2007; originally announced July 2007.

A proof of Culter's theorem on the existence of periodic orbits in polygonal outer billiards

Authors: Serge Tabachnikov

Abstract: We discuss a recent result by C. Culter: every polygonal outer billiard has a periodic trajectory. We discuss a recent result by C. Culter: every polygonal outer billiard has a periodic trajectory. △ Less

Submitted 7 June, 2007; originally announced June 2007.

Birkhoff billiards are insecure

Authors: Serge Tabachnikov

Abstract: We prove that every compact plane billiard, bounded by a smooth curve, is insecure: there exist pairs of points $A,B$ such that no finite set of points can block all billiard trajectories from $A$ to $B$. We prove that every compact plane billiard, bounded by a smooth curve, is insecure: there exist pairs of points $A,B$ such that no finite set of points can block all billiard trajectories from $A$ to $B$. △ Less

Submitted 22 May, 2007; originally announced May 2007.

Geodesics on an ellipsoid in Minkowski space

Authors: D. Genin, B. Khesin, S. Tabachnikov

Abstract: We describe the geometry of geodesics on a Lorentz ellipsoid: give explicit formulas for the first integrals (pseudo-confocal coordinates), curvature, geodesically equivalent Riemannian metric, the invariant area-forms on the time- and space-like geodesics and invariant 1-form on the space of null geodesics. We prove a Poncelet-type theorem for null geodesics on the ellipsoid: if such a geodesic… ▽ More We describe the geometry of geodesics on a Lorentz ellipsoid: give explicit formulas for the first integrals (pseudo-confocal coordinates), curvature, geodesically equivalent Riemannian metric, the invariant area-forms on the time- and space-like geodesics and invariant 1-form on the space of null geodesics. We prove a Poncelet-type theorem for null geodesics on the ellipsoid: if such a geodesic close up after several oscillations in the "pseudo-Riemannian belt", so do all other null geodesics on this ellipsoid. △ Less

Submitted 1 May, 2007; originally announced May 2007.

Hyperbolic Carathéodory conjecture

Authors: Valentin Ovsienko, Serge Tabachnikov

Abstract: A quadratic point on a surface in $RP^3$ is a point at which the surface can be approximated by a quadric abnormally well (up to order 3). We conjecture that the least number of quadratic points on a generic compact non-degenerate hyperbolic surface is 8; the relation between this and the classic Carathéodory conjecture is similar to the relation between the six-vertex and the four-vertex theore… ▽ More A quadratic point on a surface in $RP^3$ is a point at which the surface can be approximated by a quadric abnormally well (up to order 3). We conjecture that the least number of quadratic points on a generic compact non-degenerate hyperbolic surface is 8; the relation between this and the classic Carathéodory conjecture is similar to the relation between the six-vertex and the four-vertex theorems on plane curves. Examples of quartic perturbations of the standard hyperboloid confirm our conjecture. Our main result is a linearization and reformulation of the problem in the framework of 2-dimensional Sturm theory; we also define a signature of a quadratic point and calculate local normal forms recovering and generalizing Tresse-Wilczynski's theorem. △ Less

Submitted 21 November, 2006; originally announced November 2006.

Comments: Latex 25 pages, 10 figures

MSC Class: 53A20; 53C99; 58K50

Pseudo-Riemannian geodesics and billiards

Authors: B. Khesin, S. Tabachnikov

Abstract: Many classical facts in Riemannian geometry have their pseudo-Riemannian analogs. For instance, the spaces of space-like and time-like geodesics on a pseudo-Riemannian manifold have natural symplectic structures (just like in the Riemannian case), while the space of light-like geodesics has a natural contact structure. We discuss the geometry of these structures in detail, as well as introduce a… ▽ More Many classical facts in Riemannian geometry have their pseudo-Riemannian analogs. For instance, the spaces of space-like and time-like geodesics on a pseudo-Riemannian manifold have natural symplectic structures (just like in the Riemannian case), while the space of light-like geodesics has a natural contact structure. We discuss the geometry of these structures in detail, as well as introduce and study pseudo-Euclidean billiards. In particular, we prove pseudo-Euclidean analogs of the Jacobi-Chasles theorems and show the integrability of the billiard in the ellipsoid and the geodesic flow on the ellipsoid in a pseudo-Euclidean space. △ Less

Submitted 23 February, 2009; v1 submitted 24 August, 2006; originally announced August 2006.

Comments: title abbreviated, text edited; to appear in Advances in Mathematics

On configuration spaces of plane polygons, sub-Riemannian geometry and periodic orbits of outer billiards

Authors: D. Genin, S. Tabachnikov

Abstract: Following a recent paper by Baryshnikov and Zharnitskii, we consider outer billiards in the plane possessing invariant curves consisting of periodic orbits. We prove the existence and abundance of such tables using tools from sub-Riemannian geometry. We also prove that the set of 3-periodic outer billiard orbits has zero measure. Following a recent paper by Baryshnikov and Zharnitskii, we consider outer billiards in the plane possessing invariant curves consisting of periodic orbits. We prove the existence and abundance of such tables using tools from sub-Riemannian geometry. We also prove that the set of 3-periodic outer billiard orbits has zero measure. △ Less

Submitted 18 April, 2006; originally announced April 2006.

Variations on the Tait-Kneser theorem

Authors: Serge Tabachnikov, Vladlen Timorin

Abstract: The classical Tait-Kneser theorem states that the osculating circles of a smooth plane curve, free from curvature extrema, are pairwise disjoint. We prove a number of analogs of this theorem, e.g., for ovals of osculating cubics, osculating polynomials and trigonometric polynomials; in each case, we will obtain a non-differentiable foliation with smooth leaves. The classical Tait-Kneser theorem states that the osculating circles of a smooth plane curve, free from curvature extrema, are pairwise disjoint. We prove a number of analogs of this theorem, e.g., for ovals of osculating cubics, osculating polynomials and trigonometric polynomials; in each case, we will obtain a non-differentiable foliation with smooth leaves. △ Less

Submitted 23 February, 2006; v1 submitted 14 February, 2006; originally announced February 2006.

Comments: 14 pages, 6 figures, v2: references added

MSC Class: 53A20; 51N15

The Poncelet grid and the billiard in an ellipse

Authors: M. Levi, S. Tabachnikov

Abstract: We deduce a recent theorem by R. Schwartz on the structure of the so-called Poncelet grid from complete integrability of the billiard in an ellipse We deduce a recent theorem by R. Schwartz on the structure of the so-called Poncelet grid from complete integrability of the billiard in an ellipse △ Less

Submitted 31 October, 2005; originally announced November 2005.

Existence and non-existence of skew branes

Authors: S. Tabachnikov, Yu. Tyurina

Abstract: Following recent work by Ghomi, Solomon and Tabachnikov, we study geometry and topology of skew branes. A skew brane is a codimension 2 submanifold in affine space such that the tangent spaces at any pair of distinct points are not parallel. We prove that if an oriented closed manifold has a non-zero Euler characteristic $ξ$ then it is not a skew brane; generically, the number of oppositely orie… ▽ More Following recent work by Ghomi, Solomon and Tabachnikov, we study geometry and topology of skew branes. A skew brane is a codimension 2 submanifold in affine space such that the tangent spaces at any pair of distinct points are not parallel. We prove that if an oriented closed manifold has a non-zero Euler characteristic $ξ$ then it is not a skew brane; generically, the number of oppositely oriented pairs of parallel tangent spaces is not less than $(ξ^2)/4$. We also construct examples of skew odd-dimensional spheres and skew two-dimensional tori. △ Less

Submitted 23 April, 2005; originally announced April 2005.

Non-existence of n-dimensional T-embedded discs in R^2n

Authors: G. Stojanovic, S. Tabachnikov

Abstract: A manifold is T-embedded into an affine space if its tangent spaces at distinct points are disjoint. We prove that an n-dimensional disc cannot be T-embedded into 2n-dimensional space. A manifold is T-embedded into an affine space if its tangent spaces at distinct points are disjoint. We prove that an n-dimensional disc cannot be T-embedded into 2n-dimensional space. △ Less

Submitted 20 January, 2005; originally announced January 2005.

Comments: 6 pages, 1 figure

Complexity of piecewise convex transformations in two dimensions, with applications to polygonal billiards

Authors: E. Gutkin, S. Tabachnikov

Abstract: We introduce the class of piecewise convex transformations, and study their complexity. We apply the results to the complexity of polygonal billiards on surfaces of constant curvature. We introduce the class of piecewise convex transformations, and study their complexity. We apply the results to the complexity of polygonal billiards on surfaces of constant curvature. △ Less

Submitted 18 January, 2005; v1 submitted 16 December, 2004; originally announced December 2004.

Comments: references added, typos corrected

Journal ref: Moscow Mathematical Journal 6 (2006), 673 -- 701

Tire track geometry: variations on a theme

Authors: Serge Tabachnikov

Abstract: We study closed smooth convex plane curves $Γ$ enjoying the following property: a pair of points $x,y$ can traverse $Γ$ so that the distances between $x$ and $y$ along the curve and in the ambient plane do not change; such curves are called {\it bicycle curves}. Motivation for this study comes from the problem how to determine the direction of the bicycle motion by the tire tracks of the bicycle… ▽ More We study closed smooth convex plane curves $Γ$ enjoying the following property: a pair of points $x,y$ can traverse $Γ$ so that the distances between $x$ and $y$ along the curve and in the ambient plane do not change; such curves are called {\it bicycle curves}. Motivation for this study comes from the problem how to determine the direction of the bicycle motion by the tire tracks of the bicycle wheels; bicycle curves arise in the (rare) situation when one cannot determine which way the bicycle went. We discuss existence and non-existence of bicycle curves, other than circles, in particular,obtain restrictions on bicycle curves in terms of the ratio of the length of the arc $xy$ to the perimeter length of $Γ$, the number and location of their vertices, etc. We also study polygonal analogs of bicycle curves, convex equilateral $n$-gons $P$ whose $k$-diagonals all have equal lengths. For some values of $n$ and $k$ we prove the rigidity result that $P$ is a regular polygon, and for some construct flexible bicycle polygons. △ Less

Submitted 23 May, 2004; originally announced May 2004.

Totally skew embeddings of manifolds

Authors: M. Ghomi, S. Tabachnikov

Abstract: We obtain bounds on the least dimension of an affine space that can contain an $n$-dimensional submanifold without any pairs of parallel or intersecting tangent lines at distinct points. This problem is closely related to the generalized vector field problem, non-singular bilinear maps, and the immersion problem for real projective spaces. We obtain bounds on the least dimension of an affine space that can contain an $n$-dimensional submanifold without any pairs of parallel or intersecting tangent lines at distinct points. This problem is closely related to the generalized vector field problem, non-singular bilinear maps, and the immersion problem for real projective spaces. △ Less

Submitted 3 July, 2003; originally announced July 2003.

Remarks on magnetic flows and magnetic billiards, Finsler metrics and a magnetic analog of Hilbert's fourth problem

Authors: Serge Tabachnikov

Abstract: We interpret magnetic billiards as Finsler ones and describe an analog of the string construction for magnetic billiards. Finsler billiards for which the law "angle of incidence equals angle of reflection" are described. We characterize the Finsler metrics in the plane whose geodesics are circles of a fixed radius. This is a magnetic analog of Hilbert's fourth problem asking to describe the Fins… ▽ More We interpret magnetic billiards as Finsler ones and describe an analog of the string construction for magnetic billiards. Finsler billiards for which the law "angle of incidence equals angle of reflection" are described. We characterize the Finsler metrics in the plane whose geodesics are circles of a fixed radius. This is a magnetic analog of Hilbert's fourth problem asking to describe the Finsler metrics whose geodesics are straight lines. △ Less

Submitted 24 February, 2003; originally announced February 2003.

Comments: 27 pages, 6 figures

MSC Class: 53B40; 53C60; 53C65; 70F35

On skew loops, skew branes and quadratic hypersurfaces

Authors: Serge Tabachnikov

Abstract: A skew brane is an immersed codimension 2 submanifold in affine space, free from pairs of parallel tangent spaces. Using Morse theory, we prove that a skew brane cannot lie on a quadratic hypersurface. We also prove that there are no skew loops on embedded ruled developable discs in 3-space. The paper extends recent work by M. Ghomi and B. Solomon. A skew brane is an immersed codimension 2 submanifold in affine space, free from pairs of parallel tangent spaces. Using Morse theory, we prove that a skew brane cannot lie on a quadratic hypersurface. We also prove that there are no skew loops on embedded ruled developable discs in 3-space. The paper extends recent work by M. Ghomi and B. Solomon. △ Less

Submitted 21 February, 2003; originally announced February 2003.

Comments: 13 pages, 2 figures

MSC Class: 53A05; 53C50; 58E05

On three-periodic trajectories of multi-dimensional dual billiards

Authors: Serge Tabachnikov

Abstract: We consider the dual billiard map with respect to a smooth strictly convex closed hypersurface in linear 2m-dimensional symplectic space and prove that it has at least 2m distinct 3-periodic orbits. We consider the dual billiard map with respect to a smooth strictly convex closed hypersurface in linear 2m-dimensional symplectic space and prove that it has at least 2m distinct 3-periodic orbits. △ Less

Submitted 25 October, 2003; v1 submitted 20 February, 2003; originally announced February 2003.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol3/agt-3-33.abs.html

MSC Class: 37J45; 70H12

Journal ref: Algebr. Geom. Topol. 3 (2003) 993-1004

Topological robotics: motion planning in projective spaces

Authors: Michael Farber, Serge Tabachnikov, Sergey Yuzvinsky

Abstract: We study an elementary problem of topological robotics: rotation of a line, which is fixed by a revolving joint at a base point: one wants to bring the line from its initial position to a final position by a continuous motion in the space. The final goal is to construct an algorithm which will perform this task once the initial and final positions are given. Any such motion planning algorithm… ▽ More We study an elementary problem of topological robotics: rotation of a line, which is fixed by a revolving joint at a base point: one wants to bring the line from its initial position to a final position by a continuous motion in the space. The final goal is to construct an algorithm which will perform this task once the initial and final positions are given. Any such motion planning algorithm will have instabilities, which are caused by topological reasons. A general approach to study instabilities of robot motion was suggested recently by the first named author. With any path-connected topological space X one associates a number TC(X), called the topological complexity of X. This number is of fundamental importance for the motion planning problem: TC(X) determines character of instabilities which have all motion planning algorithms in X. In the present paper we study the topological complexity of real projective spaces. In particular we compute TC(RP^n) for all n<24. Our main result is that (for n distinct from 1, 3, 7) the problem of calculating of TC(RP^n) is equivalent to finding the smallest k such that RP^n can be immersed into the Euclidean space R^{k-1}. △ Less

Submitted 2 October, 2002; originally announced October 2002.

Comments: 16 pages

Periodic trajectories in 3-dimensional convex billiards

Authors: Michael Farber, Serge Tabachnikov

Abstract: We give lower bound on the number of periodic billiard trajectories inside a generic smooth strictly convex closed surface in 3-space: for odd n, there are at least 2(n-1) such trajectories. We apply a topological approach based on the calculation of cohomology of certain configuration spaces. We give lower bound on the number of periodic billiard trajectories inside a generic smooth strictly convex closed surface in 3-space: for odd n, there are at least 2(n-1) such trajectories. We apply a topological approach based on the calculation of cohomology of certain configuration spaces. △ Less

Submitted 7 June, 2001; originally announced June 2001.

Comments: 8 pages

MSC Class: 3Dxx; 58Exx

Topology of cyclic configuration spaces and periodic trajectories of multi-dimensional billiards

Authors: Michael Farber, Serge Tabachnikov

Abstract: We give lowed bounds on the number of periodic trajectories in strictly convex smooth billiards in $\R^{m+1}$ for $m\ge 3$. For plane billiards (when m=1) such bounds were obtained by G. Birkhoff in the 1920's. Our proof is based on topological methods of calculus of variations - equivariant Morse and Lusternik - Schirelman theories. We compute the equivariant cohomology ring of the cyclic confi… ▽ More We give lowed bounds on the number of periodic trajectories in strictly convex smooth billiards in $\R^{m+1}$ for $m\ge 3$. For plane billiards (when m=1) such bounds were obtained by G. Birkhoff in the 1920's. Our proof is based on topological methods of calculus of variations - equivariant Morse and Lusternik - Schirelman theories. We compute the equivariant cohomology ring of the cyclic configuration space of the sphere $S^m$, i.e., the space of n-tuples of points $(x_1, ..., x_n)$, where $x_i\in S^m$ and $x_i\ne x_{i+1}$ for i=1,2, ..., n. △ Less

Submitted 28 November, 1999; originally announced November 1999.

Comments: 38 pages, 4 figures

Projective geometry of polygons and discrete 4-vertex and 6-vertex theorems

Authors: V. Ovsienko, S. Tabachnikov

Abstract: The paper concerns discrete versions of the three well-known results of projective differential geometry: the four vertex theorem, the six affine vertex theorem and the Ghys theorem on four zeroes of the Schwarzian derivative. We study geometry of closed polygonal lines in $\bbRP^d$ and prove that polygons satisfying a certain convexity condition have at least d+1 flattenings. This result provid… ▽ More The paper concerns discrete versions of the three well-known results of projective differential geometry: the four vertex theorem, the six affine vertex theorem and the Ghys theorem on four zeroes of the Schwarzian derivative. We study geometry of closed polygonal lines in $\bbRP^d$ and prove that polygons satisfying a certain convexity condition have at least d+1 flattenings. This result provides a new approach to the above mentioned classical theorems. △ Less

Submitted 24 September, 1999; originally announced September 1999.

Comments: LaTeX document, 16 pages, 5 figures

Report number: CPT-99/P.3890

Sturm theory, Ghys theorem on zeroes of the Schwarzian derivative and flattening of Legendrian curves

Authors: V. Ovsienko, S. Tabachnikov

Abstract: We discuss Ghys' theorem on 4 zeroes of the Schwarzian derivative and its relation with flattening points of Legendrian curves and Sturm theory. We discuss Ghys' theorem on 4 zeroes of the Schwarzian derivative and its relation with flattening points of Legendrian curves and Sturm theory. △ Less

Submitted 26 October, 1995; originally announced October 1995.

Comments: 14 pages, 7 postscript figures, anonymous ftp at ftp://cpt.univ-mrs.fr/ or gopher://cpt.univ-mrs.fr/

Report number: CPT-95/P.3229