group
10430 papers tagged with this keyword
Skew Hadamard difference families and skew Hadamard matrices
Published
• View Publication
• BIB
In this paper, we generalize classical constructions of skew Hadamard difference families with two or four blocks in the additive groups of finite fields given by Szekeres (1969, 1971), Whiteman (1971) and Wallis-Whiteman (1972). In particular, we show that there exists a skew Hadamard difference family with $2^{u-1}$ blocks in the additive group of the finite field of order $q^e$ for any prime power $q\equiv 2^u+1\,({\mathrm{mod\, \, }2^{u+1}})$ with $u\ge 2$ and any positive integer $e$. In the aforementioned work of Szekeres, Whiteman, and Wallis-Whiteman, the constructions of skew Hadamard difference families with $2^{u-1}$ ($u=2$ or $3$) blocks in $({\mathbb F}_{q^e},+)$ depend on the exponent $e$, with $e\equiv 1,2,$ or $3\,({\mathrm{mod\, \, }4})$ when $u=2$, and $e\equiv 1\,({\mathrm{mod\, \, }2})$ when $u=3$, respectively. Our more general construction, in particular, removes the dependence on $e$. As a consequence, we obtain new infinite families of skew Hadamard matrices.
Combinatorics of One-Dimensional Simple Toeplitz Subshifts
Published in Ergod. Th. Dynam. Sys. 40 (2020) 1673-1714
• View Publication
• BIB
This paper provides a systematic study of fundamental combinatorial properties of one-dimensional, two-sided infinite simple Toeplitz subshifts. Explicit formulas for the complexity function, the palindrome complexity function and the repetitivity function are proven. Moreover, a complete description of the de Bruijn graphs of the subshifts is given. Finally, the Boshernitzan condition is characterised in terms of combinatorial quantities, based on a recent result of Liu and Qu. Particular simple characterisations are provided for simple Toeplitz subshifts that correspond to the orbital Schreier graphs of the family of Grigorchuk's groups, a class of subshifts that serves as main example throughout the paper.
Individual testing is optimal for nonadaptive group testing in the linear regime
Published in IEEE Transactions on Information Theory, 65:4, 2058-2061, 2019
• View Publication
• BIB
We consider nonadaptive probabilistic group testing in the linear regime, where each of n items is defective independently with probability p in (0,1), and p is a constant independent of n. We show that testing each item individually is optimal, in the sense that with fewer than n tests the error probability is bounded away from zero.
The ascent-plateau statistics on Stirling permutations
Published
• View Publication
• BIB
In this paper, several variants of the ascent-plateau statistic are introduced, including flag ascent-plateau, double ascent and descent-plateau. We first study the flag ascent-plateau statistic on Stirling permutations by using context-free grammars. We then present a unified refinement of the ascent polynomials and the ascent-plateau polynomials. In particular, by using Foata and Strehl's group action, we prove two bistatistics over the set of Stirling permutations of order n are equidistributed.
Algorithms for difference families in finite abelian groups
Published in Spec. Matrices 2019; 7: 127-141 (with a new title)
• Search Publication
Our main objective is to show that the computational methods that we previously developed to search for difference families in cyclic groups can be fully extended to the more general case of arbitrary finite abelian groups. In particular the power density PSD-test and the method of compression can be used to help the search.
Generalized coinvariant algebras for $G(r,1,n)$ in the Stanley-Reisner setting
Published
• View Publication
• BIB
Let $r$ and $n$ be positive integers, let $G_n$ be the complex reflection group of $n \times n$ monomial matrices whose entries are $r^{\textrm{th}}$ roots of unity and let $0 \leq k \leq n$ be an integer. Recently, Haglund, Rhoades and Shimozono ($r=1$) and Chan and Rhoades ($r>1$) introduced quotients $R_{n,k}$ (for $r>1$) and $S_{n,k}$ (for $r \geq 1$) of the polynomial ring $\mathbb{C}[x_1,\ldots,x_n]$ in $n$ variables, which for $k=n$ reduce to the classical coinvariant algebra attached to $G_n$. When $n=k$ and $r=1$, Garsia and Stanton exhibited a quotient of $\mathbb{C}[\mathbf{y}_S]$ isomorphic to the coinvariant algebra, where $\mathbb{C}[\mathbf{y}_S]$ is the polynomial ring in $2^n-1$ variables whose variables are indexed by nonempty subsets $S \subseteq [n]$. In this paper, we will define analogous quotients that are isomorphic to $R_{n,k}$ and $S_{n,k}$.
The topology of arrangements of ideal type
Published
• View Publication
• BIB
In 1962, Fadell and Neuwirth showed that the configuration space of the braid arrangement is aspherical. Having generalized this to many real reflection groups, Brieskorn conjectured this for all finite Coxeter groups. This in turn follows from Deligne's seminal work from 1972, where he showed that the complexification of every real simplicial arrangement is a $K(π,1)$-arrangement.
In this paper we study the $K(π,1)$-property for a certain class of subarrangements of Weyl arrangements, the so called arrangements of ideal type ${\mathscr A}_I$. These stem from ideals $I$ in the set of positive roots of a reduced root system. We show that the $K(π,1)$-property holds for all arrangements ${\mathscr A}_I$ if the underlying Weyl group is classical and that it extends to most of the ${\mathscr A}_I$ if the underlying Weyl group is of exceptional type. Conjecturally this holds for all ${\mathscr A}_I$. In general, the ${\mathscr A}_I$ are neither simplicial, nor is their complexification fiber type.
The Eulerian distribution on the involutions of the hyperoctahedral group is unimodal
Published
• View Publication
• BIB
The Eulerian distribution on the involutions of the symmetric group is unimodal, as shown by Guo and Zeng. In this paper we prove that the Eulerian distribution on the involutions of the hyperoctahedral group, when viewed as a colored permutation group, is unimodal in a similar way and we compute its generating function, using signed quasisymmetric functions.
Efficient algorithms for computing a minimal homology basis
Published
• View Publication
• BIB
Efficient computation of shortest cycles which form a homology basis under $\mathbb{Z}_2$-additions in a given simplicial complex $\mathcal{K}$ has been researched actively in recent years. When the complex $\mathcal{K}$ is a weighted graph with $n$ vertices and $m$ edges, the problem of computing a shortest (homology) cycle basis is known to be solvable in $O(m^2n/\log n+ n^2m)$-time. Several works \cite{borradaile2017minimum, greedy} have addressed the case when the complex $\mathcal{K}$ is a $2$-manifold. The complexity of these algorithms depends on the rank $g$ of the one-dimensional homology group of $\mathcal{K}$. This rank $g$ has a lower bound of $Θ(n)$, where $n$ denotes the number of simplices in $\mathcal{K}$, giving an $O(n^4)$ worst-case time complexity for the algorithms in \cite{borradaile2017minimum,greedy}. This worst-case complexity is improved in \cite{annotation} to $O(n^ω+ n^2g^{ω-1})$ for general simplicial complexes where $ω< 2.3728639$ \cite{le2014powers} is the matrix multiplication exponent. Taking $g=Θ(n)$, this provides an $O(n^{ω+1})$ worst-case algorithm. In this paper, we improve this time complexity. Combining the divide and conquer technique from \cite{DivideConquer} with the use of annotations from \cite{annotation}, we present an algorithm that runs in $O(n^ω+n^2g)$ time giving the first $O(n^3)$ worst-case algorithm for general complexes. If instead of minimal basis, we settle for an approximate basis, we can improve the running time even further. We show that a $2$-approximate minimal homology basis can be computed in $O(n^ω\sqrt{n \log n})$ expected time. We also study more general measures for defining the minimal basis and identify reasonable conditions on these measures that allow computing a minimal basis efficiently.
Spectral expansion of random sum complexes
Published
• View Publication
• BIB
Let $G$ be a finite abelian group of order $n$ and let $Δ_{n-1}$ denote the $(n-1)$-simplex on the vertex set $G$. The sum complex $X_{A,k}$ associated to a subset $A \subset G$ and $k < n$, is the $k$-dimensional simplicial complex obtained by taking the full $(k-1)$-skeleton of $Δ_{n-1}$ together with all $(k+1)$-subsets $σ\subset G$ that satisfy $\sum_{x \in σ} x \in A$. Let $C^{k-1}(X_{A,k})$ denote the space of complex valued $(k-1)$-cochains of $X_{A,k}$. Let $L_{k-1}:C^{k-1}(X_{A,k}) \rightarrow C^{k-1}(X_{A,k})$ denote the reduced $(k-1)$-th Laplacian of $X_{A,k}$, and let $μ_{k-1}(X_{A,k})$ be the minimal eigenvalue of $L_{k-1}$. It is shown that for any $k \geq 1$ and $ε>0$ there exists a constant $c(k,ε)$ such that if $A$ is a random subset of $G$ of size $m=\lceil c(k,ε) \log n \rceil$, then $μ_{k-1}(X_{A,k}) > (1-ε)m$ asymptotically almost surely.
On the cycle index and the weight enumerator
Published
• View Publication
• BIB
In this paper, we introduce the concept of the complete cycle index and discuss a relation with the complete weight enumerator in coding theory. This work was motivated by Cameron's lecture note "Polynomial aspects of codes, matroids and permutation groups."
A combinatorial approach to Rauzy-type dynamics II: the labelling method and a second proof of the KZB classification theorem
Published
• View Publication
• BIB
Rauzy-type dynamics are group actions on a collection of combinatorial objects. The first and best known example (the Rauzy dynamics) concerns an action on permutations, associated to interval exchange transformations (IET) for the Poincaré map on compact orientable translation surfaces. The equivalence classes on the objects induced by the group action have been classified by Kontsevich and Zorich, and by Boissy through methods involving both combinatorics algebraic geometry, topology and dynamical systems. Our first paper proposed an ad hoc combinatorial proof of this classification. In this paper we define a general method, called the labelling method, which allows one to classify Rauzy-type dynamics in a much more systematic way. We apply the method to the Rauzy dynamics and obtain a second combinatorial proof of the classification.
Boolean degree 1 functions on some classical association schemes
Published
• View Publication
• BIB
We investigate Boolean degree 1 functions for several classical association schemes, including Johnson graphs, Grassmann graphs, graphs from polar spaces, and bilinear forms graphs, as well as some other domains such as multislices (Young subgroups of the symmetric group). In some settings, Boolean degree 1 functions are also known as \textit{completely regular strength 0 codes of covering radius 1}, \textit{Cameron--Liebler line classes}, and \textit{tight sets}.
We classify all Boolean degree $1$ functions on the multislice. On the Grassmann scheme $J_q(n, k)$ we show that all Boolean degree $1$ functions are trivial for $n \geq 5$, $k, n-k \geq 2$ and $q \in \{ 2, 3, 4, 5 \}$, and that for general $q$, the problem can be reduced to classifying all Boolean degree $1$ functions on $J_q(n, 2)$. We also consider polar spaces and the bilinear forms graphs, giving evidence that all Boolean degree $1$ functions are trivial for appropriate choices of the parameters.
Noncrossing partitions, Bruhat order and the cluster complex
Published in Annales de l'Institut Fourier (Grenoble), 69(5) (2019), 2241--2289
• View Publication
• BIB
We introduce two order relations on finite Coxeter groups which refine the absolute and the Bruhat order, and establish some of their main properties. In particular we study the restriction of these orders to noncrossing partitions and show that the intervals for these orders can be enumerated in terms of the cluster complex. The properties of our orders permit to revisit several results in Coxeter combinatorics, such as the Chapoton triangles and how they are related, the enumeration of reflections with full support, the bijections between clusters and noncrossing partitions.
A group commutator involving the last distance matrix and dual distance matrix of a $Q$-polynomial distance-regular graph
Published
• View Publication
• BIB
Let $Γ$ denote the Hamming graph $H(D,r)$ with $r \geq 3$. Consider the distance matrices $\{A_i\}_{i=0}^{D}$ of $Γ$. Fix a vertex $x$ of $Γ$, and consider the dual distance matrices $\{A_i^{*}\}_{i=0}^{D}$ of $Γ$ with respect to $x$. We investigate the group commutator $A_{D}^{-1}A_{D}^{*-1}A_{D}A_{D}^{*}$. We show that this matrix is diagonalizable. We compute its eigenvalues and their eigenspaces. Let $T$ denote the subconstituent algebra of $Γ$ with respect to $x$. We describe the action of $A_{D}^{-1}A_{D}^{*-1}A_{D}A_{D}^{*}$ on each irreducible $T$-module.
Partial geodesics on symmetric groups endowed with breakpoint distance
The notion of partial geodesic was introduced by Jamshidpey et al. in "Sets of medians in the non-geodesic pseudometric space of unsigned genomes with breakpoints", 2014. In this paper, we study the density of points on non-trivial partial geodesics between two permutations $ξ_1^{(n)}$ and $ξ_2^{(n)}$ chosen uniformly and independently at random from the symmetric group $S_n$, where $S_n$ is endowed with the breakpoint distance. For a permutation $π:= π_1 \ ... \ π_n$, any unordered pair $\{π_i , π_{i+1}\}$, for $i=1, ..., n-1$, is called an adjacency of $π$. The set of all adjacencies of $π$ is denoted by $\mathcal{A}_π$. Denote by $id^{(n)}$ the identity permutation, and let $I_n$ be an arbitrary subset of $\mathcal A_{id^{(n)}}$. We classify the set of all adjacencies of a permutation $π\in S_n$ into four types, with respect to $I_n$. Then for a permutation $ξ^{(n)}$ chosen uniformly at random from $S_n$, we derive a convergence theorem for the normalized number (after dividing by $n$) of adjacencies of each type in $ξ^{(n)}$ with respect to $I_n$ (for some random or deterministic choices of $I_n$), as $n\rightarrow \infty$. We also see an application of this convergence theorem to find the appropriate choices of $I_n$. A geodesic point of $u$ and $v$ in a pseudometric space $(S,ρ)$ is a point $w$ of the space that $ρ(u,w)+ρ(w,v)=ρ(u,v)$. We find an upper bound for the number of permutations $x\in S_n$ for which there exists at least one non-trivial geodesic point between $id^{(n)}$ and $x$, far from both. This partially verifies the conjecture of Haghighi and Sankoff stated in "Medians seek the corners, and other conjectures", 2012, namely we prove that, with high probability, there is no breakpoint median of two permutations $ξ_1^{(n)}$ and $ξ_2^{(n)}$ chosen uniformly and independently at random from $S_n$, far from both of them.
Efficient arithmetic regularity and removal lemmas for induced bipartite patterns
Published in Discrete Analysis 2019:3, 14 pp
• View Publication
• BIB
Let $G$ be an abelian group of bounded exponent and $A \subseteq G$. We show that if the collection of translates of $A$ has VC dimension at most $d$, then for every $ε>0$ there is a subgroup $H$ of $G$ of index at most $ε^{-d-o(1)}$ such that one can add or delete at most $ε|G|$ elements to/from $A$ to make it a union of $H$-cosets.
We also establish a removal lemma with polynomial bounds, with applications to property testing, for induced bipartite patterns in a finite abelian group with bounded exponent.
Directed Strongly Regular Cayley Graphs on Dihedral groups
Published
• View Publication
• BIB
In this paper,we construct some directed strongly regular Cayley graphs on dihedral groups,these generalizes some earlier constructions.We also characterize some certain directed strongly regular Cayley graphs on dihedral groups $D_{p^α}$,where $p$ is a prime and $α\geqslant 1$ is a positive integer.
A Sundaram type bijection for SO(3): vacillating tableaux and pairs of standard Young tableaux and orthogonal Littlewood-Richardson tableaux
Based on the direct-sum-decomposition of the rth tensor power of the defining representation of the special orthogonal group SO(2k+1) one is interested in a bijective approach for determining the Frobenius characters of the isotypic components. In particular this leads us to a bijection between vacillating tableaux and pairs of standard Young tableaux and orthogonal Littlewood-Richardson tableaux, which we present for SO(3). Moreover we introduce the descent set of a vacillating tableau. As our bijection preserves this descent set, we also obtain the quasi-symmetric expansion of the Frobenius characters.
The Structure of the Three-Dimensional Special Linear Group over a Local Field
For K a local field, it is shown that SL3(K) acts on a simply connected two dimensional simplicial complex in which a single face serves as a fundamental domain. From this it follows that SL3(K) is the generalized amalgamated product of three subgroups. Specifically if K is the field of fractions of the discrete valuation ring O, then SL3(K) is the amalgamation of three subgroups isomorphic to SL3(O) along pairwise intersections. This generalizes a theorem of Ihara, which gives the structure of SL2(K) as the amalgamated product of two groups in analogous fashion.