lattice
4310 papers tagged with this keyword
Construction of some perfect integral lattices with minimum 4
Published
• View Publication
• BIB
We construct several families of perfect sublattices with minimum $4$ of $\mathbb Z^d$. In particular, the number of $d-$dimensional perfect integral lattices with minimum $4$ grows faster than $d^k$ for every exponent $k$.
Explicit Deformation of Lattice Ideals via Chip Firing Games on Directed Graphs
Published
• View Publication
• BIB
For a finite index sublattice $L$ of the root lattice $A_{n}$, we construct a deterministic algorithm to deform the lattice ideal $I_L$ to a nearby generic lattice ideal, answering a question posed by Miller and Sturmfels. Our algorithm is based on recent results of Perkinson, Perlman and Wilmes concerning commutative algebraic aspects of chip firing on directed graphs. As an application of our deformation algorithm, we construct a cellular resolution of the lattice ideal $I_L$ by degenerating the Scarf complex of its deformation.
Planar stochastic hyperbolic infinite triangulations
Published
• View Publication
• BIB
Pursuing the approach of Angel & Ray, we introduce and study a family of random infinite triangulations of the full-plane that satisfy a natural spatial Markov property. These new random lattices naturally generalize Angel & Schramm's Uniform Infinite Planar Triangulation (UIPT) and are hyperbolic in flavor. We prove that they exhibit a sharp exponential volume growth, are non-Liouville, and that the simple random walk on them has positive speed almost surely. We conjecture that these infinite triangulations are the local limits of uniform triangulations whose genus is proportional to the size.
Scheduling Problems
Published
• View Publication
• BIB
We introduce the notion of a scheduling problem which is a boolean function $S$ over atomic formulas of the form $x_i \leq x_j$. Considering the $x_i$ as jobs to be performed, an integer assignment satisfying $S$ schedules the jobs subject to the constraints of the atomic formulas. The scheduling counting function counts the number of solutions to $S$. We prove that this counting function is a polynomial in the number of time slots allowed. Scheduling polynomials include the chromatic polynomial of a graph, the zeta polynomial of a lattice, the Billera-Jia-Reiner polynomial of a matroid.
To any scheduling problem, we associate not only a counting function for solutions, but also a quasisymmetric function and a quasisymmetric function in non-commuting variables. These scheduling functions include the chromatic symmetric functions of Sagan, Gebhard, and Stanley, and a close variant of Ehrenborg's quasisymmetric function for posets.
Geometrically, we consider the space of all solutions to a given scheduling problem. We extend a result of Steingrímmson by proving that the $h$-vector of the space of solutions is given by a shift of the scheduling polynomial. Furthermore, under certain niceness conditions on the defining boolean function, we prove partitionability of the space of solutions and positivity of fundamental expansions of the scheduling quasisymmetric functions and of the $h$-vector of the scheduling polynomial.
The Milnor fibration of a hyperplane arrangement: from modular resonance to algebraic monodromy
Published in Proceedings of the London Mathematical Society 114 (2017), no. 6, 961-1004
• View Publication
• BIB
A central question in arrangement theory is to determine whether the characteristic polynomial $Δ_q$ of the algebraic monodromy acting on the homology group $H_q(F(\mathcal{A}),\mathbb{C})$ of the Milnor fiber of a complex hyperplane arrangement $\mathcal{A}$ is determined by the intersection lattice $L(\mathcal{A})$. Under simple combinatorial conditions, we show that the multiplicities of the factors of $Δ_1$ corresponding to certain eigenvalues of order a power of a prime $p$ are equal to the Aomoto--Betti numbers $β_p(\mathcal{A})$, which in turn are extracted from $L(\mathcal{A})$. When $\mathcal{A}$ defines an arrangement of projective lines with only double and triple points, this leads to a combinatorial formula for the algebraic monodromy. To obtain these results, we relate nets on the underlying matroid of $\mathcal{A}$ to resonance varieties in positive characteristic. Using modular invariants of nets, we find a new realizability obstruction (over $\mathbb{C}$) for matroids, and we estimate the number of essential components in the first complex resonance variety of $\mathcal{A}$. Our approach also reveals a rather unexpected connection of modular resonance with the geometry of ${\rm SL}_2(\mathbb{C})$-representation varieties, which are governed by the Maurer--Cartan equation.
Equivariant lattice generators and Markov bases
Published in Proc. ISSAC '14 (2014) 264-271
• View Publication
• BIB
It has been shown recently that monomial maps in a large class respecting the action of the infinite symmetric group have, up to symmetry, finitely generated kernels. We study the simplest nontrivial family in this class: the maps given by a single monomial. Considering the corresponding lattice map, we explicitly construct an equivariant lattice generating set, whose width (the number of variables necessary to write it down) depends linearly on the width of the map. This result is sharp and improves dramatically the previously known upper bound as it does not depend on the degree of the image monomial. In the case of of width two, we construct an explicit finite set of binomials generating the toric ideal up to symmetry. Both width and degree of this generating set are sharply bounded by linear functions in the exponents of the monomial.
Voronoi Polytopes for Polyhedral Norms on Lattices
Published
• View Publication
• BIB
A polyhedral norm is a norm N on R^n for which the set N(x)\leq 1 is a polytope. This covers the case of the L^1 and L^{\infty} norms. We consider here effective algorithms for determining the Voronoi polytope for such norms with a point set being a lattice. The algorithms, that we propose, use the symmetries effectively in order to compute a decomposition of the space into convex polytopes named {\em $VN$-spaces}. The Voronoi polytopes and other geometrical information are easily obtained from it.
Coefficients of Sylvester's Denumerant
Published in INTEGERS, vol 15 (2005), A11
• View Publication
• BIB
For a given sequence $\mathbfα = [α_1,α_2,\dots,α_{N+1}]$ of $N+1$ positive integers, we consider the combinatorial function $E(\mathbfα)(t)$ that counts the nonnegative integer solutions of the equation $α_1x_1+α_2 x_2+\cdots+α_{N} x_{N}+α_{N+1}x_{N+1}=t$, where the right-hand side $t$ is a varying nonnegative integer. It is well-known that $E(\mathbfα)(t)$ is a quasi-polynomial function in the variable $t$ of degree $N$. In combinatorial number theory this function is known as Sylvester's denumerant.
Our main result is a new algorithm that, for every fixed number $k$, computes in polynomial time the highest $k+1$ coefficients of the quasi-polynomial $E(\mathbfα)(t)$ as step polynomials of $t$ (a simpler and more explicit representation). Our algorithm is a consequence of a nice poset structure on the poles of the associated rational generating function for $E(\mathbfα)(t)$ and the geometric reinterpretation of some rational generating functions in terms of lattice points in polyhedral cones. Our algorithm also uses Barvinok's fundamental fast decomposition of a polyhedral cone into unimodular cones. This paper also presents a simple algorithm to predict the first non-constant coefficient and concludes with a report of several computational experiments using an implementation of our algorithm in LattE integrale. We compare it with various Maple programs for partial or full computation of the denumerant.
A Distributive Lattice Connected with Arithmetic Progressions of Length Three
Published
• View Publication
• BIB
Let $\mathcal{T}$ be a collection of 3-element subsets $S$ of $\{1, \ldots,n\}$ with the property that if $i<j<k$ and $a<b<c$ are two 3-element subsets in $S$, then there exists an integer sequence $x_1 < x_2 < \cdots < x_n$ such that $x_i, x_j, x_k$ and $x_a, x_b, x_c$ are arithmetic progressions. We determine the number of such collections $\mathcal{T}$ and the number of them of maximum size. These results confirm two conjectures of Noam Elkies.
Structural Properties of the Cambrian Semilattices -- Consequences of Semidistributivity
The $γ$-Cambrian semilattices $\mathcal{C}_γ$ defined by Reading and Speyer are a family of meet-semilattices associated with a Coxeter group $W$ and a Coxeter element $γ\in W$, and they are lattices if and only if $W$ is finite. In the case where $W$ is the symmetric group $\mathfrak{S}_{n}$ and $γ$ is the long cycle $(1\;2\;\ldots\;n)$ the corresponding $γ$-Cambrian lattice is isomorphic to the well-known Tamari lattice $\mathcal{T}_{n}$. Recently, Kallipoliti and the author have investigated $\mathcal{C}_γ$ from a topological viewpoint, and showed that many properties of the Tamari lattices can be generalized nicely. In the present article this investigation is continued on a structural level using the observation of Reading and Speyer that $\mathcal{C}_γ$ is semidistributive. First we prove that every closed interval of $\mathcal{C}_γ$ is a bounded-homomorphic image of a free lattice (in fact it is a so-called $\mathcal{H\!H}$-lattice). Subsequently we prove that each closed interval of $\mathcal{C}_γ$ is trim, we determine its breadth, and we characterize the closed intervals that are dismantlable.
Permutations sortable by two stacks in parallel and quarter plane walks
Published in Europ. J. Combin. 43 (2015) p. 131-164
• View Publication
• BIB
At the end of the 1960s, Knuth characterised the permutations that can be sorted using a stack in terms of forbidden patterns. He also showed that they are in bijection with Dyck paths and thus counted by the Catalan numbers. Subsequently, Even \& Itai, Pratt and Tarjan studied permutations that can be sorted using two stacks in parallel. This problem is significantly harder. In particular, a sortable permutation can now be sorted by several distinct sequences of stack operations. Moreover, in order to be sortable, a permutation must avoid infinitely many patterns. The associated counting question has remained open for 40 years. We solve it by giving a pair of functional equations that characterise the generating function of permutations that can be sorted with two parallel stacks. The first component of this system describes the generating function Q(a,u) of square lattice loops confined to the positive quadrant, counted by the length and the number of North-West and East-South factors. Our analysis of the asymptotic number of sortable permutations relies at the moment on two intriguing conjectures dealing with the series Q(a,u). We prove that they hold for loops confined to the upper half plane, or not confined at all. They remain open for quarter plane loops. Given the recent activity on walks confined to cones, we believe them to be attractive per se.
Harmonic functions on the lattice: Absolute monotonicity and propagation of smallness
Published in Duke Math. J. 164, no. 13 (2015), 2577-2595
• View Publication
• BIB
In this work we establish a connection between two classical notions, unrelated so far: Harmonic functions on the one hand and absolutely monotonic functions on the other hand. We use this to prove convexity type and propagation of smallness results for harmonic functions on the lattice.
Computing the Tutte Polynomial of Lattice Path Matroids Using Determinantal Circuits
Published
• View Publication
• BIB
We give a quantum-inspired $O(n^4)$ algorithm computing the Tutte polynomial of a lattice path matroid, where $n$ is the size of the ground set of the matroid. Furthermore, this can be improved to $O(n^2)$ arithmetic operations if we evaluate the Tutte polynomial on a given input, fixing the values of the variables. The best existing algorithm, found in 2004, was $O(n^5)$, and the problem has only been known to be polynomial time since 2003. Conceptually, our algorithm embeds the computation in a determinant using a recently demonstrated equivalence of categories useful for counting problems such as those that appear in simulating quantum systems.
A determinant representation for generalized ballot and Fuss-Catalan numbers
In this note we introduce a determinant and then give its evaluating formula. The determinant turns out to be a generalization of the well-known ballot and Fuss-Catalan numbers, which is believed to be new. The evaluating formula is proved by showing that the determinant coincides with the number of lattice paths with (1,0), (0,1)-steps in the plane that stay below a boundary line of rational slope.
Constructing $7$-clusters
Published
• View Publication
• BIB
A set of $n$-lattice points in the plane, no three on a line and no four on a circle, such that all pairwise distances and all coordinates are integral is called an $n$-cluster (in $\mathbb{R}^2$). We determine the smallest existent $7$-cluster with respect to its diameter. Additionally we provide a toolbox of algorithms which allowed us to computationally locate over 1000 different $7$-clusters, some of them having huge integer edge lengths. On the way, we exhaustively determined all Heronian triangles with largest edge length up to $6\cdot 10^6$.
The $m$-Cover Posets and Their Applications
Published in Advances in Applied Mathematics 69 (2015), pages 65-108
• View Publication
• BIB
In this article we introduce the $m$-cover poset of an arbitrary bounded poset $\mathcal{P}$, which is a certain subposet of the $m$-fold direct product of $\mathcal{P}$ with itself. Its ground set consists of multichains of $\mathcal{P}$ that contain at most three different elements, one of which has to be the least element of $\mathcal{P}$, and the other two elements have to form a cover relation in $\mathcal{P}$. We study the $m$-cover poset from a structural and topological point of view. In particular, we characterize the posets whose $m$-cover poset is a lattice for all $m>0$, and we characterize the special cases, where these lattices are EL-shellable, left-modular, or trim. Subsequently, we investigate the $m$-cover poset of the Tamari lattice $\mathcal{T}_{n}$, and we show that the smallest lattice that contains the $m$-cover poset of $\mathcal{T}_{n}$ is isomorphic to the $m$-Tamari lattice $\mathcal{T}_{n}^{(m)}$ introduced by Bergeron and Préville-Ratelle. We conclude this article with a conjectural desription of an explicit realization of $\mathcal{T}_{n}^{(m)}$ in terms of $m$-tuples of Dyck paths.
The spectrum and toughness of regular graphs
In 1995, Brouwer proved that the toughness of a connected $k$-regular graph $G$ is at least $k/λ-2$, where $λ$ is the maximum absolute value of the non-trivial eigenvalues of $G$. Brouwer conjectured that one can improve this lower bound to $k/λ-1$ and that many graphs (especially graphs attaining equality in the Hoffman ratio bound for the independence number) have toughness equal to $k/λ$. In this paper, we improve Brouwer's spectral bound when the toughness is small and we determine the exact value of the toughness for many strongly regular graphs attaining equality in the Hoffman ratio bound such as Lattice graphs, Triangular graphs, complements of Triangular graphs and complements of point-graphs of generalized quadrangles. For all these graphs with the exception of the Petersen graph, we confirm Brouwer's intuition by showing that the toughness equals $k/(-λ_{min})$, where $λ_{min}$ is the smallest eigenvalue of the adjacency matrix of the graph.
Coincidences of a shifted hexagonal lattice and the hexagonal packing
Published in Acta Phys. Pol. A, 126 (2014) no. 2, 516-519
• View Publication
• BIB
A geometric study of twin and grain boundaries in crystals and quasicrystals is achieved via coincidence site lattices (CSLs) and coincidence site modules (CSMs), respectively. Recently, coincidences of shifted lattices and multilattices (i.e. finite unions of shifted copies of a lattice) have been investigated. Here, we solve the coincidence problem for a shifted hexagonal lattice. This result allows us to analyze the coincidence isometries of the hexagonal packing by viewing the hexagonal packing as a multilattice.
Rigorous Confidence Intervals on Critical Thresholds in 3 Dimensions
Published
• View Publication
• BIB
We extend the method of Balister, Bollobás and Walters for determining rigorous confidence intervals for the critical threshold of two dimensional lattices to three (and higher) dimensional lattices. We describe a method for determining a full confidence interval and apply it to show that the critical threshold for bond percolation on the simple cubic lattice is between 0.2485 and 0.2490 with 99.9999% confidence, and the critical threshold for site percolation on the same lattice is between 0.3110 and 0.3118 with 99.9999% confidence.
A Heyting Algebra on Dyck Paths of Type $A$ and $B$
Published in Order 34 (2017), pages 327-348
• View Publication
• BIB
In this article we investigate the lattices of Dyck paths of type $A$ and $B$ under dominance order, and explicitly describe their Heyting algebra structure. This means that each Dyck path of either type has a relative pseudocomplement with respect to some other Dyck path of the same type. While the proof that this lattice forms a Heyting algebra is quite straightforward, the explicit computation of the relative pseudocomplements using the lattice-theoretic definition is quite tedious. We give a combinatorial description of the Heyting algebra operations join, meet, and relative pseudocomplement in terms of height sequences, and we use these results to derive formulas for pseudocomplements and to characterize the regular elements in these lattices.