group
10258 papers tagged with this keyword
The $\mathrm{L}_3(4)$ near octagon
In recent work we constructed two new near octagons, one related to the finite simple group $\mathrm{G}_2(4)$ and another one as a sub-near-octagon of the former. In the present paper, we give a direct construction of this sub-near-octagon using a split extension of the group $\mathrm{L}_3(4)$. We derive several geometric properties of this $\mathrm{L}_3(4)$ near octagon, and determine its full automorphism group. We also prove that the $\mathrm{L}_3(4)$ near octagon is closely related to the second subconstituent of the distance-regular graph on 486 vertices discovered by Soicher in 1993.
NP-hard sets are not sparse unless P=NP: An exposition of a simple proof of Mahaney's Theorem, with applications
Mahaney's Theorem states that, assuming $\mathsf{P} \neq \mathsf{NP}$, no NP-hard set can have a polynomially bounded number of yes-instances at each input length. We give an exposition of a very simple unpublished proof of Manindra Agrawal whose ideas appear in Agrawal-Arvind ("Geometric sets of low information content," Theoret. Comp. Sci., 1996). This proof is so simple that it can easily be taught to undergraduates or a general graduate CS audience - not just theorists! - in about 10 minutes, which the author has done successfully several times. We also include applications of Mahaney's Theorem to fundamental questions that bright undergraduates would ask which could be used to fill the remaining hour of a lecture, as well as an application (due to Ikenmeyer, Mulmuley, and Walter, arXiv:1507.02955) to the representation theory of the symmetric group and the Geometric Complexity Theory Program. To this author, the fact that sparsity results on NP-complete sets have an application to classical questions in representation theory says that they are not only a gem of classical theoretical computer science, but indeed a gem of mathematics.
Reconstructing Partitions from their Multisets of $k$-Minors
For non-negative integers $n$ and $k$ with $n \ge k$, a {\em $k$-minor} of a partition $λ= [λ_1, λ_2, \dots]$ of $n$ is a partition $μ= [μ_1, μ_2, \dots]$ of $n-k$ such that $μ_i \le λ_i$ for all $i$. The multiset $\widehat{M}_k(λ)$ of $k$-minors of $λ$ is defined as the multiset of $k$-minors $μ$ with multiplicity of $μ$ equal to the number of standard Young tableaux of skew shape $λ/ μ$. We show that there exists a function $G(n)$ such that the partitions of $n$ can be reconstructed from their multisets of $k$-minors if and only if $k \le G(n)$. Furthermore, we prove that $\lim_{n \rightarrow \infty} G(n)/n = 1$ with $n-G(n) = O(n/\log n)$. As a direct consequence of this result, the irreducible representations of the symmetric group $S_n$ can be reconstructed from their restrictions to $S_{n-k}$ if and only if $k \le G(n)$ for the same function $G(n)$. For a minor $μ$ of the partition $λ$, we study the excitation factor $E_μ(λ)$, which appears as a crucial part in Naruse's Skew-Shape Hook Length Formula. We observe that certain excitation factors of $λ$ can be expressed as a $\mathbb{Q}[k]$-linear combination of the elementary symmetric polynomials of the hook lengths in the first row of $λ$ where $k = λ_1$ is the number of cells in the first row of $λ$.
A zero-sum problem on graphs
Call a graph $G$ zero-forcing for a finite abelian group $\mathcal{G}$ if for every $\ell : V(G) \to \mathcal{G}$ there is a connected $A \subseteq V(G)$ with $\sum_{a \in A} \ell(a) = 0$. The problem we pose here is to characterise the class of zero-forcing graphs. It is shown that a connected graph is zero-forcing for the cyclic group of prime order $p$ if and only if it has at least $p$ vertices. When $|\mathcal{G}|$ is not prime, however, being zero-forcing is intimately linked to the structure of the graph. We obtain partial solutions for the general case, discuss computational issues and present several questions.
A Tutte polynomial for maps
Published
• View Publication
• BIB
We follow the example of Tutte in his construction of the dichromate of a graph (that is, the Tutte polynomial) as a unification of the chromatic polynomial and the flow polynomial in order to construct a new polynomial invariant of maps (graphs embedded in orientable surfaces). We call this the surface Tutte polynomial. The surface Tutte polynomial of a map contains the Las Vergnas polynomial, Bollobás-Riordan polynomial and Kruskhal polynomial as specializations. By construction, the surface Tutte polynomial includes among its evaluations the number of local tensions and local flows taking values in any given finite group. Other evaluations include the number of quasi-forests.
Ewens sampling and invariable generation
Published
• View Publication
• BIB
We study the number of random permutations needed to invariably generate the symmetric group, $S_n$, when the distribution of cycle counts has the strong $α$-logarithmic property. The canonical example is the Ewens sampling formula, for which the number of $k$-cycles relates to a conditioned Poisson random variable with mean $α/k$. The special case $α=1$ corresponds to uniformly random permutations, for which it was recently shown that exactly four are needed. For strong $α$-logarithmic measures, and almost every $α$, we show that precisely $\left\lceil ( 1- α\log 2 )^{-1} \right\rceil$ permutations are needed to invariably generate $S_n$. A corollary is that for many other probability measures on $S_n$ no bounded number of permutations will invariably generate $S_n$ with positive probability. Along the way we generalize classic theorems of Erdős, Tehran, Pyber, Luczak and Bovey to permutations obtained from the Ewens sampling formula.
Combinatorial differential operators in: Faà di Bruno formula, enumeration of ballot paths, enriched rooted trees and increasing rooted trees
We obtain a differential equation for the enumeration of the path length of general increasing trees. By using differential operators and their combinatorial interpretation we give a bijective proof of a version of Faà di Bruno formula, and model the generation of ballot and Dyck paths. We get formulas for its enumeration according with the height of their lattice points. Recursive formulas for the enumeration of enriched increasing trees and forests with respect to the height of their internal and external vertices are also obtained. Finally we present a generalized form of all those results using one-parameter groups in the general context of formal power series in an arbitrary number of variables.
On face numbers of flag simplicial complexes
Published
• View Publication
• BIB
Denham, Suciu and Panov, Ray computed ranks of homotopy groups and Poincaré series of a moment-angle-complex $\mathcal Z(\mathcal K$) / Davis-Januzskiewicz space $DJ(\mathcal K)$ associated to a flag simplicial complex $\mathcal K$. In this note we revisit these results and interpret them as polynomial bounds on the face numbers of an arbitrary simplicial flag complex.
Regularity of aperiodic minimal subshifts
Published in Bulletin of Mathematical Sciences. 8(3): 413-434 (2018)
• View Publication
• BIB
At the turn of this century Durand, and Lagarias and Pleasants established that key features of minimal subshifts (and their higher-dimensional analogues) to be studied are linearly repetitive, repulsive and power free. Since then, generalisations and extensions of these features, namely $α$-repetitive, $α$-repulsive and $α$-finite ($α\geq 1$), have been introduced and studied. We establish the equivalence of $α$-repulsive and $α$-finite for general subshifts over finite alphabets. Further, we studied a family of aperiodic minimal subshifts stemming from Grigorchuk's infinite $2$-group $G$. In particular, we show that these subshifts provide examples that demonstrate $α$-repulsive (and hence $α$-finite) is not equivalent to $α$-repetitive, for $α> 1$. We also give necessary and sufficient conditions for these subshifts to be $α$-repetitive, and $α$-repulsive (and hence $α$-finite). Moreover, we obtain an explicit formula for their complexity functions from which we deduce that they are uniquely ergodic.
Minimal factorizations of a cycle: a multivariate generating function
Published in DMTCS Proceedings, 28th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2016), 239--250
• View Publication
• BIB
It is known that the number of minimal factorizations of the long cycle in the symmetric group into a product of $k$ cycles of given lengths has a very simple formula: it is $n^{k-1}$ where $n$ is the rank of the underlying symmetric group and $k$ is the number of factors. In particular, this is $n^{n-2}$ for transposition factorizations. The goal of this work is to prove a multivariate generalization of this result. As a byproduct, we get a multivariate analog of Postnikov's hook length formula for trees, and a refined enumeration of final chains of noncrossing partitions.
Multi-Point AG Codes on the GK Maximal Curves
Published
• View Publication
• BIB
In this paper we investigate multi-point Algebraic-Geometric codes associated to the GK maximal curve, starting from a divisor which is invariant under a large automorphism group of the curve. We construct families of codes with large automorphism groups.
Semi-equivelar and vertex-transitive maps on the torus
Published in Beitr Algebra Geom (2017) 58:617--634
• View Publication
• BIB
A vertex-transitive map $X$ is a map on a closed surface on which the automorphism group ${\rm Aut}(X)$ acts transitively on the set of vertices. If the face-cycles at all the vertices in a map are of same type then the map is said to be a semi-equivelar map. Clearly, a vertex-transitive map is semi-equivelar. Converse of this is not true in general. We show that there are eleven types of semi-equivelar maps on the torus. Three of these are equivelar maps. It is known that two of the three types of equivelar maps on the torus are always vertex-transitive. We show that this is true for the remaining one type of equivelar map and one other type of semi-equivelar maps, namely, if $X$ is a semi-equivelar map of type $[6^3]$ or $[3^3, 4^2]$ then $X$ is vertex-transitive. We also show, by presenting examples, that this result is not true for the remaining seven types of semi-equivelar maps. There are ten types of semi-equivelar maps on the Klein bottle. We present examples in each of the ten types which are not vertex-transitive.
Group Invariant Weighing Matrices
Published
• View Publication
• BIB
We investigate the existence problem of group invariant matrices using algebraic approaches. We extend the usual concept of multipliers to group rings with cyclotomic integers as coefficients. This concept is combined with the field descent method and rational idempotents to develop new non-existence results.
A property of the Birkhoff polytope
Published in Algebraic Combinatorics 1 (2018), no. 2, p. 275--281
• View Publication
• BIB
The Birkhoff polytope $B_n$ is the convex hull of all $n\times n$ permutation matrices in $\mathbb{R}^{n\times n}$. We compute the combinatorial symmetry group of the Birkhoff polytope.
A representation polytope is the convex hull of some finite matrix group $G\leq \operatorname{GL}(d,\mathbb{R})$. We show that the group of permutation matrices is essentially the only finite matrix group which yields a representation polytope with the same face lattice as the Birkhoff polytope.
Improved Bounds on Sidon Sets via Lattice Packings of Simplices
Published in SIAM J. Discrete Math., vol. 31, no. 3, pp. 2269-2278, 2017
• View Publication
• BIB
A $ B_h $ set (or Sidon set of order $ h $) in an Abelian group $ G $ is any subset $ \{b_0, b_1, \ldots,b_{n}\} $ of $ G $ with the property that all the sums $ b_{i_1} + \cdots + b_{i_h} $ are different up to the order of the summands. Let $ φ(h,n) $ denote the order of the smallest Abelian group containing a $ B_h $ set of cardinality $ n + 1 $. It is shown that \[ \lim_{h \to \infty} \frac{ φ(h,n) }{ h^n } = \frac{1}{n! δ_L(\triangle^n)} , \] where $ δ_L(\triangle^n) $ is the lattice packing density of an $ n $-simplex in Euclidean space. This determines the asymptotics exactly in cases where this density is known ($ n \leq 3 $) and gives improved bounds on $ φ(h,n) $ in the remaining cases. The corresponding geometric characterization of bases of order $ h $ in finite Abelian groups in terms of lattice coverings by simplices is also given.
On a Graph Connecting Hyperbinary Expansions
Published
• View Publication
• BIB
Le n be any positive integer. A hyperbinary expansion of n is are presentation of n as sum of powers of 2, each power being used at most twice. In this paper we study some properties of a suitable edge-coloured and vertex-weighted oriented graph A(n) whose nodes are precisely the several hyperbinary representations of n. In particular, we identify those integers m in N such that the fundamental group of A(m) is abelian.
Algebraic properties of chromatic roots
Published in Electronic J. Combinatorics 24(1) (2017), paper #P1.21
• View Publication
• BIB
A \emph{chromatic root} is a root of the chromatic polynomial of a graph. Any chromatic root is an algebraic integer. Much is known about the location of chromatic roots in the real and complex numbers, but rather less about their properties as algebraic numbers. This question was the subject of a seminar at the Isaac Newton Institute in late 2008. The purpose of this paper is to report on the seminar and subsequent developments.
We conjecture that, for every algebraic integer $α$, there is a natural number $n$ such that $α+n$ is a chromatic root. This is proved for quadratic integers, an extension to cubic integers has been found by Adam Bohn. The idea is to consider certain special classes of graphs for which the chromatic polynomial is a product of linear factors and one "interesting" factor of larger degree. We also report computational results on the Galois groups of irreducible factors of the chromatic polynomial for some special graphs. Finally, extensions to the Tutte polynomial are mentioned briefly.
Relative $m$-ovoids of elliptic quadrics
Let ${\cal Q}^-(2n+1,q)$ be an elliptic quadric of ${\rm PG}(2n+1,q)$. A relative $m$-ovoid of ${\cal Q}^-(2n+1,q)$ (with respect to a parablic section ${\cal Q} := {\cal Q}(2n,q) \subset {\cal Q}^-(2n+1,q)$) is a subset $\cal R$ of points of ${\cal Q}^-(2n+1,q)\setminus {\cal Q}$ such that every generator of ${\cal Q}^-(2n+1,q)$ not contained in $\cal Q$ meets $\cal R$ in precisely $m$ points. A relative $m$-ovoid having the same size as its complement (in ${\cal Q}^-(2n+1,q) \setminus {\cal Q}$) is called a relative hemisystem. We show that a nontrivial relative $m$-ovoid of ${\cal Q}^-(2n+1,q)$ is necessarily a relative hemisystem, forcing $q$ to be even. Also, we construct an infinite family of relative hemisystems of ${\cal Q}^-(4n+1,q)$, $n \ge 2$, admitting ${\rm PSp}(2n,q^2)$ as an automorphism group. Finally, some applications are given.
Cubic graphs and the golden mean
Published
• View Publication
• BIB
The connective constant $μ(G)$ of a graph $G$ is the exponential growth rate of the number of self-avoiding walks starting at a given vertex. We investigate the validity of the inequality $μ\ge φ$ for infinite, transitive, simple, cubic graphs, where $φ:= \frac12(1+\sqrt 5)$ is the golden mean. The inequality is proved for several families of graphs including (i) Cayley graphs of infinite groups with three generators and strictly positive first Betti number, (ii) infinite, transitive, topologically locally finite (TLF) planar, cubic graphs, and (iii) cubic Cayley graphs with two ends. Bounds for $μ$ are presented for transitive cubic graphs with girth either $3$ or $4$, and for certain quasi-transitive cubic graphs.
Transition formulas for involution Schubert polynomials
Published in Sel. Math. New Ser. 24 (2018) 2991-3025
• View Publication
• BIB
The orbits of the orthogonal and symplectic groups on the flag variety are in bijection, respectively, with the involutions and fixed-point-free involutions in the symmetric group $S_n$. Wyser and Yong have described polynomial representatives for the cohomology classes of the closures of these orbits, which we denote as $\hat{\mathfrak{S}}_y$ (to be called involution Schubert polynomials) and $\hat{\mathfrak{S}}^{\tt FPF}_y$ (to be called fixed-point-free involution Schubert polynomials). Our main results are explicit formulas decomposing the product of $\hat{\mathfrak{S}}_y$ (respectively, $\hat{\mathfrak{S}}^{\tt FPF}_y$) with any $y$-invariant linear polynomial as a linear combination of other involution Schubert polynomials. These identities serve as analogues of Lascoux and Schützenberger's transition formula for Schubert polynomials, and lead to a self-contained algebraic proof of the nontrivial equivalence of several definitions of $\hat{\mathfrak{S}}_y$ and $\hat{\mathfrak{S}}^{\tt FPF}_y$ appearing in the literature. Our formulas also imply combinatorial identities about involution words, certain variations of reduced words for involutions in $S_n$. We construct operators on involution words based on the Little map to prove these identities bijectively. The proofs of our main theorems depend on some new technical results, extending work of Incitti, about covering relations in the Bruhat order of $S_n$ restricted to involutions.