arXiv++ Combinatorics

Browse math.CO papers from arXiv

group

10399 papers tagged with this keyword
On the structure of graph product von Neumann algebras
Published • View Publication • BIB
We undertake a comprehensive study of structural properties of graph products of von Neumann algebras equipped with faithful, normal states, as well as properties of the graph products relative to subalgebras coming from induced subgraphs. Among the technical contributions in this paper include a complete bimodule calculation for subalgebras arising from subgraphs. As an application, we obtain a complete classification of when two subalgebras coming from induced subgraphs can be amenable relative to each other. We also give complete characterizations of when the graph product can be full, diffuse, or a factor. Our results are obtained in a broad generality, and we emphasize that they are new even in the tracial setting. They also allow us to deduce new results about when graph products of groups can be amenable relative to each other.
2024-04-10
Quotient sets in nonabelian groups
Published • View Publication • BIB
We show that for a finite, nonempty subset $A$ of a group, the quotient set $A^{-1}A:=\{a_1^{-1}a_2\colon a_1,a_2\in A\}$ has size $|A^{-1}A|\ge\frac53\,|A|$, unless $A$ is densely contained in a coset, or in a union of two cosets of a finite subgroup.
2024-04-10
Automorphisms of the generalized cluster complex
Published in American Journal of Combinatorics 4 (2025), 23--41 • View Publication • BIB
It is proved that the generalized cluster complex defined by Fomin and Reading has a dihedral symmetry. Together with diagram symmetries, they generate its automorphism group. A consequence is a simple explicit formula for the order of this automorphism group.
2024-04-10 v7
Probabilistic estimates of the diameters of the Rubik's Cube groups
The diameter of the Cayley graph of the Rubik's Cube group is the fewest number of turns needed to solve the Cube from the hardest initial configuration. For the 2$\times$2$\times$2 Cube, the diameter is 11 in the half-turn metric, 14 in the quarter-turn metric, 19 in the semi-quarter-turn metric, and 10 in the bi-quarter-turn metric. For the 3$\times$3$\times$3 Cube, the diameter was determined by Rokicki et al. to be 20 in the half-turn metric and 26 in the quarter-turn metric. This study shows that a modified version of the coupon collector's problem in probability theory can predict the diameters correctly for both 2$\times$2$\times$2 and 3$\times$3$\times$3 Cubes insofar as the quarter-turn metric is adopted. In the half-turn metric, the diameters are overestimated by one and two, respectively, for the 2$\times$2$\times$2 and 3$\times$3$\times$3 Cubes, whereas for the 2$\times$2$\times$2 Cube in the semi-quarter-turn and bi-quarter-turn metrics, they are overestimated by two and underestimated by one, respectively. Invoking the same probabilistic logic, the diameters of the 4$\times$4$\times$4 and 5$\times$5$\times$5 Cubes are predicted to be 48 (41) and 68 (58) in the quarter-turn (half-turn) metric, whose precise determinations are far beyond reach of classical supercomputing. The probabilistically estimated diameter is shown to obey the approximate formula of $\ln N / \ln r + \ln N / r$, where $N$ is the number of configurations and $r$ is the branching ratio.
Random permutation matrix models for graph products
Published • View Publication • BIB
Graph independence (also known as $ε$-independence or $λ$-independence) is a mixture of classical independence and free independence corresponding to graph products or groups and operator algebras. Using conjugation by certain random permutation matrices, we construct random matrix models for graph independence with amalgamation over the diagonal matrices. This yields a new probabilist,ic proof that graph products of sofic groups are sofic.
2024-04-10
Schur rings over ${\bf {\rm Sp}(n,2)}$ and multiplicity one subgroups
Published • View Publication • BIB
We study commutative Schur rings over the symplectic groups Sp$(n,2)$ containing the class $\mathcal C$ of symplectic transvections. We find the possible partitions of $\mathcal C$ determined by the Schur ring. We show how this restricts the possibilities for multiplicity one subgroups of Sp$(n,2)$.
2024-04-09 v2
Quantum association schemes
We introduce quantum association schemes. This allows to define distance regular and strongly regular quantum graphs. We bring examples thereof. In addition, we formulate the duality for translation quantum association schemes corresponding to finite quantum groups.
Disarray, reduced words, and 321-avoidance in George groups
Previous work has shown that the disarray (or displacement) of an (affine) (signed) permutation is bounded in terms of its Coxeter length. Here, we characterize the permutations for which the bound is sharp in two ways: in terms of a natural property of their reduced words, and by ``globally'' avoiding the pattern 321.
2024-04-09 v4
Extremes of generalized inversions on permutation groups
Generalized inversions $X_{\mathrm{inv}}^{(d)}$ and generalized descents $X_{\mathrm{des}}^{(d)}$ are an interesting combinatorial extension of the common inversion and descent statistics. By means of the root poset, they can be defined on all classical Weyl groups. In this paper, we investigate the bivariate normality of $(X_{\mathrm{inv}}^{(d)}, X_{\mathrm{des}}^{(d)})^\top$ as well as the extreme value behavior of $X_{\mathrm{inv}}^{(d_1)}$, $X_{\mathrm{des}}^{(d_2)}$ and $(X_{\mathrm{inv}}^{(d_1)}, X_{\mathrm{des}}^{(d_2)})^\top$. We show that bivariate normality holds in the regimes of $d_1 = o(n^{1/3})$ and $d_1 = ω(n^{1/2})$. For these situations, we also discuss the number of samples $k_n$ for which the Gumbel max-attraction applies to a triangular array based on $X_{\mathrm{inv}}^{(d_1)}$, $X_{\mathrm{des}}^{(d_2)}$ or $(X_{\mathrm{inv}}^{(d_1)}, X_{\mathrm{des}}^{(d_2)})^\top$.
2024-04-08
A new family of locally $5$-arc transitive graphs of pushing up type with respect to the prime 3
Published • View Publication • BIB
Let $q$ be a power of the prime 3. A locally 5-arc transitive $G$-graph of pushing up type is constructed for each value of $q$. For $q=3$, the $G$-graph constructed provides an example of a graph with a vertex stabilizer amalgam of shape ${\cal E}_1$ in the sense of [1]. Whereas, for the other values of $q$, the vertex stabilizer amalgam of the $G$-graph is of a previously unknown shape. In particular, for $q \neq 3$, these graphs are the first examples of locally 5-arc transitive graphs containing a vertex $z$ for which the group that fixes all 3-arcs originating at $z$ is non-trivial.
Cohomology ring of non-compact abelian arrangements
Published • View Publication • BIB
We give a Orlik-Solomon type presentation for the cohomology ring of arrangements in a non-compact abelian Lie group. The new insight consists in comparing arrangements in different abelian groups. Our work is based on the Varchenko-Gelfand ring for real hyperplane arrangements and from that we deduce the cohomology rings of all other abelian arrangements. As by-product, we obtain a new proof of the Orlik-Solomon relations and De Concini-Procesi ones.
2024-04-07
0-Hecke Modules, Domino Tableaux, and Type-$B$ Quasisymmetric Functions
Published • View Publication • BIB
We extend the notion of ascent-compatibility from symmetric groups to all Coxeter groups, thereby providing a type-independent framework for constructing families of modules of $0$-Hecke algebras. We apply this framework in type $B$ to give representation-theoretic interpretations of a number of noteworthy families of type-$B$ quasisymmetric functions. Next, we construct modules of the type-$B$ $0$-Hecke algebra corresponding to type-$B$ analogues of Schur functions and introduce a type-$B$ analogue of Schur $Q$-functions; we prove that these shifted domino functions expand positively in the type-$B$ peak functions. We define a type-$B$ analogue of the $0$-Hecke--Clifford algebra, and we use this to provide representation-theoretic interpretations for both the type-$B$ peak functions and the shifted domino functions. We consider the modules of this algebra induced from type-$B$ $0$-Hecke modules constructed via ascent-compatibility and prove a general formula, in terms of type-$B$ peak functions, for the type-$B$ quasisymmetric characteristics of the restrictions of these modules.
2024-04-07
A combinatorial interpretation of Mahonian numbers of type B
In this paper, we first introduce the number of signed permutations with exactly $k$ inversions, which is denoted by $i_B(n,k)$ and called \textit{Mahonian numbers of type $B$}. Then we provide a recurrence relation for the Mahonian numbers $i_B(n,k)$. In addition, we give an explicit recursive description for the summation of inversions of all permutations in the hyperoctahedral group $B_n$, denoted by $\mathcal{B}_n$. Furthermore, we enumerate the total number of inversions in permutations in the hyperoctahedral group $B_n$ concretely with the help of an inversion statistic and a backward permutation concepts on $B_n$.
2024-04-06
On bipartite biregular large graphs
Published • View Publication • BIB
A bipartite graph $G=(V,E)$ with $V=V_1\cup V_2$ is biregular if all the vertices of each stable set, $V_1$ and $V_2$, have the same degree, $r$ and $s$, respectively. This paper studies difference sets derived from both Abelian and non-Abelian groups. From them, we propose some constructions of bipartite biregular graphs with diameter $d=3$ and asymptotically optimal order for given degrees $r$ and $s$. Moreover, we find some biMoore graphs, that is, bipartite biregular graphs that attain the Moore bound.
2024-04-05
Genus and crosscap of Normal subgroup based power graphs of finite groups
Published • View Publication • BIB
Let $H$ be a normal subgroup of a group $G$. The normal subgroup based power graph $Γ_H(G)$ of $G$ is the simple undirected graph with vertex set $V(Γ_H(G))= (G\setminus H)\cup \{e\}$ and two distinct vertices $a$ and $b$ are adjacent if either $aH = b^m H$ or $bH=a^nH$ for some $m,n \in \mathbb{N}$. In this paper, we continue the study of normal subgroup based power graph and characterize all the pairs $(G,H)$, where $H$ is a non-trivial normal subgroup of $G$, such that the genus of $Γ_H(G)$ is at most $2$. Moreover, we determine all the subgroups $H$ and the quotient groups $\frac{G}{H}$ such that the cross-cap of $Γ_H(G)$ is at most three.
Involutions in Coxeter groups
Published in Algebras and Representation Theory, volume 28 (2025), 647-667 • View Publication • BIB
We combinatorially characterize the number $\mathrm{cc}_2$ of conjugacy classes of involutions in any Coxeter group in terms of higher rank odd graphs. This notion naturally generalizes the concept of odd graphs, used previously to count the number of conjugacy classes of reflections. We provide uniform bounds and discuss some extremal cases, where the number $\mathrm{cc}_2$ is smallest or largest possible. Moreover, we provide formulae for $\mathrm{cc}_2$ in free and direct products as well as for some finite and affine types, besides computing $\mathrm{cc}_2$ for all triangle groups, and all affine irreducible Coxeter groups of rank up to eleven.
2024-04-03
A Classification of the flag-transitive $2$-$(v,3,λ)$ designs with with $v\equiv 1,3\pmod{6}$ and $v \equiv 6 \pmodλ$
Published • View Publication • BIB
In this paper, we provide a complete classification of the $2$-$(v,3,λ)$ designs with $v\equiv 1,3\pmod{6}$ and $% v \equiv 6 \pmodλ$ admitting a flag-transitive automorphism group non-isomorphic to a subgroup of $AΓL_{1}(v)$.
2024-04-03 v2
A construction of directed strongly regular graphs with parameters (63,11,8,1,2)
Published • View Publication • BIB
In this paper, we prove the existence of directed strongly regular graphs with parameters $(63,11,8,1,2)$. We construct a pair of nonisomorphic dsrg(63,11,8,1,2), where one is obtained from the other by reversing all arrows. Both directed strongly regular graphs have $L_2(8):3$ as the full automorphism group.
2024-04-02 v2
First homology groups of the Milnor fiber boundary for generic hyperplane arrangements in $\mathbb{C}^{3}$
Published • View Publication • BIB
We study the Milnor fiber boundary for hyperplane arrangements in $\mathbb{C}^3$. This is one of the examples of non-isolated surface singularities, which are studied by Némethi--Szilárd. In this paper, we compute the first homology group of the Milnor fiber boundary for a generic arrangement, which gives an affirmative answer to the conjecture of Suciu. Also, we give an example of an arrangement with $n$ hyperplanes, whose torsion part in the Milnor fiber boundary homology contains a direct summand other than $\mathbb{Z}_{n}$, for certain value of $n$.
2024-04-02 v3
Hook-Lengths, Symplectic/Orthogonal Contents and Amdeberhan's Conjectures
Published • View Publication • BIB
The symplectic/orthogonal contents of partitions are related to the dimensions of irreducible representations of symplectic/orthogonal groups. In 2012, motivated by Nekrasov--Okounkov's hook-length formula and Stanley's hook-content formula, Amdeberhan proposed several conjectures about infinite product formulas for certain generating functions of hook-lengths and symplectic/orthogonal contents. Some special cases of his conjectures were recently proved by Amdeberhan, Andrews and Ballantine. In this paper, we prove the general cases of Amdeberhan's conjectures.