group
10226 papers tagged with this keyword
On the automorphism group of a putative Conway 99-graph
Let $Γ$ be a {Conway 99-graph}, that is, a strongly regular graph with parameters $(99,14,1,2)$. In Makhnev and Minakova (On automorphisms of strongly regular graphs with parameters $λ=1$, $μ= 2$, Discrete Math.\ Appl.\ 14 (2) (2004) 201-210), the authors prove that the automorphism group $G$ of $Γ$ must have order dividing $2\cdot 3^3\cdot 7\cdot 11$. They further show that if $|G|$ is divisible by $2$ then $|G|$ must divide $42$. In the present paper, we refine these results by proving that divisibility by $7$ implies $G \cong\mathbb Z_7$. As a consequence, divisibility by $2$ implies $|G|$ divides $6$, \ie $G$ is isomorphic to one of $\mathbb Z_2, \mathbb Z_6, S_3$.
Algebraic degrees of quasi-abelian semi-Cayley digraphs
For a digraph $Γ$, if $F$ is the smallest field that contains all roots of the characteristic polynomial of the adjacency matrix of $Γ$, then $F$ is called the splitting field of $Γ$. The extension degree of $F$ over the field of rational numbers $\mathbb{Q}$ is said to be the algebraic degree of $Γ$. A digraph is a semi-Cayley digraph over a group $G$ if it admits $G$ as a semiregular automorphism group with two orbits of equal size. A semi-Cayley digraph $\mathrm{SC}(G,T_{11},T_{22},T_{12},T_{21})$ is called quasi-abelian if each of $T_{11},T_{22},T_{12}$ and $T_{21}$ is a union of some conjugacy classes of $G$. This paper determines the splitting field and the algebraic degree of a quasi-abelian semi-Cayley digraph over any finite group in terms of irreducible characters of groups. This work generalizes the previous works on algebraic degrees of Cayley graphs over abelian groups and any group having a subgroup of index 2, and semi-Cayley digraphs over abelian groups.
Fundamental Groups of Hamming Graphs
Recently there has been growing interest in discrete homotopies and homotopies of graphs beyond treating graphs as 1-dimensional simplicial spaces. One such type of homotopy is $\times$-homotopy. Recent work by Chih-Scull has developed a homotopy category, a fundamental group for graphs under this homotopy, and a way of computing covers of graphs that lift homotopy via this fundamental group. In this paper, we compute the fundamental groups of all Hamming graphs, show that they are direct products of cyclic groups, and use this result to describe some $\times$-homotopy covers of Hamming graphs.
A formula for the base size of the symmetric group in its action on subsets
Given two positive integers $n$ and $k$, we obtain a formula for the base size of the symmetric group of degree $n$ in its action on $k$-subsets. Then, we use this formula to compute explicitly the base size for each $n$ and for each $k\le 14$.
Fractional revival on semi-Cayley graphs over abelian groups
In this paper, we investigate the existence of fractional revival on semi-Cayley graphs over finite abelian groups. We give some necessary and sufficient conditions for semi-Cayley graphs over finite abelian groups admitting fractional revival. We also show that integrality is necessary for some semi-Cayley graphs admitting fractional revival. Moreover, we characterize the minimum time when semi-Cayley graphs admit fractional revival. As applications, we give examples of certain Cayley graphs over the generalized dihedral groups and generalized dicyclic groups admitting fractional revival.
New-type Quasirandom Groups and Applications
This paper aims to introduce a more general definition of quasirandom groups and generalize several well-known results in the literature in this new setting. More precisely, let $G$ be a semi-direct product of groups and $X\subseteq G$, we provide conditions such that one can find tuples $(x_0, \ldots, x_k)\in X^{k+1}$ satisfying $x_1x_2\ldots x_k=x_0$ or conditions to guarantee that the product set $XX$ grows exponentially. In a special case of the group of rigid-motions in the plane over an arbitrary finite field, our results offer a reasonably complete description of structures of this group.
Symplectic tableaux and quantum symmetric pairs
We provide a new branching rule from the general linear group $GL_{2n}(\mathbb{C})$ to the symplectic group $Sp_{2n}(\mathbb{C})$ by establishing a simple algorithm which gives rise to a bijection from the set of semistandard tableaux of a fixed shape to a disjoint union of several copies of sets of symplectic tableaux of various shapes. The algorithm arises from representation theory of a quantum symmetric pair of type $A\mathrm{II}_{2n-1}$, which is a $q$-analogue of the classical symmetric pair $(\mathfrak{gl}_{2n}(\mathbb{C}), \mathfrak{sp}_{2n}(\mathbb{C}))$.
Homological algebra and poset versions of the Garland method
Garland introduced a vanishing criterion for a characteristic zero cohomology group of a locally finite and locally connected simplicial complex. The criterion is based on the spectral gaps of the graph Laplacians of the links of faces and has turned out to be effective in a wide range of examples. In this note we extend the approach to include a range of non-simplicial (co)chain complexes associated to combinatorial structures we call Garland posets and elaborate further on the case of cubical complexes.
Stability of Cayley graphs and Schur rings
Published
• View Publication
• BIB
A graph $Γ$ is said to be unstable if for the direct product $Γ\times K_2$, $Aut(Γ\times K_2)$ is not isomorphic to $Aut(Γ) \times \mathbb{Z}_2$. In this paper we show that a connected and non-bipartite Cayley graph $Cay(H,S)$ is unstable if and only if the set $S \times \{1\}$ belongs to a Schur ring over the group $H \times \mathbb{Z}_2$ having certain properties. The Schur rings with these properties are characterized if $H$ is an abelian group of odd order or a cyclic group of twice odd order. As an application, a short proof is given for the result of Witte Morris stating that every connected unstable Cayley graph on an abelian group of odd order has twins (Electron.~J.~Combin, 2021). As another application, sufficient and necessary conditions are given for a connected and non-bipartite circulant graph of order $2p^e$ to be unstable, where $p$ is an odd prime and $e \ge 1$.
Classifying character degree graphs with seven vertices
We study here the graphs with seven vertices in an effort to classify which of them appear as the prime character degree graphs of finite solvable groups. This classification is complete for the disconnected graphs. Of the 853 non-isomorphic connected graphs, we were able to demonstrate that twenty-two occur as prime character degree graphs. Two are of diameter three, while the remaining are constructed as direct products. Forty-four graphs remain unclassified.
Grading Structure for Derivations of Group Algebras
In this paper we give a way of equipping the derivation algebra of a group algebra with the structure of a graded algebra. The derived group is used as the grading group. For the proof, the identification of the derivation with the characters of the adjoint action groupoid is used. These results also allow us to obtain the analogous structure of a graded algebra for outer derivations. A non-trivial graduation is obtained for all groups that are not perfect.
Combinatorics of skew lines in $\mathbb P^3$ with an application to algebraic geometry
This article introduces a previously unrecognized combinatorial structure underlying configurations of skew lines in $\mathbb{P}^3$, and reveals its deep and surprising connection to the algebro-geometric concept of geproci sets.
Given any field $\mathbb{K}$ and a finite set $\mathcal L$ of 3 or more skew lines in $\mathbb{P}^3_\mathbb{K}$, we associate to it a group $G_{\mathcal L}$ and a groupoid $C_{\mathcal L}$ whose action on the union $\cup_{L\in\mathcal L}L$ provides orbits which have a rich combinatorial structure. We characterize when $G_{\mathcal L}$ is abelian and give partial results on its finiteness. The notion of \emph{collinearly complete} subsets is introduced and shown to correspond exactly to unions of groupoid orbits. In the case where $\mathbb{K}$ is a finite field and $\mathcal L$ is a full spread in $\mathbb{P}^3_\mathbb{K}$ (i.e., every point of $\mathbb{P}^3_\mathbb{K}$ lies on a line in $\mathcal{L}$), we prove that $G_{\mathcal L}$ being abelian characterizes the classical spread given by the fibers of the Hopf fibration. Over any algebraically closed field, we establish that finite unions of $C_{\mathcal L}$-orbits are geproci sets - that is, finite sets whose general projections to a plane are complete intersections. Furthermore, we prove a converse: if $\mathbb{K}$ is algebraically closed and $Z \subset \mathbb{P}^3_\mathbb{K}$ is a geproci set consisting of $m$ points on each of $s \geq 3$ skew lines $\mathcal L$ where the general projection of $Z$ is a complete intersection of type $(m, s)$, then $Z$ is a finite union of orbits of $C_{\mathcal L}$.
This work thus uncovers a profound combinatorial framework governing geproci sets, providing a new bridge between incidence combinatorics and algebraic geometry.
On maximal dihedral reflection subgroups and generalized noncrossing partitions
In this note, we give a new proof of a result of Matthew Dyer stating that in an arbitrary Coxeter group $W$, every pair $t,t'$ of distinct reflections lie in a unique maximal dihedral reflection subgroup of $W$. Our proof only relies on the combinatorics of words, in particular we do not use root systems at all. As an application, we deduce a new proof of a recent result of Delucchi-Paolini-Salvetti, stating that the poset $[1,c]_T$ of generalized noncrossing partitions in any Coxeter group of rank $3$ is a lattice. We achieve this by showing the more general statement that any interval of length $3$ in the absolute order on an arbitrary Coxeter group is a lattice. This implies that the interval group attached to any interval $[1,w]_T$ where $w$ is an element of an arbitrary Coxeter group with $\ell_T(w)=3$ is a quasi-Garside group.
On Approximability of Satisfiable k-CSPs: IV
We prove a stability result for general $3$-wise correlations over distributions satisfying mild connectivity properties. More concretely, we show that if $Σ,Γ$ and $Φ$ are alphabets of constant size, and $μ$ is a pairwise connected distribution over $Σ\timesΓ\timesΦ$ with no $(\mathbb{Z},+)$ embeddings in which the probability of each atom is $Ω(1)$, then the following holds. Any triplets of $1$-bounded functions $f\colon Σ^n\to\mathbb{C}$, $g\colon Γ^n\to\mathbb{C}$, $h\colon Φ^n\to\mathbb{C}$ satisfying
\[
\left|\mathbb{E}_{(x,y,z)\sim μ^{\otimes n}}\big[f(x)g(y)h(z)\big]\right|\geq \varepsilon
\]
must arise from an Abelian group associated with the distribution $μ$. More specifically, we show that there is an Abelian group $(H,+)$ of constant size such that for any such $f,g$ and $h$, the function $f$ (and similarly $g$ and $h$) is correlated with a function of the form $\tilde{f}(x) = χ(σ(x_1),\ldots,σ(x_n)) L (x)$, where $σ\colon Σ\to H$ is some map, $χ\in \hat{H}^{\otimes n}$ is a character, and $L\colon Σ^n\to\mathbb{C}$ is a low-degree function with bounded $2$-norm.
En route we prove a few additional results that may be of independent interest, such as an improved direct product theorem, as well as a result we refer to as a ``restriction inverse theorem'' about the structure of functions that, under random restrictions, with noticeable probability have significant correlation with a product function. In companion papers, we show applications of our results to the fields of Probabilistically Checkable Proofs, as well as various areas in discrete mathematics such as extremal combinatorics and additive combinatorics.
Catching a robber on a random $k$-uniform hypergraph
Published
• View Publication
• BIB
The game of \emph{Cops and Robber} is usually played on a graph, where a group of cops attempt to catch a robber moving along the edges of the graph. The \emph{cop number} of a graph is the minimum number of cops required to win the game. An important conjecture in this area, due to Meyniel, states that the cop number of an $n$-vertex connected graph is $O(\sqrt{n})$. In 2016, Prałat and Wormald [Meyniel's conjecture holds for random graphs, Random Structures Algorithms. 48 (2016), no. 2, 396-421. MR3449604] showed that this conjecture holds with high probability for random graphs above the connectedness threshold. Moreoever, Łuczak and Prałat [Chasing robbers on random graphs: Zigzag theorem, Random Structures Algorithms. 37 (2010), no. 4, 516-524. MR2760362] showed that on a $\log$-scale the cop number demonstrates a surprising \emph{zigzag} behaviour in dense regimes of the binomial random graph $G(n,p)$. In this paper, we consider the game of Cops and Robber on a hypergraph, where the players move along hyperedges instead of edges. We show that with high probability the cop number of the $k$-uniform binomial random hypergraph $G^k(n,p)$ is $O\left(\sqrt{\frac{n}{k}}\, \log n \right)$ for a broad range of parameters $p$ and $k$ and that on a $\log$-scale our upper bound on the cop number arises as the minimum of \emph{two} complementary zigzag curves, as opposed to the case of $G(n,p)$. Furthermore, we conjecture that the cop number of a connected $k$-uniform hypergraph on $n$ vertices is $O\left(\sqrt{\frac{n}{k}}\,\right)$.
Nonabelian partial difference sets constructed using abelian techniques
A $(v,k,λ, μ)$-partial difference set (PDS) is a subset $D$ of a group $G$ such that $|G| = v$, $|D| = k$, and every nonidentity element $x$ of $G$ can be written in either $λ$ or $μ$ different ways as a product $gh^{-1}$, depending on whether or not $x$ is in $D$. Assuming the identity is not in $D$ and $D$ is inverse-closed, the corresponding Cayley graph ${\rm Cay}(G,D)$ will be strongly regular. Partial difference sets have been the subject of significant study, especially in abelian groups, but relatively little is known about PDSs in nonabelian groups. While many techniques useful for abelian groups fail to translate to a nonabelian setting, the purpose of this paper is to show that examples and constructions using abelian groups can be modified to generate several examples in nonabelian groups. In particular, in this paper we use such techniques to construct the first known examples of PDSs in nonabelian groups of order $q^{2m}$, where $q$ is a power of an odd prime $p$ and $m \ge 2$. The groups constructed can have exponent as small as $p$ or as large as $p^r$ in a group of order $p^{2r}$. Furthermore, we construct what we believe are the first known Paley-type PDSs in nonabelian groups and what we believe are the first examples of Paley-Hadamard difference sets in nonabelian groups, and, using analogues of product theorems for abelian groups, we obtain several examples of each. We conclude the paper with several possible future research directions.
Subexpressions and the Bruhat order for double cosets
The Bruhat order on a Coxeter group is often described by examining subexpressions of a reduced expression. We prove that an analogous description applies to the Bruhat order on double cosets. This establishes the compatibility of the Bruhat order on double cosets with concatenation, leading to compatibility between the monoidal structure and the ideal of lower terms in the singular Hecke 2-category. We also prove other fundamental properties of this ideal of lower terms.
General Capelli-type identities
Published in Representation Theory 29 (2025), 695-717
• View Publication
• BIB
The classical Capelli identity is an important determinantal identity of a matrix with noncommutative entries that determines the center of the enveloping algebra of the general linear Lie algebra, and was used by Weyl as a main tool to study irreducible representations in his famous book on classical groups.
In 1996 Okounkov found higher Capelli identities involving immanants of the generating matrix of $U(gl(n))$ which correspond to arbitrary orthogonal idempotent of the symmetric group. It turns out that Williamson also discovered a general Capelli identity of immanants for $U(gl(n))$ in 1981. In this paper, we use a new method to derive a family of even more general Capelli identities that include the aforementioned Capelli identities as special cases as well as many other Capelli-type identities as corollaries. In particular, we obtain generalized Turnbull's identities for both symmetric and antisymmetric matrices, as well as the generalized Howe-Umeda-Kostant-Sahi identities for antisymmetric matrices which confirm the conjecture of Caracciolo, Sokal, and Sportiello.
The last patch for classifying shuffle groups
Divide a deck of $kn$ cards into $k$ equal piles and place them from left to right. The standard shuffle $σ$ is performed by picking up the top cards one by one from left to right and repeating until all cards have been picked up. For every permutation $τ$ of the $k$ piles, use $ρ_τ$ to denote the induced permutation on the $kn$ cards. The shuffle group $G_{k,kn}$ is generated by $σ$ and the $k!$ permutations $ρ_τ$. It was conjectured by Cohen et al in 2005 that the shuffle group $G_{k,kn}$ contains $A_{kn}$ if $k\geq3$, $(k,n)\ne\{4,2^f\}$ for any positive integer $f$ and $n$ is not a power of $k$. Very recently, Xia, Zhang and Zhu reduced the proof of the conjecture to that of the $2$-transitivity of the shuffle group and then proved the conjecture under the condition that $k\ge4$ or $k\nmid n$. In this paper, we proved that the group $G_{3,3n}$ is $2$-transitive for any positive integer $n$ which is a multiple of $3$ but not a power of $3$. This result leads to the complete classification of the shuffle groups $G_{k,kn}$ for all $k\ge2$ and $n\ge1$.
Sharp hypercontractivity for symmetric groups and its applications
A recently fertile strand of research in Group Theory is developing non-abelian analogues of classical combinatorial results for arithmetic Cayley graphs, describing properties such as growth, expansion, mixing, diameter, etc. We consider these problems for the symmetric and alternating groups. The case of normal Cayley graphs (those generated by unions of conjugacy classes) has seen significant progress via character theory (whereby Larsen and Shalev resolved several open problems), but the general case still remains poorly understood. In this paper we generalise the background assumption from being normal to being global (a pseudorandomness condition), replacing character bounds by spectral estimates for convolution operators of global functions, thus obtaining qualitative generalisations of several results on normal Cayley graphs. Furthermore, our theory in the pseudorandom setting can be applied (via density increment arguments) to several results for general sets that are not too sparse, including analogues of Polynomial Freiman-Ruzsa, Bogolyubov's lemma, Roth's theorem, the Waring problem and essentially sharp estimates for the diameter problem of Cayley graphs whose density is at least exponential in -n. Our main tool is a sharp new hypercontractive inequality for global functions on the symmetric group.