lattice
4310 papers tagged with this keyword
LinCode -- computer classification of linear codes
Published
• View Publication
• BIB
We present an algorithm for the classification of linear codes over finite fields, based on lattice point enumeration. We validate a correct implementation of our algorithm with known classification results from the literature, which we partially extend to larger ranges of parameters.
Substitutes for the non-existent square lattice designs for 36 varieties
Published
• View Publication
• BIB
Square lattice designs are often used in trials of new varieties of various agricultural crops. However, there are no square lattice designs for 36 varieties in blocks of size six for four or more replicates. Here we use three different approaches to construct designs for up to eight replicates. All the designs perform well in terms of giving a low average variance of variety contrasts.
Supplementary materials are available online.
Catalan Recursion on Externally Ordered Bases of Unit Interval Positroids
Published in Involve 14 (2021) 893-905
• View Publication
• BIB
The Catalan numbers form a sequence that counts over 200 combinatorial objects. A remarkable property of the Catalan numbers, which extends to these objects, is its recursive definition; that is, we can determine the $n^{th}$ object from previous ones. Matroids are combinatorial objects that generalize the notion of linear independence and have connections with other fields of mathematics. A family of matroids, called unit interval positroids (UIP), are Catalan objects induced by the antiadjacency matrices of unit interval orders. Associated to each UIP is the set of externally ordered bases, which due to Las Vergnas, produces a lattice after adjoining a bottom element. We study the poset of externally ordered UIP bases and the implied Catalan-induced recursion. Explicitly, we describe an algorithm for constructing the lattice of a rank $n$ UIP from the lattice of lower ranks. Using their inherent combinatorial structure, we define a simple formula to enumerate the bases for a given UIP.
The Geometry of $H_4$ Polytopes
Published
• View Publication
• BIB
We describe the geometry of an arrangement of 24-cells inscribed in the 600-cell. In $§$7 we apply our results to the even unimodular lattice $E_8$ and show how the 600-cell transforms $E_8$/2$E_8$, an 8-space over the field $\bf{F}$$_2$, into a 4-space over $\bf{F}$$_4$ whose points, lines and planes are labeled by the geometric objects of the 600-cell.
Construction of $s$-extremal optimal unimodular lattices in dimension 52
Published in International Journal of Computer Mathematics: Computer Systems Theory (2020) 5:2, 87-91
• View Publication
• BIB
An $s$-extremal optimal unimodular lattice in dimension $52$ is constructed for the first time. This lattice is constructed from a certain self-dual $\mathbb{F}_5$-code by Construction A. In addition, as neighbors of the lattice, two more $s$-extremal optimal unimodular lattices are constructed.
Cambrian combinatorics on quiver representations (type A)
Published in Adv. in Appl. Math. 143 (2023), Paper No. 102428
• View Publication
• BIB
This paper presents a geometric model of the Auslander-Reiten quiver of a type A quiver together with a stability function for which all indecomposable modules are stable. We also introduce a new Catalan object which we call a maximal almost rigid representation. We show that its endomorphism algebra is a tilted algebra of type A. We define a partial order on the set of maximal almost rigid representations and use our new geometric model to show that this partial order is a Cambrian lattice.
Percolation of three fluids on a honeycomb lattice
Published in Monatsh Math 199, 611-626 (2022)
• View Publication
• BIB
In this paper, we consider a generalization of percolation: percolation of three related fluids on a honeycomb lattice. K. Izyurov and A. Magazinov proved that percolations of distinct fluids between opposite sides on a fixed hexagon become mutually independent as the lattice step tends to 0. This paper exposes this proof in details (with minor simplifications) for nonspecialists. In addition, we state a few related conjectures based on numerical experiments.
Enumerating Parking Completions Using Join and Split
Published in Electron. J. Combin. 27(2) (2020), #P2.44
• View Publication
• BIB
Given a strictly increasing sequence $\mathbf{t}$ with entries from $[n]:=\{1,\ldots,n\}$, a parking completion is a sequence $\mathbf{c}$ with $|\mathbf{t}|+|\mathbf{c}|=n$ and $|\{t\in \mathbf{t}\mid t\le i\}|+|\{c\in \mathbf{c}\mid c\le i\}|\ge i$ for all $i$ in $[n]$. We can think of $\mathbf{t}$ as a list of spots already taken in a street with $n$ parking spots and $\mathbf{c}$ as a list of parking preferences where the $i$-th car attempts to park in the $c_i$-th spot and if not available then proceeds up the street to find the next available spot, if any. A parking completion corresponds to a set of preferences $\mathbf{c}$ where all cars park.
We relate parking completions to enumerating restricted lattice paths and give formulas for both the ordered and unordered variations of the problem by use of a pair of operations termed \textbf{Join} and \textbf{Split}. Our results give a new volume formula for most Pitman-Stanley polytopes, and enumerate the signature parking functions of Ceballos and González D'León.
Small toric resolutions of toric varieties of string polytopes with small indices
Published
• View Publication
• BIB
Let $G$ be a semisimple algebraic group over $\mathbb{C}$. For a reduced word $\bf i$ of the longest element in the Weyl group of $G$ and a dominant integral weight $λ$, one can construct the string polytope $Δ_{\bf i}(λ)$, whose lattice points encode the character of the irreducible representation $V_λ$. The string polytope $Δ_{\bf i}(λ)$ is singular in general and combinatorics of string polytopes heavily depends on the choice of $\mathbf i$. In this paper, we study combinatorics of string polytopes when $G = SL_{n+1}(\mathbb{C})$, and present a sufficient condition on $\mathbf i$ such that the toric variety $X_{Δ_{\mathbf i}(λ)}$ of the string polytope $Δ_{\mathbf i}(λ)$ has a small toric resolution. Indeed, when $\mathbf i$ has small indices and $λ$ is regular, we explicitly construct a small toric resolution of the toric variety $X_{Δ_{\bf i}(λ)}$ using a Bott manifold. Our main theorem implies that a toric variety of any string polytope admits a small toric resolution when $n < 4$. As a byproduct, we show that if $\mathbf i$ has small indices then $Δ_{\mathbf i}(λ)$ is integral for any dominant integral weight $λ$, which in particular implies that the anticanonical limit toric variety $X_{Δ_{\bf i}(λ_P)}$ of a partial flag variety $G/P$ is Gorenstein Fano. Furthermore, we apply our result to symplectic topology of the full flag manifold $G/B$ and obtain a formula of the disk potential of the Lagrangian torus fibration on $G/B$ obtained from a flat toric degeneration of $G/B$ to the toric variety $X_{Δ_{\bf i}(λ)}$.
Algebraic analysis of multiple social networks with multiplex
Published
• View Publication
• BIB
\pkg{multiplex} is a computer program that provides algebraic tools for the analysis of multiple network structures within the \proglang{R} environment. Apart from the possibility to create and manipulate multivariate data representing multiplex, signed, and two-mode networks, this package offers a collection of functions that deal with algebraic systems ---such as the partially ordered semigroup, and balance or cluster semirings--- their decomposition, and the enumeration of bundle patterns occurring at different levels of the network. Moreover, through Galois derivations between families of the pairs of subsets in different domains it is possible to analyze affiliation networks with an algebraic approach. Visualization of multigraphs, different forms of bipartite graphs, inclusion lattices, Cayley graphs is supported as well with related packages.
Permutations sortable by deques and two stacks in parallel share the same growth rate
Recently Albert and Bousquet-Mélou obtained the solution to the long-standing problem of the enumeration of permutations sortable by two stacks in parallel (2sip). Their solution was expressed in terms of functional equations. E.P. and Guttmann then showed that the equally long-standing problem of the number of permutations sortable by a double ended queue (deque) can be simply related to the solution of the same functional equations. They then conjectured that the radius of convergence of both generating functions is the same, and reduced this conjecture to a series of conjectures of Albert and Bousquet-Mélou regarding a generating function for quarter-plane loops. In this note we prove that the two growth rates are equal, using a combinatorial argument on certain lattice paths which are in bijection with the two classes. As a corollary we prove that the generating function P(t) for permutations sortable by two stacks in parallel satisfies an inequality which was conjectured by Albert and Bousquet-Mélou.
On the Fine Interior of Three-dimensional Canonical Fano Polytopes
Published in "Interactions with Lattice Polytopes", Springer, 2022, pp. 11-47
• View Publication
• BIB
The Fine interior $Δ^{\text{FI}}$ of a $d$-dimensional lattice polytope $Δ$ is a rational subpolytope of $Δ$ which is important for constructing minimal birational models of non-degenerate hypersurfaces defined by Laurent polynomials with Newton polytope $Δ$. This paper presents some computational results on the Fine interior of all $674,\!688$ three-dimensional canonical Fano polytopes.
Combinatorial generation via permutation languages. II. Lattice congruences
Published
• View Publication
• BIB
This paper deals with lattice congruences of the weak order on the symmetric group, and initiates the investigation of the cover graphs of the corresponding lattice quotients. These graphs also arise as the skeleta of the so-called quotientopes, a family of polytopes recently introduced by Pilaud and Santos [Bull. Lond. Math. Soc., 51:406-420, 2019], which generalize permutahedra, associahedra, hypercubes and several other polytopes. We prove that all of these graphs have a Hamilton path, which can be computed by a simple greedy algorithm. This is an application of our framework for exhaustively generating various classes of combinatorial objects by encoding them as permutations. We also characterize which of these graphs are vertex-transitive or regular via their arc diagrams, give corresponding precise and asymptotic counting results, and we determine their minimum and maximum degrees. Moreover, we investigate the relation between lattice congruences of the weak order and pattern-avoiding permutations.
Standard complexes of matroids and lattice paths
Motivated by Gröbner basis theory for finite point configurations, we define and study the class of "standard complexes" associated to a matroid. Standard complexes are certain subcomplexes of the independence complex that are invariant under matroid duality. For the lexicographic term order, the standard complexes satisfy a deletion-contraction-type recurrence. We explicitly determine the lexicographic standard complexes for lattice path matroids using classical bijective combinatorics.
Brill-Noether Existence on Graphs via $\mathbb{R}$-Divisors, Polytopes and Lattices
Published in Sel. Math. New Ser. 28, 35 (2022)
• View Publication
• BIB
We study Brill-Noether existence on a finite graph using methods from polyhedral geometry and lattices. We start by formulating analogues of the Brill-Noether conjectures (both the existence and non-existence parts) for $\mathbb{R}$-divisors, i.e. divisors with real coefficients, on a graph. We then reformulate the Brill-Noether existence conjecture for $\mathbb{R}$-divisors on a graph in geometric terms, that we refer to as the covering radius conjecture and we show a weak version, in support of it. Using this, we show an approximate version of the Brill-Noether existence conjecture for divisors on a graph. As applications, we derive upper bounds on the gonality of a graph and its $\mathbb{R}$-divisor analogue.
Lattice Configurations Determining Few Distances
We begin by revisiting a paper of Erdős and Fishburn, which posed the following question: given $k\in \mathbb{N}$, what is the maximum number of points in a plane that determine at most $k$ distinct distances, and can such optimal configurations be classified? We rigorously verify claims made in remarks in that paper, including the fact that the vertices of a regular polygon, with or without an additional point at the center, cannot form an optimal configuration for any $k\geq 7$. Further, we investigate configurations in both triangular and rectangular lattices studied by Erdős and Fishburn. We collect a large amount of data related to these and other configurations, some of which correct errors in the original paper, and we use that data and additional analysis to provide explanations and make conjectures.
Dynamical Combinatorics and Torsion Classes
Published
• View Publication
• BIB
For finite semidistributive lattices the map $κ$ gives a bijection between the sets of completely join-irreducible elements and completely meet-irreducible elements.
Here we study the $κ$-map in the context of torsion classes. It is well-known that the lattice of torsion classes for an artin algebra is semidistributive, but in general it is far from finite. We show the $κ$-map is well-defined on the set of completely join-irreducible elements, even when the lattice of torsion classes is infinite. We then extend $κ$ to a map on torsion classes which have canonical join representations given by the special torsion classes associated to the minimal extending modules introduced by the first and third authors and A. Carroll.
For hereditary algebras, we show that the extended $κ$-map on torsion classes is essentially the same as Ringel's $ε$-map on wide subcategories. Also in hereditary case, we relate the square of $κ$ to the Auslander-Reiten translation.
Chains with Small Intervals in the Lattice of Binary Paths
Published
• View Publication
• BIB
We call an interval $[x,y]$ in a poset {\em small} if $y$ is the join of some elements covering $x$. In this paper, we study the chains of paths from a given arbitrary (binary) path $P$ to the maximum path having only small intervals. More precisely, we obtain and use several formulas for the enumeration of chains having only small intervals and minimal length. For this, we introduce and study the notions of filling and degree of a path, giving in addition some related statistics.
Subalgebras generated in degree two with minimal Hilbert function
Published in Mathematica Scandinavica. Vol. 127, No. 1 (2021) p. 5-27
• View Publication
• BIB
What can be said about the subalgebras of the polynomial ring, with minimal or maximal Hilbert function? This question was discussed in a recent paper by M. Boij and A. Conca. In this paper we study the subalgebras generated in degree two with minimal Hilbert function. The problem to determine the generators of these algebras transfers into a combinatorial problem on counting maximal north-east lattice paths inside a shifted Ferrers diagram. We conjecture that the subalgebras generated in degree two with minimal Hilbert function are generated by an initial Lex or RevLex segment.
The equivariant Ehrhart theory of the permutahedron
Published
• View Publication
• BIB
Equivariant Ehrhart theory enumerates the lattice points in a polytope with respect to a group action. Answering a question of Stapledon, we describe the equivariant Ehrhart theory of the permutahedron, and we prove his Effectiveness Conjecture in this special case.