lattice
4310 papers tagged with this keyword
From quasi-symmetric to Schur expansions with applications to symmetric chain decompositions and plethysm
Published in Electronic J. Comb. 31(4) (2024) #P4.23
• View Publication
• BIB
It is an important problem in algebraic combinatorics to deduce the Schur function expansion of a symmetric function whose expansion in terms of the fundamental quasisymmetric function is known. For example, formulas are known for the fundamental expansion of a Macdonald symmetric function and for the plethysm of two Schur functions, while the Schur expansions of these expressions are still elusive. Egge, Loehr and Warrington provided a method to obtain the Schur expansion from the fundamental expansion by replacing each quasisymmetric function by a Schur function (not necessarily indexed by a partition) and using straightening rules to obtain the Schur expansion. Here we provide a new method that only involves the coefficients of the quasisymmetric functions indexed by partitions and the quasi-Kostka matrix. As an application, we identify the lexicographically largest term in the Schur expansion of the plethysm of two Schur functions. We provide the Schur expansion of $s_w[s_h](x,y)$ for $w=2,3,4$ using novel symmetric chain decompositions of Young's lattice for partitions in a $w\times h$ box. For $w=4$, this is first known combinatorial expression for the coefficient of $s_λ$ in $s_{w}[s_{h}]$ for two-row partitions $λ$, and for $w=3$ the combinatorial expression is new.
Generalised Checkerboard Lattices
A series of integral lattices parametrised by integers $k,m,n$ are introduced and investigated, where $n$ is the rank of the lattice, including the root lattices described in a uniform way and unimodular lattices such as the Niemeier lattices of type $A_{24}$ and $D_{24}$. The lattices are characterised by means of a sublattice isomorphic to the root lattice of type $A_{n-1}$. A sufficient condition for existence of an orthogonal $k$-frame of such a lattice is given in terms of symmetric $2$-designs.
Thin Simplices via Modular Arithmetic
The local $h^*$-polynomial is a natural invariant of a lattice polytope appearing in Ehrhart theory and Hodge theory. In this work, we study the question posed in [GKZ94] concerning the classification of lattice simplices with vanishing local $h^*$-polynomial. Such simplices are called thin. We relate this question to linear codes and hyperplane arrangements over finite rings. This allows us to obtain a complete classification of the $4$-dimensional thin simplices, extending the previously known results in dimensions up to $3$.
On Covering Simplices by Dilations in Dimensions 3 and 4
We propose a conjecture regarding the integrally closedness of lattice polytopes with large lattice lengths. We demonstrate that a lattice simplex in dimension 3 (resp. 4) with lattice length of at least 2 (resp. 3 and no edge has lattice length 5) can be covered by dilated simplices of the form $sQ$, where integer $s\ge 2$ (resp. 3) and $Q$ is a lattice simplex. The covering property implies these simplices are integrally closed. As an application, we obtain a simple criterion for the projective normality of ample line bundles on 3-(resp. 4-) dimensional $\mathbb{Q}$-factorial toric Fano varieties with Picard number one. Along the way, we discover certain unexpected phenomenon.
Concentration and central limit theorem for the averaging process on $\mathbb{Z}^{d}$
In the averaging process on a graph $G = (V, E)$, a random mass distribution $η$ on $V$ is repeatedly updated via transformations of the form $η_{v}, η_{w} \mapsto (η_{v} + η_{w})/2$, with updates made according to independent Poisson clocks associated to the edge set $E$. We study the averaging process when $G$ is the integer lattice $\mathbb{Z}^{d}$. We prove that the process has tight asymptotic concentration around its mean in the $\ell^{1}$ and $\ell^{2}$ norms and use this to prove a central limit theorem. Previous work by Nagahata and Yoshida implies the central limit theorem when $d \geq 3$. Our results extend this to hold for all $d \geq 1$, and our techniques are likely applicable to other processes for which previously only the $d \geq 3$ case was tractable.
Invariant theory for the face algebra of the braid arrangement
The faces of the braid arrangement form a monoid. The associated monoid algebra -- the face algebra -- is well-studied, especially in relation to card shuffling and other Markov chains. In this paper, we explore the action of the symmetric group on the face algebra from the perspective of invariant theory. Bidigare proved the invariant subalgebra of the face algebra is (anti)isomorphic to Solomon's descent algebra. We answer the more general question: what is the structure of the face algebra as a simultaneous representation of the symmetric group and Solomon's descent algebra? Special cases of our main theorem recover the Cartan invariants of Solomon's descent algebra discovered by Garsia-Reutenauer and work of Uyemura-Reyes on certain shuffling representations. Our proof techniques involve the homology of intervals in the lattice of set partitions.
Connection Heat Kernel On Connection Lattices And Connection Discrete Torus
By the connection graph we mean an underlying weighted graph with a connection which associates edge set with an orthogonal group. This paper centers its investigation on the connection heat kernels on connection lattices and connection discrete torus. For one dimensional connection lattice, we derive the connection heat kernel expression by doing the Taylor expansion on the exponential function involving normalized connection Laplacian. We introduce a novel connection called product connection and prove that the connection heat kernel on arbitrary high dimensional lattice with product connection equals the Kronecker sum of one dimensional connection lattices' connection heat kernels. Furthermore, if the connection graph is consistent, we substantiate the interrelation between its connection heat kernel and its underlying graph's heat kernel. We define a connection called quotient connection such that discrete torus with quotient connection can be considered as a quotient graph of connection lattice, whose connection heat kernel is demonstrated to be the sum of connection lattices' connection heat kernels. In addition, we derive an alternative expression of connection heat kernel on discrete torus whenever its quotient connection is a constant connection, yielding an equation as a connection graph's trace formula.
Computer classification of linear codes based on lattice point enumeration and integer linear programming
Published
• View Publication
• BIB
Linear codes play a central role in coding theory and have applications in several branches of mathematics. For error correction purposes the minimum Hamming distance should be as large as possible. Linear codes related to applications in Galois Geometry often require a certain divisibility of the occurring weights. In this paper we present an algorithmic framework for the classification of linear codes over finite fields with restricted sets of weights. The underlying algorithms are based on lattice point enumeration and integer linear programming. We present new enumeration and non-existence results for projective two-weight codes, divisible codes, and additive $\mathbb{F}_4$-codes.
The 2D Toda lattice hierarchy for multiplicative statistics of Schur measures
We prove Fredholm determinants build out from generalizations of Schur measures, or equivalently, arbitrary multiplicative statistics of the original Schur measures are tau-functions of the 2D Toda lattice hierarchy. Our result apply to finite temperature Schur measures, and extends both the result of Okounkov in \cite{okounkovschurmeasures} and of Cafasso-Ruzza in \cite{cafassoruzza} concerning the finite-temperature Plancherel measure. Our proof lies on the semi-infinite wedge formalism and the Boson-Fermion correspondance.
Worpitzky-compatible sets and the freeness of arrangements between Shi and Catalan
Given an irreducible root system, the Worpitzky-compatible subsets are defined by a geometric property of the alcoves inside the fundamental parallelepiped of the root system. This concept is motivated and mainly understood through a lattice point counting formula concerning the characteristic and Ehrhart quasi-polynomials. In this paper, we show that the Worpitzky-compatibility has a simple combinatorial characterization in terms of roots. As a byproduct, we obtain a complete characterization by means of Worpitzky-compatibility for the freeness of the arrangements interpolating between the extended Shi and Catalan arrangements. This is a completion of the earlier result by Yoshinaga in 2010 which was done for simply-laced root systems.
Canon permutations and generalized descents of standard Young tableaux
Canon permutations are permutations of the multiset having $k$ copies of each integer between $1$ and $n$, with the property that the subsequences obtained by taking the $j$th copy of each entry, for each fixed $j$, are all the same. For $k=2$, canon permutations are sometimes called nonnesting permutations, and it is known that the polynomial that enumerates them by the number of descents factors as a product of an Eulerian polynomial and a Narayana polynomial. We extend this result to arbitrary $k$, and we relate the problem to the enumeration of standard Young tableaux of rectangular shape with respect to generalized descent statistics. Our proof is bijective, and it also settles a conjecture of Sulanke about the distribution of certain lattice path statistics.
Truncated theta series from the Bailey lattice
In 2012, Andrews and Merca obtained a truncated version of Euler's pentagonal number theorem and showed the nonnegativity related to partition functions. Meanwhile, Andrews-Merca and Guo-Zeng independently conjectured that the truncated Jacobi triple product series has nonnegative coefficients, which has been confirmed analytically and also combinatorially. In 2022, Merca proposed a stronger version for this conjecture. In this paper, by applying Agarwal, Andrews and Bressoud's Bailey lattice, we derive a truncated version for the Jacobi triple product series with odd basis which reduces to the Andrews-Gordon identity as a special instance. As consequences, we obtain new truncated forms for Euler's pentagonal number theorem, Gauss'theta series on triangular numbers and square numbers, which lead to inequalities for certain partition functions. Moreover, by considering a truncated theta series involving $\ell$-regular partitions, we confirm a conjecture proposed by Ballantine and Merca about 6-regular partitions and show that Merca's stronger conjecture on truncated Jacobi triple product series holds when $R = 3S$ for $S \geq 1.$
The Euclidean MST-ratio for Bi-colored Lattices
Published
• View Publication
• BIB
Given a finite set, $A \subseteq \mathbb{R}^2$, and a subset, $B \subseteq A$, the \emph{MST-ratio} is the combined length of the minimum spanning trees of $B$ and $A \setminus B$ divided by the length of the minimum spanning tree of $A$.
The question of the supremum, over all sets $A$, of the maximum, over all subsets $B$, is related to the Steiner ratio, and we prove this sup-max is between $2.154$ and $2.427$.
Restricting ourselves to $2$-dimensional lattices, we prove that the sup-max is $2.0$, while the inf-max is $1.25$.
By some margin the most difficult of these results is the upper bound for the inf-max, which we prove by showing that the hexagonal lattice cannot have MST-ratio larger than $1.25$.
Families of Equiangular Lines and Lattices
We construct Euclidean lattices whose sets of minimal vectors support some large equiangular families of lines, using notably reduction modulo~$2$ of lattices. %as considered in \cite{Ma1} and \cite{Ma2}. We also consider some related problems, and answer a question raised by Greaves ([G], Subsection~1.3.2).
Arrow Relations in Lattices of Integer Partitions
Published in International Journal of Approximate Reasoning 172 (September 2024) 109244:1-24
• View Publication
• BIB
We give a complete characterisation of the single and double arrow relations of the standard context $K(L_n)$ of the lattice $L_n$ of partitions of any positive integer $n$ under the dominance order, thereby addressing an open question of Ganter, 2022.
Progressive and Rushed Dyck Paths
Published in EPTCS 403, 2024, pp. 29-34
• View Publication
• BIB
We call progressive paths and rushed paths two families of Dyck paths studied by Asinowski and Jelinek, which have the same enumerating sequence (OEIS entry A287709). We present a bijection proving this fact. Rushed paths turn out to be in bijection with one-sided trees, introduced by Durhuus and Unel, which have an asymptotic enumeration involving a stretched exponential. We conclude by presenting several other classes of related lattice paths and directed animals that may have similar asymptotic properties.
Lattice Points and Rational $q$-Catalan Numbers
For each pair of coprime integers $a$ and $b$ we have a rational $q$-Catalan number $\operatorname{Cat}(a,b)_q=\binom{a+b}{a}_q/[a+b]_q$. It is known that this is a polynomial in $q$ with nonnegative integer coefficients, but the nature of these coefficients is still mysterious. Our current understanding is based on the rational shuffle conjecture that was conjectured by Bergeron, Garsia, Leven and Xin in 2014 and proved by Mellit in 2016, based on earlier work with Carlsson. This theorem realizes $\operatorname{Cat}(a,b)_q$ as the generating function for the statistic "area $-\ \mathrm{dinv}+\frac{(a-1)(b-1)}{2}$" defined on rational Dyck paths. However, this statistic is difficult to work with and leaves some phenomena unexplained. For example, it does not prove the conjecture that the difference $\operatorname{Cat}(a,c)_q-\operatorname{Cat}(a,b)_q$ has nonnegative coefficients whenever $\gcd(a,b)=\gcd(a,c)=1$ and $b<c$. The current paper proposes to look at lattice points instead of Dyck paths. Our idea is to fix $a$ and express everything in terms of the weight lattice $\mathrm{L}$ and root lattice $\mathrm{R}$ of type $A_{a-1}$. Based on ideas of Paul Johnson, we conjecture the existence of certain "Johnson statistics" $J:\mathrm{R}\to\mathbb{Z}$ and we prove this conjecture for $a\le 20$. We show that these statistics satisfy many remarkable properties including a $q$-analogue of Brion's theorem for simplices.
$\mathcal{L}$-intersecting or Configuration Forbidden Families on Set Systems and Vector Spaces over Finite Fields
In this paper, we derive a tight upper bound for the size of an intersecting $k$-Sperner family of subspaces of the $n$-dimensional vector space $\mathbb{F}_{q}^{n}$ over finite field $\mathbb{F}_{q}$ which gives a $q$-analogue of the Erdős' $k$-Sperner Theorem, and we then establish a general relationship between upper bounds for the sizes of families of subsets of $[n] = \{1, 2, \dots, n\}$ with property $P$ and upper bounds for the sizes of families of subspaces of $\mathbb{F}_{q}^{n}$ with property $P$, where $P$ is either $\mathcal{L}$-intersecting or forbidding certain configuration. Applying this relationship, we derive generalizations of the well known results about the famous Erdős matching conjecture and Erdős-Chvátal simplex conjecture to linear lattices. As a consequence, we disprove a related conjecture on families of subspaces of $\mathbb{F}_{q}^{n}$ by Ihringer [Europ. J. Combin., 94 (2021), 103306].
Spherical codes with prescribed signed permutation automorphisms inside shells of low-dimensional integer lattices
Let $\textrm{S}(n,t,k)$ be the maximum size of a code containing only vectors of the $k$th shell of the integer lattice $\mathbb{Z}^n$ such that the inner product between distinct vectors does not exceed $t$. In this paper we compute lower bounds for $\textrm{S}(n,t,k)$ for small values of $n$, $t$ and $k$ by carrying out computer searches for codes with prescribed automorphisms. We prescribe groups of signed permutation automorphisms acting transitively on the pairs of coordinates and coordinate values as well as other closely related groups of automorphisms. Several of the constructed codes lead to improved lower bounds for spherical codes.
A Relationship for LYM Inequalities between Boolean Lattices and Linear Lattices with Applications
Sperner theory is one of the most important branches in extremal set theory. It has many applications in the field of operation research, computer science, hypergraph theory and so on. The LYM property has become an important tool for studying Sperner property. In this paper, we provide a general relationship for LYM inequalities between Boolean lattices and linear lattices. As applications, we use this relationship to derive generalizations of some well-known theorems on maximum sizes of families containing no copy of certain poset or certain configuration from Boolean lattices to linear lattices, including generalizations of the well-known Kleitman theorem on families containing no $s$ pairwise disjoint members (a non-uniform variant of the famous Erdős matching conjecture) and Johnston-Lu-Milans theorem and Polymath theorem on families containing no $d$-dimensional Boolean algebras.