Equable Triangles on the Eisenstein Lattice

Christian Aebi,Grant Cairns

2023-07-31

Abstract:We show that there are only two equable triangles having vertices on the Eisenstein lattice, up to Euclidean motions.

General Mathematics,Metric Geometry

What problem does this paper attempt to address?

Equable Parallelograms on the Eisenstein Lattice

Christian Aebi,Grant Cairns

2024-01-17

Abstract:This paper studies equable parallelograms whose vertices lie on the Eisenstein lattice. Using Rosenberger's Theorem on generalised Markov equations, we show that the set of these parallelograms forms naturally an infinite tree, all of whose vertices have degree 4, bar the root which has degree 3. This study naturally complements the authors' previous study of equable parallelograms whose vertices lie on the integer lattice.

Combinatorics
Following in Yiu's Footsteps but on the Eisenstein Lattice

Christian Aebi,Grant Cairns

DOI: https://doi.org/10.1080/00029890.2024.2325863

2024-03-31

American Mathematical Monthly

Abstract:Paul Yiu proved that all Heron triangles are realizable on the integer lattice. We give an analogous result for triangles with vertices on the Eisenstein lattice.

mathematics
On triangular billiards

Jan-Christoph Schlage-Puchta

DOI: https://doi.org/10.1007/PL00013215

2011-05-09

Abstract:We prove a conjecture of Kenyon and Smillie concerning the nonexistence of acute rational-angled triangles with the lattice property.

Dynamical Systems
The equational theory of the Weihrauch lattice with multiplication

Eike Neumann,Arno Pauly,Cécilia Pradic

2024-09-04

Abstract:We study the equational theory of the Weihrauch lattice with multiplication, meaning the collection of equations between terms built from variables, the lattice operations $\sqcup$, $\sqcap$, the product $\times$, and the finite parallelization $(-)^*$ which are true however we substitute Weihrauch degrees for the variables. We provide a combinatorial description of these in terms of a reducibility between finite graphs, and moreover, show that deciding which equations are true in this sense is complete for the third level of the polynomial hierarchy.

Logic in Computer Science,Logic
Enumeration of alternating sign triangles using a constant term approach

Ilse Fischer

DOI: https://doi.org/10.48550/arXiv.1804.03630

2018-04-11

Abstract:Alternating sign triangles (ASTs) have recently been introduced by Ayyer, Behrend and the author, and it was proven that there is the same number of ASTs with n rows as there is of nxn alternating sign matrices (ASMs). We prove a conjecture by Behrend on a refined enumeration of ASTs with respect to a statistic that is shown to have the same distribution as the column of the unique 1 in the top row of an ASM. The proof of the conjecture is based on a certain multivariate generating function of ASTs that takes the positions of the columns with sum 1 (1-columns) into account. We also prove a curious identity on the cyclic rotation of the 1-columns of ASTs. Furthermore, we discuss a relation of our multivariate generating function to a formula of Di Francesco and Zinn-Justin for the number of fully packed loop configurations associated with a given link pattern. The proofs of our results employ the author's operator formula for the number of monotone triangles with prescribed bottom row. This is opposed to the six-vertex model approach that was used by Ayyer, Behrend and the author to enumerate ASTs, and since the refined enumeration implies the unrefined enumeration, the present paper also provides an alternative proof of the enumeration of ASTs.

Combinatorics,Mathematical Physics
Lattice angles of lattice polygons

James Dolan,Oleg Karpenkov

2023-10-02

Abstract:This paper is dedicated to a lattice analog to the classical ``sum of interior angles of a polygon theorem''. In 2008, the first formula expressing conditions on the geometric continued fractions for lattice angles of triangles was derived, while the cases of $n$-gons for $n > 3$ remained unresolved. In this paper, we provide the complete solution for all integer $n$. The main results are based on recent advances in geometry of continued fractions.

Number Theory,Combinatorics
Strongly Obtuse Rational Lattice Triangles

Anne Larsen,Chaya Norton,Bradley Zykoski

DOI: https://doi.org/10.48550/arXiv.2009.00174

2020-09-01

Abstract:We classify rational triangles which unfold to Veech surfaces when the largest angle is at least $\frac{3\pi}{4}$. When the largest angle is greater than $\frac{2\pi}{3}$, we show that the unfolding is not Veech except possibly if it belongs to one of six infinite families. Our methods include a criterion of Mirzakhani and Wright that built on work of Möller and McMullen, and in most cases show that the orbit closure of the unfolding cannot have rank 1.

Dynamical Systems
Triangles with one fixed side‚Äďlength, a Furstenberg-type problem, and incidences in finite vector spaces

Thang Pham

DOI: https://doi.org/10.1515/forum-2023-0470

2024-03-27

Forum Mathematicum

Abstract:The first goal of this paper is to prove a sharp condition to guarantee of having a positive proportion of all congruence classes of triangles in given sets in ūĚĒĹ q 2 . More precisely, for A , B , C ‚äā ūĚĒĹ q 2 , if | A | ‚ĀĘ | B | ‚ĀĘ | C | 1 2 ‚Čę q 4 , then for any őĽ ‚ąą ūĚĒĹ q ‚ąĖ { 0 } , the number of congruence classes of triangles with vertices in A √ó B √ó C and one side-length őĽ is at least ‚Čę q 2 . In higher dimensions, we obtain similar results for k -simplex but under a slightly stronger condition. Compared to the well-known L 2 method in the literature, our approach offers better results in both conditions and conclusions. When A = B = C , the second goal of this paper is to give a new and unified proof of the best current results on the distribution of simplex due to Bennett, Hart, Iosevich, Pakianathan and Rudnev (2017) and McDonald (2020). The third goal of this paper is to study a Furstenberg-type problem associated to a set of rigid motions. The main ingredients in our proofs are incidence bounds between points and rigid motions. While the incidence bounds for large sets are due to the author and Semin Yoo (2023), the bound for small sets will be proved by using a point‚Äďline incidence bound in ūĚĒĹ q 3 due to Koll√°r (2015).

mathematics, applied
Equiangular tight frames from complex Seidel matrices containing cube roots of unity

Bernhard G. Bodmann,Vern I. Paulsen,Mark Tomforde

DOI: https://doi.org/10.48550/arXiv.0805.2014

2008-09-01

Abstract:We derive easily verifiable conditions which characterize when complex Seidel matrices containing cube roots of unity have exactly two eigenvalues. The existence of such matrices is equivalent to the existence of equiangular tight frames for which the inner product between any two frame vectors is always a common multiple of the cube roots of unity. We also exhibit a relationship between these equiangular tight frames, complex Seidel matrices, and highly regular, directed graphs. We construct examples of such frames with arbitrarily many vectors.

Functional Analysis,Operator Algebras
Multiple Lattice Tilings in Euclidean Spaces

Qi Yang,Chuanming Zong

DOI: https://doi.org/10.4153/s0008439518000103

2018-01-01

Canadian Mathematical Bulletin

Abstract:In 1885, Fedorov discovered that a convex domain can form a lattice tiling of the Euclidean plane if and only if it is a parallelogram or a centrally symmetric hexagon. his paper proves the following results. Except for parallelograms and centrally symmetric hexagons, there are no other convex domains that can form two-, three- or four-fold lattice tilings in the Euclidean plane. However, there are both octagons and decagons that can form five-fold lattice tilings. Whenever n >= 3, there are non-parallelohedral polytopes that can form five-fold lattice tilings in the n-dimensional Euclidean space.
Lattice points in vector-dilated quadratic irrational polytopes

Yashaswika Gaur,Tian An Wong

DOI: https://doi.org/10.48550/arXiv.1810.01065

2018-10-02

Abstract:We study the Ehrhart theory of quadratic irrational polytopes that undergo vector dilations. That is, for a given polytope with vertices in $\mathbb{Q}(\sqrt{D})$, and a different dilation factor for each facet, we show that the leading term of the lattice-point count behaves similar to an Ehrhart polynomial, generalizing previous work of Borda on scalar dilations of quadratic irrational polytopes. As a result, a form of the Ehrhart-Macdonald reciprocity law is obtained for the leading term.

Number Theory,Combinatorics
Almost Congruent Triangles

József Balogh,Felix Christian Clemen,Adrian Dumitrescu

DOI: https://doi.org/10.1007/s00454-023-00623-9

2024-01-13

Discrete & Computational Geometry

Abstract:Almost 50 years ago Erdős and Purdy asked the following question: Given n points in the plane, how many triangles can be approximate congruent to equilateral triangles? They pointed out that by dividing the points evenly into three small clusters built around the three vertices of a fixed equilateral triangle, one gets at least such approximate copies. In this paper we provide a matching upper bound and thereby answer their question. More generally, for every triangle T we determine the maximum number of approximate congruent triangles to T in a point set of size n . Parts of our proof are based on hypergraph Turán theory: for each point set in the plane and a triangle T , we construct a 3-uniform hypergraph , which contains no hypergraph as a subgraph from a family of forbidden hypergraphs . Our upper bound on the number of edges of will determine the maximum number of triangles that are approximate congruent to T .

mathematics,computer science, theory & methods
Interlacing triangles, Schubert puzzles, and graph colorings

Christian Gaetz,Yibo Gao

2024-08-15

Abstract:We show that interlacing triangular arrays, introduced by Aggarwal-Borodin-Wheeler to study certain probability measures, can be used to compute structure constants for multiplying Schubert classes in the $K$-theory of Grassmannians, in the cohomology of their cotangent bundles, and in the cohomology of partial flag varieties. Our results are achieved by establishing a splitting lemma, allowing for interlacing triangular arrays of high rank to be decomposed into arrays of lower rank, and by constructing a bijection between interlacing triangular arrays of rank 3 with certain proper vertex colorings of the triangular grid graph that factors through generalizations of Knutson-Tao puzzles. Along the way, we prove one enumerative conjecture of Aggarwal-Borodin-Wheeler and disprove another.

Combinatorics,Algebraic Geometry,Probability
The equational theory of the Weihrauch lattice with (iterated) composition

Cécilia Pradic

2024-10-04

Abstract:We study the equational theory of the Weihrauch lattice with composition and iterations, meaning the collection of equations between terms built from variables, the lattice operations $\sqcup$, $\sqcap$, the composition operator $\star$ and its iteration $(-)^\diamond$ , which are true however we substitute (slightly extended) Weihrauch degrees for the variables. We characterize them using Büchi games on finite graphs and give a complete axiomatization that derives them. The term signature and the axiomatization are reminiscent of Kleene algebras, except that we additionally have meets and the lattice operations do not fully distributes over composition. The game characterization also implies that it is decidable whether an equation is universally valid. We give some complexity bounds; in particular, the problem is Pspace-hard in general and we conjecture that it is solvable in Pspace.

Logic in Computer Science,Logic
Equidistribution of cusp points of Hecke triangle groups

Laura Breitkopf,Marc Kesseböhmer,Anke Pohl

2024-02-07

Abstract:In the framework of infinite ergodic theory, we derive equidistribution results for suitable weighted sequences of cusp points of Hecke triangle groups encoded by group elements of constant word length with respect to a set of natural generators. This is a generalization of the corresponding results for the modular group, for which we rely on advanced results from infinite ergodic theory and transfer operator techniques developed for AFN-maps.

Dynamical Systems,Number Theory
On the geometric structures in evolutionary games on square and triangular lattices

Evgeni Burovski,Aleksandr Malyutin,Lev Shchur

DOI: https://doi.org/10.1088/1742-6596/1290/1/012027

2019-10-01

Journal of Physics: Conference Series

Abstract:Abstract We study a model of a spatial evolutionary game, based on the Prisoner’s dilemma for two regular arrangements of players, on a square lattice and on a triangular lattice. We analyze steady state distributions of players which evolve from irregular, random initial configurations. We find significant differences between the square and triangular lattice, and we characterize the geometric structures which emerge on the triangular lattice.
A Structural Theorem for Sets With Few Triangles

Sam Mansfield,Jonathan Passant

DOI: https://doi.org/10.1007/s00493-023-00066-z

2023-10-25

Abstract:We show that if a finite point set $P\subseteq \mathbb{R}^2$ has the fewest congruence classes of triangles possible, up to a constant $M$, then at least one of the following holds. (1) There is a $\sigma>0$ and a line $l$ which contains $\Omega(|P|^\sigma)$ points of $P$. Further, a positive proportion of $P$ is covered by lines parallel to $l$ each containing $\Omega(|P|^\sigma)$ points of $P$. (2) There is a circle $\gamma$ which contains a positive proportion of $P$. This provides evidence for two conjectures of Erdős. We use the result of Petridis-Roche-Newton-Rudnev-Warren on the structure of the affine group combined with classical results from additive combinatorics.

Combinatorics
Families of Equiangular Lines and Lattices

Jacques Martinet

2024-03-14

Abstract:We construct Euclidean lattices whose sets of minimal vectors support some large equiangular families of lines, using notably reduction modulo~$2$ of lattices. %as considered in \cite{Ma1} and \cite{Ma2}. We also consider some related problems, and answer a question raised by Greaves ([G], Subsection~1.3.2).

Number Theory,Combinatorics
An equality between two towers over cubic fields

Michael E. Zieve

DOI: https://doi.org/10.48550/arXiv.0905.4921

2009-05-29

Number Theory

Abstract:Recently Bassa, Garcia and Stichtenoth constructed a tower of function fields over GF(q^3) having many rational places relative to their genera. We show that, by removing the bottom field from this tower, we obtain the same tower we would obtain by removing certain fields from a tower constructed previously by Bezerra, Garcia and Stichtenoth.
Subconvex equidistribution of cusp forms: reduction to Eisenstein observables

Paul D. Nelson

DOI: https://doi.org/10.1215/00127094-2019-0005

2018-12-12

Abstract:Let $\pi$ traverse a sequence of cuspidal automorphic representations of GL(2) with large prime level, unramified central character and bounded infinity type. For G either of the groups GL(1) or PGL(2), let H(G) denote the assertion that subconvexity holds for G-twists of the adjoint $L$-function of $\pi$, with polynomial dependence upon the conductor of the twist. We show that H(GL(1)) implies H(PGL(2)). In geometric terms, H(PGL(2)) corresponds roughly to an instance of arithmetic quantum unique ergodicity with a power savings in the error term, H(GL(1)) to the special case in which the relevant sequence of measures is tested against an Eisenstein series.

Number Theory

Equable Triangles on the Eisenstein Lattice

Equable Parallelograms on the Eisenstein Lattice

Following in Yiu's Footsteps but on the Eisenstein Lattice

On triangular billiards

The equational theory of the Weihrauch lattice with multiplication

Enumeration of alternating sign triangles using a constant term approach

Lattice angles of lattice polygons

Strongly Obtuse Rational Lattice Triangles

Triangles with one fixed side‚Äďlength, a Furstenberg-type problem, and incidences in finite vector spaces

Equiangular tight frames from complex Seidel matrices containing cube roots of unity

Multiple Lattice Tilings in Euclidean Spaces

Lattice points in vector-dilated quadratic irrational polytopes

Almost Congruent Triangles

Interlacing triangles, Schubert puzzles, and graph colorings

The equational theory of the Weihrauch lattice with (iterated) composition

Equidistribution of cusp points of Hecke triangle groups

On the geometric structures in evolutionary games on square and triangular lattices

A Structural Theorem for Sets With Few Triangles

Families of Equiangular Lines and Lattices

An equality between two towers over cubic fields

Subconvex equidistribution of cusp forms: reduction to Eisenstein observables