group
10399 papers tagged with this keyword
Hyperfiniteness of boundary actions via tree decompositions
We study conditions for a countable group acting on a connected locally finite hyperbolic graph to induce a hyperfinite orbit equivalence relation on the Gromov boundary of the graph in terms of tree-decompositions of the graph.
We prove that for a connected locally finite hyperbolic graph $X$ equipped with an action of a countable group $G$, if $(T, β)$ is a $G$-invariant tree-decomposition of $X$ such that each bag induces a connected subgraph $X_t$ of $X$ for each $t \in V(T)$, each adhesion set is finite and such that there are only finitely many $G$-orbits of edges of $T$, then the orbit equivalence relation of $G$ acting on the Gromov boundary $\partial X$ is hyperfinite provided the orbit equivalence relation of $G$ acting on $\partial T$ is hyperfinite and the orbit equivalence relations of the bag stabilizers acting on $\partial X_t$ are all hyperfinite. We show that the converse also holds if $(T, β)$ satisfies the additional property that each adhesion set distinguishes at least two ends of $X$.
Matchings and product growth in modular abelian independence groups
We unify two matching theories, one for finite subsets of groups and the other for finite-dimensional subspaces in a field extension. To achieve this, we study groups equipped with a compatible finitary matroid structure, termed here independence groups. Applying Rado's independent transversal theorem, we derive necessary and sufficient rank criteria for matchability between finite-rank sets. In the setting of a modular abelian independence group $G$, we develop an analogue of the $e$-transform from additive number theory, derive structural matching criteria, and characterize a global matching property by the absence of a finite-rank submonoid $H$ satisfying $1<ρ(H)<ρ(G)$, where $ρ$ denotes rank. Examples of modular abelian independence groups are given and examined in the matching context.
Arising from this matching theory, but formulated without any reference to it, is a product-growth bound that generalizes the Cauchy--Davenport theorem: we define a parameter $μ(G)$ and prove that $ρ(XY)\geq \min\{μ(G),ρ(X)+ρ(Y)-1\}$ for all nonempty finite-rank subsets $X,Y$ of $G$. Furthermore, $ρ(XY)$ is shown to be controlled from below by a submonoid of $G$ that stabilizes a flat, a phenomenon reminiscent of Kneser's theorem.
Equivalence of Complex Hadamard Matrices
Published in Journal of Algebraic Combinatorics 64, Article 20 (2026)
• View Publication
• BIB
Symmetry in the context of equivalence or isomorphism is a fundamental and natural concept in any study of discrete structures. Symmetries are also important for non-discrete structures, but their treatment can be more challenging and is perhaps therefore often overlooked. This holds for many studies of complex Hadamard matrices, that is, matrices with unimodular complex entries satisfying the equation $HH^{\dagger} = nI$, where $H^{\dagger}$ is the conjugate transpose of $H$. In the current work, equivalence of complex Hadamard matrices is considered, and algorithms for determining equivalence of matrices and the automorphism group of a matrix are presented. The algorithms are used to establish the automorphism group of a large number of complex Hadamard matrices from the literature.
Critical sets of Latin squares based on autoparatopisms
In cryptography, critical sets of Latin squares have particularly been implemented to design secret sharing schemes. A main problem in these cryptographic protocols arises from absent holders of pieces of information that are common to different critical sets, because they become indispensable to recover the secret. This paper solves this problem by making use of the orbits of entries described by the autoparatopism group of the Latin square under consideration. To this end, we introduce the more general problem of computing critical sets of Latin squares having a given paratopism in their autoparatopism group. These critical sets depend only on the conjugacy class of the autoparatopism and the main class of the Latin square under consideration. Based on this fact, as an illustrative example, we determine the smallest and largest sizes of critical sets associated with autoparatopisms of Latin squares of order up to six. We implement this approach in the design of a new secret sharing scheme.
Subindices and subfactors of $\mathbb{Z}_n$ and $k$-index stability of finite groups
We study subindices, subfactors, and index stability in the cyclic group $\mathbb{Z}_n$. We prove several theorems that not only confirm a conjecture and resolve some open problems about index stability of such groups, but also provide basic tools for the characterization of finite $k$-index stable groups. As a consequence, we completely characterize all 2-element index stable subsets of $\mathbb{Z}_n$, obtain an exact closed formula for their density, and determine all $n$ for which every 2-subset is index unstable. Finally, we present some problems and a research project extending the study to 3-subsets and general $k$-subsets.
Borsuk-Ulam type theorem for the orthogonal group and orthogonal four-partitions
Makeev [2] stated that every finite Borel measure in $\mathbb R^d$ assigning zero mass to hyperplanes can be cut by $d$ mutually orthogonal hyperplanes so that every pair divides the measure into four equal parts, and outlined a proof strategy, but the key steps were left incomplete. We give a direct and elementary proof.
The main ingredient is a Borsuk--Ulam theorem for $O(k)$: every $B_k$-equivariant map from $O(k)$ to a natural representation of the hyperoctahedral group $B_k$ has a zero. An explicit model map has one free orbit of zeros, consisting of the signed eigenbases of a diagonal operator with simple spectrum. A derivative computation and mod-$2$ equivariant degree complete the proof. This is a self-contained proof of a special case of the general Stiefel-manifold theorem in [5].
Rainbow paths in directed graphs
An old problem in combinatorial group theory asks, given a group $Γ$ and a subset $S \subseteq Γ$, when does there exist an ordering $s_1, \cdots, s_k$ of the elements of $S$ such that the partial products $\prod_{i = 1}^j s_i$, $1 \leq j \leq k$, are all distinct. If such an ordering exists, we call $S$ rearrangeable. There have been many conjectures about rearrangeable subsets, the most general being that for every group, every subset not containing the identity element is rearrangeable. We prove an asymptotic version of this: For any Group $Γ$ and any subset $S \subseteq Γ$, there exists a rearrangeable set $S' \subseteq S$ such that $|S'| = |S| - o(|S|)$. To do this we build upon the work of Bucić, Frederickson, Müyesser, Pokrovskiy, and Yepremyan focusing on the following problem of independent interest in Graph Theory. If $G$ is a d-regular properly colored directed graph does there exist a rainbow path of length $d - 1$? We establish an asymptotic version of this, proving that $G$ contains a rainbow path of length $d - o(d)$. This solves two problems given by Bucić, Frederickson, et al. and proves the above result on rearrangeable subsets of groups by considering the Cayley graph of $Γ$ with (not necessarily generating) set $S$.
Monotone Hadwiger Theorems on Spherical and Hyperbolic Convex Sets
For every $n\geq1$, we classify monotone rotation-invariant real-valued valuations on closed spherical convex sets, without assuming continuity or measurability. On proper sets, namely those contained in an open hemisphere, these are precisely the nonnegative linear combinations of the normalized spherical quermassintegrals. On all closed spherical convex sets, they are precisely the linear combinations of the spherical intrinsic volumes with nonnegative, nondecreasing coefficients. The representations are unique, and all such valuations are continuous and invariant under the full orthogonal group. In hyperbolic space, an isometry-invariant real-valued valuation on compact convex sets is continuous if and only if it is a linear combination of the Euler characteristic and the hyperbolic quermassintegrals. This representation is unique. Monotonicity is equivalent to nonnegative coefficients and implies continuity. If monotonicity is required only between nonempty sets, the Euler coefficient is unrestricted in the proper spherical and hyperbolic cases, whereas the classification on all closed spherical convex sets is unchanged. We also obtain corresponding classifications for valuations on closed convex cones that vanish at the zero cone and monotone classifications on compact projectively convex sets contained in an affine chart of real elliptic space.
On n-dependent groups and fields III. Multilinear forms and invariant connected components
We develop some model theory of multilinear forms, generalizing Granger's work in the bilinear case. In particular, after proving a quantifier elimination result, we show that for an NIP field $K$, the theory of infinite-dimensional non-degenerate alternating $n$-linear spaces over $K$ is strictly $n$-dependent, and is NSOP$_1$ if $K$ is. These results rely on a new Composition Lemma for functions of arbitrary arity and NIP relations (which in turn relies on certain higher-arity generalizations of the Sauer--Shelah lemma). We also study the invariant connected components $G^{\infty}$ in $n$-dependent groups, demonstrating their relative absoluteness.
Combinatorics of hyperplane arrangements and Witten zeta function at the origin
We introduce a new method that brings the combinatorics of hyperplane arrangements into the study of representation zeta functions of compact Lie groups. For the Witten zeta function $ζ_Φ(s)$ associated with a root system $Φ$, our method yields elegant formulas for $ζ_Φ(0)$ and $ζ_Φ'(0)$ in terms of the exponents of various parabolic subsystems of $Φ$. Such formulas do not appear to be readily accessible through the conventional analytic techniques in the literature. More generally, the method applies to a broad family of conical zeta functions, expressing these two special values through the Möbius function of the intersection poset of the associated hyperplane arrangement.
On a class of combinatorial group invariants
In this paper, we explore group invariants arising from combinatorial structures associated with finite groups, including the functional graphs of power maps and the well-studied power graphs. These invariants induce equivalence relations (and hence partitions) on the set of isomorphism classes of finite groups, which we classify from the finest to the coarsest. Surprisingly, all but three of these partitions turn out to coincide; for the subclass of nilpotent groups, all but two coincide. Furthermore, we introduce a broad class of nilpotent groups and show that, within this class, all but one of these partitions agree. Our proofs draw on tools and ideas from Combinatorics and Number Theory, while requiring only basic notions from Group Theory. In particular, we construct a general framework that may prove useful in contexts similar to those considered in this paper. Finally, we propose some open questions that emerge from our results.
Fractal Hyper-Trees: Combinatorial Enumeration, Symmetry Properties, and Ultrametric Structures
This paper introduces and formalizes Fractal Hyper-Trees (FHT), a novel class of hypergraphs characterized by deep recursive inclusion hierarchies and controlled relational textures. Moving beyond classical graph-theoretic frameworks, we establish an axiomatic foundation for FHTs and investigate their combinatorial enumeration, revealing explicit connections to OEIS sequence A398931. Furthermore, we analyze the structural symmetry properties via automorphism groups, examine the resulting global hierarchical ultrametric topologies, and discuss asymptotic perspectives, including vertex substitution operators and heuristic parallels with $p$-adic integer rings.
The small Davenport constant of $H_{27}\times C_3^r$
Let $H_{27}=\mathrm{UT}_3(\mathbb{F}_3)$ be the nonabelian group of order $27$ and exponent $3$. We prove that $\mathsf{d}(H_{27}\times C_3^r)=2r+6$ for every integer $r\geq0$. The proof combines an affine coefficient identity in the group algebra of an elementary abelian group with a decomposition of the nonorthogonality graph of $\mathbb{F}_3^2$ into eight edge-disjoint zero-sum triangles. It is uniform in $r$, does not use the value of the small Davenport constant for a smaller nonabelian group, and requires no computational enumeration.
Chow Vanishing and Motives of Cluster Varieties
We prove that the integral Chow groups $CH^i$ and mixed Hodge degree $H^{2i, (i, i)}$ cohomology groups of really full rank (RFR) sink-recurrent cluster varieties vanish for $i > 0$. In particular this applies to braid varieties and open Richardson varieties in any Lie type. Our main tool is the construction of a stratification of any RFR sink-recurrent cluster variety $\mathcal{A}(Σ)$ into (affine spaces times) RFR sink-recurrent cluster varieties of seeds with fewer mutable vertices than $Σ$.
We employ the theory of Voevodsky motives, and towards this end we prove that the cycle class maps are isomorphisms onto the lowest-weight part of rational Borel-Moore homology for any mixed Tate variety over a number field. We then show that RFR sink-recurrent cluster varieties have mixed Tate and, in fact, split motives. Finally, we use our results to deduce vanishing theorems about the Khovanov-Rozansky homology groups of closures of positive braids and generation properties of the cohomology of closed Richardson, projected Richardson, and brick varieties.
On 2-distance-transitive circulant digraphs
Circulant digraphs form a prominent class of Cayley digraphs defined on finite cyclic groups. Building on the existing classification of $2$-arc-transitive circulant graphs, this paper presents a complete classification of $2$-distance-transitive circulant digraphs. Our main theorem establishes that every connected $2$-distance-transitive circulant digraph is isomorphic to one of the following: the undirected cycle $C_n$, the complete bipartite graph $\K_{\frac{n}{2},\frac{n}{2}}$, the complete multipartite graph $\K_{m[b]}$ with $m\geq 3,b\geq 2$, the graph $\K_{\frac{n}{2},\frac{n}{2}}-\frac{n}{2}\K_2$ for odd $\frac{n}{2}$, prime-order Paley graphs, the directed cycle $\overrightarrow{C}_n$, the oriented graph \(G(p^m,r)\) satisfying Condition~\ref{p-power-normal-2dt-cond}, the oriented graph \( C_r(b,1)\) with $r\geq 3,b\geq 2$ and $rb=n$, the lexicographic product oriented graph \( G(p^m,r)[\overline{\K}_d]\) where \(G(p^m,r)\) obeys Condition~\ref{p-power-normal-2dt-cond}.
Laurent Symmetric Functions
We describe the ring of Laurent symmetric polynomials in terms of generators and relations, giving an analogue of the Fundamental Theorem of Symmetric Polynomials. We extend the Hall inner product, and give an algebraic proof that the Laurent Schur polynomials form an orthonormal basis of this ring. In the case of infinitely many variables, we realize the ring of Laurent symmetric functions as a direct limit of inverse limits, and relate them to characters of rational and algebraic representations of general linear groups.
Sharp stability for cross $t$-intersecting families of permutations in the linear range
Two families $\mathcal{F},\mathcal{G}\subseteq S_n$ are cross $t$-intersecting if every $σ\in\mathcal{F}$ and $τ\in\mathcal{G}$ agree on at least $t$ points. A $t$-coset is a coset of the stabilizer of $t$ points. A subset of $S_n$ is non-trivial if it is not contained in any $t$-coset. Let $d_m$ denote the $m$-th derangement number. We prove that, for all $t\geq1$ and $n\geq400t$, every pair of cross $t$-intersecting families $\mathcal{F},\mathcal{G}\subseteq S_n$ satisfies the following:
(i) $|\mathcal{F}||\mathcal{G}|\leq((n-t)!-d_{n-t}-d_{n-t-1})((n-t)!+t)$ if $\mathcal{F}\cup\mathcal{G}$ is non-trivial.
(ii) $|\mathcal{F}||\mathcal{G}|\leq((n-t)!-d_{n-t}-d_{n-t-1}+t)^2$ if both $\mathcal{F}$ and $\mathcal{G}$ are non-trivial.
(iii) $\min\{|\mathcal{F}\setminus\mathcal{C}|,|\mathcal{G}\setminus\mathcal{C}|\}\leq t((n-t-1)!-(n-t-2)!)$ for some $t$-coset $\mathcal{C}$ if $t\geq2$.
We also characterize all extremal configurations. The first result extends a theorem of Ellis (2011) to an exponentially wider range and sharpens the stability theorem of Keller, Lifshitz, Minzer and Sheinfeld (2024); the second gives a product version of the classical Hilton--Milner--Frankl theorem for permutations; and the third settles the remaining cases $t\geq2$ of a conjecture of Ellis (2011) in a stronger form. In all three results, the linear dependence on $t$ is essentially optimal. Our proofs are based on the spread approximation method introduced by Kupavskii and Zakharov and on an approach to cross $t$-intersection problems developed by the present authors, with several essential refinements. As an application of our approach, we prove a product version of the Hilton--Milner--Frankl theorem for the alternating group.
Flip Combinatorial Invariance and Weyl groups
In this work, we investigate the approach via flipclasses to the Combinatorial Invariance Conjecture for Kazhdan--Lusztig polynomials of all Coxeter groups. We prove the combinatorial invariance of Kazhdan--Lusztig $\widetilde{R}$-polynomials of Weyl groups modulo $q^7$ and of Kazhdan--Lusztig $\widetilde{R}$-polynomials of type $A$ Weyl groups modulo $q^8$. As a consequence, we establish the Combinatorial Invariance Conjecture for all intervals up to length 10 in Weyl groups and up to length 12 in type $A$ Weyl groups.
Asymptotic stability of Cayley graphs on abelian groups
For a finite group $G$, we say that a Cayley graph $Γ$ on $G$ is a most rigid representation (MRR) of $G$ if its full automorphism group has the smallest possible order among all Cayley graphs on $G$, and say that $Γ$ is stable if every automorphism of $Γ\times K_2$ comes from $\mathrm{Aut}(Γ)\times\Aut(K_2)$. Although the study of stability has attracted significant attention, particularly regarding Cayley graphs on abelian groups, a complete classification is currently out of reach even for Cayley graphs on cyclic groups. In this paper, we prove that almost all Cayley graphs on finite abelian groups are stable MRRs. This strengthens the main result of Dobson, Spiga and Verret [Combinatorica, 36 (2016), no.~4, 371--393], which states that almost all Cayley graphs on finite abelian groups are MRRs.
From one generator to loop order on the three-cube
We study the monoid $\mathcal W$ of based closed walks on the $1$-skeleton of the three-dimensional cube $Q_3$. The fundamental group of this graph is the free group $F_5$. We prove that every additive one-step reading, given by a sum of edge weights in an abelian group, factors through the directed transition counts, and we exhibit two closed walks with equal transition counts and different reduced loop words. Hence commutative aggregation does not determine the reduced loop word.
The reduced loop word gives a proper noncommutative recognition quotient. We also determine the shortest closed walk with trivial abelianization but nontrivial degree-two commutator information. Its minimum length in the cube edge metric is $14$.
We also obtain a separation between finite and unbounded memory. A two-state reading separates an order pair, while for every $k\geq1$, there is an explicit factorial pair which no $k$-state reading separates. An unbounded stack recovers the reduced loop word on every walk.
For integer-valued functions on the vertex set, potential readings vanish on closed walks, while occupation binding is not rectangular. More generally, every occupation-based constraint is rectangular on a class of histories if and only if the occupation vector is constant on that class.
Finally, a declared quarter-turn quaternion clock gives a second proper order-sensitive congruence, incomparable with the reduced-word quotient. The obstruction to commutative recovery, and the minimum $14$, remain valid on every hypercube $Q_n$, $n\geq3$.