-
Inverse Participation Ratios in the XX spin chain
Authors:
Emmanuel Tsukerman
Abstract:
We continue the study of the Inverse Participation Ratios (IPRs) of the XXZ Heisenberg spin chain initiated by Misguich, Pasquier and Luck (2016) by focusing on the case of the XX Heisenberg Spin Chain. For the ground state, Misguich et al. note that calculating the IPR is equivalent to Dyson's constant term ex-conjecture. We express the IPRs of excited states as an apparently new "discrete" Hall…
▽ More
We continue the study of the Inverse Participation Ratios (IPRs) of the XXZ Heisenberg spin chain initiated by Misguich, Pasquier and Luck (2016) by focusing on the case of the XX Heisenberg Spin Chain. For the ground state, Misguich et al. note that calculating the IPR is equivalent to Dyson's constant term ex-conjecture. We express the IPRs of excited states as an apparently new "discrete" Hall inner product. We analyze this inner product using the theory of symmetric functions (Jack polynomials, Schur polynomials, the standard Hall inner product and $ω_{q,t}$) to determine some exact expressions and asymptotics for IPRs. We show that IPRs can be indexed by partitions, and asymptotically the IPR of a partition is equal to that of the conjugate partition. We relate the IPRs to two other models from physics, namely, the circular symplectic ensemble of Dyson and the Dyson-Gaudin two-dimensional Coulomb lattice gas. Finally, we provide a description of the IPRs in terms of a signed count of diagonals of permutohedra.
△ Less
Submitted 6 November, 2016;
originally announced November 2016.
-
A General Method to Determine Limiting Optimal Shapes for Edge-Isoperimetric Inequalities
Authors:
Emmanuel Tsukerman,
Ellen Veomett
Abstract:
For a general family of graphs on $\mathbb{Z}^n$, we translate the edge-isoperimetric problem into a continuous isoperimetric problem in $\mathbb{R}^n$. We then solve the continuous isoperimetric problem using the Brunn-Minkowski inequality and Minkowski's theorem on Mixed Volumes. This translation allows us to conclude, under a reasonable assumption about the discrete problem, that the shapes of…
▽ More
For a general family of graphs on $\mathbb{Z}^n$, we translate the edge-isoperimetric problem into a continuous isoperimetric problem in $\mathbb{R}^n$. We then solve the continuous isoperimetric problem using the Brunn-Minkowski inequality and Minkowski's theorem on Mixed Volumes. This translation allows us to conclude, under a reasonable assumption about the discrete problem, that the shapes of the optimal sets in the discrete problem approach the shape of the optimal set in the continuous problem as the size of the set grows. The solution is the zonotope defined as the Minkowski sum of the edges of the original graph.
We demonstrate the efficacy of this method by revisiting some previously solved classical edge-isoperimetric problems. We then apply our method to some discrete isoperimetric problems which had not previously been solved. The complexity of those solutions suggest that it would be quite difficult to find them using discrete methods only.
△ Less
Submitted 22 August, 2016;
originally announced August 2016.
-
Extension of the first mixed volume to nonconvex sets
Authors:
Emmanuel Tsukerman
Abstract:
We study the first mixed volume for nonconvex sets and apply the results to limits of discrete isoperimetric problems. Let $ M,N \subset \mathbb{R}^d$. Define $D_N (M)=\lim_{ε\downarrow 0} \frac{|M+εN|-|M|}ε$ whenever the limit exists. Our main result states that for a compact domain $M \subset \mathbb{R}^d$ with piecewise $C^1$ boundary and bounded $N \subset \mathbb{R}^d$,…
▽ More
We study the first mixed volume for nonconvex sets and apply the results to limits of discrete isoperimetric problems. Let $ M,N \subset \mathbb{R}^d$. Define $D_N (M)=\lim_{ε\downarrow 0} \frac{|M+εN|-|M|}ε$ whenever the limit exists. Our main result states that for a compact domain $M \subset \mathbb{R}^d$ with piecewise $C^1$ boundary and bounded $N \subset \mathbb{R}^d$, $D_N(M)=D_{\text{conv}(N)}(M)$ and $D_N(M)=\int_{\text{bd }M} h_N(u_M(x)) \, d \mathcal{H}^{d-1}(x)$.
△ Less
Submitted 26 July, 2016;
originally announced July 2016.
-
A Simple Proof of Cauchy's Surface Area Formula
Authors:
Emmanuel Tsukerman,
Ellen Veomett
Abstract:
We give a short and simple proof of Cauchy's surface area formula, which states that the average area of a projection of a convex body is equal to its surface area up to a multiplicative constant in the dimension.
We give a short and simple proof of Cauchy's surface area formula, which states that the average area of a projection of a convex body is equal to its surface area up to a multiplicative constant in the dimension.
△ Less
Submitted 20 April, 2016;
originally announced April 2016.
-
Symmetric matrices, Catalan paths, and correlations
Authors:
Bernd Sturmfels,
Emmanuel Tsukerman,
Lauren Williams
Abstract:
Kenyon and Pemantle (2014) gave a formula for the entries of a square matrix in terms of connected principal and almost-principal minors. Each entry is an explicit Laurent polynomial whose terms are the weights of domino tilings of a half Aztec diamond. They conjectured an analogue of this parametrization for symmetric matrices, where the Laurent monomials are indexed by Catalan paths. In this pap…
▽ More
Kenyon and Pemantle (2014) gave a formula for the entries of a square matrix in terms of connected principal and almost-principal minors. Each entry is an explicit Laurent polynomial whose terms are the weights of domino tilings of a half Aztec diamond. They conjectured an analogue of this parametrization for symmetric matrices, where the Laurent monomials are indexed by Catalan paths. In this paper we prove the Kenyon-Pemantle conjecture, and apply this to a statistics problem pioneered by Joe (2006). Correlation matrices are represented by an explicit bijection from the cube to the elliptope.
△ Less
Submitted 12 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.
-
Dimension of gram spectrahedra of univariate polynomials
Authors:
Emmanuel Tsukerman
Abstract:
The Gram Spectrahedron of a polynomial parametrizes its sums-of-squares representations. In this note, we determine the dimension of Gram Spectrahedra of univariate polynomials.
The Gram Spectrahedron of a polynomial parametrizes its sums-of-squares representations. In this note, we determine the dimension of Gram Spectrahedra of univariate polynomials.
△ Less
Submitted 16 April, 2015;
originally announced April 2015.
-
Equality of Dedekind sums mod $8 \mathbb{Z}$
Authors:
Emmanuel Tsukerman
Abstract:
Using a generalization due to Lerch [M. Lerch, Sur un théorème de Zolotarev. Bull. Intern. de l'Acad. François Joseph 3 (1896), 34-37] of a classical lemma of Zolotarev, employed in Zolotarev's proof of the law of quadratic reciprocity, we determine necessary and sufficient conditions for the difference of two Dedekind sums to be in $8\mathbb{Z}$. These yield new necessary conditions for equality…
▽ More
Using a generalization due to Lerch [M. Lerch, Sur un théorème de Zolotarev. Bull. Intern. de l'Acad. François Joseph 3 (1896), 34-37] of a classical lemma of Zolotarev, employed in Zolotarev's proof of the law of quadratic reciprocity, we determine necessary and sufficient conditions for the difference of two Dedekind sums to be in $8\mathbb{Z}$. These yield new necessary conditions for equality of two Dedekind sums. In addition, we resolve a conjecture of Girstmair [Girstmair, Congruences mod 4 for the alternating sum of the partial quotients, arXiv: 1501.00655].
△ Less
Submitted 21 January, 2015; v1 submitted 14 January, 2015;
originally announced January 2015.
-
Tropical Spectral Theory of Tensors
Authors:
Emmanuel Tsukerman
Abstract:
We introduce and study tropical eigenpairs of tensors, a generalization of the tropical spectral theory of matrices. We show the existence and uniqueness of an eigenvalue. We associate to a tensor a directed hypergraph and define a new type of cycle on a hypergraph, which we call an H-cycle. The eigenvalue of a tensor turns out to be equal to the minimal normalized weighted length of H-cycles of t…
▽ More
We introduce and study tropical eigenpairs of tensors, a generalization of the tropical spectral theory of matrices. We show the existence and uniqueness of an eigenvalue. We associate to a tensor a directed hypergraph and define a new type of cycle on a hypergraph, which we call an H-cycle. The eigenvalue of a tensor turns out to be equal to the minimal normalized weighted length of H-cycles of the associated hypergraph. We show that the eigenvalue can be computed efficiently via a linear program. Finally, we suggest possible directions of research.
△ Less
Submitted 20 October, 2014;
originally announced October 2014.
-
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.
-
Equality of Dedekind sums mod $\mathbb{Z},2\mathbb{Z}$ and $4\mathbb{Z}$
Authors:
Emmanuel Tsukerman
Abstract:
In [Girstmair, A criterion for the equality of Dedekind sums mod $\mathbb{Z}$, Internat. J. Number Theory 10: (2014) 565--568], it was shown that the necessary condition $b \mid (a_1 a_2-1)(a_1-a_2)$ for equality of two dedekind sums $s(a_1,b)$ and $s(a_2,b)$ given in [Jabuka, Robins and Wang, When are two Dedekind sums equal? Internat. J. Number Theory 7: (2011) 2197--2202] is equivalent to…
▽ More
In [Girstmair, A criterion for the equality of Dedekind sums mod $\mathbb{Z}$, Internat. J. Number Theory 10: (2014) 565--568], it was shown that the necessary condition $b \mid (a_1 a_2-1)(a_1-a_2)$ for equality of two dedekind sums $s(a_1,b)$ and $s(a_2,b)$ given in [Jabuka, Robins and Wang, When are two Dedekind sums equal? Internat. J. Number Theory 7: (2011) 2197--2202] is equivalent to $12s(a_1,b)-12s(a_2,b) \in \mathbb{Z}$. In this note, we give a new proof of this result and then find two additional necessary and sufficient conditions for $12s(a_1,b)-12s(a_2,b) \in 2\mathbb{Z}, 4\mathbb{Z}$. These give new necessary conditions on equality of Dedekind sums.
△ Less
Submitted 15 August, 2014; v1 submitted 14 August, 2014;
originally announced August 2014.
-
Determining the maximum difference between the number of atoms and number of coatoms of a Bruhat interval of the symmetric group
Authors:
Emmanuel Tsukerman
Abstract:
We determine the largest difference between the number of atoms and number of coatoms of a Bruhat interval of $S_n$.
We determine the largest difference between the number of atoms and number of coatoms of a Bruhat interval of $S_n$.
△ Less
Submitted 27 July, 2014; v1 submitted 23 July, 2014;
originally announced July 2014.
-
Bruhat Interval Polytopes
Authors:
Emmanuel Tsukerman,
Lauren Williams
Abstract:
Let u and v be permutations on n letters, with u <= v in Bruhat order. A Bruhat interval polytope Q_{u,v} is the convex hull of all permutation vectors z = (z(1), z(2),...,z(n)) with u <= z <= v. Note that when u=e and v=w_0 are the shortest and longest elements of the symmetric group, Q_{e,w_0} is the classical permutohedron. Bruhat interval polytopes were studied recently by Kodama and the secon…
▽ More
Let u and v be permutations on n letters, with u <= v in Bruhat order. A Bruhat interval polytope Q_{u,v} is the convex hull of all permutation vectors z = (z(1), z(2),...,z(n)) with u <= z <= v. Note that when u=e and v=w_0 are the shortest and longest elements of the symmetric group, Q_{e,w_0} is the classical permutohedron. Bruhat interval polytopes were studied recently by Kodama and the second author, in the context of the Toda lattice and the moment map on the flag variety.
In this paper we study combinatorial aspects of Bruhat interval polytopes. For example, we give an inequality description and a dimension formula for Bruhat interval polytopes, and prove that every face of a Bruhat interval polytope is a Bruhat interval polytope. A key tool in the proof of the latter statement is a generalization of the well-known lifting property for Coxeter groups. Motivated by the relationship between the lifting property and R-polynomials, we also give a generalization of the standard recurrence for R-polynomials. Finally, we define a more general class of polytopes called Bruhat interval polytopes for G/P, which are moment map images of (closures of) totally positive cells in the non-negative part of G/P, and are a special class of Coxeter matroid polytopes. Using tools from total positivity and the Gelfand-Serganova stratification, we show that the face of any Bruhat interval polytope for G/P is again a Bruhat interval polytope for G/P.
△ Less
Submitted 10 June, 2015; v1 submitted 19 June, 2014;
originally announced June 2014.
-
The $p$-adic Order of Power Sums, the Erdös-Moser Equation, and Bernoulli Numbers
Authors:
Jonathan Sondow,
Emmanuel Tsukerman
Abstract:
The Erdös-Moser equation is a Diophantine equation proposed more than 60 years ago which remains unresolved to this day. In this paper, we consider the problem in terms of divisibility of power sums and in terms of certain Egyptian fraction equations. As a consequence, we show that solutions must satisfy strong divisibility properties and a restrictive Egyptian fraction equation. Our studies lead…
▽ More
The Erdös-Moser equation is a Diophantine equation proposed more than 60 years ago which remains unresolved to this day. In this paper, we consider the problem in terms of divisibility of power sums and in terms of certain Egyptian fraction equations. As a consequence, we show that solutions must satisfy strong divisibility properties and a restrictive Egyptian fraction equation. Our studies lead us to results on the Bernoulli numbers and allow us to motivate Moser's original approach to the problem.
△ Less
Submitted 1 January, 2014;
originally announced January 2014.
-
On symplectic capacities of toric domains
Authors:
Michael Landry,
Matthew McMillan,
Emmanuel Tsukerman
Abstract:
A toric domain is a subset of $(\mathbb{C}^n,ω_{\text{std}})$ which is invariant under the standard rotation action of $\mathbb{T}^n$ on $\mathbb{C}^n$. For a toric domain $U$ from a certain large class for which this action is not free, we find a corresponding toric domain $V$ where the standard action is free, and for which $c(U)=c(V)$ for any symplectic capacity $c$. Michael Hutchings gives a c…
▽ More
A toric domain is a subset of $(\mathbb{C}^n,ω_{\text{std}})$ which is invariant under the standard rotation action of $\mathbb{T}^n$ on $\mathbb{C}^n$. For a toric domain $U$ from a certain large class for which this action is not free, we find a corresponding toric domain $V$ where the standard action is free, and for which $c(U)=c(V)$ for any symplectic capacity $c$. Michael Hutchings gives a combinatorial formula for calculating his embedded contact homology symplectic capacities for certain toric four-manifolds on which the $\mathbb{T}^2$-action is free. Our theorem allows one to extend this formula to a class of toric domains where the action is not free. We apply our theorem to compute ECH capacities for certain intersections of ellipsoids, and find that these capacities give sharp obstructions to symplectically embedding these ellipsoid intersections into balls.
△ Less
Submitted 3 August, 2014; v1 submitted 19 September, 2013;
originally announced September 2013.
-
Polygonal Bicycle Paths and the Darboux Transformation
Authors:
I. Alevy,
E. Tsukerman
Abstract:
A Bicycle $(n,k)$-gon is an equilateral $n$-gon whose $k$ diagonals are of equal length. In this paper we consider periodic bicycle $(n,k)$-paths, which are a natural variation in which the polygon is replaced with a periodic polygonal path.
A Bicycle $(n,k)$-gon is an equilateral $n$-gon whose $k$ diagonals are of equal length. In this paper we consider periodic bicycle $(n,k)$-paths, which are a natural variation in which the polygon is replaced with a periodic polygonal path.
△ Less
Submitted 27 August, 2013;
originally announced August 2013.
-
Fourier-Dedekind Sums and an Extension of Rademacher Reciprocity
Authors:
Emmanuel Tsukerman
Abstract:
Fourier-Dedekind sums are a generalization of Dedekind sums - important number-theoretical objects that arise in many areas of mathematics, including lattice point enumeration, signature defects of manifolds and pseudo random number generators. A remarkable feature of Fourier-Dedekind sums is that they satisfy a reciprocity law called Rademacher reciprocity. In this paper, we study several aspects…
▽ More
Fourier-Dedekind sums are a generalization of Dedekind sums - important number-theoretical objects that arise in many areas of mathematics, including lattice point enumeration, signature defects of manifolds and pseudo random number generators. A remarkable feature of Fourier-Dedekind sums is that they satisfy a reciprocity law called Rademacher reciprocity. In this paper, we study several aspects of Fourier-Dedekind sums: properties of general Fourier-Dedekind sums, extensions of the reciprocity law, average behavior of Fourier-Dedekind sums, and finally, extrema of 2-dimensional Fourier-Dedekind sums.
On properties of general Fourier-Dedekind sums we show that a general Fourier-Dedekind sum is simultaneously a convolution of simpler Fourier-Dedekind sums, and a linear combination of these with integer coefficients. We show that Fourier-Dedekind sums can be extended naturally to a group under convolution. We introduce "Reduced Fourier-Dedekind sums", which encapsulate the complexity of a Fourier-Dedekind sum, describe these in terms of generating functions, and give a geometric interpretation.
Next, by finding interrelations among Fourier-Dedekind sums, we extend the range on which Rademacher reciprocity Theorem holds.
We go on to study the average behavior of Fourier-Dedekind sums, showing that the average behavior of a Fourier-Dedekind sum is described concisely by a lower-dimensional, simpler Fourier-Dedekind sum.
Finally, we focus our study on 2-dimensional Fourier-Dedekind sums. We find tight upper and lower bounds on these for a fixed $t$, estimates on the argmax and argmin, and bounds on the sum of their "reciprocals".
△ Less
Submitted 4 October, 2013; v1 submitted 21 July, 2013;
originally announced July 2013.
-
Monotonicity of the optimal perimeter in isoperimetric problems on ${\mathbb{Z}}^{k} \times {\mathbb{N}}^{d}$
Authors:
Emmanuel Tsukerman
Abstract:
We prove general theorems for isoperimetric problems on lattices of the form ${\mathbb{Z}}^{k} \times {\mathbb{N}}^{d}$ which state that the perimeter of the optimal set is a monotonically increasing function of the volume under certain natural assumptions, such as local symmetry or being induced by an $\ell_p$-norm. The proved monotonicity property is surprising considering that solutions are not…
▽ More
We prove general theorems for isoperimetric problems on lattices of the form ${\mathbb{Z}}^{k} \times {\mathbb{N}}^{d}$ which state that the perimeter of the optimal set is a monotonically increasing function of the volume under certain natural assumptions, such as local symmetry or being induced by an $\ell_p$-norm. The proved monotonicity property is surprising considering that solutions are not always nested (and consequently standard techniques such as compressions do not apply). The monotonicity results of this note apply in particular to vertex- and edge-isoperimetric problems in the $\ell_p$ distances and can be used as a tool to elucidate properties of optimal sets. As an application, we consider the edge-isoperimetric inequality on the graph ${\N}^2$ in the $\ell_\infty$-distance. We show that there exist arbitrarily long consecutive values of the volume for which the minimum boundary is the same.
△ Less
Submitted 7 September, 2013; v1 submitted 17 March, 2013;
originally announced March 2013.
-
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.
-
Discrete Conics
Authors:
Emmanuel Tsukerman
Abstract:
In this paper, we introduce discrete conics, polygonal analogues of conics. We show that discrete conics satisfy a number of nice properties analogous to those of conics, and arise naturally from several constructions, including the discrete negative pedal construction and an action of a group acting on a focus-sharing pencil of conics.
In this paper, we introduce discrete conics, polygonal analogues of conics. We show that discrete conics satisfy a number of nice properties analogous to those of conics, and arise naturally from several constructions, including the discrete negative pedal construction and an action of a group acting on a focus-sharing pencil of conics.
△ Less
Submitted 2 December, 2012;
originally announced December 2012.
-
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.
-
Solution of Sondow's problem: a synthetic proof of the tangency property of the parbelos
Authors:
Emmanuel Tsukerman
Abstract:
In a recent paper titled "The parbelos, a parabolic analog of the arbelos", Sondow asks for a synthetic proof to the tangency property of the parbelos. In this paper, we resolve this question by introducing a converse to Lambert's Theorem on the parabola and in the process prove some new properties of the parbelos.
In a recent paper titled "The parbelos, a parabolic analog of the arbelos", Sondow asks for a synthetic proof to the tangency property of the parbelos. In this paper, we resolve this question by introducing a converse to Lambert's Theorem on the parabola and in the process prove some new properties of the parbelos.
△ Less
Submitted 24 July, 2013; v1 submitted 20 October, 2012;
originally announced October 2012.
-
The Edge-Isoperimetric Problem in $(\mathbb{N}^2,\infty)$
Authors:
Emmanuel Tsukerman
Abstract:
We consider the edge-isoperimetric problem on the graph of the infinite grid $\mathbb{N}^{2}$ in the $\ell_{\infty}$ metric. We first show that the solutions are not nested, so that techniques other than compressions have to be used. We then show that for any given volume of sets in $\mathbb{N}^{2}$, there exists an optimal set of a specific geometric form and describe this form. We continue on to…
▽ More
We consider the edge-isoperimetric problem on the graph of the infinite grid $\mathbb{N}^{2}$ in the $\ell_{\infty}$ metric. We first show that the solutions are not nested, so that techniques other than compressions have to be used. We then show that for any given volume of sets in $\mathbb{N}^{2}$, there exists an optimal set of a specific geometric form and describe this form. We continue on to prove that the optimal perimeter has asymptotic growth rate $2\sqrt{7x}$ as a function of the volume and obtain upper and lower bounds for the optimal perimeter which are within the small additive constant of $\frac{35}{2}$ of one another, thus effectively solving the discrete isoperimetric inequality on this graph. Finally, we prove that there exist arbitrarily long consecutive values of the volume for which the minimum perimeter is the same.
△ Less
Submitted 7 September, 2013; v1 submitted 28 May, 2012;
originally announced May 2012.
-
The Perpendicular Bisector Construction in $n$-dimensional Euclidean and Non-euclidean Geometries
Authors:
Emmanuel Tsukerman
Abstract:
The "Perpendicular Bisectors Construction" is a natural way to seek a replacement for the circumcenter of a noncyclic quadrilateral in the plane. In this paper, we generalize this iterative construction to a construction on polytopes with $n$ vertices in $(n-2)$-dimensional Euclidean, Hyperbolic and Elliptic geometries. We then show that a number of nice properties concerning this iterative constr…
▽ More
The "Perpendicular Bisectors Construction" is a natural way to seek a replacement for the circumcenter of a noncyclic quadrilateral in the plane. In this paper, we generalize this iterative construction to a construction on polytopes with $n$ vertices in $(n-2)$-dimensional Euclidean, Hyperbolic and Elliptic geometries. We then show that a number of nice properties concerning this iterative construction continue to hold in these geometries. We also introduce an analogue of the isoptic point of a quadrilateral, which is the limit point of the Perpendicular Bisectors Construction, in $\mathbb{R}^{n}$ and prove some of its properties.
△ Less
Submitted 29 March, 2012;
originally announced March 2012.
-
On Polygons Admitting a Simson Line as Discrete Analogs of Parabolas
Authors:
Emmanuel Tsukerman
Abstract:
We begin by proving a few general facts about Simson polygons, defined as polygons which admit a pedal line. We use an inductive argument to show that no convex $n$-gon, $n\geq5$, admits a Simson Line. We then determine a property which characterizes Simson $n$-gons and show that one can be constructed for every $n\geq3$. We proceed to show that a parabola can be viewed as a limit of special Simso…
▽ More
We begin by proving a few general facts about Simson polygons, defined as polygons which admit a pedal line. We use an inductive argument to show that no convex $n$-gon, $n\geq5$, admits a Simson Line. We then determine a property which characterizes Simson $n$-gons and show that one can be constructed for every $n\geq3$. We proceed to show that a parabola can be viewed as a limit of special Simson polygons, called equidistant Simson polygons, and that these polygons provide the best piecewise linear continuous approximation to the parabola. Finally, we show that equidistant Simson polygons can be viewed as discrete analogs of parabolas and that they satisfy a number of results analogous to the pedal property, optical property, properties of Archimedes triangles and Lambert's Theorem of parabolas. The corresponding results for parabolas are easily obtained by applying a limit process to the equidistant Simson polygons.
△ Less
Submitted 11 October, 2012; v1 submitted 31 December, 2011;
originally announced January 2012.
-
The Perpendicular Bisectors Construction, the Isoptic Point and the Simson Line of a Quadrilateral
Authors:
Olga Radko,
Emmanuel Tsukerman
Abstract:
Given a noncyclic quadrilateral, we consider an iterative procedure producing a new quadrilateral at each step. At each iteration, the vertices of the new quadrilateral are the circumcenters of the triad circles of the previous generation quadrilateral. The main goal of the paper is to prove a number of interesting properties of the limit point of this iterative process. We show that the limit poi…
▽ More
Given a noncyclic quadrilateral, we consider an iterative procedure producing a new quadrilateral at each step. At each iteration, the vertices of the new quadrilateral are the circumcenters of the triad circles of the previous generation quadrilateral. The main goal of the paper is to prove a number of interesting properties of the limit point of this iterative process. We show that the limit point is the common center of spiral similarities taking any of the triad circles into another triad circle. As a consequence, the point has the isoptic property (i.e., all triad circles are visible from the limit point at the same angle). Furthermore, the limit point can be viewed as a generalization of a circumcenter. It also has properties similar to those of the isodynamic point of a triangle. We also characterize the limit point as the unique point for which the pedal quadrilateral is a parallelogram. Continuing to study the pedal properties with respect to a quadrilateral, we show that for every quadrilateral there is a unique point (which we call the Simson point) such that its pedal consists of four points on line, which we call the Simson line, in analogy to the case of a triangle. Finally, we define a version of isogonal conjugation for a quadrilateral and prove that the isogonal conjugate of the limit point is a parallelogram, while that of the Simson point is a degenerate quadrilateral whose vertices coincide at infinity.
△ Less
Submitted 24 December, 2011;
originally announced December 2011.