natural ↗ reference
4897 papers tagged with this keyword
Gradedness of the set of rook placements in $A_{n-1}$
A rook placement is a subset of a root system consisting of positive roots with pairwise non-positive inner products. To each rook placement in a root system one can assign the coadjoint orbit of the Borel subgroup of a reductive algebraic group with this root system. Degenerations of such orbits induce a natural partial order on the set of rook placements. We study combinatorial structure of the set of rook placements in $A_{n-1}$ with respect to a slightly different order and prove that this poset is graded.
Partitions of Matrix Spaces With an Application to $q$-Rook Polynomials
Published
• View Publication
• BIB
We study the row-space partition and the pivot partition on the matrix space $\mathbb{F}_q^{n \times m}$. We show that both these partitions are reflexive and that the row-space partition is self-dual. Moreover, using various combinatorial methods, we explicitly compute the Krawtchouk coefficients associated with these partitions. This establishes MacWilliams-type identities for the row-space and pivot enumerators of linear rank-metric codes. We then generalize the Singleton-like bound for rank-metric codes, and introduce two new concepts of code extremality. Both of them generalize the notion of MRD codes and are preserved by trace-duality. Moreover, codes that are extremal according to either notion satisfy strong rigidity properties analogous to those of MRD codes. As an application of our results to combinatorics, we give closed formulas for the $q$-rook polynomials associated with Ferrers diagram boards. Moreover, we exploit connections between matrices over finite fields and rook placements to prove that the number of matrices of rank $r$ over $\mathbb{F}_q$ supported on a Ferrers diagram is a polynomial in $q$, whose degree is strictly increasing in $r$. Finally, we investigate the natural analogues of the MacWilliams Extension Theorem for the rank, the row-space, and the pivot partitions.
Infinitely-many Primes in $\mathbb{N}$: A Graph Theoretic Approach
A graph $G$ is defined encapsulating the number theoretic notion of the Fundamental Theorem of Arithmetic. We then provide a graph theoretic approach to the fundamental results on the coprimality of two natural numbers, through the use of an adjacency operator $\hat{\mathbf{A}}(G)$. Lastly, these results are used to give an alternate proof to the known result that there are infinitely many primes in the natural numbers $\mathbb{N}$.
Action convergence of operators and graphs
Published
• View Publication
• BIB
We present a new approach to graph limit theory which unifies and generalizes the two most well developed directions, namely dense graph limits (even the more general $L^p$ limits) and Benjamini--Schramm limits (even in the stronger local-global setting). We illustrate by examples that this new framework provides a rich limit theory with natural limit objects for graphs of intermediate density. Moreover, it provides a limit theory for bounded operators (called $P$-operators) of the form $L^\infty(Ω)\to L^1(Ω)$ for probability spaces $Ω$. We introduce a metric to compare $P$-operators (for example finite matrices) even if they act on different spaces. We prove a compactness result which implies that in appropriate norms, limits of uniformly bounded $P$-operators can again be represented by $P$-operators. We show that limits of operators representing graphs are self-adjoint, positivity-preserving $P$-operators called graphops. Graphons, $L^p$ graphons and graphings (known from graph limit theory) are special examples for graphops. We describe a new point of view on random matrix theory using our operator limit framework.
On total regularity of mixed graphs with order close to the Moore bound
Published
• View Publication
• BIB
The undirected degree/diameter and degree/girth problems and their directed analogues have been studied for many decades in the search for efficient network topologies. Recently such questions have received much attention in the setting of mixed graphs, i.e. networks that admit both undirected \emph{edges} and directed \emph{arcs}. The degree/diameter problem for mixed graphs asks for the largest possible order of a network with diameter $k$, maximum undirected degree $\leq r$ and maximum directed out-degree $\leq z$. It is also of interest to find smallest possible $k$-geodetic mixed graphs with minimum undirected degree $\geq r$ and minimum directed out-degree $\geq z$. A simple counting argument reveals the existence of a natural bound, the \emph{Moore bound}, on the order of such graphs; a graph that meets this limit is a \emph{mixed Moore graph}. Mixed Moore graphs can exist only for $k = 2$ and even in this case it is known that they are extremely rare. It is therefore of interest to search for graphs with order one away from the Moore bound. Such graphs must be out-regular; a much more difficult question is whether they must be totally regular. For $k = 2$, we answer this question in the affirmative, thereby resolving an open problem stated in a recent paper of López and Miret. We also present partial results for larger $k$. We finally put these results to practical use by proving the uniqueness of a 2-geodetic mixed graph with order exceeding the Moore bound by one.
Asymptotic Analysis of Regular Sequences
Published in Algorithmica volume 82, pages 429508 (2020)
• View Publication
• BIB
In this article, $q$-regular sequences in the sense of Allouche and Shallit are analysed asymptotically. It is shown that the summatory function of a regular sequence can asymptotically be decomposed as a finite sum of periodic fluctuations multiplied by a scaling factor. Each of these terms corresponds to an eigenvalue of the sum of matrices of a linear representation of the sequence; only the eigenvalues of absolute value larger than the joint spectral radius of the matrices contribute terms which grow faster than the error term.
The paper has a particular focus on the Fourier coefficients of the periodic fluctuations: They are expressed as residues of the corresponding Dirichlet generating function. This makes it possible to compute them in an efficient way. The asymptotic analysis deals with Mellin--Perron summations and uses two arguments to overcome convergence issues, namely Hölder regularity of the fluctuations together with a pseudo-Tauberian argument.
Apart from the very general result, three examples are discussed in more detail: sequences defined as the sum of outputs written by a transducer when reading a $q$-ary expansion of the input; the amount of esthetic numbers in the first~$N$ natural numbers; and the number of odd entries in the rows of Pascal's rhombus. For these examples, very precise asymptotic formulæ are presented. In the latter two examples, prior to this analysis only rough estimates were known.
Resilient degree sequences with respect to Hamilton cycles and matchings in random graphs
Published
• View Publication
• BIB
Pósa's theorem states that any graph $G$ whose degree sequence $d_1 \le \ldots \le d_n$ satisfies $d_i \ge i+1$ for all $i < n/2$ has a Hamilton cycle. This degree condition is best possible. We show that a similar result holds for suitable subgraphs $G$ of random graphs, i.e. we prove a `resilience version' of Pósa's theorem: if $pn \ge C \log n$ and the $i$-th vertex degree (ordered increasingly) of $G \subseteq G_{n,p}$ is at least $(i+o(n))p$ for all $i<n/2$, then $G$ has a Hamilton cycle. This is essentially best possible and strengthens a resilience version of Dirac's theorem obtained by Lee and Sudakov.
Chvátal's theorem generalises Pósa's theorem and characterises all degree sequences which ensure the existence of a Hamilton cycle. We show that a natural guess for a resilience version of Chvátal's theorem fails to be true. We formulate a conjecture which would repair this guess, and show that the corresponding degree conditions ensure the existence of a perfect matching in any subgraph of $G_{n,p}$ which satisfies these conditions. This provides an asymptotic characterisation of all degree sequences which resiliently guarantee the existence of a perfect matching.
Another Enumeration of Caterpillar Trees
A caterpillar tree is a connected, acyclic, graph in which all vertices are either a member of a central path, or joined to that central path by a single edge. In other words, caterpillar trees are the class of trees which become path graphs after removing all leaves. In 1973, F. Harary and A.J. Schwenk provided two proofs found in [1] which show that the number of non-isomorphic caterpillars with N vertices is given by the formula $2^{N-4} + \ 2^{ \lfloor \frac{N - 4}{2}\rfloor}$, where $\lfloor \ \rfloor$ denotes the floor function. The first proof follows from a special case of an application of Pólya's Enumeration theorem on graphs with integer-weighted vertices. The second proof proceeds through an appropriate edge labelling of the caterpillars. The proof presented here owes much of its insight to the first two, but has the benefit of utilizing a natural labelling for the caterpillars. We will proceed by labelling the vertices of the caterpillars with integer-weights, followed by an application of the orbit-counting theorem.
Lifting degenerate simplices with a single volume constraint
Published
• View Publication
• BIB
Let $M^d$ be the spherical, Euclidean, or hyperbolic space of dimension $d\ge n+1$. Given any degenerate $(n+1)$-simplex $\mathbf{A}$ in $M^d$ with non-degenerate $n$-faces $F_i$, there is a natural partition of the set of $n$-faces into two subsets $X_1$ and $X_2$ such that $\sum_{X_1}V_n(F_i)=\sum_{X_2}V_n(F_i)$, except for a special spherical case where $X_2$ is the empty set and $\sum_{X_1}V_n(F_i)=V_n(\mathbb{S}^n)$ instead. For all cases, if the vertices vary smoothly in $M^d$ with a \emph{single} volume constraint that $\sum_{X_1}V_n(F_i)-\sum_{X_2}V_n(F_i)$ is preserved as a constant (0 or $V_n(\mathbb{S}^n)$), we prove that if a \emph{stress} invariant $c_{n-1}(α^{n-1})$ of the degenerate simplex is non-zero, then the vertices will be confined to a lower dimensional $M^n$ for any sufficiently small motion. This answers a question of the author and we also show that in the Euclidean case, $c_{n-1}(α^{n-1})=0$ is equivalent to the vertices of a \emph{dual} degenerate $(n+1)$-simplex lying on an $(n-1)$-sphere in $\mathbb{R}^n$.
Ramsey subsets of the space of infinite block sequences of vectors
We study families of infinite block sequences of elements of the space $\FIN_k$. In particular we study Ramsey properties of such families and Ramsey properties localized to a selective or semiselective coideal. We show how the stable ordered-union ultrafilters defined by Blass, and Matet-adequate families defined by Eisworth in the case $k=1$ fit in the theory of the Ramsey space of infinite block sequences of finite sets of natural numbers.
Combinatorics of $k$-Farey graphs
Published in Rocky Mountain J. Math. 50 (2020) 135-151
• View Publication
• BIB
With an eye towards studying curve systems on low-complexity surfaces, we introduce and analyze the $k$-Farey graphs $\mathcal{F}_k$ and $\mathcal{F}_{\leqslant k}$, two natural variants of the Farey graph in which we relax the edge condition to indicate intersection number $=k$ or $\le k$, respectively.
The former, $\mathcal{F}_k$, is disconnected when $k>1$. In fact, we find that the number of connected components is infinite if and only if $k$ is not a prime power. Moreover, we find that each component of $\mathcal{F}_k$ is an infinite-valence tree whenever $k$ is even, and $\mathrm{Aut}(\mathcal{F}_k)$ is uncountable for $k>1$.
As for $\mathcal{F}_{\leqslant k}$, Agol obtained an upper bound of $1+\min\{p:p\text{ is a prime}>k\}$ for both chromatic and clique numbers, and observed that this is an equality when $k$ is either one or two less than a prime. We add to this list the values of $k$ that are three less than a prime equivalent to $11\ (\mathrm{mod}\ 12)$, and we show computer-assisted computations of many values of $k$ for which equality fails.
Families of Markov chains with compatible symmetric-group actions
Published
• View Publication
• BIB
For each $n,r \geq 0$, let $KG(n,r)$ denote the Kneser Graph; that whose vertices are labeled by $r$-element subsets of $n$, and whose edges indicate that the corresponding subsets are disjoint. Fixing $r$ and allowing $n$ to vary, one obtains a family of nested graphs, each equipped with a natural action by a symmetric group $S_n$, such that these actions are compatible. Collections of graphs of this type are common in algebraic combinatorics and include families such as the Johnson Graphs, Crown Graphs and Rook Graphs. In previous work, the authors systematically studied families of this type using the language of representation stability and FI-modules. In that work, it is shown that such families of graphs exhibit a large variety of asymptotic regular behaviors.
The present work applies the theory developed in that previous work, later refined in work of the authors and Speyer, to study random walks on the graphs of such families. We show that the moments of hitting times exhibit rational function behavior asymptotically. By consequence we conclude similar facts about the entries of the discrete Green's functions, as defined by Chung and Yau. Finally, we illustrate how the algebro-combinatorial structure of the graphs in these families give bounds on the mixing times of random walks on those graphs. We suggest some possible directions for future study, including of the appearance, or not, of the cut-off phenomenon, originally presented by Diaconis.
Subcritical random hypergraphs, high-order components, and hypertrees
Published
• View Publication
• BIB
In the binomial random graph $\mathcal{G}(n,p)$, when $p$ changes from $(1-\varepsilon)/n$ (subcritical case) to $1/n$ and then to $(1+\varepsilon)/n$ (supercritical case) for $\varepsilon>0$, with high probability the order of the largest component increases smoothly from $O(\varepsilon^{-2}\log(\varepsilon^3 n))$ to $Θ(n^{2/3})$ and then to $(1 \pm o(1)) 2 \varepsilon n$.
As a natural generalisation of random graphs and connectedness, we consider the binomial random $k$-uniform hypergraph $\mathcal{H}^k(n,p)$ (where each $k$-tuple of vertices is present as a hyperedge with probability $p$ independently) and the following notion of high-order connectedness. Given an integer $1 \leq j \leq k-1$, two sets of $j$ vertices are called \emph{$j$-connected} if there is a walk of hyperedges between them such that any two consecutive hyperedges intersect in at least $j$ vertices. A $j$-connected component is a maximal collection of pairwise $j$-connected $j$-tuples of vertices. Recently, the threshold for the appearance of the giant $j$-connected component in $\mathcal{H}^k(n,p)$ and its order were determined. In this article, we take a closer look at the subcritical random hypergraph. We determine the structure, order, and size of the largest $j$-connected components, with the help of a certain class of `hypertrees' and related objects. In our proofs, we combine various probabilistic and enumerative techniques, such as generating functions and couplings with branching processes. Our study will pave the way to establishing a symmetry between the subcritical random hypergraph and the hypergraph obtained from the supercritical random hypergraph by deleting its giant $j$-connected component.
Multiline queues with spectral parameters
Published in Communications in Mathematical Physics volume 374 (2020), pp. 1743--1786
• View Publication
• BIB
Using the description of multiline queues as functions on words, we introduce the notion of a spectral weight of a word by defining a new weighting on multiline queues. We show that the spectral weight of a word is invariant under a natural action of the symmetric group, giving a proof of the commutativity conjecture of Arita, Ayyer, Mallick, and Prolhac. We give a determinant formula for the spectral weight of a word, which gives a proof of a conjecture of the first author and Linusson.
Too Many Hats
Published
• View Publication
• BIB
A puzzle about prisoners trying to identify the color of a hat on their head leads to a version where there are k more hats than prisoners. This generalized puzzle is related to the independence number of the arrangement graph A(m, n) and to Steiner systems and other designs. A natural conjecture is that perfect hat-guessing strategies exist in all cases, where "perfect" means that the success probability is 1/(k+1). This is true when k = 1, but we show that it is false when k = 2. Further, we present a strategy with success rate at least 1/O(k log k), independent of the number of prisoners.
Stability of the potential function
Published in SIAM J. Discrete Math. 32(3) (2018), 2313--2331
• View Publication
• BIB
A graphic sequence $π$ is potentially $H$-graphic if there is some realization of $π$ that contains $H$ as a subgraph. The Erdős-Jacobson-Lehel problem asks to determine $σ(H,n)$, the minimum even integer such that any $n$-term graphic sequence $π$ with sum at least $σ(H,n)$ is potentially $H$-graphic. The parameter $σ(H,n)$ is known as the potential function of $H$, and can be viewed as a degree sequence variant of the classical extremal function ${\rm ex}(n,H)$. Recently, Ferrara, LeSaulnier, Moffatt and Wenger [On the sum necessary to ensure that a degree sequence is potentially $H$-graphic, Combinatorica 36 (2016), 687--702] determined $σ(H,n)$ asymptotically for all $H$, which is analogous to the Erdős-Stone-Simonovits Theorem that determines ${\rm ex}(n,H)$ asymptotically for nonbipartite $H$.
In this paper, we investigate a stability concept for the potential number, inspired by Simonovits' classical result on the stability of the extremal function. We first define a notion of stability for the potential number that is a natural analogue to the stability given by Simonovits. However, under this definition, many families of graphs are not $σ$-stable, establishing a stark contrast between the extremal and potential functions. We then give a sufficient condition for a graph $H$ to be stable with respect to the potential function, and characterize the stability of those graphs $H$ that contain an induced subgraph of order $α(H)+1$ with exactly one edge.
Stability and Erdős--Stone type results for $F$-free graphs with a fixed number of edges
A fundamental problem of extremal graph theory is to ask, 'What is the maximum number of edges in an $F$-free graph on $n$ vertices?' Recently Alon and Shikhelman proposed a more general, subgraph counting, version of this question. They considered the question of determining the maximum number of copies of a fixed graph $T$ in an $F$-free graph on $n$ vertices.
In this more general context, where we are no longer counting edges, it is also natural to ask what is the maximum number of copies of $T$ in an $F$-free graph with $m$ edges and no restriction on the number of vertices. Frohmader, in a different context, determined the answer when $T$ and $F$ are both complete graphs. We prove results for this problem analogous to the Erdős--Stone theorem, the Erdős--Simonovits theorem, and the stability theorem of Erdős--Simonovits.
On the Domination Number of Permutation Graphs and an Application to Strong Fixed Points
Published in Discrete Applied Mathematics, 2020
• View Publication
• BIB
A permutation graph $G_π$ is a simple graph with vertices corresponding to the elements of $π$ and an edge between $i$ and $j$ when $i$ and $j$ are inverted in $π$. A set of vertices $D$ is said to dominate a graph $G$ when every vertex in $G$ is either an element of $D$, or adjacent to an element of $D$. The domination number $γ(G)$ is defined as the cardinality of a minimum dominating set of $G$. A strong fixed point of a permutation $π$ of order $n$ is an element $k$ such that $π^{-1}(j)<π^{-1}(k)$ for all $j<k$, and $π^{-1}(i)>π^{-1}(k)$ for all $i>k$. In this article, we count the number of connected permutation graphs on $n$ vertices with domination number $1$ and domination number $\frac{n}{2}$. We further show that for a natural number $k\leq \frac{n}{2}$, there exists a connected permutation graph on $n$ vertices with domination number $k$. We find a closed expression for the number of permutation graphs dominated by a set with two elements, and we find a closed expression for the number of permutation graphs efficiently dominated by any set of vertices. We conclude by providing an application of these results to strong fixed points, proving some conjectures posed on the OEIS.
Smallest cyclically covering subspaces of $\mathbb{F}_q^n$, and lower bounds in Isbell's conjecture
Published
• View Publication
• BIB
For a prime power $q$ and a positive integer $n$, we say a subspace $U$ of ${\mathbb{F}_q^n}$ is {\em cyclically covering} if the union of the cyclic shifts of $U$ is equal to $\mathbb{F}_q^n$. We investigate the problem of determining the minimum possible dimension of a cyclically covering subspace of $\mathbb{F}_q^n$. (This is a natural generalisation of a problem posed in 1991 by the first author.) We prove several upper and lower bounds, and for each fixed $q$, we answer the question completely for infinitely many values of $n$ (which take the form of certain geometric series). Our results imply lower bounds for a well-known conjecture of Isbell, and a generalisation theoreof, supplementing lower bounds due to Spiga. We also consider the analogous problem for general representations of groups. We use arguments from combinatorics, representation theory and finite field theory.
Hindman's finite sums theorem and its application to topologizations of algebras
The first part of the paper is a brief overview of Hindman's finite sums theorem, its prehistory and a few of its further generalizations, and a modern technique used in proving these and similar results, which is based on idempotent ultrafilters in ultrafilter extensions of semigroups. The second, main part of the paper is devoted to the topologizability problem of a wide class of algebraic structures called polyrings; this class includes Abelian groups, rings, modules, algebras over a ring, differential rings, and others. We show that the Zariski topology of such an algebra is always non-discrete. Actually, a much stronger fact holds: if $K$ is an infinite polyring, $n$ a natural number, and a map $F$ of $K^n$ into $K$ is defined by a term in $n$ variables, then $F$ is a closed nowhere dense subset of the space $K^{n+1}$ with its Zariski topology. In particular, $K^n$ is a closed nowhere dense subset of $K^{n+1}$. The proof essentially uses a multidimensional version of Hindman's finite sums theorem. The third part of the paper lists several problems concerning topologization of various algebraic structures, their Zariski topologies, and related questions.