lattice
4310 papers tagged with this keyword
Dedekind's Transposition Principle for lattices of equivalence relations
We prove a version of Dedekind's Transposition Principle that holds in lattices of equivalence relations.
On the Existence of Frames of Some Extremal Odd Unimodular Lattices and Self-Dual Zk-Codes
For some extremal (optimal) odd unimodular lattices L in dimensions n=12,16,20,32,36,40 and 44, we determine all positive integers k such that L contains a k-frame. This result yields the existence of an extremal Type I Zk-code of lengths 12,16,20,32,36,40 and 44 and a near-extremal Type I Zk-code of length 28 for positive integers k with only a few exceptions.
Finiteness of the polyhedral Q-codegree spectrum
Published
• View Publication
• BIB
In this paper we show that the spectrum of the Q-codegree of a d-dimensional lattice polytope is finite above any positive threshold in the class of lattice polytopes with α-canonical normal fan for any fixed α>0. For α=1/r this includes lattice polytopes with Q-Gorenstein normal fan of index r. In particular, this proves Fujita's Spectrum Conjecture for polarized varieties in the case of Q-Gorenstein toric varieties of index r.
A Counting Function
We define a counting function that is related to the binomial coefficients.
An explicit formula for this function is proved.
In some particular cases, simpler explicit formuls are derived. We also derive a formula for the number of (0,1)-matrices, having a fixed number of 1's, and having no zero rows and zero columns.
Further, we show that our function satisfies several recurrence relations.
The relationship of our counting function with different classes of integers is then examined. These classes include: different kind of figurate numbers, the number of points on the surface of a square pyramid, the magic constants, the truncated square numbers, the coefficients of the Chebyshev polynomials, the Catalan numbers, the Dellanoy numbers, the Sulanke numbers, the numbers of the coordination sequences, and the number of the crystal ball sequences of a cubic lattice.
In the last part of the paper, we prove that several configurations are counted by our function. Some of these are: the number of spanning subgraphs of the complete bipartite graph, the number of square containing in a square, the number of coloring's of points on a line, the number of divisors of some particular numbers, the number of all parts in the compositions of an integer, the numbers of the weak compositions of integers, and the number of particular lattice paths.
We conclude by counting the number of possible moves of the rook, bishop, and queen on a chessboard.
The most statements in the paper are provided by bijective proofs in terms of insets, which are defined in the paper. With this we want to show that different configurations may be counted by the same method.
Regularity and algebraic properties of certain lattice ideals
Published in Bull. Braz. Math. Soc. (N.S.) 45 (2014), no. 4, 777--806
• View Publication
• BIB
We study the regularity and the algebraic properties of certain lattice ideals. We establish a map I --> I\~ between the family of graded lattice ideals in an N-graded polynomial ring over a field K and the family of graded lattice ideals in a polynomial ring with the standard grading. This map is shown to preserve the complete intersection property and the regularity of I but not the degree. We relate the Hilbert series and the generators of I and I\~. If dim(I)=1, we relate the degrees of I and I\~. It is shown that the regularity of certain lattice ideals is additive in a certain sense. Then, we give some applications. For finite fields, we give a formula for the regularity of the vanishing ideal of a degenerate torus in terms of the Frobenius number of a semigroup. We construct vanishing ideals, over finite fields, with prescribed regularity and degree of a certain type. Let X be a subset of a projective space over a field K. It is shown that the vanishing ideal of X is a lattice ideal of dimension 1 if and only if X is a finite subgroup of a projective torus. For finite fields, it is shown that X is a subgroup of a projective torus if and only if X is parameterized by monomials. We express the regularity of the vanishing ideal over a bipartie graph in terms of the regularities of the vanishing ideals of the blocks of the graph.
The coincidence problem for shifted lattices and crystallographic point packings
Published in Acta Cryst. (2014). A70, 656-669
• View Publication
• BIB
A coincidence site lattice is a sublattice formed by the intersection of a lattice $Γ$ in $\mathbb{R}^d$ with the image of $Γ$ under a linear isometry. Such a linear isometry is referred to as a linear coincidence isometry of $Γ$. Here, we consider the more general case allowing any affine isometry. Consequently, general results on coincidence isometries of shifted copies of lattices, and of crystallographic point packings are obtained. In particular, we discuss the shifted square lattice and the diamond packing in detail.
The geometry of a deformation of the standard addition on the integral lattice
Published
• View Publication
• BIB
Let $\mathfrak A_n$ be the subset of the standard integer lattice $\mathbb Z^n$, $\mathfrak A_n\subset\mathbb Z^n$ which is defined by the condition $\mathfrak A_n=((a_1,...,a_n)\in\mathbb Z^n | a_i\not\equiv a_j\mod n, \forall i,j\in {1,... n})$. It is clear that the standard addition on the lattice $\mathbb Z^n$ does not induce the group structure on the set $\mathfrak A_n$ since the componentwise sum of some two vectors may contain components which are equal modulo $n$. Our aim is to find a new associative multiplication on the lattice $\mathbb Z^n$ such that the induced multiplication on the set $\mathfrak A_n$ gives it the group structure. In this paper the group structure on the subset $\mathfrak A_n$ of the integer lattice $\mathbb Z^n$ is studied by means of the constructions of a deformation of a group multiplication. The geometric realization of this group in the enveloping space and its generators and relations between them are found. We begin with the main constructions and the results we need for them.
Combinatorics of Labelled Parallelogram polyominoes
Published
• View Publication
• BIB
We obtain explicit formulas for the enumeration of labelled parallelogram polyominoes. These are the polyominoes that are bounded, above and below, by north-east lattice paths going from the origin to a point (k,n). The numbers from 1 and n (the labels) are bijectively attached to the $n$ north steps of the above-bounding path, with the condition that they appear in increasing values along consecutive north steps. We calculate the Frobenius characteristic of the action of the symmetric group S_n on these labels. All these enumeration results are refined to take into account the area of these polyominoes. We make a connection between our enumeration results and the theory of operators for which the intergral Macdonald polynomials are joint eigenfunctions. We also explain how these same polyominoes can be used to explicitly construct a linear basis of a ring of SL_2-invariants.
Proper Mergings of Stars and Chains are Counted by Sums of Antidiagonals in Certain Convolution Arrays -- The Details
Published
• View Publication
• BIB
A proper merging of two disjoint quasi-ordered sets $P$ and $Q$ is a quasi-order on the union of $P$ and $Q$ such that the restriction to $P$ or $Q$ yields the original quasi-order again and such that no elements of $P$ and $Q$ are identified. In this article, we determine the number of proper mergings in the case where $P$ is a star (i.e. an antichain with a smallest element adjoined), and $Q$ is a chain. We show that the lattice of proper mergings of an $m$-antichain and an $n$-chain, previously investigated by the author, is a quotient lattice of the lattice of proper mergings of an $m$-star and an $n$-chain, and we determine the number of proper mergings of an $m$-star and an $n$-chain by counting the number of congruence classes and by determining their cardinalities. Additionally, we compute the number of Galois connections between certain modified Boolean lattices and chains.
Directed and multi-directed animals on the king's lattice
Published
• View Publication
• BIB
This article introduces a new, simple solvable lattice for directed animals: the directed king's lattice, or square lattice with next nearest neighbor bonds and preferred directions {W, NW, N, NE, E}. We show that the directed animals in this lattice have an algebraic generating function linked to the Schröder numbers and belong to the same universality class as the ones in the square and triangular lattices. We also define multi-directed animals in the king's lattice, which form a superclass of directed animals. We compute their generating function and show that it is not D-finite. Finally, we propose efficient random sampling algorithms for our animals.
Triangles, Rotation, a Theorem and the Jackpot
This is an expository paper designed to introduce undergraduates to the Atiyah-Singer index theorem 50 years after its announcement. It includes motivation, a statement of the theorem, an outline of the easy part of the heat equation proof. It includes counting lattice points and knot concordance as applications.
Laplacian ideals, arrangements, and resolutions
Published in J. Algebraic Combin. Volume 40, Issue 3 (2014), pp. 805 - 822
• View Publication
• BIB
The Laplacian matrix of a graph G describes the combinatorial dynamics of the Abelian Sandpile Model and the more general Riemann-Roch theory of G. The lattice ideal associated to the lattice generated by the columns of the Laplacian provides an algebraic perspective on this recently (re)emerging field. This ideal I_G has a distinguished monomial initial ideal M_G, characterized by the property that the standard monomials are in bijection with the G-parking functions of the graph G. The ideal M_G was also introduced by Postnikov and Shapiro (2004) in the context of monotone monomial ideals. We study resolutions of M_G and show that a minimal free cellular resolution is supported on the bounded subcomplex of a section of the graphical arrangement of G. This generalizes constructions from Postnikov and Shapiro (for the case of the complete graph) and connects to work of Manjunath and Sturmfels, and of Perkinson et al. on the commutative algebra of Sandpiles. As a corollary we verify a conjecture of Perkinson et al. regarding the Betti numbers of M_G, and in the process provide a combinatorial characterization in terms of acyclic orientations.
Lattice Path Matroid Polytopes
Fix two lattice paths $P$ and $Q$ from $(0,0)$ to $(m,r)$ that use East and North steps with $P $ never going above $Q$. Bonin et al. show that the lattice paths that go from $(0,0)$ to $(m,r)$ and remain bounded by $P$ and $Q$ can be identified with the bases of a particular type of transversal matroid, which we call it a lattice path matroid.
In this paper, we consider properties of lattice path matroid polytopes. These are the polytopes associated to the lattice path matroids. We investigate their face structure, decomposition, triangulation, Ehrhart polynomial and volume.
Goldie rank of primitive quotients via lattice point enumeration
Published in Glasg. Math. J. 55 (2013)
• View Publication
• BIB
Let k be an algebraically closed field of characteristic 0. Musson and vandenBergh classified primitive ideals for rings of torus invariant differential operators. This classification applies in particular to subquotients of localized extended Weyl algebras where it can be made explicit in terms of convex geometry. We recall these result and then turn to the corresponding primitive quotients and study their Goldie ranks. We prove that the primitive quotients fall into finitely many families whose Goldie ranks are given by a common quasi-polynomial and then realize these quasi-polynomials as Ehrhart quasi-polynomials arising from convex geometry.
A Polynomial Time Version of LLL With Deep Insertions
Published
• View Publication
• BIB
Lattice reduction algorithms have numerous applications in number theory, algebra, as well as in cryptanalysis. The most famous algorithm for lattice reduction is the LLL algorithm. In polynomial time it computes a reduced basis with provable output quality. One early improvement of the LLL algorithm was LLL with deep insertions (DeepLLL). The output of this version of LLL has higher quality in practice but the running time seems to explode. Weaker variants of DeepLLL, where the insertions are restricted to blocks, behave nicely in practice concerning the running time. However no proof of polynomial running time is known. In this paper a new variant of DeepLLL with provably polynomial running time is presented. We compare the practical behavior of the new algorithm to classical LLL, BKZ as well as blockwise variants of DeepLLL regarding both the output quality and running time.
Seven new champion linear codes
Published in LMS J. Comput. Math. 16 (2013) 109-117
• View Publication
• BIB
We exhibit seven linear codes exceeding the current best known minimum distance d for their dimension k and block length n. Each code is defined over F_8, and their invariants [n,k,d] are given by [49,13,27], [49,14,26], [49,16,24], [49,17,23], [49,19,21], [49,25,16] and [49,26,15]. Our method includes an exhaustive search of all monomial evaluation codes generated by points in the [0,5]x[0,5] lattice square.
Young's lattice and dihedral symmetries revisited: Möbius strips and metric geometry
A cascade of dihedral symmetries is hidden in Young's lattice of integer partitions. In fact, for each integer N>2 the Hasse graph of the subposet consisting of the partitions with maximal hook length strictly less than N has the dihedral group of order 2N as its symmetry group. Here a new interpretation of those Hasse graphs is presented, namely as the 1-skeleta of the injective hulls of certain finite metric spaces.
Ramanujan and Eckford Cohen totients from Visible Point Identities
We define an extension of the Ramanujan trigonometric function to arbitrary dimensions, and give the Dirichlet series generating function. The extension was first given by Eckford Cohen long ago. This links directly to visible point vector identities, and possibly to lattice sums in Physics and Chemistry presented by Baake et al. New generating functions and summations are given here, generalizing the Ramanujan function, Euler totient and the Jordan totient functions, based on visible lattice point ideas.
Causal cells: spacetime polytopes with null hyperfaces
Published
• View Publication
• BIB
We consider polyhedra and 4-polytopes in Minkowski spacetime - in particular, null polyhedra with zero volume, and 4-polytopes that have such polyhedra as their hyperfaces. We present the basic properties of several classes of null-faced 4-polytopes: 4-simplices, "tetrahedral diamonds" and 4-parallelotopes. We propose a "most regular" representative of each class. The most-regular parallelotope is of particular interest: its edges, faces and hyperfaces are all congruent, and it features both null hyperplanes and null segments. A tiling of spacetime with copies of this polytope can be viewed alternatively as a lattice with null edges, such that each point is at the intersection of four lightrays in a tetrahedral pattern. We speculate on the relevance of this construct for discretizations of curved spacetime and for quantum gravity.
Counting generalized Jenkins-Strebel differentials
Published in Geometriae Dedicata, 170:1 (2014), 195--217
• View Publication
• BIB
We study the combinatorial geometry of "lattice" Jenkins--Strebel differentials with simple zeroes and simple poles on $\mathbb{C}P^1$ and of the corresponding counting functions. Developing the results of M. Kontsevich we evaluate the leading term of the symmetric polynomial counting the number of such "lattice" Jenkins-Strebel differentials having all zeroes on a single singular layer. This allows us to express the number of general "lattice" Jenkins-Strebel differentials as an appropriate weighted sum over decorated trees.
The problem of counting Jenkins-Strebel differentials is equivalent to the problem of counting pillowcase covers, which serve as integer points in appropriate local coordinates on strata of moduli spaces of meromorphic quadratic differentials. This allows us to relate our counting problem to calculations of volumes of these strata . A very explicit expression for the volume of any stratum of meromorphic quadratic differentials recently obtained by the authors leads to an interesting combinatorial identity for our sums over trees.