group
10226 papers tagged with this keyword
Cellularity of the p-Canonical Basis for Symmetric Groups
For symmetric groups we show that the p-canonical basis can be extended to a cell datum for the Iwahori-Hecke algebra H and that the two-sided p-cell preorder coincides with the Kazhdan-Lusztig two-sided cell preorder. Moreover, we show that left (or right) p-cells inside the same two-sided p-cell for Hecke algebras of finite crystallographic Coxeter systems are incomparable (Property A).
On the prime spectrum of an automorphism group of an ${\rm AT4}(p,p+2,r)$-graph
Published
• View Publication
• BIB
This paper is devoted to the problem of classification of ${\rm AT4}(p,p+2,r)$-graphs. There is a unique ${\rm AT4}(p,p+2,r)$-graph with $p=2$, namely, the distance-transitive Soicher graph with intersection array $\{56, 45, 16, 1;1, 8, 45, 56\}$, whose local graphs are isomorphic to the Gewirtz graph. It is still unknown whether an ${\rm AT4}(p,p+2,r)$-graph with $p>2$ exists. The local graphs of each ${\rm AT4}(p,p+2,r)$-graph are strongly regular with parameters $((p+2)(p^2+4p+2),p(p+3),p-2,p)$. In the present paper, we find an upper bound for the prime spectrum of an automorphism group of a strongly regular graph with such parameters, and we also obtain some restrictions for the prime spectrum and the structure of an automorphism group of an ${\rm AT4}(p,p+2,r)$-graph in case when $p$ is a prime power. As a corollary, we show that there are no arc-transitive ${\rm AT4}(p,p+2,r)$-graphs with $p\in \{11,17,27\}$.
A new construction of Deza graphs through $π$-local fusion graphs of finite simple groups of Lie-type of even characteristic
In this paper, we investigate the structure of $π$-local fusion graphs of some finite simple groups of Lie-type of even characteristic. We indicate a strong connection between such graphs and other combinatorial objects, as antipodal covers and Deza graphs. In particular, we find several infinite families of $π$-local fusion graphs of finite simple groups of Lie-type of even characteristic that are strictly Deza graphs.
Explicit construction of exact unitary designs
Published
• View Publication
• BIB
The purpose of this paper is to give explicit constructions of unitary $t$-designs in the unitary group $U(d)$ for all $t$ and $d$. It seems that the explicit constructions were so far known only for very special cases. Here explicit construction means that the entries of the unitary matrices are given by the values of elementary functions at the root of some given polynomials. We will discuss what are the best such unitary $4$-designs in $U(4)$ obtained by these methods.
Indeed we give an inductive construction of designs on compact groups by using Gelfand pairs $(G,K)$. Note that $(U(n),U(m) \times U(n-m))$ is a Gelfand pair. By using the zonal spherical functions for $(G,K)$, we can construct designs on $G$ from designs on $K$.
We remark that our proofs use the representation theory of compact groups crucially. We also remark that this method can be applied to the orthogonal groups $O(d)$, and thus provides another explicit construction of spherical $t$-designs on the $d$ dimensional sphere $S^{d-1}$ by the induction on $d$.
Packing $A$-paths of length zero modulo a prime
Published in J. Combin. Theory Ser. B 160 (2023), 114-143
• View Publication
• BIB
It is known that $A$-paths of length $0$ mod $m$ satisfy the Erdős-Pósa property if $m=2$ or $m=4$, but not if $m > 4$ is composite. We show that if $p$ is prime, then $A$-paths of length $0$ mod $p$ satisfy the Erdős-Pósa property. More generally, in the framework of undirected group-labelled graphs, we characterize the abelian groups $Γ$ and elements $\ell \in Γ$ for which the Erdős-Pósa property holds for $A$-paths of weight $\ell$.
Packing cycles in undirected group-labelled graphs
Published in J. Combin. Theory Ser. B 161 (2023), 228-267
• View Publication
• BIB
We prove a refinement of the flat wall theorem of Robertson and Seymour to undirected group-labelled graphs $(G,γ)$ where $γ$ assigns to each edge of an undirected graph $G$ an element of an abelian group $Γ$. As a consequence, we prove that $Γ$-nonzero cycles (cycles whose edges sum to a non-identity element of $Γ$) satisfy the half-integral Erdős-Pósa property, and we also recover a result of Wollan that, if $Γ$ has no element of order two, then $Γ$-nonzero cycles satisfy the Erdős-Pósa property. As another application, we prove that if $m$ is an odd prime power, then cycles of length $\ell \mod m$ satisfy the Erdős-Pósa property for all integers $\ell$. This partially answers a question of Dejter and Neumann-Lara from 1987 on characterizing all such integer pairs $(\ell,m)$.
Distance Sequences of Locally Infinite Primitive Graphs
A graph is called primitive if its automorphism group acts primitively on the vertex set. In this paper, we prove a classification of the possible distance sequences of locally infinite primitive graphs. In particular we show that if a primitive graph is locally uncountable, the distance sequence is constant until it terminates. We also prove a constraint on the distance sequences of locally finite infinite graphs.
On Two Laplacian Matrices for Skew Gain Graphs
Published
• View Publication
• BIB
Let $G=(V,\overrightarrow{E})$ be a graph with some prescribed orientation for the edges and $Γ$ be an arbitrary group. If $f\in \mathrm{Inv}(Γ)$ be an anti-involution then the skew gain graph $Φ_f=(G,Γ,\varphi,f)$ is such that the skew gain function $\varphi:\overrightarrow{E}\rightarrow Γ$ satisfies $\varphi(\overrightarrow{vu})=f(\varphi(\overrightarrow{uv}))$. In this paper, we study two different types, Laplacian and $g$-Laplacian matrices for a skew gain graph where the skew gains are taken from the multiplicative group $F^\times$ of a field $F$ of characteristic zero. Defining incidence matrix, we also prove the matrix tree theorem for skew gain graphs in the case of the $g$-Laplacian matrix.
Log-concavity of the Excedance Enumerators in positive elements of Type A and Type B Coxeter Groups
Published
• View Publication
• BIB
The classical Eulerian Numbers $A_{n,k}$ are known to be log-concave. Let $P_{n,k}$ and $Q_{n,k}$ be the number of even and odd permutations with $k$ excedances. In this paper, we show that $P_{n,k}$ and $Q_{n,k}$ are log-concave. For this, we introduce the notion of strong synchronisation and ratio-alternating which are motivated by the notion of synchronisation and ratio-dominance, introduced by Gross, Mansour, Tucker and Wang in 2014.
We show similar results for Type B Coxeter Groups. We finish with some conjectures to emphasize the following: though strong synchronisation is stronger than log-concavity, many pairs of interesting combinatorial families of sequences seem to satisfy this property.
The Ceresa class: tropical, topological, and algebraic
Published
• View Publication
• BIB
The Ceresa cycle is an algebraic cycle attached to a smooth algebraic curve with a marked point, which is trivial when the curve is hyperelliptic with a marked Weierstrass point. The image of the Ceresa cycle under a certain cycle class map provides a class in étale cohomology called the Ceresa class. Describing the Ceresa class explicitly for non-hyperelliptic curves is in general not easy. We present a "combinatorialization" of this problem, explaining how to define a Ceresa class for a tropical algebraic curve, and also for a topological surface endowed with a multiset of commuting Dehn twists (where it is related to the Morita cocycle on the mapping class group). We explain how these are related to the Ceresa class of a smooth algebraic curve over $\mathbb{C}(\!(t)\!)$, and show that the Ceresa class in each of these settings is torsion.
On Regular Set Systems Containing Regular Subsystems
Published
• View Publication
• BIB
Let $X,Y$ be finite sets, $r,s,h, λ\in \mathbb{N}$ with $s\geq r, X\subsetneq Y$. By $λ\binom{X}{h}$ we mean the collection of all $h$-subsets of $X$ where each subset occurs $λ$ times. A coloring of $λ\binom{X}{h}$ is {\it $r$-regular} if in every color class each element of $X$ occurs $r$ times. A one-regular color class is a {\it perfect matching}. We are interested in the necessary and sufficient conditions under which an $r$-regular coloring of $λ\binom{X}{h}$ can be embedded into an $s$-regular coloring of $λ\binom{Y}{h}$. Using algebraic techniques involving glueing together orbits of a suitably chosen cyclic group, the first author and Newman (Combinatorica 38 (2018), no. 6, 1309--1335) solved the case when $λ=1,r=s, \gcd (|X|,|Y|,h)=\gcd(|Y|,h)$. Using purely combinatorial techniques, we nearly settle the case $h=4$. Two major challenges include finding all the necessary conditions, and obtaining the exact bound for $|Y|$.
It is worth noting that completing partial symmetric latin squares is closely related to the case $λ=r=s=1, h=2$ which was solved by Cruse (J. Comb. Theory Ser. A 16 (1974), 18--22).
Newell-Littlewood numbers II: extended Horn inequalities
Published in Algebr. Comb. 5 (2022), no. 6, 1287-1297
• View Publication
• BIB
The Newell-Littlewood numbers $N_{μ,ν,λ}$ are tensor product multiplicities of Weyl modules for classical Lie groups, in the stable limit. For which triples of partitions $(μ,ν,λ)$ does $N_{μ,ν,λ}>0$ hold? The Littlewood-Richardson coefficient case is solved by the Horn inequalities (in work of A. Klyachko and A. Knutson-T. Tao). We extend these celebrated linear inequalities to a much larger family, suggesting a general solution.
Cayley graphs of order 6pq are Hamiltonian
Published
• View Publication
• BIB
Assume G is a finite group, such that |G|= 6pq or 7pq, where p and q are distinct prime numbers, and let S be a generating set of G. We prove there is a Hamiltonian cycle in the corresponding Cayley graph Cay(G;S).
A look at generalized perfect shuffles
Published in Involve 14 (2021) 813-828
• View Publication
• BIB
Standard perfect shuffles involve splitting a deck of $2n$ cards into two stacks and interlacing the cards from the stacks. There are two ways that this interlacing can be done, commonly referred to as an in shuffle and an out shuffle, respectively. In 1983, Diaconis, Graham, and Kantor determined the permutation group generated by in and out shuffles on a deck of $2n$ cards for all $n$. Diaconis et al. concluded their work by asking whether similar results can be found for so-called generalized perfect shuffles. For these new shuffles, we split a deck of $mn$ cards into $m$ stacks and similarly interlace the cards with an in $m$-shuffle or out $m$-shuffle (denoted $I_m$ and $O_m$, respectively). In this paper, we find the structure of the group generated by these two shuffles for a deck of $m^k$ cards, together with $m^y$-shuffles, for all possible values of $m$, $k$, and $y$. The group structure is completely determined by $k/\gcd(y,k)$ and the parity of $y/\gcd(y,k)$. In particular, the group structure is independent of the value of $m$.
The seven-strand braid group is CAT(0)
Published
• View Publication
• BIB
We prove that the 7-strand braid group is CAT(0) by elaborating on the argument of Haettel, Kielak and Schwer
The Terwilliger algebra of the twisted Grassmann graph: the thin case
Published in Electron. J. Combin. 28 (2020) #P4.15
• View Publication
• BIB
The Terwilliger algebra $T(x)$ of a finite connected simple graph $Γ$ with respect to a vertex $x$ is the complex semisimple matrix algebra generated by the adjacency matrix $A$ of $Γ$ and the diagonal matrices $E_i^*(x)=\operatorname{diag}(v_i)$ $(i=0,1,2,\dots)$, where $v_i$ denotes the characteristic vector of the set of vertices at distance $i$ from $x$. The twisted Grassmann graph $\tilde{J}_q(2D+1,D)$ discovered by Van Dam and Koolen in 2005 has two orbits of the automorphism group on its vertex set, and it is known that one of the orbits has the property that $T(x)$ is thin whenever $x$ is chosen from it, i.e., every irreducible $T(x)$-module $W$ satisfies $\dim E_i^*(x)W\leqslant 1$ for all $i$. In this paper, we determine all the irreducible $T(x)$-modules of $\tilde{J}_q(2D+1,D)$ for this "thin" case.
Strongly regular graphs with parameters (81,30,9,12) and a new partial geometry pg(5,5,2)
Twelve new strongly regular graphs with parameters (81,30,9,12) are found as graphs invariant under certain subgroups of the automorphism groups of the two previously known graphs that arise from 2-weight codes. One of these new graphs is geometric and yields a partial geometry with parameters pg(5,5,2) that is not isomorphic to the partial geometry discovered by J. H. van Lint and A. Schrijver in 1981.
Distinguishing actions of symmetric groups and related graphs
The distinguishing number $D(G,X)$ of an action of a group $G$ on a set $X$ is the least size of a partition of $X$ such that no element of $G$ acting nontrivially on $X$ preserves this partition. In this paper we describe the distinguishing numbers for all actions of the symmetric group $S_n$, for any $n\geq 3$. This allows us to describe the distinguishing numbers for all graphs whose automorphism group is isomorphic with a symmetric group. Our description solves a few open problems posed by various authors in earlier papers on this topic.
On the Characteristic Polynomial of Skew Gain Graphs
Gain graphs are graphs where the edges are given some orientation and labeled with the elements (called gains) from a group so that gains are inverted when we reverse the direction of the edges. Generalizing the notion of gain graphs, skew gain graphs have the property that the gain of a reversed edge is the image of edge gain under an anti-involution. In this paper, we deal with the adjacency matrix of skew gain graphs with involutive automorphism on a field of characteristic zero and their charactersitic polynomials. Spectra of some particular skew gain graphs are also discussed. Meanwhile it is interesting to note that weighted graphs are particular cases of skew gain graphs.
Complete type amalgamation for non-standard finite groups
Published in Model Th. 3 (2024) 1-37
• View Publication
• BIB
We extend previous work on Hrushovski's stabilizer's theorem and prove a measure-theoretic version of a well-known result of Pillay-Scanlon-Wagner on products of three types. This generalizes results of Gowers on products of three sets and yields model-theoretic proofs of existing asymptotic results for quasirandom groups. We also obtain a model-theoretic proof of Roth's theorem on the existence of arithmetic progressions of length $3$ for subsets of positive density in suitable definably amenable groups, such as countable amenable abelian groups without involutions and ultraproducts of finite abelian groups of odd order.