English
Related papers

Related papers: Fraisse classes with simply characterized big Rams…

200 papers

Let $F/K$ be a finite Galois totally & wildly ramified extension of complete discrete valuation fields. We say that the extension has the Hasse-Arf property if the ramification jumps in upper numbering are integers. We give necessary…

Number Theory · Mathematics 2025-04-21 Ioannis Tsouknidas

For a given graph $F$ we consider the family of (finite) graphs $G$ with the Ramsey property for $F$, that is the set of such graphs $G$ with the property that every two-colouring of the edges of $G$ yields a monochromatic copy of $F$. For…

Combinatorics · Mathematics 2018-02-20 Mathias Schacht , Fabian Schulenburg

The structural Ramsey theory is a field on the boundary of combinatorics and model theory with deep connections to topological dynamics. Most of the known Ramsey classes in finite binary symmetric relational language can be shown to be…

Combinatorics · Mathematics 2019-08-13 Matěj Konečný

We give new decomposition theorems for classes of graphs that can be transduced in first-order logic from classes of sparse graphs -- more precisely, from classes of bounded expansion and from nowhere dense classes. In both cases, the…

Logic in Computer Science · Computer Science 2022-01-27 Jan Dreier , Jakub Gajarský , Sandra Kiefer , Michał Pilipczuk , Szymon Toruńczyk

We present a structural approach of some results about jumps in the behavior of the profile (alias generating function) of hereditary classes of finite structures. We start with the following notion due to N.Thi\'ery and the second author.…

Combinatorics · Mathematics 2014-09-05 Djamila Oudrar , Maurice Pouzet

We prove that every oriented tree on $n$ vertices with bounded maximum degree appears as a spanning subdigraph of every directed graph on $n$ vertices with minimum semidegree at least $n/2+o(n)$. This can be seen as a directed graph…

Combinatorics · Mathematics 2026-05-20 Richard Mycroft , Tássio Naia

The paper relates character value of an irreducible representation of a compact connected Lie group at certain elements of finite order with the dimension of a representation on another group, up to some precise constants, which all have…

Representation Theory · Mathematics 2025-04-22 Santosh Nadimpalli , Santosha Pattanayak , Dipendra Prasad

A phylogenetic tree shows the evolutionary relationships among species. Internal nodes of the tree represent speciation events and leaf nodes correspond to species. A goal of phylogenetics is to combine such trees into larger trees, called…

Artificial Intelligence · Computer Science 2014-01-16 Neil C. A. Moore , Patrick Prosser

We give a new proof of the fact that finite bipartite graphs cannot be axiomatized by finitely many first-order sentences among FINITE graphs. (This fact is a consequence of a general theorem proved by L. Ham and M. Jackson, and the…

Logic · Mathematics 2021-04-01 Gábor Czédli

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

This paper proves that two differently defined rooted binary trees are isomorphic. The first tree is one associated to a version of Farey sequences where the vertices correspond to the open intervals formed by two successive terms in the…

Combinatorics · Mathematics 2025-12-16 Makoto Nagata , Yoshinori Takei

Abstract separation systems provide a simple general framework in which both tree-shape and high cohesion of many combinatorial structures can be expressed, and their duality proved. Applications range from tangle-type duality and tree…

Combinatorics · Mathematics 2017-04-19 Reinhard Diestel

It is known that families of graphs with a semialgebraic edge relation of bounded complexity satisfy much stronger regularity properties than arbitrary graphs, and that they can be decomposed into very homogeneous semialgebraic pieces up to…

Logic · Mathematics 2016-02-25 Artem Chernikov , Sergei Starchenko

A bowtie is a graph consisting of two triangles with one vertex identified. We show that the class of all (countable) graphs not containing a bowtie as a subgraph has a Ramsey lift (expansion). This solves one of the old problems in the…

Combinatorics · Mathematics 2021-02-24 Jan Hubička , Jaroslav Nešetřil

This paper is the fourth and the last part of the series "Spherical higher order Fourier analysis over finite fields", aiming to develop the higher order Fourier analysis method along spheres over finite fields, and to solve the Geometric…

Number Theory · Mathematics 2024-07-29 Wenbo Sun

Topological Ramsey spaces are spaces which support infinite dimensional Ramsey theory similarly to the Ellentuck space. Each topological Ramsey space is endowed with a partial ordering which can be modified to a $\sigma$-closed `almost…

Logic · Mathematics 2018-05-23 Natasha Dobrinen

The AMNM property for commutative Banach algebras is a form of Ulam stability for multiplicative linear functionals. We show that on any semilattice of infinite breadth, one may construct a weight for which the resulting weighted…

Functional Analysis · Mathematics 2024-11-15 Yemon Choi , Mahya Ghandehari , Hung Le Pham

Given a structure $M$ we introduce infinitary logic expansions, which generalise the Morleyisation. We show that these expansions are tame, in the sense that they preserve and reflect both the Embedding Ramsey Property (ERP) and the…

Logic · Mathematics 2023-06-29 Nadav Meir , Aris Papadopoulos

We study finite-state transducers and their power for transforming infinite words. Infinite sequences of symbols are of paramount importance in a wide range of fields, from formal languages to pure mathematics and physics. While finite…

Formal Languages and Automata Theory · Computer Science 2018-03-09 Jörg Endrullis , Juhani Karhumäki Jan Willem Klop , Aleksi Saarela

We give an infinitary extension of the Ne\v{s}et\v{r}il-R\"{o}dl theorem for category of relational structures with special type-respecting embeddings.

‹ Prev 1 8 9 10 Next ›