group
10226 papers tagged with this keyword
A Refined Algorithm For the EPR model
The Einstein-Podolsky-Rosen~(EPR) model is an analogous model of the anti-ferromagnetic Heisenberg model or the equivalent quantum maximum-cut problem, proposed by R. King two years ago. Adjacent qubits in the model prefer symmetric EPR/Bell parings rather than the antisymmetric one, in order to maximize the energy. Recently, two groups independently develop specific algorithms for the highest-energy state with approximation ratio $\frac{1+\sqrt{5}}{4}\approx.809$, based on maximum fractional matchings. Here we try to refine one of the two algorithms by devising homogeneous/quasi-homogeneous fractional matchings, with the aim to distribute quantum entanglement as much as possible. For regular graphs $G_d$, we immediately obtain increasing approximation ratios $r_d$ with $r_2=\frac{3+\sqrt{5}}{6}\approx.872$. For irregular graphs, we show such a refinement could still guarantee nice performance if the fractional matchings are chosen properly.
Factorizations in Hecke algebras I: long cycle factorizations and Jucys-Murphy elements
Given a permutation, there is a well-developed literature studying the number of ways one can factor it into a product of other permutations subject to certain conditions. We initiate the analogous theory for the type A Iwahori-Hecke algebra by generalizing the notion of factorization in terms of the Jucys-Murphy elements. Some of the oldest and most foundational factorization results for the symmetric groups pertain to the long cycle. Our main results give q-deformations of these long cycle factorizations and reveal q-binomial, q-Catalan, and q-Narayana numbers along the way.
Introducing a vertex polynomial invariant for embedded graphs
The ribbon group action extends geometric duality and Petrie duality by defining two embedded graphs as twisted duals precisely when they lie within the same orbit under this group action. Twisted duality yields numerous novel properties of fundamental graph polynomials. In this paper, we resolve a problem raised by Ellis-Monaghan and Moffatt [Trans. Amer. Math. Soc. 364 (2012), 1529--1569] for vertex counts by introducing the vertex polynomial: a generating function quantifying vertex distribution across orbits under the ribbon group action. We establish its equivalence via transformations of boundary component enumeration and derive recursive relations through edge deletion, contraction, and twisted contraction. For bouquets, we prove the polynomial depends only on signed intersection graphs. Finally, we provide topological interpretations for the vertex polynomial by connecting this polynomial to the interlace polynomial and the topological transition polynomial.
Wreath Generalization of Littlewood Reciprocity
Given any $m$-dimensional complex representation $η$ of a finite group $G$ and any highest weight representation $V^λ$ of $\mathrm{GL}_{nm}(\mathbb{C})$ we may define an action of $G^n \rtimes \mathfrak{S}_n$ on $V^λ$ using the embedding $\mathrm{GL}_{m}(\mathbb{C})^n \rtimes \mathfrak{S}_n \leq \mathrm{GL}_{nm}(\mathbb{C})$ and $η: G \rightarrow \mathrm{GL}_m(\mathbb{C})$. We derive a branching rule for the multiplicities of irreducible $G^n \rtimes \mathfrak{S}_n$ representations in $V^λ.$ The formula generalizes Littlewood's reciprocity rule for branching between $\mathrm{GL}_n(\mathbb{C})$ and the symmetric group of permutation matrices $\mathfrak{S}_n \leq \mathrm{GL}_n(\mathbb{C}).$
Sperner's colorings of hypergraphs arising from edgewise triangulations
We investigate Sperner's labelings of $H^π_{k,q}$, the hypergraph whose hyperedges are facets of the edgewise triangulation of a $(k-1)$-simplex defined by a permutation $π\in \mathbb{S}_{k-1}$. Mirzakhani and Vondr\' ak showed that the greedy coloring of $H^{\mathrm{Id}}_{k,q}$ produces the maximal number of monochromatic hyperedges. The line graph of $H_{k,q}^π$ is built from the copies of the graph $G_π$ that represents which subsets of consecutive numbers of $[k-1]$ are contiguous in $π$. We characterize these graphs in terms of dissections a regular $k$-gon and also show how they encode the adjacency relation between a hypersimplex and the facets of its alcoved triangulation. The natural action of the dihedral group $D_k$ on a regular $k$-gon and graphs $G_π$ extends on the group of permutations $\mathbb S_{k-1}$. Independent sets of the graphs $G_π$ of the permutations that are not invariant under the rotation are used to define a class of Sperner's colorings that produce more monochromatic hyperedges then the greedy colorings. This colorings are also optimal for a certain permutations.
Finer control on relative sizes of iterated sumsets
Inspired by recent questions of Nathanson, we show that for any infinite abelian group $G$ and any integers $m_1, \ldots, m_H$, there exist finite subsets $A,B \subseteq G$ such that $|hA|-|hB|=m_h$ for each $1 \leq h \leq H$. We also raise, and begin to address, questions about the smallest possible cardinalities and diameters of such sets $A,B$.
Finite $s$-geodesic transitive graphs under certain girths
For an integer $s\geq1$ and a graph $Γ$, a path $(u_0, u_1, \ldots, u_{s})$ of vertices of $Γ$ is called an {\em $s$-geodesic} if it is a shortest path from $u_0$ to $u_{s}$. We say that $Γ$ is {\em $s$-geodesic transitive} if, for each $i\leq s$, $Γ$ has at least one $i$-geodesic, and its automorphism group is transitive on the set of $i$-geodesics. In 2021, Jin and Praeger [J. Combin. Theory Ser. A 178 (2021) 105349] have studied $3$-geodesic transitive graphs of girth $5$ or $6$, and they also proposed to the problem that to classify $s$-geodesic transitive graphs of girth $2s-1$ or $2s-2$ for $s=4, 5, 6, 7, 8$. The case of $s = 4$ was investigated in [J. Algebra Combin. 60 (2024) 949--963]. In this paper, we study such graphs with $s\geq5$. More precisely, it is shown that a connected $(G,s)$-geodesic transitive graph $Γ$ with a nontrivial intransitive normal subgroup $N$ of $G$ which has at least $3$ orbits, where $G$ is an automorphism group of $Γ$ and $s\geq 5$, either $Γ$ is the Foster graph and $Γ_N$ is the Tutte's $8$-cage, or $Γ$ and $Γ_N$ have the same girth and $Γ_N$ is $(G/N,s)$-geodesic transitive. Moreover, it is proved that if $G$ acts quasiprimitively on its vertex set, then $G$ is an almost simple group, and if $G$ acts biquasiprimitively, the stabilizer of biparts of $Γ$ in $G$ is an almost simple quasiprimitive group on each of biparts. In addition, $G$ cannot be primitive or biprimitive.
Constructing strong starters of orders $3p$: triplication with SAT solver
A novel approach to building strong starters in cyclic groups of orders $n$ divisible by 3 from starters of smaller orders is presented. A strong starter in $Z_n$ ($n$ odd) is a partition of the set $\{1,2,\dots,n-1\}$ into pairs $\{a_i,b_i\}$ such that all pair sums $a_i+b_i$ are distinct and nonzero modulo $n$ and all differences $\pm(a_i-b_i)$ are distinct and nonzero modulo $n$. A special interest to strong starters of odd orders divisible by 3 is motivated by Horton's conjecture which claims that such starters exist (except when $n=3$ or $9$) but remains unproven since 1989.
We begin with a strong starter of order $p$ coprime with 3 and describe an algorithm to obtain a Sudoku-type problem modulo 3 whose solution, if exists, yields a strong starter of order $3p$. The process leading from the original to the final starter is called {\em triplication}.
Besides theoretical aspects of the construction, practicality of this approach is demonstrated. A general-purpose constraint-satisfaction (SAT) solver z3 is used to solve the Sudoku-type problem; various performance statistics are presented.
Geodesic transitive graphs of small valency
For a graph $Γ$, the {\em distance} $d_Γ(u,v)$ between two distinct vertices $u$ and $v$ in $Γ$ is defined as the length of the shortest path from $u$ to $v$, and the {\em diameter} $\mathrm{diam}(Γ)$ of $Γ$ is the maximum distance between $u$ and $v$ for all vertices $u$ and $v$ in the vertex set of $Γ$. For a positive integer $s$, a path $(u_0,u_1,\ldots,u_{s})$ is called an {\em $s$-geodesic} if the distance of $u_0$ and $u_s$ is $s$. The graph $Γ$ is said to be {\em distance transitive} if for any vertices $u,v,x,y$ of $\Ga$ such that $d_\Ga(u,v)=d_\Ga(x,y)$, there exists an automorphism of $Γ$ that maps the pair $(u,v)$ to the pair $(x,y)$. Moreover, $Γ$ is said to be {\em geodesic transitive} if for each $i\leq \mathrm{diam}(\Ga)$, the full automorphism group acts transitively on the set of all $i$-geodesics. In the monograph [Distance-Regular Graphs, Section 7.5], the authors listed all distance transitive graphs of valency at most $13$. By using this classification, in this paper, we provide a complete classification of geodesic transitive graphs with valency at most $13$. As a result, there are exactly seven graphs of valency at most $13$ that are distance transitive but not geodesic transitive.
On elementary abelian 2-hypergroups
A hypergroup is called an elementary abelian 2-hypergroup if it is a constrained direct product of the closed subsets of two elements. In this paper, the elementary abelian 2-hypergroups are studied. All closed subsets and all strongly normal closed subsets of the elementary abelian 2-hypergroups are determined. The numbers of all closed subsets and all strongly normal closed subsets of the elementary abelian 2-hypergroups are given. A criterion for the isomorphic closed subsets of the elementary abelian 2-hypergroups is displayed. The automorphism groups of all closed subsets of the elementary abelian 2-hypergroups are presented.
Combinatorics of descent algebras and graph coverings
We give a direct combinatorial proof that the product of two descent classes in a symmetric group is a sum of descent classes. The proof is based on the fact that the group product gives a covering map when descent classes are endowed with the graph structure coming from the weak order. The main geometric argument is valid for any Coxeter group, even infinite ones for which the descent algebra does not exist.
From Weingarten calculus for real Grassmannians to deformations of monotone Hurwitz numbers and Jucys-Murphy elements
The present work is inspired by three interrelated themes: Weingarten calculus for integration over unitary groups, monotone Hurwitz numbers which enumerate certain factorisations of permutations into transpositions, and Jucys-Murphy elements in the symmetric group algebra. The authors and Moskovsky recently extended this picture to integration on complex Grassmannians, leading to a deformation of the monotone Hurwitz numbers to polynomials that are conjectured to satisfy remarkable interlacing phenomena.
In this paper, we consider integration on the real Grassmannian $\mathrm{Gr}_\mathbb{R}(M,N)$, interpreted as the space of $N \times N$ idempotent real symmetric matrices of rank $M$. We show that in the regime of large $N$ and fixed $\frac{M}{N}$, such integrals have expansions whose coefficients are variants of monotone Hurwitz numbers that are polynomials in the parameter $t = 1 - \frac{N}{M}$.
We define a "$b$-Weingarten calculus", without reference to underlying matrix integrals, that recovers the unitary case at $b = 0$ and the orthogonal case at $b = 1$. The $b$-monotone Hurwitz numbers, previously introduced by Bonzom, Chapuy and Dolega, arise naturally in this context as monotone factorisations of pair partitions. The $b$- and $t$-deformations can be combined to form a common generalisation, leading to the notion of $bt$-monotone Hurwitz numbers, for which we state several results and conjectures.
Finally, we introduce certain linear operators inspired by the aforementioned $b$-Weingarten calculus that can be considered as $b$-deformations of the Jucys-Murphy elements in the symmetric group algebra. We make several conjectures regarding these operators that generalise known properties of the Jucys-Murphy elements and make a connection to the family of Jack symmetric functions.
On the enumeration of double cosets and self-inverse double cosets
Double cosets appear in many contexts in combinatorics, for example in the enumeration of certain objects up to symmetries. Double cosets in a quotient of the form $H\backslash G / H$ have an inverse, and can be their own inverse. In this paper we present various formulas enumerating double cosets, and in particular self-inverse double cosets. We study double cosets in classical groups, especially the symmetric groups and the general linear groups, explaining how to obtain the informations on their conjugacy classes required to apply our formulas. We also consider double cosets of parabolic subgroups of Coxeter groups of type B.
Semiregular abstract polyhedra with trivial facet stabilizer
Abstract polytopes generalize the face lattice of convex polytopes. A polytope is semiregular if its facets are regular and its automorphism group acts transitively on its vertices. In this paper we construct semiregular, facet-transitive polyhedra with trivial facet stabilizer, showing that semiregular abstract polyhedra can have an unbounded number of flag orbits, while having as little as one facet orbit. We interpret this construction in terms of operations applied to high rank regular and chiral polytopes, and we see how this same operations help us construct alternating semiregular polyhedra (that is, with two facet orbits and adjacent facets in different orbits). Finally, we give an idea to generalize this construction giving examples in higher ranks.
Graph quandles: Generalized Cayley graphs of racks and right quasigroups
We solve two open problems of Valeriy Bardakov about Cayley graphs of racks and graph-theoretic realizations of right quasigroups. We also extend Didier Caucal's classification of labeled Cayley digraphs to right quasigroups and related algebraic structures like quandles.
First, we characterize markings of graphs that realize racks. As an application, we construct rack-theoretic (di)graph invariants from permutation representations of graph automorphism groups. We describe how to compute these invariants with general results for path graphs and cycle graphs.
Second, we show that all right quasigroups are realizable by edgeless graphs and complete (di)graphs. Using Schreier (di)graphs, we also characterize Cayley (di)graphs of right quasigroups Q that realize Q. In particular, all racks are realizable by their full Cayley (di)graphs.
Finally, we give a graph-theoretic characterization of labeled Cayley digraphs of right-cancellative magmas, right-divisible magmas, right quasigroups, racks, quandles, involutory racks, and kei.
Isotopisms of quadratic quasigroups
A quasigroup is a pair $(Q, \cdot)$ where $Q$ is a non-empty set and $\cdot$ is a binary operation on $Q$ such that for every $(u, v) \in Q^2$ there exists a unique $(x, y) \in Q^2$ such that $u \cdot x = v = y \cdot u$. Let $q$ be an odd prime power, let $\mathbb{F}_q$ denote the finite field of order $q$, and let $\mathcal{R}_q$ denote the set of non-zero squares in $\mathbb{F}_q$. Let $\{a, b\} \subseteq \mathbb{F}_q$ be such that $\{ab, (a-1)(b-1)\} \subseteq \mathcal{R}_q$. Let $\mathcal{Q}_{a, b}$ denote the quadratic quasigroup $(\mathbb{F}_q, *_{a, b})$ where $*_{a, b}$ is defined by
\[ \left\{
\begin{array}{ll}
x+a(y-x) & \text{if } y-x \in \mathcal{R}_q,\\ x+b(y-x) & \text{otherwise}.
\end{array}
\right. \] The operation table of a quadratic quasigroup is a quadratic Latin square. Recently, it has been determined exactly when two quadratic quasigroups are isomorphic and the automorphism group of any quadratic quasigroup has been determined. In this paper, we extend these results. We determine exactly when two quadratic quasigroups are isotopic and we determine the autotopism group of any quadratic quasigroup. In the process, we count the number of $2 \times 2$ subsquares in quadratic Latin squares.
Khintchine inequalities, trace monoids and Turán-type problems
We prove scalar and operator-valued Khintchine inequalities for mixtures of free and tensor-independent semicircle variables, interpolating between classical and free Khintchine-type inequalities. Specifically, we characterize the norm of sums of $G$-independent semicircle variables in terms of the spectral radius of the Cayley graph associated with the trace monoid determined by the graph $G$. Our approach relies on a precise correspondence between closed paths in trace monoids and the norms of such operator sums. This correspondence uncovers connections between non-commutative probability, combinatorial group theory, and extremal graph theory. In particular, we formulate Turán-type extremal problems that govern maximal norm growth under classical commutation constraints, and identify the extremal configurations. We hope that the methods and connections developed here will be useful in the study of non-commutative structures constrained by combinatorial symmetries.
Construction of the smallest Ree-Tits unital from the special linear group of degree two over the field with eight elements
We construct the smallest Ree-Tits unital from a group of matrices that is isomorphic to the commutator group of the corresponding Ree group. The matrix description is used to determine configurations in the unital via explicit computations. Embeddings into larger Ree-Tits unitals are made explicit.
2-Homogeneous bipartite distance-regular graphs and the quantum group $U^\prime_q(\mathfrak{so}_6)$
We consider a 2-homogeneous bipartite distance-regular graph $Γ$ with diameter $D \geq 3$. We assume that $Γ$ is not a hypercube nor a cycle. We fix a $Q$-polynomial ordering of the primitive idempotents of $Γ$. This $Q$-polynomial ordering is described using a nonzero parameter $q \in \mathbb C$ that is not a root of unity. We investigate $Γ$ using an $S_3$-symmetric approach. In this approach one considers $V^{\otimes 3} = V \otimes V \otimes V$ where $V$ is the standard module of $Γ$. We construct a subspace $Λ$ of $V^{\otimes 3}$ that has dimension $\binom{D+3}{3}$, together with six linear maps from $Λ$ to $Λ$. Using these maps we turn $Λ$ into an irreducible module for the nonstandard quantum group
$U^\prime_q(\mathfrak{so}_6)$ introduced by Gavrilik and Klimyk in 1991.
Tiling symmetric groups by transpositions
For nonempty subsets $X$ and $Y$ of a group $G$, we say that $(X,Y)$ is a tiling of $G$ if every element of $G$ can be uniquely expressed as $xy$ for some $x\in X$ and $y\in Y$. In 1966, Rothaus and Thompson studied whether the symmetric group $S_n$ with $n\geq3$ admits a tiling $(T_n,Y)$, where $T_n$ consists of the identity and all the transpositions in $S_n$. They showed that no such tiling exists if $1+n(n-1)/2$ is divisible by a prime number at least $\sqrt{n}+2$. In this paper, we establish a new necessary condition for the existence of such a tiling: the subset $Y$ must be partition-transitive with respect to certain partitions of $n$. This generalizes the result of Rothaus and Thompson, as well as a result of Nomura in 1985. We also study whether $S_n$ can be tiled by the set $T_n^*$ of all the transpositions, which finally leads us to conjecture that neither $T_n$ nor $T_n^*$ tiles $S_n$ for any $n\geq4$.