Showing 1–50 of 100 results for author: Stein, M

Embedding Nearly Spanning Trees

Authors: Bruce Reed, Maya Stein

Abstract: The Erdős-Sós Conjecture states that every graph with average degree exceeding $k-1$ contains every tree with $k$ edges as a subgraph. We prove that there are $δ>0$ and $k_0\in\mathbb N$ such that the conjecture holds for every tree $T$ with $k \ge k_0$ edges and every graph $G$ with $|V(G)| \le (1+δ)|V(T)|$. The Erdős-Sós Conjecture states that every graph with average degree exceeding $k-1$ contains every tree with $k$ edges as a subgraph. We prove that there are $δ>0$ and $k_0\in\mathbb N$ such that the conjecture holds for every tree $T$ with $k \ge k_0$ edges and every graph $G$ with $|V(G)| \le (1+δ)|V(T)|$. △ Less

Submitted 24 May, 2024; originally announced May 2024.

Antidirected trees in dense digraphs

Authors: Maya Stein, Ana Trujillo-Negrete

Abstract: We show that if $D$ is an $n$-vertex digraph with more than $(k-1)n$ arcs that does not contain any of three forbidden digraphs, then $D$ contains every antidirected tree on $k$ arcs. The forbidden digraphs are those orientations of $K_{2, \lceil k/12\rceil}$ where each of the vertices in the class of size two has either out-degree $0$ or in-degree $0$. This proves a conjecture of Addario-Berry et… ▽ More We show that if $D$ is an $n$-vertex digraph with more than $(k-1)n$ arcs that does not contain any of three forbidden digraphs, then $D$ contains every antidirected tree on $k$ arcs. The forbidden digraphs are those orientations of $K_{2, \lceil k/12\rceil}$ where each of the vertices in the class of size two has either out-degree $0$ or in-degree $0$. This proves a conjecture of Addario-Berry et al. for a broad class of digraphs, and generalises a result for $K_{2, \lfloor k/12\rfloor}$-free graphs by Balasubramanian and Dobson. We also show that every digraph $D$ on $n$ vertices with more than $(k-1)n$ arcs contains every antidirected $k$-arc caterpillar, thus solving the above conjecture for caterpillars. This generalises a result of Perles. △ Less

Submitted 25 May, 2024; v1 submitted 16 April, 2024; originally announced April 2024.

Comments: The authors' names were incorrectly ordered in the first version. The only modification in the second version is the correction of this formatting error

MSC Class: 05C05; 05C20; 05C35

Monochromatic partitions in 2-edge-coloured bipartite graphs

Authors: Camila Fernández, Matías Pavez-Signé, Maya Stein

Abstract: We study two variations of the Gyarfas--Lehel conjecture on the minimum number of monochromatic components needed to cover an edge-coloured complete bipartite graph. Specifically, we show the following. - For p>> (\log n/n)^{1/2}, w.h.p.~every 2-colouring of the random bipartite graph G~ G(n,n,p) admits a cover of all but O(1/p) vertices of G using at most three vertex-disjoint monochromatic co… ▽ More We study two variations of the Gyarfas--Lehel conjecture on the minimum number of monochromatic components needed to cover an edge-coloured complete bipartite graph. Specifically, we show the following. - For p>> (\log n/n)^{1/2}, w.h.p.~every 2-colouring of the random bipartite graph G~ G(n,n,p) admits a cover of all but O(1/p) vertices of G using at most three vertex-disjoint monochromatic components. - For every 2-colouring of a bipartite graph G with parts of size n and minimum degree (13/16+o(1))n, the vertices of G can be covered using at most three vertex-disjoint monochromatic components. △ Less

Submitted 19 March, 2024; originally announced March 2024.

An exact upper bound for the minimum size of a path system that weakly separates a clique

Authors: George Kontogeorgiou, Maya Stein

Abstract: We show that for each natural number $n$ the clique $K_n$ has a weakly separating path system of size $n+2$, improving the previous best known upper bound of $(1+o(1))n$. Since $n-1$ is a lower bound, this is almost tight. We show that for each natural number $n$ the clique $K_n$ has a weakly separating path system of size $n+2$, improving the previous best known upper bound of $(1+o(1))n$. Since $n-1$ is a lower bound, this is almost tight. △ Less

Submitted 12 March, 2024; originally announced March 2024.

Comments: 7 pages

MSC Class: 05C38

Tracking before detection using partial orders and optimization

Authors: Michael Robinson, Michael Stein, Henry S. Owen

Abstract: This article addresses the problem of multi-object tracking by using a non-deterministic model of target behaviors with hard constraints. To capture the evolution of target features as well as their locations, we permit objects to lie in a general topological target configuration space, rather than a Euclidean space. We obtain tracker performance bounds based on sample rates, and derive a flexible… ▽ More This article addresses the problem of multi-object tracking by using a non-deterministic model of target behaviors with hard constraints. To capture the evolution of target features as well as their locations, we permit objects to lie in a general topological target configuration space, rather than a Euclidean space. We obtain tracker performance bounds based on sample rates, and derive a flexible, agnostic tracking algorithm. We demonstrate our algorithm on two scenarios involving laboratory and field data. △ Less

Submitted 22 January, 2024; originally announced January 2024.

MSC Class: 37N99

On the Ramsey number of the double star

Authors: Freddy Flores Dubó, Maya Stein

Abstract: The double star $S(m_1,m_2)$ is obtained from joining the centres of a star with $m_1$ leaves and a star with $m_2$ leaves. We give a short proof of a new upper bound on the two-colour Ramsey number of $S(m_1,m_2)$, for positive $m_1,m_2$ fulfilling $(\sqrt 5+1)m_2/2 < m_1 < 3m_2$. Our result implies that for all positive $m$, the Ramsey number of the double star $S(2m,m)$ is at most $4.275m$. The double star $S(m_1,m_2)$ is obtained from joining the centres of a star with $m_1$ leaves and a star with $m_2$ leaves. We give a short proof of a new upper bound on the two-colour Ramsey number of $S(m_1,m_2)$, for positive $m_1,m_2$ fulfilling $(\sqrt 5+1)m_2/2 < m_1 < 3m_2$. Our result implies that for all positive $m$, the Ramsey number of the double star $S(2m,m)$ is at most $4.275m$. △ Less

Submitted 20 April, 2024; v1 submitted 2 January, 2024; originally announced January 2024.

Oriented trees and paths in digraphs

Authors: Maya Stein

Abstract: Which conditions ensure that a digraph contains all oriented paths of some given length, or even a all oriented trees of some given size, as a subgraph? One possible condition could be that the host digraph is a tournament of a certain order. In arbitrary digraphs and oriented graphs, conditions on the chromatic number, on the edge density, on the minimum outdegree and on the minimum semidegree ha… ▽ More Which conditions ensure that a digraph contains all oriented paths of some given length, or even a all oriented trees of some given size, as a subgraph? One possible condition could be that the host digraph is a tournament of a certain order. In arbitrary digraphs and oriented graphs, conditions on the chromatic number, on the edge density, on the minimum outdegree and on the minimum semidegree have been proposed. In this survey, we review the known results, and highlight some open questions in the area. △ Less

Submitted 23 May, 2024; v1 submitted 28 October, 2023; originally announced October 2023.

Comments: Corrected an omission in Question 6.6

Antipaths in oriented graphs

Authors: Tereza Klimošová, Maya Stein

Abstract: We show that for any natural number $k \ge 1$, any oriented graph $D$ of minimum semidegree at least $(3k- 2)/4$ contains an antidirected path of length $k$. In fact, a slightly weaker condition on the semidegree sequence of $D$ suffices, and as a consequence, we confirm a weakened antidirected path version of a conjecture of Addario-Berry, Havet, Linhares Sales, Thomassé and Reed. We show that for any natural number $k \ge 1$, any oriented graph $D$ of minimum semidegree at least $(3k- 2)/4$ contains an antidirected path of length $k$. In fact, a slightly weaker condition on the semidegree sequence of $D$ suffices, and as a consequence, we confirm a weakened antidirected path version of a conjecture of Addario-Berry, Havet, Linhares Sales, Thomassé and Reed. △ Less

Submitted 5 February, 2024; v1 submitted 19 December, 2022; originally announced December 2022.

Comments: Fixed an accidental omission in Problem 10

Antidirected subgraphs of oriented graphs

Authors: Maya Stein, Camila Zárate-Guerén

Abstract: We show that for every $η>0$ every sufficiently large $n$-vertex oriented graph D of minimum semidegree exceeding $(1 + η) k/2$ contains every balanced antidirected tree with $k$ edges and bounded maximum degree, if $k \ge ηn$. In particular, this asymptotically confirms a conjecture of the first author for long antidirected paths and dense digraphs. Further, we show that in the same setting, D… ▽ More We show that for every $η>0$ every sufficiently large $n$-vertex oriented graph D of minimum semidegree exceeding $(1 + η) k/2$ contains every balanced antidirected tree with $k$ edges and bounded maximum degree, if $k \ge ηn$. In particular, this asymptotically confirms a conjecture of the first author for long antidirected paths and dense digraphs. Further, we show that in the same setting, D contains every $k$-edge antidirected subdivision of a sufficiently small complete graph, if the paths of the subdivision that have length 1 or 2 span a forest. As a special case, we can find all antidirected cycles of length at most $k$. Finally, we address a conjecture of Addario-Berry, Havet, Linhares Sales, Reed and Thomassé for antidirected trees in digraphs. We show that this conjecture is asymptotically true in $n$-vertex oriented graphs for all balanced antidirected trees of bounded maximum degree and of size linear in $n$. △ Less

Submitted 16 January, 2024; v1 submitted 1 December, 2022; originally announced December 2022.

On a multi-parameter variant of the Bellow-Furstenberg problem

Authors: Jean Bourgain, Mariusz Mirek, Elias M. Stein, James Wright

Abstract: We prove convergence in norm and pointwise almost everywhere on $L^p$, $p\in (1,\infty)$, for certain multi-parameter polynomial ergodic averages by establishing the corresponding multi-parameter maximal and oscillation inequalities. Our result, in particular, gives an affirmative answer to a multi-parameter variant of the Bellow-Furstenberg problem. This paper is also the first systematic treatme… ▽ More We prove convergence in norm and pointwise almost everywhere on $L^p$, $p\in (1,\infty)$, for certain multi-parameter polynomial ergodic averages by establishing the corresponding multi-parameter maximal and oscillation inequalities. Our result, in particular, gives an affirmative answer to a multi-parameter variant of the Bellow-Furstenberg problem. This paper is also the first systematic treatment of multi-parameter oscillation semi-norms which allows an efficient handling of multi-parameter pointwise convergence problems with arithmetic features. The methods of proof of our main result develop estimates for multi-parameter exponential sums, as well as introduce new ideas from the so-called multi-parameter circle method in the context of the geometry of backwards Newton diagrams that are dictated by the shape of the polynomials defining our ergodic averages. △ Less

Submitted 12 August, 2023; v1 submitted 15 September, 2022; originally announced September 2022.

Comments: 60 pages, two figures. This is the final version, incorporating suggestions from the referees reports. Last section simplified. Accepted for publication in the Forum of Mathematics, Pi

Monochromatic paths in $2$-edge coloured graphs and hypergraphs

Authors: Maya Stein

Abstract: We answer a question of Gyárfás and Sárközy from 2013 by showing that every 2-edge-coloured complete 3-uniform hypergraph can be partitioned into two monochromatic tight paths of different colours. We also give a lower bound for the number of tight paths needed to partition any 2-edge-coloured complete r-partite r-uniform hypergraph. Finally, we show that any 2-edge-coloured complete bipartite gra… ▽ More We answer a question of Gyárfás and Sárközy from 2013 by showing that every 2-edge-coloured complete 3-uniform hypergraph can be partitioned into two monochromatic tight paths of different colours. We also give a lower bound for the number of tight paths needed to partition any 2-edge-coloured complete r-partite r-uniform hypergraph. Finally, we show that any 2-edge-coloured complete bipartite graph has a partition into a monochromatic cycle and a monochromatic path, of different colours, unless the colouring is a split colouring. △ Less

Submitted 25 January, 2023; v1 submitted 26 April, 2022; originally announced April 2022.

Partitioning a 2-edge-coloured graph of minimum degree $2n/3 + o(n)$ into three monochromatic cycles

Authors: Peter Allen, Julia Böttcher, Richard Lang, Jozef Skokan, Maya Stein

Abstract: Lehel conjectured in the 1970s that every red and blue edge-coloured complete graph can be partitioned into two monochromatic cycles. This was confirmed in 2010 by Bessy and Thomassé. However, the host graph $G$ does not have to be complete. It it suffices to require that $G$ has minimum degree at least $3n/4$, where $n$ is the order of $G$, as was shown recently by Letzter, confirming a conjectur… ▽ More Lehel conjectured in the 1970s that every red and blue edge-coloured complete graph can be partitioned into two monochromatic cycles. This was confirmed in 2010 by Bessy and Thomassé. However, the host graph $G$ does not have to be complete. It it suffices to require that $G$ has minimum degree at least $3n/4$, where $n$ is the order of $G$, as was shown recently by Letzter, confirming a conjecture of Balogh, Barát, Gerbner, Gyárfás and Sárközy. This degree condition is asymptotically tight. Here we continue this line of research, by proving that for every red and blue edge-colouring of an $n$-vertex graph of minimum degree at least $2n/3 + o(n)$, there is a partition of the vertex set into three monochromatic cycles. This approximately verifies a conjecture of Pokrovskiy and is essentially tight. △ Less

Submitted 1 April, 2022; originally announced April 2022.

Active clustering for labeling training data

Authors: Quentin Lutz, Élie de Panafieu, Alex Scott, Maya Stein

Abstract: Gathering training data is a key step of any supervised learning task, and it is both critical and expensive. Critical, because the quantity and quality of the training data has a high impact on the performance of the learned function. Expensive, because most practical cases rely on humans-in-the-loop to label the data. The process of determining the correct labels is much more expensive than comp… ▽ More Gathering training data is a key step of any supervised learning task, and it is both critical and expensive. Critical, because the quantity and quality of the training data has a high impact on the performance of the learned function. Expensive, because most practical cases rely on humans-in-the-loop to label the data. The process of determining the correct labels is much more expensive than comparing two items to see whether they belong to the same class. Thus motivated, we propose a setting for training data gathering where the human experts perform the comparatively cheap task of answering pairwise queries, and the computer groups the items into classes (which can be labeled cheaply at the very end of the process). Given the items, we consider two random models for the classes: one where the set partition they form is drawn uniformly, the other one where each item chooses its class independently following a fixed distribution. In the first model, we characterize the algorithms that minimize the average number of queries required to cluster the items and analyze their complexity. In the second model, we analyze a specific algorithm family, propose as a conjecture that they reach the minimum average number of queries and compare their performance to a random approach. We also propose solutions to handle errors or inconsistencies in the experts' answers. △ Less

Submitted 27 October, 2021; originally announced October 2021.

Comments: Accepted at Neurips 2021. The main part is 14 pages long, the rest is an appendix containing the long version of the proofs

Journal ref: NeurIPS 2021

Towards a hypergraph version of the Pósa-Seymour conjecture

Authors: Matías Pavez-Signé, Nicolás Sanhueza-Matamala, Maya Stein

Abstract: We prove that for fixed $r\ge k\ge 2$, every $k$-uniform hypergraph on $n$ vertices having minimum codegree at least $(1-(\binom{r-1}{k-1}+\binom{r-2}{k-2})^{-1})n+o(n)$ contains the $(r-k+1)$th power of a tight Hamilton cycle. This result may be seen as a step towards a hypergraph version of the Pósa-Seymour conjecture. Moreover, we prove that the same bound on the codegree suffices for finding… ▽ More We prove that for fixed $r\ge k\ge 2$, every $k$-uniform hypergraph on $n$ vertices having minimum codegree at least $(1-(\binom{r-1}{k-1}+\binom{r-2}{k-2})^{-1})n+o(n)$ contains the $(r-k+1)$th power of a tight Hamilton cycle. This result may be seen as a step towards a hypergraph version of the Pósa-Seymour conjecture. Moreover, we prove that the same bound on the codegree suffices for finding a copy of every spanning hypergraph of tree-width less than $r$ which admits a tree decomposition where every vertex is in a bounded number of bags. △ Less

Submitted 19 July, 2023; v1 submitted 18 October, 2021; originally announced October 2021.

MSC Class: 05C45; 05C65

Journal ref: Advances in Combinatorics 2023:3, 29pp

Solution decomposition for the nonlinear Poisson-Boltzmann equation using the range-separated tensor format

Authors: Cleophas Kweyu, Venera Khoromskaia, Boris Khoromskij, Matthias Stein, Peter Benner

Abstract: The Poisson-Boltzmann equation (PBE) is an implicit solvent continuum model for calculating the electrostatic potential and energies of ionic solvated biomolecules. However, its numerical solution remains a significant challenge due strong singularities and nonlinearity caused by the singular source terms and the exponential nonlinear terms, respectively. An efficient method for the treatment of s… ▽ More The Poisson-Boltzmann equation (PBE) is an implicit solvent continuum model for calculating the electrostatic potential and energies of ionic solvated biomolecules. However, its numerical solution remains a significant challenge due strong singularities and nonlinearity caused by the singular source terms and the exponential nonlinear terms, respectively. An efficient method for the treatment of singularities in the linear PBE was introduced in \cite{BeKKKS:18}, that is based on the RS tensor decomposition for both electrostatic potential and the discretized Dirac delta distribution. In this paper, we extend this regularization method to the nonlinear PBE. We apply the PBE only to the regular part of the solution corresponding to the modified right-hand side via extraction of the long-range part in the discretized Dirac delta distribution. The total electrostatic potential is obtained by adding the long-range solution to the directly precomputed short-range potential. The main computational benefit of the approach is the automatic maintaining of the continuity in the Cauchy data on the solute-solvent interface. The boundary conditions are also obtained from the long-range component of the precomputed canonical tensor representation of the Newton kernel. In the numerical experiments, we illustrate the accuracy of the nonlinear regularized PBE (NRPBE) over the classical variant. △ Less

Submitted 10 June, 2023; v1 submitted 28 September, 2021; originally announced September 2021.

Comments: 26 pages, 15 figures

MSC Class: 65F30; 65F50; 65N35; 65F10 ACM Class: G.1.3; G.1.8

Reduced basis method for the nonlinear Poisson-Boltzmann equation regularized by the range-separated canonical tensor format

Authors: Cleophas Kweyu, Lihong Feng, Matthias Stein, Peter Benner

Abstract: The Poisson-Boltzmann equation (PBE) is a fundamental implicit solvent continuum model for calculating the electrostatic potential of large ionic solvated biomolecules. However, its numerical solution encounters severe challenges arising from its strong singularity and nonlinearity. In [1,2], the effect of strong singularities was eliminated by applying the range-separated (RS) canonical tensor fo… ▽ More The Poisson-Boltzmann equation (PBE) is a fundamental implicit solvent continuum model for calculating the electrostatic potential of large ionic solvated biomolecules. However, its numerical solution encounters severe challenges arising from its strong singularity and nonlinearity. In [1,2], the effect of strong singularities was eliminated by applying the range-separated (RS) canonical tensor format [3,4] to construct a solution decomposition scheme for the PBE. The RS tensor format allows to derive a smooth approximation to the Dirac delta distribution in order to obtain a regularized PBE (RPBE) model. However, solving the RPBE is still computationally demanding due to its high dimension $\mathcal{N}$, where $\mathcal{N}$ is always in the millions. In this study, we propose to apply the reduced basis method (RBM) and the (discrete) empirical interpolation method ((D)EIM) to the RPBE in order to construct a reduced order model (ROM) of low dimension $N \ll \mathcal{N}$, whose solution accurately approximates the nonlinear RPBE. The long-range potential can be obtained by lifting the ROM solution back to the $\mathcal{N}$-space while the short-range potential is directly precomputed analytically, thanks to the RS tensor format. The sum of both provides the total electrostatic potential. The main computational benefit is the avoidance of computing the numerical approximation of the singular electrostatic potential. We demonstrate in the numerical experiments, the accuracy and efficacy of the reduced basis (RB) approximation to the nonlinear RPBE (NRPBE) solution and the corresponding computational savings over the classical nonlinear PBE (NPBE) as well as over the RBM being applied to the classical NPBE. △ Less

Submitted 27 February, 2021; originally announced March 2021.

Dirac-type conditions for spanning bounded-degree hypertrees

Authors: Matías Pavez-Signé, Nicolás Sanhueza-Matamala, Maya Stein

Abstract: We prove that for fixed $k$, every $k$-uniform hypergraph on $n$ vertices and of minimum codegree at least $n/2+o(n)$ contains every spanning tight $k$-tree of bounded vertex degree as a sub\-graph. This generalises a well-known result of Komlós, Sárközy and Szemerédi for graphs. Our result is asymptotically sharp. We also prove an extension of our result to hypergraphs that satisfy some weak quas… ▽ More We prove that for fixed $k$, every $k$-uniform hypergraph on $n$ vertices and of minimum codegree at least $n/2+o(n)$ contains every spanning tight $k$-tree of bounded vertex degree as a sub\-graph. This generalises a well-known result of Komlós, Sárközy and Szemerédi for graphs. Our result is asymptotically sharp. We also prove an extension of our result to hypergraphs that satisfy some weak quasirandomness conditions. △ Less

Submitted 9 June, 2023; v1 submitted 17 December, 2020; originally announced December 2020.

MSC Class: 05C05; 05C65; 05D99

$3$-Colouring $P_t$-free graphs without short odd cycles

Authors: Alberto Rojas, Maya Stein

Abstract: For any odd $t\ge 9$, we present a polynomial-time algorithm that solves the $3$-colouring problem, and finds a $3$-colouring if one exists, in $P_{t}$-free graphs of odd girth at least $t-2$. In particular, our algorithm works for $(P_9, C_3, C_5)$-free graphs, thus making progress towards determining the complexity of $3$-colouring in $P_t$-free graphs, which is open for $t\ge 8$. For any odd $t\ge 9$, we present a polynomial-time algorithm that solves the $3$-colouring problem, and finds a $3$-colouring if one exists, in $P_{t}$-free graphs of odd girth at least $t-2$. In particular, our algorithm works for $(P_9, C_3, C_5)$-free graphs, thus making progress towards determining the complexity of $3$-colouring in $P_t$-free graphs, which is open for $t\ge 8$. △ Less

Submitted 11 August, 2020; originally announced August 2020.

Comments: 21 pages

Kalai's conjecture in $r$-partite $r$-graphs

Authors: Maya Stein

Abstract: Kalai conjectured that every $n$-vertex $r$-uniform hypergraph with more than $\frac{t-1}{r} {n \choose r-1}$ edges contains all tight $r$-trees of some fixed size $t$. We prove Kalai's conjecture for $r$-partite $r$-uniform hypergraphs. Our result is asymptotically best possible up to replacing the term $\frac{t-1}{r}$ with the term $\frac{t-r+1}{r}$. We apply our main result in graphs to show… ▽ More Kalai conjectured that every $n$-vertex $r$-uniform hypergraph with more than $\frac{t-1}{r} {n \choose r-1}$ edges contains all tight $r$-trees of some fixed size $t$. We prove Kalai's conjecture for $r$-partite $r$-uniform hypergraphs. Our result is asymptotically best possible up to replacing the term $\frac{t-1}{r}$ with the term $\frac{t-r+1}{r}$. We apply our main result in graphs to show an upper bound for the Turán number of trees. △ Less

Submitted 24 December, 2019; originally announced December 2019.

Tree containment and degree conditions

Authors: Maya Stein

Abstract: We survey results and open problems relating degree conditions with tree containment in graphs, random graphs, digraphs and hypergraphs, and their applications in Ramsey theory. We survey results and open problems relating degree conditions with tree containment in graphs, random graphs, digraphs and hypergraphs, and their applications in Ramsey theory. △ Less

Submitted 20 August, 2020; v1 submitted 9 December, 2019; originally announced December 2019.

Comments: 37 pages

Clique immersions and independence number

Authors: Sebastián Bustamante, Daniel A. Quiroz, Maya Stein, José Zamora

Abstract: The analogue of Hadwiger's conjecture for the immersion order states that every graph $G$ contains $K_{χ(G)}$ as an immersion. If true, it would imply that every graph with $n$ vertices and independence number $α$ contains $K_{\lceil \frac nα\rceil}$ as an immersion. The best currently known bound for this conjecture is due to Gauthier, Le and Wollan, who recently proved that every graph $G$ conta… ▽ More The analogue of Hadwiger's conjecture for the immersion order states that every graph $G$ contains $K_{χ(G)}$ as an immersion. If true, it would imply that every graph with $n$ vertices and independence number $α$ contains $K_{\lceil \frac nα\rceil}$ as an immersion. The best currently known bound for this conjecture is due to Gauthier, Le and Wollan, who recently proved that every graph $G$ contains an immersion of a clique on $\bigl\lceil \frac{χ(G)-4}{3.54}\bigr\rceil$ vertices. Their result implies that every $n$-vertex graph with independence number $α$ contains an immersion of a clique on $\bigl\lceil \frac{n}{3.54α}-1.13\bigr\rceil$ vertices. We improve on this result for all $α\ge 3$, by showing that every $n$-vertex graph with independence number $α\ge 3$ contains an immersion of a clique on $\bigl\lfloor \frac {n}{2.25 α- f(α)} \bigr\rfloor - 1$ vertices, where $f$ is a nonnegative function. △ Less

Submitted 18 April, 2022; v1 submitted 2 July, 2019; originally announced July 2019.

Comments: 13 pages, 1 figure. Minor changes according to referees' suggestions

On the Erdős-Sós conjecture for trees with bounded degree

Authors: Guido Besomi, Matías Pavez-Signé, Maya Stein

Abstract: We prove the Erd\H os--Sós conjecture for trees with bounded maximum degree and large dense host graphs. As a corollary, we obtain an upper bound on the multicolour Ramsey number of large trees whose maximum degree is bounded by a constant. We prove the Erd\H os--Sós conjecture for trees with bounded maximum degree and large dense host graphs. As a corollary, we obtain an upper bound on the multicolour Ramsey number of large trees whose maximum degree is bounded by a constant. △ Less

Submitted 12 August, 2020; v1 submitted 24 June, 2019; originally announced June 2019.

Spanning Trees in Graphs of High Minimum Degree with a Universal Vertex II: A Tight Result

Authors: Bruce Reed, Maya Stein

Abstract: We prove that, if $m$ is sufficiently large, every graph on $m+1$ vertices that has a universal vertex and minimum degree at least $\lfloor \frac{2m}{3} \rfloor$ contains each tree $T$ with $m$ edges as a subgraph. Our result confirms, for large $m$, an important special case of a conjecture by Havet, Reed, Stein, and Wood. The present paper builds on the results of a companion paper in which we p… ▽ More We prove that, if $m$ is sufficiently large, every graph on $m+1$ vertices that has a universal vertex and minimum degree at least $\lfloor \frac{2m}{3} \rfloor$ contains each tree $T$ with $m$ edges as a subgraph. Our result confirms, for large $m$, an important special case of a conjecture by Havet, Reed, Stein, and Wood. The present paper builds on the results of a companion paper in which we proved the statement for all trees having a vertex that is adjacent to many leaves. △ Less

Submitted 20 July, 2022; v1 submitted 23 May, 2019; originally announced May 2019.

Comments: 31 pages

Spanning Trees in Graphs of High Minimum Degree with a Universal Vertex I: An Asymptotic Result

Authors: Bruce Reed, Maya Stein

Abstract: In this paper and a companion paper, we prove that, if $m$ is sufficiently large, every graph on $m+1$ vertices that has a universal vertex and minimum degree at least $\lfloor \frac{2m}{3} \rfloor$ contains each tree $T$ with $m$ edges as a subgraph. Our result confirms, for large $m$, an important special case of a recent conjecture by Havet, Reed, Stein, and Wood. The present paper already cont… ▽ More In this paper and a companion paper, we prove that, if $m$ is sufficiently large, every graph on $m+1$ vertices that has a universal vertex and minimum degree at least $\lfloor \frac{2m}{3} \rfloor$ contains each tree $T$ with $m$ edges as a subgraph. Our result confirms, for large $m$, an important special case of a recent conjecture by Havet, Reed, Stein, and Wood. The present paper already contains an approximate version of the result. △ Less

Submitted 20 July, 2022; v1 submitted 23 May, 2019; originally announced May 2019.

Comments: 59 pages

Computing electrostatic potentials using regularization based on the range-separated tensor format

Authors: Peter Benner, Venera Khoromskaia, Boris Khoromskij, Cleophas Kweyu, Matthias Stein

Abstract: In this paper, we apply the range-separated (RS) tensor format [6] for the construction of new regularization scheme for the Poisson-Boltzmann equation (PBE) describing the electrostatic potential in biomolecules. In our approach, we use the RS tensor representation to the discretized Dirac delta [21] to construct an efficient RS splitting of the PBE solution in the solute (molecular) region. The… ▽ More In this paper, we apply the range-separated (RS) tensor format [6] for the construction of new regularization scheme for the Poisson-Boltzmann equation (PBE) describing the electrostatic potential in biomolecules. In our approach, we use the RS tensor representation to the discretized Dirac delta [21] to construct an efficient RS splitting of the PBE solution in the solute (molecular) region. The PBE then needs to be solved with a regularized source term, and thus black-box solvers can be applied. The main computational benefits are due to the localization of the modified right-hand side within the molecular region and automatic maintaining of the continuity in the Cauchy data on the interface. Moreover, this computational scheme only includes solving a single system of FDM/FEM equations for the smooth long-range (i.e., regularized) part of the collective potential represented by a low-rank RS-tensor with a controllable precision. The total potential is obtained by adding this solution to the directly precomputed rank-structured tensor representation for the short-range contribution. Enabling finer grids in PBE computations is another advantage of the proposed techniques. In the numerical experiments, we consider only the free space electrostatic potential for proof of concept. We illustrate that the classical Poisson equation (PE) model does not accurately capture the solution singularities in the numerical approximation as compared to the new approach by the RS tensor format. △ Less

Submitted 28 January, 2019; originally announced January 2019.

Comments: 25 pages, 31 figures

MSC Class: 65F30; 65F50; 65N35; 65F10

On regularity and irregularity of certain holomorphic singular integral operators

Authors: Loredana Lanzani, Elias M. Stein

Abstract: We survey recent work and announce new results concerning two singular integral operators whose kernels are holomorphic functions of the output variable, specifically the Cauchy-Leray integral and the Cauchy-Szeg\H o projection associated to various classes of bounded domains in $\mathbb C^n$ with $n\geq 2$. We survey recent work and announce new results concerning two singular integral operators whose kernels are holomorphic functions of the output variable, specifically the Cauchy-Leray integral and the Cauchy-Szeg\H o projection associated to various classes of bounded domains in $\mathbb C^n$ with $n\geq 2$. △ Less

Submitted 10 January, 2019; originally announced January 2019.

On the Hardy--Littlewood maximal functions in high dimensions: Continuous and discrete perspective

Authors: Jean Bourgain, Mariusz Mirek, Elias M. Stein, Błażej Wróbel

Abstract: This is a survey article about recent developments in dimension-free estimates for maximal functions corresponding to the Hardy--Littlewood averaging operators associated with convex symmetric bodies in $\mathbb R^d$ and $\mathbb Z^d$. This is a survey article about recent developments in dimension-free estimates for maximal functions corresponding to the Hardy--Littlewood averaging operators associated with convex symmetric bodies in $\mathbb R^d$ and $\mathbb Z^d$. △ Less

Submitted 2 November, 2019; v1 submitted 1 December, 2018; originally announced December 2018.

Comments: 24 pages, no figures. Dedicated to Fulvio Ricci on the occasion of his 70th birthday. Revised following the referee report

Jump inequalities for translation-invariant operators of Radon type on $\mathbb{Z}^d$

Authors: Mariusz Mirek, Elias M. Stein, Pavel Zorin-Kranich

Abstract: We prove strong jump inequalities for a large class of operators of Radon type in the discrete and ergodic theoretical settings. These inequalities are the $r=2$ endpoints of the $r$-variational estimates studied in arXiv:1512.07523. We prove strong jump inequalities for a large class of operators of Radon type in the discrete and ergodic theoretical settings. These inequalities are the $r=2$ endpoints of the $r$-variational estimates studied in arXiv:1512.07523. △ Less

Submitted 11 February, 2020; v1 submitted 11 September, 2018; originally announced September 2018.

Comments: v2: 39 pages, revised following referee report

MSC Class: 37A45 (Primary) 11K70; 11L07; 42B15; 42B20; 42B25 (Secondary)

Journal ref: Adv. Math. 365 (2020)

Maximum and minimum degree conditions for embedding trees

Authors: Guido Besomi, Matías Pavez-Signé, Maya Stein

Abstract: We propose the following conjecture: For every fixed $α\in [0,\frac 13)$, each graph of minimum degree at least $(1+α)\frac k2$ and maximum degree at least $2(1-α)k$ contains each tree with $k$ edges as a subgraph. Our main result is an approximate version of the conjecture for bounded degree trees and large dense host graphs. We also show that our conjecture is asymptotically best possible. The p… ▽ More We propose the following conjecture: For every fixed $α\in [0,\frac 13)$, each graph of minimum degree at least $(1+α)\frac k2$ and maximum degree at least $2(1-α)k$ contains each tree with $k$ edges as a subgraph. Our main result is an approximate version of the conjecture for bounded degree trees and large dense host graphs. We also show that our conjecture is asymptotically best possible. The proof of the approximate result relies on a second result, which we believe to be interesting on its own. Namely, we can embed any bounded degree tree into host graphs of minimum/maximum degree asymptotically exceeding $\frac k2$ and $\frac 43k$, respectively, as long as the host graph avoids a specific structure. △ Less

Submitted 12 August, 2020; v1 submitted 29 August, 2018; originally announced August 2018.

A bootstrap** approach to jump inequalities and their applications

Authors: Mariusz Mirek, Elias M. Stein, Pavel Zorin-Kranich

Abstract: The aim of this paper is to present an abstract and general approach to jump inequalities in harmonic analysis. Our principal conclusion is the refinement of $r$-variational estimates, previously known for $r>2$, to end-point results for the jump quasi-seminorm corresponding to $r=2$. This is applied to the dimension-free results recently obtained by the first two authors in collaboration with Bou… ▽ More The aim of this paper is to present an abstract and general approach to jump inequalities in harmonic analysis. Our principal conclusion is the refinement of $r$-variational estimates, previously known for $r>2$, to end-point results for the jump quasi-seminorm corresponding to $r=2$. This is applied to the dimension-free results recently obtained by the first two authors in collaboration with Bourgain and Wróbel (arXiv:1708.04639 and arXiv:1804.07679), and also to operators of Radon type treated by Jones, Seeger, and Wright. △ Less

Submitted 25 February, 2019; v1 submitted 27 August, 2018; originally announced August 2018.

Comments: 25 pages, small corrections

MSC Class: 42B25 (Primary) 42B20; 46B06 (Secondary)

Journal ref: Analysis & PDE 13 (2020) 527-558

Jump inequalities via real interpolation

Authors: Mariusz Mirek, Elias M. Stein, Pavel Zorin-Kranich

Abstract: Jump inequalities are the $r=2$ endpoint of Lé**le's inequality for $r$-variation of martingales. Extending earlier work by Pisier and Xu we interpret these inequalities in terms of Banach spaces which are real interpolation spaces. This interpretation is used to prove endpoint jump estimates for vector-valued martingales and doubly stochastic operators as well as to pass via sampling from… ▽ More Jump inequalities are the $r=2$ endpoint of Lé**le's inequality for $r$-variation of martingales. Extending earlier work by Pisier and Xu we interpret these inequalities in terms of Banach spaces which are real interpolation spaces. This interpretation is used to prove endpoint jump estimates for vector-valued martingales and doubly stochastic operators as well as to pass via sampling from $\mathbb{R}^{d}$ to $\mathbb{Z}^{d}$ for jump estimates for Fourier multipliers. △ Less

Submitted 8 August, 2019; v1 submitted 14 August, 2018; originally announced August 2018.

Comments: v3: corrections following referee report

MSC Class: 46B70 (Primary) 42B15; 42B35; 47D07; 60G42 (Secondary)

Journal ref: Math. Ann. 376.1-2 (2020), pp. 797-819

Scalable Gaussian Process Computations Using Hierarchical Matrices

Authors: Christopher J. Geoga, Mihai Anitescu, Michael L. Stein

Abstract: We present a kernel-independent method that applies hierarchical matrices to the problem of maximum likelihood estimation for Gaussian processes. The proposed approximation provides natural and scalable stochastic estimators for its gradient and Hessian, as well as the expected Fisher information matrix, that are computable in quasilinear $O(n \log^2 n)$ complexity for a large range of models. To… ▽ More We present a kernel-independent method that applies hierarchical matrices to the problem of maximum likelihood estimation for Gaussian processes. The proposed approximation provides natural and scalable stochastic estimators for its gradient and Hessian, as well as the expected Fisher information matrix, that are computable in quasilinear $O(n \log^2 n)$ complexity for a large range of models. To accomplish this, we (i) choose a specific hierarchical approximation for covariance matrices that enables the computation of their exact derivatives and (ii) use a stabilized form of the Hutchinson stochastic trace estimator. Since both the observed and expected information matrices can be computed in quasilinear complexity, covariance matrices for MLEs can also be estimated efficiently. After discussing the associated mathematics, we demonstrate the scalability of the method, discuss details of its implementation, and validate that the resulting MLEs and confidence intervals based on the inverse Fisher information matrix faithfully approach those obtained by the exact likelihood. △ Less

Submitted 22 March, 2019; v1 submitted 9 August, 2018; originally announced August 2018.

Degree conditions for embedding trees

Authors: Guido Besomi, Matías Pavez-Signé, Maya Stein

Abstract: We conjecture that every $n$-vertex graph of minimum degree at least $\frac k2$ and maximum degree at least $2k$ contains all trees with $k$ edges as subgraphs. We prove an approximate version of this conjecture for trees of bounded degree and dense host graphs. Our work also has implications on the Erd\H os--Sós conjecture and the $\frac 23$-conjecture. We prove an approximate version of both c… ▽ More We conjecture that every $n$-vertex graph of minimum degree at least $\frac k2$ and maximum degree at least $2k$ contains all trees with $k$ edges as subgraphs. We prove an approximate version of this conjecture for trees of bounded degree and dense host graphs. Our work also has implications on the Erd\H os--Sós conjecture and the $\frac 23$-conjecture. We prove an approximate version of both conjectures for bounded degree trees and dense host graphs. △ Less

Submitted 28 August, 2018; v1 submitted 18 May, 2018; originally announced May 2018.

Comments: 54 pages

Dimension-free estimates for discrete Hardy-Littlewood averaging operators over the cubes in $\mathbb Z^d$

Authors: Jean Bourgain, Mariusz Mirek, Elias M. Stein, Błażej Wróbel

Abstract: Dimension-free bounds will be provided in maximal and $r$-variational inequalities on $\ell^p(\mathbb Z^d)$ corresponding to the discrete Hardy-Littlewood averaging operators defined over the cubes in $\mathbb Z^d$. We will also construct an example of a symmetric convex body in $\mathbb Z^d$ for which maximal dimension-free bounds fail on $\ell^p(\mathbb Z^d)$ for all $p\in(1, \infty)$. Finally,… ▽ More Dimension-free bounds will be provided in maximal and $r$-variational inequalities on $\ell^p(\mathbb Z^d)$ corresponding to the discrete Hardy-Littlewood averaging operators defined over the cubes in $\mathbb Z^d$. We will also construct an example of a symmetric convex body in $\mathbb Z^d$ for which maximal dimension-free bounds fail on $\ell^p(\mathbb Z^d)$ for all $p\in(1, \infty)$. Finally, some applications in ergodic theory will be discussed. △ Less

Submitted 17 April, 2019; v1 submitted 20 April, 2018; originally announced April 2018.

Comments: 28 pages, no figures. Referees suggestions implemented. Minor changes. Accepted for publication in the American Journal of Mathematics

Linear-Cost Covariance Functions for Gaussian Random Fields

Authors: Jie Chen, Michael L. Stein

Abstract: Gaussian random fields (GRF) are a fundamental stochastic model for spatiotemporal data analysis. An essential ingredient of GRF is the covariance function that characterizes the joint Gaussian distribution of the field. Commonly used covariance functions give rise to fully dense and unstructured covariance matrices, for which required calculations are notoriously expensive to carry out for large… ▽ More Gaussian random fields (GRF) are a fundamental stochastic model for spatiotemporal data analysis. An essential ingredient of GRF is the covariance function that characterizes the joint Gaussian distribution of the field. Commonly used covariance functions give rise to fully dense and unstructured covariance matrices, for which required calculations are notoriously expensive to carry out for large data. In this work, we propose a construction of covariance functions that result in matrices with a hierarchical structure. Empowered by matrix algorithms that scale linearly with the matrix dimension, the hierarchical structure is proved to be efficient for a variety of random field computations, including sampling, kriging, and likelihood evaluation. Specifically, with $n$ scattered sites, sampling and likelihood evaluation has an $O(n)$ cost and kriging has an $O(\log n)$ cost after preprocessing, particularly favorable for the kriging of an extremely large number of sites (e.g., predicting on more sites than observed). We demonstrate comprehensive numerical experiments to show the use of the constructed covariance functions and their appealing computation time. Numerical examples on a laptop include simulated data of size up to one million, as well as a climate data product with over two million observations. △ Less

Submitted 7 November, 2020; v1 submitted 15 November, 2017; originally announced November 2017.

Comments: Code is available at https://github.com/jiechenjiechen/RLCM

Partitioning $2$-coloured complete $k$-uniform hypergraphs into monochromatic $\ell$-cycles

Authors: Sebastian Bustamante, Maya Stein

Abstract: We show that for all $\ell, k, n$ with $\ell \leq k/2$ and $(k-\ell)$ dividing $n$ the following hypergraph-variant of Lehel's conjecture is true. Every $2$-edge-colouring of the $k$-uniform complete hypergraph $\mathcal{K}_n^{(k)}$ on $n$ vertices has at most two disjoint monochromatic $\ell$-cycles in different colours that together cover all but at most $4(k-\ell)$ vertices. If $\ell \leq k/3$,… ▽ More We show that for all $\ell, k, n$ with $\ell \leq k/2$ and $(k-\ell)$ dividing $n$ the following hypergraph-variant of Lehel's conjecture is true. Every $2$-edge-colouring of the $k$-uniform complete hypergraph $\mathcal{K}_n^{(k)}$ on $n$ vertices has at most two disjoint monochromatic $\ell$-cycles in different colours that together cover all but at most $4(k-\ell)$ vertices. If $\ell \leq k/3$, then at most two $\ell$-cycles cover all but at most $2(k-\ell)$ vertices. Furthermore, we can cover all vertices with at most $4$ ($3$ if $\ell\leq k/3$) disjoint monochromatic $\ell$-cycles. △ Less

Submitted 1 April, 2018; v1 submitted 13 November, 2017; originally announced November 2017.

Comments: 14 pages, 2 figures

On dimension-free variational inequalities for averaging operators in $\mathbb R^d$

Authors: Jean Bourgain, Mariusz Mirek, Elias M. Stein, Błażej Wróbel

Abstract: We study dimension-free $L^p$ inequalities for $r$-variations of the Hardy--Littlewood averaging operators defined over symmetric convex bodies in $\mathbb R^d$. We study dimension-free $L^p$ inequalities for $r$-variations of the Hardy--Littlewood averaging operators defined over symmetric convex bodies in $\mathbb R^d$. △ Less

Submitted 27 December, 2017; v1 submitted 15 August, 2017; originally announced August 2017.

Comments: 27 pages, added applications to ergodic theory, to appear in GAFA

Fast Solution of the Linearized Poisson-Boltzmann Equation with nonaffine Parametrized Boundary Conditions Using the Reduced Basis Method

Authors: Cleophas Kweyu, Lihong Feng, Matthias Stein, Peter Benner

Abstract: The Poisson-Boltzmann equation (PBE) is a nonlinear elliptic PDE that arises in biomolecular modeling and is a fundamental tool for structural biology. It is used to calculate electrostatic potentials around an ensemble of fixed charges immersed in an ionic solution. Efficient numerical computation of the PBE yields a high number of degrees of freedom in the resultant algebraic system of equations… ▽ More The Poisson-Boltzmann equation (PBE) is a nonlinear elliptic PDE that arises in biomolecular modeling and is a fundamental tool for structural biology. It is used to calculate electrostatic potentials around an ensemble of fixed charges immersed in an ionic solution. Efficient numerical computation of the PBE yields a high number of degrees of freedom in the resultant algebraic system of equations. Coupled with the fact that in most cases the PBE requires to be solved multiple times for a large number of system configurations, this poses great computational challenges to conventional numerical techniques. To accelerate such computations, we here present the reduced basis method (RBM) which greatly reduces this computational complexity by constructing a reduced order model of typically low dimension. In this study, we employ a simple version of the PBE for proof of concept and discretize the linearized PBE (LPBE) with a centered finite difference scheme. The resultant linear system is solved by the aggregation-based algebraic multigrid method at different samples of ionic strength on a three-dimensional Cartesian grid. The discretized LPBE, which we call the high-fidelity full order model (FOM), yields solution as accurate as other LPBE solvers. We then apply the RBM to FOM. The discrete empirical interpolation method (DEIM) is applied to the Dirichlet boundary conditions which are nonaffine with the parameter, to reduce the complexity of the reduced order model (ROM). From the numerical results, we notice that the RBM reduces the model order from $\mathcal{N} = 2\times 10^{6}$ to $N = 6$ at an accuracy of $10^{-9}$ and reduces computational time by a factor of approximately $7,600$. DEIM, on the other hand, is also used in the offline-online phase of solving the ROM for different values of parameters which provides a speed-up of $20$ for a single iteration of the greedy algorithm. △ Less

Submitted 11 October, 2017; v1 submitted 23 May, 2017; originally announced May 2017.

Comments: 13 pages, 24 figures

The role of an integration identity in the analysis of the Cauchy-Leray transform

Authors: Loredana Lanzani, Elias M. Stein

Abstract: The purpose of this paper is to complement the results in [LS-1] by showing the dense definability of the Cauchy-Leray transform for the domains that give the counterexamples of [LS-1], where $L^p$-boundedness is shown to fail when either the "near" $C^2$ boundary regularity, or the strong $\mathbb C$-linear convexity assumption is dropped. The purpose of this paper is to complement the results in [LS-1] by showing the dense definability of the Cauchy-Leray transform for the domains that give the counterexamples of [LS-1], where $L^p$-boundedness is shown to fail when either the "near" $C^2$ boundary regularity, or the strong $\mathbb C$-linear convexity assumption is dropped. △ Less

Submitted 18 April, 2017; originally announced April 2017.

Comments: 19 pages

MSC Class: 30E20; 31A10; 32A26; 32A25; 32A50; 32A55; 42B20; 30E20; 31A10; 32A26; 32A25; 32A50; 32A55; 42B20; 46E22; 47B34; 31B10

Almost partitioning 2-coloured complete 3-uniform hypergraphs into two monochromatic tight or loose cycles

Authors: Sebastian Bustamante, Hiep Han, Maya Stein

Abstract: We show that for every η > 0 there exists an integer n_0 such that every 2-colouring of the 3-uniform complete hypergraph on n \geq n_0 vertices contains two disjoint monochromatic tight cycles of distinct colours that together cover all but at most ηn vertices. The same result holds if we replace tight cycles with loose cycles. We show that for every η > 0 there exists an integer n_0 such that every 2-colouring of the 3-uniform complete hypergraph on n \geq n_0 vertices contains two disjoint monochromatic tight cycles of distinct colours that together cover all but at most ηn vertices. The same result holds if we replace tight cycles with loose cycles. △ Less

Submitted 21 September, 2018; v1 submitted 26 January, 2017; originally announced January 2017.

The Cauchy-Leray integral: counter-examples to the $L^p$-theory

Authors: Loredana Lanzani, Elias M. Stein

Abstract: We prove the optimality of the hypotheses guaranteeing the $L^p$-boundedness for the Cauchy-Leray integral in $\mathbb C^n$, $n\geq 2$, obtained in [LS-4]. Two domains, both elementary in nature, show that the geometric requirement of strong $\mathbb C$-linear convexity, together with regularity of order 2, are both necessary. We prove the optimality of the hypotheses guaranteeing the $L^p$-boundedness for the Cauchy-Leray integral in $\mathbb C^n$, $n\geq 2$, obtained in [LS-4]. Two domains, both elementary in nature, show that the geometric requirement of strong $\mathbb C$-linear convexity, together with regularity of order 2, are both necessary. △ Less

Submitted 13 January, 2017; originally announced January 2017.

A Variant of the Erdős-Sós Conjecture

Authors: Frédéric Havet, Bruce Reed, Maya Stein, David R. Wood

Abstract: A well-known conjecture of Erdős and Sós states that every graph with average degree exceeding $m-1$ contains every tree with $m$ edges as a subgraph. We propose a variant of this conjecture, which states that every graph of maximum degree exceeding $m$ and minimum degree at least $\lfloor \frac{2m}{3}\rfloor$ contains every tree with $m$ edges. As evidence for our conjecture we show (i) for eve… ▽ More A well-known conjecture of Erdős and Sós states that every graph with average degree exceeding $m-1$ contains every tree with $m$ edges as a subgraph. We propose a variant of this conjecture, which states that every graph of maximum degree exceeding $m$ and minimum degree at least $\lfloor \frac{2m}{3}\rfloor$ contains every tree with $m$ edges. As evidence for our conjecture we show (i) for every $m$ there is a $g(m)$ such that the weakening of the conjecture obtained by replacing $m$ by $g(m)$ holds, and (ii) there is a $γ>0$ such that the weakening of the conjecture obtained by replacing $\lfloor \frac{2m}{3}\rfloor$ by $(1-γ)m$ holds. △ Less

Submitted 8 October, 2019; v1 submitted 30 June, 2016; originally announced June 2016.

Journal ref: Journal of Graph Theory 94.1:131-158, 2020

Approximately coloring graphs without long induced paths

Authors: Maria Chudnovsky, Oliver Schaudt, Sophie Spirkl, Maya Stein, Mingxian Zhong

Abstract: It is an open problem whether the 3-coloring problem can be solved in polynomial time in the class of graphs that do not contain an induced path on $t$ vertices, for fixed $t$. We propose an algorithm that, given a 3-colorable graph without an induced path on $t$ vertices, computes a coloring with $\max\{5,2\lceil{\frac{t-1}{2}}\rceil-2\}$ many colors. If the input graph is triangle-free, we only… ▽ More It is an open problem whether the 3-coloring problem can be solved in polynomial time in the class of graphs that do not contain an induced path on $t$ vertices, for fixed $t$. We propose an algorithm that, given a 3-colorable graph without an induced path on $t$ vertices, computes a coloring with $\max\{5,2\lceil{\frac{t-1}{2}}\rceil-2\}$ many colors. If the input graph is triangle-free, we only need $\max\{4,\lceil{\frac{t-1}{2}}\rceil+1\}$ many colors. The running time of our algorithm is $O((3^{t-2}+t^2)m+n)$ if the input graph has $n$ vertices and $m$ edges. △ Less

Submitted 13 June, 2016; v1 submitted 9 June, 2016; originally announced June 2016.

Regularity inheritance in pseudorandom graphs

Authors: Peter Allen, Julia Böttcher, Jozef Skokan, Maya Stein

Abstract: Advancing the sparse regularity method, we prove one-sided and two-sided regularity inheritance lemmas for subgraphs of bijumbled graphs, improving on results of Conlon, Fox and Zhao [Adv. Math. 256 (2014), 206--290]. These inheritance lemmas also imply improved $H$-counting lemmas for subgraphs of bijumbled graphs, for some $H$. Advancing the sparse regularity method, we prove one-sided and two-sided regularity inheritance lemmas for subgraphs of bijumbled graphs, improving on results of Conlon, Fox and Zhao [Adv. Math. 256 (2014), 206--290]. These inheritance lemmas also imply improved $H$-counting lemmas for subgraphs of bijumbled graphs, for some $H$. △ Less

Submitted 7 February, 2019; v1 submitted 3 June, 2016; originally announced June 2016.

Comments: 28 pages, no figures

Clique coloring $B_1$-EPG graphs

Authors: Flavia Bonomo, María Pía Mazzoleni, Maya Stein

Abstract: We consider the problem of clique coloring, that is, coloring the vertices of a given graph such that no (maximal) clique of size at least two is monocolored. It is known that interval graphs are $2$-clique colorable. In this paper we prove that $B_1$-EPG graphs (edge intersection graphs of paths on a grid, where each path has at most one bend) are $4$-clique colorable. Moreover, given a $B_1$-EPG… ▽ More We consider the problem of clique coloring, that is, coloring the vertices of a given graph such that no (maximal) clique of size at least two is monocolored. It is known that interval graphs are $2$-clique colorable. In this paper we prove that $B_1$-EPG graphs (edge intersection graphs of paths on a grid, where each path has at most one bend) are $4$-clique colorable. Moreover, given a $B_1$-EPG representation of a graph, we provide a linear time algorithm that constructs a $4$-clique coloring of it. △ Less

Submitted 18 January, 2017; v1 submitted 22 February, 2016; originally announced February 2016.

Comments: 9 Pages

Journal ref: Discrete Mathematics 340(5) (2017), 1008-1011

L^p(Z^d)-estimates for discrete operators of Radon type: Variational estimates

Authors: Mariusz Mirek, Elias M. Stein, Bartosz Trojan

Abstract: We prove $\ell^p\big(\mathbb Z^d\big)$ bounds for $p\in(1, \infty)$, of $r$-variations $r\in(2, \infty)$, for discrete averaging operators and truncated singular integrals of Radon type. We shall present a new powerful method which allows us to deal with these operators in a unified way and obtain the range of parameters of $p$ and $r$ which coincide with the ranges of their continuous counterpart… ▽ More We prove $\ell^p\big(\mathbb Z^d\big)$ bounds for $p\in(1, \infty)$, of $r$-variations $r\in(2, \infty)$, for discrete averaging operators and truncated singular integrals of Radon type. We shall present a new powerful method which allows us to deal with these operators in a unified way and obtain the range of parameters of $p$ and $r$ which coincide with the ranges of their continuous counterparts. △ Less

Submitted 23 December, 2015; originally announced December 2015.

Comments: 42 pages, no figures. arXiv admin note: text overlap with arXiv:1512.07518

$\ell^p\big(\mathbb Z^d\big)$-estimates for discrete operators of Radon type: Maximal functions and vector-valued estimates

Authors: Mariusz Mirek, Elias M. Stein, Bartosz Trojan

Abstract: We prove $\ell^p\big(\mathbb Z^d\big)$ bounds, for $p\in(1, \infty)$, of discrete maximal functions corresponding to averaging operators and truncated singular integrals of Radon type, and their applications to pointwise ergodic theory. Our new approach is based on a unified analysis of both types of operators, and also yields an extension to the vector-valued form of these results. We prove $\ell^p\big(\mathbb Z^d\big)$ bounds, for $p\in(1, \infty)$, of discrete maximal functions corresponding to averaging operators and truncated singular integrals of Radon type, and their applications to pointwise ergodic theory. Our new approach is based on a unified analysis of both types of operators, and also yields an extension to the vector-valued form of these results. △ Less

Submitted 29 October, 2018; v1 submitted 23 December, 2015; originally announced December 2015.

Comments: 31 pages. Major revision. To appear in the Journal of Functional Analysis

Algebras of singular integral operators with kernels controlled by multiple norms

Authors: Alexander Nagel, Fulvio Ricci, Elias M. Stein, Stephen Wainger

Abstract: The purpose of this paper is to study algebras of singular integral operators on $\mathbb{R}^{n}$ and nilpotent Lie groups that arise when one considers the composition of Calderón-Zygmund operators with different homogeneities, such as operators that occur in sub-elliptic problems and those arising in elliptic problems. For example, one would like to describe the algebras containing the operators… ▽ More The purpose of this paper is to study algebras of singular integral operators on $\mathbb{R}^{n}$ and nilpotent Lie groups that arise when one considers the composition of Calderón-Zygmund operators with different homogeneities, such as operators that occur in sub-elliptic problems and those arising in elliptic problems. For example, one would like to describe the algebras containing the operators related to the Kohn-Laplacian for appropriate domains, or those related to inverses of Hörmander sub-Laplacians, when these are composed with the more standard class of pseudo-differential operators. The algebras we study can be characterized in a number of different but equivalent ways, and consist of operators that are pseudo-local and bounded on $L^{p}$ for $1<p<\infty$. While the usual class of Calderón-Zygmund operators is invariant under a one-parameter family of dilations, the operators we study fall outside this class, and reflect a multi-parameter structure. △ Less

Submitted 18 November, 2015; originally announced November 2015.

Monochromatic tree covers and Ramsey numbers for set-coloured graphs

Authors: Sebastián Bustamante, Maya Stein

Abstract: We consider a generalisation of the classical Ramsey theory setting to a setting where each of the edges of the underlying host graph is coloured with a {\em set} of colours (instead of just one colour). We give bounds for monochromatic tree covers in this setting, both for an underlying complete graph, and an underlying complete bipartite graph. We also discuss a generalisation of Ramsey numbers… ▽ More We consider a generalisation of the classical Ramsey theory setting to a setting where each of the edges of the underlying host graph is coloured with a {\em set} of colours (instead of just one colour). We give bounds for monochromatic tree covers in this setting, both for an underlying complete graph, and an underlying complete bipartite graph. We also discuss a generalisation of Ramsey numbers to our setting and propose some other new directions. Our results for tree covers in complete graphs imply that a stronger version of Ryser's conjecture holds for $k$-intersecting $r$-partite $r$-uniform hypergraphs: they have a transversal of size at most $r-k$. (Similar results have been obtained by Király et al., see below.) However, we also show that the bound $r-k$ is not best possible in general. △ Less

Submitted 28 May, 2018; v1 submitted 17 October, 2015; originally announced October 2015.

Comments: 23 pages

Almost partitioning a 3-edge-coloured $K_{n,n}$ into 5 monochromatic cycles

Authors: Richard Lang, Oliver Schaudt, Maya Stein

Abstract: We show that for any colouring of the edges of the complete bipartite graph $K_{n,n}$ with 3 colours there are 5 disjoint monochromatic cycles which together cover all but $o(n)$ of the vertices. In the same situation, 18 disjoint monochromatic cycles together cover all vertices. We show that for any colouring of the edges of the complete bipartite graph $K_{n,n}$ with 3 colours there are 5 disjoint monochromatic cycles which together cover all but $o(n)$ of the vertices. In the same situation, 18 disjoint monochromatic cycles together cover all vertices. △ Less

Submitted 16 November, 2016; v1 submitted 30 September, 2015; originally announced October 2015.

Comments: 33 pages

MSC Class: 05C69; 05C75; 05C38 ACM Class: F.2.2