group
10226 papers tagged with this keyword
On automorphism groups of polar codes
Over the past years, Polar codes have arisen as a highly effective class of linear codes, equipped with a decoding algorithm of low computational complexity. This family of codes share a common algebraic formalism with the well-known Reed-Muller codes, which involves monomial evaluations. As useful algebraic codes, more specifically known as decreasing monomial codes, a lot of decoding work has been done on Reed-Muller codes based on their rich code automorphisms. In 2021, a new permutation group decoder, referred to as the automorphism ensemble (AE) decoder, was introduced. This decoder can be applied to Polar codes and has been shown to produce similar decoding effects. However, identifying the right set of code automorphisms that enhance decoding performance for Polar codes remains a challenging task. This paper aims to characterize the full automorphism group of Polar codes. We will prove a reduction theorem that effectively reduces the problem of determining the full automorphism group of arbitrary random Polar codes to that of a specified class of Polar codes. Besides, we give exact classification of the full automorphism groups of families of Polar codes that are constructed using the Reed-Muller codes.
$B_{n-1}$-orbits on the flag variety and the Bruhat graph of the symmetric group
Let $G=G_{n}=GL(n)$ be the $n\times n$ complex general linear group and embed $G_{n-1}=GL(n-1)$ in the top left hand corner of $G$. The standard Borel subgroup of upper triangular matrices $B_{n-1}$ of $G_{n-1}$ acts on the flag variety of $G$ with finitely many orbits. In this paper, we show that each $B_{n-1}$-orbit is the intersection of orbits of two Borel subgroups of $G$ acting on the flag variety of $G$. This allows us to give a new combinatorial description of the $B_{n-1}$-orbits by associating to each orbit a pair of Weyl group elements. The closure relations for the $B_{n-1}$-orbits can then be understood in terms of the Bruhat order on the Weyl group, and the Richardson-Springer monoid action on the orbits can be understood in terms of the classical monoid action of the Weyl group on itself. This approach makes the closure relation more transparent than in earlier work of Magyar and the monoid action significantly more computable than in our earlier papers, and also allows us to obtain new information about the orbits including a simple formula for the dimension of an orbit.
On constrained matchings, stable under random preferences
Colloquially, there are two groups, $n$ men and $n$ women, each man (woman) ranking women (men) as potential marriage partners. A complete matching is called stable if no unmatched pair prefer each other to their partners in the matching. If some pairs are not admissible, then such a matching may not exist, but a properly defined partial stable matching exists always, and all such matchings involve the same, equi-numerous, groups of men and women. Earlier we proved that, for the complete, random, preference lists, with high probability (whp) the total number of complete stable matchings is, roughly, of order $n^{1/2}$, at least. Here we consider the case that the preference lists are still complete, but a generic pair (man,woman) is admissible with probability $p$, independently of all other $n^2-1$ pairs. It is shown that the expected number of complete stable matchings tends to $0$ if, roughly, $p<\tfrac{\log^2 n}{n}$ and to infinity if $p>\tfrac{\log^2 n}{n}$. We show that whp: (a) there exists a complete stable matching if $p>(9/4)\tfrac{\log^2 n}{n}$, (b) the number of unmatched men and women is bounded if $p> \tfrac{\log^2n}{n}$, and (c) this number grows as a fractional power of $n$ for $p<\tfrac{\log^2 n}{n}$.
Strong External Difference Families and Classification of $α$-valuations
One method of constructing $(a^2+1, 2,a, 1)$-SEDFs (i.e., strong external difference families) in $\mathbb{Z}_{a^2+1}$ makes use of $α$-valuations of complete bipartite graphs $K_{a,a}$. We explore this approach and we provide a classification theorem which shows that all such $α$-valuations can be constructed recursively via a sequence of ``blow-up'' operations. We also enumerate all $(a^2+1, 2,a, 1)$-SEDFs in $\mathbb{Z}_{a^2+1}$ for $a \leq 14$ and we show that all these SEDFs are equivalent to $α$-valuations via affine transformations. Whether this holds for all $a > 14$ as well is an interesting open problem. We also study SEDFs in dihedral groups, where we show that two known constructions are equivalent.
Davenport constant and its variants for some non-abelian groups
We define two variants $e(G)$, $f(G)$ of the Davenport constant $d(G)$ of a finite group $G$, that is not necessarily abelian. These naturally arising constants aid in computing $d(G)$ and are of potential independent interest. We compute the constants $d(G)$, $e(G)$, $f(G)$ for some nonabelian groups G, and demonstrate that, unlike abelian groups where these constants are identical, they can each be distinct. As a byproduct of our results, we also obtain some cases of a conjecture of J. Bass. We compute the $k$-th Davenport constant for several classes of groups as well. We also make a conjecture on $f(G)$ for metacyclic groups and provide evidence towards it.
New Strongly Regular Graphs Found via Local Search for Partial Difference Sets
Strongly regular graphs (SRGs) are highly symmetric combinatorial objects, with connections to many areas of mathematics including finite fields, finite geometries, and number theory. One can construct an SRG via the Cayley Graph of a regular partial difference set (PDS). Local search is a common class of search algorithm that iteratively adjusts a state to (locally) minimize an error function. In this work, we use local search to find PDSs. We found PDSs with 62 different parameter values in 1254 nonisomorphic groups of orders at most 147. Many of these PDSs replicate known results. In two cases, (144,52,16,20) and (147,66,25,33), the PDSs found give the first known construction of SRGs with these parameters. In some other cases, the SRG was already known but a PDS in that group was unknown. This work also corroborates the existence of (64,18,2,6) PDSs in precisely 73 groups of order 64.
Random Combinatorial Billiards and Stoned Exclusion Processes
We introduce and study several random combinatorial billiard trajectories. Such a system, which depends on a fixed parameter $p\in(0,1)$, models a beam of light that travels in a Euclidean space, occasionally randomly reflecting off of a hyperplane in the Coxeter arrangement of an affine Weyl group with some probability that depends on the side of the hyperplane that it hits. In one case, we (essentially) recover Lam's reduced random walk in the limit as $p$ tends to $0$. The investigation of our random billiard trajectories relies on an analysis of new finite Markov chains that we call stoned exclusion processes. These processes have remarkable stationary distributions determined by well-studied polynomials such as ASEP polynomials, inhomogeneous TASEP polynomials, and open boundary ASEP polynomials; in many cases, it was previously not known how to construct Markov chains with these stationary distributions. Using multiline queues, we analyze correlations in the stoned multispecies TASEP, allowing us to determine limit directions for reduced random billiard trajectories and limit shapes for new random growth processes for $n$-core partitions. Our perspective coming from combinatorial billiards naturally leads us to formulate a new variant of the ASEP on $\mathbb{Z}$ called the scan ASEP, which we deem interesting in its own right.
Rational Delsarte designs and Galois fusions of association schemes
Published
• View Publication
• BIB
Delsarte theory, more specifically the study of codes and designs in association schemes, has proved invaluable in studying an increasing assortment of association schemes in recent years. Tools motivated by the study of error-correcting codes in the Hamming scheme and combinatorial $t$-designs in the Johnson scheme apply equally well in association schemes with irrational eigenvalues. We assume here that we have a commutative association scheme with irrational eigenvalues and wish to study its Delsarte $T$-designs. We explore when a $T$-design is also a $T'$-design where $T'\supseteq T$ is controlled by the orbits of a Galois group related to the splitting field of the association scheme. We then study Delsarte designs in the association schemes of finite groups, with a detailed exploration of the dicyclic groups.
A Central Limit Theorem on Two-Sided Descents of Mallows Distributed Elements of Finite Coxeter Groups
The Mallows distribution is a non-uniform distribution, first introduced over permutations to study non-ranked data, in which permutations are weighted according to their length. It can be generalized to any Coxeter group, and we study the distribution of $\text{des}(w) + \text{des}(w^{-1})$ where $w$ is a Mallows distributed element of a finite irreducible Coxeter group. We show that the asymptotic behavior of this statistic is Guassian. The proof uses a size-bias coupling with Stein's method.
How large is the character degree sum compared to the character table sum for a finite group?
In 1961, Solomon gave upper and lower bounds for the sum of all the entries in the character table of a finite group in terms of elementary properties of the group. In a different direction, we consider the ratio of the character table sum to the sum of the entries in the first column, also known as the character degree sum, in this work. First, we propose that this ratio is at most two for many natural groups. Secondly, we extend a conjecture of Fields to postulate that this ratio is at least one with equality if and only if the group is abelian. We establish the validity of this property and conjecture for all finite irreducible Coxeter groups. In addition, we prove the conjecture for generalized symmetric groups. The main tool we use is that the sum of a column in the character table of an irreducible Coxeter group (resp. generalized symmetric group) is given by the number of square roots (resp. absolute square roots) of the corresponding conjugacy class representative.
As a byproduct of our results, we show that the asymptotics of character table sums is the same as the number of involutions in symmetric, hyperoctahedral and demihyperoctahedral groups. We also derive explicit generating functions for the character table sums for these latter groups as infinite products of continued fractions. In the same spirit, we prove similar generating function formulas for the number of square roots and absolute square roots in $n$ for the generalized symmetric groups $G(r,1,n)$.
Weights on homogeneous coherent configurations
Published
• View Publication
• BIB
D. G. Higman generalized a coherent configuration and defined a weight. In this article, we will modify the definition and investigate weights on coherent configurations. If our weights are on a thin homogeneous coherent configuration, that is essentially a finite group, then there is a natural correspondence between the set of equivalence classes of weights and $2$-cohomology group of the group. We also give a construction of weights as a generalization of Higman's method using monomial representations of finite groups.
Constructions of graphs with any possible two-fold automorphism and automorphism groups
It is known that the canonical double cover of any connected nonbipartite graph have an automorphism group of the form $H \rtimes \mathbb{Z}_2$, where $H$ is the set of automorphism which preserve bipartite parts. We construct connected nonbipartite and vertex determining graphs whose canonical double covers have auromorphisms group isomorphic to any semisimple product of $\mathbb{Z}_2$ with any abstract group $H$. Later we show, that the canonical double cover of any asymmetric graph have abelian automorphisms group of odd order. The above construction provides an example of asymmetric graph for any such group. By modifying the aforementioned construction we obtain graphs which have any possible number and type of graphs with isomorphic double covers.
A curious symmetric decomposition of the (des, exc)-Eulerian polynomials
One of the most central result in combinatorics says that the descent statistic and the excedance statistic are equidistribued over the symmetric group. As a continuation of the work of Shareshian-Wachs (Adv. Math., 225(6) (2010), 2921--2966), we provide a curious $t$-symmetric decomposition for the generating polynomial of the joint distribution of the descent and excedance statistics over the symmetric group.
The automorphism groups of small affine rank 3 graphs
A rank 3 graph is an orbital graph of a rank 3 permutation group of even order. Despite the classification of rank 3 graphs being complete, see, e.g., Chapter 11 of the recent monograph 'Strongly regular graphs' by Brouwer and Van Maldeghem, the full automorphism groups of these graphs (equivalently, the 2-closures of rank 3 groups) have not been explicitly described, though a lot of information on this subject is available. In the present note, we address this problem for the affine rank 3 graphs. We find the automorphism groups for finitely many relatively small graphs and show that modulo known results, this provides the full description of the automorphism groups of the affine rank 3 graphs, thus reducing the general problem to the case when the socle of the automorphism group is nonabelian simple.
Nullhomotopic and Generating Knight's Tours on Non-Orientable Surfaces
We investigate closed knight's tours on Möbius strip and Klein bottle chess boards. In particular, we characterize the board dimensions that admit tours that are nullhomotopic and the board dimensions that admit tours that realize generators of the fundamental groups of each of the surfaces.
Graphs and their symmetries
This is an introduction to graph theory, from a geometric and analytic viewpoint. A finite graph $X$ is described by its adjacency matrix $d\in M_N(0,1)$, which can be thought of as being a kind of discrete Laplacian, and we first discuss the basics of graph theory, by using $d$, and various linear algebra tools. Then we discuss the computation of the classical and quantum symmetry groups $G(X)\subset G^+(X)$, which must leave invariant the eigenspaces of $d$, with the quantum symmetry group $G^+(X)$ being in general bigger than the classical symmetry group $G(X)$.
The Generating graph of Dicyclic Groups
For a group $G,$ the generating graph of $G,$ denoted by $Γ(G).$ We define $Q_n=\langle x,y: x^{2n}=y^4=1, x^n=y^2,y^{-1}xy=x^{-1}\rangle,$ the dicyclic group of order $4n.$ This paper primarily delves into exploring the graph characteristics and spectral properties of various matrices associated with $Γ(Q_n)$. Specifically, we determine the complete spectrum of the adjacency, Laplacian, distance, and eccentricity matrices. Additionally, we completely determine the spectrum pertaining to the distance and eccentricity matrices of the dihedral group of order $2n$, denoted as $D_n$.
The spanning number and the independence number of a subset of an abelian group
Published in Number Theory, Chudnovsky, Chudnovsky, Nathanson (editors), Springer--Verlag (2004), pp. 1--16
• Search Publication
Let $A=\{a_1,a_2,\dots, a_m\}$ be a subset of a finite abelian group $G$. We call $A$ {\it $t$-independent} in $G$, if whenever $$λ_1a_1+λ_2a_2+\cdots +λ_m a_m=0$$ for some integers $λ_1, λ_2, \dots , λ_m$ with $$|λ_1|+|λ_2|+\cdots +|λ_m| \leq t,$$ we have $λ_1=λ_2= \cdots = λ_m=0$, and we say that $A$ is {\it $s$-spanning} in $G$, if every element $g$ of $G$ can be written as $$g=λ_1a_1+λ_2a_2+\cdots +λ_m a_m$$ for some integers $λ_1, λ_2, \dots , λ_m$ with $$|λ_1|+|λ_2|+\cdots +|λ_m| \leq s.$$ In this paper we give an upper bound for the size of a $t$-independent set and a lower bound for the size of an $s$-spanning set in $G$, and determine some cases when this extremal size occurs. We also discuss an interesting connection to spherical combinatorics.
Orbits of the hyperoctahedral group as Euclidean designs
Published in J. Algebraic Combinatorics, v. 2 (2007), pp. 375--397
• Search Publication
The hyperoctahedral group $H$ in $n$ dimensions (the Weyl group of Lie type $B_n$) is the subgroup of the orthogonal group generated by all transpositions of coordinates and reflections with respect to coordinate hyperplanes. A finite set ${\cal X} \subset \mathbb{R}^n$ with a weight function $w: {\cal X} \rightarrow \mathbb{R}^+$ is called a Euclidean $t$-design, if $$\sum_{r \in R} W_r \overline{f}_{S_{r}} = \sum_{{\bf x} \in {\cal X}} w({\bf x}) f({\bf x})$$ holds for every polynomial $f$ of total degree at most $t$; here $R$ is the set of norms of the points in ${\cal X}$, $W_r$ is the total weight of all elements of ${\cal X}$ with norm $r$, $S_r$ is the $n$-dimensional sphere of radius $r$ centered at the origin, and $\overline{f}_{S_{r}}$ is the average of $f$ over $S_{r}$.
Here we consider Euclidean designs which are supported by orbits of the hyperoctahedral group. Namely, we prove that any Euclidean design on a union of generalized hyperoctahedra has strength (maximum $t$ for which it is a Euclidean design) equal to 3, 5, or 7. We find explicit necessary and sufficient conditions for when this strength is 5 and for when it is 7. In order to establish our classification, we translate the above definition of Euclidean designs to a single equation for $t=5$, a set of three equations for $t=7$, and a set of seven equations for $t=9$.
Neumaier and Seidel (1988), as well as Delsarte and Seidel (1989), proved a Fisher-type inequality $|{\cal X}| \geq N(n,p,t)$ for the minimum size of a Euclidean $t$-design in $\mathbb{R}^n$ on $p=|R|$ concentric spheres (assuming that the design is antipodal if $t$ is odd). A Euclidean design with exactly $N(n,p,t)$ points is called tight. We exhibit new examples of antipodal tight Euclidean designs, supported by orbits of the hyperoctahedral group, for $N(n,p,t)=$(3,2,5), (3,3,7), and (4,2,7).
The geometry of intersecting codes and applications to additive combinatorics and factorization theory
Intersecting codes are linear codes where every two nonzero codewords have non-trivially intersecting support. In this article we expand on the theory of this family of codes, by showing that nondegenerate intersecting codes correspond to sets of points (with multiplicites) in a projective space that are not contained in two hyperplanes. This correspondence allows the use of geometric arguments to demonstrate properties and provide constructions of intersecting codes. We improve on existing bounds on their length and provide explicit constructions of short intersecting codes. Finally, generalizing a link between coding theory and the theory of the Davenport constant (a combinatorial invariant of finite abelian groups), we provide new asymptotic bounds on the weighted $2$-wise Davenport constant. These bounds then yield results on factorizations in rings of algebraic integers and related structures.