group
10226 papers tagged with this keyword
Lineup polytopes of product of simplices
Consider a real point configuration $\mathbf{A}$ of size $n$ and an integer $r \leq n$. The vertices of the $r$-lineup polytope of $\mathbf{A}$ correspond to the possible orderings of the top $r$ points of the configuration obtained by maximizing a linear functional. The motivation behind the study of lineup polytopes comes from the representability problem in quantum chemistry. In that context, the relevant point configurations are the vertices of hypersimplices and the integer points contained in an inflated regular simplex. The central problem consists in providing an inequality representation of lineup polytopes as efficiently as possible. In this article, we adapt the developed techniques to the quantum information theory setup. The appropriate point configurations become the vertices of products of simplices. A particular case is that of lineup polytopes of cubes, which form a type $B$ analog of hypersimplices, where the symmetric group of type~$A$ naturally acts. To obtain the inequalities, we center our attention on the combinatorics and the symmetry of products of simplices to obtain an algorithmic solution. Along the way, we establish relationships between lineup polytopes of products of simplices with the Gale order, standard Young tableaux, and the Resonance arrangement.
Genuinely nonabelian partial difference sets
Strongly regular graphs (SRGs) provide a fertile area of exploration in algebraic combinatorics, integrating techniques in graph theory, linear algebra, group theory, finite fields, finite geometry, and number theory. Of particular interest are those SRGs with a large automorphism group. If an automorphism group acts regularly (sharply transitively) on the vertices of the graph, then we may identify the graph with a subset of the group, a partial difference set (PDS), which allows us to apply techniques from group theory to examine the graph. Much of the work over the past four decades has concentrated on abelian PDSs using the powerful techniques of character theory. However, little work has been done on nonabelian PDSs. In this paper we point out the existence of \textit{genuinely nonabelian} PDSs, i.e., PDSs for parameter sets where a nonabelian group is the only possible regular automorphism group. We include methods for demonstrating that abelian PDSs are not possible for a particular set of parameters or for a particular SRG. Four infinite families of genuinely nonabelian PDSs are described, two of which -- one arising from triangular graphs and one arising from Krein covers of complete graphs constructed by Godsil \cite{Godsil_1992} -- are new. We also include a new nonabelian PDS found by computer search and present some possible future directions of research.
Topological Symmetry Groups of the Petersen graphs
Published in Symmetry, vol. 15, no. 6, p. 1267, 2023
• View Publication
• BIB
The {\em topological symmetry group} of an embedding $Γ$ of an abstract graph $γ$ in $S^3$ is the group of automorphisms of $γ$ which can be realized by homeomorphisms of the pair $(S^3, Γ)$. These groups are motivated by questions about the symmetries of molecules in space. The Petersen family of graphs is an important family of graphs for many problems in low dimensional topology, so it is desirable to understand the possible groups of symmetries of their embeddings in space. In this paper, we find all the groups which can be realized as topological symmetry groups for each of the graphs in the Petersen Family. Along the way, we also complete the classification of the realizable topological symmetry groups for $K_{3,3}$.
A lexicographic section of the braid arrangement and the modified Artin presentation
We study a specific line arrangement obtained from a generic $2$-section of the braid arrangement, and compute the fundamental group of its complement via braid monodromy. We show that the resulting presentation of the fundamental group coincides, under the identification of generators, with the modified Artin presentation introduced by Margalit and McCammond. Moreover, we extend the construction to the Manin--Schechtman arrangements $MS(n, k)$, which are higher analogues of the braid arrangement. Focusing on the case $k = 2$, we obtain an explicit presentation of $π_1(\mathbb{C}^n \setminus MS(n, 2))$.
Robertson's conjecture and universal finite generation in the homology of graph braid groups
We formulate a categorification of Robertson's conjecture analogous to the categorical graph minor conjecture of Miyata--Proudfood--Ramos. We show that these conjectures imply the existence of a finite list of atomic graphs generating the homology of configuration spaces of graphs -- in fixed degree, with a fixed number of particles, under topological embeddings. We explain how the simplest case of our conjecture follows from work of Barter and Miyata--Proudfoot, implying that the category of cographs is Noetherian, a result of potential independent interest.
A presentation of the torus-equivariant quantum $K$-theory ring of flag manifolds of type $A$, Part II: quantum double Grothendieck polynomials
In our previous paper, we gave a presentation of the torus-equivariant quantum $K$-theory ring $QK_{H}(Fl_{n+1})$ of the (full) flag manifold $Fl_{n+1}$ of type $A_{n}$ as a quotient of a polynomial ring by an explicit ideal. In this paper, we prove that quantum double Grothendieck polynomials, introduced by Lenart-Maeno, represent the corresponding (opposite) Schubert classes in the quantum $K$-theory ring $QK_{H}(Fl_{n+1})$ under this presentation. The main ingredient in our proof is an explicit formula expressing the semi-infinite Schubert class associated to the longest element of the finite Weyl group, which is proved by making use of the general Chevalley formula for the torus-equivariant $K$-group of the semi-infinite flag manifold associated to $SL_{n+1}(\mathbb{C})$.
On the combinatorics of descents and inverse descents in the hyperoctahedral group
The elements in the hyperoctahedral group $\mathfrak{B}_n$ can be treated as signed permutations with the natural order $\cdots<-2<-1<0<1<2<\cdots$, or as colored permutations with the $r$-order $-1<_r-2<_r\cdots<_r0<_r1<_r2<_r\cdots$. For any $π\in\mathfrak{B}_n$, let $\operatorname{des}^B(π)$ and $\operatorname{ides}^B(π)$ be the number of descents and inverse descents in $π$ under the natural order, and let $\operatorname{des}_B(π)$ and $\operatorname{ides}_B(π)$ be the number of descents and inverse descents in $π$ under the $r$-order. In this paper, by investigating signed permutation grids under both the natural order and the $r$-order, we give combinatorial proofs for six recurrence formulas of the joint distribution of descents and inverse descents over the hyperoctahedral group $\mathfrak{B}_n$, the set in involutions of $\mathfrak{B}_n$ denoted by $\mathcal{I}_n^B$, and the set of fixed-point free involutions in $\mathfrak{B}_n$ denoted by $\mathcal{J}_n^B$, respectively. Some of these six formulas are new, and some reveal the combinatorial essences of the results obtained by Visontai, Moustakas and Cao-Liu through algebraic approaches such as quasisymmetric functions. Furthermore, from these formulas, we conclude that $(\operatorname{des}^B,\operatorname{ides}^B)$ and $(\operatorname{des}_B,\operatorname{ides}_B)$ are equidistributed over both $\mathfrak{B}_n$ and $\mathcal{I}_n^B$, but not on $\mathcal{J}_n^B$.
Symmetry Parameters of Two-Generator Circulant Graphs
The derived graph of a voltage graph consisting of a single vertex and two loops of different voltages is a circulant graph with two generators. We characterize the automorphism groups of connected, two-generator circulant graphs, and give their determining and distinguishing number, and when relevant, their cost of 2-distinguishing. We do the same for the subdivisions of connected, two-generator circulant graphs obtained by replacing one loop in the voltage graph with a directed cycle.
Irreducibility of Recombination Markov Chains in the Triangular Lattice
Published
• View Publication
• BIB
In the United States, regions are frequently divided into districts for the purpose of electing representatives. How the districts are drawn can affect who's elected, and drawing districts to give an advantage to a certain group is known as gerrymandering. It can be surprisingly difficult to detect gerrymandering, but one algorithmic method is to compare a current districting plan to a large number of randomly sampled plans to see whether it is an outlier. Recombination Markov chains are often used for this random sampling: randomly choose two districts, consider their union, and split this union in a new way. This works well in practice, but the theory behind it remains underdeveloped. For example, it's not known if recombination Markov chains are irreducible, that is, if recombination moves suffice to move from any districting plan to any other.
Irreducibility of recombination Markov chains can be formulated as a graph problem: for a graph $G$, is the space of all partitions of $G$ into $k$ connected subgraphs ($k$ districts) connected by recombination moves? We consider three simply connected districts and district sizes $k_1\pm 1$ vertices, $k_2\pm 1$ vertices, and $k3\pm 1$ vertices. We prove for arbitrarily large triangular regions in the triangular lattice, recombination Markov chains are irreducible. This is the first proof of irreducibility under tight district size constraints for recombination Markov chains beyond small or trivial examples.
Subgroups of even Artin groups of FC-type
We prove a Tits alternative theorem for subgroups of finitely generated even Artin groups of FC type (EAFC groups), stating that there exists a finite index subgroup such that every subgroup of it is either finitely generated abelian, or maps onto a non-abelian free group. Parabolic subgroups play a key role, and we show that parabolic subgroups of EAFC groups are closed under taking roots.
On the Weisfeiler-Leman dimension of some polyhedral graphs
Let $m$ be a positive integer, $X$ a graph with vertex set $Ω$, and ${\rm WL}_m(X)$ the coloring of the Cartesian $m$-power $Ω^m$, obtained by the $m$-dimensional Weisfeiler-Leman algorithm. The ${\rm WL}$-dimension of the graph $X$ is defined to be the smallest $m$ for which the coloring ${\rm WL}_m(X)$ determines $X$ up to isomorphism. It is known that the ${\rm WL}$-dimension of any planar graph is $2$ or $3$, but no planar graph of ${\rm WL}$-dimension $3$ is known. We prove that the ${\rm WL}$-dimension of a polyhedral (i.e., $3$-connected planar) graph $X$ is at most $2$ if the color classes of the coloring ${\rm WL}_2(X)$ are the orbits of the componentwise action of the group ${\rm Aut}(X)$ on $Ω^2$.
Classification des entiers monomialement irr{é}ductibles et g{é}n{é}ralisations
In this article, we study the classification of some natural numbers related to the combinatorics of congruence subgroups of the modular group. More precisely, we will focus here on the notion of minimal monomial solutions. These are the solutions of a matrix equation (also appearing in the study of Coxeter friezes), modulo an integer $N$, whose components are identical and minimal for this property. Our aim here is to study the integers $N$ for which the minimal monomial solutions satisfying some fixed conditions have an irreducibility property. In particular, we will classify the monomially irreducible integers which are the integers for which all the nonzero minimal monomial solutions are irreducible.
A new family of $(q^4+1)$-tight sets with an automorphism group $F_4(q)$
In this paper, we construct a new family of $(q^4+1)$-tight sets in $Q(24,q)$ or $Q^-(25,q)$ according as $q=3^f$ or $q\equiv 2\pmod 3$. The novelty of the construction is the use of the action of the exceptional simple group $F_4(q)$ on its minimal module over $\F_q$.
Towards the horizons of Tits's vision -- on band schemes, crowds and F1-structures
Published in Innov. Incidence Geom. 20 (2023) 353-394
• View Publication
• BIB
This text is dedicated to Jacques Tits's ideas on geometry over F1, the field with one element. In a first part, we explain how thin Tits geometries surface as rational point sets over the Krasner hyperfield, which links these ideas to combinatorial flag varieties in the sense of Borovik, Gelfand and White and F1-geometry in the sense of Connes and Consani. A completely novel feature is our approach to algebraic groups over F1 in terms of an alteration of the very concept of a group. In the second part, we study an incidence-geometrical counterpart of (epimorphisms to) thin Tits geometries; we introduce and classify all F1-structures on 3-dimensional projective spaces over finite fields. This extends recent work of Thas and Thas on epimorphisms of projective planes (and other rank 2 buildings) to thin planes.
Symmetric Products and a Cartan-type formula for polyhedral products
We give a geometric method for determining the cohomology groups of a polyhedral product under suitable freeness conditions or with coefficients taken in a field. This is done by considering first the special case for which the pairs of spaces are wedge decomposable. We derive a decomposition for these polyhedral products which resembles a Cartan formula. The theory of symmetric products is used then to generalize the result to polyhedral products involving arbitrary pairs. This leads to a direct computation of the Hilbert-Poincaré series and to other applications.
Transmutations from the Covariant Transform on the Heisenberg Group and an Extended Umbral Principle
Published in Lobachevskii J. Math, 2023, Vol. 44, No. 8, pp. 3384-3397
• View Publication
• BIB
We discuss several seemingly assorted objects: the umbral calculus, generalised translations and associated transmutations, symbolic calculus of operators. The common framework for them is representations of the Weyl algebra of the Heisenberg group by ladder operators. Transporting various properties between different implementations we review some classic results and new opportunities.
The Automorphism Conjecture for Ordered Sets of Width $\leq 11$ (Version 2)
We introduce a recursive method to deconstruct the automorphism group of an ordered set. By connecting this method with deep results for permutation groups, we prove the Automorphism Conjecture for ordered sets of width less than or equal to $11$. Subsequent investigations show that the method presented here could lead to a resolution of the Automorphism Conjecture.
Cycle spaces: invariant projections and applications to transportation cost
The paper starts with discussion of applications of cycle spaces to transportation cost. After a short survey of the known results on cycle spaces, we turn to the study of minimal projections onto cycle spaces in the corresponding $\ell_1$-spaces. This study is naturally related to the study of invariant projections on the cycle space, which, in turn, are determined by the properties of representations of the automorphism group of the corresponding graph. The main focus is on discrete tori and Hamming graphs.
Colorings of some Cayley graphs
Cayley graphs are graphs on algebraic structures, typically groups or group-like structures. In this paper, we have obtained a few results on Cayley graphs on Cyclic groups, powers of cycles, Cayley graphs on some non-abelian groups, and vertex, edge and total colorings of Cayley graphs on gyrogroups.
Towards inductive proofs in algebraic combinatorics
We introduce a new class of transitive permutation groups which properly contains the automorphism groups of vertex-transitive graphs and digraphs. We then give a sufficient condition for a quotient of this family to remain in the family, showing that relatively straightforward induction arguments may possibly be used to solve problems in this family, and consequently for symmetry questions about vertex-transitive digraphs. As an example of this, for $p$ an odd prime, we use induction to determine the Sylow $p$-subgroups of transitive groups of degree $p^n$ that contain a regular cyclic subgroup in this family. This is enough information to determine the automorphism groups of circulant digraphs of order $p^n$.