arXiv++ Combinatorics

Browse math.CO papers from arXiv

group

10405 papers tagged with this keyword
2018-10-23 v6
Classical pattern distributions in $\mathcal{S}_{n}(132)$ and $\mathcal{S}_{n}(123)$
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 2, Permutation Patters 2018, Permutation Patterns (November 4, 2019) dmtcs:5088 • View Publication • BIB
Classical pattern avoidance and occurrence are well studied in the symmetric group $\mathcal{S}_{n}$. In this paper, we provide explicit recurrence relations to the generating functions counting the number of classical pattern occurrence in the set of 132-avoiding permutations and the set of 123-avoiding permutations.
2018-10-21
Vertex-primitive s-arc-transitive digraphs of alternating and symmetric groups
Published • View Publication • BIB
A fascinating problem on digraphs is the existence problem of the finiteupper bound on s for all vertex-primitive s-arc-transitive digraphs except directed cycles (which is known to be reduced to the almost simple groups case). In this paper,we prove that s 2 for all G-vertex-primitive s-arc-transitive digraphs with G an (insoluble) alternating or symmetric group, which makes an important progress towards a solution of the problem. The proofs involves some methods that may be used to investigate other almost simple groups cases.
2018-10-21 v4
On simultaneous conjugation of permutations
Published in Journal of Pure and Applied Algebra Volume 226, Issue 1, January 2022, 106804 Journal of Pure and Applied Algebra • View Publication • BIB
In this paper we give an affirmative answer to a conjecture proposed by Danny Neftin, that is, if the commutator of two permutations has at least n-4 fixed points where two permutations are in degree n symmetric group, then there exists a permutation in this symmetric inverting both of them.
2018-10-19 v2
On the lower bounds of Davenport constant
Published in J. Comb. Theory, Ser. A 171 (2020), 105162, 15pp • View Publication • BIB
Let $G = C_{n_1} \oplus \cdots \oplus C_{n_r}$ with $1 < n_1 | \cdots | n_r$ be a finite abelian group. The Davenport constant $\mathsf D(G)$ is the smallest integer $t$ such that every sequence $S$ over $G$ of length $|S|\ge t$ has a non-empty zero-sum subsequence. It is a starting point of zero-sum theory but only has a trivial lower bound $\mathsf D^*(G) = n_1 + \cdots + n_r - r + 1$, which equals $\mathsf D(G)$ over $p$-groups. We investigate the non-dispersive sequences over group $C_n^r$, thereby revealing the growth of $\mathsf D(G)-\mathsf D^*(G)$ over non-$p$-groups $G = C_n^r \oplus C_{kn}$ with $n,k \ne 1$. We give a general lower bound of $\mathsf D(G)$ over non-$p$-groups and show that, let $G$ be abelian groups with $\exp(G)=m$ and rank $r$, fix $m>0$ a non-prime-power, then for each $N>0$ there exists an $\varepsilon>0$ such that if $|G|/m^r<\varepsilon $, then $\mathsf D(G)-\mathsf D^*(G)>N$.
2018-10-19
Families of Markov chains with compatible symmetric-group actions
Published • View Publication • BIB
For each $n,r \geq 0$, let $KG(n,r)$ denote the Kneser Graph; that whose vertices are labeled by $r$-element subsets of $n$, and whose edges indicate that the corresponding subsets are disjoint. Fixing $r$ and allowing $n$ to vary, one obtains a family of nested graphs, each equipped with a natural action by a symmetric group $S_n$, such that these actions are compatible. Collections of graphs of this type are common in algebraic combinatorics and include families such as the Johnson Graphs, Crown Graphs and Rook Graphs. In previous work, the authors systematically studied families of this type using the language of representation stability and FI-modules. In that work, it is shown that such families of graphs exhibit a large variety of asymptotic regular behaviors. The present work applies the theory developed in that previous work, later refined in work of the authors and Speyer, to study random walks on the graphs of such families. We show that the moments of hitting times exhibit rational function behavior asymptotically. By consequence we conclude similar facts about the entries of the discrete Green's functions, as defined by Chung and Yau. Finally, we illustrate how the algebro-combinatorial structure of the graphs in these families give bounds on the mixing times of random walks on those graphs. We suggest some possible directions for future study, including of the appearance, or not, of the cut-off phenomenon, originally presented by Diaconis.
2018-10-19
Matroidal representations of groups
Published • View Publication • BIB
We develop the rudiments of a finite-dimensional representation theory of groups over idempotent semifields by considering linear actions on tropical linear spaces. This can be considered a tropical representation theory, a characteristic one modular representation theory, or a matroidal representation theory---and we draw from all three perspectives. After some general properties and constructions, including a weak tropical analogue of Maschke's theorem, we turn to a study of the regular representation of a finite group and its tropicalization. For abelian groups we find an interesting interplay between elementary number theory and matroid theory---even cyclic groups are surprisingly rich---and we conclude with some possible first steps toward a tropical character theory.
Hamiltonian decomposition of the Cayley graph on the dihedral group $D_{2p}$ where $p$ is a prime
In this note, we give the Hamiltonian decomposition of the Cayley graph on the dihedral group $D_{2p}$ where $p$ is a prime.
2018-10-18
Invariant spanning double rays in amenable groups
Published • View Publication • BIB
A well-known result of Benjamini, Lyons, Peres, and Schramm states that if $G$ is a finitely generated Cayley graph of a group $Γ$, then $Γ$ is amenable if and only if $G$ admits a $Γ$-invariant random spanning tree with at most two ends. We show that this is equivalent to the existence of a $Γ$-invariant random spanning double ray in a power of $G$.
2018-10-18 v2
Multiline queues with spectral parameters
Published in Communications in Mathematical Physics volume 374 (2020), pp. 1743--1786 • View Publication • BIB
Using the description of multiline queues as functions on words, we introduce the notion of a spectral weight of a word by defining a new weighting on multiline queues. We show that the spectral weight of a word is invariant under a natural action of the symmetric group, giving a proof of the commutativity conjecture of Arita, Ayyer, Mallick, and Prolhac. We give a determinant formula for the spectral weight of a word, which gives a proof of a conjecture of the first author and Linusson.
2018-10-17 v2
The Finite Embedding Property for IP Loops and Local Embeddability of Groups into Finite IP Loops
We prove that the class of all loops with the inverse property (IP loops) has the Finite Embedding Property (FEP). As a consequence, every group is locally embeddable into finite IP loops.
Enhanced Power Graphs of Finite Groups
The enhanced power graph $\mathcal G_e(\mathbf G)$ of a group $\mathbf G$ is the graph with vertex set $G$ such that two vertices $x$ and $y$ are adjacent if they are contained in a same cyclic subgroup. We prove that finite groups with isomorphic enhanced power graphs have isomorphic directed power graphs. We show that any isomorphism between power graphs of finite groups is an isomorhism between enhanced power graphs of these groups, and we find all finite groups $\mathbf G$ for which $\mathrm{Aut}(\mathcal G_e(\mathbf G)$ is abelian, all finite groups $\mathbf G$ with $\lvert\mathrm{Aut}(\mathcal G_e(\mathbf G)\rvert$ being prime power, and all finite groups $\mathbf G$ with $\lvert\mathrm{Aut}(\mathcal G_e(\mathbf G)\rvert$ being square free. Also we describe enhanced power graphs of finite abelian groups. Finally, we give a characterization of finite nilpotent groups whose enhanced power graphs are perfect, and we present a sufficient condition for a finite group to have weakly perfect enhanced power graph.
2018-10-15
Crystal constructions in Number Theory
Weyl group multiple Dirichlet series and metaplectic Whittaker functions can be described in terms of crystal graphs. We present crystals as parameterized by Littelmann patterns and we give a survey of purely combinatorial constructions of prime power coefficients of Weyl group multiple Dirichlet series and metaplectic Whittaker functions using the language of crystal graphs. We explore how the branching structure of crystals manifests in these constructions, and how it allows access to some intricate objects in number theory and related open questions using tools of algebraic combinatorics.
2018-10-15
On omega-categorical structures with few finite substructures
We establish new results on the possible growth rates for the sequence (f_n) counting the number of orbits of a given oligomorphic group on unordered sets of size n. Macpherson showed that for primitive actions, the growth is at least exponential (if the sequence is not constant equal to 1). The best lower bound previously known for the base of the exponential was obtained by Merola. We establishing the optimal value of 2 in the case where the structure is unstable. This allows us to improve on Merola's bound and also obtain the optimal value for structures homogeneous in a finite relational language. Finally, we show that the study of sequences (f_n) of sub-exponential growth reduces to the omega-stable case.
2018-10-15 v5
Surface Algebras I: Dessins D'enfants, Surface Algebras, and Dessin Orders
In this paper, a construction of an infinite dimensional associative algebra, which will be called a \emph{Surface Algebra}, is associated in a "canonical" way to a dessin d'enfant, or more generally, a cellularly embedded graph in a Riemann surface. Once the surface algebras are constructed we will see a construction of what we call here the associated \emph{Dessin Order} or more generally the \emph{Surface Order}. This provides a way of associating to every algebraic curve $X$, with function field $k(X)$ (defined over an arbitrary field $k$) the representation theory of its Surface Algebra and the lattices over Surface Orders, which are defined as pullbacks of certain matrix algebras over commutative $k$-algebras. We will then be able to prove that the center and the (noncommutative) normalization of the surface orders are invariant under the action of the absolute Galois group $\mathcal{G}(\overline{\mathbb{Q}}/\mathbb{Q})$. We will see that the surface algebras and surface orders are closely related to the fundamental group(oid) of the Riemann surfaces and the associated monodromy group. A description of the projective resolutions of the simple modules over the surface order is given and it will be shown that one can completely recover the dessin with the projective resolutions of the simple modules alone. In particular, the projective resolutions of the simple modules encode all combinatorial and topological data of the monodromy group (or cartographic group) of a dessin. Finally, as a corollary we are able to say that classifying dessins in an orbit of $\mathcal{G}(\overline{\mathbb{Q}}/\mathbb{Q})$ is equivalent to classifying dessin orders with a given normalization. We end with some further examples of surface algebras and surface orders related to the classical and geometric version of the Langlands Program.
2018-10-13
Group Inverse of the Laplacian of Connections of Networks
Published • View Publication • BIB
In previous works the group inverse of a network obtained by some perturbations, as the deletion of a vertex, the addition of a new vertex, contraction of an edge, etc. is obtained in terms of the group inverse of the original network. In this work, two given networks are connected with some new edges and the group inverse of the new network is related with the group inverses of the two original networks. In particular, the formula for the connection of two networks by just one edge is obtained, and besides the formula for the Kirchhoff index of this kind of network.
2018-10-12 v2
Enumerative Gadget Phenomena for $(4,1)$-Adinkras
Published • View Publication • BIB
Adinkras are combinatorial objects developed to study supersymmetry representations. Gates et al. introduced the "gadget" as a function of pairs of adinkras, obtaining some mysterious results for $(n=4, k=1)$ adinkras with computer-aided computation. Specifically, very few values of the gadget actually appear, suggesting a great deal of symmetry in these objects. In this paper, we compute gadgets symbolically and explain some of these observed phenomena with group theory and combinatorics. Guided by this work, we give some suggestions for generalizations of the gadget to other values of the $n$ and $k$ parameters.
Identities for Poincaré polynomials via Kostant cascades
Published • View Publication • BIB
We propose and prove an identity relating the Poincaré polynomials of stabilizer subgroups of the affine Weyl group and of the corresponding stabilizer subgroups of the Weyl group.
2018-10-12 v2
Shell Tableaux: A set partition analogue of vacillating tableaux
Published • View Publication • BIB
Schur-Weyl duality is a fundamental framework in combinatorial representation theory. It intimately relates the irreducible representations of a group to the irreducible representations of its centralizer algebra. We investigate the analog of Schur-Weyl duality for the group of unipotent upper triangular matrices over a finite field. In this case, the character theory of these upper triangular matrices is "wild" or unattainable. Thus we employ a generalization, known as supercharacter theory, that creates a striking variation on the character theory of the symmetric group with combinatorics built from set partitions. In this paper, we present a combinatorial formula for calculating a restriction and induction of supercharacters based on statistics of set partitions and seashell inspired diagrams. We use these formulas to create a graph that encodes the decomposition of a tensor space, and develop an analog of Young tableaux, known as shell tableaux, to index paths in this graph.
Trivalent expanders, $(Δ-Y)$-transformation, and hyperbolic surfaces
Published • View Publication • BIB
We construct a new family of trivalent expanders tessellating hyperbolic surfaces with large isometry groups. These graphs are obtained from a family of Cayley graphs of nilpotent groups via $(Δ-Y)$-transformations. We compare this family with Platonic graphs and their associated hyperbolic surfaces and see that they are generally very different with only one hyperbolic surface in the intersection. Moreover, we study combinatorial, topological and spectral properties of our trivalent graphs and their associated hyperbolic surfaces.
2018-10-11 v2
Semidefinite programming bounds for Lee codes
Published in Discrete Mathematics, 342 (2019), 2579-2589 • View Publication • BIB
For $q,n,d \in \mathbb{N}$, let $A_q^L(n,d)$ denote the maximum cardinality of a code $C \subseteq \mathbb{Z}_q^n$ with minimum Lee distance at least $d$, where $\mathbb{Z}_q$ denotes the cyclic group of order $q$. We consider a semidefinite programming bound based on triples of codewords, which bound can be computed efficiently using symmetry reductions, resulting in several new upper bounds on $A_q^L(n,d)$. The technique also yields an upper bound on the independent set number of the $n$-th strong product power of the circular graph $C_{d,q}$, which number is related to the Shannon capacity of $C_{d,q}$. Here $C_{d,q}$ is the graph with vertex set $\mathbb{Z}_q$, in which two vertices are adjacent if and only if their distance (mod $q$) is strictly less than $d$. The new bound does not seem to improve significantly over the bound obtained from Lovász theta-function, except for very small $n$.