-
Discrete Poincaré inequalities and universal approximators for random graphs
Authors:
Dylan J. Altschuler,
Pandelis Dodos,
Konstantin Tikhomirov,
Konstantinos Tyros
Abstract:
Nonlinear Poincaré inequalities are indispensable tools in the study of dimension reduction and low-distortion embeddings of graphs into metric spaces, and have found remarkable algorithmic applications. A basic open problem, posed by Jon Kleinberg (2013), asks whether the optimal nonlinear Poincaré constant for maps between two independent $3$-regular random graphs is dimension-free, i.e., indepe…
▽ More
Nonlinear Poincaré inequalities are indispensable tools in the study of dimension reduction and low-distortion embeddings of graphs into metric spaces, and have found remarkable algorithmic applications. A basic open problem, posed by Jon Kleinberg (2013), asks whether the optimal nonlinear Poincaré constant for maps between two independent $3$-regular random graphs is dimension-free, i.e., independent of vertex-set sizes. We give a complete and affirmative resolution to Kleinberg's problem, also allowing for arbitrary graph degrees. As a corollary, we obtain a stochastic construction of $O(1)\text{-universal}$ approximators for random graphs, answering a question of Mendel and Naor.
△ Less
Submitted 20 June, 2025;
originally announced June 2025.
-
A universal threshold for geometric embeddings of trees
Authors:
Dylan J. Altschuler,
Pandelis Dodos,
Konstantin Tikhomirov,
Konstantinos Tyros
Abstract:
A graph $G=(V,E)$ is geometrically embeddable into a normed space $X$ when there is a mapping $ζ: V\to X$ such that $\|ζ(v)-ζ(w)\|_X\leqslant 1$ if and only if $\{v,w\}\in E$, for all distinct $v,w\in V$. Our result is the following universal threshold for the embeddability of trees. Let $Δ\geqslant 3$, and let $N$ be sufficiently large in terms of $Δ$. Every $N$--vertex tree of maximal degree at…
▽ More
A graph $G=(V,E)$ is geometrically embeddable into a normed space $X$ when there is a mapping $ζ: V\to X$ such that $\|ζ(v)-ζ(w)\|_X\leqslant 1$ if and only if $\{v,w\}\in E$, for all distinct $v,w\in V$. Our result is the following universal threshold for the embeddability of trees. Let $Δ\geqslant 3$, and let $N$ be sufficiently large in terms of $Δ$. Every $N$--vertex tree of maximal degree at most $Δ$ is embeddable into any normed space of dimension at least $64\,\frac{\log N}{\log\log N}$, and complete trees are non-embeddable into any normed space of dimension less than $\frac{1}{2}\,\frac{\log N}{\log\log N}$. In striking contrast, spectral expanders and random graphs are known to be non-embeddable in sublogarithmic dimension. Our result is based on a randomized embedding whose analysis utilizes the recent breakthroughs on Bourgain's slicing problem.
△ Less
Submitted 21 April, 2025;
originally announced April 2025.
-
A combinatorial approach to nonlinear spectral gaps
Authors:
Dylan J. Altschuler,
Pandelis Dodos,
Konstantin Tikhomirov,
Konstantinos Tyros
Abstract:
A seminal open question of Pisier and Mendel--Naor asks whether every degree-regular graph which satisfies the classical discrete Poincaré inequality for scalar functions, also satisfies an analogous inequality for functions taking values in \textit{any} normed space with non-trivial cotype. Motivated by applications, it is also greatly important to quantify the dependence of the corresponding opt…
▽ More
A seminal open question of Pisier and Mendel--Naor asks whether every degree-regular graph which satisfies the classical discrete Poincaré inequality for scalar functions, also satisfies an analogous inequality for functions taking values in \textit{any} normed space with non-trivial cotype. Motivated by applications, it is also greatly important to quantify the dependence of the corresponding optimal Poincaré constant on the cotype $q$. Works of Odell--Schlumprecht (1994), Ozawa (2004), and Naor (2014) make substantial progress on the former question by providing a positive answer for normed spaces which also have an unconditional basis, in addition to finite cotype. However, little is known in the way of quantitative estimates: the mentioned results imply a bound on the Poincaré constant depending super-exponentially on $q$.
We introduce a novel combinatorial framework for proving quantitative nonlinear spectral gap estimates. The centerpiece is a property of regular graphs that we call \emph{long range expansion}, which holds with high probability for random regular graphs. Our main result is that any regular graph with the long-range expansion property satisfies a discrete Poincaré inequality for any normed space with an unconditional basis and cotype $q$, with a Poincaré constant that depends \emph{polynomially} on $q$, which is optimal. As an application, any normed space with an unconditional basis which admits a low distortion embedding of an $n$-vertex random regular graph, must have cotype at least polylogarithmic in $n$. This extends a celebrated lower-bound of Matoušek for low distortion embeddings of random graphs into $\ell_q$ spaces.
△ Less
Submitted 29 May, 2025; v1 submitted 6 October, 2024;
originally announced October 2024.
-
A Dual Ramsey theorem for trees
Authors:
Stevo Todorcevic,
Konstantinos Tyros
Abstract:
We prove a dualization of the Graham--Rothschild Theorem for variable words indexed by homogeneous trees.
We prove a dualization of the Graham--Rothschild Theorem for variable words indexed by homogeneous trees.
△ Less
Submitted 29 July, 2022;
originally announced July 2022.
-
Anticoncentration and Berry--Esseen bounds for random tensors
Authors:
Pandelis Dodos,
Konstantinos Tyros
Abstract:
We obtain estimates for the Kolmogorov distance to appropriately chosen gaussians, of linear functions \[ \sum_{i\in [n]^d} θ_i X_i \] of random tensors $\boldsymbol{X}=\langle X_i:i\in [n]^d\rangle$ which are symmetric and exchangeable, and whose entries have bounded third moment and vanish on diagonal indices. These estimates are expressed in terms of intrinsic (and easily computable) parameters…
▽ More
We obtain estimates for the Kolmogorov distance to appropriately chosen gaussians, of linear functions \[ \sum_{i\in [n]^d} θ_i X_i \] of random tensors $\boldsymbol{X}=\langle X_i:i\in [n]^d\rangle$ which are symmetric and exchangeable, and whose entries have bounded third moment and vanish on diagonal indices. These estimates are expressed in terms of intrinsic (and easily computable) parameters associated with the random tensor $\boldsymbol{X}$ and the given coefficients $\langle θ_i:i\in [n]^d\rangle$, and they are optimal in various regimes.
The key ingredient -- which is of independent interest -- is a combinatorial CLT for high-dimensional tensors which provides quantitative non-asymptotic normality under suitable conditions, of statistics of the form \[ \sum_{(i_1,\dots,i_d)\in [n]^d} \boldsymbolζ\big(i_1,\dots,i_d,π(i_1),\dots,π(i_d)\big) \] where $\boldsymbolζ\colon [n]^d\times [n]^d\to\mathbb{R}$ is a deterministic real tensor, and $π$ is a random permutation uniformly distributed on the symmetric group $\mathbb{S}_n$. Our results extend, in any dimension $d$, classical work of Bolthausen who covered the one-dimensional case, and more recent work of Barbour/Chen who treated the two-dimensional case.
△ Less
Submitted 10 September, 2023; v1 submitted 2 May, 2022;
originally announced May 2022.
-
Moser-Tardos Algorithm with small number of random bits
Authors:
Endre Csóka,
Łukasz Grabowski,
András Máthé,
Oleg Pikhurko,
Konstantinos Tyros
Abstract:
We study a variant of the parallel Moser-Tardos Algorithm. We prove that if we restrict attention to a class of problems whose dependency graphs have subexponential growth, then the expected total number of random bits used by the algorithm is constant; in particular, it is independent from the number of variables. This is achieved by using the same random bits to resample variables which are far…
▽ More
We study a variant of the parallel Moser-Tardos Algorithm. We prove that if we restrict attention to a class of problems whose dependency graphs have subexponential growth, then the expected total number of random bits used by the algorithm is constant; in particular, it is independent from the number of variables. This is achieved by using the same random bits to resample variables which are far enough in the dependency graph.
There are two corollaries. First, we obtain a deterministic algorithm for finding a satisfying assignment, which for any class of problems as in the previous paragraph runs in time O(n), where n is the number of variables. Second, we present a Borel version of the Lovász Local Lemma.
△ Less
Submitted 4 March, 2024; v1 submitted 11 March, 2022;
originally announced March 2022.
-
Decompositions of finite high-dimensional random arrays
Authors:
Pandelis Dodos,
Konstantinos Tyros,
Petros Valettas
Abstract:
A $d$-dimensional random array on a nonempty set $I$ is a stochastic process $\boldsymbol{X}=\langle X_s:s\in \binom{I}{d}\rangle$ indexed by the set $\binom{I}{d}$ of all $d$-element subsets of $I$. We obtain structural decompositions of finite, high-dimensional random arrays whose distribution is invariant under certain symmetries.
Our first main result is a distributional decomposition of fin…
▽ More
A $d$-dimensional random array on a nonempty set $I$ is a stochastic process $\boldsymbol{X}=\langle X_s:s\in \binom{I}{d}\rangle$ indexed by the set $\binom{I}{d}$ of all $d$-element subsets of $I$. We obtain structural decompositions of finite, high-dimensional random arrays whose distribution is invariant under certain symmetries.
Our first main result is a distributional decomposition of finite, (approximately) spreadable, high-dimensional random arrays whose entries take values in a finite set; the two-dimensional case of this result is the finite version of an infinitary decomposition due to Fremlin and Talagrand. Our second main result is a physical decomposition of finite, spreadable, high-dimensional random arrays with square-integrable entries that is the analogue of the Hoeffding/Efron--Stein decomposition. All proofs are effective.
We also present applications of these decompositions in the study of concentration of functions of finite, high-dimensional random arrays.
△ Less
Submitted 16 February, 2025; v1 submitted 22 February, 2021;
originally announced February 2021.
-
Concentration estimates for functions of finite high-dimensional random arrays
Authors:
Pandelis Dodos,
Konstantinos Tyros,
Petros Valettas
Abstract:
Let $\boldsymbol{X}$ be a $d$-dimensional random array on $[n]$ whose entries take values in a finite set $\mathcal{X}$, that is, $\boldsymbol{X}=\langle X_s:s\in \binom{[n]}{d}\rangle$ is an $\mathcal{X}$-valued stochastic process indexed by the set $\binom{[n]}{d}$ of all $d$-element subsets of $[n]:=\{1,\dots,n\}$. We give easily checked conditions on $\boldsymbol{X}$ that ensure, for instance,…
▽ More
Let $\boldsymbol{X}$ be a $d$-dimensional random array on $[n]$ whose entries take values in a finite set $\mathcal{X}$, that is, $\boldsymbol{X}=\langle X_s:s\in \binom{[n]}{d}\rangle$ is an $\mathcal{X}$-valued stochastic process indexed by the set $\binom{[n]}{d}$ of all $d$-element subsets of $[n]:=\{1,\dots,n\}$. We give easily checked conditions on $\boldsymbol{X}$ that ensure, for instance, that for every function $f\colon \mathcal{X}^{\binom{[n]}{d}}\to\mathbb{R}$ that satisfies $\mathbb{E}[f(\boldsymbol{X})]=0$ and $\|f(\boldsymbol{X})\|_{L_p}=1$ for some $p>1$, the random variable $f(\boldsymbol{X})$ becomes concentrated after conditioning it on a large subarray of $\boldsymbol{X}$. These conditions cover several classes of random arrays with not necessarily independent entries. Applications are given in combinatorics, and examples are also presented that show the optimality of various aspects of the results.
△ Less
Submitted 25 October, 2023; v1 submitted 21 February, 2021;
originally announced February 2021.
-
Subgaussianity is hereditarily determined
Authors:
Pandelis Dodos,
Konstantinos Tyros
Abstract:
Let $n$ be a positive integer, let $\boldsymbol{X}=(X_1,\dots,X_n)$ be a random vector in $\mathbb{R}^n$ with bounded entries, and let $(θ_1,\dots,θ_n)$ be a vector in $\mathbb{R}^n$. We show that the subgaussian behavior of the random variable $θ_1 X_1+\dots +θ_n X_n$ is essentially determined by the subgaussian behavior of the random variables $\sum_{i\in H} θ_i X_i$ where $H$ is a random subset…
▽ More
Let $n$ be a positive integer, let $\boldsymbol{X}=(X_1,\dots,X_n)$ be a random vector in $\mathbb{R}^n$ with bounded entries, and let $(θ_1,\dots,θ_n)$ be a vector in $\mathbb{R}^n$. We show that the subgaussian behavior of the random variable $θ_1 X_1+\dots +θ_n X_n$ is essentially determined by the subgaussian behavior of the random variables $\sum_{i\in H} θ_i X_i$ where $H$ is a random subset of $\{1,\dots,n\}$.
△ Less
Submitted 28 January, 2021; v1 submitted 14 February, 2019;
originally announced February 2019.
-
A structure theorem for stochastic processes indexed by the discrete hypercube
Authors:
Pandelis Dodos,
Konstantinos Tyros
Abstract:
Let $A$ be a finite set with $|A|\geqslant 2$, let $n$ be a positive integer, and let $A^n$ denote the discrete $n$-dimensional hypercube (that is, $A^n$ is the Cartesian product of $n$ many copies of $A$). Given a family $\langle D_t:t\in A^n\rangle$ of measurable events in a probability space (a stochastic process), what structural information can be obtained assuming that the events…
▽ More
Let $A$ be a finite set with $|A|\geqslant 2$, let $n$ be a positive integer, and let $A^n$ denote the discrete $n$-dimensional hypercube (that is, $A^n$ is the Cartesian product of $n$ many copies of $A$). Given a family $\langle D_t:t\in A^n\rangle$ of measurable events in a probability space (a stochastic process), what structural information can be obtained assuming that the events $\langle D_t:t\in A^n\rangle$ are not behaving as if they were independent? We obtain an answer to this problem (in a strong quantitative sense) subject to a mild "stationarity" condition. Our result has a number of combinatorial consequences, including a new (and the most informative so far) proof of the density Hales--Jewett theorem.
△ Less
Submitted 28 January, 2021; v1 submitted 30 August, 2018;
originally announced August 2018.
-
Strong Forms of Stability from Flag Algebra Calculations
Authors:
Oleg Pikhurko,
Jakub Sliacan,
Konstantinos Tyros
Abstract:
Given a hereditary family $\mathcal{G}$ of admissible graphs and a function $λ(G)$ that linearly depends on the statistics of order-$κ$ subgraphs in a graph $G$, we consider the extremal problem of determining $λ(n,\mathcal{G})$, the maximum of $λ(G)$ over all admissible graphs $G$ of order $n$. We call the problem perfectly $B$-stable for a graph $B$ if there is a constant $C$ such that every adm…
▽ More
Given a hereditary family $\mathcal{G}$ of admissible graphs and a function $λ(G)$ that linearly depends on the statistics of order-$κ$ subgraphs in a graph $G$, we consider the extremal problem of determining $λ(n,\mathcal{G})$, the maximum of $λ(G)$ over all admissible graphs $G$ of order $n$. We call the problem perfectly $B$-stable for a graph $B$ if there is a constant $C$ such that every admissible graph $G$ of order $n\ge C$ can be made into a blow-up of $B$ by changing at most $C(λ(n,\mathcal{G})-λ(G)){n\choose2}$ adjacencies. As special cases, this property describes all almost extremal graphs of order $n$ within $o(n^2)$ edges and shows that every extremal graph of order $n\ge n_0$ is a blow-up of $B$.
We develop general methods for establishing stability-type results from flag algebra computations and apply them to concrete examples. In fact, one of our sufficient conditions for perfect stability is stated in a way that allows automatic verification by a computer. This gives a unifying way to obtain computer-assisted proofs of many new results.
△ Less
Submitted 22 February, 2018; v1 submitted 8 June, 2017;
originally announced June 2017.
-
The Bradley--Terry condition is $L_1$--testable
Authors:
Agelos Georgakopoulos,
Konstantinos Tyros
Abstract:
We provide an algorithm with constant running time that given a weighted tournament $T$, distinguishes with high probability of success between the cases that $T$ can be represented by a Bradley--Terry model, or cannot even be approximated by one. The same algorithm tests whether the corresponding Markov chain is reversible.
We provide an algorithm with constant running time that given a weighted tournament $T$, distinguishes with high probability of success between the cases that $T$ can be represented by a Bradley--Terry model, or cannot even be approximated by one. The same algorithm tests whether the corresponding Markov chain is reversible.
△ Less
Submitted 16 September, 2016;
originally announced September 2016.
-
Borel version of the Local Lemma
Authors:
Endre Csóka,
Łukasz Grabowski,
András Máthé,
Oleg Pikhurko,
Konstantinos Tyros
Abstract:
We prove a Borel version of the local lemma, i.e. we show that, under suitable assumptions, if the set of variables in the local lemma has a structure of a Borel space, then there exists a satisfying assignment which is a Borel function. The main tool which we develop for the proof, which is of independent interest, is a parallel version of the Moser-Tardos algorithm which uses the same random bit…
▽ More
We prove a Borel version of the local lemma, i.e. we show that, under suitable assumptions, if the set of variables in the local lemma has a structure of a Borel space, then there exists a satisfying assignment which is a Borel function. The main tool which we develop for the proof, which is of independent interest, is a parallel version of the Moser-Tardos algorithm which uses the same random bits to resample clauses that are far enough in the dependency graph.
△ Less
Submitted 2 March, 2024; v1 submitted 16 May, 2016;
originally announced May 2016.
-
A concentration inequality for product spaces
Authors:
Pandelis Dodos,
Vassilis Kanellopoulos,
Konstantinos Tyros
Abstract:
We prove a concentration inequality which asserts that, under some mild regularity conditions, every random variable defined on the product of sufficiently many probability spaces exhibits pseudorandom behavior.
We prove a concentration inequality which asserts that, under some mild regularity conditions, every random variable defined on the product of sufficiently many probability spaces exhibits pseudorandom behavior.
△ Less
Submitted 22 July, 2016; v1 submitted 22 October, 2014;
originally announced October 2014.
-
On colorings of variable words
Authors:
Konstantinos Tyros
Abstract:
In this note, we prove that the base case of the Graham--Rothschild Theorem, i.e., the one that considers colorings of the ($1$-dimensional) variable words, admits bounds in the class $\mathcal{E}^5$ of Grzegorczyk's hierarchy.
In this note, we prove that the base case of the Graham--Rothschild Theorem, i.e., the one that considers colorings of the ($1$-dimensional) variable words, admits bounds in the class $\mathcal{E}^5$ of Grzegorczyk's hierarchy.
△ Less
Submitted 4 September, 2014;
originally announced September 2014.
-
A disjoint union theorem for trees
Authors:
Stevo Todorcevic,
Konstantinos Tyros
Abstract:
We prove an infinitary disjoint union theorem for level products of trees. To implement the proof we develop a Hales-Jewett type result for words indexed by a level product of trees.
We prove an infinitary disjoint union theorem for level products of trees. To implement the proof we develop a Hales-Jewett type result for words indexed by a level product of trees.
△ Less
Submitted 27 July, 2014;
originally announced July 2014.
-
Primitive recursive bounds for the finite version of Gowers' $c_0$ theorem
Authors:
Konstantinos Tyros
Abstract:
We provide primitive recursive bounds for the finite version of Gowers' $c_0$ theorem for both the positive and the general case. We also provide multidimensional versions of these results.
We provide primitive recursive bounds for the finite version of Gowers' $c_0$ theorem for both the positive and the general case. We also provide multidimensional versions of these results.
△ Less
Submitted 22 May, 2015; v1 submitted 31 January, 2014;
originally announced January 2014.
-
On the structure of the set of higher order spreading models
Authors:
Bünyamin Sari,
Konstantinos Tyros
Abstract:
We generalize some results concerning the classical notion of a spreading model for the spreading models of order $ξ$. Among them, we prove that the set $SM_ξ^w(X)$ of the $ξ$-order spreading models of a Banach space $X$ generated by subordinated weakly null $\mathcal{F}$-sequences endowed with the pre-partial order of domination is a semi-lattice. Moreover, if $SM_ξ^w(X)$ contains an increasing s…
▽ More
We generalize some results concerning the classical notion of a spreading model for the spreading models of order $ξ$. Among them, we prove that the set $SM_ξ^w(X)$ of the $ξ$-order spreading models of a Banach space $X$ generated by subordinated weakly null $\mathcal{F}$-sequences endowed with the pre-partial order of domination is a semi-lattice. Moreover, if $SM_ξ^w(X)$ contains an increasing sequence of length $ω$ then it contains an increasing sequence of length $ω_1$. Finally, if $SM_ξ^w(X)$ is uncountable, then it contains an antichain of size the continuum.
△ Less
Submitted 27 July, 2014; v1 submitted 21 October, 2013;
originally announced October 2013.
-
Measurable events indexed by words
Authors:
Pandelis Dodos,
Vassilis Kanellopoulos,
Konstantinos Tyros
Abstract:
For every integer $k\geq 2$ let $[k]^{<\mathbb{N}}$ be the set of all words over $k$, that is, all finite sequences having values in $[k]:=\{1,...,k\}$. A Carlson-Simpson tree of $[k]^{<\mathbb{N}}$ of dimension $m\geq 1$ is a subset of $[k]^{<\mathbb{N}}$ of the form \[ \{w\}\cup \big\{w^{\smallfrown}w_0(a_0)^{\smallfrown}...^{\smallfrown}w_{n}(a_n): n\in \{0,...,m-1\} \text{ and } a_0,...,a_n\in…
▽ More
For every integer $k\geq 2$ let $[k]^{<\mathbb{N}}$ be the set of all words over $k$, that is, all finite sequences having values in $[k]:=\{1,...,k\}$. A Carlson-Simpson tree of $[k]^{<\mathbb{N}}$ of dimension $m\geq 1$ is a subset of $[k]^{<\mathbb{N}}$ of the form \[ \{w\}\cup \big\{w^{\smallfrown}w_0(a_0)^{\smallfrown}...^{\smallfrown}w_{n}(a_n): n\in \{0,...,m-1\} \text{ and } a_0,...,a_n\in [k]\big\} \] where $w$ is a word over $k$ and $(w_n)_{n=0}^{m-1}$ is a finite sequence of left variable words over $k$. We study the behavior of a family of measurable events in a probability space indexed by the elements of a Carlson-Simpson tree of sufficiently large dimension. Specifically we show the following.
For every integer $k\geq 2$, every $0<\varepsilon\leq 1$ and every integer $n\geq 1$ there exists a strictly positive constant $θ(k,\varepsilon,n)$ with the following property. If $m$ is a given positive integer, then there exists an integer $\mathrm{Cor}(k,\varepsilon,m)$ such that for every Carlson--Simpson tree $T$ of $[k]^{<\mathbb{N}}$ of dimension at least $\mathrm{Cor}(k,\varepsilon,m)$ and every family $\{A_t:t\in T\}$ of measurable events in a probability space $(Ω,Σ,μ)$ satisfying $μ(A_t)\geq \varepsilon$ for every $t\in T$, there exists a Carlson--Simpson tree $S$ of dimension $m$ with $S\subseteq T$ and such that for every nonempty $F\subseteq S$ we have \[μ\Big(\bigcap_{t\in F} A_t\Big) \geq θ(k,\varepsilon,|F|). \] The proof is based, among others, on the density version of the Carlson--Simpson Theorem established recently by the authors, as well as, on a partition result -- of independent interest -- closely related to the work of T. J. Carlson, and H. Furstenberg and Y. Katznelson. The argument is effective and yields explicit lower bounds for the constants $θ(k,\varepsilon,n)$.
△ Less
Submitted 22 October, 2014; v1 submitted 19 March, 2013;
originally announced March 2013.
-
Combinatorial Structures on van der Waerden sets
Authors:
Konstantinos Tyros
Abstract:
In this paper we provide two results. The first one consists an infinitary version of the Furstenberg-Weiss Theorem. More precisely we show that every subset $A$ of a homogeneous tree $T$ such that $\frac{|A\cap T(n)|}{|T(n)|}\geqδ$, where T(n) denotes the $n$-th level of $T$, for all $n$ in a van der Waerden set, for some positive real $δ$, contains a strong subtree having a level sets which form…
▽ More
In this paper we provide two results. The first one consists an infinitary version of the Furstenberg-Weiss Theorem. More precisely we show that every subset $A$ of a homogeneous tree $T$ such that $\frac{|A\cap T(n)|}{|T(n)|}\geqδ$, where T(n) denotes the $n$-th level of $T$, for all $n$ in a van der Waerden set, for some positive real $δ$, contains a strong subtree having a level sets which forms a van der Waerden set.
The second result is the following. For every sequence $(m_q)_{q}$ of positive integers and for every real $0<δ\\leq1$, there exists a sequence $(n_q)_{q}$ of positive integers such that for every $D\subseteq \bigcup_k\prod_{q=0}^{k-1}[n_q]$ satisfying $$\frac{\big{|}D\cap \prod_{q=0}^{k-1} [n_q]\big{|}}{\prod_{q=0}^{k-1}n_q}\geqδ$$ for every $k$ in a van der Waerden set, there is a sequence $(J_q)_{q}$, where $J_q$ is an arithmetic progression of length $m_q$ contained in $[n_q]$ for all $q$, such that $\prod_{q=0}^{k-1}J_q\subseteq D$ for every $k$ in a van der Waerden set. Moreover, working in an abstract setting, we obtain $J_q$ to be any configuration of natural numbers that can be found in an arbitrary set of positive density.
△ Less
Submitted 20 June, 2013; v1 submitted 18 January, 2013;
originally announced January 2013.
-
Oscilation stability for continuous monotone surjections
Authors:
Stevo Todorcevic,
Konstantinos Tyros
Abstract:
We prove that for every integer $b\geqslant 2$ and positive real $\varepsilon$ there exists a finite number $t$ such that for every finite coloring of the nondecreasing surjections from $b^ω$ onto $b^ω$, there exist $t$ many colors such that their $\varepsilon$-fattening contains a cube.
We prove that for every integer $b\geqslant 2$ and positive real $\varepsilon$ there exists a finite number $t$ such that for every finite coloring of the nondecreasing surjections from $b^ω$ onto $b^ω$, there exist $t$ many colors such that their $\varepsilon$-fattening contains a cube.
△ Less
Submitted 16 November, 2012;
originally announced November 2012.
-
Subsets of Products of Finite Sets of Positive Upper Density
Authors:
Stevo Todorcevic,
Konstantinos Tyros
Abstract:
In this note we prove that for every sequence $(m_q)_{q}$ of positive integers and for every real $0<δ\leqslant1$ there is a sequence $(n_q)_{q}$ of positive integers such that for every sequence $(H_q)_{q}$ of finite sets such that $|H_q|=n_q$ for every $q\in\mathbb{N}$ and for every $D\subseteq \bigcup_k\prod_{q=0}^{k-1}H_q$ with the property that…
▽ More
In this note we prove that for every sequence $(m_q)_{q}$ of positive integers and for every real $0<δ\leqslant1$ there is a sequence $(n_q)_{q}$ of positive integers such that for every sequence $(H_q)_{q}$ of finite sets such that $|H_q|=n_q$ for every $q\in\mathbb{N}$ and for every $D\subseteq \bigcup_k\prod_{q=0}^{k-1}H_q$ with the property that $$\limsup_k \frac{|D\cap \prod_{q=0}^{k-1} H_q|}{|\prod_{q=0}^{k-1}H_q|}\geqslantδ$$ there is a sequence $(J_q)_{q}$, where $J_q\subseteq H_q$ and $|J_q|=m_q$ for all $q$, such that $\prod_{q=0}^{k-1}J_q\subseteq D$ for infinitely many $k.$ This gives us a density version of a well-known Ramsey-theoretic result. We also give some estimates on the sequence $(n_q)_{q}$ in terms of the sequence of $(m_q)_{q}$.
△ Less
Submitted 16 November, 2012;
originally announced November 2012.
-
Measurable events indexed by products of trees
Authors:
Pandelis Dodos,
Vassilis Kanellopoulos,
Konstantinos Tyros
Abstract:
A tree $T$ is said to be homogeneous if it is uniquely rooted and there exists an integer $b\meg 2$, called the branching number of $T$, such that every $t\in T$ has exactly $b$ immediate successors. A vector homogeneous tree $\mathbf{T}$ is a finite sequence $(T_1,...,T_d)$ of homogeneous trees and its level product $\otimes\mathbf{T}$ is the subset of the cartesian product…
▽ More
A tree $T$ is said to be homogeneous if it is uniquely rooted and there exists an integer $b\meg 2$, called the branching number of $T$, such that every $t\in T$ has exactly $b$ immediate successors. A vector homogeneous tree $\mathbf{T}$ is a finite sequence $(T_1,...,T_d)$ of homogeneous trees and its level product $\otimes\mathbf{T}$ is the subset of the cartesian product $T_1\times ...\times T_d$ consisting of all finite sequences $(t_1,...,t_d)$ of nodes having common length.
We study the behavior of measurable events in probability spaces indexed by the level product $\otimes\mathbf{T}$ of a vector homogeneous tree $\mathbf{T}$. We show that, by refining the index set to the level product $\otimes\mathbf{S}$ of a vector strong subtree $\bfcs$ of $\mathbf{S}$, such families of events become highly correlated. An analogue of Lebesgue's density Theorem is also established which can be considered as the "probabilistic" version of the density Halpern--Läuchli Theorem.
△ Less
Submitted 13 June, 2013; v1 submitted 22 September, 2012;
originally announced September 2012.
-
A simple proof of the density Hales-Jewett theorem
Authors:
Pandelis Dodos,
Vassilis Kanellopoulos,
Konstantinos Tyros
Abstract:
We give a purely combinatorial proof of the density Hales--Jewett Theorem that is modeled after Polymath's proof but is significantly simpler. In particular, we avoid the use of the equal-slices measure and work exclusively with the uniform measure.
We give a purely combinatorial proof of the density Hales--Jewett Theorem that is modeled after Polymath's proof but is significantly simpler. In particular, we avoid the use of the equal-slices measure and work exclusively with the uniform measure.
△ Less
Submitted 19 March, 2013; v1 submitted 22 September, 2012;
originally announced September 2012.
-
A density version of the Carlson--Simpson theorem
Authors:
Pandelis Dodos,
Vassilis Kanellopoulos,
Konstantinos Tyros
Abstract:
We prove a density version of the Carlson--Simpson Theorem. Specifically we show the following.
For every integer $k\geq 2$ and every set $A$ of words over $k$ satisfying \[\limsup_{n\to\infty} \frac{|A\cap [k]^n|}{k^n}>0\] there exist a word $c$ over $k$ and a sequence $(w_n)$ of left variable words over $k$ such that the set \[\{c\}\cup \big\{c^{\smallfrown}w_0(a_0)^{\smallfrown}...^{\smallfro…
▽ More
We prove a density version of the Carlson--Simpson Theorem. Specifically we show the following.
For every integer $k\geq 2$ and every set $A$ of words over $k$ satisfying \[\limsup_{n\to\infty} \frac{|A\cap [k]^n|}{k^n}>0\] there exist a word $c$ over $k$ and a sequence $(w_n)$ of left variable words over $k$ such that the set \[\{c\}\cup \big\{c^{\smallfrown}w_0(a_0)^{\smallfrown}...^{\smallfrown}w_n(a_n) : n\in\mathbb{N} \ \text{ and } \ a_0,...,a_n\in [k]\big\}\] is contained in $A$.
While the result is infinite-dimensional its proof is based on an appropriate finite and quantitative version, also obtained in the paper.
△ Less
Submitted 20 September, 2015; v1 submitted 22 September, 2012;
originally announced September 2012.
-
Higher Order Spreading Models
Authors:
S. A. Argyros,
V. Kanellopoulos,
K. Tyros
Abstract:
We introduce the higher order spreading models associated to a Banach space $X$. Their definition is based on $\ff$-sequences $(x_s)_{s\in\ff}$ with $\ff$ a regular thin family and the plegma families. We show that the higher order spreading models of a Banach space $X$ form an increasing transfinite hierarchy $(\mathcal{SM}_ξ(X))_{ξ<ω_1}$. Each $\mathcal{SM}_ξ(X)$ contains all spreading models ge…
▽ More
We introduce the higher order spreading models associated to a Banach space $X$. Their definition is based on $\ff$-sequences $(x_s)_{s\in\ff}$ with $\ff$ a regular thin family and the plegma families. We show that the higher order spreading models of a Banach space $X$ form an increasing transfinite hierarchy $(\mathcal{SM}_ξ(X))_{ξ<ω_1}$. Each $\mathcal{SM}_ξ(X)$ contains all spreading models generated by $\ff$-sequences $(x_s)_{s\in\ff}$ with order of $\ff$ equal to $ξ$. We also provide a study of the fundamental properties of the hierarchy.
△ Less
Submitted 28 February, 2012;
originally announced February 2012.
-
Finite order spreading models
Authors:
S. A. Argyros,
V. Kanellopoulos,
K. Tyros
Abstract:
Extending the classical notion of the spreading model, the $k$-spreading models of a Banach space are introduced, for every $k\in\mathbb{N}$. The definition, which is based on the $k$-sequences and plegma families, reveals a new class of spreading sequences associated to a Banach space. Most of the results of the classical theory are stated and proved in the higher order setting. Moreover, new phe…
▽ More
Extending the classical notion of the spreading model, the $k$-spreading models of a Banach space are introduced, for every $k\in\mathbb{N}$. The definition, which is based on the $k$-sequences and plegma families, reveals a new class of spreading sequences associated to a Banach space. Most of the results of the classical theory are stated and proved in the higher order setting. Moreover, new phenomena like the universality of the class of the 2-spreading models of $c_0$ and the composition property are established. As consequence, a problem concerning the structure of the $k$-iterated spreading models is solved.
△ Less
Submitted 13 May, 2011;
originally announced May 2011.
-
Dense subsets of products of finite trees
Authors:
Pandelis Dodos,
Vassilis Kanellopoulos,
Konstantinos Tyros
Abstract:
We prove a "uniform" version of the finite density Halpern-Läuchli Theorem. Specifically, we say that a tree $T$ is homogeneous if it is uniquely rooted and there is an integer $b\geq 2$, called the branching number of $T$, such that every $t\in T$ has exactly $b$ immediate successors. We show the following.
For every integer $d\geq 1$, every $b_1,...,b_d\in\mathbb{N}$ with $b_i\geq 2$ for all…
▽ More
We prove a "uniform" version of the finite density Halpern-Läuchli Theorem. Specifically, we say that a tree $T$ is homogeneous if it is uniquely rooted and there is an integer $b\geq 2$, called the branching number of $T$, such that every $t\in T$ has exactly $b$ immediate successors. We show the following.
For every integer $d\geq 1$, every $b_1,...,b_d\in\mathbb{N}$ with $b_i\geq 2$ for all $i\in\{1,...,d\}$, every integer $k\meg 1$ and every real $0<ε\leq 1$ there exists an integer $N$ with the following property. If $(T_1,...,T_d)$ are homogeneous trees such that the branching number of $T_i$ is $b_i$ for all $i\in\{1,...,d\}$, $L$ is a finite subset of $\mathbb{N}$ of cardinality at least $N$ and $D$ is a subset of the level product of $(T_1,...,T_d)$ satisfying \[|D\cap \big(T_1(n)\times ...\times T_d(n)\big)| \geq ε|T_1(n)\times ...\times T_d(n)|\] for every $n\in L$, then there exist strong subtrees $(S_1,...,S_d)$ of $(T_1,...,T_d)$ of height $k$ and with common level set such that the level product of $(S_1,...,S_d)$ is contained in $D$. The least integer $N$ with this property will be denoted by $UDHL(b_1,...,b_d|k,ε)$.
The main point is that the result is independent of the position of the finite set $L$. The proof is based on a density increment strategy and gives explicit upper bounds for the numbers $UDHL(b_1,...,b_d|k,ε)$.
△ Less
Submitted 22 September, 2012; v1 submitted 12 May, 2011;
originally announced May 2011.
-
Measurable events indexed by trees
Authors:
Pandelis Dodos,
Vassilis Kanellopoulos,
Konstantinos Tyros
Abstract:
A tree $T$ is said to be homogeneous if it is uniquely rooted and there exists an integer $b\geq 2$, called the branching number of $T$, such that every $t\in T$ has exactly $b$ immediate successors. We study the behavior of measurable events in probability spaces indexed by homogeneous trees.
Precisely, we show that for every integer $b\geq 2$ and every integer $n\geq 1$ there exists an integer…
▽ More
A tree $T$ is said to be homogeneous if it is uniquely rooted and there exists an integer $b\geq 2$, called the branching number of $T$, such that every $t\in T$ has exactly $b$ immediate successors. We study the behavior of measurable events in probability spaces indexed by homogeneous trees.
Precisely, we show that for every integer $b\geq 2$ and every integer $n\geq 1$ there exists an integer $q(b,n)$ with the following property. If $T$ is a homogeneous tree with branching number $b$ and $\{A_t:t\in T\}$ is a family of measurable events in a probability space $(Ω,Σ,μ)$ satisfying $μ(A_t)\geqε>0$ for every $t\in T$, then for every $0<θ<ε$ there exists a strong subtree $S$ of $T$ of infinite height such that for every non-empty finite subset $F$ of $S$ of cardinality $n$ we have \[ μ\Big(\bigcap_{t\in F} A_t\Big) \meg θ^{q(b,n)}. \] In fact, we can take $q(b,n)= \big((2^b-1)^{2n-1}-1\big)\cdot(2^b-2)^{-1}$. A finite version of this result is also obtained.
△ Less
Submitted 22 September, 2012; v1 submitted 12 May, 2011;
originally announced May 2011.
-
Spreading Models in Banach Space Theory
Authors:
S. A. Argyros,
V. Kanellopoulos,
K. Tyros
Abstract:
We extend the classical Brunel-Sucheston definition of the spreading model by introducing the $\mathcal{F}$-sequences $(x_s)_{s\in\mathcal{F}}$ in a Banach space and the plegma families in $\mathcal{F}$ where $\mathcal{F}$ is a regular thin family. The new concept yields a transfinite increasing hierarchy of classes of spreading sequences. We explore the corresponding theory and we present example…
▽ More
We extend the classical Brunel-Sucheston definition of the spreading model by introducing the $\mathcal{F}$-sequences $(x_s)_{s\in\mathcal{F}}$ in a Banach space and the plegma families in $\mathcal{F}$ where $\mathcal{F}$ is a regular thin family. The new concept yields a transfinite increasing hierarchy of classes of spreading sequences. We explore the corresponding theory and we present examples establishing this hierarchy and illustrating the limitation of the theory.
△ Less
Submitted 17 April, 2014; v1 submitted 4 June, 2010;
originally announced June 2010.
-
A discretized approach to W.T. Gowers' game
Authors:
V. Kanellopoulos,
K. Tyros
Abstract:
We give an alternative proof of W. T. Gowers' theorem on block bases by reducing it to a discrete analogue on specific countable nets. We also give a Ramsey type result on k-tuples of block sequences in a normed linear space with a Schauder basis.
We give an alternative proof of W. T. Gowers' theorem on block bases by reducing it to a discrete analogue on specific countable nets. We also give a Ramsey type result on k-tuples of block sequences in a normed linear space with a Schauder basis.
△ Less
Submitted 1 March, 2010; v1 submitted 15 April, 2009;
originally announced April 2009.
