group
10258 papers tagged with this keyword
Almost homomorphisms between the Boolean cube and groups of prime order
Published in Online J. Anal. Comb. No. 13 (2018)
• View Publication
• BIB
We show that if f is an injection from an n-dimensional Boolean cube (considered as an additive group) to a group of prime order then the probability that f(x+y)=f(x)+f(y) is O(2^{-n/11}).
Tamari Lattices for Parabolic Quotients of the Symmetric Group
Published in The Electronic Journal of Combinatorics 26, 4 (2019) P4.34
• View Publication
• BIB
We generalize the Tamari lattice by extending the notions of $231$-avoiding permutations, noncrossing set partitions, and nonnesting set partitions to parabolic quotients of the symmetric group $\mathfrak{S}_{n}$. We show bijectively that these three objects are equinumerous. We show how to extend these constructions to parabolic quotients of any finite Coxeter group. The main ingredient is a certain aligned condition of inversion sets; a concept which can in fact be generalized to any reduced expression of any element in any (not necessarily finite) Coxeter group.
Aldous' Spectral Gap Conjecture for Normal Sets
Published in Transactions of the American Mathematical Society, 373(10):7067-7086, 2020
• View Publication
• BIB
Let $S_n$ denote the symmetric group on $n$ elements, and $Σ\subseteq S_{n}$ a symmetric subset of permutations. Aldous' spectral gap conjecture, proved by Caputo, Liggett and Richthammer [arXiv:0906.1238], states that if $Σ$ is a set of transpositions, then the second eigenvalue of the Cayley graph $\mathrm{Cay}\left(S_{n},Σ\right)$ is identical to the second eigenvalue of the Schreier graph on $n$ vertices depicting the action of $S_{n}$ on $\left\{ 1,\ldots,n\right\}$. Inspired by this seminal result, we study similar questions for other types of sets in $S_{n}$. Specifically, we consider normal sets: sets that are invariant under conjugation. Relying on character bounds due to Larsen and Shalev [2008], we show that for large enough $n$, if $Σ\subset S_{n}$ is a full conjugacy class, then the second eigenvalue of $\mathrm{Cay}\left(S_{n},Σ\right)$ is roughly identical to the second eigenvalue of the Schreier graph depicting the action of $S_{n}$ on ordered $4$-tuples of elements from $\left\{ 1,\ldots,n\right\}$. We further show that this type of result does not hold when $Σ$ is an arbitrary normal set, but a slightly weaker one does hold. We state a conjecture in the same spirit regarding an arbitrary symmetric set $Σ\subset S_{n}$, which yields surprisingly strong consequences.
The $μ$-permanent revisited
Published
• View Publication
• BIB
Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, we review several less known results of the $μ$-permanent, recalling some of its interesting properties. Some determinantal conjectures are considered and extended to that polynomial. A correction to a previous note is presented as well.
Metacirculants and split weak metacirculants
Metacirculants are a rich resource of many families of interesting graphs, and weak metacirculants are generalizations of them. A graph is called a {\em split weak metacirculant} if it has a vertex-transitive split metacyclic automorphism group. In two recent papers, it is shown that a graph of prime power order is a metacirculant if and only if it is a split weak metacirculant. Let $m$ is a positive integer. In this paper, we first give a sufficient condition for the existence of split weak metacirculants of order $m$ which are not metacirculants. This is then used to give a sufficient and necessary condition for the existence of split weak metacirculants of order $n$ which are not metacirculants, where $n$ is a product of two prime-powers. As byproducts, we construct infinitely many split weak metacirculant graphs which are not metacirculant graphs, and answer an open question reported in the literature.
A noncommutative cycle index and new bases of quasi-symmetric functions and noncommutative symmetric functions
Published
• View Publication
• BIB
We define a new basis of the algebra of quasi-symmetric functions by lifting the cycle-index polynomials of symmetric groups to noncommutative polynomials with coefficients in the algebra of free quasi-symmetric functions, and then projecting the coefficients to $QSym$. By duality, we obtain a basis of noncommutative symmetric functions, for which a product formula and a recurrence in the form of a combinatorial complex are obtained. This basis allows to identify noncommutative symmetric functions with the quotient of FQSym induced by the pattern-replacement relation $321 \equiv 231$ and $312 \equiv 132$.
Remarks on singular Cayley graphs and vanishing elements of simple groups
Published
• View Publication
• BIB
Let $Γ$ be a finite graph and let $A(Γ)$ be its adjacency matrix. Then $Γ$ is {\it singular} if $A(Γ)$ is singular. The singularity of graphs is of certain interest in graph theory and algebraic combinatorics. Here we investigate this problem for Cayley graphs ${\rm Cay}(G,H)$ when $G$ is a finite group and when the connecting set $H$ is a union of conjugacy classes of $G.$ In this situation the singularity problem reduces to finding an irreducible character $χ$ of $G$ for which $\sum_{h\in H}\,χ(h)=0.$
At this stage we focus on the case when $H$ is a single conjugacy class $h^G$ of $G.$ Here the above equality is equivalent to $χ(h)=0$. Much is known in this situation, with essential information coming from the block theory of representations of finite groups. An element $h\in G$ is called vanishing if $χ(h)=0$ for some irreducible character $χ$ of $G.$ We study vanishing elements mainly in finite simple groups and in alternating groups in particular. We suggest some approaches for constructing singular Cayley graphs.
A duality for labeled graphs and factorizations with applications to graph embeddings and Hurwitz enumeration
Published in Rocky Mountain Journal of Mathematics, 54:3 (2024), 631--674
• View Publication
• BIB
The set of factorizations of permutations in to $m$ transpositions of some symmetric group $\mathcal{S}_n$ is naturally in bijection with the set of graphs of order $n$ and size $m$ with both edges and vertices labeled. We define a notion of duality (the \emph{mind-body duality}) for factorizations and such labeled graphs and interpret it in terms of Properly Embedded Graphs, a class of graphs embedded in a bounded compact oriented surface with all the vertices lying in the boundary, and show a close connection of this duality with the Hurwitz action of the Braid Group. Connections with the theory of Cellularly Embedded Graphs are highlighted and hints of possible applications are given. In this paper we focus on developing the necessary theory, leaving specific applications and further developments for future projects.
Derangement action digraphs and graphs
Published
• View Publication
• BIB
We study the family of \emph{derangement action digraphs}, which are a subfamily of the group action graphs introduced in [Fred Annexstein, Marc Baumslag, and Arnold L. Rosenberg, Group action graphs and parallel architectures, \emph{SIAM J. Comput.} 19 (1990), no. 3, 544--569]. For any non-empty set $X$ and a non-empty subset $S$ of $\Der(X)$, the set of derangments of $X$, we define the derangement action digraph $\rm\overrightarrow{DA}(X;S)$ to have vertex set $X$, and an arc from $x$ to $y$ if and only if $y=x^s$ for some $s\in S$. In common with Cayley graphs and digraphs, derangement action digraphs may be useful to model networks as the same routing and communication scheme can be implemented at each vertex. We determine necessary and sufficient conditions on $S$ under which $\rm\overrightarrow{DA}(X;S)$ may be viewed as a simple graph of valency $|S|$, and we call such graphs derangement action graphs. Also we investigate the structural and symmetry properties of these digraphs and graphs. Several open problems are posed and many examples are given.
A Tutte polynomial for maps II: the non-orientable case
Published
• View Publication
• BIB
We construct a new polynomial invariant of maps (graphs embedded in a compact surface, orientable or non-orientable), which contains as specializations the Krushkal polynomial, the Bollobás--Riordan polynomial, the Las Vergnas polynomial, and their extensions to non-orientable surfaces, and hence in particular the Tutte polynomial. Other evaluations include the number of local flows and local tensions taking non-identity values in a given finite group.
Bohr sets in triple products of large sets in amenable groups
We answer a question of Hegyvári and Ruzsa concerning effective estimates of the Bohr-regularity of certain triple sums of sets with positive upper Banach densities in the integers. Our proof also works for any discrete amenable group, and it does not require all addends in the triple products we consider to have positive (left) upper Banach densities; one of the addends is allowed to only have positive upper asymptotic density with respect to a (possibly very sparse) ergodic sequence.
The shift bound for abelian codes and generalizations of the Donoho-Stark uncertainty principle
Published
• View Publication
• BIB
Let $G$ be a finite abelian group. If $f: G\rightarrow \bC$ is a nonzero function with Fourier transform $\hf$, the Donoho-Stark uncertainty principle states that $|\supp(f)||\supp(\hf)|\geq |G|$. The purpose of this paper is twofold. First, we present the shift bound for abelian codes with a streamlined proof. Second, we use the shifting technique to prove a generalization and a sharpening of the Donoho-Stark uncertainty principle. In particular, the sharpened uncertainty principle states, with notation above, that $|\supp(f)||\supp(\hf)|\geq |G|+|\supp(f)|-|H(\supp(f))|$, where $H(\supp(f))$ is the stabilizer of $\supp(f)$ in $G$.
Dold's Theorem from Viewpoint of Strong Compatibility Graphs
Published
• View Publication
• BIB
Let $G$ be a non-trivial finite group. The well-known Dold's theorem states that: There is no continuous $G$-equivariant map from an $n$-connected simplicial $G$-complex to a free simplicial $G$-complex of dimension at most $n$. In this paper, we give a new generalization of Dold's theorem, by replacing "dimension at most $n$" with a sharper combinatorial parameter. Indeed, this parameter is the chromatic number of a new family of graphs, called strong compatibility graphs, associated to the target space. Moreover, in a series of examples, we will see that one can hope to infer much more information from this generalization than ordinary Dold's theorem. In particular, we show that this new parameter is significantly better than the dimension of target space "for almost all free $\mathbb{Z}_2$-simplicial complex." In addition, some other applications of strong compatibility graphs will be presented as well. In particular, a new way for constructing triangle-free graphs with high chromatic numbers from an n-sphere $\mathbb{S}^n$, and some new results on the limitations of topological methods for determining the chromatic number of graphs will be given.
A projective two-weight code related to the simple group ${\rm Co}_1$ of Conway
Published in Graphs and Combin. volume 34 No. 3 (2018) 509-521
• View Publication
• BIB
A binary $[98280, 24, 47104]_2$ projective two-weight code related to the sporadic simple group ${\rm Co}_1$ of Conway is constructed as a faithful and absolutely irreducible submodule of the permutation module induced by the primitive action of ${\rm Co}_1$ on the cosets of ${\rm Co}_2$. The dual code of this code is a uniformly packed $[98280, 98256,3]_2$ code. The geometric significance of the codewords of the code can be traced to the vectors in the Leech lattice, thus revealing that the stabilizer of any non-zero weight codeword in the code is a maximal subgroup of ${\rm Co}_1$. Similarly, the stabilizer of the codewords of minimum weight in the dual code is a maximal subgroup of ${\rm Co}_1$. As by-product, a new strongly regular graph on 16777216 vertices and valency 98280 is constructed using the codewords of the code.
A magic rectangle set on Abelian groups
Published in Discrete Applied Mathematics 288 (2021) 201-210
• View Publication
• BIB
A $Γ$-magic rectangle set $MRS_Γ(a, b; c)$ of order $abc$ is a collection of $c$ arrays $(a\times b)$ whose entries are elements of group $Γ$, each appearing once, with all row sums in every rectangle equal to a constant $ω\in Γ$ and all column sums in every rectangle equal to a constant $δ\in Γ$.
In this paper we prove that for $\{a,b\}\neq\{2^α,2k+1\}$ where $α$ and $k$ are some natural numbers, a $Γ$-magic rectangle set MRS$_Γ(a, b;c)$ exists if and only if $a$ and $b$ are both even or and $|Γ|$ is odd or $Γ$ has more than one involution. Moreover we obtain sufficient and necessary conditions for existence a $Γ$-magic rectangle MRS$_Γ(a, b)$=MRS$_Γ(a, b;1)$.
Irregular triangulations of complete graphs on 12s vertices in orientable surfaces
We present a family of index 1 abelian current graphs whose derived embeddings can be modified into triangulations of $K_{12s}$ for $s \geq 4$. Our construction is significantly simpler than previous methods for finding genus embeddings of $K_{12s}$, which utilized either large index or nonabelian groups.
An efficient high dimensional quantum Schur transform
Published in Quantum 3, 122 (2019)
• View Publication
• BIB
The Schur transform is a unitary operator that block diagonalizes the action of the symmetric and unitary groups on an $n$ fold tensor product $V^{\otimes n}$ of a vector space $V$ of dimension $d$. Bacon, Chuang and Harrow \cite{BCH07} gave a quantum algorithm for this transform that is polynomial in $n$, $d$ and $\logε^{-1}$, where $ε$ is the precision. In a footnote in Harrow's thesis \cite{H05}, a brief description of how to make the algorithm of \cite{BCH07} polynomial in $\log d$ is given using the unitary group representation theory (however, this has not been explained in detail anywhere. In this article, we present a quantum algorithm for the Schur transform that is polynomial in $n$, $\log d$ and $\logε^{-1}$ using a different approach. Specifically, we build this transform using the representation theory of the symmetric group and in this sense our technique can be considered a "dual" algorithm to \cite{BCH07}. A novel feature of our algorithm is that we construct the quantum Fourier transform over the so called \emph{permutation modules}, which could have other applications.
Elements of Finite Order in the Group of Formal Power Series Under Composition
We consider formal power series $f(z) = ωz + a_2z^2 + \ldots \ (ω\neq 0)$, with coefficients in a field of characteristic $0$. These form a group under the operation of composition (= substitution). We prove (Theorem 1) that every element $f(z)$ of finite order is conjugate to its linear term $\ell_ω(z) = ωz$, and we characterize those elements which conjugate $f(z)$ to $ωz$. Then we investigate the construction of elements of order $n$ and prove (Theorem 2) that, given a primitive $n$'th root of unity $ω$ and an arbitrary sequence $\{a_k\}_{k\neq nj+1}$ there is a unique sequence $\{a_{nj + 1}\}_{j=1}^\infty$ such that the series $f(z) = ωz + a_2z^2 + a_3z^3 + \ldots$ has order $n$. Sections 1 - 5 give an exposition of this classical subject, written for the 2005 - 2006 Morgan State University Combinatorics Seminar. We do not claim priority for these results in this classical field, though perhaps the proof of Theorem 2 is new. We have now (2018) added Section 6 which gives references to valuable articles in the literature and historical comments which, however incomplete, we hope will give proper credit to those who have preceded this note and be helpful and of interest to the reader.
Adjoint Representations of the Symmetric Group
We study the restriction to the symmetric group, $\mc{S}_n$ of the adjoint representation of $\mt{GL}_n(\C)$. We determine the irreducible constituents of the space of symmetric as well as the space of skew-symmetric $n\times n$ matrices as $\mc{S}_n$-modules.
Simplicial $G$-complexes and representation stability of polyhedral products
Published in Algebr. Geom. Topol. 20 (2020) 215-238
• View Publication
• BIB
Representation stability in the sense of Church-Farb is concerned with stable properties of representations of sequences of algebraic structures, in particular of groups. We study this notion on objects arising in toric topology. With a simplicial $G$-complex $K$ and a topological pair $(X, A)$, a $G$-polyhedral product $(X, A)^K$ is associated. We show that the homotopy decomposition [2] of $Σ(X, A)^K$ is then $G$-equivariant after suspension. In the case of $Σ_m$-polyhedral products, we give criteria on simplicial $Σ_m$-complexes which imply representation stability of $Σ_m$-representations $\{H_i((X, A)^{K_m})\}$.