Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On the height and relational complexity of a finite permutation group
Published
• View Publication
• BIB
Let $G$ be a permutation group on a set $Ω$ of size $t$. We say that $Λ\subseteqΩ$ is an independent set if its pointwise stabilizer is not equal to the pointwise stabilizer of any proper subset of $Λ$. We define the height of $G$ to be the maximum size of an independent set, and we denote this quantity $\mathrm{H}(G)$.
In this paper we study $\mathrm{H}(G)$ for the case when $G$ is primitive. Our main result asserts that either $\mathrm{H}(G)< 9\log t$, or else $G$ is in a particular well-studied family (the "primitive large--base groups"). An immediate corollary of this result is a characterization of primitive permutation groups with large "relational complexity", the latter quantity being a statistic introduced by Cherlin in his study of the model theory of permutation groups.
We also study $\mathrm{I}(G)$, the maximum length of an irredundant base of $G$, in which case we prove that if $G$ is primitive, then either $\mathrm{I}(G)<7\log t$ or else, again, $G$ is in a particular family (which includes the primitive large--base groups as well as some others).
Some observations on the Rueppel sequence and associated Hankel determinants
Starting with a definition based on the Catalan numbers, we carry out an empirical study of the Rueppel sequence. We use the Hankel transform as the main technique. By means of this transform we find links to such sequences as the Jacobi sequence and the paper-folding sequence. We also study several number arrays defined by this sequence, which are analogs of the important Catalan triangles of combinatorics. We identify a sequence related to the Golay-Rudin-Shapiro sequence that plays a fundamental role in linking the Hankel transforms of the paper with classical sequences. Examples are given where certain privileged permutations appearing in the Leibnitz formula for determinants have a special role.
A note on Stirling permutations
In this note we generalize an identity of John Riordan and Robert Donaghey relating the enumerator for Stirling permutations to the Eulerian polynomials.
A short proof of the canonical polynomial van der Waerden theorem
Published
• View Publication
• BIB
We present a short new proof of the canonical polynomial van der Waerden theorem, recently established by Girao [arXiv:2004.07766].
Convex lattice polygons with all lattice points visible
Published
• View Publication
• BIB
Two lattice points are visible to one another if there exist no other lattice points on the line segment connecting them. In this paper we study convex lattice polygons that contain a lattice point such that all other lattice points in the polygon are visible from it. We completely classify such polygons, show that there are finitely many of lattice width greater than $2$, and computationally enumerate them. As an application of this classification, we prove new obstructions to graphs arising as skeleta of tropical plane curves.
Dual matroid polytopes and internal activity of independence complexes
Shelling orders are a ubiquitous tool used to understand invariants of cell complexes. Significant effort has been made to develop techniques to decide when a given complex is shellable. However, empirical evidence shows that some shelling orders are better than others. In this article, we explore this phenomenon in the case of matroid independence complexes. Based on a new relation between shellability of dual matroid polytopes and independence complexes, we outline a systematic way to investigate and compare different shellings orders. We explain how our new tools recast and deepen various classical results to the language of geometry, and suggest new heuristics for addressing two old conjectures due to Simon and Stanley. Furthermore, we present freely available software which can be used to experiment with these new geometric ideas.
Large equilateral sets in subspaces of $\ell_\infty^n$ of small codimension
Published
• View Publication
• BIB
For fixed $k$ we prove exponential lower bounds on the equilateral number of subspaces of $\ell_{\infty}^n$ of codimension $k$. In particular, we show that if the unit ball of a normed space of dimension $n$ is a centrally symmetric polytope with at most $\frac{4n}{3}-o(n)$ pairs of facets, then it has an equilateral set of cardinality at least $n+1$. These include subspaces of codimension $2$ of $\ell_{\infty}^{n+2}$ for $n\geq 9$ and of codimension $3$ of $\ell_{\infty}^{n+3}$ for $n\geq 15$.
Rational dynamical systems, $S$-units, and $D$-finite power series
Published in Alg. Number Th. 15 (2021) 1699-1728
• View Publication
• BIB
Let $K$ be an algebraically closed field of characteristic zero and let $G$ be a finitely generated subgroup of the multiplicative group of $K$. We consider $K$-valued sequences of the form $a_n:=f(\varphi^n(x_0))$, where $\varphi\colon X\to X$ and $f\colon X\to\mathbb{P}^1$ are rational maps defined over $K$ and $x_0\in X$ is a point whose forward orbit avoids the indeterminacy loci of $\varphi$ and $f$. Many classical sequences from number theory and algebraic combinatorics fall under this dynamical framework, and we show that the set of $n$ for which $a_n\in G$ is a finite union of arithmetic progressions along with a set of Banach density zero. In addition, we show that if $a_n\in G$ for every $n$ and $X$ is irreducible and the $\varphi$ orbit of $x$ is Zariski dense in $X$ then there are a multiplicative torus $\mathbb{G}_m^d$ and maps $Ψ:\mathbb{G}_m^d \to \mathbb{G}_m^d$ and $g:\mathbb{G}_m^d \to \mathbb{G}_m$ such that $a_n = g\circ Ψ^n(y)$ for some $y\in \mathbb{G}_m^d$. We then obtain results about the coefficients of $D$-finite power series using these facts.
Maximum size intersecting families of bounded minimum positive co-degree
Published
• View Publication
• BIB
Let $\mathcal{H}$ be an $r$-uniform hypergraph. The \emph{minimum positive co-degree} of $\mathcal{H}$, denoted by $δ_{r-1}^+(\mathcal{H})$, is the minimum $k$ such that if $S$ is an $(r-1)$-set contained in a hyperedge of $\mathcal{H}$, then $S$ is contained in at least $k$ hyperedges of $\mathcal{H}$. For $r\geq k$ fixed and $n$ sufficiently large, we determine the maximum possible size of an intersecting $r$-uniform $n$-vertex hypergraph with minimum positive co-degree $δ_{r-1}^+(\mathcal{H}) \geq k$ and characterize the unique hypergraph attaining this maximum. This generalizes the Erd\H os-Ko-Rado theorem which corresponds to the case $k=1$. Our proof is based on the delta-system method.
The Gini Index of an Integer Partition
Published in J. Integer Seq. 23 (2020) 20.9.7
• Search Publication
The Gini index is a number that attempts to measure how equitably a resource is distributed throughout a population, and is commonly used in economics as a measurement of inequality of wealth or income. The Gini index is often defined as the area between the Lorenz curve of a distribution and the line of equality, normalized to be between zero and one. In this fashion, we define a Gini index on the set of integer partitions and show that it is closely related to the second elementary symmetric polynomial, and the dominance order on partitions. We conclude with a generating function for the Gini index, and discuss how it can be used to find lower bounds on the width of the dominance lattice.
New constructions of strongly regular Cayley graphs on abelian groups
Published
• View Publication
• BIB
Davis and Jedwab (1997) established a great construction theory unifying many previously known constructions of difference sets, relative difference sets and divisible difference sets. They introduced the concept of building blocks, which played an important role in the theory. On the other hand, Polhill (2010) gave a construction of Paley type partial difference sets (conference graphs) based on a special system of building blocks, called a covering extended building set, and proved that there exists a Paley type partial difference set in an abelian group of order $9^iv^4$ for any odd positive integer $v>1$ and any $i=0,1$. His result covers all orders of nonelementary abelian groups in which Paley type partial difference sets exist. In this paper, we give new constructions of strongly regular Cayley graphs on abelian groups by extending the theory of building blocks. The constructions are large generalizations of Polhill's construction. In particular, we show that for a positive integer $m$ and elementary abelian groups $G_i$, $i=1,2,\ldots,s$, of order $q_i^4$ such that $2m\,|\,q_i+1$, there exists a decomposition of the complete graph on the abelian group $G=G_1\times G_2\times \cdots\times G_s$ by strongly regular Cayley graphs with negative Latin square type parameters $(u^2,c(u+1),- u+c^2+3 c,c^2+ c)$, where $u=q_1^2q_2^2\cdots q_s^2$ and $c=(u-1)/m$. Such strongly regular decompositions were previously known only when $m=2$ or $G$ is a $p$-group. Moreover, we find one more new infinite family of decompositions of the complete graphs by Latin square type strongly regular Cayley graphs. Thus, we obtain many strongly regular graphs with new parameters.
Packing of spanning mixed arborescences
Published in J Graph Theory, 2021
• View Publication
• BIB
In this paper, we characterize a mixed graph $F$ which contains $k$ edge and arc disjoint spanning mixed arborescences $F_{1}, \ldots, F_{k}$, such that for each $v \in V(F)$, the cardinality of $\{i \in [k]: v \text{ is the root of } F_{i}\}$ lies in some prescribed interval. This generalizes both Nash-Williams and Tutte's theorem on spanning tree packing for undirected graphs and the previous characterization on digraphs which was given by Cai [in: Arc-disjoint arborescences of digraphs, J. Graph Theory 7(2) (1983), 235-240] and Frank [in: On disjoint trees and arborescences, Algebraic Methods in Graph Theory, Colloquia Mathematica Soc. J. Bolyai, Vol. 25 (North-Holland, Amsterdam) (1978), 159-169].
An Issue Raised in 1978 by a Then-Future Editor-in-Chief of the Journal "Order": Does the Endomorphism Poset of a Finite Connected Poset Tell Us That the Poset Is Connected?
In 1978, Dwight Duffus---editor-in-chief of the journal "Order" from 2010 to 2018 and chair of the Mathematics Department at Emory University from 1991 to 2005---wrote that "it is not obvious that $P$ is connected and $P^P$ isomorphic to $Q^Q$ implies that $Q$ is connected," where $P$ and $Q$ are finite non-empty posets. We show that, indeed, under these hypotheses $Q$ is connected and $P\cong Q$.
On the Gorenstein property of the Ehrhart ring of the stable set polytope of an h-perfect graph
Published
• View Publication
• BIB
In this paper, we give a criterion of the Gorenstein property of the Ehrhart ring of the stable set polytope of an h-perfect graph: the Ehrhart ring of the stable set polytope of an h-perfect graph $G$ is Gorenstein if and only if (1) sizes of maximal cliques are constant (say $n$) and (2) (a) $n=1$, (b) $n=2$ and there is no odd cycle without chord and length at least 7 or (c) $n\geq 3$ and there is no odd cycle without chord and length at least 5.
Pointwise densities of homogeneous Cantor measure and critical values
Published
• View Publication
• BIB
Let $N\ge 2$ and $ρ\in(0,1/N^2]$. The homogenous Cantor set $E$ is the self-similar set generated by the iterated function system
\[
\left\{f_i(x)=ρx+\frac{i(1-ρ)}{N-1}: i=0,1,\ldots, N-1\right\}.
\]
Let $s=\dim_H E$ be the Hausdorff dimension of $E$, and let $μ=\mathcal H^s|_E$ be the $s$-dimensional Hausdorff measure restricted to $E$. In this paper we describe, for each $x\in E$, the pointwise lower $s$-density $Θ_*^s(μ,x)$ and upper $s$-density $Θ^{*s}(μ, x)$ of $μ$ at $x$. This extends some early results of Feng et al. (2000). Furthermore, we determine two critical values $a_c$ and $b_c$ for the sets
\[
E_*(a)=\left\{x\in E: Θ_*^s(μ, x)\ge a\right\}\quad\textrm{and}\quad E^*(b)=\left\{x\in E: Θ^{*s}(μ, x)\le b\right\}
\]
respectively, such that $\dim_H E_*(a)>0$ if and only if $a<a_c$, and that $\dim_H E^*(b)>0$ if and only if $b>b_c$. We emphasize that both values $a_c$ and $b_c$ are related to the Thue-Morse type sequences, and our strategy to find them relies on ideas from open dynamics and techniques from combinatorics on words.
On the Perron root and eigenvectors associated with a subshift of finite type
Published in Linear Algebra and its Applications(2022) 42-70
• View Publication
• BIB
In this paper, we describe the relationship between the Perron root and eigenvectors of an irreducible subshift of finite type with the correlation between the forbidden words in the subshift. In particular, we derive an expression for the Perron eigenvectors of the associated adjacency matrix. As an application, we obtain the Perron eigenvectors for irreducible $(0,1)$ matrices which are adjacency matrices for directed graphs. Moreover, we derive an alternate definition of the Parry measure in ergodic theory on an irreducible subshift of finite type.
On the incomparability of systems of sets of lengths
Published
• View Publication
• BIB
Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor. We consider the system $\mathcal L (H)$ of all sets of lengths of $H$ and study when $\mathcal L (H)$ contains or is contained in a system $\mathcal L (H')$ of a Krull monoid $H'$ with finite class group $G'$, prime divisors in all classes and Davenport constant $\mathsf D (G')=\mathsf D (G)$. Among others, we show that if $G$ is either cyclic of order $m \ge 7$ or an elementary $2$-group of rank $m-1 \ge 6$, and $G'$ is any group which is non-isomorphic to $G$ but with Davenport constant $\mathsf D (G')=\mathsf D (G)$, then the systems $\mathcal L (H)$ and $\mathcal L (H')$ are incomparable.
Maximum dissociation sets in subcubic trees
Published
• View Publication
• BIB
A subset of vertices in a graph $G$ is called a maximum dissociation set if it induces a subgraph with vertex degree at most 1 and the subset has maximum cardinality. The dissociation number of $G$, denoted by $ψ(G)$, is the cardinality of a maximum dissociation set. A subcubic tree is a tree of maximum degree at most 3. In this paper, we give the lower and upper bounds on the dissociation number in a subcubic tree of order $n$ and show that the number of maximum dissociation sets of a subcubic tree of order $n$ and dissociation number $ψ$ is at most $1.466^{4n-5ψ+2}$.
Constructions of new matroids and designs over GF(q)
Published
• View Publication
• BIB
A perfect matroid design (PMD) is a matroid whose flats of the same rank all have the same size. In this paper we introduce the q-analogue of a PMD and its properties. In order to do so, we first establish a new cryptomorphic definition for q-matroids. We show that q-Steiner systems are examples of q-PMD's and we use this q-matroid structure to construct subspace designs from q-Steiner systems. We apply this construction to the only known q-Steiner system, which has parameters S(2,3,13;2), and hence establish the existence of a new subspace design with parameters 2-(13,4,5115;2).
Minimum pair degree condition for tight Hamiltonian cycles in $4$-uniform hypergraphs
Published in Acta Mathematica Hungarica 161 (2020), no. 2, 647--699
• View Publication
• BIB
We show that every 4-uniform hypergraph with $n$ vertices and minimum pair degree at least $(5/9+o(1))n^2/2$ contains a tight Hamiltonian cycle. This degree condition is asymptotically optimal.