group
10405 papers tagged with this keyword
The Erdős-Ginzburg-Ziv constant and progression-free subsets
Ellenberg and Gijswijt gave recently a new exponential upper bound for the size of three-term arithmetic progression free sets in $({\mathbb Z_p})^n$, where $p$ is a prime. Petrov summarized their method and generalized their result to linear forms.
In this short note we use Petrov's result to give new exponential upper bounds for the Erdős-Ginzburg-Ziv constant of finite Abelian groups of high rank. Our main results depend on a conjecture about Property D.
Geometric Bijections for Regular Matroids, Zonotopes, and Ehrhart Theory
Published in Forum of Mathematics, Sigma 7 (2019) e45
• View Publication
• BIB
Let $M$ be a regular matroid. The Jacobian group ${\rm Jac}(M)$ of $M$ is a finite abelian group whose cardinality is equal to the number of bases of $M$. This group generalizes the definition of the Jacobian group (also known as the critical group or sandpile group) ${\rm Jac}(G)$ of a graph $G$ (in which case bases of the corresponding regular matroid are spanning trees of $G$).
There are many explicit combinatorial bijections in the literature between the Jacobian group of a graph ${\rm Jac}(G)$ and spanning trees. However, most of the known bijections use vertices of $G$ in some essential way and are inherently "non-matroidal". In this paper, we construct a family of explicit and easy-to-describe bijections between the Jacobian group of a regular matroid $M$ and bases of $M$, many instances of which are new even in the case of graphs. We first describe our family of bijections in a purely combinatorial way in terms of orientations; more specifically, we prove that the Jacobian group of $M$ admits a canonical simply transitive action on the set ${\mathcal G}(M)$ of circuit-cocircuit reversal classes of $M$, and then define a family of combinatorial bijections $β_{σ,σ^*}$ between ${\mathcal G}(M)$ and bases of $M$. (Here $σ$ (resp. $σ^*$) is an acyclic signature of the set of circuits (resp. cocircuits) of $M$.) We then give a geometric interpretation of each such map $β=β_{σ,σ^*}$ in terms of zonotopal subdivisions which is used to verify that $β$ is indeed a bijection.
Finally, we give a combinatorial interpretation of lattice points in the zonotope $Z$; by passing to dilations we obtain a new derivation of Stanley's formula linking the Ehrhart polynomial of $Z$ to the Tutte polynomial of $M$.
How many elements of a Coxeter group have a unique reduced expression?
Published
• View Publication
• BIB
Let $(W,R)$ be an arbitrary Coxeter system. We determine the number of elements of $W$ that have a unique reduced expression.
Row bounds needed to justifiably express flagged Schur functions with Gessel-Viennot determinants
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Combinatorics (April 23, 2021) dmtcs:6632
• View Publication
• BIB
Let $λ$ be a partition with no more than $n$ parts. Let $β$ be a weakly increasing $n$-tuple with entries from $\{ 1, ... , n \}$. The flagged Schur function in the variables $x_1, ... , x_n$ that is indexed by $λ$ and $β$ has been defined to be the sum of the content weight monomials for the semistandard Young tableaux of shape $λ$ whose values are row-wise bounded by the entries of $β$. Gessel and Viennot gave a determinant expression for the flagged Schur function indexed by $λ$ and $β$; this could be done since the pair $(λ, β)$ satisfied their "nonpermutable" condition for the sequence of terminals of an $n$-tuple of lattice paths that they used to model the tableaux. We generalize flagged Schur functions by dropping the requirement that $β$ be weakly increasing. Then for each $λ$ we give a condition on the entries of $β$ for the pair $(λ, β)$ to be nonpermutable that is both necessary and sufficient. When the parts of $λ$ are not distinct there will be multiple row bound $n$-tuples $β$ that will produce the same set of tableaux. We accordingly group the bounding $β$ into equivalence classes and identify the most efficient $β$ in each class for the determinant computation. We recently showed that many other sets of objects that are indexed by $n$ and $λ$ are enumerated by the number of these efficient $n$-tuples. We called these counts "parabolic Catalan numbers". It is noted that the $GL(n)$ Demazure characters (key polynomials) indexed by 312-avoiding permutations can also be expressed with these determinants.
Vertical perimeter versus horizontal perimeter
Published
• View Publication
• BIB
The discrete Heisenberg group $\mathbb{H}_{\mathbb{Z}}^{2k+1}$ is the group generated by $a_1,b_1,\ldots,a_k,b_k,c$, subject to the relations $[a_1,b_1]=\ldots=[a_k,b_k]=c$ and $[a_i,a_j]=[b_i,b_j]=[a_i,b_j]=[a_i,c]=[b_i,c]=1$ for every distinct $i,j\in \{1,\ldots,k\}$. Denote $S=\{a_1^{\pm 1},b_1^{\pm 1},\ldots,a_k^{\pm 1},b_k^{\pm 1}\}$. The horizontal boundary of $Ω\subset \mathbb{H}_{\mathbb{Z}}^{2k+1}$, denoted $\partial_{h}Ω$, is the set of all $(x,y)\in Ω\times (\mathbb{H}_{\mathbb{Z}}^{2k+1}\setminus Ω)$ such that $x^{-1}y\in S$. The horizontal perimeter of $Ω$ is $|\partial_{h}Ω|$. For $t\in \mathbb{N}$, define $\partial^t_{v} Ω$ to be the set of all $(x,y)\in Ω\times (\mathbb{H}_{\mathsf{Z}}^{2k+1}\setminus Ω)$ such that $x^{-1}y\in \{c^t,c^{-t}\}$. The vertical perimeter of $Ω$ is defined by $|\partial_{v}Ω|= \sqrt{\sum_{t=1}^\infty |\partial^t_{v}Ω|^2/t^2}$. It is shown here that if $k\ge 2$, then $|\partial_{v}Ω|\lesssim \frac{1}{k} |\partial_{h}Ω|$. The proof of this "vertical versus horizontal isoperimetric inequality" uses a new structural result that decomposes sets of finite perimeter in the Heisenberg group into pieces that admit an "intrinsic corona decomposition." This allows one to deduce an endpoint $W^{1,1}\to L_2(L_1)$ boundedness of a certain singular integral operator from a corresponding lower-dimensional $W^{1,2}\to L_2(L_2)$ boundedness. The above inequality has several applications, including that any embedding into $L_1$ of a ball of radius $n$ in the word metric on $\mathbb{H}_{\mathbb{Z}}^{5}$ incurs bi-Lipschitz distortion that is at least a constant multiple of $\sqrt{\log n}$. It follows that the integrality gap of the Goemans--Linial semidefinite program for the Sparsest Cut Problem on inputs of size $n$ is at least a constant multiple of $\sqrt{\log n}$.
Partition functions and a generalized coloring-flow duality for embedded graphs
Published in Journal of Graph Theory, 88(2) (2018), 271-283
• View Publication
• BIB
Let $G$ be a finite group and $χ: G \rightarrow \mathbb{C}$ a class function. Let $H = (V,E)$ be a directed graph with for each vertex a cyclic order of the edges incident to it. The cyclic orders give a collection $F$ of faces of $H$. Define the partition function $P_χ(H) := \sum_{κ: E \rightarrow G}\prod_{v \in V}χ(κ(δ(v)))$, where $κ(δ(v))$ denotes the product of the $κ$-values of the edges incident with $v$ (in order), where the inverse is taken for any edge leaving $v$. Write $χ= \sum_λm_λχ_λ$, where the sum runs over irreducible representations $λ$ of $G$ with character $χ_λ$ and with $m_λ \in \mathbb{C}$ for every $λ$. If $H$ is connected, it is proved that $P_χ(H) = |G|^{|E|}\sum_λχ_λ(1)^{|F|-|E|}m_λ^{|V|}$, where $1$ is the identity element of $G$. Among the corollaries, a formula for the number of nowhere-identity $G$-flows on $H$ is derived, generalizing a result of Tutte. We show that these flows correspond bijectively to certain proper $G$-colorings of a covering graph of the dual graph of $H$. This correspondence generalizes coloring-flow duality for planar graphs.
The distinguishing number of groups based on the distinguishing number of subgroups
Published
• View Publication
• BIB
Let $Γ$ be a group acting on a set $X$. The distinguishing number for this action of $Γ$ on $X$, denoted by $D_Γ(X)$, is the smallest natural number $k$ such that the elements of $X$ can be labeled with $k$ labels so that any label-preserving element of $Γ$ fixes all $x \in X$. In particular, if the action is faithful, then the only element of $Γ$ preserving labels is the identity. In this paper, we obtain an upper bound on the distinguishing number of a set knowing the distinguishing number of a set under the action of a subgroup. By the concept of motion, we obtain an upper bound for the distinguishing number of a group. Motivated by a problem (Chan 2006), we characterize $D_{Γ,H}(X)$ which is the smallest number of labels admitting a labeling of $X$ such that the only elements of $Γ$ that induce label-preserving permutations lie in $H$. Finally, we state two algorithms for obtaining an upper and a lower bound for $D_{Γ, H}(X)$.
A construction of group divisible designs with zero block sum
This paper gives a construction of group divisible designs on the binary extension fields with block sizes 3, 4, 5, 6, and 7, respectively, which is motivated from the decoding of binary quadratic residue codes. A conjecture is proposed for this construction of group divisible designs with larger block sizes.
An algebraic approach to lifts of digraphs
We study the relationship between two key concepts in the theory of (di)graphs: the quotient digraph, and the lift $Γ^α$ of a base (voltage) digraph. These techniques contract or expand a given digraph in order to study its characteristics, or obtain more involved structures. This study is carried out by introducing a quotient-like matrix, with complex polynomial entries, which fully represents $Γ^α$. In particular, such a matrix gives the quotient matrix of a regular partition of $Γ^α$, and when the involved group is Abelian, it completely determines the spectrum of $Γ^α$. As some examples of our techniques, we study some basic properties of the Alegre digraph. In addition we completely characterize the spectrum of a new family of digraphs, which contains the generalized Petersen graphs, and that of the Hoffman-Singleton graph.
Upper triangular matrix walk: Cutoff for finitely many columns
Published
• View Publication
• BIB
We consider random walk on the group of uni-upper triangular matrices with entries in $\mathbb{F}_2$ which forms an important example of a nilpotent group. Peres and Sly (2013) proved tight bounds on the mixing time of this walk up to constants. It is well known that the single column projection of this chain is the one dimensional East process. In this article, we complement the Peres-Sly result by proving a cutoff result for the mixing of finitely many columns in the upper triangular matrix walk at the same location as the East process of the same dimension. Moreover, we also show that the spectral gaps of the matrix walk and the East process are equal. The proof of the cutoff result is based on a recursive argument which uses a local version of a dual process appearing in Peres and Sly (2013), various combinatorial consequences of mixing and concentration results for the movement of the front in the one dimensional East process.
Discrete Morse theory and classifying spaces
Published
• View Publication
• BIB
The aim of this paper is to develop a refinement of Forman's discrete Morse theory. To an acyclic partial matching $μ$ on a finite regular CW complex $X$, Forman introduced a discrete analogue of gradient flows. Although Forman's gradient flow has been proved to be useful in practical computations of homology groups, it is not sufficient to recover the homotopy type of $X$. Forman also proved the existence of a CW complex which is homotopy equivalent to $X$ and whose cells are in one-to-one correspondence with the critical cells of $μ$, but the construction is ad hoc and does not have a combinatorial description. By relaxing the definition of Forman's gradient flows, we introduce the notion of flow paths, which contains enough information to reconstruct the homotopy type of $X$, while retaining a combinatorial description. The critical difference from Forman's gradient flows is the existence of a partial order on the set of flow paths, from which a $2$-category $C(μ)$ is constructed. It is shown that the classifying space of $C(μ)$ is homotopy equivalent to $X$ by using homotopy theory of $2$-categories. This result can be also regarded as a discrete analogue of the unpublished work of Cohen, Jones, and Segal on Morse theory in early 90's.
On Garland's vanishing theorem for $\mathrm{SL}_n$
Published in European Journal of Mathematics 2 (2016), 579-613
• View Publication
• BIB
This is an expository paper on Garland's vanishing theorem specialized to the case when the linear algebraic group is $\mathrm{SL}_n$. Garland's theorem can be stated as a vanishing of the cohomology groups of certain finite simplicial complexes. The method of the proof is quite interesting on its own. It relates the vanishing of cohomology to the assertion that the minimal positive eigenvalue of a certain combinatorial laplacian is sufficiently large. Since the 1970's, this idea has found applications in a variety of problems in representation theory, group theory, and combinatorics, so the paper might be of interest to a wide audience. The paper is intended for non-specialists and graduate students.
Length enumeration of fully commutative elements in finite and affine Coxeter groups
Published in J. Algebra, 513 (2018) 466-515
• View Publication
• BIB
An element w of a Coxeter group W is said to be fully commutative, if any reduced expression of w can be obtained from any other by transposing adjacent pairs of generators. These elements were described in 1996 by Stembridge in the case of finite irreducible groups, and more recently by Biagioli, Jouhet and Nadeau (BJN) in the affine cases. We focus here on the length enumeration of these elements. Using a recursive description, BJN established for the associated generating functions systems of non-linear q-equations. Here, we show that an alternative recursive description leads to explicit expressions for these generating functions.
Combinatorial Invariance of Kazhdan-Lusztig-Vogan Polyomials for Fixed Point Free Involutions
Published
• View Publication
• BIB
When $Sp(2n,\mathbb{C})$ acts on the flag variety of $SL(2n,\mathbb{C})$, the orbits are in bijection with fixed point free involutions in the symmetric group $S_{2n}$. In this case, the associated Kazhdan-Lusztig-Vogan polynomials $P_{v,u}$ can be indexed by pairs of fixed point free involutions $v\geq u$, where $\geq$ denotes the Bruhat order on $S_{2n}$. We prove that these polynomials are combinatorial invariants in the sense that if $f: [u, w_0 ] \rightarrow [u , w_0]$ is a poset isomorphism of upper intervals in the Bruhat order on fixed point free involutions, then $P_{v,u} = P_{f(v),u}$ for all $v \geq u$.
Generalized Riordan arrays and zero generalized Pascal matrices
Generalized Pascal matrix whose elements are generalized binomial coefficients is included in the group of generalized Riordan arrays. There is a special set of generalized Riordan arrays defined by parameter $q$. If $q=0$, they are ordinary Riordan arrays, if $q=1$, they are exponential Riordan arrays. In other cases, except $q=-1$, they are arrays associated with the $q$-binomial coefficients as well as the exponential Riordan arrays are associated with the ordinary binomial coefficients. Case $q=-1$ does not fit into the concept of generalized Riordan arrays, but it is necessary to expand for it. Introduced a special class of matrices, each of which is a limiting case of a certain set of generalized Pascal matrices. It is shown that every such matrix included in the matrix group similar to the generalized Riordan group.
Mixing for three-term progressions in finite simple groups
Published in Math. Proc. Cambridge Philos. Soc. 165 (2018), no. 2, 279-286
• View Publication
• BIB
Answering a question of Gowers, Tao proved that any $A\times B\times C\subset SL_d(\mathbb{F}_q)^3$ contains $|A||B||C|/|SL_d(\mathbb{F}_q)|+O_d(|SL_d(\mathbb{F}_q)|^2/q^{\min(d-1,2)/8})$ three-term progressions $(x,xy,xy^2)$. Using a modification of Tao's argument, we prove such a mixing result for three-term progressions in all nonabelian finite simple groups except for $PSL_2(\mathbb{F}_q)$ with an error term that depends on the degree of quasirandomness of the group. This argument also gives an alternative proof of Tao's result when $d>2$, but with the error term $O(|SL_d(\mathbb{F}_q)|^2/q^{(d-1)/24})$.
A normal quotient analysis for some families of oriented four-valent graphs
Published
• View Publication
• BIB
We analyse the normal quotient structure of several infinite families of finite connected edge-transitive, four-valent oriented graphs. These families were singled out by Marusic and others to illustrate various different internal structures for these graphs in terms of their alternating cycles (cycles in which consecutive edges have opposite orientations). Studying the normal quotients gives fresh insights into these oriented graphs: in particular we discovered some unexpected `cross-overs' between these graph families when we formed normal quotients. We determine which of these oriented graphs are `basic', in the sense that their only proper normal quotients are degenerate. Moreover, we show that the three types of edge-orientations studied are the only orientations, of the underlying undirected graphs in these families, which are invariant under a group action which is both vertex-transitive and edge-transitive.
Generalised Paley graphs with a product structure
Published
• View Publication
• BIB
A graph is Cartesian decomposable if it is isomorphic to a Cartesian product of (more than one) strictly smaller graphs, each of which has more than one vertex and admits no such decomposition. These smaller graphs are called the Cartesian-prime factors of the Cartesian decomposition, and were shown, by Sabidussi and Vizing independently, to be uniquely determined up to isomorphism. We characterise by their parameters those generalised Paley graphs which are Cartesian decomposable, and we prove that for such graphs, the Cartesian-prime factors are themselves smaller generalised Paley graphs. This generalises a result of Lim and the second author which deals with the case where all the Cartesian-prime factors are complete graphs. These results contribute to the determination, by parameters, of generalised Paley graphs with automorphism groups larger than the 1-dimensional affine subgroups used to define them.
Finite edge-transitive oriented graphs of valency four with cyclic normal quotients
Published
• View Publication
• BIB
We study finite four-valent graphs Gamma admitting an edge-transitive group G of automorphisms such that G determines and preserves an edge-orientation on Gamma, and such that at least one G-normal quotient is a cycle (a quotient modulo the orbits of a normal subgroup of G). We show on the one hand that the number of distinct cyclic G-normal quotients can be unboundedly large. On the other hand existence of independent cyclic G-normal quotients (that is, they are not extendable to a common cyclic G-normal quotient) places severe restrictions on the graph Gamma and we classify all examples. We show there are five infinite families of such pairs (Gamma, G), and in particular that all such graphs have at least one normal quotient which is an unoriented cycle. We compare this new approach with existing treatments for the sub-class of weak metacirculant graphs with these properties, finding that only two infinite families of examples occur in common from both analyses. Several open problems are posed.
Structure of Polyzetas and Explicit Representation on Transcendence Bases of Shuffle and Stuffle Algebras
Published
• View Publication
• BIB
Polyzetas, indexed by words, satisfy shuffle and quasi-shuffle identities. In this respect, one can explore the multiplicative and algorithmic (locally finite) properties of their generating series. In this paper, we construct pairs of bases in duality on which polyzetas are established in order to compute local coordinates in the infinite dimensional Lie groups where their non-commutative generating series live. We also propose new algorithms leading to the ideal of polynomial relations, homogeneous in weight, among polyzetas (the graded kernel) and their explicit representation (as data structures) in terms of irreducible elements.