group
10226 papers tagged with this keyword
Main functions and the spectrum of super graphs
Let A be a graph type and B an equivalence relation on a group $G$. Let $[g]$ be the equivalence class of $g$ with respect to the equivalence relation B. The B superA graph of $G$ is an undirected graph whose vertex set is $G$ and two distinct vertices $g, h \in G$ are adjacent if $[g] = [h]$ or there exist $x \in [g]$ and $y \in [h]$ such that $x$ and $y$ are adjacent in the A graph of $G$. In this paper, we compute spectrum of equality/conjugacy supercommuting graphs of dihedral/dicyclic groups and show that these graphs are not integral.
Equivariant $γ$-positivity of Chow rings and augmented Chow rings of matroids
In this paper, we prove the Chow ring and augmented Chow ring of a matroid is equivariant $γ$-positivity under the action of any group of automorphisms of the matroid. This verifies a conjecture of Angarone, Nathanson, and Reiner. Our method gives an explicit interpretation to the coefficients of the equivariant $γ$-expansion. Applying our theorem to uniform matroids, we extend and recover known results regarding the positivity of the equivariant Charney-Davis quantity of uniform matroids in the author's previous work and the Schur-$γ$-positivity of Eulerian and binomial Eulerian quasisymmetric functions first proved by Shareshian and Wachs. In the end, we answer a problem proposed by Athanasiadis about extending the $γ$-expansion of the binomial Eulerian polynomial.
The Aldous--Lyons Conjecture I: Subgroup Tests
This paper, and its companion [BCV24], are devoted to a negative resolution of the Aldous--Lyons Conjecture [AL07, Ald07]. This conjecture, originated in probability theory, is well known (cf. [Gel18]) to be equivalent to the statement that every invariant random subgroup of the free group is co-sofic. We disprove this last statement.
In this part we introduce subgroup tests. These tests are finite distributions over continuous functions from the space of subgroups of the free group to $\{0,1\}$. Subgroup tests provide a general framework in which one can study invariant random subgroups of the free group. Classical notions such as group soficity and group stability arise naturally in this framework. By the correspondence between subgroups of the free group and Schreier graphs, one can view subgroup tests as a property testing model for certain edge-labeled graphs. This correspondence also provides the connection to random networks.
Subgroup tests have values, which are their asymptotic optimal expectations when integrated against co-sofic invariant random subgroups. Our first main result is that, if every invariant random subgroup of the free group is co-sofic, then one can approximate the value of a subgroup test up to any positive additive constant. Our second main result is an essentially value preserving correspondence between certain non-local games and subgroup tests. By composing this correspondence with a stronger variant of the reduction in MIP*=RE [JNV+21], proved in the companion paper [BCV24], we deduce that approximating the sofic value of a subgroup test is as hard as the Halting Problem, and in particular, undecidable. The combination of our two main results proves the existence of non co-sofic invariant random subgroups of the free group.
Association schemes obtained from the action of the general unitary group on isotropic vectors
An infinite family of association schemes obtained from the general unitary groups acting transitively on the sets of isotropic vectors in the finite unitary spaces are investigated. We compute the parameters and determine the character tables for all nontrivial commutative association schemes belonging to this family.
On cover-free families of finite vector spaces
There is a large literature on cover-free families of finite sets, because of their many applications in combinatorial group testing, cryptographic and communications. This work studies the generalization of cover-free families from sets to finite vector spaces. Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_{q}$ and let $\left[V\atop k\right]_q$ denote the family of all $k$-dimensional subspaces of $V$. A family $\mathcal{F}\subseteq \left[V\atop k\right]_q$ is called cover-free if there are no three distinct subspaces $F_{0}, F_{1}, F_{2}\in \mathcal{F}$ such that $F_{0}\leq (F_{0}\cap F_{1})+(F_{0}\cap F_{2})$. A family $\mathcal{H}\subseteq \left[V\atop k\right]_q$ is called a $q$-Steiner system $S_{q}(t, k, n)$ if for every $T\in \left[V\atop t\right]_q$, there is exactly one $H\in \mathcal{H}$ such that $T\leq H$. In this paper we investigate cover-free families in the vector space $V$. Firstly, we determine the maximum size of a cover-free family in $\left[V\atop k\right]_q$. Secondly, we characterize the structures of all maximum cover-free families which are closely related to $q$-Steiner systems.
Cardinalities of irredundant bases of finite primitive groups
Let $G$ be a finite permutation group acting on a set $Ω$. An ordered sequence $(ω_1,\ldots,ω_\ell)$ of elements of $Ω$ is an irredundant base for $G$ if the pointwise stabilizer of the sequence is trivial and no point is fixed by the stabilizer of its predecessors. We show that any interval of natural numbers can be realized as the set of cardinalities of irredundant bases for some finite primitive group.
Monomial realizations and LS paths of fundamental representations for rank $2$ Kac-Moody algebras
For a Kac-Moody algebra $\mathfrak{g}$ of rank $2$ and a fundamental weight $λ$, we explicitly give an isomorphism between the set of Lakshmibai-Seshadri paths $\mathbb{B}(λ)$ and monomial realization $\mathcal{M}(λ)$. As an application, we also give an explicit form of monomial realization $\mathcal{M}(λ)$ in terms of Weyl groups.
Characteristic Polynomial of Power Graphs on Direct Product of Any Two Finite Cyclic Groups
The power graph $\mathscr{P}(G)$ of a group $G$ is defined as the simple graph with vertex set $G$, and where two distinct vertices $x$ and $y$ are joined by an edge if and only if either $x= y^k$ or $y= x^k$, $k \in \mathbb{N}$. Here we determine the characteristic polynomial of $\mathscr{P}(\mathbb{Z}_m \times \mathbb{Z}_{n})$ for any positive integers $m$ and $n$. Additionally, for some particular values of $m$ and $n$, we simplify the above characteristic polynomials and provide the full spectrum in a few cases.
Weight Enumerators of codes over $\mathbb{F}_2$ and over $\mathbb{Z}_4$
Published in Interdisciplinary Information Sciences J-STAGE Advance published October 8, 2025
• View Publication
• BIB
Weight enumerators are important tools for deciphering the algebraic structure of the related code spaces and for understanding group actions on these spaces. Our study focuses on symmetrized weight enumerators of pairs of Type II codes over the finite field $\mathbb{F}_{2}$ and the ring $\mathbb{Z}_{4}$. These pairs have been examined as invariants for a specified group. In particular, we concentrate on the scenarios where the space of the invariant ring is of degree 8 and 16. Our findings show that in certain situations, the ring produced by the symmetrized weight enumerators precisely matches with the invariant ring of the designated group. This coincidence points to a profound relationship between the invariant ring's structure and the algebraic characteristics of the weight enumerators.
Limit profile for the transpose top-2 with random shuffle
Published in SIAM Journal on Discrete Mathematics, Volume 39, Issue 3, 2025
• View Publication
• BIB
The transpose top-$2$ with random shuffle (J. Theoret. Probab., 2020) is a lazy random walk on the alternating group $A_n$ generated by $3$-cycles of the form $(\star,n-1,n)$ and $(\star,n,n-1)$. We obtain the limit profile of this random walk by comparing it with the random walk on $A_n$ generated by all $3$-cycles. Our method employs a non-commutative Fourier analysis analogue of the comparison method introduced by Nestoridi (Electron. J. Probab., 2024). We also give the complete spectrum of the alternating group graph, thus answering a question of Huang and Huang (J. Algebraic Combin., 2019).
Standard Lyndon loop words: weighted orders
Published in International Mathematics Research Notices (2025)
• View Publication
• BIB
We generalize the study of standard Lyndon loop words from [A.Negut, A.Tsymbaliuk, "Quantum loop groups and shuffle algebras via Lyndon words", Adv. Math. 439 (2024), Paper No. 109482] to a more general class of orders on the underlying alphabet, as suggested in Remark 3.15 of loc.cit. The main new ingredient is the exponent-tightness of these words, which also allows to generalize the construction of PBW bases of the untwisted quantum loop algebra via the combinatorics of loop words.
Wormhole Renormalization: The gravitational path integral, holography, and a gauge group for topology change
We study the Factorization Paradox from the bottom up by adapting methods from perturbative renormalization. Just as quantum field theories are plagued with loop divergences that need to be cancelled systematically by introducing counterterms, gravitational path integrals are plagued by wormhole contributions that spoil the factorization of the holographic dual. These wormholes must be cancelled by some stringy effects in a UV complete, holographic theory of quantum gravity. In a simple model of two-dimensional topological gravity, we outline a gravitational analog of the recursive BPHZ procedure in order to systematically introduce ``counter-wormholes" which parametrize the unknown stringy effects that lead to factorization. Underlying this procedure is a Hopf algebra of symmetries which is analogous to the Connes--Kreimer Hopf algebra underlying perturbative renormalization. The group dual to this Hopf algebra acts to reorganize contributions from spacetimes with distinct topology, and can be seen as a gauge group relating various equivalent ways of constructing a factorizing gravitational path integral.
$GL_n(\mathbb{F}_q)$-analogues of some properties of $n$-cycles in $\mathfrak{S}_n$
We give analogues in the finite general linear group of two elementary results concerning long cycles and transpositions in the symmetric group: first, that the long cycles are precisely the elements whose minimum-length factorizations into transpositions yield a generating set, and second, that a long cycle together with an appropriate transposition generates the whole symmetric group.
How to burn a Latin square
We investigate the lazy burning process for Latin squares by studying their associated hypergraphs. In lazy burning, a set of vertices in a hypergraph is initially burned, and that burning spreads to neighboring vertices over time via a specified propagation rule. The lazy burning number is the minimum number of initially burned vertices that eventually burns all vertices. The hypergraphs associated with Latin squares include the $n$-uniform hypergraph, whose vertices and hyperedges correspond to the entries and lines (that is, sets of rows, columns, or symbols) of the Latin square, respectively, and the $3$-uniform hypergraph, which has vertices corresponding to the lines of the Latin square and hyperedges induced by its entries.
Using sequences of vertices that together form a vertex cover, we show that for a Latin square of order $n$, the lazy burning number of its $n$-uniform hypergraph is bounded below by $n^2-3n+3$ and above by $n^2-3n+2 + \lfloor \log_2 n \rfloor.$ These bounds are shown to be tight using cyclic Latin squares and powers of intercalates. For the $3$-uniform hypergraph case, we show that the lazy burning number of Latin squares is one plus its shortest connected chain of subsquares. We determine the lazy burning number of Latin square hypergraphs derived from finitely generated groups. We finish with open problems.
Upper bounds for measures on distal classes
In recent work, Harman and Snowden introduced a notion of measure on a Fraïssé class $\mathfrak{F}$, and showed how such measures lead to interesting tensor categories. Constructing and classifying measures is a difficult problem, and so far only a handful of cases have been worked out. In this paper, we obtain some of the first general results on measures. Our main theorem states that if $\mathfrak{F}$ is distal (in the sense of Simon), and there are some bounds on automorphism groups, then $\mathfrak{F}$ admits only finitely many measures; moreover, we give an effective upper bound on their number. For example, if $\mathfrak{F}$ is the class of ``$s$-dimensional permutations'' (finite sets equipped with $s$ total orders), we show that the number of measures is bounded above by approximately $\exp(\exp(s^2 \log{s}))$.
Triangle decompositions of PG(n-1,2)
Published in Discrete Math. 349(1) 2026, 114664(1-13)
• View Publication
• BIB
We define a triangle design as a partition of the set of lines of a projective space into triangles, where a triangle consists of three pairwise intersecting lines with no common point. A triangle design is balanced if all points are involved in the same number of triangles. We construct balanced triangle designs in PG$(n-1,2)$ for all admissible $n$ (congruent to $1$ modulo $6$) and an infinite class of balanced block-divisible triangle designs. We also prove that the existence of a triangle design in PG$(n-1,2)$ invariant under the action of the Singer cycle group is equivalent to the existence of a partition of $Z_{2^n-1}\backslash\{0\}$ into special $18$-subsets and find such partitions for $n=7$, $13$, $19$.
Keywords: Subspace design, graph decomposition, triangle design, Heffter's difference problem.
Eigenbasis for a weighted adjacency matrix associated with the projective geometry $B_q(n)$
In a recent article "Projective geometries, $Q$-polynomial structures, and quantum groups" Terwilliger (arXiv:2407.14964) defined a certain weighted adjacency matrix, depending on a free (positive real) parameter, associated with the projective geometry, and showed (among many other results) that it is diagonalizable, with the eigenvalues and their multiplicities explicitly written down, and that it satisfies the $Q$-polynomial property (with respect to the zero subspace).
In this note we
(i) Write down an explicit eigenbasis for this matrix.
(ii) Evaluate the adjacency matrix-eigenvector products, yielding a new proof for the eigenvalues and their multiplicities.
(iii) Evaluate the dual adjacency matrix-eigenvector products and directly show that the action of the dual adjacency matrix on the eigenspaces of the adjacency matrix is block-tridiagonal, yielding a new proof of the $Q$-polynomial property.
Projective rigidity of point-line configurations in the plane
In this paper, we establish a general setup for studying incidence-preserving motions of projective geometric configurations of points and lines via a "projective rigidity matrix". The spaces of infinitesimal motions of a point-line configuration and dependencies amongst the point-line incidences can be interpreted as the kernel and co-kernel of this projective rigidity matrix, respectively. We also introduce a symmetry-adapted projective rigidity matrix for analysing symmetric configurations and their symmetry-preserving motions. The symmetry may be a point group or a more general symmetry, such as an autopolarity.
Combinatorial transfer: a new method for constructing infinite families of nonabelian difference sets, partial difference sets, and relative difference sets
For nearly a century, mathematicians have been developing techniques for constructing abelian automorphism groups of combinatorial objects, and, conversely, constructing combinatorial objects from abelian groups. While abelian groups are a natural place to start, recent computational evidence strongly indicates that the vast majority of transitive automorphism groups of combinatorial objects are nonabelian. This observation is the guiding motivation for this paper. We propose a new method for constructing nonabelian automorphism groups of combinatorial objects, which could be called the \textit{combinatorial transfer method}, and we demonstrate its power by finding (1) the first infinite families of nonabelian Denniston partial difference sets (including nonabelian Denniston PDSs of odd order), (2) the first infinite family of Spence difference sets in groups with a Sylow 3-subgroup that is non-normal and not elementary abelian, (3) the first infinite families of McFarland difference sets in groups with a Sylow $p$-subgroup that is non-normal and is not elementary abelian, (4) new infinite families of partial difference sets in nonabelian $p$-groups with large exponent, (5) an infinite family of semiregular relative difference sets whose forbidden subgroup is nonabelian, and (6) a converse to Dillon's Dihedral Trick in the PDS setting. We hope this paper will lead to more techniques to explore this largely unexplored topic.
Some $3$-designs invariant under $2.PΣL(2,49).$
We construct a ternary [49,25,7] code from the row span of a Jacobsthal matrix. It is equivalent to a Generalized Quadratic Residue (GQR) code in the sense of van Lint and MacWilliams (1978). These codes are the abelian generalizations of the quadratic residue (QR) codes which are cyclic. The union of the [50,25,8] extension of the said code and its dual supports a 3-(50,14,1248) design. The automorphism group of the latter design is a double cover of the permutation part of the automorphism group of the [50,25,8] code, which is isomorphic to $PΣL(2,49).$ Other weights in this code, other GQR codes, and other QR codes yield other 3-designs by the same process. A simple group action argument is provided to explain this behaviour of isodual codes.