lattice
4310 papers tagged with this keyword
An elementary approach to toy models for D. H. Lehmer's conjecture
Published in Izv. Ross. Akad. Nauk Ser. Mat. 75 (2011), no. 6, 3-16; translation in Izv. Math. 75 (2011), no. 6, 1093-1106
• View Publication
• BIB
In 1947, Lehmer conjectured that the Ramanujan's tau function $τ(m)$ never vanishes for all positive integers $m$, where $τ(m)$ is the $m$-th Fourier coefficient of the cusp form $Δ_{24}$ of weight 12. The theory of spherical $t$-design is closely related to Lehmer's conjecture because it is shown, by Venkov, de la Harpe, and Pache, that $τ(m)=0$ is equivalent to the fact that the shell of norm $2m$ of the $E_{8}$-lattice is a spherical 8-design. So, Lehmer's conjecture is reformulated in terms of spherical $t$-design.
Lehmer's conjecture is difficult to prove, and still remains open. However, Bannai-Miezaki showed that none of the nonempty shells of the integer lattice $\ZZ^2$ in $\RR^2$ is a spherical 4-design, and that none of the nonempty shells of the hexagonal lattice $A_2$ is a spherical 6-design. Moreover, none of the nonempty shells of the integer lattices associated to the algebraic integers of imaginary quadratic fields whose class number is either 1 or 2, except for $\QQ(\sqrt{-1})$ and $\QQ(\sqrt{-3})$ is a spherical 2-design. In the proof, the theory of modular forms played an important role.
Recently, Yudin found an elementary proof for the case of $\ZZ^{2}$-lattice which does not use the theory of modular forms but uses the recent results of Calcut. In this paper, we give the elementary (i.e., modular form free) proof and discuss the relation between Calcut's results and the theory of imaginary quadratic fields.
An aperiodic hexagonal tile
Published in Journal of Combinatorial Theory, Series A 118 (2011) pp. 2207-2231
• View Publication
• BIB
We show that a single prototile can fill space uniformly but not admit a periodic tiling. A two-dimensional, hexagonal prototile with markings that enforce local matching rules is proven to be aperiodic by two independent methods. The space--filling tiling that can be built from copies of the prototile has the structure of a union of honeycombs with lattice constants of $2^n a$, where $a$ sets the scale of the most dense lattice and $n$ takes all positive integer values. There are two local isomorphism classes consistent with the matching rules and there is a nontrivial relation between these tilings and a previous construction by Penrose. Alternative forms of the prototile enforce the local matching rules by shape alone, one using a prototile that is not a connected region and the other using a three--dimensional prototile.
A Fourier-analytic Approach to Counting Partial Hadamard Matrices
Published
• View Publication
• BIB
In this paper, we study a family of lattice walks which are related to the Hadamard conjecture. There is a bijection between paths of these walks which originate and terminate at the origin and equivalence classes of partial Hadamard matrices. Therefore, the existence of partial Hadamard matrices can be proved by showing that there is positive probability of a random walk returning to the origin after a specified number of steps. Moreover, the number of these designs can be approximated by estimating the return probabilities. We use the inversion formula for the Fourier transform of the random walk to provide such estimates. We also include here an upper bound, derived by elementary methods, on the number of partial Hadamard.
Rotor-router aggregation on the layered square lattice
Published in Elect. J. Combin. 17(1) #R152 (2010)
• View Publication
• BIB
In rotor-router aggregation on the square lattice Z^2, particles starting at the origin perform deterministic analogues of random walks until reaching an unoccupied site. The limiting shape of the cluster of occupied sites is a disk. We consider a small change to the routing mechanism for sites on the x- and y-axes, resulting in a limiting shape which is a diamond instead of a disk. We show that for a certain choice of initial rotors, the occupied cluster grows as a perfect diamond.
Chamber Structure of Double Hurwitz numbers
Published
• View Publication
• BIB
Double Hurwitz numbers count covers of the projective line by genus g curves with assigned ramification profiles over 0 and infinity, and simple ramification over a fixed branch divisor. Goulden, Jackson and Vakil have shown double Hurwitz numbers are piecewise polynomial in the orders of ramification, and Shadrin, Shapiro and Vainshtein have determined the chamber structure and wall crossing formulas for g=0. This paper gives a unified approach to these results and strengthens them in several ways --- the most important being the extension of the results of Shapiro, Shadrin and Vainshtein to arbitrary genus. The main tool is the authors' previous work expressing double Hurwitz number as a sum over certain labeled graphs. We identify the labels of the graphs with lattice points in the chambers of certain hyperplane arrangements, which are well known to give rise to piecewise polynomial functions. Our understanding of the wall crossing for these functions builds on the work of Varchenko, and could have broader applications.
Ideals of Graph Homomorphisms
In combinatorial commutative algebra and algebraic statistics many toric ideals are constructed from graphs. Keeping the categorical structure of graphs in mind we give previous results a more functorial context and generalize them by introducing the ideals of graph homomorphisms. For this new class of ideals we investigate how the topology of the graphs influence the algebraic properties. We describe explicit Grobner bases for several classes, generalizing results by Hibi, Sturmfels and Sullivant. One of our main tools is the toric fiber product, and we employ results by Engstrom, Kahle and Sullivant. The lattice polytopes defined by our ideals include important classes in optimization theory, as the stable set polytopes.
On the non-ergodicity of the Swendsen-Wang-Kotecky algorithm on the kagome lattice
Published in J.Stat.Mech.1005:P05016,2010
• View Publication
• BIB
We study the properties of the Wang-Swendsen-Kotecky cluster Monte Carlo algorithm for simulating the 3-state kagome-lattice Potts antiferromagnet at zero temperature. We prove that this algorithm is not ergodic for symmetric subsets of the kagome lattice with fully periodic boundary conditions: given an initial configuration, not all configurations are accessible via Monte Carlo steps. The same conclusion holds for single-site dynamics.
Generalized Ehrhart polynomials
Published in Trans. Amer. Math. Soc. 364 (2012), 551-569
• View Publication
• BIB
Let $P$ be a polytope with rational vertices. A classical theorem of Ehrhart states that the number of lattice points in the dilations $P(n) = nP$ is a quasi-polynomial in $n$. We generalize this theorem by allowing the vertices of P(n) to be arbitrary rational functions in $n$. In this case we prove that the number of lattice points in P(n) is a quasi-polynomial for $n$ sufficiently large. Our work was motivated by a conjecture of Ehrhart on the number of solutions to parametrized linear Diophantine equations whose coefficients are polynomials in $n$, and we explain how these two problems are related.
Transfer matrices and partition-function zeros for antiferromagnetic Potts models. VI. Square lattice with special boundary conditions
Published in J. Statist. Phys. 144 (2011) 1028-1122
• View Publication
• BIB
We study, using transfer-matrix methods, the partition-function zeros of the square-lattice q-state Potts antiferromagnet at zero temperature (= square-lattice chromatic polynomial) for the special boundary conditions that are obtained from an m x n grid with free boundary conditions by adjoining one new vertex adjacent to all the sites in the leftmost column and a second new vertex adjacent to all the sites in the rightmost column. We provide numerical evidence that the partition-function zeros are becoming dense everywhere in the complex q-plane outside the limiting curve B_\infty(sq) for this model with ordinary (e.g. free or cylindrical) boundary conditions. Despite this, the infinite-volume free energy is perfectly analytic in this region.
Topological representation of matroids from diagrams of spaces
Swartz proved that any matroid can be realized as the intersection lattice of an arrangement of codimension one homotopy spheres on a sphere. This was an unexpected extension from the oriented matroid case, but unfortunately the construction is not explicit. Anderson later provided an explicit construction, but had to use cell complexes of high dimensions that are homotopy equivalent to lower dimensional spheres.
Using diagrams of spaces we give an explicit construction of arrangements in the right dimensions. Swartz asked if it is possible to arrange spheres of codimension two, and we provide a construction for any codimension. We also show that all matroids, and not only tropical oriented matroids, have a pseudo-tropical representation.
We determine the homotopy type of all the constructed arrangements.
Sum-integral interpolators and the Euler-Maclaurin formula for polytopes
Published
• View Publication
• BIB
A local lattice point counting formula, and more generally a local Euler-Maclaurin formula follow by comparing two natural families of meromorphic functions on the dual of a rational vector space $V$, namely the family of exponential sums (S) and the family of exponential integrals (I) parametrized by the set of rational polytopes in $V$. The paper introduces the notion of an interpolator between these two families of meromorphic functions. We prove that every rigid complement map in $V$ gives rise to an effectively computable \SI-interpolator (and a local Euler-MacLaurin formula), an \IS-interpolator (and a reverse local Euler-MacLaurin formula) and an \ISo-interpolator. Rigid complement maps can be constructed by choosing an inner product on $V$ or by choosing a complete flag in $V$. The corresponding interpolators generalize and unify the work of Berline-Vergne, Pommersheim-Thomas, and Morelli.
A second look at the toric h-polynomial of a cubical complex
Published in Ann. Comb. 16 (2012), no. 3, 517-541
• View Publication
• BIB
We provide an explicit formula for the toric $h$-contribution of each cubical shelling component, and a new combinatorial model to prove Clara Chan's result on the non-negativity of these contributions. Our model allows for a variant of the Gessel-Shapiro result on the $g$-polynomial of the cubical lattice, this variant may be shown by simple inclusion-exclusion. We establish an isomorphism between our model and Chan's model and provide a reinterpretation in terms of noncrossing partitions. By discovering another variant of the Gessel-Shapiro result in the work of Denise and Simion, we find evidence that the toric $h$-polynomials of cubes are related to the Morgan-Voyce polynomials via Viennot's combinatorial theory of orthogonal polynomials.
The boundary volume of a lattice polytope
Published in Bulletin of the Australian Mathematical Society, 85 (2012), 84-104
• View Publication
• BIB
For a d-dimensional convex lattice polytope P, a formula for the boundary volume is derived in terms of the number of boundary lattice points on the first $\floor{d/2}$ dilations of P. As an application we give a necessary and sufficient condition for a polytope to be reflexive, and derive formulae for the f-vector of a smooth polytope in dimensions 3, 4, and 5. We also give applications to reflexive order polytopes, and to the Birkhoff polytope.
Newton's Inequalities on a Lattice
Functions that satisfy the Hadamard Fisher Inequalities also satisfy Newton's Inequalities
Linear equations for the number of intervals which are isomorphic with Boolean lattices and the Dehn--Sommerville equations
Let $P$ be a finite poset. Let $L:=J(P)$ denote the lattice of order ideals of $P$. Let $b_i(L)$ denote the number of Boolean intervals of $L$ of rank $i$. We construct a simple graph $G(P)$ from our poset $P$. Denote by $f_i(P)$ the number of the cliques $K_{i+1}$, contained in the graph $G(P)$. Our main results are some linear equations connecting the numbers $f_i(P)$ and $b_i(L)$. We reprove the Dehn--Sommerville equations for simplicial polytopes. In our proof we use free resolutions and the theory of Stanley--Reisner rings.
The surface of a lattice polytope
My main results are simple formulas for the surface area of d-dimensional lattice polytopes using Ehrhart theory.
On vertex operator realizations of Jack functions
Published in J. of Alg. Combin. 32 (2010), 579-595
• View Publication
• BIB
On the vertex operator algebra associated with rank one lattice we derive a general formula for products of vertex operators in terms of generalized homogeneous symmetric functions. As an application we realize Jack symmetric functions of rectangular shapes as well as marked rectangular shapes.
A Lattice Point Problem on the Regular Tree
Published
• View Publication
• BIB
Heinz Huber (1956) considered the following problem on the the hyperbolic plane H. Consider a strictly hyperbolic subgroup of automorphisms on H with compact quotient, and choose a conjugacy class in this group. Count the number of vertices inside an increasing ball, which are images of a fixed point x in H under automorphisms in the chosen conjugacy class, and describe the asymptotic behaviour of this number as the size of the ball goes to infinity. We use a well-known analogy between the hyperbolic plane and the regular tree to solve this problem on the regular tree.
Supersolvable lattices of $J$-classes
The purpose of this article is to investigate the combinatorial properties of the cross section lattice of a $J$-irreducible monoid associated with a semisimple algebraic group of one of the types $A_n$, $B_n$, or $C_n$. Our main tool is a theorem of Putcha and Renner which identifies the cross section lattice in the Boolean lattice of subsets of the nodes of a Dynkin diagram. We determine the join irreducibles of the cross section lattice. Exploiting this we find characterizations of the relatively complemented intervals. By a result of Putcha, this determines the Möbius function for $Λ$. We show that an interval of the cross section lattice is Boolean if and only if it is relatively complemented if and only if it is atomic. We characterize distributive cross section lattices, showing that they are products of chains. We determine which cross section lattices are supersolvable, and furthermore, we compute the characteristic polynomials of these supersolvable cross section lattices. At the end of the article we indicate some future research directions.
The absolute order on the hyperoctahedral group
Published
• View Publication
• BIB
The absolute order on the hyperoctahedral group $B_n$ is investigated. It is proved that the order ideal of this poset generated by the Coxeter elements is homotopy Cohen-Macaulay and the Möbius number of this ideal is computed. Moreover, it is shown that every closed interval in the absolute order on $B_n$ is shellable and an example of a non-Cohen-Macaulay interval in the absolute order on $D_4$ is given. Finally, the closed intervals in the absolute order on $B_n$ and $D_n$ which are lattices are characterized and some of their important enumerative invariants are computed.