Related papers: A local Ramsey theory for block sequences

This article sets out the framework of algebraic quantum field theory in curved spacetimes, based on the idea of local covariance. In this framework, a quantum field theory is modelled by a functor from a category of spacetimes to a…

We extend the hierarchy of finite-dimensional Ellentuck spaces to infinite dimensions. Using uniform barriers $B$ on $\omega$ as the prototype structures, we construct a class of continuum many topological Ramsey spaces $\mathcal{E}_B$…

Ramsey theory is the study of conditions under which mathematical objects show order when partitioned. Ramsey theory on the integers concerns itself with partitions of $[1,n]$ into $r$ subsets and asks the question whether one (or more) of…

We prove general sufficient and necessary conditions for the partition regularity of Diophantine equations, which extend the classic Rado's Theorem by covering large classes of nonlinear equations. Sufficient conditions are obtained by…

This paper formalizes a latent variable inference problem we call {\em supervised pattern discovery}, the goal of which is to find sets of observations that belong to a single ``pattern.'' We discuss two versions of the problem and prove…

We prove a general Ramsey theorem for trees with a successor operation. This theorem is a common generalization of the Carlson-Simpson Theorem and the Milliken Tree Theorem for regularly branching trees. Our theorem has a number of…

For a class of random partitions of an infinite set a de Finetti-type representation is derived, and in one special case a central limit theorem for the number of blocks is shown.

We consider the fractional derivative of a general Poisson semigroup. With this fractional derivative we define the generalized fractional Littlewood-Paley $g$-function for semigroups acting on $L^p$-spaces of functions with values in…

We prove a Frobenius theorem for Banach distributions on manifolds that are modelled over locally convex spaces. Moreover, we recall how Frobenius theorems can be applied to infinite-dimensional Lie groups and obtain, that given a Lie…

Let $X=C[0,1]$, and $Y$ be an arbitrary Banach space. Consider a collection of open segments $\{V_i \}\subset X$. Suppose the map $f: \cup_i V_i \to Y$ has $q$ bounded Fr\'echet derivatives ($q=0,1,...,\infty$), and $f$ and all its…

Carlson introduced the notion of a Ramsey space as a generalization to the Ellentuck space. When a Ramsey space is induced by an algebra, Carlson suggested a study of its purely combinatorial version now called Ramsey algebra. Some basic…

This paper establishes the well-posedness of stochastic partial differential equations with reflection in an infinite-dimensional ball, within the fully local monotone framework. Our result is very general, including many important models…

The essence of the notion of lineability and spaceability is to find linear structures in somewhat chaotic environments. The existing methods, in general, use \textit{ad hoc} arguments and few general techniques are known. Motivated by the…

In this paper we examine the natural interpretation of a ramified type hierarchy into Martin-L\"of type theory with an infinite sequence of universes. It is shown that under this predicative interpretation some useful special cases of…

Non-locality is being intensively studied in various PDE-contexts and in variational problems. The numerical approximation also looks challenging, as well as the application of these models to Continuum Mechanics and Image Analysis, among…

This paper addresses the problem of detecting and characterizing local variability in time series and other forms of sequential data. The goal is to identify and characterize statistically significant variations, at the same time…

We develop a microlocal and derived-geometric framework for index theory and analytic torsion of nonlinear PDEs. By integrating Spencer hypercohomology, microlocal sheaf theory, and factorization algebras, we establish new connections…

We give a general setting for Cram\'er's large deviations theorem for the empirical means of a sequence of i.i.d. random vectors, which contains Cram\'er's theorem in a Banach space and Sanov's theorem. ----- Nous \'etablissons un cadre…

A nearly logarithmic lower bound on the randomized competitive ratio for the metrical task systems problem is presented. This implies a similar lower bound for the extensively studied k-server problem. The proof is based on Ramsey-type…

For a finite lattice $\Lambda$, $\Lambda$-ultrametric spaces are a convenient language for describing structures equipped with a family of equivalence relations. When $\Lambda$ is finite and distributive, there exists a generic…