group
10258 papers tagged with this keyword
Counting pattern-avoiding integer partitions
Published
• View Publication
• BIB
A partition $α$ is said to contain another partition (or pattern) $μ$ if the Ferrers board for $μ$ is attainable from $α$ under removal of rows and columns. We say $α$ avoids $μ$ if it does not contain $μ$. In this paper we count the number of partitions of $n$ avoiding a fixed pattern $μ$, in terms of generating functions and their asymptotic growth rates.
We find that the generating function for this count is rational whenever $μ$ is (rook equivalent to) a partition in which any two part sizes differ by at least two. In doing so, we find a surprising connection to metacyclic $p$-groups. We further obtain asymptotics for the number of partitions of $n$ avoiding a pattern $μ$. Using these asymptotics we conclude that the generating function for $μ$ is not algebraic whenever $μ$ is rook equivalent to a partition with distinct parts whose first two parts are positive and differ by 1.
Congruences in character tables of symmetric groups
If $λ$ and $μ$ are two non-empty Young diagrams with the same number of squares, and $\boldsymbolλ$ and $\boldsymbolμ$ are obtained by dividing each square into $d^2$ congruent squares, then the corresponding character value $χ_{\boldsymbolλ}(\boldsymbolμ)$ is divisible by $d!$.
Strong external difference families in abelian and non-abelian groups
Published
• View Publication
• BIB
Strong external difference families (SEDFs) have applications to cryptography and are rich combinatorial structures in their own right; until now, all SEDFs have been in abelian groups. In this paper, we consider SEDFs in both abelian and non-abelian groups. We characterize the order of groups possessing admissible parameters for non-trivial SEDFs, develop non-existence and existence results, several of which extend known results, and present the first family of non-abelian SEDFs. We introduce the concept of equivalence for EDFs and SEDFs, and begin the task of enumerating SEDFs. Complete results are presented for all groups up to order $24$, underpinned by a computational approach.
Invariant theory for coincidental complex reflection groups
Published
• View Publication
• BIB
V.F. Molchanov considered the Hilbert series for the space of invariant skew-symmetric tensors and dual tensors with polynomial coefficients under the action of a real reflection group, and speculated that it had a certain product formula involving the exponents of the group. We show that Molchanov's speculation is false in general but holds for all coincidental complex reflection groups when appropriately modified using exponents and co-exponents. These are the irreducible well-generated (i.e., duality) reflection groups with exponents forming an arithmetic progression and include many real reflection groups and all non-real Shephard groups, e.g., the Shephard-Todd infinite family $G(d,1,n)$. We highlight consequences for the $q$-Narayana and $q$-Kirkman polynomials, giving simple product formulas for both, and give a $q$-analogue of the identity transforming the $h$-vector to the $f$-vector for the coincidental finite type cluster/Cambrian complexes of Fomin--Zelevinsky and Reading.
Automorphism groups and new constructions of maximum additive rank metric codes with restrictions
Published
• View Publication
• BIB
Let $d, n \in \mathbb{Z}^+$ such that $1\leq d \leq n$. A $d$-code $\mathcal{C} \subset \mathbb{F}_q^{n \times n}$ is a subset of order $n$ square matrices with the property that for all pairs of distinct elements in $\mathcal{C}$, the rank of their difference is greater than or equal to $d$. A $d$-code with as many as possible elements is called a maximum $d$-code. The integer $d$ is also called the minimum distance of the code. When $d<n$, a classical example of such an object is the so-called generalized Gabidulin code. There exist several classes of maximum $d$-codes made up respectively of symmetric, alternating and hermitian matrices. In this article we focus on such examples. Precisely, we determine their automorphism groups and solve the equivalence issue for them. Finally, we exhibit a maximum symmetric $2$-code which is not equivalent to the one with same parameters known so far.
Affine flag graphs and classification of a family of symmetric graphs with complete quotients
Published in Discrete Math. 342 (2019) 1792-1798
• View Publication
• BIB
A graph $Γ$ is $G$-symmetric if $G$ is a group of automorphisms of $Γ$ which is transitive on the set of ordered pairs of adjacent vertices of $Γ$. If $V(Γ)$ admits a nontrivial $G$-invariant partition ${\cal B}$ such that for blocks $B, C \in {\cal B}$ adjacent in the quotient graph $Γ_{\cal B}$ of $Γ$ relative to ${\cal B}$, exactly one vertex of $B$ has no neighbour in $C$, then $Γ$ is called an almost multicover of $Γ_{\cal B}$. In this case an incidence structure with point set ${\cal B}$ arises naturally, and it is a $(G, 2)$-point-transitive and $G$-block-transitive 2-design if in addition $Γ_{\cal B}$ is a complete graph. In this paper we classify all $G$-symmetric graphs $Γ$ such that (i) ${\cal B}$ has block size $|B| \ge 3$; (ii) $Γ_{\cal B}$ is complete and almost multi-covered by $Γ$; (iii) the incidence structure involved is a linear space; and (iv) $G$ contains a regular normal subgroup which is elementary abelian. This classification together with earlier results in [A. Gardiner and C. E. Praeger, Australas. J. Combin. 71 (2018) 403--426], [M.~Giulietti et al., J. Algebraic Combin. 38 (2013) 745--765] and [T. Fang et al., Electronic J. Combin. 23 (2) (2016) P2.27] completes the classification of symmetric graphs satisfying (i) and (ii).
Bounding the maximal size of independent generating sets of finite groups
Published
• View Publication
• BIB
Denote by $m(G)$ the largest size of a minimal generating set of a finite group $G$. We estimate $m(G)$ in terms of $\sum_{p\in π(G)}d_p(G),$ where we are denoting by $d_p(G)$ the minimal number of generators of a Sylow $p$-subgroup of $G$ and by $π(G)$ the set of prime numbers dividing the order of $G$.
Flag-transitive $4$-designs and $PSL(2,q)$ groups
Published
• View Publication
• BIB
This paper considers flag-transitive $4$-$(q+1,k,λ)$ designs with $λ\geq5$ and $q+1>k>4$. Let the automorphism group of a design $\cal D$ be a simple group $G=PSL(2,q)$. Depend on the fact that the setwise stabilizer $G_B$ must be one of twelve kinds of subgroups, up to isomorphism we get the following two results. (i) If $10\geq λ\geq 5$, then except $(G,G_x,G_B,k,λ)=(PSL(2,761),{E_{761}}\rtimes {C_{380}},S_4,24,7)$ or $(PSL(2,512),{E_{512}}\rtimes {C_{511}},{D_{18}},18,8)$ undecided, $\cal D$ is a $4$-$(24,8,5)$, $4$-$(9,8,5)$, $4$-$(8,6,6)$, $4$-$(10,9,6)$, $4$-$(9,6,10)$, $4$-$(9,7,10)$, $4$-$(12,11,8)$ or $4$-$(14,13,10)$ design with
$G_B=D_8$, ${E_8}\rtimes {C_7}$, $D_6$, ${E_9}\rtimes {C_4}$, $PSL(2,2)$, $D_{14}$, ${E_{11}}\rtimes {C_{5}}$ or ${E_{13}}\rtimes {C_6}$ respectively.
(ii) If $λ>10$, ${G_B}=A_4$, $S_4$, $A_5$, $PGL(2,q_0)$($g>1$ even) or $PSL(2,q_0)$, where ${q_0}^g=q$, then there is no such design.
New nonexistence results on $(m,n)$-generalized bent functions
Published
• View Publication
• BIB
In this paper, we present some new nonexistence results on $(m,n)$-generalized bent functions, which improved recent results. More precisely, we derive new nonexistence results for general $n$ and $m$ odd or $m \equiv 2 \pmod{4}$, and further explicitly prove nonexistence of $(m,3)$-generalized bent functions for all integers $m$ odd or $m \equiv 2 \pmod{4}$. The main tools we utilized are certain exponents of minimal vanishing sums from applying characters to group ring equations that characterize $(m,n)$-generalized bent functions.
Alternating super-polynomials and super-coinvariants of finite reflection groups
Motivated by a recent conjecture of Zabrocki, Wallach described the alternants in the super-coinvariant algebra of the symmetric group in one set of commuting and one set of anti-commuting variables under the diagonal action. We give a type-independent generalization of Wallach's result to all real reflection groups $G$. As an intermediate step, we explicitly describe the alternating super-polynomials in $k[V] \otimes Λ(V)$ for all complex reflection groups, providing an analogue of a classic result of Solomon which describes the invariant super-polynomials in $k[V] \otimes Λ(V^*)$. Using our construction, we explicitly describe the alternating harmonics and coinvariants for all real reflection groups.
New results on the degree/diameter problem of mixed Abelian Cayley graphs
Mixed graphs can be seen as digraphs that have both arcs and edges (or digons, that is, two opposite arcs). In this paper, we consider the case in which such graphs are Cayley graphs of Abelian groups. These groups can be constructed by using a generalization to $\mathbb{Z}^n$ of the concept of congruence in $\mathbb{Z}$. Here we use this approach to present some families of mixed graphs, which, for every fixed value of the degree, have an asymptotically large number of vertices as the diameter increases. In some cases, the results obtained are shown to be optimal.
Covering graphs, magnetic spectral gaps and applications to polymers and nanoribbons
Published in Symmetry-Basel 11 (2019) 1163
• View Publication
• BIB
In this article, we analyze the spectrum of discrete magnetic Laplacians (DML) on an infinite covering graph $\widetilde{G} \rightarrow G=\widetilde{G} /Γ$ with (Abelian) lattice group $Γ$ and periodic magnetic potential $\widetildeβ$. We give sufficient conditions for the existence of spectral gaps in the spectrum of the DML and study how these depend on $\widetildeβ$. The magnetic potential may be interpreted as a control parameter for the spectral bands and gaps. We apply these results to describe the spectral band/gap structure of polymers (polyacetylene) and of nanoribbons in the presence of a constant magnetic field.
Distinguishing Number of Non-Zero Component Graphs
A non-zero component graph $G(\mathbb{V})$ associated to a finite vector space $\mathbb{V}$ is a graph whose vertices are non-zero vectors of $\mathbb{V}$ and two vertices are adjacent, if their corresponding vectors have at least one non-zero component common in their linear combination of basis vectors. In this paper, we extend the study of properties of automorphisms of non-zero component graphs. We prove that every permutation of basis vectors can be extended to an automorphism of $G(\mathbb{V})$. We prove that the symmetric group of basis vectors of $\mathbb{V}$ is isomorphic to the automorphism group of $G(\mathbb{V})$. We find the distinguishing number of the graph for both of the cases, when the number of field elements of vector space $\mathbb{V}$ are 2 or more than 2.
Group Action Combinatorics
This paper generalizes the basic notions of additive and multiplicative combinatorics to the setting of group actions: if $G$ is a group acting on a set $X$, and we have subsets $A\subseteq G$ and $Y\subseteq X$ such that the set of pairs $g\cdot y$ with $g\in A,y\in Y$ is not much larger than $Y$, what structure must $A$ and $Y$ have?
Briefly, what is the structure of sets with small "image set"?
In this setting, we develop analogs of Ruzsa's triangle inequality, covering theorems, multiplicative energy, and the Balog-Szemerédi-Gowers theorem. Approximate stabilizers, which we call symmetry sets, play an important role.
While our focus is on presenting a general theory, we answer the inverse image set question in some special cases.
To do so, we combine the group action version of the Balog-Szemerédi-Gowers theorem with structure theorems for approximate groups and bounds for the sizes of symmetry sets.
Normal completions of toric varieties over rank one valuation rings and completions of $Γ$-admissible fans
Published
• View Publication
• BIB
We show that any normal toric variety over a rank one valuation ring admits an equivariant open embedding in a normal toric variety which is proper over the valuation ring, after a base-change by a finite extension of valuation rings. If the value group $Γ$ is discrete or divisible then no base-change is needed. We give explicit examples which show that existing methods do not produce such normal equivariant completions. Our approach is combinatorial and proceeds by showing that $Γ$-admissible fans admit $Γ$-admissible completions. In order to show this we prove a combinatorial analog of noetherian reduction which we believe will be of independent interest.
Simplicity of the automorphism groups of generalised metric spaces
Published
• View Publication
• BIB
Tent and Ziegler proved that the automorphism group of the Urysohn sphere is simple and that the automorphism group of the Urysohn space is simple modulo bounded automorphisms. A key component of their proof is the definition of a stationary independence relation (SIR). In this paper we prove that the existence of a SIR satisfying some extra axioms is enough to prove simplicity of the automorphism group of a countable structure. The extra axioms are chosen with applications in mind, namely homogeneous structures which admit a "metric-like amalgamation", for example all primitive 3-constrained metrically homogeneous graphs of finite diameter from Cherlin's list.
The Structure of the Heawood Graph
We give a description of the cycle structure of the Heawood graph, $C_{14}$. In particular, we prove that the automorphism group of $C_{14}$ acts transitively on the set of $12$-cycles, Hamiltonian cycles, and disjoint pairs of $6$-cycles. We also enumerate $12$-, $10$-, and $8$-cycles in $C_{14}$, as well as pairs of disjoint $6$-cycles.
Non-Hyperoctahedral Categories of Two-Colored Partitions, Part I: New Categories
Published
• View Publication
• BIB
Compact quantum groups can be studied by investigating their co-representation categories in analogy to the Schur-Weyl/Tannaka-Krein approach. For the special class of (unitary) "easy" quantum groups these categories arise from a combinatorial structure: Rows of two-colored points form the objects, partitions of two such rows the morphisms; vertical/horizontal concatenation and reflection give composition, monoidal product and involution. Of the four possible classes $\mathcal{O}$, $\mathcal{B}$, $\mathcal{S}$ and $\mathcal{H}$ of such categories (inspired respectively by the classical orthogonal, bistochastic, symmetric and hyperoctahedral groups) we treat the first three -- the non-hyperoctahedral ones. We introduce many new examples of such categories. They are defined in terms of subtle combinations of block size, coloring and non-crossing conditions. This article is part of an effort to classify all non-hyperoctahedral categories of two-colored partitions. The article is purely combinatorial in nature; The quantum group aspects are left out.
Proof of the $K(π,1)$ conjecture for affine Artin groups
Published in Inventiones mathematicae (2020)
• View Publication
• BIB
We prove the $K(π,1)$ conjecture for affine Artin groups: the complexified complement of an affine reflection arrangement is a classifying space. This is a long-standing problem, due to Arnol'd, Pham, and Thom. Our proof is based on recent advancements in the theory of dual Coxeter and Artin groups, as well as on several new results and constructions. In particular: we show that all affine noncrossing partition posets are EL-shellable; we use these posets to construct finite classifying spaces for dual affine Artin groups; we introduce new CW models for the orbit configuration spaces associated with arbitrary Coxeter groups; we construct finite classifying spaces for the braided crystallographic groups introduced by McCammond and Sulway.
Positive level, negative level and level zero
Published
• View Publication
• BIB
This is a survey on the combinatorics and geometry of integrable representations of quantum affine Lie algebras with a particular focus on level 0. Pictures and examples are included to illustrate the affine Weyl group orbits, crystal graphs and Macdonald polynomials that provide detailed understanding of the structure of the extremal weight modules and their characters. The final section surveys the alcove walk method of working with the positive level, negative level and level zero affine flag varieties and describes the corresponding actions of the affine Hecke algebra.