group
10405 papers tagged with this keyword
Regular $3$-polytopes of order $2^np$
In [Problems on polytopes, their groups, and realizations, Periodica Math. Hungarica 53 (2006) 231-255] Schulte and Weiss proposed the following problem: {\em Characterize regular polytopes of orders $2^np$ for $n$ a positive integer and $p$ an odd prime}. In this paper, we first prove that if a $3$-polytope of order $2^np$ has Schläfli type $\{k_1, k_2\}$, then $p \mid k_1$ or $p \mid k_2$. This leads to two classes, up to duality, for the Schläfli type, namely Type (1) where $k_1=2^sp$ and $k_2=2^t$ and Type (2) where $k_1=2^sp$ and $k_2=2^tp$. We then show that there exists a regular $3$-polytope of order $2^np$ with Type (1) when $s\geq 2$, $t\geq 2$ and $n\geq s+t+1$ coming from a general construction of regular $3$-polytopes of order $2^n\ell_1\ell_2$ with Schläfli type $\{2^s\ell_1,2^t\ell_2\}$ where both $\ell_1$ and $\ell_2$ are odd. Furthermore, for $p=3$ and $n \geq 7$, we show that there exists a regular 3-polytope of order $3\cdot2^n$ with type $\{6,2^s\}$ if and only if $2\leq s \leq n-2$ and $s \neq n-3$. For Type (2), we prove that there exists a regular $3$-polytope of order $2^n\cdot 3$ with Schläfli type $\{6, 6\}$ when $n \ge 5$ coming from a general construction of regular $3$-polytopes of Schläfli type $\{6,6\}$ with orders $192m^3$, $384m^3$ or $768m^3$, for any positive integer $m$.
On the Positivity Conjecture for Finite Abelian p-Groups
For a partition $\underlineλ = (λ_{1}^{ρ_1}>λ_{2}^{ρ_2}>λ_{3}^{ρ_3}>\ldots>λ_{k}^{ρ_k})$ and its associated finite $\mathcal{R}$-module $\mathcal{A}_{\underlineλ}=\underset{i=1}{\overset{k}{\oplus}} (\mathcal{R}/π^{λ_i}\mathcal{R})^{ρ_i}$, where $\mathcal{R}$ is a discrete valuation ring, with maximal ideal generated by a uniformizing element $π$, having finite residue field ${\bf k}=\mathcal{R}/π\mathcal{R}\cong \mathbb{F}_q$, the number of orbits of pairs $n_{\underlineλ}(q)= \mid \mathcal{G}_{\underlineλ}\backslash \big(\mathcal{A}_{\underlineλ}\times \mathcal{A}_{\underlineλ}\big)\mid$ for the diagonal action of the automorphism group $\mathcal{G}_{\underlineλ}= Aut(\mathcal{A}_{\underlineλ})$, is a polynomial in $q$ with integer coefficients. Positivity conjecture states that these coefficients are in fact non-negative. In this article, we prove this conjecture.
Skew Howe duality for crystals and the cactus group
The crystals for a finite-dimensional complex reductive Lie algebra $\mathfrak{g}$ encode the structure of its representations, yet can also reveal surprising new structure of their own. We study the cactus group $C_{\mathfrak{g}}$, constructed using the Dynkin diagram of $\mathfrak{g}$, and its combinatorial action on any $\mathfrak{g}$-crystal via Schützenberger involutions. We compare this action with that of the Berenstein-Kirillov group on Gelfand-Tsetlin patterns. Henriques and Kamnitzer define an action of $C_n=C_{\mathfrak{gl}_n}$ on $n$-tensor products of $\mathfrak{g}$-crystals, for any $\mathfrak{g}$ as above. We discuss the crystal corresponding to the $\mathfrak{gl}_n \times \mathfrak{gl}_m$-representation $Λ^N(\mathbb{C}^n \otimes \mathbb{C}^m),$ derive skew Howe duality on the crystal level and show that the two types of cactus group actions agree in this setting. A future application of this result is discussed in studying two families of maximal commutative subalgebras of the universal enveloping algebra, the shift of argument and Gaudin algebras, where an algebraically constructed monodromy action matches that of the cactus group.
Dwork-type supercongruences through a creative $q$-microscope
Published in Journal of Combinatorial Theory Series A 178 (2021), Article 105362
• View Publication
• BIB
We develop an analytical method to prove congruences of the type $$ \sum_{k=0}^{(p^r-1)/d}A_kz^k \equiv ω(z)\sum_{k=0}^{(p^{r-1}-1)/d}A_kz^{pk} \pmod{p^{mr}\mathbb Z_p[[z]]} \quad \text{for}\; r=1,2,\dots, $$ for primes $p>2$ and fixed integers $m,d\ge1$, where $f(z)=\sum_{k=0}^\infty A_kz^k$ is an "arithmetic" hypergeometric series. Such congruences for $m=d=1$ were introduced by Dwork in 1969 as a tool for $p$-adic analytical continuation of $f(z)$. Our proofs of several Dwork-type congruences corresponding to $m\ge2$ (in other words, supercongruences) are based on constructing and proving their suitable $q$-analogues, which in turn have their own right for existence and potential for a $q$-deformation of modular forms and of cohomology groups of algebraic varieties. Our method follows the principles of creative microscoping introduced by us to tackle $r=1$ instances of such congruences; it is the first method capable of establishing the supercongruences of this type for general $r$.
On strong Skolem starters for $\mathbb{Z}_{pq}$
In 1991, N. Shalaby conjectured that any additive group $\mathbb{Z}_n$, where $n\equiv1$ or 3 (mod 8) and $n \geq11$, admits a strong Skolem starter and constructed these starters of all admissible orders $11\leq n\leq57$. Shalaby and et al. [O. Ogandzhanyants, M. Kondratieva and N. Shalaby, \emph{Strong Skolem Starters}, J. Combin. Des. {\bf 27} (2018), no. 1, 5--21] was proved if $n=Π_{i=1}^{k}p_i^{α_i}$, where $p_i$ is a prime number such that $ord(2)_{p_i}\equiv 2$ (mod 4) and $α_i$ is a non-negative integer, for all $i=1,\ldots,k$, then $\mathbb{Z}_n$ admits a strong Skolem starter. On the other hand, the author [A. Vázquez-Ávila, \emph{A note on strong Skolem starters}, Discrete Math. Accepted] gives different families of strong Skolem starters for $\mathbb{Z}_p$ than Shalaby et al, where $p\equiv3$ (mod 8) is an odd prime. Recently, the author [A. Vázquez-Ávila, \emph{New families of strong Skolem starters}, Submitted] gives different families of strong Skolem starters of $\mathbb{Z}_{p^n}$ than Shalaby et al, where $p\equiv3$ (mod 8) and $n$ is an integer greater than 1.
In this paper, we gives some different families of strong Skolem starters of $\mathbb{Z}_{pq}$, where $p,q\equiv3$ (mod 8) are prime numbers such that $p<q$ and $(p-1)\nmid(q-1)$.
On Kostant's weight $q$-multiplicity formula for $\mathfrak{sl}_{4}(\mathbb{C})$
Published
• View Publication
• BIB
The $q$-analog of Kostant's weight multiplicity formula is an alternating sum over a finite group, known as the Weyl group, whose terms involve the $q$-analog of Kostant's partition function. This formula, when evaluated at $q=1$, gives the multiplicity of a weight in a highest weight representation of a simple Lie algebra. In this paper, we consider the Lie algebra $\mathfrak{sl}_4(\mathbb{C})$ and give closed formulas for the $q$-analog of Kostant's weight multiplicity. This formula depends on the following two sets of results. First, we present closed formulas for the $q$-analog of Kostant's partition function by counting restricted colored integer partitions. These formulas, when evaluated at $q=1$, recover results of De Loera and Sturmfels. Second, we describe and enumerate the Weyl alternation sets, which consist of the elements of the Weyl group that contribute nontrivially to Kostant's weight multiplicity formula. From this, we introduce Weyl alternation diagrams on the root lattice of $\mathfrak{sl}_4(\mathbb{C})$, which are associated to the Weyl alternation sets. This work answers a question posed in 2019 by Harris, Loving, Ramirez, Rennie, Rojas Kirby, Torres Davila, and Ulysse.
The generic combinatorial simplex
We employ projective Fraïssé theory to define the "generic combinatorial $n$-simplex" as the pro-finite, simplicial complex that is canonically associated with a family of simply defined selection maps between finite triangulations of the simplex. The generic combinatorial $n$-simplex is a combinatorial object that can be used to define the geometric realization of a simplicial complex without any reference to the Euclidean space. It also reflects dynamical properties of its homeomorphism group down to finite combinatorics.
As part of our study of the generic combinatorial simplex, we define and prove results on domination closure for Fraïssé classes, and we develop further the theories of stellar moves and cellular maps. We prove that the domination closure of selection maps contains the class of face-preserving simplicial maps that are cellular on each face of the $n$-simplex and is contained in the class of simplicial, face-preserving near-homeomorphisms. Under the PL-Poincaré conjecture, this gives a characterization of the domination closure of selections.
$C-(k, \ell)$-Sum-Free Sets
The Minkowski sum of two subsets $A$ and $B$ of a finite abelian group $G$ is defined as all pairwise sums of elements of $A$ and $B$: $A + B = \{ a + b : a \in A, b \in B \}$. The largest size of a $(k, \ell)$-sum-free set in $G$ has been of interest for many years and in the case $G = \mathbb{Z}/n\mathbb{Z}$ has recently been computed by Bajnok and Matzke. Motivated by sum-free sets of the torus, Kravitz introduces the noisy Minkowski sum of two sets, which can be thought of as discrete evaluations of these continuous sumsets. That is, given a noise set $C$, the noisy Minkowski sum is defined as $A +_C B = A + B + C$. We give bounds on the maximum size of a $(k, \ell)$-sum-free subset of $\mathbb{Z}/n\mathbb{Z}$ under this new sum, for $C$ equal to an arithmetic progression with common difference relatively prime to $n$ and for any two element set $C$.
Isometries between finite groups
We prove that if $H$ is a subgroup of index $n$ of any cyclic group $G$, then $G$ can be isometrically embedded in $(H^n, d_{_{Ham}}^n)$, thus generalizing previous results of Carlet (1998) for $G=\mathbb{Z}_{2^k}$ and Yildiz-Özger (2012) for $G=\mathbb{Z}_{p^k}$ with $p$ prime. Next, for any positive integer $q$ we define the $q$-adic metric $d_q$ in $\mathbb{Z}_{q^n}$ and prove that $(\mathbb{Z}_{q^n}, d_q)$ is isometric to $(\mathbb{Z}_q^n, d_{RT})$ for every $n$, where $d_{RT}$ is the Rosenbloom-Tsfasman metric. More generally, we then demonstrate that any pair of finite groups of the same cardinality are isometric to each other for some metrics that can be explicitly constructed. Finally, we consider a chain $\mathcal{C}$ of subgroups of a given group and define the chain metric $d_{\mathcal{C}}$ and chain isometries between two chains. Let $G, K$ be groups with $|G|=q^n$, $|K|=q$ and let $H<G$. Using chains, we prove that under certain conditions, $(G,d_\mathcal{C}) \simeq (K^n, d_{RT})$ and $(G,d_\mathcal{C}) \simeq (H^{[G:H]}, d_{BRT})$ where $d_{BRT}$ is the block Rosenbloom-Tsfasman metric which generalizes $d_{RT}$.
Multi-transversals for Triangles and the Tuza's Conjecture
Published
• View Publication
• BIB
In this paper, we study a primal and dual relationship about triangles: For any graph $G$, let $ν(G)$ be the maximum number of edge-disjoint triangles in $G$, and $τ(G)$ be the minimum subset $F$ of edges such that $G \setminus F$ is triangle-free. It is easy to see that $ν(G) \leq τ(G) \leq 3 ν(G)$, and in fact, this rather obvious inequality holds for a much more general primal-dual relation between $k$-hyper matching and covering in hypergraphs. Tuza conjectured in $1981$ that $τ(G) \leq 2 ν(G)$, and this question has received attention from various groups of researchers in discrete mathematics, settling various special cases such as planar graphs and generalized to bounded maximum average degree graphs, some cases of minor-free graphs, and very dense graphs. Despite these efforts, the conjecture in general graphs has remained wide open for almost four decades.
In this paper, we provide a proof of a non-trivial consequence of the conjecture; that is, for every $k \geq 2$, there exist a (multi)-set $F \subseteq E(G): |F| \leq 2k ν(G)$ such that each triangle in $G$ overlaps at least $k$ elements in $F$. Our result can be seen as a strengthened statement of Krivelevich's result on the fractional version of Tuza's conjecture (and we give some examples illustrating this.) The main technical ingredient of our result is a charging argument, that locally identifies edges in $F$ based on a local view of the packing solution. This idea might be useful in further studying the primal-dual relations in general and the Tuza's conjecture in particular.
Permutations with restricted movement
Published
• View Publication
• BIB
A restricted permutation of a locally finite directed graph $G=(V,E)$ is a vertex permutation $π: V\to V$ for which $(v,π(v))\in E$, for any vertex $v\in V$. The set of such permutations, denoted by $Ω(G)$, with a group action induced from a subset of graph isomorphisms form a topological dynamical system. We focus on the particular case presented by Schmidt and Strasser (2016) of restricted $\mathbb{Z}^d$ permutations, in which $Ω(G)$ is a subshift of finite type. We show a correspondence between restricted permutations and perfect matchings (also known as dimer coverings). We use this correspondence in order to investigate and compute the topological entropy in a class of cases of restricted $\mathbb{Z}^d$-permutations. We discuss the global and local admissibility of patterns, in the context of restricted $\mathbb{Z}^d$-permutations. Finally, we review the related models of injective and surjective restricted functions.
Permutations, moments, measures
Which combinatorial sequences correspond to moments of probability measures on the real line? We present a generating function, in the form of a continued fraction, for a fourteen-parameter family of such sequences and interpret these in terms of combinatorial statistics on the symmetric groups. Special cases include several classical and noncommutative probability laws, along with a substantial subset of the orthogonalizing measures in the q-Askey scheme, now given a new combinatorial interpretation in terms of elementary permutation statistics. This framework further captures a variety of interesting combinatorial sequences including, notably, the moment sequences associated to distributions of the numbers of occurrences of (classical and vincular) permutation patterns of length three. This connection between pattern avoidance and broader ideas in classical and noncommutative probability is among several intriguing new corollaries, which generalize and unify results previously appearing in the literature, while opening up new lines of inquiry. The fourteen combinatorial statistics further generalize to signed and colored permutations, and, as an infinite family of statistics, to the k-arrangements: permutations with k-colored fixed points, introduced here along with several related results and conjectures.
Torsion in the Magnitude homology of graphs
Published
• View Publication
• BIB
Magnitude homology is a bigraded homology theory for finite graphs defined by Hepworth and Willerton, categorifying the power series invariant known as magnitude which was introduced by Leinster. We analyze the structure and implications of torsion in magnitude homology. We show that any finitely generated abelian group may appear as a subgroup of the magnitude homology of a graph, and, in particular, that torsion of a given prime order can appear in the magnitude homology of a graph and that there are infinitely many such graphs. Finally, we provide complete computations of magnitude homology of outerplanar graphs and focus on the ranks of the groups along the main diagonal of magnitude homology.
A base-p Sprague-Grundy type theorem for p-calm subtraction games: Welter's game and representations of generalized symmetric groups
Published
• View Publication
• BIB
For impartial games $Γ$ and $Γ'$, the Sprague-Grundy function of the disjunctive sum $Γ+ Γ'$ is equal to the Nim-sum of their Sprague-Grundy functions. In this paper, we introduce $p$-calm subtraction games, and show that for $p$-calm subtraction games $Γ$ and $Γ'$, the Sprague-Grundy function of a $p$-saturation of $Γ+ Γ'$ is equal to the $p$-Nim-sum of the Sprague-Grundy functions of their $p$-saturations. Here a $p$-Nim-sum is the result of addition without carrying in base $p$ and a $p$-saturation of $Γ$ is an impartial game obtained from $Γ$ by adding some moves. It will turn out that Nim and Welter's game are $p$-calm. Further, using the $p$-calmness of Welter's game, we generalize a relation between Welter's game and representations of symmetric groups to disjunctive sums of Welter's games and representations of generalized symmetric groups; this result is described combinatorially in terms of Young diagrams.
The Hopf algebras of signed permutations, of weak quasi-symmetric functions and of Malvenuto-Reutenauer
Published in Advances in Math, vol 374, (2020) 107341
• View Publication
• BIB
This paper builds on two covering Hopf algebras of the Hopf algebra QSym of quasi-symmetric functions, with linear bases parameterized by compositions. One is the Malvenuto-Reutenauer Hopf algebra SSym of permutations, mapped onto QSym by taking descents of permutations. The other one is the recently introduced Hopf algebra RQSym of weak quasi-symmetric functions, mapped onto QSym by extracting compositions from weak compositions.
We extend these two surjective Hopf algebra homomorphisms into a commutative diagram by introducing a Hopf algebra HSym, linearly spanned by signed permutations from the hyperoctahedral groups, equipped with the shifted quasi-shuffle product and deconcatenation coproduct. Extracting a permutation from a signed permutation defines a Hopf algebra surjection form HSym to SSym and taking a suitable descent from a signed permutation defines a linear surjection from HSym to RQSym. The notion of signed $P$-partitions from signed permutations is introduced which, by taking generating functions, gives fundamental weak quasi-symmetric functions and sends the shifted quasi-shuffle product to the product of the corresponding generating functions. Together with the existing Hopf algebra surjections from SSym and RQSym to QSym, we obtain a commutative diagram of Hopf algebras revealing the close relationship among compositions, weak compositions, permutations and signed permutations.
Symmetric polynomials in the symplectic alphabet and their expression via Dickson--Zhukovsky variables
Published in The Electronic Journal of Combinatorics, 28, No.1 (2021)
• View Publication
• BIB
Given a symmetric polynomial $P$ in $2n$ variables, there exists a unique symmetric polynomial $Q$ in $n$ variables such that \[ P(x_1,\ldots,x_n,x_1^{-1},\ldots,x_n^{-1}) =Q(x_1+x_1^{-1},\ldots,x_n+x_n^{-1}). \] We denote this polynomial $Q$ by $Φ_n(P)$ and show that $Φ_n$ is an epimorphism of algebras. We compute $Φ_n(P)$ for several families of symmetric polynomials $P$: symplectic and orthogonal Schur polynomials, elementary symmetric polynomials, complete homogeneous polynomials, and power sums. Some of these formulas were already found by Elouafi (2014) and Lachaud (2016).
The polynomials of the form $Φ_n(\operatorname{s}_{λ/μ}^{(2n)})$, where $\operatorname{s}_{λ/μ}^{(2n)}$ is a skew Schur polynomial in $2n$ variables, arise naturally in the study of the minors of symmetric banded Toeplitz matrices, when the generating symbol is a palindromic Laurent polynomial, and its roots can be written as $x_1,\ldots,x_n,x^{-1}_1,\ldots,x^{-1}_n$. Trench (1987) and Elouafi (2014) found efficient formulas for the determinants of symmetric banded Toeplitz matrices. We show that these formulas are equivalent to the result of Ciucu and Krattenthaler (2009) about the factorization of the characters of classical groups.
Skew-morphisms of nonabelian characteristically simple groups
Published
• View Publication
• BIB
A skew-morphism of a finite group $G$ is a permutation $\s$ on $G$ fixing the identity element, and for which there exists an integer function $π$ on $G$ such that $\s(xy)=\s(x)\s^{π(x)}(y)$ for all $x,y\in G$. It has been known that given a skew-morphism $\s $ of $G$, the product of $\lg \s \rg$ with the left regular representation of $G$ forms a permutation group on $G$, called the skew-product group of $\s$. The skew-morphism was introduced as an algebraic tool to investigate regular Cayley maps. In this paper, the skew-product groups are characterized, for all skew-morphisms of finite nonabelian characteristically simple groups (see Theorem 1.1) and correspondingly the Cayley maps on these groups are characterized (see Theorem 1.5).
Domino tilings of cylinders: the domino group and connected components under flips
Published
• View Publication
• BIB
We consider domino tilings of three-dimensional cubiculated regions. A flip is a local move: two neighboring parallel dominoes are removed and placed back in a different position. The twist is an integer associated to each tiling, which is invariant under flips. A balanced quadriculated disk $D$ is regular if whenever two tilings $t_0$ and $t_1$ of $D \times [0,N]$ have the same twist then $t_0$ and $t_1$ can be joined by a sequence of flips provided some extra vertical space is allowed. We define the domino group of a quadriculated disk and prove that $D$ is regular if and only if its domino group is isomorphic to $Z \oplus Z/(2)$. We prove that a rectangle $D = [0,L] \times [0,M]$ with $LM$ even is regular if and only if $\min\{L,M\} \ge 3$ and conjecture that in general "large" disks are regular. In the cases where $D$ is not regular we prove partial results concerning the structure of the domino group: the group is not abelian and has exponential growth. We also prove that if $D$ is regular then the extra vertical space necessary to join by flips two tilings of $D \times [0,N]$ with the same twist depends only on $D$, not on the height $N$.
A group induced four-circulant construction for self-dual codes and new extremal binary self-dual codes
Published
• View Publication
• BIB
We introduce an altered version of the four circulant construction over group rings for self-dual codes. We consider this construction over the binary field, the rings F_2 + uF_2 and F_4 + uF_4; using groups of order 3, 7, 9, 13, and 15. Through these constructions and their extensions, we find binary self-dual codes of lengths 32, 40, 56, 64, 68 and 80, all of which are extremal or optimal. In particular, we find five new self-dual codes of parameters [56, 28, 10], twenty-three extremal binary self-dual codes of length 68 with new weight enumerators and fifteen new self-dual codes of parameters [80, 40, 14].
Chebyshev moments and Riordan involutions
We show that the coefficient array of a family of Chebyshev moments defines an involution in the group of Riordan arrays. We then extend this result to certain families of $d$-orthogonal polynomials.