lattice ↗ reference
4394 papers tagged with this keyword
Toric arc schemes and $q$-enumeration of lattice points
Published
• View Publication
• BIB
We introduce a natural weighted enumeration of lattice points in a polytope, and give a Brion-type formula for the corresponding generating function. The weighting has combinatorial significance, and its generating function may be viewed as a generalization of the Rogers-Szegő polynomials. It also arises from the geometry of the toric arc scheme associated to the normal fan of the polytope. We show that the asymptotic behavior of the coefficients at $q = 1$ is Gaussian.
Perfect matching problems in cluster algebras and number theory
Published
• View Publication
• BIB
This paper is a slightly extended version of the talk I gave at the Open Problems in Algebraic Combinatorics conference at the University of Minnesota in May 2022.
We introduce two strict order relations on lattice paths and formulate several open problems. The topic is related to Markov numbers, the Lagrange spectrum, snake graphs and the cluster algebra of the once punctured torus.
Our lattice paths are required to proceed by North and East steps and never go over the diagonal. To define the order relations, we first construct a snake graph $\mathcal{G}(ω)$ and a band graph $\overline{\mathcal{G}(ω)}$ for every such lattice path $ω$. The first order relation $<_M$ is given by the number of perfect matchings of the snake graphs. The second order relation $<_L$ is given by the Lagrange number of a quadratic irrational associated to the band graph.
Vector Partition Identities for $2$D, $3$D and $n$D Lattices
We prove identities generating higher dimensional vector partitions. We derive theorems for integer lattice points in the 2D first quadrant, then generalize the approach to find 3D and $n$-space lattice point vector region extensions. We also state combinatorial identities for Visible Point Vectors in 2D up to 5D and $n$D first hyperquadrant and hyperpyramid lattices. 2D and 3D theorems for vector partitions with binary components are also derived.
Friendly paths for finite subsets of plane integer lattice. I
For a given finite subset P of points of the lattice Z^2, a friendly path is a monotone (uphill or downhill) lattice path which splits points in half; points lying on the path itself are discarded. The purpose of this paper (and its sequel) is to fully describe all configurations of n points in Z^2 which do not admit a friendly path. We say that such an n-set is inseparable. There are, up to the lattice symmetry, exactly c(n) such sets. If only lattice shifts are counted, there are ĉ(n) of them. Both sequences are new entries into OEIS (A369382 and, respectively, A367783). In particular, n=27 is the first odd numbers with c(n)=1. No example was known so far. This solves problem 11484(b)* posed in American Mathematical Monthly (February 2010). In this paper we also show that inseparable n-set exist for all even numbers n>=12 and almost all odd numbers.
Flag-accurate arrangements
In [MR21], the first two authors introduced the notion of an accurate arrangement, a particular notion of freeness. In this paper, we consider a special subclass, where the property of accuracy stems from a flag of flats in the intersection lattice of the underlying arrangement. Members of this family are called flag-accurate. One relevance of this new notion is that it entails divisional freeness. There are a number of important natural classes which are flag-accurate, the most prominent one among them is the one consisting of Coxeter arrangements. This warrants a systematic study which is put forward in the present paper. More specifically, let $\mathscr A$ be a free arrangement of rank $\ell$. Suppose that for every $1\leq d \leq \ell$, the first $d$ exponents of $\mathscr A$ -- when listed in increasing order -- are realized as the exponents of a free restriction of $\mathscr A$ to some intersection of reflecting hyperplanes of $\mathscr A$ of dimension $d$. Following [MR21], we call such an arrangement $\mathscr A$ with this natural property accurate. If in addition the flats involved can be chosen to form a flag, we call $\mathscr A$ flag-accurate. We investigate flag-accuracy among reflection arrangements, extended Shi and extended Catalan arrangements, and further for various families of graphic and digraphic arrangements. We pursue these both from theoretical and computational perspectives. Along the way we present examples of accurate arrangements that are not flag-accurate. The main result of [MR21] shows that MAT-free arrangements are accurate. We provide strong evidence for the conjecture that MAT-freeness actually entails flag-accuracy.
Bounded Littlewood identities for cylindric Schur functions
Published in Trans. Amer. Math. Soc. 378 (2025), 6765-6829
• View Publication
• BIB
The identities which are in the literature often called ``bounded Littlewood identities" are determinantal formulas for the sum of Schur functions indexed by partitions with bounded height. They have interesting combinatorial consequences such as connections between standard Young tableaux of bounded height, lattice walks in a Weyl chamber, and noncrossing matchings. In this paper we prove affine analogs of the bounded Littlewood identities. These are determinantal formulas for sums of cylindric Schur functions. We also study combinatorial aspects of these identities. As a consequence we obtain an unexpected connection between cylindric standard Young tableaux and \( r \)-noncrossing and \( s \)-nonnesting matchings.
Deep lattice points in zonotopes, lonely runners, and lonely rabbits
Published in International Mathematics Research Notices 2024, no. 8, 6553-6578
• View Publication
• BIB
Let $K \subseteq \mathbb{R}^d$ be a convex body and let $\mathbf{w} \in \operatorname{int}(K)$ be an interior point of $K$. The coefficient of asymmetry $\operatorname{ca}(K,\mathbf{w}) := \min\{ λ\geq 1 : \mathbf{w} - K \subseteq λ(K - \mathbf{w}) \}$ has been studied extensively in the realm of Hensley's conjecture on the maximal volume of a $d$-dimensional lattice polytope that contains a fixed positive number of interior lattice points. We study the coefficient of asymmetry for lattice zonotopes, i.e., Minkowski sums of line segments with integer endpoints. Our main result gives the existence of an interior lattice point whose coefficient of asymmetry is bounded above by an explicit constant in $Θ(d \log\log d)$, for any lattice zonotope that has an interior lattice point. Our work is both inspired by and feeds on Wills' lonely runner conjecture from Diophantine approximation: we make intensive use of a discrete version of this conjecture, and reciprocally, we reformulate the lonely runner conjecture in terms of the coefficient of asymmetry of a zonotope.
Weak hypergraph regularity and applications to geometric Ramsey theory
Published in Trans. Amer. Math. Soc. Ser. B 9 (2022), 160-207
• View Publication
• BIB
Let $Δ=Δ_1\times\ldots\times Δ_d\subseteq\mathbb{R}^n$, where $\mathbb{R}^n=\mathbb{R}^{n_1}\times\cdots\times\mathbb{R}^{n_d}$ with each $Δ_i\subseteq\mathbb{R}^{n_i}$ a non-degenerate simplex of $n_i$ points.
We prove that any set $S\subseteq \mathbb{R}^n$, with $n=n_1+\cdots +n_d$ of positive upper Banach density necessarily contains an isometric copy of all sufficiently large dilates of the configuration $Δ$. In particular any such set $S\subseteq \mathbb{R}^{2d}$ contains a $d$-dimensional cube of side length $λ$, for all $λ\geq λ_0(S)$.
We also prove analogous results with the underlying space being the integer lattice. The proof is based on a weak hypergraph regularity lemma and an associated counting lemma developed in the context of Euclidean spaces and the integer lattice.
Partial Motzkin paths with air pockets of the first kind avoiding peaks, valleys or double rises
Published
• View Publication
• BIB
Motzkin paths with air pockets (MAP) of the first kind are defined as a generalization of Dyck paths with air pockets. They are lattice paths in $\mathbb{N}^2$ starting at the origin made of steps $U=(1,1)$, $D_k=(1,-k)$, $k\geq 1$ and $H=(1,0)$, where two down-steps cannot be consecutive. We enumerate MAP and their prefixes avoiding peaks (resp. valleys, resp. double rise) according to the length, the type of the last step, and the height of its end-point. We express our results using Riordan arrays. Finally, we provide constructive bijections between these paths and restricted Dyck and Motzkin paths.
The minimal volume of a lattice polytope
Published in Australasian J. Combin. 85 (2023), 159--163
• Search Publication
Let $\mathcal{P} \subset \mathbb{R}^d$ be a lattice polytope of dimension $d$. Let $b$ denote the number of lattice points belonging to the boundary of $\mathcal{P}$ and $c$ that to the interior of $\mathcal{P}$. It follows from a lower bound theorem of Ehrhart polynomials that, when $c > 0$, the volume of $\mathcal{P}$ is bigger than or equal to $(dc + (d-1)b - d^2 + 2)/d!$. In the present paper, via triangulations, a short and elementary proof of the minimal volume formula is given.
Ungarian Markov Chains
Published in Electron. J. Probab. 28:1-39 (2023)
• View Publication
• BIB
We introduce the Ungarian Markov chain ${\bf U}_L$ associated to a finite lattice $L$. The states of this Markov chain are the elements of $L$. When the chain is in a state $x\in L$, it transitions to the meet of $\{x\}\cup T$, where $T$ is a random subset of the set of elements covered by $x$. We focus on estimating $\mathcal E(L)$, the expected number of steps of ${\bf U}_L$ needed to get from the top element of $L$ to the bottom element of $L$. Using direct combinatorial arguments, we provide asymptotic estimates when $L$ is the weak order on the symmetric group $S_n$ and when $L$ is the $n$-th Tamari lattice. When $L$ is distributive, the Markov chain ${\bf U}_L$ is equivalent to an instance of the well-studied random process known as last-passage percolation with geometric weights. One of our main results states that if $L$ is a trim lattice, then $\mathcal E(L)\leq\mathcal E(\text{spine}(L))$, where $\text{spine}(L)$ is a specific distributive sublattice of $L$ called the spine of $L$. Combining this lattice-theoretic theorem with known results about last-passage percolation yields a powerful method for proving upper bounds for $\mathcal E(L)$ when $L$ is trim. We apply this method to obtain uniform asymptotic upper bounds for the expected number of steps in the Ungarian Markov chains of Cambrian lattices of classical types and the Ungarian Markov chains of $ν$-Tamari lattices.
On lattice tilings of $\mathbb{Z}^{n}$ by limited magnitude error balls $\mathcal{B}(n,2,1,1)$
Published
• View Publication
• BIB
Limited magnitude error model has applications in flash memory. In this model, a perfect code is equivalent to a tiling of $\mathbb{Z}^n$ by limited magnitude error balls. In this paper, we give a complete classification of lattice tilings of $\mathbb{Z}^n$ by limited magnitude error balls $\mathcal{B}(n,2,1,1)$.
A "network of networks" (from history to algebra)
Recall first the algebraic treatment of flows or tensions in a transportation network $N$, i.e. a connected antisymmetric 1-graph $G(X, U)$. Assume that, unusually, we take the values of flows (resp. tensions) in $\mathbb{C}$. So the algebraic lattices $Γ$ of flow (resp. tension) values associated to $G(X, U)$ are lattices of $\mathbb{C}$. These lattices are congruent modulo the action of the special linear group SL($2, \mathbb{C}$). Then, it is well known one can define a lattice function $G_{k}(Γ)$, as a modular function of weight $2k$, on the set $\mathcal{R}$ of all lattices of $\mathbb{C}$. Let now $N_{1}, N_{2}, ..., N_{p}$ be connected antisymmetric 1-graphs and $C_{n}$, the set of hermitian symmetric matrices $n \times n$. Let also $\mathcal{R'} $ be the set of all the lattices of $C_{n}$. The previous structure can be transposed to any $ n \times n $ symmetric hermitian matrices of flow (or tension) values of the $G_{i}$. In this case, the Siegel space $S_{n}= C_{n}$ replaces the Poincaré half-plane, and the symplectic group Sp$(2n, \mathbb{R})$ takes the place of the special linear group SL($2, \mathbb{C}$). We get now the new lattice function as a function of all the lattices of $S_{n}$, i.e. a model of the "network of networks" $\mathcal{R'}$. In the end, we study the tree of minimal length of $\mathcal{R'}$.
New universal partizan rulesets and a new universal dicotic partisan ruleset
Universal partizan ruleset is a ruleset in which every game value of partizan games can be appear as a position. So far, generalized konane and turning tiles have been proved to be universal partizan rulesets. In this paper, we introduce two rulesets go on lattice and beyond the door and prove that they are universal partizan rulesets by using game tree preserving reduction. Further, we consider dicotic version of beyond the door, and we prove the ruleset is a universal partisan dicotic ruleset.
On Helly numbers of exponential lattices
Published
• View Publication
• BIB
Given a set $S \subseteq \mathbb{R}^2$, define the \emph{Helly number of $S$}, denoted by $H(S)$, as the smallest positive integer $N$, if it exists, for which the following statement is true: for any finite family $\mathcal{F}$ of convex sets in~$\mathbb{R}^2$ such that the intersection of any $N$ or fewer members of~$\mathcal{F}$ contains at least one point of $S$, there is a point of $S$ common to all members of $\mathcal{F}$.
We prove that the Helly numbers of \emph{exponential lattices} $\{α^n \colon n \in \mathbb{N}_0\}^2$ are finite for every $α>1$ and we determine their exact values in some instances. In particular, we obtain $H(\{2^n \colon n \in \mathbb{N}_0\}^2)=5$, solving a problem posed by Dillon (2021).
For real numbers $α, β> 1$, we also fully characterize exponential lattices $L(α,β) = \{α^n \colon n \in \mathbb{N}_0\} \times \{β^n \colon n \in \mathbb{N}_0\}$ with finite Helly numbers by showing that $H(L(α,β))$ is finite if and only if $\log_α(β)$ is rational.
An integer parallelotope with small surface area
Published
• View Publication
• BIB
We prove that for any $n\in \mathbb{N}$ there is a convex body $K\subseteq \mathbb{R}^n$ whose surface area is at most $n^{\frac12+o(1)}$, yet the translates of $K$ by the integer lattice $\mathbb{Z}^n$ tile $\mathbb{R}^n$.
Normally located polyhedra
Lattice polyhedra $Q_1$ and $Q_2$ with the same tail cone are said to be normally located if every lattice point in the Minkowski sum $Q_1+Q_2$ is the sum of lattice points from $Q_1$ and $Q_2$, respectively. We prove that if the normal fan of $Q_1$ refines the normal fan of $Q_2$, then there is a positive integer $k$ such that for any positive integer $s$ the polyhedra $skQ_1$ and $skQ_2$ are normally located. This result is based on an interpretation of the problem in terms of graded algebras and earlier results on surjectivity of the multiplicaiton map on homogeneous components. Also we provide an example of two lattice triangles $P$ and $Q$ on the plane such that for any positive integer $k$ the triangles $kP$ and $kQ$ are not normally located.
Measuring the Space of Metaplectic Whittaker Functions
Whittaker functions are special functions that arise in $p$-adic number theory and representation theory. They may be defined on representations of reductive groups as well as their metaplectic covering groups: fascinatingly, many of their number theoretic applications survive the transition between the reductive and metaplectic cases. However, one notable difference is that the space of Whittaker functions on a reductive group over a nonarchimedean local field $F$ is one-dimensional, whereas this is no longer true in the metaplectic case. In a previous paper, the second author showed that the dimension of the space of Whittaker functions on an arbitrary $n$-fold metaplectic cover of $GL_r(F)$ can be counted in terms of the number of solutions to a particular system of linear Diophantine equations in terms of $n$ and $r$. In this paper, we calculate two precise formulae for $\dim(\mathfrak{W})$, one inspired by viewing this system as a homogenous specialization of an inhomogenous system and the other by the structure of the coroot lattice of $GL_r(F)$. Then we use these formulae to investigate a homomorphism between $\mathfrak{W}$ and a particular quantum group module, built by the second author in a previous paper, and show precisely when this map is well-defined for any choice of basis for $\mathfrak{W}$.
Quantum Annealing vs. QAOA: 127 Qubit Higher-Order Ising Problems on NISQ Computers
Published in International Conference on High Performance Computing (ISC HPC), 2023, pp. 240--258
• View Publication
• BIB
Quantum annealing (QA) and Quantum Alternating Operator Ansatz (QAOA) are both heuristic quantum algorithms intended for sampling optimal solutions of combinatorial optimization problems. In this article we implement a rigorous direct comparison between QA on D-Wave hardware and QAOA on IBMQ hardware. These two quantum algorithms are also compared against classical simulated annealing. The studied problems are instances of a class of Ising models, with variable assignments of $+1$ or $-1$, that contain cubic $ZZZ$ interactions (higher order terms) and match both the native connectivity of the Pegasus topology D-Wave chips and the heavy hexagonal lattice of the IBMQ chips. The novel QAOA implementation on the heavy hexagonal lattice has a CNOT depth of $6$ per round and allows for usage of an entire heavy hexagonal lattice. Experimentally, QAOA is executed on an ensemble of randomly generated Ising instances with a grid search over $1$ and $2$ round angles using all 127 programmable superconducting transmon qubits of ibm_washington. The error suppression technique digital dynamical decoupling is also tested on all QAOA circuits. QA is executed on the same Ising instances with the programmable superconducting flux qubit devices D-Wave Advantage_system4.1 and Advantage_system6.1 using modified annealing schedules with pauses. We find that QA outperforms QAOA on all problem instances. We also find that dynamical decoupling enables 2-round QAOA to marginally outperform 1-round QAOA, which is not the case without dynamical decoupling.
Odd and even Fibonacci lattices arising from a Garside monoid
Published
• View Publication
• BIB
We study two families of lattices whose number of elements are given by the numbers in even (respectively odd) positions in the Fibonacci sequence. The even Fibonacci lattice arises as the lattice of simple elements of a Garside monoid partially ordered by left-divisibility, and the odd Fibonacci lattice is an order ideal in the even one. We give a combinatorial proof of the lattice property, relying on a description of words for the Garside element in terms of Schröder trees, and on a recursive description of the even Fibonacci lattice. This yields an explicit formula to calculate meets and joins in the lattice. As a byproduct we also obtain that the number of words for the Garside element is given by a little Schröder number.