group
10405 papers tagged with this keyword
High Rate LDPC Codes from Difference Covering Arrays
This paper presents a combinatorial construction of low-density parity-check (LDPC) codes from difference covering arrays. While the original construction by Gallagher was by randomly allocating bits in a sparse parity-check matrix, over the past 20 years researchers have used a variety of more structured approaches to construct these codes, with the more recent constructions of well-structured LDPC coming from balanced incomplete block designs (BIBDs) and from Latin squares over finite fields. However these constructions have suffered from the limited orders for which these designs exist. Here we present a construction of LDPC codes of length $4n^2 - 2n$ for all $n$ using the cyclic group of order $2n$. These codes achieve high information rate (greater than 0.8) for $n \geq 8$, have girth at least 6 and have minimum distance 6 for $n$ odd.
Construction and nonexistence of strong external difference families
Published
• View Publication
• BIB
Strong external difference families (SEDFs) were introduced by Paterson and Stinson as a more restrictive version of external difference families. SEDFs can be used to produce optimal strong algebraic manipulation detection codes. We characterize the parameters $(v, m, k, λ)$ of a nontrivial SEDF that is near-complete (satisfying $v=km+1$). We construct the first known nontrivial example of a $(v, m, k, λ)$ SEDF having $m > 2$. The parameters of this example are $(243,11,22,20)$, giving a near-complete SEDF, and its group is $\mathbb{Z}_3^5$. We provide a comprehensive framework for the study of SEDFs using character theory and algebraic number theory, showing that the cases $m=2$ and $m>2$ are fundamentally different. We prove a range of nonexistence results, greatly narrowing the scope of possible parameters of SEDFs.
Orientably-regular maps on twisted linear fractional groups
Published
• View Publication
• BIB
We present an enumeration of orientably-regular maps with automorphism group isomorphic to the twisted linear fractional group $M(q^2)$ for any odd prime power $q$.
Specht Polytopes and Specht Matroids
Published
• View Publication
• BIB
The generators of the classical Specht module satisfy intricate relations. We introduce the Specht matroid, which keeps track of these relations, and the Specht polytope, which also keeps track of convexity relations. We establish basic facts about the Specht polytope, for example, that the symmetric group acts transitively on its vertices and irreducibly on its ambient real vector space. A similar construction builds a matroid and polytope for a tensor product of Specht modules, giving "Kronecker matroids" and "Kronecker polytopes" instead of the usual Kronecker coefficients. We dub this process of upgrading numbers to matroids and polytopes "matroidification," giving two more examples. In the course of describing these objects, we also give an elementary account of the construction of Specht modules different from the standard one. Finally, we provide code to compute with Specht matroids and their Chow rings.
Exponential Bounds for the Erdős-Ginzburg-Ziv Constant
Published in Journal of Combinatorial Theory Series A 174, 105185, 19 pp, 2020
• View Publication
• BIB
The Erdős-Ginzburg-Ziv constant of an abelian group $G$, denoted $\mathfrak{s}(G)$, is the smallest $k\in\mathbb{N}$ such that any sequence of elements of $G$ of length $k$ contains a zero-sum subsequence of length $\exp(G)$. In this paper, we use the partition rank, which generalizes the slice rank, to prove that for any odd prime $p$, \[ \mathfrak{s}\left(\mathbb{F}_{p}^{n}\right)\leq(p-1)2^{p}\left(J(p)\cdot p\right)^{n} \] where $0.8414<J(p)<0.91837$ is the constant appearing in Ellenberg and Gijswijt's bound on arithmetic progression-free subsets of $\mathbb{F}_{p}^{n}$. For large $n$, and $p>3$, this is the first exponential improvement to the trivial bound. We also provide a near optimal result conditional on the conjecture that $\left(\mathbb{Z}/k\mathbb{Z}\right)^{n}$ satisfies property $D$, showing that in this case \[ \mathfrak{s}\left(\left(\mathbb{Z}/k\mathbb{Z}\right)^{n}\right)\leq(k-1)4^{n}+k. \]
Toggling independent sets of a path graph
Published in Electron. J. Combin., 25(1):1-18, 2018
• View Publication
• BIB
This paper explores the orbit structure and homomesy (constant averages over orbits) properties of certain actions of toggle groups on the collection of independent sets of a path graph. In particular we prove a generalization of a homomesy conjecture of Propp that for the action of a "Coxeter element" of vertex toggles, the difference of indicator functions of symmetrically-located vertices is 0-mesic. Then we use our analysis to show facts about orbit sizes that are easy to conjecture but nontrivial to prove. Besides its intrinsic interest, this particular combinatorial dynamical system is valuable in providing an interesting example of (a) homomesy in a context where large orbit sizes make a cyclic sieving phenomenon unlikely to exist, (b) the use of Coxeter theory to greatly generalize the set of actions for which results hold, and (c) the usefulness of Striker's notion of generalized toggle groups.
On the Existence of Tableaux with Given Modular Major Index
Published
• View Publication
• BIB
We provide simple necessary and sufficient conditions for the existence of a standard Young tableau of a given shape and major index $r$ mod $n$, for all $r$. Our result generalizes the $r=1$ case due essentially to (1974) and proves a recent conjecture due to Sundaram (2016) for the $r=0$ case. A byproduct of the proof is an asymptotic equidistribution result for "almost all" shapes. The proof uses a representation-theoretic formula involving Ramanujan sums and normalized symmetric group character estimates. Further estimates involving "opposite" hook lengths are given which are well-adapted to classifying which partitions $λ\vdash n$ have $f^λ\leq n^d$ for fixed $d$. We also give a new proof of a generalization of the hook length formula due to Fomin-Lulov (1995) for symmetric group characters at rectangles. We conclude with some remarks on unimodality of symmetric group characters.
Fixed points in compactifications and combinatorial counterparts
The Kechris-Pestov-Todorcevic correspondence connects extreme amenability of non-Archimedean Polish groups with Ramsey properties of classes of finite structures. The purpose of the present paper is to recast it as one of the instances of a more general construction, allowing to show that Ramsey-type statements actually appear as natural combinatorial expressions of the existence of fixed points in certain compactifications of groups, and that similar correspondences in fact exist in various dynamical contexts.
Lie-Butcher series, Geometry, Algebra and Computation
Published
• View Publication
• BIB
Lie-Butcher (LB) series are formal power series expressed in terms of trees and forests. On the geometric side LB-series generalizes classical B-series from Euclidean spaces to Lie groups and homogeneous manifolds. On the algebraic side, B-series are based on pre-Lie algebras and the Butcher-Connes-Kreimer Hopf algebra. The LB-series are instead based on post-Lie algebras and their enveloping algebras. Over the last decade the algebraic theory of LB-series has matured. The purpose of this paper is twofold. First, we aim at presenting the algebraic structures underlying LB series in a concise and self contained manner. Secondly, we review a number of algebraic operations on LB-series found in the literature, and reformulate these as recursive formulae. This is part of an ongoing effort to create an extensive software library for computations in LB-series and B-series in the programming language Haskell.
Equivariant Euler characteristics of subspace posets
We compute the (primary) equivariant Euler characteristics of the building for the general linear group over a finite field.
Schur P-positivity and involution Stanley symmetric functions
Published in IMRN (2017), rnx274
• View Publication
• BIB
The involution Stanley symmetric functions $\hat{F}_y$ are the stable limits of the analogues of Schubert polynomials for the orbits of the orthogonal group in the flag variety. These symmetric functions are also generating functions for involution words, and are indexed by the involutions in the symmetric group. By construction each $\hat{F}_y$ is a sum of Stanley symmetric functions and therefore Schur positive. We prove the stronger fact that these power series are Schur $P$-positive. We give an algorithm to efficiently compute the decomposition of $\hat{F}_y$ into Schur $P$-summands, and prove that this decomposition is triangular with respect to the dominance order on partitions. As an application, we derive pattern avoidance conditions which characterize the involution Stanley symmetric functions which are equal to Schur $P$-functions. We deduce as a corollary that the involution Stanley symmetric function of the reverse permutation is a Schur $P$-function indexed by a shifted staircase shape. These results lead to alternate proofs of theorems of Ardila-Serrano and DeWitt on skew Schur functions which are Schur $P$-functions. We also prove new Pfaffian formulas for certain related involution Schubert polynomials.
Predicting some physicochemical properties of octane isomers: A topological approach using ev-degree and ve-degree Zagreb indices
Published
• View Publication
• BIB
Topological indices have important role in theoretical chemistry for QSPR researches. Among the all topological indices the Randić and the Zagreb indices have been used more considerably than any other topological indices in chemical and mathematical literature. Most of the topological indices as in the Randić and the Zagreb indices are based on the degrees of the vertices of a connected graph. Recently novel two degree concepts have been defined in graph theory; ev-degrees and ve-degrees. In this study we define ev-degree Zagreb index, ve-degree Zagreb indices and ve-degree Randić index by using these new graph invariants as parallel to their corresponding classical degree versions. We compare these new group ev-degree and ve-degree indices with the other well-known and most used topological indices in literature such as; Wiener, Zagreb and Randić indices by modelling some physicochemical properties of octane isomers. We show that the ev-degree Zagreb index, the ve-degree Zagreb and the ve-degree Randić indices give better correlation than Wiener, Zagreb and Randić indices to predict the some specific physicochemical properties of octanes. We investigate the relations between the second Zagreb index and ev-degree and ve-degree Zagreb indices and some mathematical properties of ev-degree and ve-degree Zagreb indices. Keywords:
Apartments preserving transformations of Grassmannians of infinite-dimensional vector spaces
Published
• View Publication
• BIB
We define the Grassmannians of an infinite-dimensional vector space $V$ as the orbits of the action of the general linear group ${\rm GL}(V)$ on the set of all subspaces. Let ${\mathcal G}$ be one of these Grassmannians. An apartment in ${\mathcal G}$ is the set of all elements of ${\mathcal G}$ spanned by subsets of a certain basis of $V$. We show that every bijective transformation $f$ of ${\mathcal G}$ such that $f$ and $f^{-1}$ send apartments to apartments is induced by a semilinear automorphism of $V$. In the case when ${\mathcal G}$ consists of subspaces whose dimension and codimension both are infinite, a such kind result will be proved also for the connected components of the associated Grassmann graph.
A note on the relation between Hartnell's firefighter problem and growth of groups
Published
• View Publication
• BIB
The firefighter game problem on locally finite connected graphs was introduced by Bert Hartnell. The game on a graph $G$ can be described as follows: let $f_n$ be a sequence of positive integers; an initial fire starts at a finite set of vertices; at each (integer) time $n\geq 1$, $f_n$ vertices which are not on fire become protected, and then the fire spreads to all unprotected neighbors of vertices on fire; once a vertex is protected or is on fire, it remains so for all time intervals. The graph $G$ has the \emph{$f_n$-containment property} if every initial fire admits an strategy that protects $f_n$ vertices at time $n$ so that the set of vertices on fire is eventually constant. If the graph $G$ has the containment property for a sequence of the form $f_n=Cn^d$, then the graph is said to have \emph{polynomial containment}. In [5], it is shown that any locally finite graph with polynomial growth has polynomial containment; and it is remarked that the converse does not hold. That article also raised the question of whether the equivalence of polynomial growth and polynomial containment holds for Cayley graphs of finitely generated groups. In this short note, we remark how the equivalence holds for elementary amenable groups and for non-amenable groups from results in the literature.
Equations and tropicalization of Enriques surfaces
Published
• View Publication
• BIB
In this article we explicitly compute equations of an Enriques surface via the involution on a K3 surface. We also discuss its tropicalization and compute the tropical homology, thus recovering a special case of the result of \cite{IKMZ}, and establish a connection between the dimension of the tropical homology groups and the Hodge numbers of the corresponding algebraic Enriques surface.
Cyclotomic Construction of Strong External Difference Families in Finite Fields
Published
• View Publication
• BIB
Strong external difference family (SEDF) and its generalizations GSEDF, BGSEDF in a finite abelian group $G$ are combinatorial designs raised by Paterson and Stinson [7] in 2016 and have applications in communication theory to construct optimal strong algebraic manipulation detection codes. In this paper we firstly present some general constructions of these combinatorial designs by using difference sets and partial difference sets in $G$. Then, as applications of the general constructions, we construct series of SEDF, GSEDF and BGSEDF in finite fields by using cyclotomic classes.
The transition matrix between the Specht and web bases is unipotent with additional vanishing entries
Published
• View Publication
• BIB
We compare two important bases of an irreducible representation of the symmetric group: the web basis and the Specht basis. The web basis has its roots in the Temperley-Lieb algebra and knot-theoretic considerations. The Specht basis is a classic algebraic and combinatorial construction of symmetric group representations which arises in this context through the geometry of varieties called Springer fibers. We describe a graph that encapsulates combinatorial relations between each of these bases, prove that there is a unique way (up to scaling) to map the Specht basis into the web representation, and use this to recover a result of Garsia-McLarnan that the transition matrix between the Specht and web bases is upper-triangular with ones along the diagonal. We then strengthen their result to prove vanishing of certain additional entries unless a nesting condition on webs is satisfied. In fact we conjecture that the entries of the transition matrix are nonnegative and are nonzero precisely when certain directed paths exist in the web graph.
Locally infinite graphs and symmetries
When one studies geometric properties of graphs, local finiteness is a common implicit assumption, and that of transitivity a frequent explicit one. By compactness arguments, local finiteness guarantees several regularity properties. It is generally easy to find counterexamples to such regularity results when the assumption of local finiteness is dropped. The present work focuses on the following problem: determining whether these regularity properties still hold when local finiteness is replaced by an assumption of transitivity.
After recalling the locally finite situation, we show that there are Cayley graphs with infinite generating systems that have infinite diameter but do not contain any infinite geodesic ray. We also introduce a notion of generalised diameter. The generalised diameter of a graph is either an ordinal or "truly infinite" and captures the extension properties of geodesic paths. It is a finite ordinal if and only if the usual diameter is finite, and in that case the two notions agree. Besides, the generalised diameter is "truly infinite" if and only if the considered graph contains an infinite geodesic ray. We show that there exist Cayley graphs of abelian groups of arbitrary generalised diameter.
Finally, we build Cayley graphs of abelian groups that have isomorphic balls of radius R for every R but are not globally isomorphic. This enables us to construct a non-transitive graph such that for every R and any vertices u and v, the ball of centre u and radius R is isomorphic to that of centre v and same radius.
Dihedral Transportation and (0,1)-Matrix Classes
Published
• View Publication
• BIB
Let R and S be two vectors of real numbers whose entries have the same sum. In the transportation problems one wishes to find a matrix A with row sum vector R and column sum vector S. If, in addition, the two vectors only contain nonnegative integers then one wants the same to be true for A. This can always be done and the transportation algorithm gives a method for explicitly calculating A. We can restrict things even further and insist that A have only entries zero and one. In this case, the Gale-Ryser Theorem gives necessary and sufficient conditions for A to exist and this result can be proved constructively. One can let the dihedral group D_4 of the square act on matrices. Then a subgroup of D_4 defines a set of matrices invariant under the subgroup. So one can consider analogues of the transportation and (0,1) problems for these sets of matrices. For every subgroup, we give conditions equivalent to the existence of the desired type of matrix.
Cubic edge-transitive bi-Cayley graphs over inner-abelian p-groups
Published
• View Publication
• BIB
A graph is said to be a bi-Cayley graph over a group H if it admits H as a group of automorphisms acting semiregularly on its vertices with two orbits. A non-abelian group is called an inner-abelian group if all of its proper subgroups are abelian. In this paper, we complete the classification of connected cubic edge-transitive bi-Cayley graphs over inner-abelian p-groups for an odd prime p.