group
10405 papers tagged with this keyword
A new approach to the Kasami codes of type 2
Published in IEEE Trans. Inf. Theory 66(4) 2020, 2456-2465
• View Publication
• BIB
The dual of the Kasami code of length $q^2-1$, with $q$ a power of $2$, is constructed by concatenating a cyclic MDS code of length $q+1$ over $F_q$ with a Simplex code of length $q-1$. This yields a new derivation of the weight distribution of the Kasami code, a new description of its coset graph, and a new proof that the Kasami code is completely regular. The automorphism groups of the Kasami code and the related $q$-ary MDS code are determined. New cyclic completely regular codes over finite fields a power of $2$, generalized Kasami codes, are constructed; they have coset graphs isomorphic to that of the Kasami codes. Another wide class of completely regular codes, including additive codes, as well as unrestricted codes, is obtained by combining cosets of the Kasami or generalized Kasami code.
Property testing and expansion in cubical complexes
Published
• View Publication
• BIB
We consider expansion and property testing in the language of incidence geometry, covering both simplicial and cubical complexes in any dimension. We develop a general method for passing from an explicit description of the cohomology group, which need not be trivial, to a testability proof with linear ratio between errors. The method is demonstrated by testing functions on 2-cells in cubical complexes to be induced from the edges.
Bialgebras for Stanley symmetric functions
Published in Discrete Math., 343 (2020), no. 4, 111778
• View Publication
• BIB
We construct a non-commutative, non-cocommutative, graded bialgebra $\mathbfΠ$ with a basis indexed by the permutations in all finite symmetric groups. Unlike the formally similar Malvenuto-Poirier-Reutenauer Hopf algebra, this bialgebra does not have finite graded dimension. After giving formulas for the product and coproduct, we show that there is a natural morphism from $\mathbfΠ$ to the algebra of quasi-symmetric functions, under which the image of a permutation is its associated Stanley symmetric function. As an application, we use this morphism to derive some new enumerative identities. We also describe analogues of $\mathbfΠ$ for the other classical types. In these cases, the relevant objects are module coalgebras rather than bialgebras, but there are again natural morphisms to the quasi-symmetric functions, under which the image of a signed permutation is the corresponding Stanley symmetric function of type B, C, or D.
Moduli spaces of colored graphs
Published in Topology and its Applications Volume 268 (2019)
• View Publication
• BIB
We introduce moduli spaces of colored graphs, defined as spaces of non-degenerate metrics on certain families of edge-colored graphs. Apart from fixing the rank and number of legs these families are determined by various conditions on the coloring of their graphs. The motivation for this is to study Feynman integrals in quantum field theory using the combinatorial structure of these moduli spaces. Here a family of graphs is specified by the allowed Feynman diagrams in a particular quantum field theory such as (massive) scalar fields or quantum electrodynamics. The resulting spaces are cell complexes with a rich and interesting combinatorial structure. We treat some examples in detail and discuss their topological properties, connectivity and homology groups.
Integer moments of complex Wishart matrices and Hurwitz numbers
Published in Annales de l'Institut Henri Poincaré D 2021
• View Publication
• BIB
We give formulae for the cumulants of complex Wishart (LUE) and inverse Wishart matrices (inverse LUE). Their large-$N$ expansions are generating functions of double (strictly and weakly) monotone Hurwitz numbers which count constrained factorisations in the symmetric group. The two expansions can be compared and combined with a duality relation proved in [F. D. Cunden, F. Mezzadri, N. O'Connell and N. J. Simm, arXiv:1805.08760] to obtain: i) a combinatorial proof of the reflection formula between moments of LUE and inverse LUE at genus zero and, ii) a new functional relation between the generating functions of monotone and strictly monotone Hurwitz numbers. The main result resolves the integrality conjecture formulated in [F. D. Cunden, F. Mezzadri, N. J. Simm and P. Vivo, J. Phys. A 49 (2016)] on the time-delay cumulants in quantum chaotic transport. The precise combinatorial description of the cumulants given here may cast new light on the concordance between random matrix and semiclassical theories.
Specht modules decompose as alternating sums of restrictions of Schur modules
Published
• View Publication
• BIB
Schur modules give the irreducible polynomial representations of the general linear group $\mathrm{GL}_t$. Viewing the symmetric group $\mathfrak{S}_t$ as a subgroup of $\mathrm{GL}_t$, we may restrict Schur modules to $\mathfrak{S}_t$ and decompose the result into a direct sum of Specht modules, the irreducible representations of $\mathfrak{S}_t$. We give an equivariant Möbius inversion formula that we use to invert this expansion in the representation ring for $\mathfrak{S}_t$ for $t$ large. In addition to explicit formulas in terms of plethysms, we show the coefficients that appear alternate in sign by degree. In particular, this allows us to define a new basis of symmetric functions whose structure constants are stable Kronecker coefficients and which expand with alternating signs into the Schur basis.
On some properties of LS algebras
Published
• View Publication
• BIB
The discrete LS algebra over a totally ordered set is the homogeneous coordinate ring of an irreducible projective (normal) toric variety. We prove that this algebra is the ring of invariants of a finite abelian group containing no pseudo-reflection acting on a polynomial ring. This is used to study the Gorenstein property for LS algebras. Further we show that any LS algebra is Koszul.
On some distance-regular graphs with many vertices
We construct distance-regular graphs, including strongly regular graphs, admitting a transitive action of the Chevalley groups $G_2(4)$ and $G_2(5)$, the orthogonal group $O(7,3)$ and the Tits group $T=$$^2F_4(2)'$. Most of the constructed graphs have more than 1000 vertices, and the number of vertices goes up to 28431. Some of the obtained graphs are new.
Spherical and geodesic growth rates of right-angled Coxeter and Artin groups are Perron numbers
Published
• View Publication
• BIB
We prove that for any infinite right-angled Coxeter or Artin group, its spherical and geodesic growth rates (with respect to the standard generating set) either take values in the set of Perron numbers, or equal $1$. Also, we compute the average number of geodesics representing an element of given word length in such groups.
Combinatorial interpretations of Lucas analogues of binomial coefficients and Catalan numbers
Published in Ann. Comb. 24 (2020), no. 3, 503--530
• View Publication
• BIB
The Lucas sequence is a sequence of polynomials in s, and t defined recursively by {0}=0, {1}=1, and {n}=s{n-1}+t{n-2} for n >= 2. On specialization of s and t one can recover the Fibonacci numbers, the nonnegative integers, and the q-integers [n]_q. Given a quantity which is expressed in terms of products and quotients of nonnegative integers, one obtains a Lucas analogue by replacing each factor of n in the expression with {n}. It is then natural to ask if the resulting rational function is actually a polynomial in s and t with nonnegative integer coefficients and, if so, what it counts. The first simple combinatorial interpretation for this polynomial analogue of the binomial coefficients was given by Sagan and Savage, although their model resisted being used to prove identities for these Lucasnomials or extending their ideas to other combinatorial sequences. The purpose of this paper is to give a new, even more natural model for these Lucasnomials using lattice paths which can be used to prove various equalities as well as extending to Catalan numbers and their relatives, such as those for finite Coxeter groups.
Sarrus rules and dihedral groups
Published
• View Publication
• BIB
This paper is devoted to the analysis of a false generalization of the rule of Sarrus and its properties that can be derived with the help of dihedral groups. Further, we discuss a Sarrus-like scheme that could be helpful for students to memorize the calculation of a $4\times 4$ determinant.
Universal gates with wires in a row
Published
• View Publication
• BIB
We give some optimal size generating sets for the group generated by shifts and local permutations on the binary full shift. We show that a single generator, namely the fully asynchronous application of the elementary cellular automaton 57 (or, by symmetry, ECA 99), suffices in addition to the shift. In the terminology of logical gates, we have a single reversible gate whose shifts generate all (finitary) reversible gates on infinitely many binary-valued wires that lie in a row and cannot (a priori) be rearranged. We classify pairs of words $u, v$ such that the gate swapping these two words, together with the shift and the bit flip, generates all local permutations. As a corollary, we obtain analogous results in the case where the wires are arranged on a cycle, confirming a conjecture of Macauley-McCammond-Mortveit and Vielhaber.
The partition algebra and the plethysm coefficients I: stability and Foulkes' conjecture
Published
• View Publication
• BIB
We propose a new approach to study plethysm coefficients by using the Schur-Weyl duality between the symmetric group and the partition algebra. This allows us to explain the stability properties of plethysm and Kronecker coefficients in a simple and uniform fashion for the first time. We prove the strengthened Foulkes' conjecture for stable plethysm coefficients in an elementary fashion.
Constructions and uses of incomplete pairwise balanced designs
Published
• View Publication
• BIB
We give explicit constructions for incomplete pairwise balanced designs IPBD$((v;w),K)$, or, equivalently, edge-decompositions of a difference of two cliques $K_v \setminus K_w$ into cliques whose sizes belong to the set $K$. Our constructions produce such designs whenever $v$ and $w$ satisfy the usual divisibility conditions, have ratio $v/w$ bounded away from the smallest value in $K$ minus one, say $v/w > k-1+ε$, for $k =\min K$ and $ε>0$, and are sufficiently large (depending on $K$ and $ε$). As a consequence, some new results are obtained on many related designs, including class-uniformly resolvable designs, incomplete mutually orthogonal latin squares, and group divisible designs. We also include several other applications that illustrate the power of using IPBDs as `templates'.
The topological support of the z-measures on the Thoma simplex
Published in Functional Analysis and its Applications 52:4 (2018), 308-310
• View Publication
• BIB
The Thoma simplex $Ω$ is an infinite-dimensional space, a kind of dual object to the infinite symmetric group. The z-measures are a family of probability measures on $Ω$ depending on three continuous parameters. One of them is the parameter of the Jack symmetric functions, and in the limit when it goes to $0$, the z-measures turn into the Poisson-Dirichlet distributions. The definition of the z-measures is somewhat implicit. We show that the topological support of any nondegenerate z-measure is the whole space $Ω$. The proof is based on results of arXiv:0902.3395 and arXiv:1806.07454.
Critical groups of iterated cones
Published
• View Publication
• BIB
Let G be a finite graph, and let G_n be the n-th iterated cone over G. We study the structure of the critical group of G_n arising in divisor and sandpile theory.
The Kirchhoff Index of Enhanced Hypercubes
Let $\{e_{1},\ldots,e_{n}\}$ be the standard basis of abelian group $Z_{2}^{n}$, which can be also viewed as a linear space of dimension $n$ over the Galois filed $F_{2}$, and $ε_{k}=e_k+e_{k+1}+\cdots+e_n$ for some $1\le k\le n-1$. It is well known that the so called enhanced hypercube $Q_{n, k}(1\le k \le n-1)$ is just the Cayley graph $Cay(Z_{2}^{n},S)$ where $S=\{e_{1},\ldots, e_{n},ε_{k}\}$. In this paper, we obtain the spectrum of $Q_{n, k}$, from which we give an exact formula of the Kirchhoff index of the enhanced hypercube $Q_{n, k}$. Furthermore, we prove that, for a given $n$, $Kf(Q_{n, k})$ is increased with the increase of $k$. Finally, we get $\lim\limits_{n\to\infty}\frac{Kf(Q_{n, k})}{\frac{2^{2n}}{n+1}}=1$.
On generalized Erdős-Ginzburg-Ziv constants of $C_n^r$
Published
• View Publication
• BIB
Let $G$ be an additive finite abelian group with exponent $\exp(G)=m$. For any positive integer $k$, the $k$-th generalized Erdős-Ginzburg-Ziv constant $\mathsf s_{km}(G)$ is defined as the smallest positive integer $t$ such that every sequence $S$ in $G$ of length at least $t$ has a zero-sum subsequence of length $km$. It is easy to see that $\mathsf s_{kn}(C_n^r)\ge(k+r)n-r$ where $n,r\in\mathbb N$. Kubertin conjectured that the equality holds for any $k\ge r$. In this paper, we mainly prove the following results:
(1) For every positive integer $k\ge 6$, we have $$\mathsf s_{kn}(C_n^3)=(k+3)n+O(\frac{n}{\ln n}).$$ (2) For every positive integer $k\ge 18$, we have $$\mathsf s_{kn}(C_n^4)=(k+4)n+O(\frac{n}{\ln n}).$$ (3) For $n\in \mathbb N$, assume that the largest prime power divisor of $n$ is $p^a$ for some $a\in\mathbb N$. For any fixed $r\ge 5$, if $p^t\ge r$ for some $t\in\mathbb N$, then for any $k\in\mathbb N$ we have $$\mathsf s_{kp^tn}(C_n^r)\le(kp^t+r)n+c_r\frac{n}{\ln n},$$ where $c_r$ is a constant depends on $r$.
Note that the main terms in our results are consistent with the conjectural values proposed by Kubertin.
Categories of Two-Colored Pair Partitions, Part I: Categories Indexed by Cyclic Groups
Published
• View Publication
• BIB
We classify certain categories of partitions of finite sets subject to specific rules on the colorization of points and the sizes of blocks. More precisely, we consider pair partitions such that each block contains exactly one white and one black point when rotated to one line; however crossings are allowed. There are two families of such categories, the first of which is indexed by cyclic groups and is covered in the present article; the second family will be the content of a follow-up article. Via a Tannaka-Krein result, the categories in the two families correspond to easy quantum groups interpolating the classical unitary group and Wang's free unitary quantum group. In fact, they are all half-liberated in some sense and our results imply that there are many more half-liberation procedures than previously expected. However, we focus on a purely combinatorial approach leaving quantum group aspects aside.
Infinite classes of strongly regular graphs derived from $GL(n,F_2)$
It is known that the automorphism group of the elementary abelian $2$-group $Z_2^n$ is isomorphic to the general linear group $GL(n,F_2)$ of degree $n$ over $F_2$. Let $W$ be the collection of permutation matrices of order $n$. It is clear that $W\le GL(n,F_2)$. In virtue of this, we consider the Cayley graph $Cay(Z_2^n,S)$, where $S$ is the union of some orbits under the action of $W$. We call such graphs the orbit Cayley graphs over $Z_2^n$. In this paper, we give eight infinite families of strongly regular graphs among orbit Cayley graphs over $Z_2^n$, in which six families are new as we know. By the way, we formulate the spectra of orbit Cayley graphs as well.