group
10258 papers tagged with this keyword
The sieving phenomenon for finite groups
The cyclic sieving phenomenon is a well-studied occurrence in combinatorics appearing when a cyclic group acts on a finite set. In this paper, we demonstrate a natural extension of this theory to finite abelian groups. We also present a similar result for dihedral groups and suggest approaches for natural generalizations to nonabelian groups.
Dual graded graphs and Bratteli diagrams of towers of groups
Published in Electronic Journal of Combinatorics 26(1) (2019), #P1.25
• Search Publication
An $r$-dual tower of groups is a nested sequence of finite groups, like the symmetric groups, whose Bratteli diagram forms an $r$-dual graded graph. Miller and Reiner introduced a special case of these towers in order to study the Smith forms of the up and down maps in a differential poset. Agarwal and the author have also used these towers to compute critical groups of representations of groups appearing in the tower. In this paper I prove that when $r$ is one or prime, wreath products of a fixed group with the symmetric groups are the only $r$-dual tower of groups, and conjecture that this is the case for general values of $r$. This implies that these wreath products are the only groups for which one can define an analog of the Robinson-Schensted bijection in terms of a growth rule in a dual graded graph.
Parity Polytopes and Binarization
We consider generalizations of parity polytopes whose variables, in addition to a parity constraint, satisfy certain ordering constraints. More precisely, the variable domain is partitioned into $k$ contiguous groups, and within each group, we require that $x_i \geq x_{i+1}$ for all relevant $i$. Such constraints are used to break symmetry after replacing an integer variable by a sum of binary variables, so-called binarization. We provide extended formulations for such polytopes, derive a complete outer description, and present a separation algorithm for the new constraints. It turns out that applying binarization and only enforcing parity constraints on the new variables is often a bad idea. For our application, an integer programming model for the graphic traveling salesman problem, we observe that parity constraints do not improve the dual bounds, and we provide a theoretical explanation of this effect.
Systolic inequalities for K3 surfaces via stability conditions
Published in Math. Z., 2022
• Search Publication
We introduce the notions of categorical systoles and categorical volumes of Bridgeland stability conditions on triangulated categories. We prove that for any projective K3 surface, there exists a constant C depending only on the rank and discriminant of its Picard group, such that $$\mathrm{sys}(σ)^2\leq C\cdot\mathrm{vol}(σ)$$ holds for any stability condition on the derived category of coherent sheaves on the K3 surface. This is an algebro-geometric generalization of a classical systolic inequality on two-tori. We also discuss applications of this inequality in symplectic geometry.
Strict monotonicity of percolation thresholds under covering maps
We answer a question of Benjamini and Schramm by proving that under reasonable conditions, quotienting a graph strictly increases the value of its percolation critical parameter $p_c$. More precisely, let $\mathcal{G}=(V,E)$ be a quasi-transitive graph with $p_c(\mathcal{G})<1$, and let $G$ be a nontrivial group that acts freely on $V$ by graph automorphisms. Assume that $\mathcal{H}:=\mathcal{G}/G$ is quasi-transitive. Then one has $p_c(\mathcal{G})<p_c(\mathcal{H})$. We provide results beyond this setting: we treat the case of general covering maps and provide a similar result for the uniqueness parameter $p_u$, under an additional assumption of boundedness of the fibres. The proof makes use of a coupling built by lifting the exploration of the cluster, and an exploratory counterpart of Aizenman-Grimmett's essential enhancements.
The $\{1,s\}$-weighted Davenport constant in $C_n^k$
Let $G$ be a finite abelian group and let $\varnothing \neq A \subset \mathbb Z$. The $A$-weighted Davenport constant of $G$ is the smallest positive integer ${\sf D}_A(G)$ such that every sequence $x_1 \boldsymbol{\cdot} {\dots} \boldsymbol{\cdot} x_{{\sf D}_A(G)}$ over $G$ has a non-empty subsequence $(x_{j_i})_i$ such that ${\varepsilon_1} x_{j_1} + {\varepsilon_2} x_{j_2} + {\dots} + {\varepsilon_t} x_{j_t} = 0$ for some $\varepsilon_1, \varepsilon_2, {\dots}, \varepsilon_t \in A$. In this paper, we obtain both upper and lower bounds for ${\sf D}_{\{1,s\}}(C_n^k)$, where $C_n$ denotes the cyclic group of order $n$, $s^2 \equiv 1 \pmod n$ and $s \not\equiv \pm1 \pmod n$. These bounds become sharp in some "small" cases.
Equivariant Algebraic Morse Theory
In this paper we develop Algebraic Morse Theory for the case where a group acts on a free chain complex. Algebraic Morse Theory is an adaption of Discrete Morse Theory to free chain complexes.
An equivalent formulation of chromatic quasi-polynomials
Published in Discrete Mathematics, 343 (2020)
• View Publication
• BIB
Given a central integral arrangement, the reduction of the arrangement modulo positive integers $q$ gives rise to a subgroup arrangement in $(\mathbb{Z}/q\mathbb{Z})^\ell$. Kamiya-Takemura-Terao (2008) introduced the notion of characteristic quasi-polynomials, which uses to evaluate the cardinality of the complement of the subgroup arrangement. Chen-Wang (2012) found a similar but more general setting that replacing the integral arrangement by its restriction to a subspace of $\mathbb{R}^\ell$, and evaluating the cardinality of the $q$-reduction complement will also lead to a quasi-polynomial in $q$. On an independent study, Brändén-Moci (2014) defined the so-called chromatic quasi-polynomial, and initiated the study of $q$-colorings on a finite list of elements in a finitely generated abelian group. The main purpose of this paper is to verify that the Chen-Wang's quasi-polynomial and the Brändén-Moci's chromatic quasi-polynomial are equivalent in the sense that the quasi-polynomials enumerate the cardinalities of isomorphic sets.
Nilspace factors for general uniformity seminorms, cubic exchangeability and limits
Published
• View Publication
• BIB
We study a class of measure-theoretic objects that we call cubic couplings, on which there is a common generalization of the Gowers norms and the Host-Kra seminorms. Our main result yields a complete structural description of cubic couplings, using nilspaces. We give three applications. Firstly, we describe the characteristic factors of Host-Kra type seminorms for measure-preserving actions of countable nilpotent groups. This yields an extension of the structure theorem of Host and Kra. Secondly, we characterize sequences of random variables with a property that we call cubic exchangeability. These are sequences indexed by the infinite discrete cube, such that for every integer $k\geq 0$ the joint distribution's marginals on affine subcubes of dimension $k$ are all equal. In particular, our result gives a description, in terms of compact nilspaces, of a related exchangeability property considered by Austin, inspired by a problem of Aldous. Finally, using nilspaces we obtain limit objects for sequences of functions on compact abelian groups (more generally on compact nilspaces) such that the densities of certain patterns in these functions converge. The paper thus proposes a measure-theoretic framework on which the area of higher-order Fourier analysis can be based, and which yields new applications of this area in a unified way in ergodic theory and arithmetic combinatorics.
Enumeration of super-strong Wilf equivalence classes of permutations in the generalized factor order
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 2, Permutation Patters 2018, Permutation Patterns (November 11, 2019) dmtcs:5055
• View Publication
• BIB
Super-strong Wilf equivalence classes of the symmetric group ${\mathcal S}_n$ on $n$ letters, with respect to the generalized factor order, were shown by Hadjiloucas, Michos and Savvidou (2018) to be in bijection with pyramidal sequences of consecutive differences. In this article we enumerate the latter by giving recursive formulae in terms of a two-dimensional analogue of non-interval permutations. As a by-product, we obtain a recursively defined set of representatives of super-strong Wilf equivalence classes in ${\mathcal S}_n$. We also provide a connection between super-strong Wilf equivalence and the geometric notion of shift equivalence---originally defined by Fidler, Glasscock, Miceli, Pantone, and Xu (2018) for words---by showing that an alternate way to characterize super-strong Wilf equivalence for permutations is by keeping only rigid shifts in the definition of shift equivalence. This allows us to fully describe shift equivalence classes for permutations of size $n$ and enumerate them, answering the corresponding problem posed by Fidler, Glasscock, Miceli, Pantone, and Xu (2018).
The Farey Maps Modulo N
The Farey map is the universal triangular map whose automorphism group is the classical modular group. We study the quotients of the Farey map by the principal congruence subgroups of the modular group. We also study the structure of the underlying graphs of these quotients.
The Harborth Constant of Dihedral Groups
The Harborth constant of a finite group $G$, denoted $\gs(G)$, is the smallest integer $k$ such that the following holds: For $A\subseteq G$ with $|A|=k$, there exists $B\subseteq A$ with $|B|=\exp(G)$ such that the elements of $B$ can be rearranged into a sequence whose product equals $1_G$, the identity element of $G$. The Harborth constant is a well studied combinatorial invariant in the case of abelian groups. In this paper, we consider a generalization $\gs(G)$ of this combinatorial invariant for nonabelian groups and prove that if $G$ is a dihedral group of order $2n$ with $n\ge 3$, then $\gs(G) = n + 2$ if $n$ is even and $\gs(G) = 2n + 1$ otherwise.
Liminal reciprocity and factorization statistics
Published
• View Publication
• BIB
Let $M_{d,n}(q)$ denote the number of monic irreducible polynomials in $\mathbb{F}_q[x_1, x_2, \ldots , x_n]$ of degree $d$. We show that for a fixed degree $d$, the sequence $M_{d,n}(q)$ converges $q$-adically to an explicitly determined rational function $M_{d,\infty}(q)$. Furthermore we show that the limit $M_{d,\infty}(q)$ is related to the classic necklace polynomial $M_{d,1}(q)$ by an involutive functional equation, leading to a phenomenon we call liminal reciprocity. The limiting first moments of factorization statistics for squarefree polynomials are expressed in terms of a family of symmetric group representations as a consequence of liminal reciprocity.
On Cayley graphs of algebraic structures
Published
• View Publication
• BIB
We present simple graph-theoretic characterizations of Cayley graphs for left-cancellative monoids, groups, left-quasigroups and quasigroups. We show that these characterizations are effective for the end-regular graphs of finite degree.
Equiangular tight frames from group divisible designs
Published
• View Publication
• BIB
An equiangular tight frame (ETF) is a type of optimal packing of lines in a real or complex Hilbert space. In the complex case, the existence of an ETF of a given size remains an open problem in many cases. In this paper, we observe that many of the known constructions of ETFs are of one of two types. We further provide a new method for combining a given ETF of one of these two types with an appropriate group divisible design (GDD) in order to produce a larger ETF of the same type. By applying this method to known families of ETFs and GDDs, we obtain several new infinite families of ETFs. The real instances of these ETFs correspond to several new infinite families of strongly regular graphs. Our approach was inspired by a seminal paper of Davis and Jedwab which both unified and generalized McFarland and Spence difference sets. We provide combinatorial analogs of their algebraic results, unifying Steiner ETFs with hyperoval ETFs and Tremain ETFs.
Discrete Cubical and Path Homologies of Graphs
Published
• View Publication
• BIB
In this paper we study and compare two homology theories for (simple and undirected) graphs. The first, which was developed by Barcelo, Caprano, and White, is based on graph maps from hypercubes to the graph. The second theory was developed by Grigor'yan, Lin, Muranov, and Yau, and is based on paths in the graph. Results in both settings imply that the respective homology groups are isomorphic in homological dimension one. We show that, for several infinite classes of graphs, the two theories lead to isomorphic homology groups in all dimensions. However, we provide an example for which the homology groups of the two theories are not isomorphic at least in dimensions two and three. We establish a natural map from the cubical to the path homology groups which is an isomorphism in dimension one and surjective in dimension two. Again our example shows that in general the map is not surjective in dimension three and not injective in dimension two. In the process we develop tools to compute the homology groups for both theories in all dimensions.
An improved isomorphism test for bounded-tree-width graphs
Published
• View Publication
• BIB
We give a new fpt algorithm testing isomorphism of $n$-vertex graphs of tree width $k$ in time $2^{k\operatorname{polylog} (k)}\operatorname{poly} (n)$, improving the fpt algorithm due to Lokshtanov, Pilipczuk, Pilipczuk, and Saurabh (FOCS 2014), which runs in time $2^{\mathcal{O}(k^5\log k)}\operatorname{poly} (n)$. Based on an improved version of the isomorphism-invariant graph decomposition technique introduced by Lokshtanov et al., we prove restrictions on the structure of the automorphism groups of graphs of tree width $k$. Our algorithm then makes heavy use of the group theoretic techniques introduced by Luks (JCSS 1982) in his isomorphism test for bounded degree graphs and Babai (STOC 2016) in his quasipolynomial isomorphism test. In fact, we even use Babai's algorithm as a black box in one place.
We also give a second algorithm which, at the price of a slightly worse running time $2^{\mathcal{O}(k^2 \log k)}\operatorname{poly} (n)$, avoids the use of Babai's algorithm and, more importantly, has the additional benefit that it can also used as a canonization algorithm.
A generalization of Croot-Lev-Pach's Lemma and a new upper bound for the size of difference sets in polynomial rings
Croot, Lev and Pach used a new polynomial technique to give a new exponential upper bound for the size of three-term progression-free subsets in the groups $(\mathbb Z _4)^n$.
The main tool in proving their striking result is a simple lemma about polynomials, which gives interesting new bounds for the size of subsets of the vector space $({\mathbb Z _p})^n$.
Our main result is a generalization of this lemma. In the proof we combined Tao's slice rank bounding method with Gröbner basis technique.
As an application, we improve Green's results and present new upper bounds for the size of difference sets in polynomial rings. We give a new, more concrete upper bound for the size of arithmetic progression-free subsets in $({\mathbb Z _p})^n$.
Rigid reflections and Kac--Moody algebras
Published
• View Publication
• BIB
Given any Coxeter group, we define rigid reflections and rigid roots using non-self-intersecting curves on a Riemann surface with labeled curves. When the Coxeter group arises from an acyclic quiver, they are related to the rigid representations of the quiver. For a family of rank 3 Coxeter groups, we show that there is a surjective map from the set of reduced positive roots of a rank 2 Kac--Moody algebra onto the set of rigid reflections. We conjecture that this map is bijective.
Dimension-independent statistics of $Gl_n(F_q)$ via character polynomials
Published in Proc. of the AMS (2019)
• View Publication
• BIB
Picking permutations at random, the expected number of k-cycles is known to be 1/k and is, in particular, independent of the size of the permuted set. This short note gives similar size-independent statistics of finite general linear groups: ones that depend only on small minors. The proof technique uses combinatorics of categories, motivated by representation stability, and applies simultaneously to symmetric groups, finite linear groups and many other settings.