group
10226 papers tagged with this keyword
The odd triangle ring puzzle problem
Ring puzzles are tessellations of the Euclidean plane respecting local constraints around vertices. Such puzzles may arise in geometric group theory, for example, as embedded flat planes in certain CAT(0) complexes of dimension 2. In the present paper, we solve the odd ring puzzle problem, which is associated with the unique odd Moebius--Kantor CAT(0) complex by the method of Sidon sequences. We prove that there are precisely three families of such puzzles, two uncountable families, and a finite family of twelve exceptional puzzles.
Characterizing finite groups whose order supergraphs satisfy a connectivity condition
Let $Γ$ be an undirected and simple graph. A set $ S $ of vertices in $Γ$ is called a {cyclic vertex cutset} of $Γ$ if $Γ- S$ is disconnected and has at least two components each containing a cycle. If $Γ$ has a cyclic vertex cutset, then it is said to be {cyclically separable}. For any finite group $G$, the order supergraph $\mathcal{S}(G)$ is the simple and undirected graph whose vertices are elements of $G$, and two vertices are adjacent if as elements of $G$ the order of one divides the order of the other. In this paper, we characterize the finite nilpotent groups and various non-nilpotent groups, such as the dihedral groups, the dicyclic groups, the EPPO groups, the symmetric groups, and the alternating groups, whose order supergraphs are cyclically separable.
The algebraic structure of Dyson--Schwinger equations with multiple insertion places
We give combinatorially controlled series solutions to Dyson--Schwinger equations with multiple insertion places using tubings of rooted trees and investigate the algebraic relation between such solutions and the renormalization group equation.
Major Index Distribution
For $0<q<1$, let $Maj$ be the distribution on the symmetric group $S_n$ such that a permutation $π\in S_n$ is selected with probability proportional to $q^{maj(π)}$. The distribution has connections to $q$-Plancherel measure. We describe an algorithm that realizes $Maj$, and use it to prove known results of $q$-Plancherel measure without the need of representation theory. This sampler is transparent and elegant, allowing properties of $Maj$ about its limit shape, pattern normality, and cycle structure to be obtained.
Newton-Okounkov bodies obtained from certain orbits of plabic graphs
We investigate the plabic graphs corresponding to the quadrilateral Postnikov arrangements used by J.Scott to equip the homogeneous coordinate rings of Grassmannians with a cluster structure. More precisely we describe their orbits under the natural action of the dihedral group and show that the associated Newton-Okounkov bodies are all unimodular equivalent to Gelfand-Tsetlin polytopes.
Counting the number of group orbits by marrying the Burnside process with importance sampling
This paper introduces a novel and general algorithm for approximately counting the number of orbits under group actions. The method is based on combining the Burnside process and importance sampling. Specializing to unitriangular groups yields an efficient algorithm for estimating the number of conjugacy classes of such groups.
Random Subwords and Billiard Walks in Affine Weyl Groups
Let $W$ be an irreducible affine Weyl group, and let $\mathsf{b}$ be a finite word over the alphabet of simple reflections of $W$. Fix a probability $p\in(0,1)$. For each integer $K\geq 0$, let $\mathsf{sub}_p(\mathsf{b}^K)$ be the random subword of $\mathsf{b}^K$ obtained by deleting each letter independently with probability $1-p$. Let $v_p(\mathsf{b}^K)$ be the element of $W$ represented by $\mathsf{sub}_p(\mathsf{b}^K)$. One can view $v_p(\mathsf{b}^K)$ geometrically as a random alcove; in many cases, this alcove can be seen as the location after a certain amount of time of a random billiard trajectory that, upon hitting a hyperplane in the Coxeter arrangement of $W$, reflects off of the hyperplane with probability $1-p$. We show that the asymptotic distribution of $v_p(\mathsf{b}^K)$ is a central spherical multivariate normal distribution with some variance $σ_{\mathsf{b}}^2$ depending on $\mathsf{b}$ and $p$. We provide a formula to compute $σ_{\mathsf{b}}^2$ that is remarkably simple when $\mathsf{b}$ contains only one occurrence of the simple reflection that is not in the associated finite Weyl group. As a corollary, we provide an asymptotic formula for $\mathbb{E}[\ell(v_p(\mathsf{b}^K))]$, the expected Coxeter length of $v_p(\mathsf{b}^K)$. For example, when $W=\widetilde A_{r}$ and $\mathsf{b}$ contains each simple reflection exactly once, we find that \[\lim_{K\to\infty}\frac{1}{\sqrt{K}}\mathbb{E}[\ell(v_p(\mathsf{b}^K))]=\sqrt{\frac{2}πr(r+1)\frac{p}{1-p}}.\]
Cyclic $m$-DCI-groups and $m$-CI-groups
Based on the earlier work of Li (European J. Combin. 1997) and Dobson (Discrete Math. 2008), in this paper we complete the classification of cyclic $m$-DCI-groups and $m$-CI-groups. For a positive integer $m$ such that $m \ge 3$, we show that the group $\mathbb{Z}_n$ is an $m$-DCI-group if and only if $n$ is not divisible by $8$ nor by $p^2$ for any odd prime $p < m$. Furthermore, if $m \ge 6$, then we show that $\mathbb{Z}_n$ is an $m$-CI-group if and only if either $n \in \{ 8, 9, 18 \}$, or $n \notin \{ 8, 9, 18 \}$ and $n$ is not divisible by $8$ nor by $p^2$ for any odd prime $p < \frac{m - 1}{2}$.
Spectral Bounds of the Generating Graph of $\mathbb{Z}_n.$
Let $G$ be a group. A group is said to be $k$-generated if it can be generated by its $k$ elements. A generating set of $G$ is called a minimal generating set if no proper subset of it generates $G.$ A minimal generating set of a group can have different sizes. The generating graph $Γ(G)$ of a group $G$ is defined as a graph with the vertex set $G$, where two distinct vertices are adjacent if they together generate $G.$ This graph is particularly useful when studying 2-generated groups. In this context, consider the group $G = \mathbb{Z}_n$, the integers modulo $n.$ In this paper, we explore various graph-theoretic properties of the generating graph $Γ(\mathbb{Z}_n)$ and investigate the spectra of its adjacency and Laplacian matrices. Additionally, we explicitly determine the set of all possible minimal generating sets of $\mathbb{Z}_n$ of size $k.$
Faces of homogeneous cones and applications to homogeneous chordality
A convex cone $\mathcal{K}$ is said to be homogeneous if its group of automorphisms acts transitively on its relative interior. Important examples of homogeneous cones include symmetric cones and cones of positive semidefinite (PSD) matrices that follow a sparsity pattern given by a homogeneous chordal graph. Our goal in this paper is to elucidate the facial structure of homogeneous cones and make it as transparent as the faces of the PSD matrices. We prove that each face of a homogeneous cone $\mathcal{K}$ is mapped by an automorphism of $\mathcal{K}$ to one of its finitely many so-called principal faces. Furthermore, constructing such an automorphism can be done algorithmically by making use of a generalized Cholesky decomposition. Among other consequences, we give a proof that homogeneous cones are projectionally exposed, which strengthens the previous best result that they are amenable. Using our results, we will carefully analyze the facial structure of cones of PSD matrices satisfying homogeneous chordality and discuss consequences for the corresponding family of PSD completion problems.
Graphs with given automorphism group and large clique number
Barbieri recently showed that the finite graphs realising any given finite automorphism group have unbounded genus, answering a question of Cornwell et al. In this note we give a short proof of a stronger result: they have unbounded clique number.
Every group is the automorphism group of a graph with arbitrarily large genus
We prove that, to every abstract group $G$, we can associate a sequence of graphs $Γ_n$ such that the automorphism group of $Γ_n$ is isomorphic to $G$ and the genus of $Γ_n$ is an unbounded function of $n$.
The Jacobian of a regular orthogonal matroid and torsor structures on spanning quasi-trees of ribbon graphs
Previous work of Chan--Church--Grochow and Baker--Wang shows that the set of spanning trees in a plane graph $G$ is naturally a torsor for the Jacobian group of $G$. Informally, this means that the set of spanning trees of $G$ naturally forms a group, except that there is no distinguished identity element. We generalize this fact to graphs embedded on orientable surfaces of arbitrary genus, which can be identified with ribbon graphs. In this generalization, the set of spanning trees of $G$ is replaced by the set of spanning quasi-trees of the ribbon graph, and the Jacobian group of $G$ is replaced by the Jacobian group of the associated regular orthogonal matroid $M$ (along with an associated regular representation of $M$). Our proof shows, more generally, that the family of "BBY torsors" constructed by Backman--Baker--Yuen and later generalized by Ding admit natural generalizations to (regular representations of) regular orthogonal matroids. In addition to shedding light on the role of planarity in the earlier work mentioned above, our results represent one of the first substantial applications of orthogonal matroids (also called "even delta-matroids" or "Lagrangian orthogonal matroids") to a natural combinatorial problem about graphs.
Fermions and Zeta Function on the Graph
We propose a novel fermionic model on the graphs. The Dirac operator of the model consists of deformed incidence matrices on the graph and the partition function is given by the inverse of the graph zeta function. We find that the coefficients of the inverse of the graph zeta function, which is a polynomial of finite degree in the coupling constant, count the number of fermionic cycles on the graph. We also construct the model on grid graphs by using the concept of the covering graph and the Artin-Ihara $L$-function. In connection with this, we show that the fermion doubling is absent, and the overlap fermions can be constructed on a general graph. Furthermore, we relate our model to statistical models by introducing the winding number around cycles, where the distribution of the poles of the graph zeta function (the zeros of the partition function) plays a crucial role. Finally, we formulate gauge theory including fermions on the graph from the viewpoint of the covering graph derived from the gauge group in a unified way.
The existence of pyramidal Steiner triple systems over abelian groups
A Steiner triple system STS$(v)$ is called $f$-pyramidal if it has an automorphism group fixing $f$ points and acting sharply transitively on the remaining $v-f$ points. In this paper, we focus on the STSs that are $f$-pyramidal over some abelian group. Their existence has been settled only for the smallest admissible values of $f$, that is, $f=0,1,3$.
In this paper, we complete this result and determine, for every $f>3$, the spectrum of values $(f,v)$ for which there is an $f$-pyramidal STS$(v)$ over an abelian group. This result is obtained by constructing difference families relative to a suitable partial spread.
On subgroup perfect codes in vertex-transitive graphs
A subset $C$ of the vertex set $V$ of a graph $Γ$ is called a perfect code in $Γ$ if every vertex in $V\setminus C$ is adjacent to exactly one vertex in $C$. Given a group $G$ and a subgroup $H$ of $G$, a subgroup $A$ of $G$ containing $H$ is called a perfect code of the pair $(G,H)$ if there exists a coset graph $\mathrm{Cos}(G,H,U)$ such that the set of left cosets of $H$ in $A$ is a perfect code in $\mathrm{Cos}(G,H,U)$. In particular, $A$ is called a perfect code of $G$ if $A$ is a perfect code of the pair $(G,1)$. In this paper, we give a characterization of $A$ to be a perfect code of the pair $(G,H)$ under the assumption that $H$ is a perfect code of $G$. As a corollary, we derive an additional sufficient and necessary condition for $A$ to be a perfect code of $G$. Moreover, we establish conditions under which $A$ is not a perfect code of $(G,H)$, which is applied to construct infinitely many counterexamples to a question posed by Wang and Zhang [\emph{J.~Combin.~Theory~Ser.~A}, 196 (2023) 105737]. Furthermore, we initiate the study of determining which maximal subgroups of $S_n$ are perfect codes.
Monk Algebras and Representability
In ``Monk Algebras and Ramsey Theory,'' \emph{J. Log. Algebr. Methods Program.} (2022), Kramer and Maddux prove various representability results in furtherance of the goal of finding the smallest weakly representable but not representable relation algebra. They also pose many open problems.
In the present paper, we address problems and issues raised by Kramer and Maddux. In particular, we prove that their Proposition 7 does not generalize, and we answer Problem 1.1 in the negative: relation algebra $1311_{1316}$ is not representable. Thus $1311_{1316}$ is a good candidate for the smallest weakly representable but not representable relation algebra.
Finally, we give the first known finite cyclic group representations for relation algebras $31_{37}$, $32_{65}$, $1306_{1314}$, and $1314_{1316}$.
Circle graphs and the automorphism group of the circle
We prove that $Aut({\mathbb S}^1)$ coincides with the automorphism group of the \emph{circle graph} $\mathcal{C}$, i.e. the intersection graph of the family of chords of ${\mathbb S}^1$.
We prove that the countable subgraph of $\mathcal{C}$ induced by the rational chords is a strongly universal element of the family of circle graphs, and that it is invariant under local complementation. The only other known connected graphs that have the latter property are $K_2$ and the Rado graph.
A note on the maximum diversity of intersecting families in the symmetric group
Published in European Journal of Combinatorics Volume 134, April 2026, 104331
• View Publication
• BIB
Let $\mathcal{S}_n$ be the symmetric group on the set $[n]:=\{1,2,\ldots,n\}$. A family $\mathcal{F}\subset \mathcal{S}_n$ is called intersecting if for every $σ,π\in \mathcal{F}$ there exists some $i\in [n]$ such that $σ(i)=π(i)$. Deza and Frankl proved that the largest intersecting family of permutations is the full star, that is, the collection of all permutations with a fixed position. The diversity of an intersecting family $\mathcal{F}$ is defined as the minimum number of permutations in $\mathcal{F}$, whose deletion results in a star. In the present paper, by applying the spread approximation method developed recently by Kupavskii and Zakharov, we prove that for $n\geq 500$ the diversity of an intersecting subfamily of $\mathcal{S}_n$ is at most $(n-3)(n-3)!$, which is best possible.
Enumeration of walks in multidimensional orthants and reflection groups
We consider (random) walks in a multidimensional orthant. Using the idea of universality in probability theory, one can associate a unique polyhedral domain to any given walk model. We use this connection to prove two sets of new results. First, we are interested in a group of transformations naturally associated with any small step model; as it turns out, this group is central to the classification of walk models. We show a strong connection between this group and the reflection group through the walls of the polyhedral domain. As a consequence, we can derive various conditions for the combinatorial group to be infinite. Secondly, we consider the asymptotics of the number of excursions, whose critical exponent is known to be computable in terms of the eigenvalue of the above polyhedral domain. We prove new results from spectral theory on the eigenvalues of polyhedral nodal domains. We believe that these results are interesting in their own right; they can also be used to find new exact asymptotic results for walk models corresponding to these nodal polyhedral domains.