group
10226 papers tagged with this keyword
Homology character of the parabolic coset poset
Motivated by the analogy with the Coxeter complex on one side, and parking functions on the other side, we study the poset of parabolic cosets in a finite Coxeter group. We show that this poset is Cohen-Macaulay, and get an explicit formula for the character of its (unique) nonzero homology group in terms of the Möbius function of the intersection lattice. This homology character becomes a positive element of the parabolic Burnside ring (in its natural basis) after tensoring with the sign character. The coefficients of this character essentially encode the colored $h$-vector of the positive chamber complex (following Bastidas, Hohlweg, and Saliola, this complex is defined by taking Weyl chambers that lie on the positive side of a generic hyperplane). Roughly speaking, tensoring by the sign character on one side corresponds to the transformation going from the $f$-vector to the $h$-vector on the other side.
The List-distinguishing chromatic number of graphs containing only small complete bigraphs
In 2006, Collins and Trenk obtained a general sharp upper bound for the distinguishing chromatic number of a connected graph. Inspired by Catlin's combinatorial techniques from 1978, we establish improved upper bounds for classes of connected graphs that have only small complete bigraphs as induced subgraphs. In this framework, we also consider the list-distinguishing chromatic number of such graphs.
We apply Menger's theorem to demonstrate applications of our main result for graphs whose constructions are based on Paley graphs, Cayley graphs on Dihedral groups, and circulant Cayley graphs.
Special restricted partition functions for the stable sheaf cohomology on flag varieties
Let $\mathbf a:=(a_1,\ldots,a_r)$ be a sequence of positive integers, $d\geq 2$ and $j\geq 1$, some integers. We study the functions $p_{\mathbf a,d}(n):=$ the number of integer solutions $(x_1,\dots,x_r)$ of $\sum_{i=1}^r a_ix_i=n$, with $x_i\geq 0$ and $x_i \equiv 0,1(\bmod\;d)$, for all $1\leq i\leq r$, and $p_{\mathbf a,d}(n;j):=$ the number of $(x_1,\ldots,x_r)$ as above which satisfy also the condition $\sum_{i=1}^r \left(x_i-(d-2)\left\lfloor \frac{x_i}{d} \right\rfloor\right) =j$.
We give formulas for $p_{\mathbf a,d}(n)$ and its polynomial part $P_{\mathbf a,d}(n)$, and also for $p_{\mathbf a,d}(n;j)$. As an application, we compute the dimensions of the stable cohomology groups for certain line bundles associated to flag varieties, defined over an algebraically closed field of positive characteristic.
Rigidifying simplicial complexes and realizing group actions
We show that any action of a finite group on a finitely presentable group arises as the action of the group of self-homotopy equivalences of a space on its fundamental group. In doing so, we prove that any finite connected (abstract) simplicial complex $\mathbf{K}$ can be rigidified -- meaning it can be perturbed in a way that reduces the full automorphism group to any subgroup -- while preserving the homotopy type of the geometric realization $| \mathbf{K} |$. We also obtain that every action of a finite group on a finitely generated abelian group is the action of the group of self-homotopy equivalences of a space on one of its higher homotopy groups.
Counting Homogeneous Einstein Metrics
We present an explicit upper bound on the number of isolated homogeneous Einstein metrics on compact homogeneous spaces whose isotropy representations consist of pairwise inequivalent irreducibles. This is the BKK bound of the corresponding system of Laurent polynomials and is found combinatorially by computing the volume of a polytope. Inspired by a connection with algebraic statistics, we describe this system's BKK discriminant in terms of the principal $A$-determinant of scalar curvature. As a consequence, we confirm the Finiteness Conjecture of Böhm--Wang--Ziller in special cases. In particular, we give a unified proof that it holds on all generalized Wallach spaces. Finally, using numerical algebraic geometry, we compute $G$-invariant Einstein metrics on low-dimensional full flag manifolds $G/T$, where $G$ is a compact simple Lie group and $T$ is a maximal torus.
Sign-coherence and tropical sign pattern for rank $3$ real cluster-cyclic exchange matrices
The sign-coherence about $c$-vectors was conjectured by Fomin-Zelevinsky and solved completely by Gross-Hacking-Keel-Kontsevich for integer skew-symmetrizable case. We prove this conjecture associated with $c$-vectors for rank 3 real cluster-cyclic skew-symmetrizable case. Simultaneously, we establish their self-contained recursion and monotonicity. Then, these $c$-vectors are proved to be roots of certain quadratic equations. Based on these results, we prove that the corresponding exchange graphs of $C$-pattern and $G$-pattern are $3$-regular trees. We also study the structure of tropical signs and equip the dihedral group $\mathrm{D}_6$ with a cluster realization via certain mutations.
New constructions and bounds for nonabelian Sidon sets with applications to Turán-type problems
An $S_k$-set in a group $Γ$ is a set $A\subseteqΓ$ such that $α_1\cdotsα_k=β_1\cdotsβ_k$ with $α_i,β_i\in A$ implies $(α_1,\ldots,α_k)=(β_1,\ldots,β_k)$. An $S_k'$-set is a set such that $α_1β_1^{-1}\cdotsα_kβ_k^{-1}=1$ implies that there exists $i$ such that $α_i=β_i\text{ or }β_i=α_{i+1}$. We give explicit constructions of large $S_k$-sets in the group $S_n$ and $S_2$-sets in $S_n\times S_n$ and $A_n\times A_n$. We give probabilistic constructions for `nice' groups which obtain large $S_2$-sets in $A_n$ and $S_2'$-sets in $S_n$. We also give upper bounds on the size of $S_k$-sets in certain groups, improving the trivial bound by a constant multiplicative factor. We describe some connections between $S_k$-sets and extremal graph theory. In particular, we determine up to a constant factor the minimum outdegree of a digraph which guarantees even cycles with certain orientations. As applications, we improve the upper bound on Hamilton paths which pairwise create a two-part cycle of given length, and we show that a directed version of the Erdős-Simonovits compactness conjecture is false.
Using dense graph limit theory to count cocycles of random simplicial complexes
We develop a limit theory for $1$-cochains of complete graphs with coefficients from a finite abelian group. We prove an analogue of the large deviation principle of Chatterjee and Varadhan for random cochains. We use these new tools to prove results about the homology of random $2$-dimensional simplicial complexes.
More specifically, we prove that if $T_n$ is a random $2$-dimensional determinantal hypertree on $n$ vertices and $p$ is any prime, then \[\frac{\dim H_1(T_n,\mathbb{F}_p)}{n^2}\] converges to zero in probability. The same result holds for random $1$-out 2-complexes.
The Ribes-Zalesskiĭ product theorem via foldings and extensions
We present an exposition of the Auinger-Steinberg proof of the Ribes-Zalesskiĭ product theorem for pro-V topologies, where V is a pseudovariety of groups closed under extensions with abelian kernel. This proof is self-contained and is accessible to those acquainted with coverings of graphs, and as such, it provides an easy entry point to various other deep theorems for which the product theorem is formally equivalent to.
A General Framework for Low Soundness Homomorphism Testing
We introduce a general framework to design and analyze algorithms for the problem of testing homomorphisms between finite groups in the low-soundness regime.
In this regime, we give the first constant-query tests for various families of groups. These include tests for: (i) homomorphisms between arbitrary cyclic groups, (ii) homomorphisms between any finite group and $\mathbb{Z}_p$, (iii) automorphisms of dihedral and symmetric groups, (iv) inner automorphisms of non-abelian finite simple groups and extraspecial groups, and (v) testing linear characters of $\mathrm{GL}_n(\mathbb{F}_q)$, and finite-dimensional Lie algebras over $\mathbb{F}_q$. We also recover the result of Kiwi [TCS'03] for testing homomorphisms between $\mathbb{F}_q^n$ and $\mathbb{F}_q$.
Prior to this work, such tests were only known for abelian groups with a constant maximal order (such as $\mathbb{F}_q^n$). No tests were known for non-abelian groups.
As an additional corollary, our framework gives combinatorial list decoding bounds for cyclic groups with list size dependence of $O(\varepsilon^{-2})$ (for agreement parameter $\varepsilon$). This improves upon the currently best-known bound of $O(\varepsilon^{-105})$ due to Dinur, Grigorescu, Kopparty, and Sudan [STOC'08], and Guo and Sudan [RANDOM'14].
Equivariant Modular Functions and Quantizations of Continued Fractions
We show that, in addition to the quantizations of the rational numbers discovered by Morier-Genoud and Ovsienko, there exist a pair of conjugate representations of the modular group and the corresponding equivariant maps with respect to these representations. We discuss some specializations of these quantizations and discuss its connection to Dyer's outer automorphism and the associated involution Jimm of the real line.
On the integral cohomology of real toric manifolds
Real toric manifolds are the real loci of nonsingular complete toric varieties. In this paper, we calculate the integral cohomology groups of real toric manifolds in terms of the combinatorial data contained in the underlying simplicial fans, generalizing a formula due to Cai and Choi. We also present a combinatorial formula to describe the ring structure, modulo the ideal consisting of elements of order $2$. As an application, a combinatorial-algebraic criterion is established for when a real toric manifold is spin$^c$.
Classification of Finite Groups With Equal Left and Right Quotient Sets
In this paper, we classify all finite groups $G$ which have the following property: for all subsets $A \subseteq G$, we have $|AA^{-1}| = |A^{-1}A|$. This question is motivated by the problem in additive combinatorics of More Sums Than Difference sets and answers several questions posed in arXiv:2509.00611 [math.NT].
A Higgs category for the cluster variety of triples of flags
The cluster variety of triples of flags (associated with a split simple Lie group of Dynkin type Delta) plays a key role in higher Teichmuller theory as developed by Fock-Goncharov, Jiarui Fei, Ian Le, ... and Goncharov-Shen. We refer to it as the basic triangle associated with Delta. In this paper, for simply laced Delta, we construct and study a Higgs category (in the sense of Yilin Wu) which we expect to categorify the basic triangle. This category is a certain exact dg category (in the sense of Xiaofa Chen) which is Frobenius and stably 2-Calabi-Yau. We show that it has indeed the expected cyclic group symmetry and that its derived category has the expected braid group symmetry. A key ingredient in our construction is a conjecture by Merlin Christ, whose proof occupies most of this paper. The proof is based on a new description of the Higgs category in terms of Gorenstein projective dg modules. Our techniques are in the spirit of Orlov in his work on triangulated categories of graded B-branes.
Subgroup perfect codes of $S_n$ in Cayley sum graphs
A perfect code in a graph $Γ= (V, E)$ is a subset $C$ of $V$ such that no two vertices in $C$ are adjacent, and every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. Let $ G $ be a finite group, and let $ S $ be a square-free normal subset of $ G $. The Cayley sum graph of $ G $ with respect to $ S $ is a simple graph with vertex set $ G $ and two vertices $ x $ and $ y $ are adjacent if $ xy\in S .$ A subset $ C $ of $ G $ is called perfect code of $ G $ if there exists a Cayley sum graph of $ G $ that admits $ C $ as a perfect code. In particular, if a subgroup of $ G $ is a perfect code of $ G $, then the subgroup is called a subgroup perfect code of $ G $. In this work, we prove that there does not exist any proper perfect subgroup code of symmetric group $ S_n $. Using this result, we provide a complete characterization of the perfect subgroup code of the alternating group $A_n$.
On the Graham--Sloane harmonious labelling conjecture
Consider an order $n$ abelian group $G$ and a tree $T$ on $n$ vertices. When is it possible to (bijectively) label $V(T)$ by $G$ so that along all edges $xy$ of $T$, the sums $x+y$ are distinct? This problem can be traced back to the work of Graham and Sloane on the harmonious labelling conjecture, and has been studied extensively since its introduction in 1980. We give a precise characterisation that holds for all bounded degree trees. In particular, our characterisation implies that if $G=\mathbb{Z}/n\mathbb{Z}$ and $T$ is a bounded degree tree, the desired labelling exists. This confirms a conjecture of Graham and Sloane from 1980, and another conjecture of Chang, Hsu, and Rogers from 1987, for bounded degree trees. Our results also have further applications for the study of graph coverings.
On the difference of the intersection power graph and the power graph of a finite group
The two graphs of the title both have vertex set G. In the intersection power graph, x and y are joined if some non-identity element is a power of both; in the power graph, x and y joined if one is a power of the other. Thus the power graph is a spanning subgraph of the intersection power graph, and we define the edges of the difference graph to be the difference of these edge sets. In this paper, we give a number of results about the difference graph. We examine groups whose power graph and intersection power graph coincide. In addition, we make some observations on isolated vertices in difference graphs. We study the connectedness and perfectness of difference graph with respect to various properties of the underlying group G. Furthermore, we investigate the operation of twin reduction on graphs, a technique that yields smaller graphs which may be easier to analyze.
Classification of thin Jordan schemes
Jordan schemes generalize association schemes in a similar way as Jordan algebras generalize the associative ones. It is well-known that association schemes of maximal rank are in one-to-one correspondence with groups (so-called thin schemes). In this paper, we classify Jordan schemes of maximal rank-to-order ratio and show that regular Jordan schemes correspond to a special class of Moufang loops, known as Ring Alternative loops.
Submonoids of Infinite Symmetric Inverse Monoids
In this thesis we study the subsemigroup structure of the symmetric inverse monoid $I_X$, the inverse semigroup of bijections between subsets of the set $X$, when $X$ is an infinite set. We explore three different approaches to this task. First, we classify the maximal subsemigroups of $I_X$ containing certain subgroups of the symmetric group on $X$. The subgroups in question are the symmetric group itself, the pointwise stabiliser of a finite non-empty subset of $X$, the stabiliser of an ultrafilter on $X$, and the stabiliser of a finite partition of $X$. Next, we study subsemigroups of $I_X$ which are closed in semigroup topologies on $I_X$ introduced by Elliot et al. in 2023. We discover that the closed subsemigroups in these topologies that contain all the idempotents of $I_X$ coincide exactly with semigroups of partial endomorphisms and partial automorphisms of relational structures defined on $X$. Furthermore, we show that if a relational structure $R$ on a countable set $X$ only contains a finite number of relations, then there exists a finite subset $U$ of $I_X$ such that the union of the partial automorphisms of $R$ together with $U$ generates all of $I_X$. Finally, we study the subsemigroup structure of $I_X$ under a preorder introduced by George Bergman and Saharon Shelah in 2006 for the symmetric group. Extending the preorder to $I_X$, if $S_1$ and $S_2$ are subsemigroups of $I_X$, we say that $S_1 \preccurlyeq S_2$ if there exists a finite subset $U$ of $I_X$ such that $S_1$ is contained in the semigroup generated by the union of $S_2$ and $U$. We classify certain types of subsemigroups of $I_X$ according the Bergman-Shelah preorder, and we formulate a conjecture analogous to the main result by Bergman and Shelah.
Stabilizers and NIP arithmetic regularity
We give a new proof of the NIP arithmetic regularity lemma for finite groups (due to the authors and Pillay), which describes the approximate structure of "NIP sets" in finite groups, i.e., subsets whose collection of left translates has bounded VC-dimension. Our new proof avoids sophisticated ingredients from the model theory of NIP formulas (e.g., Borel definability and generic compact domination). The key tool is an elaboration on an elementary lemma due to Alon, Fox, and Zhao concerning the behavior of subgroups contained in stabilizers. We adapt this lemma to arbitrary subsets of stabilizers using technical (but elementary) maneuvers based on work of Sisask. Using another trick from Alon, Fox, and Zhao, we then give an effective proof of a related result of the first author and Pillay on finite NIP sets of bounded tripling in arbitrary groups. Along the way, we show that NIP sets satisfy a strong form of the Polynomial Bogolyubov-Ruzsa Conjecture.