group
10479 papers tagged with this keyword
Triple parabolic cosets have unique Bruhat minima
A folklore result says that any parabolic double coset $W_{I} w W_{J}$ in a Coxeter group $W$ is an interval of the Bruhat order, provided that $W_{I}$ and $W_{J}$ are finite. We include a self-contained proof, without assuming that $W$ is finite. Furthermore, we prove that each "triple coset" $W_{I} u W_{J} v W_{K}$ has a Bruhat minimum and -- if $W_{I}, W_{J}, W_{K}$ are finite -- a Bruhat maximum, but (in general) is not a Bruhat interval. This proves and extends a conjecture on MathOverflow #472072.
On the generation of the symmetric group by index relations of three prefix reversals
The cubic pancake graphs are Cayley graphs over the symmetric group Sn generated by three prefix reversals. There is the folllowing open problem: characterize all the sets of three prefix reversals that generate Sn. Blanco and Golubyatnikov give a complete solution of the problem when any of the two smallest or the two largest lengths but n are included in a triple of prefix reversals. According to their conjectures, we give some conditions implying a triple of prefix reversals does not generate Sn. Moreover, Using the symmetric groups that can already be generated by three prefix reversals, we can derive some recurrence conditions.
Bipartite solutions of the set-theoretic Yang--Baxer equation
We introduce a new class of unitary set-theoretic Yang--Baxter solutions, called \emph{bipartite} solutions. This class, which is purely combinatorial in nature, forms a full subcategory of $\mathcal{LYB}$, the category of Lyubashenko type solutions of Agore, Chirvasitu and the author, and is particularly amenable to explicit classification results. We give an intrinsic necessary and sufficient condition for a solution of the Yang--Baxter equation to be isomorphic to a bipartite solution, we settle the isomorphism problem within this class and, as an application, we determine their automorphism groups. If $X$ is a finite set with $|X| = n$, the number of isomorphism classes of bipartite solutions on $X$ is $\lfloor n/2 \rfloor + 1 + \sum_{m=2}^{n} \bigl( o(m, n-m) - 1 \bigr)$, where $o(m, k)$ denotes the number of orbits of the symmetric group $S_m$ acting by conjugation on the $k$-element multisets of elements of $S_m$. The paper also offers a comparative study: for small $|X| = n$ we count, up to isomorphism, all set-theoretic Yang--Baxter solutions on $X$, together with five distinguished families of solutions. Throughout the range we were able to compute, the class $\mathcal{LYB}$ accounts for a large share of all bijective and of all non-degenerate solutions, strikingly close to the total.
The achromatic number of Paley graphs, Peisert graphs, and related Cayley graphs
The achromatic number of a graph $G$, denoted $χ_a (G)$, is the maximum number of colors in a proper vertex coloring of $G$. Generalizing a result of Maistrelli and Penman, we prove that for sufficiently large $q$, the achromatic number of the $k$-th power Paley graph is at least $\frac{q-1}{k} + 1$. This lower bound gives the correct order of magnitude in $q$, but determining the correct dependence on $k$ remains open for all $k \geq 3$. The achromatic number of Peisert graphs is shown to be $\frac{q+1}{2}$. These bounds are consequences of a general theorem involving Cayley graphs whose generating set is a union of cyclotomic classes. Using character sums and Weil's bound, we prove an upper bound that improves the standard trivial bound $\binom{ χ_a (G) }{2} \leq e(G)$. Finally, we consider random Cayley-sum graphs on an abelian group $Γ$ of order $n$, where elements are included in the generating set independently with probability $\frac{1}{2}$. We prove that the achromatic and pseudochromatic number of such a graph are both at most $\frac{(\sqrt{3}+o(1))n}{\sqrt{\log_2 n}}$ with high probability.
Strong Lefschetz property of the Kirchhoff algebra of the complete tripartite graph $K_{1,1,n}$
By Whitney's 2-isomorphism theorem, the cycle matroids of two graphs are isomorphic if and only if one graph can be transformed into the other by finitely many applications of two operations: separation or identification at a cut-vertex, and twisting. The complete tripartite graph whose vertex set is the disjoint union of two singletons and an $n$-element set is invariant, up to isomorphism, under these operations. In this paper we prove that the Macaulay inverse system (the Kirchhoff algebra) determined by the basis generating polynomial of the cycle matroid of such a graph has the strong Lefschetz property over a field of characteristic $0$. The proof reduces the non-degeneracy of the higher Hessians to the ranks of disjointness matrices of families of subsets (the Gottlieb--Wilson theorem) and to the representation theory of the symmetric group in relation to the Johnson scheme.
Facets of nondegeneracy: central type factor groups, Heisenberg representations and Hadamard matrices
Given a pair of complementary subgroups $P$ and $N$ of a finite group $G$, we first discuss how the same type of functions $\mathbb E\colon P\times N\to \mathbb T$, which we call bi-$1$-cocycles, appear naturally in the study of projective representations of $G$ of Heisenberg type and second cohomology of $G$ and of its dual quantum group $\widehat G$. We show then that such representations are irreducible and the corresponding ordinary and dual $2$-cocycles are nondegenerate if and only if the matrix $(\mathbb E(p,n))_{p,n}$ is invertible, if and only if it is Hadamard. We illustrate the result with examples arising from symplectic nilpotent Lie algebras over finite fields with two complementary Lagrangian subalgebras.
The Schützenberger involution and colored lattice models
Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variants: a Gamma and a Delta variant. These variants differ in key aspects but surprisingly produce equal partition functions, which are weighted sums over admissible configurations, and this equality is called the Gamma-Delta duality. The duality was used to prove the analytic continuation of certain multiple Dirichlet series and is highly non-trivial, especially since the number of configurations on each side of the equality can differ.
In this paper we generalize the Gamma-Delta duality by constructing a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature. Besides the above metaplectic case we also get a new lattice model and Gamma-Delta type duality for (non-metaplectic) Iwahori Whittaker functions together with a crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving both variants of lattice models simultaneously.
For the crystal lattice model we show that the duality refines to a weight-respecting bijection of states given by the Schützenberger involution on the associated Gelfand-Tsetlin patterns or semistandard Young tableaux. We also show how the individual steps exchanging two rows in the proof of the duality for the partition functions refines to Berenstein-Kirillov or, equivalently, Bender-Knuth involutions.
Asymptotical results on the automorphism groups of canonical double cover of graphs
The canonical double cover $BX$ of a graph $X$ is the direct product $X\times K_2$. A graph $X$ is stable if every automorphism of $BX$ is induced by automorphisms of $X$ and $K_2$, and unstable otherwise. We prove several asymptotic results on stable and unstable graphs. In particular, we show that the automorphism group of the canonical double cover of almost every graph has order $2$, and consequently that almost all graphs are stable. We also prove that the dominant sources of instability are having twins and being disconnected, in that order, and that graphs arising from a known construction are the next step in this hierarchy.
Permutation classes need not have proper growth rates
By the Marcus-Tardos Theorem (formerly the Stanley-Wilf Conjecture), every permutation class other than the class of all permutations has a finite upper growth rate, meaning that the $n$th root of the number of permutations of length $n$ in the class has a finite limit superior. It has long been conjectured that this limit superior is in fact always a proper limit. We disprove this by constructing a permutation class whose upper and lower growth rates differ. The construction uses grid classes with cubic row-column graphs of increasing girth, obtained from Haar graphs of finite 2-groups. The corresponding hereditary property of ordered graphs also disproves an analogous 2006 conjecture of Balogh, Bollobás, and Morris. Along the way, we show that every proper permutation class with a D-finite generating function has a proper growth rate. We also establish refined enumerative bounds for grid classes, which lead to a short proof of Albert and Vatter's generalization of Bevan's Theorem on the growth rates of grid classes.
Spanning bipartite quadrangulations in even triangulations of real projective spaces
We study spanning quadrangulations of even triangulations of real projective spaces, using the higher-dimensional notion of quadrangulation introduced by Kaiser and Stehl\'ık. We prove that every even triangulation of $\RP^d$, where $d\ge 2$, admits a spanning bipartite quadrangulation. Moreover, such a triangulation admits a spanning non-bipartite quadrangulation if and only if it is not balanced; if it is balanced, every spanning quadrangulation is bipartite. Our proofs use coloring monodromy: its orbits yield bipartite quadrangulations, while a covering-space construction gives non-bipartite ones. %In dimension three, a bipartite quadrangulation can always be chosen to induce $K_{2,2}$ on each tetrahedron. More generally, we establish a sufficient condition for the existence of spanning bipartite quadrangulations on closed manifolds in terms of the monodromy action, and derive a consequence involving the fundamental group.
Discrete homotopy of graphs and $k$-parabolic subspace arrangements
Discrete homotopy theory is a combinatorial homotopy theory defined for discrete objects. Barcelo--Severs--White conjectured that the homotopy groups of complements of $k$-parabolic subspace arrangements are isomorphic to the discrete homotopy groups of graphs associated with the Coxeter complexes. We show that this correspondence fails in general by giving a counterexample in degree two for the $4$-parabolic subspace arrangement of type $A_5$.
Kobayashi's problem for power semigroups of inverse semigroups
For a semigroup $S$ (written multiplicatively), let $\mathcal P(S)$ denote the semigroup of all non-empty subsets of $S$ under setwise multiplication. The finitary power semigroup $\mathcal P_\text{fin}(S)$ is the subsemigroup of $\mathcal P(S)$ consisting of all non-empty finite subsets of $S$.
Kobayashi's problem asks for which classes $\mathcal O$ of semigroups every isomorphism $\mathcal P(H) \to \mathcal P(K)$ with $H, K \in \mathcal O$ maps singletons bijectively onto singletons and hence induces an isomorphism $H \to K$. We give an affirmative answer for inverse semigroups, extending previous results for groups, semilattices, and, more generally, Clifford semigroups. We also establish the corresponding rigidity theorem for finitary power semigroups. To this end, we develop a new framework that provides a common approach to both settings.
Affine $G$-multibiquandle modules for colored links I: representability of coloring functors and color-profile polynomials
Let $R$ be a commutative ring with identity, let $G$ be an abelian group, and fix $u\in R[G]^\times$. For each component-labeled oriented link diagram $(D,σ)$, we construct a finitely presented $R[G]$-module $M_u(D,σ;R[G])$ with a universal affine coloring $U_{D,σ}$. Every affine coloring with values in an $R[G]$-module factors uniquely through $U_{D,σ}$ by a module homomorphism. Thus the module represents the affine coloring functor. Each specified colored Reidemeister move induces a unique module isomorphism compatible with coloring transport, and the module isomorphism class is a colored-link invariant. The representing modules and universal colorings commute with arbitrary scalar extension, without a flatness assumption. For classical links, simultaneous rescaling of the component labels removes the common deformation unit.
For any multibiquandle, associated-biquandle colorings decompose into fibers indexed by component labelings. For finite targets and palettes, we define a color-profile polynomial recording the joint distribution of fiber sizes and numbers of palette labels used, and prove its invariance under oriented link isotopy. In the affine case, the representing modules determine these fibers, and their specialized dimensions determine the coloring counts over finite fields. The color-profile polynomial is not determined, in general, by the full unweighted distribution of coloring-fiber sizes. It therefore retains information beyond the associated-biquandle coloring count.
The geometric combinatorics of $k$-shuffle braid groups
This paper is the first in a series of two which aims at introducing a new family of groups called $k$-shuffle braid groups, denoted $\mathcal{B}_{n}(k)$. These groups have two intrinsically related stories. They were first observed by Calegari in arXiv:2105.11265 by looking at spaces of complex monic polynomials of degree $n$ whose critical values lie in $\mathbb{C} \setminus \{1, e^{\frac{2πi}{k}}, \dots, e^{\frac{2π(k-1)}{k}}\}$. The $k$-shuffle braid groups are the fundamental groups of those spaces, which correspond geometrically to complements of $k$ translates of the discriminant variety. The second story starts from the poset of $k$-shuffle partitions, which were introduced by Drew Armstrong and explored in depth in his thesis arXiv:math/0611106. In this paper, we focus on the combinatorial aspects of $k$-shuffle braid groups starting from the poset of $k$-shuffle non-crossing partitions. We build a CW-complex on which the groups act freely, properly discontinuously and cocompactly, which we show is CAT(0) for dimension up to 7. For higher dimension, we show that the CAT(0) property is implied by the conjecture of Brady and McCammond that the dual braid complex is CAT(0) (arXiv:0909.4778).
A sporadic simplicial arrangement of $51$ lines
We construct a sporadic simplicial arrangement of $51$ lines in the real projective plane. It is obtained from the icosahedral arrangement $\mathcal{A}(21,2)$ by adjoining the $30$ images of the line $y+\sqrtφ\,z=0$ under the rotation group of the icosahedron, where $φ=(1+\sqrt5)/2$. Its intersection multiplicities are $t_2=120$, $t_3=190$, $t_5=36$, and $t_6=15$, with all other $t_r$ zero. These counts give equality in Melchior's inequality and hence prove simpliciality. The arrangement is irreducible, belongs to neither of the two known infinite families of irreducible simplicial arrangements, and is not supersolvable. It therefore disproves the $37$-line bound for sporadic arrangements conjectured by Cuntz and Mücksch. We give explicit coordinates, a finite incidence certificate, a geometric explanation of the parameter $\sqrtφ$, and a standalone exact-arithmetic verifier.
Low-degree filtrations in ordinary and Lagrangian Grassmannian cohomology
We prove the Hilbert-series formulas conjectured by Reiner--Tudose and by the Polymath Jr. Grassmannian group for the subalgebras of ordinary and Lagrangian Grassmannian cohomology generated in bounded degree. We determine the finite coefficient images underlying the proofs, together with the kernels of the coefficient and cancellation maps. We also construct bases adapted to the auxiliary ideal filtrations and identify the cancellation layers, as modules, with shifts of finite complete-intersection algebras. First-order deformations give the derivative inclusions needed to recover the filtration increments.
We disprove the two ordinary basis conjectures of the Polymath group. For every $r\ge 2$, the span of each prescribed family has codimension one in weight $3r+2$ of $H^{2*}(\operatorname{Gr}(2,3r+1);\mathbb Q)$; replacing one index gives a basis in each of these components. More generally, each prescribed two-row family has codimension at most one in every weight. Weights are half the cohomological degrees, and all coefficients are rational.
Fourier Decomposition and E-Eigenvalues of Hypergraph Polynomials over Finite Abelian Groups
Let $H=(V,E)$ be a $k$-uniform hypergraph with polynomial $f_H(\bm{x})=\sum_{e\in E}\prod_{v\in e}x_v$. For a finite abelian group $G$ and a subgroup $S$ of $G$, the $k$-partite Cayley hypergraph $K$ has $k$ disjoint vertex parts, each indexed by $G$, and $\{(1,g_1),\ldots,(k,g_k)\}$ is an edge if and only if $g_1+\cdots+g_k\in S$. For $k=2$, $K$ is isomorphic to the Bi-Cayley graph associated with $G$ and $S$. For $k\ge3$, we use character theory to express $f_K$, under a complex unitary change of variables, as a sum of exactly $[G:S]$ nonzero monomials in pairwise disjoint sets of variables. This yields a direct sum decomposition whenever $S$ is a proper subgroup of $G$. When $G=\Z_2^m$, this transformation is real and orthogonal, enabling us to determine the complete sets of complex E-eigenvalues and Z-eigenvalues of the adjacency tensor of $K$.
An Equivariant Main Conjecture for Branched $\mathbb Z_p$-Towers of Finite Graphs and Applications
Let $p$ be a prime and let $Y/X$ be a finite abelian branched cover of finite connected graphs. We consider a compatible branched $\mathbb Z_p$-tower above $Y$ whose total Galois group over $X$ is abelian. We construct an equivariant Picard Iwasawa module over the completed group ring of the total Galois group and give an explicit presentation of this module. On the analytic side, we construct an equivariant Artin--Ihara $L$-element at the top of the tower and isolate a modified factor whose value at $u=1$ is well defined. Our main result computes the Fitting ideal of the equivariant Picard Iwasawa module in terms of these special values and augmentation ideals determined by the inertia groups. As applications, we recover the main conjecture for branched $\mathbb Z_p$-towers from our earlier work and obtain finite-level Fitting-ideal and annihilation formulas which can be viewed as graph-theoretic analogues of the conjectures of Kurihara and Brumer--Stark.
Bowen--Franks groups and minus class groups of imaginary abelian fields
$\mathrm{Lei}$, $\mathrm{M\ddot{u}ller}$, and $\mathrm{Valli\grave{e}res}$ constructed a directed graph for which the torsion part of the corresponding Bowen--Franks group is related to the minus part of the class group of a cyclotomic number field with prime conductor. We extend this result to a general imaginary abelian field.
On algebraic and arithmetic properties of monoids of product-$K$ sequences
Let $G$ be a group and $K$ be a normal subgroup of $G$. A sequence over $G$ is a finite collection of terms from $G$, where repetition is allowed, and the order is disregarded. A product-$K$ sequence is a sequence whose terms can be ordered such that their product in $G$ belongs to $K$. The set $\mathcal B_K (G)$ of all product-$K$ sequences over $G$ forms a monoid, called the monoid of product-$K$ sequences, under the operation of sequence concatenation. In this paper, we investigate the algebraic and arithmetic properties of the monoid $\mathcal B_K (G)$. Among our main results, we provide precise characterizations of when $\mathcal B_K (G)$ satisfies key properties, namely being (transfer) Krull, a (seminormal) C-monoid, or (half-)factorial. After that, we study the Isomorphism Problem for monoids of product-$K$ sequences. Our results generalize existing frameworks, making them applicable to both the classical abelian and the more recently developed non-abelian settings.