sequence
6966 papers tagged with this keyword
Relaxed Wythoff has All Beatty Solutions
We find conditions under which the P-positions of three subtraction games arise as pairs of complementary Beatty sequences. The first game is due to Fraenkel and the second is an extension of the first game to non-monotone settings. We show that the P-positions of the second game can be inferred from the recurrence of Fraenkel's paper if a certain inequality is satisfied. This inequality is shown to be necessary if the P-positions are known to be pairs of complementary Beatty sequences, and the family of irrationals for which this inequality holds is explicitly given. We highlight several games in the literature that have P-positions as pairs of complementary Beatty sequences with slope in this family. The third game we present is novel, and we show that the P-positions can be inferred from the same recurrence in any setting. It is shown that any pair of complementary Beatty sequences arises as the P-positions of some game in this family. We also provide background on some inverse problems which have appeared in the field over the last several years, in particular the Duchêne-Rigo conjecture. This paper presents a solution to the Fraenkel problem posed at the 2011 BIRS workshop, a modification of the Duchêne-Rigo conjecture.
Sharp thresholds for Ramsey properties
Published
• View Publication
• BIB
In this work, we develop a unified framework for establishing sharp threshold results for various Ramsey properties. To achieve this, we view such properties as non-colourability of auxiliary hypergraphs. Our main technical result gives sufficient conditions on a sequence of such hypergraphs that guarantee that this non-colourability property has a sharp threshold in subhypergraphs induced by random subsets of the vertices.
Furthermore, we verify these conditions in several cases of interest. In the classical setting of Ramsey theory for graphs, we show that the property of being Ramsey for a graph $H$ in $r$ colours has a sharp threshold in $G_{n,p}$, for all $r \ge 2$ and all $H$ in a class of graphs that includes all cliques and cycles. In the arithmetic setting, we establish sharpness of thresholds for the properties corresponding to van der Waerden's theorem and Schur's theorem, also in any number of colours.
Large Sums of High Order Characters
Published
• View Publication
• BIB
Let $χ$ be a primitive character modulo a prime $q$, and let $δ> 0$. It has previously been observed that if $χ$ has large order $d \geq d_0(δ)$ then $χ(n) \neq 1$ for some $n \leq q^δ$, in analogy with Vinogradov's conjecture on quadratic non-residues. We give a new and simple proof of this fact. We show, furthermore, that if $d$ is squarefree then for any $d$th root of unity $α$ the number of $n \leq x$ such that $χ(n) = α$ is $o_{d \to \infty}(x)$ whenever $x > q^δ$. Consequently, when $χ$ has sufficiently large order the sequence $(χ(n))_{n \leq q^δ}$ cannot cluster near $1$ for any $δ> 0$.
Our proof relies on a second moment estimate for short sums of the characters $χ^\ell$, averaged over $1 \leq \ell \leq d-1$, that is non-trivial whenever $d$ has no small prime factors. In particular, given any $δ> 0$ we show that for all but $o(d)$ powers $1 \leq \ell \leq d-1$, the partial sums of $χ^\ell$ exhibit cancellation in intervals $n \leq q^δ$ as long as $d \geq d_0(δ)$ is prime, going beyond Burgess' theorem. Our argument blends together results from pretentious number theory and additive combinatorics.
Finally, we show that, uniformly over prime $3 \leq d \leq q-1$, the Pólya-Vinogradov inequality may be improved for $χ^\ell$ on average over $1 \leq \ell \leq d-1$, extending work of Granville and Soundararajan.
Kempe equivalence of almost bipartite graphs
Two vertex colorings of a graph are Kempe equivalent if they can be transformed into each other by a sequence of switchings of two colors of vertices. It is PSPACE-complete to determine whether two given vertex $k$-colorings of a graph are Kempe equivalent for any fixed $k\geq 3$, and it is easy to see that every two vertex colorings of any bipartite graph are Kempe equivalent. In this paper, we consider Kempe equivalence of {\it almost} bipartite graphs which can be obtained from a bipartite graph by adding several edges to connect two vertices in the same partite set. We give a conjecture of Kempe equivalence of such graphs, and we prove several partial solutions and best possibility of the conjecture, but it is more lately proved by Cranston and Feghali that this conjecture is false in general.
Pattern-avoiding even and odd Grassmannian permutations
Published in Australas. J. Combin. 86 (2023), 187-205
• Search Publication
In this paper, we investigate pattern avoidance of parity restricted (even or odd) Grassmannian permutations for patterns of sizes 3 and 4. We use a combination of direct counting and bijective techniques to provide recurrence relations, closed formulas, and generating functions for their corresponding enumerating sequences. In addition, we establish some connections to Dyck paths, directed multigraphs, weak compositions, and certain integer partitions.
Asymptotic Betti numbers for hard squares in the homological liquid regime
Published
• View Publication
• BIB
We study configuration spaces $C(n; p, q)$ of $n$ ordered unit squares in a $p$ by $q$ rectangle. Our goal is to estimate the Betti numbers for large $n$, $j$, $p$, and $q$. We consider sequences of area-normalized coordinates, where $(\frac{n}{pq}, \frac{j}{pq})$ converges as $n$, $j$, $p$, and $q$ approach infinity. For every sequence that converges to a point in the "feasible region" in the $(x,y)$-plane, we show that the factorial growth rate of the Betti numbers is the same as the factorial growth rate of $n!$. This implies that (1) the Betti numbers are vastly larger than for the configuration space of $n$ ordered points in the plane, which have the factorial growth rate of $j!$, and (2) every point in the feasible region is eventually in the homological liquid regime.
Joint ergodicity for commuting transformations and applications to polynomial sequences
Published
• View Publication
• BIB
We give necessary and sufficient conditions for joint ergodicity results of collections of sequences with respect to systems of commuting measure preserving transformations. Combining these results with a new technique that we call "seminorm smoothening", we settle several conjectures related to multiple ergodic averages of commuting transformations with polynomial iterates. We show that the Host-Kra factor is characteristic for pairwise independent polynomials, and that under certain ergodicity conditions the associated ergodic averages converge to the product of integrals. Moreover, when the polynomials are linearly independent, we show that the rational Kronecker factor is characteristic and deduce Khintchine-type lower bounds for the related multiple recurrence problem. Finally, we prove a nil plus null decomposition result for multiple correlation sequences of commuting transformations in the case where the iterates are given by families of pairwise independent polynomials.
Switching $m$-edge-coloured graphs using non-Abelian groups
Let $G$ be a graph whose edges are each assigned one of the $m$-colours $1, 2, \ldots, m$, and let $Γ$ be a subgroup of $S_m$. The operation of switching at a vertex $x$ with respect $π\in Γ$ permutes the colours of the edges incident with $x$ according to $π$. There is a well-developed theory of switching when $Γ$ is Abelian. Much less is known for non-Abelian groups. In this paper we consider switching with respect to non-Abelian groups including symmetric, alternating and dihedral groups. We first consider the question of whether there is a sequence of switches using elements of $Γ$ that transforms an $m$-edge-coloured graph $G$ to an $m$-edge coloured graph $H$. Necessary and sufficient conditions for the existence of such a sequence are given for each of the groups being considered. We then consider the question of whether an $m$-edge coloured graph can be switched using elements of $Γ$ so that the transformed $m$-edge coloured graph has a vertex $k$-colouring, or a homomorphism to a fixed $m$-edge coloured graph $H$. For the groups just mentioned we establish dichotomy theorems for the complexity of these decision problems. These are the first dichotomy theorems to be established for colouring or homomorphism problems and switching with respect to any group other than $S_2$.
Statistics of Partial Permutations via Catalan matrices
Published
• View Publication
• BIB
A generalized Catalan matrix $(a_{n,k})_{n,k\ge 0}$ is generated by two seed sequences $\mathbf{s}=(s_0,s_1,\ldots)$ and $\mathbf{t}=(t_1,t_2,\ldots)$ together with a recurrence relation. By taking $s_\ell=2\ell+1$ and $t_\ell=\ell^2$ we can interpret $a_{n,k}$ as the number of partial permutations, which are $n\times n$ $0,1$-matrices of $k$ zero rows with at most one $1$ in each row or column. In this paper we prove that most of fundamental statistics and some set-valued statistics on permutations can also be defined on partial permutations and be encoded in the seed sequences. Results on two interesting permutation families, namely the connected permutations and cycle-up-down permutations, are also given.
Sumsets of sequences in abelian groups and flags in field extensions
For a finite abelian group $G$ with subsets $A$ and $B$, the sumset $AB$ is $\{ab \mid a\in A, b \in B\}$. A fundamental problem in additive combinatorics is to find a lower bound for the cardinality of $AB$ in terms of the cardinalities of $A$ and $B$. This article addresses the analogous problem for sequences in abelian groups and flags in field extensions. For a positive integer $n$, let $[n]$ denote the set $\{0,\dots,n-1\}$. To a finite abelian group $G$ of cardinality $n$ and an ordering $G = \{1=v_0,\dots,v_{n-1}\}$, associate the function $T \colon [n] \times [n] \rightarrow [n]$ defined by \[
T(i,j) = \min\big\{k \in [n] \mid \{v_0,\dots,v_i\}\{v_0,\dots,v_j\} \subseteq \{v_0,\dots,v_k\}\big\}. \] Under the natural partial ordering, what functions $T$ are minimal as $\{1=v_0,\dots,v_{n-1}\}$ ranges across orderings of finite abelian groups of cardinality $n$? We also ask the analogous question for degree $n$ field extensions.
We explicitly classify all minimal $T$ when $n < 18$, $n$ is a prime power, or $n$ is a product of $2$ distinct primes. When $n$ is not as above, we explicitly construct orderings of abelian groups whose associated function $T$ is not contained in the above classification. We also associate to orderings a polyhedron encoding the data of $T$.
Distant 2-Colored Components on Embeddings Part I: Connecting Faces
This is the first in a sequence of three papers in which we prove the following generalization of Thomassen's 5-choosability theorem: Let $G$ be a finite graph embedded on a surface of genus $g$. Then $G$ can be $L$-colored, where $L$ is a list-assignment for $G$ in which every vertex has a 5-list except for a collection of pairwise far-apart components, each precolored with an ordinary 2-coloring, as long as the face-width of $G$ is $2^{Ω(g)}$ and the precolored components are of distance $2^{Ω(g)}$ apart. This provides an affirmative answer to a generalized version of a conjecture of Thomassen and also generalizes a result from 2017 of Dvořák, Lidický, Mohar, and Postle about distant precolored vertices.
Some Extensions of Thomassen's Theorem to Longer Paths
Let $G$ be a planar embedding with list-assignment $L$ and outer cycle $C$, and let $P$ be a path of length at most four on $C$, where each vertex of $G\setminus C$ has a list of size at least five and each vertex of $C\setminus P$ has a list of size at least three. In this paper, we prove some results about partial $L$-colorings $φ$ of $C$ with the property that any extension of $φ$ to an $L$-coloring of $\textrm{dom}(φ)\cup V(P)$ extends to $L$-color all of $G$. We use these results in a later sequence of papers to prove some results about list-colorings of high-representativity embeddings on surfaces.
Extensions of Thomassen's Theorem to Paths of Length At Most Four: Part II
Let $G$ be a planar embedding with list-assignment $L$ and outer cycle $C$, and let $P$ be a path of length at most four on $C$, where each vertex of $G\setminus C$ has a list of size at least five and each vertex of $C\setminus P$ has a list of size at least three. This is the second paper in a sequence of three papers in which we prove some results about partial $L$-colorings $φ$ of $C$ with the property that any extension of $φ$ to an $L$-coloring of $\textrm{dom}(φ)\cup V(P)$ extends to $L$-color all of $G$, and, in particular, some useful results about the special case in which $\textrm{dom}(φ)$ consists only of the endpoints of $P$. We also prove some results about the other special case in which $φ$ is allowed to color some vertices of $C\setminus\mathring{P}$ but we avoid taking too many colors away from the leftover vertices of $\mathring{P}\setminus\textrm{dom}(φ)$. We use these results in a later sequence of papers to prove some results about list-colorings of high-representativity embeddings on surfaces.
Extensions of Thomassen's Theorem to Paths of Length At Most Four: Part III
Let $G$ be a planar embedding with list-assignment $L$ and outer cycle $C$, and let $P$ be a path of length at most four on $C$, where each vertex of $G\setminus C$ has a list of size at least five and each vertex of $C\setminus P$ has a list of size at least three. This is the final paper in a sequence of three papers in which we prove some results about partial $L$-colorings $φ$ of $C$ with the property that any extension of $φ$ to an $L$-coloring of $\textrm{dom}(φ)\cup V(P)$ extends to $L$-color all of $G$, and, in particular, some useful results about the special case in which $\textrm{dom}(φ)$ consists only of the endpoints of $P$. We also prove some results about the other special case in which $φ$ is allowed to color some vertices of $C\setminus\mathring{P}$ but we avoid taking too many colors away from the leftover vertices of $\mathring{P}\setminus\textrm{dom}(φ)$. We use these results in a later sequence of papers to prove some results about list-colorings of high-representativity embeddings on surfaces.
Pseudoperiodic Words and a Question of Shevelev
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Automata, Logic and Semantics (October 16, 2023) dmtcs:9919
• View Publication
• BIB
We generalize the familiar notion of periodicity in sequences to a new kind of pseudoperiodicity, and we prove some basic results about it. We revisit the results of a 2012 paper of Shevelev and reprove his results in a simpler and more unified manner, and provide a complete answer to one of his previously unresolved questions. We consider finding words with specific pseudoperiod and having the smallest possible critical exponent. Finally, we consider the problem of determining whether a finite word is pseudoperiodic of a given size, and show that it is NP-complete.
Turán Inequalities for Infinite Product Generating Functions
Published
• View Publication
• BIB
In the $1970$s, Nicolas proved that the partition function $p(n)$ is log-concave for $ n > 25$. In \cite{HNT21}, a precise conjecture on the log-concavity for the plane partition function $\func{pp}(n)$ for $n >11$ was stated. This was recently proven by Ono, Pujahari, and Rolen. In this paper, we provide a general picture. We associate to double sequences $\{g_d(n)\}_{d,n}$ with $g_d(1)=1$ and $$0 \leq g_{d}\left( n\right) - n^{d}\leq g_{1}\left( n\right) \left( n-1\right) ^{d-1}$$ polynomials $\{P_n^{g_d}(x)\}_{d,n}$ given by \begin{equation*} \sum_{n=0}^{\infty} P_n^{g_d}(x) \, q^n := \func{exp}\left( x \sum_{n=1}^{\infty} g_d(n) \frac{q^n}{n} \right) =\prod_{n=1}^{\infty} \left( 1 - q^n \right)^{-x f_d(n)}. \end{equation*} We recover $ p(n)= P_n^{σ_1}(1)$ and $\func{pp}\left( n\right) = P_n^{σ_2}(1)$, where $σ_d (n):= \sum_{\ell \mid n} \ell^d$ and $f_d(n)= n^{d-1}$. Let $n \geq 6$. Then the sequence $\{P_n^{σ_d}(1)\}_d$ is log-concave for almost all $d$ if and only if $n$ is divisible by $3$. Let $\func{id}(n)=n$. Then $P_n^{\func{id}}(x) = \frac{x}{n} L_{n-1}^{(1)}(-x)$, where $L_{n}^{\left( α\right) }\left( x\right) $ denotes the $α$-associated Laguerre polynomial. In this paper, we invest in Turán inequalities \begin{equation*} Δ_{n}^{g_d}(x) := \left( P_n^{g_d}(x) \right)^2 - P_{n-1}^{g_d}(x) \, P_{n+1}^{g_d}(x) \geq 0. \end{equation*} Let $n \geq 6$ and $0 \leq x < 2 - \frac{12}{n+4}$. Then $n$ is divisible by $3$ if and only if $Δ_{n}^{g_d}(x) \geq 0$ for almost all $d$. Let $n \geq 6$ and $n \not\equiv 2 \pmod{3}$. Then the condition on $x$ can be reduced to $x \geq 0$. We determine explicit bounds. As an analogue to Nicolas' result, we have for $g_1= \func{id}$ that $Δ_{n}^{\func{id}}(x) \geq 0$ for all $x \geq 0 $ and all $n$.
Higher Degree Erdos-Ginzburg-Ziv Constants
We generalize the notion of Erdős-Ginzburg-Ziv constants -- along the same lines we generalized in earlier work the notion of Davenport constants -- to a ``higher degree" and obtain various lower and upper bounds. These bounds are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. We also consider to what extent a theorem due independently to W.D.~Gao and the first author that relates these two parameters extends to this higher degree setting. Two simple examples that capture the essence of these higher degree Erdős-Ginzburg-Ziv constants are the following. 1) Let $ν_p(m)$ denote the $p-$adic valuation of the integer $m$. Suppose we have integers $t | {m \choose 2}$ and $n=t+2^{ν_2(m)}$, then every sequence $S$ over ${\mathbb Z}_2$ of length $|S| \geq n$ contains a subsequence $S'$ of length $t$ for which $\sum_{a_{i_1},\ldots, a_{i_m} \in S'} a_{i_1}\cdots a_{i_m} \equiv 0 \pmod{2}$, and this is sharp. 2) Suppose $k=3^α$ for some integer $α\geq 2$. Then every sequence $S$ over ${\mathbb Z}_3$ of length $|S| \geq k+6$ contains a subsequence $S'$ of length $k$ for which $\sum_{a_h, a_i, a_j \in S'} a_ha_ia_j \equiv 0 \pmod{3}$. These examples illustrate that if a sequence of elements from a finite commutative ring is long enough, certain symmetric expressions (symmetric polynomials) have to vanish on the elements of a subsequence of prescribed length. The Erdős-Ginzburg-Ziv Theorem is just the case where a sequence of length $2n-1$ over ${\mathbb Z}_n$ contains a subsequence $S'=(a_1, \ldots, a_n)$ of length $n$ that vanishes when substituted in the linear symmetric polynomial $a_1+\cdots+a_n.$
On Combinatorial Properties of Greedy Wasserstein Minimization
Published
• View Publication
• BIB
We discuss a phenomenon where Optimal Transport leads to a remarkable amount of combinatorial regularity. Consider infinite sequences $(x_k)_{k=1}^{\infty}$ in $[0,1]$ constructed in a greedy manner: given $x_1, \dots, x_n$, the new point $x_{n+1}$ is chosen so as to minimize the Wasserstein distance $W_2$ between the empirical measure of the $n+1$ points and the Lebesgue measure, $$x_{n+1} = \arg\min_x ~W_2\left( \frac{1}{n+1} \sum_{k=1}^{n} δ_{x_k} + \frac{δ_{x}}{n+1}, dx\right).$$ This leads to fascinating sequences (for example: $x_{n+1} = (2k+1)/(2n+2)$ for some $k \in \mathbb{Z}$) which coincide with sequences recently introduced by Ralph Kritzinger in a different setting. Numerically, the regularity of these sequences rival the best known constructions from Combinatorics or Number Theory. We prove a regularity result below the square root barrier.
Functoriality of Bose-Mesner algebras and profinite association schemes
We show that taking the set of primitive idempotents of commutative association schemes is a functor from the category of commutative association schemes with surjective morphisms to the category of finite sets with surjective partial functions. We then consider projective systems of commutative association schemes consisting of surjections (which we call profinite association schemes), for which Bose-Mesner algebra is defined, and describe a Delsarte theory on such schemes. This is another method for generalizing association schemes to those on infinite sets, related with the approach by Barg and Skriganov. Relation with $(t,m,s)$-nets and $(t,s)$-sequences is studied. We reprove some of the results of Martin-Stinson from this viewpoint.
Limits of Dense Simplicial Complexes
We develop a theory of limits for sequences of dense abstract simplicial complexes, where a sequence is considered convergent if its homomorphism densities converge. The limiting objects are represented by stacks of measurable [0,1]-valued functions on unit cubes of increasing dimension, each corresponding to a dimension of the abstract simplicial complex. We show that convergence in homomorphism density implies convergence in a cut-metric, and vice versa, as well as showing that simplicial complexes sampled from the limit objects closely resemble its structure. Applying this framework, we also partially characterize the convergence of nonuniform hypergraphs.