lattice
4310 papers tagged with this keyword
M-Polynomial Revisited: Bethe Cacti and an Extension of Gutman's Approach
Published
• View Publication
• BIB
The $M$-polynomial of a graph $G$ is defined as $\sum_{i\le j} m_{i,j}(G)x^iy^j$, where $m_{i,j}(G)$, $i,j\ge 1$, is the number of edges $uv$ of $G$ such that $\{d_v(G), d_u(G)\} = \{i,j\}$. Knowing the $M$-polynomial, formulas for bond incident degree indices (an important subclass of degree-based topological indices) can be obtained by means of specific operators defined on differentiable functions in two variables. This is illustrated on three infinite families of Bethe cacti. Gutman's approach for the computation of the coefficients of the $M$-polynomial is also recalled and an extension of it is given. This extension is used to determine the $M$-polynomial of a two-parameter infinite family of lattice graphs.
On the Twelve-Point Theorem for $\ell$-Reflexive Polygons
Published
• View Publication
• BIB
It is known that, adding the number of lattice points lying on the boundary of a reflexive polygon and the number of lattice points lying on the boundary of its polar, always yields 12. Generalising appropriately the notion of reflexivity, one shows that this remains true for "$\ell$-reflexive polygons". In particular, there exist (for this reason) infinitely many (lattice inequivalent) lattice polygons with the same property. The first proof of this fact is due to Kasprzyk and Nill. The present paper contains a second proof (which uses tools only from toric geometry) as well as the description of complementary properties of these polygons and of the invariants of the corresponding toric log del Pezzo surfaces.
Complemented lattices of subracks
Published
• View Publication
• BIB
In this paper, a question due to Heckenberger, Shareshian and Welker on racks in [7] is positively answered. A rack is a set together with a selfdistributive bijective binary operation. We show that the lattice of subracks of every finite rack is complemented. Moreover, we characterize finite modular lattices of subracks in terms of complements of subracks. Also, we introduce a certain class of racks including all finite groups with the conjugation operation, called G- racks, and we study some of their properties. In particular, we show that a finite G-rack has the homotopy type of a sphere. Further, we show that the lattice of subracks of an infinite rack is not necessarily complemented which gives an affirmative answer to the aformentioned question. Indeed, we show that the lattice of subracks of the set of rational numbers, as a dihedral rack, is not complemented. Finally, we show that being a Boolean algebra, pseudocomplemented and uniquely complemented as well as distributivity are equivalent for the lattice of subracks of a rack.
Asymptotics for the number of zero drift reflectable walks in a Weyl chamber of type A
We study lattice walks in a Weyl chamber of type A with fixed or free end points. For lattice walk models with zero drift that may be counted by means of a reflection argument, we determine asymptotics for the number of such walks as their length tends to infinity. These models are equivalent to the lock step model and the random turns model of vicious walkers. As special cases, our main results include various asymptotic formulas found in the literature.
A bijection between permutation matrices and descending plane partitions without special parts, which respects the quadruplet of statistics considered by Behrend, Di Francesco and Zinn--Justin
Published
• View Publication
• BIB
We present a bijection between permutation matrices and descending plane partitions without special parts, which respects the quadruple of statistics considered by Behrend, Di Francesco and Zinn--Justin. This bijection involves the inversion words of permutations and the "usual" representation of descending plane partitions as families of non--intersec\-ting lattice paths.
Burning the plane: densities of the infinite Cartesian grid
Published
• View Publication
• BIB
Graph burning is a discrete-time process on graphs, where vertices are sequentially burned, and burned vertices cause their neighbours to burn over time. We consider extremal properties of this process in the new setting where the underlying graph is also changing at each time-step. The main focus is on the possible densities of burning vertices when the sequence of underlying graphs are growing grids in the Cartesian plane, centred at the origin. If the grids are of height and width $2cn+1$ at time $n$, then all values in $\left [ \frac{1}{2c^2} , 1 \right ]$ are possible densities for the burned set. For faster growing grids, we show that there is a threshold behaviour: if the size of the grids at time $n$ is $ω(n^{3/2})$, then the density of burned vertices is always $0$, while if the grid sizes are $Θ(n^{3/2})$, then positive densities are possible. Some extensions to lattices of arbitrary but fixed dimension are also considered.
On the regularity of join-meet ideals of modular lattices
Published
• View Publication
• BIB
We study join-meet ideals associated with modular non-distributive lattices. We give a lower bound for the regularity and show that they are not linearly related.
Counting subgroups of fixed order in finite abelian groups
Published
• View Publication
• BIB
We use recurrence relations to derive explicit formulas for counting the number of subgroups of given order (or index) in rank 3 finite abelian p-groups and use these to derive similar formulas in few cases for rank 4. As a consequence, we answer some questions by M. T$\ddot{a}$rn$\ddot{a}$uceanu in \cite{MT} and L. T$\dot{\acute{o}}$th in \cite{LT}. We also use other methods such as the method of fundamental group lattices introduced in \cite{MT} to derive a similar counting function in a special case of arbitrary rank finite abelian p-groups.
Geometry and algorithms for upper triangular tropical matrix identities
Published
• View Publication
• BIB
We provide geometric methods and algorithms to verify, construct and enumerate pairs of words (of specified length over a fixed $m$-letter alphabet) that form identities in the semigroup $\ut{n}$ of $n\times n$ upper triangular tropical matrices. In the case $n=2$ these identities are precisely those satisfied by the bicyclic monoid, whilst in the case $n=3$ they form a subset of the identities which hold in the plactic monoid of rank $3$. To each word we associate a signature sequence of lattice polytopes, and show that two words form an identity for $\ut{n}$ if and only if their signatures are equal. Our algorithms are thus based on polyhedral computations and achieve optimal complexity in some cases. For $n=m=2$ we prove a Structural Theorem, which allows us to quickly enumerate the pairs of words of fixed length which form identities for $\ut{2}$. This allows us to recover a short proof of Adjan's theorem on minimal length identities for the bicyclic monoid, and to construct minimal length identities for $\ut{3}$, providing counterexamples to a conjecture of Izhakian in this case. We conclude with six conjectures at the intersection of semigroup theory, probability and combinatorics, obtained through analysing the outputs of our algorithms.
Counting walks with large steps in an orthant
Published
• View Publication
• BIB
In the past fifteen years, the enumeration of lattice walks with steps takenin a prescribed set S and confined to a given cone, especially the firstquadrant of the plane, has been intensely studied. As a result, the generating functions ofquadrant walks are now well-understood, provided the allowed steps aresmall, that is $S \subset \{-1, 0,1\}^2$. In particular, having smallsteps is crucial for the definition of a certain group of bi-rationaltransformations of the plane. It has been proved that this group is finite ifand only if the corresponding generating function is D-finite (that is, it satisfies a lineardifferential equation with polynomial coefficients). This group is also thekey to the uniform solution of 19 of the 23 small step models possessing afinite group.In contrast, almost nothing is known for walks with arbitrary steps. In thispaper, we extend the definition of the group, or rather of the associatedorbit, to this general case, and generalize the above uniform solution ofsmall step models. When this approach works, it invariably yields a D-finitegenerating function. We apply it to many quadrant problems, including some infinite families.After developing the general theory, we consider the $13\ 110$ two-dimensionalmodels with steps in $\{-2,-1,0,1\}^2$ having at least one $-2$ coordinate. Weprove that only 240 of them have a finite orbit, and solve 231 of them withour method. The 9 remaining models are the counterparts of the 4 models of thesmall step case that resist the uniform solution method (and which are knownto have an algebraic generating function). We conjecture D-finiteness for their generatingfunctions, but only two of them are likely to be algebraic. We also provenon-D-finiteness for the $12\ 870$ models with an infinite orbit, except for16 of them.
Random integral matrices: universality of surjectivity and the cokernel
Published
• View Publication
• BIB
For a random matrix of entries sampled independently from a fairly general distribution in Z we study the probability that the cokernel is isomorphic to a given finite abelian group, or when it is cyclic. This includes the probability that the linear map between the integer lattices given by the matrix is surjective. We show that these statistics are asymptotically universal (as the size of the matrix goes to infinity), given by precise formulas involving zeta values, and agree with distributions defined by Cohen and Lenstra, even when the distribution of matrix entries is very distorted. Our method is robust and works for Laplacians of random digraphs and sparse matrices with the probability of an entry non-zero only n^{-1+epsilon}.
Sign matrix polytopes from Young tableaux
Published in Linear Algebra Appl. 574 (2019), 84-122
• View Publication
• BIB
Motivated by the study of polytopes formed as the convex hull of permutation matrices and alternating sign matrices, we define several new families of polytopes as convex hulls of sign matrices, which are certain {0,1,-1}-matrices in bijection with semistandard Young tableaux. We investigate various properties of these polytopes, including their inequality descriptions, vertices, facets, and face lattices, as well as connections to alternating sign matrix polytopes and transportation polytopes.
The GraftalLace Cellular Automaton
We introduce our GraftalLace Cellular Automaton in short GLCA which is a new one-dimensional cellular automaton on the regular square lattice. It makes a monochromatic infinite directed graph otherwise an octal number triangle or number trapezoid by partly influences the states of the neighbour cells with bit operations. We show new ways to make symmetric fractals like Sierpinski triangle and Pascal triangle modulo 3 and unknown complex patterns. We find reversible rules and show possibilities to represent and extend our automaton in different ways. 2D version of GLCA can be represented as a 3D digraph or a 2D animated tessellation which could be a closer relative of Conway's Game of Life.
On the non-existence of linear perfect Lee codes: The Zhang-Ge condition and a new polynomial criterion
Published
• View Publication
• BIB
The Golomb-Welch conjecture (1968) states that there are no $e$-perfect Lee codes in $\mathbb{Z}^n$ for $n\geq 3$ and $e\geq 2$. This conjecture remains open even for linear codes. A recent result of Zhang and Ge establishes the non-existence of linear $e$-perfect Lee codes in $\mathbb{Z}^n$ for infinitely many dimensions $n$, for $e=3$ and $4$. In this paper we extend this result in two ways. First, using the non-existence criterion of Zhang and Ge together with a generalized version of Lucas' theorem we extend the above result for almost all $e$ (i.e. a subset of positive integers with density $1$). Namely, if $e$ contains a digit $1$ in its base-$3$ representation which is not in the unit place (e.g. $e=3,4$) there are no linear $e$-perfect Lee codes in $\mathbb{Z}^n$ for infinitely many dimensions $n$. Next, based on a family of polynomials (the $Q$-polynomials), we present a new criterion for the non-existence of certain lattice tilings. This criterion depends on a prime $p$ and a tile $B$. For $p=3$ and $B$ being a Lee ball we recover the criterion of Zhang and Ge.
Vertex-Maximal Lattice Polytopes Contained in 2-Simplices
Motivated by the problem of bounding the number of rays of plane tropical curves we study the following question: Given $n\in\mathbb{N}$ and a unimodular $2$-simplex $Δ$ what is the maximal number of vertices a lattice polytope contained in $n\cdot Δ$ can have? We determine this number for an infinite subset of $\mathbb{N}$ by providing a family of vertex-maximal polytopes and give bounds for the other cases.
On interrelations between strongly, weakly and chord separated set-systems (a geometric approach)
Published
• View Publication
• BIB
We consider three types of set-systems that have interesting applications in algebraic combinatorics and representation theory: maximal collections of the so-called strongly separated, weakly separated, and chord separated subsets of a set $[n]=\{1,2,\ldots,n\}$. These collections are known to admit nice geometric interpretations; namely, they are bijective, respectively, to rhombus tilings on the zonogon $Z(n,2)$, combined tilings on $Z(n,2)$, and fine zonotopal tilings (or `cubillages') on the 3-dimensional zonotope $Z(n,3)$. We describe interrelations between these three types of set-systems in $2^{[n]}$, by studying interrelations between their geometric models. In particular, we completely characterize the sets of rhombus and combined tilings properly embeddable in a fixed cubillage, explain that they form distributive lattices, give efficient methods of extending a given rhombus or combined tiling to a cubillage, and etc.
Local time for lattice paths and the associated limit laws
For generalized Dyck paths (i.e., directed lattice paths with any finite set of jumps), we analyse their local time at zero (i.e., the number of times the path is touching or crossing the abscissa). As we are in a discrete setting, the event we analyse here is '' invisible '' to the tools of Brownian motion theory. It is interesting that the key tool for analysing directed lattice paths, which is the kernel method, is not directly applicable here. Therefore, we introduce a variant of this kernel method to get the trivariate generating function (length, final altitude, local time): this leads to an expression involving symmetric and algebraic functions. We apply this analysis to different types of constrained lattice paths (meanders , excursions, bridges,. . .). Then, we illustrate this approach on 'basketball walks ' which are walks defined by the jumps --2, --1, 0, +1, +2. We use singularity analysis to prove that the limit laws for the local time are (depending on the drift and the type of walk) the geometric distribution, the negative binomial distribution, the Rayleigh distribution, or the half-normal distribution (a universal distribution up to now rarely encountered in analytic combinatorics).
On standard Young tableaux of bounded height
Published
• View Publication
• BIB
We survey some recent works on standard Young tableaux of bounded height. We focus on consequences resulting from numerous bijections to lattice walks in Weyl chambers.
On power ideals of transversal matroids and their "parking functions"
Published
• View Publication
• BIB
To a vector configuration one can associate a polynomial ideal generated by powers of linear forms, known as a power ideal, which exhibits many combinatorial features of the matroid underlying the configuration.
In this note we observe that certain power ideals associated to transversal matroids are, somewhat unexpectedly, monomial. Moreover, the (monomial) basis elements of the quotient ring defined by such a power ideal can be naturally identified with the lattice points of a remarkable convex polytope: a polymatroid, also known as generalized permutohedron. We dub the exponent vectors of these monomial basis elements "parking functions" of the corresponding transversal matroid.
We highlight the connection between our investigation and Stanley-Reisner theory, and relate our findings to Stanley's conjectured necessary condition on matroid $h$-vectors.
Exceptional graphs for the random walk
Published
• View Publication
• BIB
If $\mathcal{W}$ is the simple random walk on the square lattice $\mathbb{Z}^2$, then $\mathcal{W}$ induces a random walk $\mathcal{W}_G$ on any spanning subgraph $G\subset \mathbb{Z}^2$ of the lattice as follows: viewing $\mathcal{W}$ as a uniformly random infinite word on the alphabet $\{\mathbf{x}, -\mathbf{x}, \mathbf{y}, -\mathbf{y} \}$, the walk $\mathcal{W}_G$ starts at the origin and follows the directions specified by $\mathcal{W}$, only accepting steps of $\mathcal{W}$ along which the walk $\mathcal{W}_G$ does not exit $G$. For any fixed subgraph $G \subset \mathbb{Z}^2$, the walk $\mathcal{W}_G$ is distributed as the simple random walk on $G$, and hence $\mathcal{W}_G$ is almost surely recurrent in the sense that $\mathcal{W}_G$ visits every site reachable from the origin in $G$ infinitely often. This fact naturally leads us to ask the following: does $\mathcal{W}$ almost surely have the property that $\mathcal{W}_G$ is recurrent for \emph{every} subgraph $G \subset \mathbb{Z}^2$? We answer this question negatively, demonstrating that exceptional subgraphs exist almost surely. In fact, we show more to be true: exceptional subgraphs continue to exist almost surely for a countable collection of independent simple random walks, but on the other hand, there are almost surely no exceptional subgraphs for a branching random walk.