group
10399 papers tagged with this keyword
Combinatorics of $q$-Mahonian numbers of type $B$ and log-concavity
Published
• View Publication
• BIB
This paper is a continuation of earlier work of Arslan \cite{Ars}, who introduced the Mahonian number of type $B$ by using a new statistic on the hyperoctahedral group $B_{n}$, in response to questions he suggested in his paper entitled "{\it A combinatorial interpretation of Mahonian numbers of type $B$}" published in arXiv:2404.05099v1. We first give the Knuth-Netto formula and generating function for the subdiagonals on or below the main diagonal of the Mahonian numbers of type $B$, then its combinatorial interpretations by lattice path/partition and tiling. Next, we propose a $q$-analogue of Mahonian numbers of type $B$ by using a new statistics on the permutations of the hyperoctahedral group $B_n$ that we introduced, then we study their basic properties and their combinatorial interpretations by lattice path/partition and tiling. Finally, we prove combinatorially that the $q$-analogue of Mahonian numbers of type $B$ form a strongly $q$-log-concave sequence of polynomials in $k$, which implies that the Mahonian numbers of type $B$ form a log-concave sequence in $k$ and therefore unimodal.
Symmetrizing polytopes and posets
Motivated by the authors' work on permuto-associahedra, which can be considered as a symmetrization of the associahedron using the symmetric group, we introduce and study the $\mathfrak{G}$-symmetrization of an arbitrary polytope $P$ for any reflection group $\mathfrak{G}$. We show that the combinatorics, and moreover, the normal fan of such a symmetrization can be recovered from its refined fundamental fan, a decorated poset describing how the normal fan of $P$ subdivides the fundamental chamber associated to the reflection group $\mathfrak{G}$.
One important application of our results is providing a way to approach the realization problem of a $\mathfrak{G}$-symmetric poset F, that is, the problem of constructing a polytope whose face poset is F. Instead of working with the original poset F, we look at its dual poset T (which is $\mathfrak{G}$-symmetric as well) and focus on a generating subposet Z of T, and reduce the problem to realizing Z as a refined fundamental fan.
Non-isomorphic Cayley Graphs with Same Random Walk Distributions
Published
• View Publication
• BIB
We construct an infinite family of triples (G,S1, S2) each consisting of a group G and a pair (S1, S2) of distinct subsets of G with the following properties. i The two Cayley graphs Cay(G, S1) and Cay(G,S2) are non-isomorphic. ii The distributions of the simple random walks on Cay(G,S1) and Cay(G,S2) are the same if one takes an appropriate correspondence between the two vertex sets at each step. iii The spectral set of Cay(G, Si) is decomposed into a disjoint union of two subsets A and B_i of the equal size which satisfies B1 = -B2.
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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)$
Published
• View Publication
• BIB
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.