group
10399 papers tagged with this keyword
Line Graph Characterization of Cyclic Subgroup Graph
Published
• View Publication
• BIB
The cyclic subgroup graph ${Γ(G)}$ of a group $G$ is the simple undirected graph with cyclic subgroups as a vertex set and two distinct vertices $H_1$ and $H_2$ are adjacent if and only if $H_1 \leq H_2$ and there does not exist any cyclic subgroup $K$ such that $H_1 < K < H_2$. In this paper, we classify all the finite groups $G$ such that $Γ(G)$ is the line graph of some graph.
Normal and non-normal Cayley digraphs on cyclic and dihedral groups
A Cayley digraph on a group $G$ is called NNN if the Cayley digraph is normal and its automorphism group contains a non-normal regular subgroup isomorphic to $G$. A group is called NNND-group or NNN-group if there is an NNN Cayley digraph or graph on the group, respectively. In this paper, it is shown that there is no cyclic NNND-group, and hence no cyclic NNN-group. Furthermore, a dihedral group of order $2n$ is an NNND-group or an NNN-group if and only if $n\ge 6$ is even and $n\not=8$.
Marked multi-colorings, partially commutative Lie superalgebras and right-angled Coxeter groups
Infinite-dimensional Lie superalgebras, particularly Borcherds-Kac-Moody (BKM) superalgebras, play a fundamental role in mathematical physics, number theory, and representation theory. In this paper, we study the root multiplicities of BKM superalgebras via their denominator identities, deriving explicit combinatorial formulas in terms of graph invariants associated with marked (quasi) Dynkin diagrams. We introduce partially commutative Lie superalgebras (PCLSAs) and provide a direct combinatorial proof of their denominator identity, where the generating set runs over the super heaps monoid. A key notation in our approach is marked multi-colorings and their associated polynomials, which generalize chromatic polynomials and offer a method for computing root multiplicities. As applications, we characterize the roots of PCLSAs and establish connections between their universal enveloping algebras and right-angled Coxeter groups, leading to explicit formulas for their Hilbert series. These results further deepen the interplay between Lie superalgebras, graph theory, and algebraic combinatorics.
Permutation Equivariant Neural Networks for Symmetric Tensors
Incorporating permutation equivariance into neural networks has proven to be useful in ensuring that models respect symmetries that exist in data. Symmetric tensors, which naturally appear in statistics, machine learning, and graph theory, are essential for many applications in physics, chemistry, and materials science, amongst others. However, existing research on permutation equivariant models has not explored symmetric tensors as inputs, and most prior work on learning from these tensors has focused on equivariance to Euclidean groups. In this paper, we present two different characterisations of all linear permutation equivariant functions between symmetric power spaces of $\mathbb{R}^n$. We show on two tasks that these functions are highly data efficient compared to standard MLPs and have potential to generalise well to symmetric tensors of different sizes.
Geometric realizations of $ν$-associahedra via brick polyhedra
Published
• View Publication
• BIB
Brick polytopes constitute a remarkable family of polytopes associated to the spherical subword complexes of Knutson and Miller. They were introduced for finite Coxeter groups by Pilaud and Stump, who used them to produce geometric realizations of generalized associahedra arising from the theory of cluster algebras of finite types. In this paper, we present an application of the vast generalization of brick polyhedra for general subword complexes (not necessarily spherical) recently introduced by Jahn and Stump.
More precisely, we show that the $ν$-associahedron, a polytopal complex whose edge graph is the Hasse diagram of the $ν$-Tamari lattice introduced by Préville-Ratelle and Viennot, can be geometrically realized as the complex of bounded faces of the brick polyhedron of a well chosen subword complex. We also present a suitable projection to the appropriate dimension, which leads to an elegant vertex-coordinate description.
$λ$-fold near-factorizations of groups
Published
• View Publication
• BIB
We initiate the study of $λ$-fold near-factorizations of groups with $λ> 1$. While $λ$-fold near-factorizations of groups with $λ= 1$ have been studied in numerous papers, this is the first detailed treatment for $λ> 1$. We establish fundamental properties of $λ$-fold near-factorizations and introduce the notion of equivalence. We prove various necessary conditions of $λ$-fold near-factorizations, including upper bounds on $λ$. We present three constructions of infinite families of $λ$-fold near-factorizations, highlighting the characterization of two subfamilies of $λ$-fold near-factorizations. We discuss a computational approach to $λ$-fold near-factorizations and tabulate computational results for abelian groups of small order.
Supersimplicity and arithmetic progressions
Published
• View Publication
• BIB
The main motivation for this article is to explore the connections between the existence of certain combinatorial patterns (as in van der Corputs's theorem on arithmetic progressions of length $3$) with well-known tools and theorems for definable groups in simple theories. In the last sections of this article, we apply our model-theoretic results to bound the number of initial points starting few arithmetic progression of length $3$ in the structure of the additive group of integers with a predicate for the prime integers, assuming Dickson's conjecture, or with a predicate for the square-free integers, as well as for asymptotic limits of finite fields. Our techniques yield similar results for the elements appearing as distances in skew-corners and for Sárközy's theorem on the distance of distinct elements being perfect squares.
Homotopy types of complexes of hyperplanes in quasi-median graphs and applications to right-angled Artin groups
In this article, we prove that, given two finite connected graphs $Γ_1$ and $Γ_2$, if the two right-angled Artin groups $A(Γ_1)$ and $A(Γ_2)$ are quasi-isometric, then the infinite pointed sums $\bigvee_\mathbb{N} Γ_1^{\bowtie}$ and $\bigvee_\mathbb{N} Γ_2^{\bowtie}$ are homotopy equivalent, where $Γ_i^{\bowtie}$ denotes the simplicial complex whose vertex-set is $Γ_i$ and whose simplices are given by joins. These invariants are extracted from a study, of independent interest, of the homotopy types of several complexes of hyperplanes in quasi-median graphs (such as one-skeleta of CAT(0) cube complexes). For instance, given a quasi-median graph $X$, the \emph{crossing complex} $\mathrm{Cross}^\triangle(X)$ is the simplicial complex whose vertices are the hyperplanes (or $θ$-classes) of $X$ and whose simplices are collections of pairwise transverse hyperplanes. When $X$ has no cut-vertex, we show that $\mathrm{Cross}^\triangle(X)$ is homotopy equivalent to the pointed sum of the links of all the vertices in the prism-completion $X^\square$ of $X$.
Quantum K--theory of Grassmannians from a Yang-Baxter algebra
In an earlier paper, two of the authors defined a $5$-vertex Yang-Baxter algebra (a Hopf algebra) which acts on the sum of the equivariant quantum K-rings of Grassmannians $\mathrm{Gr}(k;n)$, where $k$ varies from $0$ to $n$. We construct geometrically defined operators on quantum K-rings describing this action. In particular, the $R$-matrix defining the Yang-Baxter algebra corresponds to the left Weyl group action. Most importantly, we use the `quantum=classical' statement for the quantum K-theory of Grassmannians to prove an explicit geometric interpretation of the action of generators of the Yang-Baxter algebra. The diagonal entries of the monodromy matrix are given by quantum K-multiplications by explicitly defined classes, and the off-diagonal entries by certain push-pull convolutions. We use this to find a quantization of the classes of fixed points in the quantum K-rings, corresponding to the Bethe vectors of the Yang-Baxter algebra. On each of the quantum K-rings, we prove that the two Frobenius structures (one from geometry, and the other from the integrable system construction) coincide. We discuss several applications, including an action of the extended affine Weyl group on the quantum K-theory ring (extending the Seidel action), a quantum version of the localization map (which is a ring homomorphism with respect to the quantum K-product), and a graphical calculus to multiply by Hirzebruch $λ_y$ classes of the dual of the tautological quotient bundle. In an Appendix we illustrate our results in the case when $n=2$.
A window to the Bruhat order on the affine symmetric group
Given two affine permutations, some results of Lascoux and Deodhar, and independently Jacon-Lecouvey, allow to decide if they are comparable for the strong Bruhat order. These permutations are associated with tuples of core partitions, and the preceding problem is equivalent to compare the Young diagrams in each components for the inclusion. Using abaci, we give an easy rule to compute these Young diagrams one another. We deduce a procedure to compare, for the Bruhat order, two affine permutations in the window notation.
Non-solvable $2$-arc-transitive covers of Petersen graphs
We construct connected $2$-arc-transitive covers of the Petersen graph with non-solvable transformation groups, solving the long-standing problem for the existence of such covers.
On average orders of automorphism groups of bilinear maps over finite fields
Let $\varphi:V\times V\to W$ be a bilinear map of finite vector spaces $V$ and $W$ over a finite field $\mathbb{F}_q$. We present asymptotic bounds on the number of isomorphism classes of bilinear maps under the natural action of $\mathrm{GL}(V)$ and $\mathrm{GL}(W)$, when $\dim(V)$ and $\dim(W)$ are linearly related.
As motivations and applications of the results, we present almost tight upper bounds on the number of $p$-groups of Frattini class $2$ as first studied by Higman (Proc. Lond. Math. Soc., 1960). Such bounds lead to answers for some open questions by Blackburn, Neumann, and Venkataraman (Cambridge Tracts in Mathematics, 2007). Further applications include sampling matrix spaces with the trivial automorphism group, and asymptotic bounds on the number of isomorphism classes of finite cube-zero commutative algebras.
On relative simple Heffter spaces
Published
• View Publication
• BIB
In this paper, we introduce the concept of a relative Heffter space which simultaneously generalizes those of relative Heffter arrays and Heffter spaces. Given a subgroup $J$ of an abelian group $G$, a relative Heffter space is a resolvable configuration whose points form a half-set of $G\setminus{J}$ and whose blocks are all zero-sum in $G$. Here we present two infinite families of relative Heffter spaces satisfying the additional condition of being simple. As a consequence, we get new results on globally simple relative Heffter arrays, on mutually orthogonal cycle decompositions and on biembeddings of cyclic cycle decompositions of the complete multipartite graph into an orientable surface.
A conjecture on monomial realizations and polyhedral realizations for crystal bases
Crystal bases are powerful combinatorial tools in the representation theory of quantum groups $U_q(\mathfrak{g})$ for a symmetrizable Kac-Moody algebras $\mathfrak{g}$. The polyhedral realizations are combinatorial descriptions of the crystal base $B(\infty)$ for Verma modules in terms of the set of integer points of a polyhedral cone, which equals the string cone when $\mathfrak{g}$ is finite dimensional simple. It is a fundamental and natural problem to find explicit forms of the polyhedral cone. The monomial realization expresses crystal bases $B(λ)$ of integrable highest weight representations as Laurent monomials with double indexed variables. In this paper, we give a conjecture between explicit forms of the polyhedral cones and monomial realizations. We prove the conjecture is true when $\mathfrak{g}$ is a classical Lie algebra, a rank $2$ Kac-Moody algebra or a classical affine Lie algebra.
Embeddings of edge-colored dual graphs of balanced 3- and 4-manifolds
Published
• View Publication
• BIB
This article focuses on a class of properly edge-colored graphs, which arise from topological combinatorics, and investigates their embeddings onto surfaces. Specifically, these graphs are known as the dual graphs of balanced normal pseudomanifolds. We introduce the concept of the balanced genus, which represents the smallest genus of a surface onto which the dual graph of a normal pseudomanifold can embed regularly.
As a key result, we establish that for any 3-manifold $ M $ that is not a sphere, the balanced genus satisfies the lower bound $ \mathcal{G}_M \geq m+3 $, where $ m $ is the rank of its fundamental group of $M$. Furthermore, we prove that a 3-manifold $ M $ is homeomorphic to the 3-sphere if and only if its balanced genus $ \mathcal{G}_M $ is at most 3. Similarly, for 4-manifolds, we establish that if $ M $ is not homeomorphic to a sphere, then its balanced genus is bounded below by $ \mathcal{G}_M \geq 2χ(M) + 5m + 11 $. Moreover, a 4-manifold $ M $ is PL homeomorphic to the 4-sphere if and only if its balanced genus satisfies $ \mathcal{G}_M \leq 2χ(M) + 10 $.
We believe that the balanced genus offers a new perspective in graph theory and combinatorics and will inspire further developments in the field in connection with algebraic combinatorics. To this end, we outline several directions for future research.
Diffusion Models for Cayley Graphs
We review the problem of finding paths in Cayley graphs of groups and group actions, using the Rubik's cube as an example, and we list several more examples of significant mathematical interest. We then show how to formulate these problems in the framework of diffusion models. The exploration of the graph is carried out by the forward process, while finding the target nodes is done by the inverse backward process. This systematizes the discussion and suggests many generalizations. To improve exploration, we propose a ``reversed score'' ansatz which substantially improves over previous comparable algorithms.
The action of the Morava stabilizer group on the coefficients of Morava E-theory at height 2
We calculate an explicit closed formula for the action of the height 2 full Morava stabilizer group on the coefficient ring of height 2 Morava E-theory. In particular, this yields an explicit, surprisingly simple closed formula for the action of the automorphism group of a height 2 formal group law on its Lubin-Tate deformation ring. The formula is of a combinatorial nature, given by sums over certain labelled ordered rooted trees.
Butcher series for Hamiltonian Poisson integrators through symplectic groupoids
We exhibit a new pre-Lie algebra in the framework of symplectic groupoids and, in turn, introduce a pre-Lie formalism of Butcher trees for the approximation of Hamilton-Jacobi solutions on any symplectic groupoid $\mathcal{G} \rightrightarrows M.$ The impact of this new algebraic approach is twofold. On the geometric side, it yields algebraic operations to approximate Lagrangian bisections of $\mathcal{G}$ using the Butcher-Connes-Kreimer Hopf algebra and, in turn, aims at a better understanding of the group of Hamiltonian diffeomorphisms of $M.$ On the computational side, we define a new class of Poisson integrators for Hamiltonian dynamics on Poisson manifolds.
A New Representation of Ewens-Pitman's Partition Structure and Its Characterization via Riordan Array Sums
Ewens-Pitman's partition structure arises as a system of sampling consistent probability distributions on set partitions induced by the Pitman-Yor process. It is widely used in statistical applications, particularly in species sampling models in Bayesian nonparametrics. Drawing references from the area of representation theory of the infinite symmetric group, we view Ewens-Pitman's partition structure as an example of a non-extreme harmonic function on a branching graph, specifically, the Kingman graph. Taking this perspective enables us to obtain combinatorial and algebraic constructions of this distribution using the interpolation polynomial approach proposed by Borodin and Olshanski (The Electronic Journal of Combinatorics, 7, 2000). We provide a new explicit representation of Ewens-Pitman's partition structure using modern umbral interpolation based on Sheffer polynomial sequences. In addition, we show that a certain type of marginals of this distribution can be computed using weighted row sums of a Riordan array. In this way, we show that some summary statistics and estimators derived from Ewens-Pitman's partition structure can be obtained using methods of generating functions. This approach simplifies otherwise cumbersome calculations of these quantities often involving various special combinatorial functions. In addition, it has the added benefit of being amenable to symbolic computation.
On the Total Positivity of Contingency Metamatrices
M. Kapranov and V. Schechtman introduced the contingency metamatrix for a finite Coxeter group and conjectured that the contingency metamatrix is totally positive. For the Coxeter groups of type $A$, this conjecture has been proved by P. Etingof. In this article, we prove this conjecture for the Coxeter groups of type $B$ and exceptional types.