group
10226 papers tagged with this keyword
The ratio monotonicity of Eulerian-type polynomials
This paper is motivated by determining the location of modes of some unimodal Eulerian-type polynomials. The notion of ratio monotonicity was introduced by Chen-Xia when they investigated the $q$-derangement numbers. Let $(f_n(x))_{n\geqslant 0}$ be a sequence of real polynomials satisfying the Eulerian-type recurrence relation $$f_{n+1}(x)=(anx+bx+c)f_n(x)+ax(1-x)\frac{\mathrm{d}}{\mathrm{d}x}f_n(x),~f_0(x)=1,$$ where $a,b$ and $c$ are nonnegative integers. Assume that $deg f_n(x)=n$. Setting $g_n(x)=x^nf_n\left(\frac{1}{x}\right)$, we have $$g_{n+1}(x)=(anx+b+cx)g_n(x)+ax(1-x)\frac{\mathrm{d}}{\mathrm{d}x}g_n(x),$$ We find that if $a+c\geqslant b\geqslant c>0$, then $f_n(x)$ is bi-gamma-positive and $g_n(x)$ is ratio monotone. As applications, we discover the ratio monotonicity of several Eulerian-type polynomials, including the $(exc,cyc)$ $q$-Eulerian polynomials, the $1/k$-Eulerian polynomials, a kind of generalized Eulerian polynomials studied by Carlitz-Scoville, the $(des_B,neg)$ $q$-Eulerian polynomials over the hyperoctahedral group and the $r$-colored Eulerian polynomials. In particular, let $A_n(x,q)$ be the $(exc,cyc)$ $q$-Eulerian polynomials, we find that the polynomials $x^{n-1}A_n(1/x,q)$ are ratio monotone when $0<q\leqslant 1$, while $A_n(x,q)$ are ratio monotone when $1\leqslant q\leqslant 2$.
On new proper Jordan schemes related to quaternion and octonion algebras
We present a construction of a Jordan scheme from an elementary abelian $2$-group of rank $n$ and a $\{1,-1\}$-matrix of order $2^n$ that satisfies a specified condition. We then prove that the orders of matrices with the specified condition are limited to $2, 4$ or $8$. Using these matrices, we construct essentially two new proper Jordan schemes of orders $16$ and $32$. Finally, we analyze the structures of the real adjacency Jordan algebras of these Jordan schemes and prove that they are the first known examples whose real adjacency Jordan algebras admit simple components of type $\mathbb{R} \oplus_f \mathbb{R}^n$, namely non-Hermitian type.
Counting gauge-invariant states with matter fields and finite gauge groups
Published in Eur. Phys. J. C 85, 1319 (2025)
• View Publication
• BIB
Gauge theories with finite gauge groups have applications to quantum simulation and quantum gravity. Recently, the exact number of gauge-invariant states was computed for pure gauge theories on arbitrary lattices. In this work, we generalize this counting to include the case of scalar and fermionic matter, as well as various kinds of boundary conditions. As a byproduct, we consider several related questions, such as the implementation of charge conjugation for a generic finite group. These results are relevant for resource estimation and also as a crosscheck when working in a gauge-invariant basis.
Random Cayley graphs and random sumsets
We prove that any finite abelian group $G$ contains a collection of not too many subsets with a special structure, so that for every subset $A$ of $G$ with a small doubling, there is a member $F$ of the collection that is fully contained in the sumset $A+A$ and is not much smaller than it. Using this result we obtain improved bounds for the problem of estimating the typical independence number of sparse random Cayley or Cayley-sum graphs, and for the problem of estimating the smallest size of a subset of $G$ which is not a sumset. We also obtain tight bounds for the typical maximum length of an arithmetic progression in the sumset of a sparse random subset of $G$.
Counting factorizations of Singer cycles in linear and unitary groups
We count factorizations of Singer cycles as products of reflections in the families of special and general unitary and linear groups over a finite field. In the case of minimum-length factorizations, the resulting answer is a striking product formula resembling the count for minimum-length factorizations of Coxeter elements into reflections in complex reflections groups. Moreover, for minimum length, the answers for the unitary and linear groups exhibit the phenomenon of Ennola duality, where the number of factorizations in a unitary group over the field $\mathbb{F}_q$ is given by replacing `$q$' with `$-q$' in the corresponding answer for a linear group. We use the character theory of these groups to make this count, and in particular we employ the Deligne--Lusztig theory of characters for finite reductive groups.
On circular external difference families
A $(v,m,\ell,1)$-Circular External Difference Family (CEDF) is an $m$-sequence $(A_1, \ldots, A_m)$ of $\ell$-subsets of an additive group $G$ of order $v$ such that $G\setminus\{0\}$ equals the multiset of all differences $a-a'$, with $(a,a')\in A_i\times A_{i+1 \pmod{m}}$ for some $i$. CEDFs are a variation of External Difference Families, and have been recently introduced as a tool to construct non-malleable threshold schemes.
The existence of a $(v,m,\ell,1)$-CEDF over the cyclic group is known only when the number of parts $m$ is even, while there cannot exist a cyclic CEDF for $m$ and $\ell$ both odd.
In this work, we study the existence of cyclic CEDFs when $m$ is odd and $\ell$ is even: we construct cyclic $(v,m,\ell,1)$-CEDFs for any odd $m>1$ when $\ell=2$, and for any even $\ell \ge 2$ when $m=3$.
New Identities in the Character Table of Symmetric Groups involving Riordan Numbers
Amdeberhan recently proposed certain equalities between sums in the character table of symmetric groups. These equalities are between signed column sums in the character table, summing over the rows labeled by partitions in $\Ev$, where $λ$ is a partition of $n$ with $r$ nonzero parts and $\Ev$ is a multiset containing $2^r$ partitions of $2n$. While we observe that these equalities are not true in general, we prove that they do hold in interesting special cases. These lead to new equalities between sums of degrees of irreducible characters for the symmetric group and a new combinatorial interpretation for the Riordan numbers in terms of degrees of irreducible characters labeled by partitions with three parts of the same parity. This is the first, to our knowledge, theorem about degrees of symmetric group characters with parity conditions imposed on the partitions indexing the characters.
Sequence Characterization of Multiple Almost-Riordan Arrays and Their Compressions
This is the second paper of the paper series on multiple Riordan arrays. In this paper, based on the study of multiple Riordan arrays and the multiple Riordan group, we define multiple almost-Riordan arrays and find that the set of all multiple almost-Riordan arrays forms a group, called the multiple almost-Riordan group. We also obtain the sequence characteristics of multiple almost-Riordan arrays and give the production matrices for multiple almost-Riordan arrays. We define the compression of multiple almost-Riordan arrays and provide their sequence characterization.
Explicit Constructions of Maximal 3-Zero-Sum-Free Subsets in $ (\mathbb{Z}/4\mathbb{Z})^n $
We address a problem posed by Nathan Kaplan in the 2014 Combinatorial and Additive Number Theory session: finding the largest subset $H \subseteq (\mathbb{Z}/4\mathbb{Z})^n$ with no distinct $x, y, z \in H$ such that $x + y + z \equiv 0 \pmod{4}$. For even-order abelian groups, a standard $|G|/2$ lower bound applies. We prove this is optimal for $G = (\mathbb{Z}/4\mathbb{Z})^n$ using a pair-counting argument, with an explicit construction of vectors with first coordinate odd (1 or 3 mod 4), yielding size $2 \times 4^{n-1} = 4^n / 2$ and density 0.5, verified for $n \leq 10$. An AI-assisted hybrid greedy-genetic algorithm rediscovers this optimal size, highlighting its potential in combinatorial search.
Abelian and Dihedral equiangular tight frames of redundancy $2$
This paper studies group frames ($G$-frames) where the unitary group representation can be projective. When the group is abelian, for most combinations $N, n$, we show that $ETF(N,n)$ can only exist for genuinely projective group representations. In particular, cyclic-group frames for such parameters do not exist. We also give a characterization of all dihedral tight frames and dihedral $ETF(2n,n)$, using which, we conclude that regular dihedral $ETF(2n,n)$ must be genuinely projective. Following that, we give a characterization of regular dihedral $ETF(2n,n)$ in terms of certain structured skew Hadamard matrices. We then show that Paley $ETF(2n,n)$ and its doubling are both of this type. Finally, we classify all regular dihedral $ETF(2n,n)$ for $n\le 22$ up to switching equivalence.
Generalized Token Graphs
In this paper we give a new generalization of token graphs. Given two integers $1\leq m \leq k$ and a graph $G$ we define the generalized token graph of the graph $G$, to be the graph $F_k^m(G)$ whose vertices correspond to configurations of $k$ indistinguishable tokens placed at distinct vertices of $G$, where two configurations are adjacent whenever one configuration can be reached from the other by moving $m$ tokens along $m$ edges of $G$. When $m=1$, the usual token graph $F_k(G)$ is recovered.
We give sufficient and necessary conditions on the graph $G$ for $F_2^2(G)$ to be connected and
we give sufficient and necessary conditions on the graph $G$ for $F_2^2(G)$ to be bipartite.
We also analyze some properties of generalized token graphs, such as clique number, chromatic number, independence number and domination number. Finally, we conclude with an analysis of the automorphism group of the generalized token graph.
Extended Weak Order for the Rank 3 Universal Coxeter Group
The weak order is a classical poset structure on a Coxeter group; it is a lattice when the group is finite but merely a meet-semilattice when the group is infinite. Motivated by problems in Kazhdan--Lusztig theory, Matthew Dyer introduced the extended weak order, a poset that contains a copy of the weak order as an order ideal, and he conjectured that the extended weak order for any Coxeter group is a lattice. We prove Dyer's conjecture for the rank 3 universal Coxeter group. This is the first non-spherical, non-affine Coxeter group for which Dyer's conjecture has been proven.
The $K(π, 1)$ conjecture for affine Artin groups
In this summary paper, we present the key ideas behind the recent proof of the $K(π, 1)$ conjecture for affine Artin groups, which states that complements of locally finite affine hyperplane arrangements with real equations and stable under orthogonal reflections are aspherical. We survey three facets of the argument: the combinatorics of noncrossing partition posets associated with Coxeter groups; the appearance of dual Artin groups and the question of their isomorphism with standard Artin groups; the topological models and their interplay in the proof.
Comparing Left and Right Quotient Sets in Groups
For a finite subset $A$ of a group $G$, we define the right quotient set and the left quotient set of $A$, respectively, as $AA^{-1} := \{a_1a_2^{-1}:a_1,a_2\in A\}$, $A^{-1}A := \{a_1^{-1}a_2:a_1,a_2\in A\}$. While the right and left quotient sets are equal if $G$ is abelian, subtleties arise when $G$ is a nonabelian group, where the cardinality difference $|AA^{-1}| - |A^{-1}A|$ may be take on arbitrarily large values. Using the results of Martin and O'Bryant on the cardinality differences of sum sets and difference sets in $\mathbb{Z}$, we prove in the infinite dihedral group, $D_\infty \cong \mathbb{Z} \rtimes \mathbb{Z}/2\mathbb{Z}$, every integer difference is achievable. Further, we prove that in $F_2$, the free group on $2$ generators, an integer difference is achievable if and only if that integer is even, and we explicitly construct subsets of $F_2$ that achieve every even integer. We further determine the minimum cardinality of $A \subset G$ so that the difference between the cardinalities of the left and right quotient sets is nonzero, depending on the existence of order $2$ elements in $G$. To prove these results, we construct difference graphs $D_A$ and $D_{A^{-1}}$ which encode equality, respectively, in the right and left quotient sets. We observe a bijection from edges in $D_A$ to edges in $D_{A^{-1}}$ and count connected components in order to obtain our results on cardinality differences $|AA^{-1}| - |A^{-1}A|$.
On tetravalent half-arc-transitive graphs
Vertex-stabilizers of trivalent edge-transitive graphs have been classified by Tutte, Goldschmidt and some others in several previous papers. Tetravalent half-arc-transitive graphs form an important class of tetravalent edge-transitive graphs. Marušič and Nedela (2001) initiated the study of the problem of classifying vertex-stabilizers of tetravalent half-arc-transitive graphs, which has received extensive attention and considerable effort in the literature. In this paper, we solve this problem by proving that a group is the vertex-stabilizer of a connected tetravalent half-arc-transitive graph if and only if it is a non-trivial concentric group. Note that a characterization of concentric groups has been given by Marušič and Nedela in 2001. Furthermore, we give an explicit construction of an infinite family of tetravalent half-arc-transitive graphs with automorphism group isomorphic to $A_{2^n}\wr \mathbb{Z}_2$ and vertex-stabilizers isomorphic to $(D_8^2\times\mathbb{Z}_{2}^{n-6})^2$ for $n\geq7$. These are the first known family of basic tetravalent half-arc-transitive graphs of bi-quasiprimitive type.
Polynomial properties of unipotent radicals of parabolic subgroups in classical groups
Let $R_u^{X,d}$ denote the unipotent radical of a (proper) maximal standard parabolic subgroup of the classical group $\mathrm{Sp}_{2n}(q)$, $\mathrm{SO}_{2n}(q)$, or $\mathrm U_{2n}({q^2})$. This paper establishes explicit formulas for the number of irreducible characters of $R_u^{X,d}$ with degree $q^e$.
Chiral polytopes of order $2p^m$
Let $\mathcal{P}$ be a chiral polytope with type $\{k_1, k_2\}$ and $G=Aut(\mathcal{P})$. Suppose $|G|=2p^m$, where $k_1, k_2\geq 3$ and $p$ is an odd prime. Let $P$ be a Sylow $p$-subgroup of $G$. We prove that $G \cong P \rtimes \mathbb{Z}_2$, $d(P)=2$, $P' \ne 1$(so $m \geq 3$) and up to duality, $\{k_1, k_2\}=\{p^{l_1}, 2p^{l_2}\}$ for some integral $l_1, l_2 \geq 1$. Moreover, we show that $\mathcal{P}$ is tight $(k_1k_2=2p^m$) if and only if $P$ is metacyclic group. Furthermore, if $m=3$ or $4$, then $\mathcal{P}$ must be tight, and if $m \geq 5$, where either $m$ is odd, or $m$ is even and $m \geq p+3$, there exists a non-tight chiral polytope $\mathcal{P}$.
Classification of flag-transitive $2$-$(v, k, λ)$ designs with alternating group $A_n$($n \le 10$) as socle
This paper is devoted to the classification of all flag-transitive point-primitive non-trivial $2$-$(v, k, λ)$ designs with the alternating group $A_n$($n \le 10$) as the socle of their automorphism groups, and 87 different designs are obtained up to isomorphism. The results of this study further improve the classification theory of designs under the action of almost simple groups, and provide reference for the follow-up study of similar problems.
Separating subsets from their images
Let $G$ be a transitive permutation group acting on $Ω$. In this paper, we introduce and study the parameter ${\bf m}(G)$, which denotes the size of the smallest set of points $A$ such that, for every permutation $g\in G$, $A \cap A^g$ is nonempty. In particular, we focus on deriving general bounds for arbitrary transitive groups, and on the asymptotic behaviour of certain families of primitive groups. We also provide a classification of transitive groups with ${\bf m}(G)$ largest possible, namely with ${\bf m}(G)=\lceil (|Ω|+1) / 2 \rceil$.
Limit spaces of vertex and edge replacement systems
We introduce and study VERSs (vertex and edge replacement systems) as a technology of graph expansions. We consider its history graph, an augmented tree that records each graph expansion, and we provide sufficient conditions under which it is hyperbolic. When hyperbolic, its Gromov boundary is what we call the limit space of the VERS. We provide three examples from different areas of mathematics: Schreier graphs and limit spaces of finitely generated contracting self-similar groups, injective post-critically finite iterated function systems and limit spaces of edge replacement systems.