group
10226 papers tagged with this keyword
Partial Difference Sets with Denniston Parameters in Elementary Abelian $p$-Groups
Denniston \cite{D1969} constructed partial difference sets (PDS) with parameters $(2^{3m}, (2^{m+r}-2^m+2^r)(2^m-1), 2^m-2^r+(2^{m+r}-2^m+2^r)(2^r-2), (2^{m+r}-2^m+2^r)(2^r-1))$ in elementary abelian groups of order $2^{3m}$ for all $m\geq 2$ and $1 \leq r < m$. These PDS correspond to maximal arcs in the Desarguesian projective planes PG$(2, 2^m)$. Davis et al. \cite{DHJP2024} and also De Winter \cite{dewinter23} presented constructions of PDS with Denniston parameters $(p^{3m}, (p^{m+r}-p^m+p^r)(p^m-1), p^m-p^r+(p^{m+r}-p^m+p^r)(p^r-2), (p^{m+r}-p^m+p^r)(p^r-1))$ in elementary abelian groups of order $p^{3m}$ for all $m \geq 2$ and $r \in \{1, m-1\}$, where $p$ is an odd prime. The constructions in \cite{DHJP2024, dewinter23} are particularly intriguing, as it was shown by Ball, Blokhuis, and Mazzocca \cite{BBM1997} that no nontrivial maximal arcs in PG$(2, q^m)$ exist for any odd prime power $q$. In this paper, we show that PDS with Denniston parameters $(q^{3m}, (q^{m+r}-q^m+q^r)(q^m-1), q^m-q^r+(q^{m+r}-q^m+q^r)(q^r-2), (q^{m+r}-q^m+q^r)(q^r-1))$ exist in elementary abelian groups of order $q^{3m}$ for all $m \geq 2$ and $1 \leq r < m$, where $q$ is an arbitrary prime power.
Weak Freiman isomorphisms and sequencings of small sets
In this paper, we introduce a weakening of the Freiman isomorphisms between subsets of non necessarily abelian groups.
Inspired by the breakthrough result of Kravitz, [14], on cyclic groups, as a first application, we prove that any subset of size $k$ of the dihedral group $D_{2m}$ (and, more in general, of a class of semidirect products) is sequenceable, provided that the prime factors of $m$ are larger than $k!$. Also, a refined bound of $k!/2$ for the size of the prime factors of $m$ can be obtained for cyclic groups $\mathbb{Z}_m$, slightly improving the result of [14]. Then, applying again the concept of weak Freiman isomorphism, we show that any subset of size $k$ of the dicyclic group $\mathrm{Dic}_{m}$ is sequenceable, provided that the prime factors of $m$ are larger than $k^k$.
Regular polytopes of rank $n/2$ for transitive groups of degree $n$
Previous research established that the maximal rank of the abstract regular polytopes whose automorphism group is a transitive proper subgroup of $\mbox{S}_n$ is $n/2 + 1$. Up to isomorphism and duality, when $n\geq 12$, there are only two polytopes attaining this rank and they occur when $n/2$ is odd, and hence have even rank.
In this paper, we investigate the case where the rank is equal to $n/2$ ($n\geq 14$). Our analysis suggests that reducing the rank by one results in a substantial increase in the number of regular polytopes.
Designs in compact symmetric spaces and applications of great antipodal sets
Published in Romanian Journal of Mathematics and Computer Science, 14 (2024), no. 1, 12 pp
• Search Publication
The theory of designs is an important branch of combinatorial mathematics. It is well-known in the theory of designs that a finite subset of a sphere is a tight spherical 1-design if and only if it is a pair of antipodal points. On the other hand, antipodal sets and 2-number for a Riemannian manifold are introduced by B.-Y. Chen and T. Nagano in 1982.
An antipodal set is called a great antipodal set if its cardinality is equal to the 2-number. The main purpose of this paper is to provide a survey on important results in compact symmetric spaces with great antipodal sets as the designs. In the last two sections of this paper, we present some important applications of 2-number and great antipodal sets to topology and group theory.
One more proof about the spectrum of Transposition graph
A Transposition graph $T_n$ is defined as a Cayley graph over the symmetric group $Sym_n$ generated by all transpositions. This paper shows how the spectrum of $T_n$ can be obtained using the spectral properties of the Jucys-Murphy elements.
Projective geometries, $Q$-polynomial structures, and quantum groups
Published
• View Publication
• BIB
In 2023 we obtained a $Q$-polynomial structure for the projective geometry $L_N(q)$. In the present paper, we display a more general $Q$-polynomial structure for $L_N(q)$. Our new $Q$-polynomial structure is defined using a free parameter $\varphi$ that takes any positive real value. For $\varphi=1$ we recover the original $Q$-polynomial structure. We interpret the new $Q$-polynomial structure using the quantum group $U_{q^{1/2}}(\mathfrak{sl}_2)$ in the equitable presentation. We use the new $Q$-polynomial structure to obtain analogs of the four split decompositions that appear in the theory of $Q$-polynomial distance-regular graphs.
The Demazure product extended to biwords
The symmetric group $\mathfrak{S}_n$ (and more generally, any Coxeter group) admits an associative operation known as the Demazure product. In this paper, we first extend the Demazure product to the (infinite) set of all biwords on $\{1, \ldots, n\}$, or equivalently, the set of all $n \times n$ nonnegative integer matrices. We define this product diagrammatically, via braid-like graphs we call kelp beds, since they significantly generalize the seaweeds introduced by Tiskin (2015). Our motivation for this extended Demazure product arises from optimization theory, in particular the semigroup of all $(n+1) \times (n+1)$ simple nonnegative integer Monge matrices equipped with the distance (i.e., min-plus) product. As our main result, we show that this semigroup of Monge matrices is isomorphic to the semigroup of biwords equipped with the extended Demazure product. We exploit this isomorphism to write down generating functions for the growth series of the Monge matrices with respect to certain natural matrix norms.
Mirror symmetry for tropical hypersurfaces and patchworking
Published in Journal of the Institute of Mathematics of Jussieu. 2025;24(6):2387-2425
• View Publication
• BIB
In the first part of the paper, we prove a mirror symmetry isomorphism between integral tropical homology groups of a pair of mirror tropical Calabi-Yau hypersurfaces. We then apply this isomorphism to prove that a primitive patchworking of a central triangulation of a reflexive polytope gives a connected real Calabi-Yau hypersurface if and only if the corresponding divisor class on the mirror is not zero.
Rigidity of symmetric frameworks with non-free group actions on the vertices
For plane frameworks with reflection or rotational symmetries, where the group action is not necessarily free on the vertex set, we introduce a phase-symmetric orbit rigidity matrix for each irreducible representation of the group. We then use these generalised orbit rigidity matrices to provide necessary conditions for infinitesimal rigidity for frameworks that are symmetric with a cyclic group that acts freely or non-freely on the vertices. Moreover, for the reflection, the half-turn, and the three-fold rotational group in the plane, we establish complete combinatorial characterisations of symmetry-generic infinitesimally rigid frameworks. This extends well-known characterisations for these groups to the case when the group action is not necessarily free on the vertices. The presence of vertices that are fixed by non-trivial group elements requires the introduction of generalised versions of group-labelled quotient graphs leads to more refined types of combinatorial sparsity counts for characterising symmetry-generic infinitesimal rigidity.
On Isomorphisms of Tetravalent Cayley Digraphs over Dihedral Groups
Let $m$ be a positive integer. A group $G$ is said to be an $m$-DCI-group or an $m$-CI-group if $G$ has the $k$-DCI property or $k$-CI property for all positive integers $k$ at most $m$, respectively. Let $G$ be a dihedral group of order $2n$ with $n\geq 3$. Qu and Yu proved that $G$ is an $m$-DCI-group or $m$-CI-group, for every $m\in \{1,2,3\}$, if and only if $n$ is odd. In this paper, it is shown that $G$ is a $4$-DCI-group if and only if $n$ is odd and not divisible by $9$, and $G$ is a $4$-CI-group if and only if $n$ is odd.
Frieze patterns over finite commutative local rings
We count numbers of tame frieze patterns with entries in a finite commutative local ring. For the ring $\mathbb{Z}/p^r\mathbb{Z}$, $p$ a prime and $r\in\mathbb{N}$ we obtain closed formulae for all heights. These may be interpreted as formulae for the numbers of certain relations in quotients of the modular group.
Tensor product Markov chains and Weil representations
We obtain sharp bounds on the convergence rate of Markov chains on irreducible representations of finite general linear, unitary, and symplectic groups (in both odd and even characteristic) given by tensoring with Weil representations.
Growth Rates Of Permutations With Given Descent Or Peak Set
Published in European Journal of Combinatorics, 2025
• Search Publication
Given a set $I \subseteq \mathbb{N}$, consider the sequences $\{d_n(I)\},\{p_n(I)\}$ where for any $n$, $d_n(I)$ and $p_n(I)$ respectively count the number of permutations in the symmetric group $\mathfrak{S}_n$ whose descent set (respectively peak set) is $I \cap [n-1]$. We investigate the growth rates $\text{gr} \ d_n(I) = \lim_{n \to \infty} \left(d_n(I)/n!\right)^{1/n}$ and $\text{gr} \ p_n(I) = \lim_{n \to \infty} \left(p_n(I)/n!\right)^{1/n}$ over all $I \subseteq \mathbb{N}$. Our main contributions are two-fold. Firstly, we prove that the numbers $\text{gr} \ d_n(I)$ over all $I \subseteq \mathbb{N}$ are exactly the interval $\left[0,2/π\right]$. To do so, we construct an algorithm that explicitly builds $I$ for any desired limit $L$ in the interval. Secondly, we prove that the numbers $\text{gr} \ p_n(I)$ for periodic sets $I \subseteq \mathbb{N}$ form a dense set in $\left[0,1/\sqrt[3]{3}\right]$. We do this by explicitly finding, for any prescribed $L$ in the interval, a set $I$ whose corresponding growth rate is arbitrarily close to $L$.
A threshold for relative hyperbolicity in random right-angled Coxeter groups
We consider the random right-angled Coxeter group $W_Γ$ whose presentation graph $Γ\sim \mathcal{G}_{n,p}$ is an Erd{\H o}s--Rényi random graph on $n$ vertices with edge probability $p=p(n)$. We establish that $p=1/\sqrt{n}$ is a threshold for relative hyperbolicity of the random group $W_Γ$. As a key step in the proof, we determine the minimal number of pairs of generators that must commute in a right-angled Coxeter group which is not relatively hyperbolic, a result which is of independent interest.
We also show that there is an interval of edge probabilities of width $Ω(1/\sqrt{n})$ in which the random right-angled Coxeter group has precisely cubic divergence. This interval is between the thresholds for relative hyperbolicity (whence exponential divergence) and quadratic divergence. Moreover, a simple random walk on any Cayley graph of the random right-angled Coxeter group for $p$ in this interval satisfies a central limit theorem.
Graph-theoretical estimates of the diameters of the Rubik's Cube groups
A strict lower bound for the diameter of a symmetric graph is proposed, which is calculable with the order $n$ and other local parameters of the graph such as the degree $k\,(\geq 3)$, even girth $g\,(\geq 4)$, and number of $g$-cycles traversing a vertex, which are easily determined by inspecting a small portion of the graph (unless the girth is large). It is applied to the symmetric Cayley graphs of some Rubik's Cube groups of various sizes and metrics, yielding slightly tighter lower bounds of the diameters than those for random $k$-regular graphs proposed by Bollobás and de la Vega. They range from 60% to 77% of the correct diameters of large-$n$ graphs.
Vector spaces over finite commutative rings
Vector spaces over finite fields and Anzahl formulas of subspaces were studied by Wan (Geometry of Classical Groups over Finite Fields, Science Press, 2002). As a generalization, we study vector spaces and singular linear spaces over commutative rings, and obtain some Anzahl formulas and dimensional formula for subspaces. Moreover, we discuss arcs and caps by using these subspaces.
NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability
Published in Quantum 10, 1989 (2026)
• View Publication
• BIB
Mančinska and Roberson [FOCS'20] showed that two graphs are quantum isomorphic if and only if they admit the same number of homomorphisms from any planar graph. Atserias et al. [JCTB'19] proved that quantum isomorphism is undecidable in general, which motivates the study of its relaxations. In the classical setting, Roberson and Seppelt [ICALP'23] characterized the feasibility of each level of the Lasserre hierarchy of semidefinite programming relaxations of graph isomorphism in terms of equality of homomorphism counts from an appropriate graph class. The NPA hierarchy, a noncommutative generalization of the Lasserre hierarchy, provides a sequence of semidefinite programming relaxations for quantum isomorphism. In the quantum setting, we show that the feasibility of each level of the NPA hierarchy for quantum isomorphism is equivalent to equality of homomorphism counts from an appropriate class of planar graphs. Combining this characterization with the convergence of the NPA hierarchy, and noting that the union of these classes is the set of all planar graphs, we obtain a new proof of the result of Mančinska and Roberson [FOCS'20] that avoids the use of quantum groups. Moreover, this homomorphism indistinguishability characterization also yields a randomized polynomial-time algorithm deciding exact feasibility of each fixed level of the NPA hierarchy of SDP relaxations for quantum isomorphism.
Two-row Delta Springer varieties
Published in Algebr. Comb. 8(4) (2025), 925-953
• View Publication
• BIB
We study the geometry and topology of $Δ$-Springer varieties associated with two-row partitions. These varieties were introduced in recent work by Griffin-Levinson-Woo to give a geometric realization of a symmetric function appearing in the Delta conjecture by Haglund-Remmel-Wilson. We provide an explicit and combinatorial description of the irreducible components of the two-row $Δ$-Springer variety and compare it to the ordinary two-row Springer fiber as well as Kato's exotic Springer fiber corresponding to a one-row bipartition. In addition to that, we extend the action of the symmetric group on the homology of the two-row $Δ$-Springer variety to an action of a degenerate affine Hecke algebra and relate this action to a $\mathfrak{gl}_{2}$-tensor space.
Group actions on codes in graphs
This is a chapter in a forthcoming book on completely regular codes in distance regular graphs. The chapter provides an overview, and some original results, on codes in distance regular graphs which admit symmetries via a permutation group acting on the vertices of the graph. The strongest notion of completely transitive codes is developed, as well as the more general notion of neighbour-transitive codes. The graphs considered are the Hamming, Johnson, and Kneser graphs and their q-analogues, as well as some graphs related to incidence structures.
Central Limit Theorem on the Conjugacy Measure of Symmetric Groups
Regarding the conjugacy representation on symmetric groups, we initiate a normalized measure emerging from this representation, namely the conjugacy measure. A central limit theorem for character ratios of random representations of the symmetric group on the conjugacy measure is obtained.