English
Related papers

Related papers: Symmetries between two Ramsey properties

200 papers

In this note we study and obtain factorization theorems for colorings of matrices and Grassmannians over $\mathbb{R}$ and ${\mathbb{C}}$, which can be considered metric versions of the Dual Ramsey Theorem for Boolean matrices and of the…

Combinatorics · Mathematics 2019-10-02 Dana Bartošová , Jordi Lopez-Abad , Martino Lupini , Brice Mbombo

This is Part I of a two-part series regarding Ramsey properties of Fraisse structures satisfying a property called SDAP+, which strengthens the Disjoint Amalgamation Property. We prove that every Fraisse structure in a finite relational…

Combinatorics · Mathematics 2022-07-14 Rebecca Coulson , Natasha Dobrinen , Rehana Patel

In a recent paper \cite{So} S. Solecki proves a finite self dual Ramsey theorem that in a natural way gives simultaneously the classical finite Ramsey theorem \cite{Ra} and the Graham-Rothschild theorem \cite{Gr-Ro}. In this paper we prove…

Logic · Mathematics 2017-01-27 Dimitris Vlitas

In this paper, we will develop a significantly more general notion of classical Ramsey numbers (extending most other graph-theoretic generalizations) and make some preliminary characterizations of these new Ramsey numbers using simple…

Combinatorics · Mathematics 2025-02-07 Bryce Alan Christopherson

Historically, proofs of $\mathrm{BPI}$ in models without choice have relied on a contradiction framework that was introduced by Halpern. We introduce the filter extension property for permutation models and symmetric extensions, which…

Logic · Mathematics 2025-11-27 Brian Ransom

We investigate the simulation problem in of dense-time system. A specification simulates a model if the specification can match every transition that the model can make at a time point. We also adapt the approach of Emerson and Lei and…

Logic in Computer Science · Computer Science 2010-07-06 Farn Wang

Given a smooth function f on R^n and a submanifold M, we prove that the set of diagonal quadratic forms q such that the restriction of f+q to M is Morse is a dense set (in the n-dimensional space of diagonal quadratic forms). The standard…

Differential Geometry · Mathematics 2011-11-17 Antonio Lerario

Two-sided bounds for the efficiency of the torsion function are obtained in terms of the square of the distance to the boundary function under the hypothesis that the Dirichlet Laplacian satisfies a strong Hardy inequality. Localisation…

Analysis of PDEs · Mathematics 2021-03-11 Michiel van den Berg , Thomas Kappeler

Metric Ramsey theory is concerned with finding large well-structured subsets of more complex metric spaces. For finite metric spaces this problem was first studies by Bourgain, Figiel and Milman \cite{bfm}, and studied further in depth by…

Data Structures and Algorithms · Computer Science 2021-04-09 Yair Bartal

As was first noted by Isaac Newton, the two most famous ellipses of classical mechanics, arising out of the force laws F~r and F~1/r^2, can be mapped onto each other by changing the location of center-of-force. What is perhaps less well…

Classical Physics · Physics 2015-03-17 Dawood Kothawala

In this work, the dual flatness, which is connected with Statistics and Information geometry, of general $(\alpha,\beta)$-metrics (a new class of Finsler metrics) is studied. A nice characterization for such metrics to be dually flat under…

Differential Geometry · Mathematics 2015-02-05 Changtao Yu

We give Ramsey expansions of classes of generalised metric spaces where distances come from a linearly ordered commutative monoid. This complements results of Conant about the extension property for partial automorphisms and extends an…

Combinatorics · Mathematics 2021-07-06 Jan Hubička , Matěj Konečný , Jaroslav Nešetřil

We show that if all collections of infinite subsets of $\N$ have the Ramsey property, then there are no infinite maximal almost disjoint (mad) families. This solves a long-standing problem going back to Mathias \cite{mathias}. The proof…

Logic · Mathematics 2022-10-11 David Schrittesser , Asger Törnquist

Ramsey theory looks for regularities in large objects. Model theory studies algebraic structures as models of theories. The structural Ramsey theory combines these two fields and is concerned with Ramsey-type questions about certain…

Combinatorics · Mathematics 2018-05-22 Matěj Konečný

Riemannian Geometry, Topology and Dynamics permit to introduce partially defined holomorphic functions on the variety of representations of the fundamental group of a manifold. The functions we consider are the complex valued Ray-Singer…

Differential Geometry · Mathematics 2007-05-23 Dan Burghelea , Stefan Haller

The Matsumoto--Yor (MY) property of the generalized inverse Gaussian and gamma distributions has many generalizations. As it was observed in (Letac and Weso{\l}owski in Ann Probab 28:1371--1383, 2000) the natural framework for the…

Probability · Mathematics 2017-05-29 Bartosz Kołodziejek

We introduce the forcing property "almost strong properness" which sits between properness and strong properness. As an application, we introduce a simple forcing with finite conditions to force $\rm MRP$.

Logic · Mathematics 2021-04-23 Rahman Mohammadpour

In this paper we associate with an infinite family of real extended functions defined on a locally convex space, a sum, called robust sum, which is always well-defined. We also associate with that family of functions a dual pair of problems…

Optimization and Control · Mathematics 2018-11-07 Nguyen Dinh , Miguel A. Goberna , Michel Volle

The superamalgamation property is a strong form of the amalgamation property which applies to ordered structures; it has found many applications in algebraic logic. We show that superamalgamation has some interest also from the pure…

Logic · Mathematics 2023-06-13 Paolo Lipparini

We introduce a generalization of the Stirling numbers via symmetric functions involving two weight functions. The resulting extension unifies previously known Stirling-type sequences with known symmetric function forms, as well as other…