group
10226 papers tagged with this keyword
Oriented Matroid Circuit Polytopes
Matroids give rise to several natural constructions of polytopes. Inspired by this, we examine polytopes that arise from the signed circuits of an oriented matroid. We give the dimensions of these polytopes arising from graphical oriented matroids and their duals. Moreover, we consider polytopes constructed from cocircuits of oriented matroids generated by the positive roots in any type A root system. We give an explicit description of their face structure and determine the Ehrhart series. We also study an action of the symmetric group on these polytopes, giving a full description the subpolytopes fixed by each permutation. These type A polytopes are graphic zonotopes, are polar duals of symmetric edge polytopes, and also make an appearance in Stapledon's paper introducing Equivariant Ehrhart Theory.
Loops with involution and the Cayley-Dickson doubling process
We develop a theory of loops with involution. On this basis we define a Cayley-Dickson doubling on loops, and use it to investigate the lattice of varieties of loops with involution, focusing on properties that remain valid in the Cayley-Dickson double. Specializing to central-by-abelian loops with elementary abelian $2$-group quotients, we find conditions under which one can characterize the automorphism groups of iterated Cayley-Dickson doubles. A key result is a corrected proof that for $n>3$, the automorphism group of the Cayley-Dickson loop $Q_n$ is $\text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3}$.
A note on the structure of locally finite planar quasi-transitive graphs
In an early work from 1896, Maschke established the complete list of all finite planar Cayley graphs. This result initiated a long line of research over the next century, aiming at characterizing in a similar way all planar infinite Cayley graphs. Droms (2006) proved a structure theorem for finitely generated planar groups, i.e., finitely generated groups admitting a planar Cayley graph, in terms of Bass-Serre decompositions. As a byproduct of his structure theorem, Droms proved that such groups are finitely presented. More recently, Hamann (2018) gave a graph theoretical proof that every planar quasi-transitive graph $G$ admits a generating $\mathrm{Aut}(G)$-invariant set of closed walks with only finitely many orbits, and showed that a consequence is an alternative proof of Droms' result. Based on the work of Hamann, we show in this note that we can also obtain a general structure theorem for $3$-connected locally finite planar quasi-transitive graphs, namely that every such graph admits a canonical tree-decomposition whose edge-separations correspond to cycle-separations in the (unique) embedding of $G$, and in which every part admits a vertex-accumulation free embedding. This result can be seen as a version of Droms' structure theorem for quasi-transitive planar graphs. As a corollary, we obtain an alternative proof of a result of Hamann, Lehner, Miraftab and Rühmann (2022) that every locally finite quasi-transitive planar graph admits a canonical tree-decomposition, whose parts are either $1$-ended or finite planar graphs.
A counterexample to a Brenti-Carnevale conjecture
Recently, F. Brenti put a preprint on the arXiv with several interesting open problems on Coxeter groups and unimodality. In this note, we refute one of these conjectures with a counterexample and provide supporting data related to it. This work serves as an initial step toward further exploration of the topic.
Conjugation, loop and closure invariants of the iterated-integrals signature
Given a feature set for the shape of a closed loop, it is natural to ask which features in that set do not change when the starting point of the path is moved. For example, in two dimensions, the area enclosed by the path does not depend on the starting point. In the present article, we characterize such loop invariants among all those features known as interated integrals of a given path. Furthermore, we relate these to conjugation invariants, which are a canonical object of study when treating (tree reduced) paths as a group with multiplication given by the concatenation. Finally, closure invariants are a third class in this context which is of particular relevance when studying piecewise linear trajectories, e.g. given by linear interpolation of time series.
Keywords: invariant features; concatenation of paths; combinatorial necklaces; shuffle algebra; free Lie algebra; signed area; signed volume; tree-like equivalence.
Forbidden Subgraphs of Prime Order Element Graph
In this paper, we study different forbidden subgraph characterizations of the prime-order element graph $Γ(G)$ defined on a finite group $G$. Its set of vertices is the group $G$ and two vertices $x,y \in G$ are adjacent if the order of $xy$ is prime. More specifically, we investigate the conditions when $Γ(G)$ is perfect, cograph, chordal, claw-free, and interval graph.
On n-dependent groups and fields III. Multilinear forms and invariant connected components
We develop some model theory of multi-linear forms, generalizing Granger in the bi-linear 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 it is NSOP1 if K is. This relies on a new Composition Lemma for functions of arbitrary arity and NIP relations (which in turn relies on certain higher arity generalizations of Sauer-Shelah lemma). We also study the invariant connected components $G^{\infty}$ in n-dependent groups, demonstrating their relative absoluteness in the abelian case.
Hom complexes of graphs whose codomains are square-free
Published in Journal of Combinatorial Theory, Series B, volume 178, 267-293, 2026
• View Publication
• BIB
The Hom complex $\mathrm{Hom}(G, H)$ of graphs is a simplicial complex associated to a pair of graphs $G$ and $H$, and its homotopy type is of interest in the graph coloring problem and the homomorphism reconfiguration problem. In this paper, we show that if $G$ is a connected graph and $H$ is a square-free connected graph, then every connected component of $\mathrm{Hom}(G, H)$ is homotopy equivalent to a point, a circle, $H$ or a connected double cover over $H$. We also obtain a certain relation between the fundamental group of $\mathrm{Hom}(G,H)$ and realizable walks studied in the homomorphism reconfiguration problem.
Arc-transitive maps with edge number coprime to the Euler characteristic -- I
This is one of a series of papers which aim towards a classification of edge-transitive maps of which the Euler characteristic and the edge number are coprime. This one establishes a framework and carries out the classification work for arc-transitive maps with solvable automorphism groups, which illustrates how the edge number impacts on the Euler characteristic for maps. The classification is involved with the constructions of various new and interesting arc-regular maps.
On $\ell$-distance-balancedness of cubic Cayley graphs of dihedral groups
A connected graph $Γ$ of diameter ${\rm diam}(Γ) \ge \ell$ is $\ell$-distance-balanced if $|W_{xy}(Γ)|=|W_{yx}(Γ)|$ for every $x,y\in V(Γ)$ with $d_Γ(x,y)=\ell$, where $W_{xy}(Γ)$ is the set of vertices of $Γ$ that are closer to $x$ than to $y$. $Γ$ is said to be highly distance-balanced if it is $\ell$-distance-balanced for every $\ell\in [{\rm diam}(Γ)]$. It is proved that every cubic Cayley graph whose generating set is one of $\{a,a^{n-1},ba^r\}$ and $\{a^k,a^{n-k},ba^t\}$ is highly distance-balanced. This partially solves a problem posed by Miklavič and Šparl.
On some Grothendieck expansions
The complete flag variety admits a natural action by both the orthogonal group and the symplectic group. Wyser and Yong defined orthogonal Grothendieck polynomials $\mathfrak{G}^{\mathsf{O}}_z$ and symplectic Grothendieck polynomials $\mathfrak{G}^{\mathsf{Sp}}_z$ as the $K$-theory classes of the corresponding orbit closures. There is an explicit formula to expand $\mathfrak{G}^{\mathsf{Sp}}_z$ as a nonnegative sum of Grothendieck polynomials $\mathfrak{G}^{(β)}_w$, which represent the $K$-theory classes of Schubert varieties. Although the constructions of $\mathfrak{G}^{\mathsf{Sp}}_z$ and $\mathfrak{G}^{\mathsf{O}}_z$ are similar, finding the $\mathfrak{G}^{(β)}$-expansion of $\mathfrak{G}^{\mathsf{O}}_z$ or even computing $\mathfrak{G}^{\mathsf{O}}_z$ is much harder. If $z$ is vexillary then $\mathfrak{G}^{\mathsf{O}}_z$ has a nonnegative $\mathfrak{G}^{(β)}$-expansion, but the associated coefficients are mostly unknown. This paper derives several new formulas for $\mathfrak{G}^{\mathsf{O}}_z$ and its $\mathfrak{G}^{(β)}$-expansion when $z$ is vexillary. Among other applications, we prove that the latter expansion has a nontrivial stability property.
Robinson-Schensted shapes arising from cycle decompositions
In the symmetric group $S_n$, each element $σ$ has an associated cycle type $α$, a partition of $n$ that identifies the conjugacy class of $σ$. The Robinson-Schensted (RS) correspondence links each $σ$ to another partition $λ$ of $n$, representing the shape of the pair of Young tableaux produced by applying the RS row-insertion algorithm to $σ$. Surprisingly, the relationship between these two partitions, namely the cycle type $α$ and the RS shape $λ$, has only recently become a subject of study. In this work, we explicitly describe the set of RS shapes $λ$ that can arise from elements of each cycle type $α$ in cases where $α$ consists of two cycles. To do this, we introduce the notion of an $α$-coloring, where one colors the entries in a certain tableau of shape $λ$, in such a way as to construct a permutation $σ$ with cycle type $α$ and RS shape $λ$.
Rational symmetric functions from the Izergin-Korepin 19-vertex model
Starting from the Izergin-Korepin 19-vertex model in the quadrant, we introduce two families of rational multivariate functions $F_S$ and $G_S$; these are in direct analogy with functions introduced by Borodin in the context of the higher-spin 6-vertex model in the quadrant.
We prove that $F_S(x_1,\dots,x_N;z)$ and $G_S(y_1,\dots,y_M;z)$ are symmetric functions in their alphabets $(x_1,\dots,x_N)$ and $(y_1,\dots,y_M)$, and pair together to yield a Cauchy identity. Both properties are consequences of the Yang-Baxter equation of the model.
We show that, in an appropriate limit of the spectral parameters $z$, $F_S$ tends to a stable symmetric function denoted $H_S$. This leads to a simplified version of the Cauchy identity with a fully factorized kernel, and suggests self-duality of the functions $H_S$.
We obtain a symmetrization formula for the function $F_S(x_1,\dots,x_N;z)$, which exhibits its symmetry in $(x_1,\dots,x_N)$. In contrast to the 6-vertex model, where $F^{6{\rm V}}_S(x_1,\dots,x_N;z)$ is cast as a sum over the symmetric group $\mathfrak{S}_N$, the symmetrization formula in the 19-vertex model is over a larger set of objects that we define; we call these objects 2-permutations.
As a byproduct of the proof of our symmetrization formula, we obtain explicit formulas for the monodromy matrix elements of the 19-vertex model in a basis that renders them totally spatially symmetric.
Schur-hooks and Bernoulli number recurrences
Given an identity relating families of Schur and power sum symmetric functions, this may be thought of as encoding representation-theoretic properties according to how the $p$-to-$s$ transition matrices provide the irreducible character tables for symmetric groups. The case of the Murnaghan-Nakayama rule for cycles provides that $p_{n} = \sum_{i = 0}^{n-1} (-1)^i s_{(n-i, 1^{i})}$, and, since the power sum generator $p_{n}$ reduces to $ζ(2n)$ for the Riemann zeta function $ζ$ and for specialized values of the indeterminates involved in the inverse limit construction of the algebra of symmetric functions, this motivates both combinatorial and number-theoretic applications related to the given case of the Murnaghan-Nakayama rule. In this direction, since every Schur-hook admits an expansion in terms of twofold products of elementary and complete homogeneous generators, we exploit this property for the same specialization that allows us to express $p_{n}$ with the Bernoulli number $B_{2n}$, using remarkable results due to Hoffman on multiple harmonic series. This motivates our bijective approach, through the use of sign-reversing involutions, toward the determination of identities that relate Schur-hooks and power sum symmetric functions and that we apply to obtain a new recurrence for Bernoulli numbers.
On symmetric Cayley graphs of valency thirteen
A Cayley graph $\Ga=\Cay(G,S)$ is said to be normal if the right-regular representation of $G$ is normal in $\Aut\Ga$. In this paper, we investigate the normality problem of the connected 13-valent symmetric Cayley graphs $\Ga$ of finite nonabelian simple groups $G$, where the vertex stabilizer $\A_v$ is soluble for $\A=\Aut\Ga$ and $v\in V\Ga$. We prove that $\Ga$ is either normal or $G=\A_{12}$, $\A_{38}$, $\A_{116}$, $\A_{207}$, $\A_{311}$, $\A_{935}$ or $\A_{1871}$. Further, 13-valent symmetric non-normal Cayley graphs of $\A_{38}$, $\A_{116}$ and $\A_{207}$ are constructed. This provides some more examples of non-normal 13-valent symmetric Cayley graphs of finite nonabelian simple groups since such graph (of valency 13) was first constructed by Fang, Ma and Wang in (J. Comb. Theory A 118, 1039--1051, 2011).
Relative sizes of iterated sumsets
Let $hA$ denote the $h$-fold sumset of a subset $A$ of an abelian group. Resolving a problem of Nathanson, we show that for any prescribed permutations $σ_1, \ldots, σ_H \in \mathfrak{S}_n$, there exist finite subsets $A_1, \ldots, A_n \subseteq \mathbb{Z}$ such that for each $1 \leq h \leq H$, the relative order of the quantities $|h A_1|, \ldots, |h A_n|$ is given by $σ_h$. We also establish extensions where $\mathbb{Z}$ is replaced by any other infinite abelian group or where one prescribes some equalities (not only inequalities) among the sumset sizes.
A Fraïssé theory for partial orders of a fixed finite dimension
For each $n\geq 2$, we show that the class of all finite $n$-dimensional partial orders, when expanded with $n$ linear orders which realize the partial order, forms a Fraïssé class and identify its Fraïssé limit $(D_n,<,<_1,\ldots,<_n)$. We give a finite axiomatization of this limit which specifies it uniquely up to isomorphism among countable structures. We then show that the aforementioned class of finite structures satisfies the Ramsey property and conclude, by the Kechris-Pestov-Todorčević correspondence, that the automorphism group of its Fraïssé limit is extremely amenable. Finally, we identify the universal minimal flow of the automorphism group of the reduct $(D_n,<)$.
Totally positive skew-symmetric matrices
A matrix is totally positive if all of its minors are positive. This notion of positivity coincides with the type A version of Lusztig's more general total positivity in reductive real-split algebraic groups. Since skew-symmetric matrices always have nonpositive entries, they are not totally positive in the classical sense. The space of skew-symmetric matrices is an affine chart of the orthogonal Grassmannian $\mathrm{OGr}(n,2n)$. Thus, we define a skew-symmetric matrix to be totally positive if it lies in the totally positive orthogonal Grassmannian. We provide a positivity criterion for these matrices in terms of a fixed collection of minors, and show that their Pfaffians have a remarkable sign pattern. The totally positive orthogonal Grassmannian is a CW cell complex and is subdivided into Richardson cells. We introduce a method to determine which cell a given point belongs to in terms of its associated matroid.
(Total) Perfect codes in (extended) subgroup sum graphs
Given a finite group $G$ with identity $e$ and a normal subgroup $H$ of $G$, the subgroup sum graph $Γ_{G,H}$ (resp. extended subgroup sum graph $Γ_{G,H}^+$) of $G$ with respect to $H$ is the graph with vertex set $G$, in which distinct vertices $x$ and $y$ are adjacent whenever $xy\in H\setminus \{e\}$ (resp. $xy\in H$). A group $G$ is said to be {\em code-perfect} if for any normal subgroup $H$ of $G$, $Γ_{G,H}$ admits a perfect code. In this paper, we give a necessary and sufficient condition for which normal subgroups $H$ of $G$ satisfy that a (extended) subgroup sum graph of $G$ with respect to $H$ admits a (total) perfect code, and classify all code-perfect Dedekind groups. As an application, we classify all normal subgroups such that the subgroup sum graph of a cyclic group, a dihedral group or a dicyclic group with respect to such a normal subgroup admits perfect codes, respectively. We also determine all abelian groups $A$ and subgroups $H$ of $A$ such that $Γ_{A,H}$ admits a total perfect code.
The support of Kostant's weight multiplicity formula is an order ideal in the weak Bruhat order
For integral weights $λ$ and $μ$ of a classical simple Lie algebra $\mathfrak{g}$, Kostant's weight multiplicity formula gives the multiplicity of the weight $μ$ in the irreducible representation with highest weight $λ$, which we denote by $m(λ,μ)$. Kostant's weight multiplicity formula is an alternating sum over the Weyl group of the Lie algebra whose terms are determined via a vector partition function. The Weyl alternation set $\mathcal{A}(λ,μ)$ is the set of elements of the Weyl group that contribute nontrivially to the multiplicity $m(λ,μ)$. In this article, we prove that Weyl alternation sets are order ideals in the weak Bruhat order of the corresponding Weyl group. Specializing to the Lie algebra $\mathfrak{sl}_{r+1}(\mathbb{C})$, we give a complete characterization of the Weyl alternation sets $\mathcal{A}(\tildeα,μ)$, where $\tildeα$ is the highest root and $μ$ is a negative root, answering a question of Harry posed in 2024. We also provide some enumerative results that pave the way for our future work, where we aim to prove Harry's conjecture that the $q$-analog of Kostant's weight multiplicity formula is $m_q(\tildeα,μ)=q^{r+j-i+1}+q^{r+j-i}-q^{j-i+1}$ when $μ=-(α_i+α_{i+1}+\cdots+α_{j})$ is a negative root of $\mathfrak{sl}_{r+1}(\mathbb{C})$.