group
10399 papers tagged with this keyword
Geometry over finite local rings: Rigidity and Isospectrality
We study the simplicial order complexes obtained from free modules over finite local rings. These complexes arise naturally as geodesic spheres in Bruhat-Tits buildings over non-archimedean local fields. We establish two forms of rigidity, showing that their automorphism groups arise from the underlying algebraic group, and that they are determined by sparse induced subgraphs. We compute the spectra of these subgraphs and show that they form excellent expanders, which results in expansion for geodesic powers of Bruhat-Tits buildings. The computation also reveals that local rings with the same residue order give rise to isospectral induced subgraphs. Combining this with our rigidity results we show that the graphs arising from $n$-spaces over $\mathbb{Z}/p^{r}$ and $\mathbb{F}_{p}[t]/(t^{r})$ are isospectral and non-isomorphic.
Intersection cohomology without spaces
Published
• View Publication
• BIB
We survey three settings in which dimensions of intersection cohomology groups of algebraic varieties provide deep combinatorial and representation-theoretic information, and computations of the groups themselves have been made using combinatorial sheaves on finite posets. These settings are (1) intersection cohomology of Schubert varieties, the associated Kazhdan-Lusztig polynomials and their realizations via moment graph sheaves and Soergel bimodules; (2) intersection cohomology of toric varieties, the associated g-polynomials of convex polytopes, and their realization via the theory of intersection cohomology of fans; and (3) intersection cohomology of arrangement Schubert varieties, the associated Kazhdan-Lusztig polynomials of matroids, and their realization via intersection cohomology of matroids. In all three settings these constructions are valid in more general situations where the variety does not exist, leading to "intersection cohomology without spaces." We give parallel presentations of these three stories, highlighting applications to KLS-polynomials.
Perfect and multiple state transfer in oriented Cayley graphs
We study perfect state transfer and multiple state transfer in oriented normal Cayley graphs. We construct examples in a variety of groups, ranging from abelian to nonsolvable, and establish some general restrictions and nonexistence results.
Non-Euclidean Crystallographic Rigidity
Published
• View Publication
• BIB
This paper establishes combinatorial characterisations of forced-symmetric and forced-periodic rigidity (under a fixed lattice) of bar-joint frameworks in non-Euclidean normed planes. In $\ell_q$-planes for $q\in(1,\infty)\backslash\{2\}$, we prove characterisations for forced-periodic rigidity and forced-reflectionally-symmetric rigidity. We also characterise forced-symmetric rigidity in this space with respect to the orientation-reversing wallpaper group $\mathbb{Z}^2\rtimes\mathcal{C}_s$, otherwise known as $pm$ in crystallography. In the $\ell_1$ and $\ell_\infty$-planes, we provide characterisations for forced-periodic rigidity and forced-$\mathbb{Z}^2\rtimes\mathcal{C}_s$-symmetric rigidity. All of these characterisations are proved by inductive constructions involving Henneberg-type graph operations.
Upper Bounds on the Chromatic Index of Linear Hypergraphs
We address the problem of finding upper bounds on the chromatic index $q(V,E)$ of linear (and loopless) hypergraphs. The first bound we find is defined through a color-preserving group on a proper and minimally edge-colored linear hypergraph, whose orbits serve as a finer partition to the hypergraph's coloring, thereby yielding an upper bound on $q(V,E)$. The next set of theorems in this paper relates to combinatorial properties of hypergraph coloring. Our results suggest a plausible approach to solving the Berge-Füredi conjecture, providing an upper bound on the chromatic index that directly relates $q(V,E)$ and $Δ([(V,E)]_{2}) + 1$. Furthermore, we provide three sufficient conditions for the conjecture to hold within this framework, when involving the Helly property for hypergraphs.
Gröbner crystal structures
We develop a theory of bicrystalline ideals, synthesizing Gröbner basis techniques and Kashiwara's crystal theory. This provides a unified algebraic, combinatorial, and computational approach that applies to ideals of interest, old and new. The theory concerns ideals in the coordinate ring of matrices, stable under the action of some Levi group, whose quotients admit standard bases equipped with a crystal structure. We construct an effective algorithm to decide if an ideal is bicrystalline. When the answer is affirmative, we provide a uniform, generalized Littlewood-Richardson rule for computing the multiplicity of irreducible representations either for the quotient or the ideal itself.
On the irreducibility and monodromy of Tutte polynomials
We study algebraic properties of the Tutte polynomial of a matroid and its generalizations to other combinatorially defined bivariate polynomial invariants. Merino, de Mier and Noy showed that the Tutte polynomial of a connected matroid is irreducible, and Bohn, Cameron and M{ü}ller conjectured the stronger property that the Galois/monodromy group of the Tutte polynomial of a connected matroid of rank r is isomorphic to the full symmetric group on r letters. First, we generalize the result of Merino-de Mier-Noy to the context of general ranked sets by exploiting a recent translation of the Brylawski relations, satisfied by the coefficients of the Tutte polynomial, into a functional identity. Second, we give the first confirmation of the conjecture of Bohn-Cameron-M{ü}ller for infinite families of connected matroids, including the cycle graphs and the uniform matroids. Moreover, we apply the large sieve to obtain a probabilistic statement showing that suitable linear combinations of coprime Tutte polynomials generically satisfy the conjecture.
Divisible subdivisions of graphs in subdivisions of complete graphs
Let $\mathbb{Z}_q$ denote the cyclic group of order $q$. A $\mathbb{Z}_q$-edge-weighted $K_f$ is the complete graph $K_f$ equipped with a weight function $ω: E(K_f) \to \mathbb{Z}_q$. A subdivision of a graph $H$ in a $\mathbb{Z}_q$-edge-weighted $K_f$ is called a $q$-divisible subdivision of $H$ if every subdivision path has weight congruent to zero modulo $q$. Let $q\ge 2$ be an integer and let $H$ be a graph with $n$ vertices and $m$ edges. Define $s_q(H)$ to be the smallest number $f$ such that every $\mathbb{Z}_q$-edge-weighted $K_{f}$ contains a $q$-divisible subdivision of $H$. Das, Draganić, and Steiner raised the following question (Problem 4.1 in [Tight bounds for divisible subdivisions, J. Combin. Theory, Ser. B 165 (2024) 1-19]): Given $q\in\mathbb{N}$ and a subcubic graph $H$ with $n$ vertices and $m$ edges, is it true $s_q(H)= m(q - 1) + n$? They also established the upper bound $s_q(H)\le 7mq+8n+14q$ for such a graph $H$. In this paper, we improve this bound by showing that $s_q(H)\le (2q - 1)m + 2n - 1 + 4q$, and establishing a sharper bound $s_p(H)\le \frac{3p - 1}{2}m - \frac{p - 1}{2}n + \frac{p + 1}{2}$ for prime $p$ and connected $H$. We resolve this problem in the case $q=2$ by proving that $s_2(H) = m + n$ for any 5-degenerate graph $H$, and in the case $q\ge 2$ and $T$ being a tree, by showing that $s_q(T) = nq - q + 1$. Let $s_q(H,t)$ be the minimum number $f$ such that every $\mathbb{Z}_q$-edge-weighted $K_f$ contains a $q$-divisible $t$-subdivision of $H$, where a $t$-subdivision of $H$ is a subdivision of $H$ such that each edge of $H$ is subdivided exactly $t$ times. We also prove that $s_2(H,1)= m + n$, where $H$ is a tree or a cycle on $n$ vertices with $m$ edges.
Möbius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
We generalize the concept of Möbius inversion and Shapley values to directed acyclic multigraphs and weighted versions thereof. We further allow value functions (games) and thus their Möbius transforms (synergy function) and Shapley values to have values in any abelian group that is a module over a ring that contains the graph weights, e.g. vector-valued functions. To achieve this and overcome the obstruction that the classical axioms (linearity, efficiency, null player, symmetry) are not strong enough to uniquely determine Shapley values in this more general setting, we analyze Shapley values from two novel points of view: 1) We introduce projection operators that allow us to interpret Shapley values as the recursive projection and re-attribution of higher-order synergies to lower-order ones; 2) we propose a strengthening of the null player axiom and a localized symmetry axiom, namely the weak elements and flat hierarchy axioms. The former allows us to remove coalitions with vanishing synergy while preserving the rest of the hierarchical structure. The latter treats player-coalition bonds uniformly in the corner case of hierarchically flat graphs. Together with linearity these axioms already imply a unique explicit formula for the Shapley values, as well as classical properties like efficiency, null player, symmetry, and novel ones like the projection property. This whole framework then specializes to finite inclusion algebras, lattices, partial orders and mereologies, and also recovers certain previously known cases as corner cases, and presents others from a new perspective. The admission of general weighted directed acyclic multigraph structured hierarchies and vector-valued functions and Shapley values opens up the possibility for new analytic tools and application areas, like machine learning, language processing, explainable artificial intelligence, and many more.
Tensor Product Decompositions, Limits in Excellent Filtrations, Affine Weyl Group Orbits, and Tableaux Counting
We express the outer multiplicities in the tensor products of two fundamental simple modules for an affine Kac-Moody algebra of type $A$ in terms of counting certain sets of multipartitions by exploring the stabilizing limits of certain excellent filtrations. This extends for all ranks a previously obtained result by Jakelić and the second author for rank $1$. The same outer multiplicities were previously computed by Misra and Wilson in terms of counting certain sets of tableaux. By comparing these two expressions and by explicitly exhibiting a combinatorial description of level-$2$ affine Weyl group orbits, we establish the existence of a bijection between the Misra-Wilson set of tableaux and a disjoint union of certain sets of multipartitions.
A functional Loomis-Whitney type inequality in the Heisenberg group and projection theorems over finite fields
We establish functional Loomis--Whitney type inequalities in the finite Heisenberg group $\mathbb{H}^n(\mathbb{F}_q)$. For $n=1$, we determine the sharp region of exponents $(u_1,u_2)$ for which the Heisenberg Loomis--Whitney inequality \[ \frac{1}{q^3}\sum_{(x,t)\in \mathbb{H}^1(\mathbb{F}_q)} f_1(π_1(x,t))\,f_2(π_2(x,t)) \;\lesssim\; \|f_1\|_{L^{u_1}(\mathbb{F}_q^2,dx)}\|f_2\|_{L^{u_2}(\mathbb{F}_q^2,dx)} \] holds uniformly in $q$, namely \[ \frac{1}{u_1}+\frac{2}{u_2}\le 2 \quad\text{and}\quad \frac{2}{u_1}+\frac{1}{u_2}\le 2, \] which includes the endpoint estimate $L^{\frac{3}{2}}\times L^{\frac{3}{2}}\to L^1$. For general $n$, we prove the symmetric multilinear estimate at the endpoint exponent $
u=\frac{n(2n+1)}{n+1}, $
using an induction on $n$ that exploits the Heisenberg fiber structure together with a multilinear interpolation scheme. Specializing to indicator functions yields a sharp Loomis--Whitney type set inequality bounding $|K|$ for every finite $K\subset \mathbb{H}^n(\mathbb{F}_q)$ in terms of the sizes of its $2n$ Heisenberg projections $\{π_j(K)\}_{j=1}^{2n}$, and in particular, \[ \max_{1\le j\le 2n} |π_j(K)| \;\gtrsim_n\; |K|^{\frac{2n+1}{2(n+1)}}\,q^{-\frac{1}{2(n+1)}}. \] This result is optimal up to absolute constants. Moreover, when $n=1$ and $|K|>q$, we obtain a stronger statement via Vinh's point--line incidence theorem. We also discuss connections to a boundedness problem for multilinear forms/operators over finite fields studied by Bhowmik, Iosevich, Koh, and Pham (2025), and to orthogonal projection/covering questions in $\mathbb{F}_q^{2n+1}$ studied by Chen (2018).
Colourings of Uniform Group Divisible Designs and Maximum Packings
Published
• View Publication
• BIB
A weak $c$-colouring of a design is an assignment of colours to its points from a set of $c$ available colours, such that there are no monochromatic blocks. A colouring of a design is block-equitable, if for each block, the number of points coloured with any available pair of colours differ by at most one. Weak and block-equitable colourings of balanced incomplete block designs have been previously considered. In this paper, we extend these concepts to group divisible designs (GDDs) and packing designs. We first determine when a $k$-GDD of type $g^u$ can have a block-equitable $c$-colouring. We then give a direct construction of maximum block-equitable $2$-colourable packings with block size $4$; a recursive construction has previously appeared in the literature. We also generalise a bound given in the literature for the maximum size of block-equitably $2$-colourable packings to $c>2$. Furthermore, we establish the asymptotic existence of uniform $k$-GDDs with arbitrarily many groups and arbitrary chromatic numbers (with the exception of $c=2$ and $k=3$). A structural analysis of $2$- and $3$-uniform $3$-GDDs obtained from 4-chromatic STS$(v)$ where $v\in\{21,25,27,33,37,39\}$ is given. We briefly discuss weak colourings of packings, and finish by considering some further constraints on weak colourings of GDDs, namely requiring all groups to be either monochromatic or equitably coloured.
Pinnacles for Complex Reflection Groups
Published
• View Publication
• BIB
We study, characterize, and enumerate the admissible pinnacle sets of nonexceptional complex reflection groups $G(m,p,n)$, which include all generalized symmetric groups $\mathbb{Z}_m \wr S_n$ as special cases. This generalizes the work of Davis--Nelson--Petersen--Tenner for symmetric groups $S_n$ and González--Harris--Rojas Kirby--Smit Vega Garcia--Tenner for signed symmetric groups $\mathbb{Z}_2 \wr S_n$. As a consequence, we prove a conjecture of González--Harris--Rojas Kirby--Smit Vega Garcia--Tenner for pinnacles of signed permutations.
HNN extensions of free groups with equal associated subgroups of finite index: polynomial time word problem
Let $G=F\ast_\varphi t$ be an HNN extension of a free group $F$ with two equal associated normal subgroups $H_1 = H_2$ of finite index. We prove that the word problem in $G$ is decidable in polynomial time. This result extends to the case where the subgroups $H_1=H_2$ are not normal, provided that the isomorphism $\varphi:H_1\to H_2$ satisfies an additional condition described in Section 5.
On the global linear Zarankiewicz problem
The `global' Zarankiewicz problem for hypergraphs asks for an upper bound on the number of edges of a finite $r$-hypergraph $V$ in terms of the number $|V|$ of its vertices, assuming the edge relation is induced by a fixed $K_{k, \dots, k}$-free $r$-hypergraph $E$, for some $k\in\mathbb N$. In [4], such bounds of size $O(|V|^{r-1})$ were achieved for a semilinear $E$, namely, definable in a linear o-minimal structure. We establish the same bounds in five new settings: when $E$ is definable in (a) a semibounded o-minimal structure and the vertex set of $V$ is `sufficiently distant', (b) a model of Presburger arithmetic, (c) the expansion $\langle\mathbb R,<,+, \mathbb Z\rangle$ of the real ordered group by the set of integers, (d) a stable 1-based structure without the finite cover property, and (e) a locally modular regular type in a stable theory, such as the generic type of the solution set of the Heat differential equation.
Our methods include techniques for reducing Zarankiewicz's problem to the setting of arbitrary subgroups of powers of groups, used in geometric cases (a)--(c). They also include an abstract version of Zarankiewicz's problem for general saturated `linear structures' that yields the desired bounds in the model-theoretic settings (d)--(e), as well as a parametric version in (b). Furthermore, the bounds in (a) characterise those o-minimal structures that do not recover a global field, and in (c) they yield new versions of Zarankiewicz's problem for certain ordered abelian groups.
A High-Dimensional Extension of Wagner's Theorem and the Geometrization of Hypergraphs
This paper introduces a geometric representation of hypergraphs by representing hyperedges as simplices. Building on this framework, we employ homotopy groups to analyze the topological structure of hypergraphs embedded in high-dimensional Euclidean spaces. Under the assumptions of the triangulation and that all $i$-th homotopy groups are trivial for $i \leq d-2$, we provide a necessary and sufficient condition for a $d$-uniform hypergraph to be embeddable in $\mathbb{R}^d$, which can be regarded as a kind of high-dimensional extension of Wagner's Theorem for planar graphs. Specifically, we establish that a triangulated $d$-uniform topological hypergraph embeds into $\mathbb{R}^d$ if and only if it contains neither $K_{d+3}^d$ nor $K_{3,d+1}^d$ as a minor. Here, a triangulated $d$-uniform topological hypergraph constitutes a geometrized form of a $d$-uniform hypergraph, while $K_{d+3}^d$ and $K_{3,d+1}^d$ are the high-dimensional generalizations of the complete graph $K_5$ and the complete bipartite graph $K_{3,3}$ in $\mathbb{R}^d$, respectively.
Markov chains on Weyl groups from the geometry of the flag variety
This paper studies a basic Markov chain, the Burnside process, on the space of flags $G/B$ with $G = GL_n(\mathbb{F}_q)$ and $B$ its upper triangular matrices. This gives rise to a shuffling: a Markov chain on the symmetric group realized via the Bruhat decomposition. Actually running and describing this Markov chain requires understanding Springer fibers and the Steinberg variety. The main results give a practical algorithm for all n and q and determine the limiting behavior of the chain when q is large. In describing this behavior, we find interesting connections to the combinatorics of the Robinson-Schensted correspondence and to the geometry of orbital varieties. The construction and description is then carried over to finite Chevalley groups of arbitrary type, describing a new class of Markov chains on Weyl groups.
On global isomorphisms and a closure property of semigroups
Let $S$ be a semigroup (written multiplicatively). Endowed with the operation of setwise multiplication induced by $S$ on its parts, the non-empty subsets of $S$ form themselves a semigroup, denoted by $\mathcal P(S)$. Accordingly, we say that a semigroup $H$ is globally isomorphic to a semigroup $K$ if $\mathcal P(H)$ is isomorphic to $\mathcal P(K)$; and that a class $\mathscr C$ of semigroups is globally closed if a semigroup in $\mathscr C$ can only be globally isomorphic to an isomorphic copy of a semigroup in the same class.
We show that the classes of groups, torsion-free monoids, and numerical monoids are each globally closed. The first result extends a 1967 theorem of Shafer, while the last relies non-trivially on the second and on a classical theorem of Kneser from additive number theory.
Representation Theory of $0$-Schur Algebras and Related Categories
Jensen, Su, and Yang described the projective indecomposable modules of the $0$-Schur algebra $\mathbf{S}_0(n,r)$ using its geometric realization. In this paper, the simple modules of $\mathbf{S}_0(n,r)$ are identified by computing the tops of the projective indecomposable modules. Furthermore, functorial relations among the module categories $\mathbf{H}_r(0)$\textsf{-mod}, $\mathbf{S}_0(n,r)$\textsf{-mod}, and $U_0(\mathfrak{gl}_n)$\textsf{-mod} are examined, where $\mathbf{H}_r(0)$ denotes the $0$-Hecke algebra and $U_0(\mathfrak{gl}_n)$ denotes the degenerate quantum group.
Group Actions and Some Combinatorics on Words with $\mathbf{vtm}$
We introduce generalizations of powers and factor complexity via orbits of group actions. These generalizations include concepts like abelian powers and abelian complexity. It is shown that this notion of factor complexity cannot be used to recognize Sturmian words in general. Within our framework, we establish square avoidance results for the ternary squarefree Thue--Morse word $\mathbf{vtm}$. These results go beyond the usual squarefreeness of $\mathbf{vtm}$ and are proved using Walnut. Lastly, we establish a group action factor complexity formula for $\mathbf{vtm}$ that is expressed in terms of the abelian complexity of the period doubling word $\mathbf{pd}$.