lattice
4310 papers tagged with this keyword
The lattice of cycles of an undirected graph
Published
• View Publication
• BIB
We study bases of the lattice generated by the cycles of an undirected graph, defined as the integer linear combinations of the 0/1-incidence vectors of cycles. We prove structural results for this lattice, including explicit formulas for its dimension and determinant, and we present efficient algorithms to construct lattice bases, using only cycles as generators, in quadratic time. By algebraic considerations, we relate these results to the more general setting with coefficients from an arbitrary Abelian group. Our results generalize classical results for the vector space of cycles of a graph over the binary field to the case of an arbitrary field.
Asymmetric extension of Pascal-Dellanoy triangles
Published
• View Publication
• BIB
We give a generalization of the Pascal triangle called the quasi s-Pascal triangle where the sum of the elements crossing the diagonal rays produce the s-bonacci sequence. For this, consider a lattice path in the plane whose step set is {L = (1, 0), L1 = (1, 1), L2 = (2, 1), . . . , Ls = (s, 1)}; an explicit formula is given. Thereby linking the elements of the quasi s-Pascal triangle with the bisnomial coefficients. We establish the recurrence relation for the sum of elements lying over any finite ray of the quasi s-Pascal triangle. The generating function of the cited sums is produced. We also give identities among which one equivalent to the de Moivre sum and establish a q-analogue of the coefficient of the quasi s-Pascal triangle.
Three lectures on random proper colorings of $\mathbb{Z}^d$
A proper $q$-coloring of a graph is an assignment of one of $q$ colors to each vertex of the graph so that adjacent vertices are colored differently. Sample uniformly among all proper $q$-colorings of a large discrete cube in the integer lattice $\mathbb{Z}^d$. Does the random coloring obtained exhibit any large-scale structure? Does it have fast decay of correlations? We discuss these questions and the way their answers depend on the dimension $d$ and the number of colors $q$. The questions are motivated by statistical physics (anti-ferromagnetic materials, square ice), combinatorics (proper colorings, independent sets) and the study of random Lipschitz functions on a lattice. The discussion introduces a diverse set of tools, useful for this purpose and for other problems, including spatial mixing, entropy and coupling methods, Gibbs measures and their classification and refined contour analysis.
The Möbius Function of the Affine Linear Group $\text{AGL}(1,\Bbb F_q)$
Let $\text{AGL}(1,\Bbb F_q)$ denote the affine linear group of dimension one over the finite field $\Bbb F_q$. We determine the Möbius function of the lattice of subgroups of $\text{AGL}(1,\Bbb F_q)$.
The order dimension of divisibility
Published in Journal of Combinatorial Theory, Series A. Vol 179 (2021) 105391
• View Publication
• BIB
The Dushnik-Miller dimension of a partially-ordered set $P$ is the smallest $d$ such that one can embed $P$ into a product of $d$ linear orders. We prove that the dimension of the divisibility order on the interval $\{1, \dotsc, n\}$, is equal to ${(\log n)^2}(\log\log n)^{-Θ(1)}$ as $n$ goes to infinity.
We prove similar bounds for the $2$-dimension of divisibility in $\{1, \dotsc, n\}$, where the $2$-dimension of a poset $P$ is the smallest $d$ such that $P$ is isomorphic to a suborder of the subset lattice of $[d]$. We also prove an upper bound for the $2$-dimension of posets of bounded degree and show that the $2$-dimension of the divisibility poset on the set $(αn, n]$ is $Θ_α(\log n)$ for $α\in (0,1)$. At the end we pose several problems.
The local dimension of suborders of the Boolean lattice
We prove upper and lower bounds on the local dimension of any pair of layers of the Boolean lattice, and show that the local dimension of the first and middle layers of the $n$-dimensional Boolean lattice is asymptotically $\frac{n}{\log_2 n}$ as $n\to\infty$. Previously, all that was known was a lower bound of $Ω(n/\log n)$ and an upper bound of $n$.
Improving a result of Kim, Martin, Masařík, Shull, Smith, Uzzell, and Wang, we also prove that that the maximum local dimension of an $n$-element poset is at least $\left(\frac{1}{4}-o(1)\right)\frac{n}{\log_2 n}$.
Polyharmonic functions and random processes in cones
We investigate polyharmonic functions associated to Brownian motion and random walks in cones. These are functions which cancel some power of the usual Laplacian in the continuous setting and of the discrete Laplacian in the discrete setting. We show that polyharmonic functions naturally appear while considering asymptotic expansions of the heat kernel in the Brownian case and in lattice walk enumeration problems. We provide a method to construct general polyharmonic functions through Laplace transforms and generating functions in the continuous and discrete cases, respectively. This is done by using a functional equation approach.
The $(s,s+d,\dots,s+pd)$-core partitions and the rational Motzkin paths
Published
• View Publication
• BIB
In this paper, we propose an $(s+d,d)$-abacus for $(s,s+d,\dots,s+pd)$-core partitions and establish a bijection between the $(s,s+d,\dots,s+pd)$-core partitions and the rational Motzkin paths of type $(s+d,-d)$. This result not only gives a lattice path interpretation of the $(s,s+d,\dots,s+pd)$-core partitions but also counts them with a closed formula. Also we enumerate $(s,s+1,\dots,s+p)$-core partitions with $k$ corners and self-conjugate $(s,s+1,\dots,s+p)$-core partitions.
On Covering Numbers, Young Diagrams, and the Local Dimension of Posets
We study covering numbers and local covering numbers with respect to difference graphs and complete bipartite graphs. In particular we show that in every cover of a Young diagram with $\binom{2k}{k}$ steps with generalized rectangles there is a row or a column in the diagram that is used by at least $k+1$ rectangles, and prove that this is best-possible. This answers two questions by Kim, Martin, Masa{ř}{\'ı}k, Shull, Smith, Uzzell, and Wang (Europ. J. Comb. 2020), namely:
- What is the local complete bipartite cover number of a difference graph? - Is there a sequence of graphs with constant local difference graph cover number and unbounded local complete bipartite cover number?
We add to the study of these local covering numbers with a lower bound construction and some examples. Following Kim \emph{et al.}, we use the results on local covering numbers to provide lower and upper bounds for the local dimension of partially ordered sets of height~2. We discuss the local dimension of some posets related to Boolean lattices and show that the poset induced by the first two layers of the Boolean lattice has local dimension $(1 + o(1))\log_2\log_2 n$. We conclude with some remarks on covering numbers for digraphs and Ferrers dimension.
On the rational relationships among pseudo-roots of a non-commutative polynomial
Published
• View Publication
• BIB
For a non-commutative ring R, we consider factorizations of polynomials in R[t] where t is a central variable. A pseudo-root of a polynomial p(t) is an element x in R, for which there exist polynomials q(t) and s(t) such that p(t)=q(t)(t-x)s(t). We investigate the rational relationships that hold among the pseudo-roots of p(t) by using the diamond operations for cover graphs of modular lattices.
Interval structures in the Bruhat and weak orders
Published
• View Publication
• BIB
We study the appearance of notable interval structures -- lattices, modular lattices, distributive lattices, and boolean lattices -- in both the Bruhat and weak orders of Coxeter groups. We collect and expand upon known results for principal order ideals, including pattern characterizations and enumerations for the symmetric group. This segues naturally into a similar analysis for arbitrary intervals, although the results are less characterizing for the Bruhat order at this generality. In counterpoint, however, we obtain a full characterization for intervals starting at rank one in the symmetric group, for each of the four structure types, in each of the two posets. Each category can be enumerated, with intriguing connections to Fibonacci and Catalan numbers. We conclude with suggestions for further directions and questions, including an interesting analysis of the intervals formed between a permutation and each generator in its support.
Representations of automorphism groups on the homology of matroids
Published in European Journal of Combinatorics 94 (2021) 103312
• View Publication
• BIB
Given a group $G$ of automorphisms of a matroid $M$, we describe the representations of $G$ on the homology of the independence complex of the dual matroid $M^*$. These representations are related with the homology of the lattice of flats of $M$, and (when $M$ is realizable) with the top cohomology of a hyperplane arrangement. Finally we analyze in detail the case of the complete graph, which has applications to algebraic geometry.
Grossberg-Karshon twisted cubes and hesitant jumping walk avoidance
Published in The Electronic Journal of Combinatorics (E-JC) Volume 27, Issue 3 (2020) #P3.34
• View Publication
• BIB
Let $G$ be a complex simply-laced semisimple algebraic group of rank $r$ and $B$ a Borel subgroup. Let $\mathbf i \in [r]^n$ be a word and let $\mathbf \ell = (\ell_1,\dots,\ell_n)$ be a sequence of non-negative integers. Grossberg and Karshon introduced a virtual lattice polytope associated to $\mathbf i$ and $\mathbf \ell$ called a twisted cube, whose lattice points encode the character of a $B$-representation. More precisely, lattice points in the twisted cube, counted with sign according to a certain density function, yields the character of the generalized Demazure module determined by $\mathbf i$ and $\mathbf \ell$. In recent work, the author and Harada described precisely when the Grossberg-Karshon twisted cube is untwisted, i.e., the twisted cube is a closed convex polytope, in the situation when the integer sequence $\mathbf \ell$ comes from a weight $λ$ of $G$. However, not every integer sequence $\mathbf \ell$ comes from a weight of $G$. In the present paper, we interpret untwistedness of Grossberg-Karshon twisted cubes associated to any word $\mathbf i$ and any integer sequence $\mathbf \ell$ using the combinatorics of $\mathbf i$ and $\mathbf \ell$. Indeed, we prove that the Grossberg-Karshon twisted cube is untwisted precisely when $\mathbf i$ is hesitant-jumping-$\mathbf \ell$-walk-avoiding.
Unitarily invariant valuations and Tutte's sequence
Published in Proceedings of the AMS, 149(2) (2021), 829-841
• View Publication
• BIB
We prove Fu's power series conjecture which relates the algebra of isometry invariant valuations on complex space forms to a formal power series from combinatorics which was introduced by Tutte. The $n$-th coefficient of this series is the number of triangulations of a triangle with $3n$ internal edges; or the number of intervals in Tamari's lattice $Y_n$.
A simple symmetric exclusion process driven by an asymmetric tracer particle
Published in Annales de l'Institut Henri Poincare D, 10 no. 4, (2023) 687--713
• View Publication
• BIB
We consider an exclusion process on a periodic one-dimensional lattice where all particles perform simple symmetric exclusion at rate $1$ except for a single tracer particle, which performs partially simple asymmetric exclusion with rate $p$ to the right and rate $q$ to the left. This model was first considered by Ferrari, Goldstein and Lebowitz (Progr. Phys., 1985) as a test for the validity of the Einstein relation in microscopic systems.
The main thrust of this work is an exact solution for the steady state of this exclusion process. We show that the stationary probabilities factorize and give an exact formula for the nonequilibrium partition function. Perhaps surprisingly, we find that the nonequilibrium free energy in the steady state is not well-defined for this system in the thermodynamic limit for any values of $p$ and $q$ if $p \neq q$. We provide formulas for the current and two-point correlations. When the tracer particle performs asymmetric exclusion ($q=0$), the results are shown to simplify significantly and we find an unexpected connection with the combinatorics of set partitions. Finally, we study the system from the point of view of the tracer particle, the so-called environment process. In the environment process, we show that the density of particles decays exponentially with the scaled position in front of the tracer particle in the thermodynamic limit.
Counting walks by their last erased self-avoiding polygons using sieves
Published in Discrete Mathematics Volume 344, Issue 4, April 2021, 112305
• View Publication
• BIB
Let $G$ be an infinite, vertex-transitive lattice with degree $λ$ and fix a vertex on it. Consider all cycles of length exactly $l$ from this vertex to itself on $G$. Erasing loops chronologically from these cycles, what is the fraction $F_p/λ^{\ell(p)}$ of cycles of length $l$ whose last erased loop is some chosen self-avoiding polygon $p$ of length $\ell(p)$, when $l\to\infty$ ? We use combinatorial sieves to prove an exact formula for $F_p/λ^{\ell(p)}$ that we evaluate explicitly. We further prove that for all self-avoiding polygons $p$, $F_p\in\mathbb{Q}[χ]$ with $χ$ an irrational number depending on the lattice, e.g. $χ=1/π$ on the infinite square lattice. In stark contrast we current methods, we proceed via purely deterministic arguments relying on Viennot's theory of heaps of pieces seen as a semi-commutative extension of number theory. Our approach also sheds light on the origin of the difference between exponents stemming from loop-erased walk and self-avoiding polygon models, and suggests a natural route to bridge the gap between both.
On Kostant's weight $q$-multiplicity formula for $\mathfrak{sl}_{4}(\mathbb{C})$
Published
• View Publication
• BIB
The $q$-analog of Kostant's weight multiplicity formula is an alternating sum over a finite group, known as the Weyl group, whose terms involve the $q$-analog of Kostant's partition function. This formula, when evaluated at $q=1$, gives the multiplicity of a weight in a highest weight representation of a simple Lie algebra. In this paper, we consider the Lie algebra $\mathfrak{sl}_4(\mathbb{C})$ and give closed formulas for the $q$-analog of Kostant's weight multiplicity. This formula depends on the following two sets of results. First, we present closed formulas for the $q$-analog of Kostant's partition function by counting restricted colored integer partitions. These formulas, when evaluated at $q=1$, recover results of De Loera and Sturmfels. Second, we describe and enumerate the Weyl alternation sets, which consist of the elements of the Weyl group that contribute nontrivially to Kostant's weight multiplicity formula. From this, we introduce Weyl alternation diagrams on the root lattice of $\mathfrak{sl}_4(\mathbb{C})$, which are associated to the Weyl alternation sets. This work answers a question posed in 2019 by Harris, Loving, Ramirez, Rennie, Rojas Kirby, Torres Davila, and Ulysse.
Polyhedra of small relative mixed volume
Published
• View Publication
• BIB
We classify all tuples of lattice polyhedra of relative mixed volume 1 and all minimal (by inclusion) tuples of polyhedra of relative mixed volume 2. We also prove a conjecture by A. Esterov, which states that all tuples with finite relative mixed volume are contained in one of finitely many ones that are minimal by inclusion.
de Finetti Lattices and Magog Triangles
Published
• View Publication
• BIB
The order ideal $B_{n,2}$ of the Boolean lattice $B_n$ consists of all subsets of size at most $2$. Let $F_{n,2}$ denote the poset refinement of $B_{n,2}$ induced by the rules: $i < j$ implies $\{i \} \prec \{ j \}$ and $\{i,k \} \prec \{j,k\}$. We give an elementary bijection from the set $\mathcal{F}_{n,2}$ of linear extensions of $F_{n,2}$ to the set of shifted standard Young tableau of shape $(n, n-1, \ldots, 1)$, which are counted by the strict-sense ballot numbers. We find a more surprising result when considering the set $\mathcal{F}_{n,2}^{1}$ of minimal poset refinements in which each singleton is comparable with all of the doubletons. We show that $\mathcal{F}_{n,2}^{1}$ is in bijection with magog triangles, and therefore is equinumerous with alternating sign matrices. We adopt our proof techniques to show that row reversal of an alternating sign matrix corresponds to a natural involution on gog triangles.
Linear relations for Laurent polynomials and lattice equations
Published
• View Publication
• BIB
A recurrence relation is said to have the Laurent property if all of its iterates are Laurent polynomials in the initial values with integer coefficients. We consider a family of nonlinear recurrences with the Laurent property, which were derived by Alman et al. via a construction of periodic seeds in Laurent phenomenon algebras, and generalize the Heideman-Hogan recurrences. Each member of the family is shown to be linearizable, in the sense that the iterates satisfy linear recurrence relations with constant coefficients. The latter are obtained from linear relations with periodic coefficients, which were found recently by Kamiya et al. from travelling wave reductions of a linearizable lattice equation on a 6-point stencil. We introduce another linearizable lattice equation on the same stencil, and present the corresponding linearization for its travelling wave reductions. Finally, for both of the 6-point lattice equations considered, we use the formalism of van der Kamp to construct a broad class of initial value problems with the Laurent property.