group
10226 papers tagged with this keyword
A Variant of Harborth Constant
Let $G$ be a finite additive abelian group. For given $k$ a positive integer, the $k$-Harborth constant $g^k(G)$ is defined to be the smallest positive integer $t$ such that given a set $S$ of elements of $G$ with size $t$ there exists a zero-sum subset of size $k$. We find either the exact value of $g^k(G)$, or lower and upper bounds for this constant for some groups.
Universality for cokernels of random matrix products
Published
• View Publication
• BIB
For random integer matrices $M_1,\ldots,M_k \in \operatorname{Mat}_n(\mathbb{Z})$ with independent entries, we study the distribution of the cokernel $\operatorname{cok}(M_1 \cdots M_k)$ of their product. We show that this distribution converges to a universal one as $n \to \infty$ for a general class of matrix entry distributions, and more generally show universal limits for the joint distribution of $\operatorname{cok}(M_1),\operatorname{cok}(M_1M_2),\ldots,\operatorname{cok}(M_1 \cdots M_k)$. Furthermore, we characterize the universal distributions arising as marginals of a natural generalization of the Cohen-Lenstra measure to sequences of abelian groups with maps between them, which weights sequences inversely proportionally to their number of automorphisms. The proofs develop an extension of the moment method of Wood to joint moments of multiple groups, and rely also on the connection to Hall-Littlewood polynomials and symmetric function identities. As a corollary we obtain an explicit universal distribution for coranks of random matrix products over $\mathbb{F}_p$ as the matrix size tends to infinity.
A survey of Heffter arrays
Published
• View Publication
• BIB
Heffter arrays were introduced by Archdeacon in 2015 as an interesting link between combinatorial designs and topological graph theory. Since the initial paper on this topic, there has been a good deal of interest in Heffter arrays as well as in related topics such as the sequencing of subsets of a group, biembeddings of cycle systems on a surface, and orthogonal cycle systems. This survey presents an overview of the current state of the art of this topic. We begin with an introduction to Heffter arrays for the reader who is unfamiliar with the subject, then we give a unified and comprehensive presentation of the major results, showing some proof methods also. This survey also includes sections on the connections of Heffter arrays to several other combinatorial objects, such as problems on partial sums and sequenceability, biembedding graphs on surfaces, difference families and orthogonal graph decompositions. These sections are followed by a section discussing the variants and generalizations of Heffter arrays which have been proposed. The survey itself is complemented by a list of unsolved problems as well as an updated and complete bibliography.
On the minimum cut-sets of the power graph of a finite cyclic group
Published
• View Publication
• BIB
The power graph $\mathcal{P}(G)$ of a finite group $G$ is the simple graph with vertex set $G$, in which two distinct vertices are adjacent if one of them is a power of the other. For an integer $n\geq 2$, let $C_n$ denote the cyclic group of order $n$ and let $r$ be the number of distinct prime divisors of $n$. The minimum cut-sets of $\mathcal{P}(C_n)$ are characterized in \cite{cps} for $r\leq 3$. In this paper, for $r\geq 4$, we identify certain cut-sets of $\mathcal{P}(C_n)$ such that any minimum cut-set of $\mathcal{P}(C_n)$ must be one of them.
A two-parameter deformation of the quasi-shuffle\\ and new bases of quasi-symmetric functions
We define a two-parameter deformation of the quasi-shuffle by means of the formal group law associated with the
exponential generating function of the homogeneous Eulerian polynomials, and construct bases of $QSym$ and $\WQSym$
whose product rule is given by this operation.
Extremal ternary self-dual codes of length 36 and symmetric 2-(36,15,6) designs with an automorphism of order 2
Published
• View Publication
• BIB
In this note we report the classification of all symmetric 2-(36,15,6) designs that admit an automorphism of order 2 and their incidence matrices generate an extremal ternary self-dual code. It is shown that up to isomorphism, there exists only one such design, having a full automorphism group of order 24, and the ternary code spanned by its incidence matrix is equivalent to the Pless symmetry code.
The Generalized Cluster Complex: Refined Enumeration of Faces and Related Parking Spaces
Published in SIGMA 19 (2023), 069, 40 pages
• View Publication
• BIB
The generalized cluster complex was introduced by Fomin and Reading, as a natural extension of the Fomin-Zelevinsky cluster complex coming from finite type cluster algebras. In this work, to each face of this complex we associate a parabolic conjugacy class of the underlying finite Coxeter group. We show that the refined enumeration of faces (respectively, positive faces) according to this data gives an explicit formula in terms of the corresponding characteristic polynomial (equivalently, in terms of Orlik-Solomon exponents). This characteristic polynomial originally comes from the theory of hyperplane arrangements, but it is conveniently defined via the parabolic Burnside ring. This makes a connection with the theory of parking spaces: our results eventually rely on some enumeration of chains of noncrossing partitions that were obtained in this context. The precise relations between the formulas counting faces and the one counting chains of noncrossing partitions are combinatorial reciprocities, generalizing the one between Narayana and Kirkman numbers.
Limit Profile for Projections of Random Walks on Groups
Published in Electron. J. Probab. 29: 1-22 (2024)
• View Publication
• BIB
Establishing cutoff, an abrupt transition from "not mixed" to "well mixed", is a classical topic in the theory of mixing times for Markov chains. Interest has grown recently in determining not only the existence of cutoff and the order of its mixing time and window, but the exact shape, or profile, of the convergence inside the window. Classical techniques, such as coupling or $\ell_2$-bounds, are typically too crude to establish this and there has been a push to develop general techniques.
We build upon this work, extending from conjugacy-invariant random walks on groups to certain projections. We exemplify our method by analysing the $k$-particle interchange process on the complete $n$-graph with $k \asymp n$. This is a projection of the random-transposition card shuffle, which corresponds to $k = n$, analysed by Teyssier.
Dynamics of Pop-Tsack Torsing
Published
• View Publication
• BIB
For a finite irreducible Coxeter group $(W,S)$ with a fixed Coxeter element $c$ and set of reflections $T$, Defant and Williams define a pop-tsack torsing operation $\mathrm{Popt}\colon W \to W$ given by $\mathrm{Popt}(w) = w \cdot π_T(w)^{-1}$ where $π_T(w) = \bigvee_{t \leq_{T}w, \ t \in T}^{NC(w,c)}t$ is the join of all reflections lying below $w$ in the absolute order in the non-crossing partition lattice $NC(w,c)$. This is a "dual" notion of the pop-stack sorting operator $\mathrm{Pops}$ introduced by Defant as a way to generalize the pop-stack sorting operator on $\mathfrak{S}_n$ to general Coxeter groups. Define the forward orbit of an element $w \in W$ to be $O_{\mathrm{Popt}}(w) = \{w, \mathrm{Popt}(w), \mathrm{Popt}^2(w), \ldots \}$. Defant and Williams established the length of the longest possible forward orbits $\max_{w \in W}|O_{\mathrm{Popt}}(w)|$ for Coxeter groups of coincidental types and type $D$ in terms of the corresponding Coxeter number of the group. In their paper, they also proposed multiple conjectures about enumerating elements with near maximal orbit length. We resolve all the conjectures that they have put forth about enumeration, and in the process we give complete classifications of these elements of Coxeter groups of types $A,B$ and $D$ with near maximal orbit lengths.
Constructing uniform 2-factorizations via row-sum matrices: solutions to the Hamilton-Waterloo problem
Published
• View Publication
• BIB
In this paper, we formally introduce the concept of a row-sum matrix over an arbitrary group $G$. When $G$ is cyclic, these types of matrices have been widely used to build uniform 2-factorizations of small Cayley graphs (or, Cayley subgraphs of blown-up cycles), which themselves factorize complete (equipartite) graphs.
Here, we construct row-sum matrices over a class of non-abelian groups, the generalized dihedral groups, and we use them to construct uniform $2$-factorizations that solve infinitely many open cases of the Hamilton-Waterloo problem, thus filling up large parts of the gaps in the spectrum of orders for which such factorizations are known to exist.
Magic partially filled arrays on abelian groups
Published
• View Publication
• BIB
In this paper we introduce a special class of partially filled arrays. A magic partially filled array $\mathrm{MPF}_Ω(m,n; s,k)$ on a subset $Ω$ of an abelian group $(Γ,+)$ is a partially filled array of size $m\times n$ with entries in $Ω$ such that $(i)$ every $ω\in Ω$ appears once in the array; $(ii)$ each row contains $s$ filled cells and each column contains $k$ filled cells; $(iii)$ there exist (not necessarily distinct) elements $x,y\in Γ$ such that the sum of the elements in each row is $x$ and the sum of the elements in each column is $y$. In particular, if $x=y=0_Γ$, we have a zero-sum magic partially filled array ${}^0\mathrm{MPF}_Ω(m,n; s,k)$. Examples of these objects are magic rectangles, $Γ$-magic rectangles, signed magic arrays, (integer or non integer) Heffter arrays. Here, we give necessary and sufficient conditions for the existence of a magic rectangle with empty cells, i.e., of an $\mathrm{MPF}_Ω(m,n;s,k)$ where $Ω=\{1,2,\ldots,nk\}\subset\mathbb{Z}$. We also construct zero-sum magic partially filled arrays when $Ω$ is the abelian group $Γ$ or the set of its nonzero elements.
On directed strongly regular Cayley graphs over non-abelian groups with an abelian subgroup of index $2$
In 1988, Duval introduced the concept of directed strongly regular graphs, which can be viewed as a directed graph version of strongly regular graphs. Such directed graphs have similar structural and algebraic properties to strongly regular graphs. In the past three decades, it was found that Cayley graphs, especially those over dihedral groups, play a key role in the construction of directed strongly regular graphs. In this paper, we focus on the characterization of directed strongly regular Cayley graphs over more general groups. Let $G$ be a non-abelian group with an abelian subgroup of index $2$. We give some necessary conditions for a Cayley graph over $G$ to be directed strongly regular, and characterize the directed strongly regular Cayley graphs over $G$ satisfying specified conditions. This extends some previous results of He and Zhang (2019).
Shadows of rationals and irrationals: supersymmetric continued fractions and the super modular group
Published
• View Publication
• BIB
This paper is an attempt to apply the tools of supergeometry to arithmetic. Supergeometric objects are defined over supercommutative rings of coefficients, and we consider an integral ring with exactly two odd variables. In this case the even quantities, such as numbers and continued fractions, are doubled, having both a classical and a nilpotent part. We refer to the nilpotent part as the shadow. We investigate the notions of supersymmetric continued fractions and the orthosymplectic modular group and make some initial steps toward studying their properties.
A unified Erdős-Pósa theorem for cycles in graphs labelled by multiple abelian groups
Published in Math. Ann., 393:2507-2559, October 2025
• View Publication
• BIB
In 1965, Erdős and Pósa proved that there is an (approximate) duality between the maximum size of a packing of cycles and the minimum size of a vertex set hitting all cycles. Such a duality does not hold for odd cycles, and Dejter and Neumann-Lara asked in 1988 to find all pairs ${(\ell, z)}$ of integers where such a duality holds for the family of cycles of length $\ell$ modulo $z$. We characterise all such pairs, and we further generalise this characterisation to cycles in graphs labelled with a bounded number of abelian groups, whose values avoid a bounded number of elements of each group. This unifies almost all known types of cycles that admit such a duality, and it also provides new results. Moreover, we characterise the obstructions to such a duality in this setting, and thereby obtain an analogous characterisation for cycles in graphs embeddable on a fixed compact orientable surface.
Relation between the Weyl group orbits of fundamental weights for multiply-laced finite dimensional simple Lie algebras and d-complete posets
Published
• View Publication
• BIB
It is known that there exists an order isomorphism between the Weyl group orbit through a minuscule weight of a simply-laced finite-dimensional simple Lie algebra and the set of all order filters in a self-dual connected d-complete poset. In this paper, we try to extend this fact to the case of multiply-laced finite-dimensional simple Lie algebras by using the "folding" technique with respect to a Dynkin diagram automorphism.
Cactus groups, twin groups, and right-angled Artin groups
Published
• View Publication
• BIB
Cactus groups Jn are currently attracting considerable interest from diverse mathematical communities. This work explores their relations to right-angled Coxeter groups, and in particular twin groups Twn and Mostovoy's Gauss diagram groups Dn, which are better understood. Concretely, we construct an injective group 1-cocycle from Jn to Dn, and show that Twn (and its k-leaf generalisations) inject into Jn. As a corollary, we solve the word problem for cactus groups, determine their torsion (which is only even) and center (which is trivial), and answer the same questions for pure cactus groups, PJn. In addition, we yield a 1-relator presentation of the first non-abelian pure cactus group PJ4. Our tools come mainly from combinatorial group theory.
A counterexample to the periodic tiling conjecture (announcement)
The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z^d}$ which tiles that lattice by translations, in fact tiles periodically. We announce here a disproof of this conjecture for sufficiently large $d$, which also implies a disproof of the corresponding conjecture for Euclidean spaces $\mathbb{R^d}$. In fact, we also obtain a counterexample in a group of the form $\mathbb{Z^2} \times G_0$ for some finite abelian $G_0$. Our methods rely on encoding a certain class of "$p$-adically structured functions" in terms of certain functional equations.
Equivalence classes of dessins d'enfants with two vertices
Let $N$ be a positive integer. For any positive integer $L\leq N$ and any positive divisor $r$ of $N$, we enumerate the equivalence classes of dessins d'enfants with $N$ edges, $L$ faces and two vertices whose automorphism groups are cyclic of order $r$. Further, for any non-negative integer $h$, we enumerate the equivalence classes of dessins with $N$ edges, $h$ faces of degree $2$ with $h\leq N$, and two vertices, whose automorphism groups are cyclic of order $r$. Our arguments are essentially based upon a natural one-to-one correspondence of the equivalence classes of all dessins with $N$ edges to the equivalence classes of all pairs of permutations with components generating transitive subgroups of the symmetric group of degree $N$.
Transitivity in finite general linear groups
Published
• View Publication
• BIB
It is known that the notion of a transitive subgroup of a permutation group $G$ extends naturally to subsets of $G$. We consider subsets of the general linear group $\operatorname{GL}(n,q)$ acting transitively on flag-like structures, which are common generalisations of $t$-dimensional subspaces of $\mathbb{F}_q^n$ and bases of $t$-dimensional subspaces of $\mathbb{F}_q^n$. We give structural characterisations of transitive subsets of $\operatorname{GL}(n,q)$ using the character theory of $\operatorname{GL}(n,q)$ and interprete such subsets as designs in the conjugacy class association scheme of $\operatorname{GL}(n,q)$. In particular we generalise a theorem of Perin on subgroups of $\operatorname{GL}(n,q)$ acting transitively on $t$-dimensional subspaces. We survey transitive subgroups of $\operatorname{GL}(n,q)$, showing that there is no subgroup of $\operatorname{GL}(n,q)$ with $1<t<n$ acting transitively on $t$-dimensional subspaces unless it contains $\operatorname{SL}(n,q)$ or is one of two exceptional groups. On the other hand, for all fixed $t$, we show that there exist nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on linearly independent $t$-tuples of $\mathbb{F}_q^n$, which also shows the existence of nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on more general flag-like structures. We establish connections with orthogonal polynomials, namely the Al-Salam-Carlitz polynomials, and generalise a result by Rudvalis and Shinoda on the distribution of the number of fixed points of the elements in $\operatorname{GL}(n,q)$. Many of our results can be interpreted as $q$-analogs of corresponding results for the symmetric group.
Orientably-Regular $π$-Maps and Regular $π$-Maps
Given a map with underlying graph $\mathcal{G}$, if the set of prime divisors of $|V(\mathcal{G}|$ is denoted by $π$, then we call the map a {\it $π$-map}.
An orientably-regular (resp. A regular ) $π$-map is called {\it solvable} if the group $G^+$ of all orientation-preserving automorphisms (resp. the group $G$ of automorphisms) is solvable; and called {\it normal} if $G^+$ (resp. $G$) contains a normal $π$-Hall subgroup.
In this paper, it will be proved that orientably-regular $π$-maps are solvable and normal if $2\notin π$ and regular $π$-maps are solvable if $2\notin π$ and $G$ has no sections isomorphic to ${\rm PSL}(2,q)$ for some prime power $q$. In particular, it's shown that a regular $π$-map with $2\notin π$ is normal if and only if $G/O_{2^{'}}(G)$ is isomorphic to a Sylow $2$-group of $G$.
Moreover, nonnormal $π$-maps will be characterized and some properties and constructions of normal $π$-maps will be given in respective sections.