English
Related papers

Related papers: Cutting lemma and Zarankiewicz's problem in distal…

200 papers

We revisit one of Zilber's early results in model-theoretic algebra, viz. definability in Schur's lemma. This takes place in a broader context than the original version from the seventies. The present exposition contains results extracted…

Logic · Mathematics 2023-09-25 Adrien Deloro

For a general family of graphs on $\mathbb{Z}^n$, we translate the edge-isoperimetric problem into a continuous isoperimetric problem in $\mathbb{R}^n$. We then solve the continuous isoperimetric problem using the Brunn-Minkowski inequality…

Combinatorics · Mathematics 2016-08-24 Emmanuel Tsukerman , Ellen Veomett

In graph theory, the Szemer\'edi regularity lemma gives a decomposition of the indicator function for any graph $G$ into a structured component, a uniform part, and a small error. This result, in conjunction with a counting lemma that…

Combinatorics · Mathematics 2018-11-22 Sammy Luo

We consider Kazhdan-Lusztig cells of the symmetric group $S_n$ containing the longest element of a standard parabolic subgroup of $S_n$. Extending some of the ideas in [Beitr{\"a}ge zur Algebra und Geometrie, 59 (2018), no. 3, 523-547] and…

Representation Theory · Mathematics 2021-12-14 T. P. McDonough , C. A. Pallikaros

Many natural decision problems can be formulated as constraint satisfaction problems for reducts $\mathbb{A}$ of finitely bounded homogeneous structures. This class of problems is a large generalisation of the class of CSPs over finite…

Logic · Mathematics 2023-06-22 Manuel Bodirsky , Antoine Mottet

Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…

Algebraic Geometry · Mathematics 2017-08-31 Masahiro Shiota

The Carath\'eodory's Extension Theorem is a powerful tool that allows us to generate a measure, over a sigma-algebra, from a pre-measure defined over an algebra of sets. However, although this result reduces our work to define a measure by…

Probability · Mathematics 2024-07-08 Patrick Oliveira

This paper is concerned with a class of generalized slice Fueter-regular functions on arbitrary domains in O with local stem functions. Some classical theorems such as the maximum modulus principle will be generalized to our setting. Some…

Complex Variables · Mathematics 2026-05-12 Xinyuan Dou , Guangbin Ren , Zeping Zhu , Ting Yang

We construct an example of an infinite planar embedded self-similar binary tree $\Sigma$ which is the essentially unique solution to the Steiner problem of finding the shortest connection of a given planar self-similar fractal set $C$ of…

Metric Geometry · Mathematics 2025-02-20 Emanuele Paolini , Eugene Stepanov

We prove a lower bound on the first eigenvalue of the fractional Dirichlet-Laplacian of order $s$ on planar open sets, in terms of their inradius and topology. The result is optimal, in many respects. In particular, we recover a classical…

Analysis of PDEs · Mathematics 2024-02-21 Francesca Bianchi , Lorenzo Brasco

In this paper we address the decision problem for a fragment of set theory with restricted quantification which extends the language studied in [4] with pair related quantifiers and constructs, in view of possible applications in the field…

Logic in Computer Science · Computer Science 2012-10-10 Domenico Cantone , Cristiano Longo

We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion…

Logic in Computer Science · Computer Science 2014-01-24 Abhisekh Sankaran , Bharat Adsul , Supratik Chakraborty

A new formulation of field theory is presented, based on a pseudo-complex description. An extended group structure is introduced, implying a minimal scalar length, rendering the theory regularized a la Pauli-Villars. Cross sections are…

High Energy Physics - Theory · Physics 2008-11-26 Peter O. Hess , Walter Greiner

The Pila-Wilkie theorem states that if a set $X\subseteq \mathbb R^n$ is definable in an o-minimal structure $\mathcal R$ and contains `many' rational points, then it contains an infinite semialgebraic set. In this paper, we extend this…

Logic · Mathematics 2018-05-01 Pantelis E. Eleftheriou

The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…

Algebraic Geometry · Mathematics 2018-11-29 Krzysztof Jan Nowak

Since 1989, the best known lower bound on static data structures was Siegel's classical cell sampling lower bound. Siegel showed an explicit problem with $n$ inputs and $m$ possible queries such that every data structure that answers…

Data Structures and Algorithms · Computer Science 2022-10-18 Alexander Golovnev , Tom Gur , Igor Shinkar

The work in this article is concerned with two different types of families of finite sets: separating families and splitting families (they are also called "systems"). These families have applications in combinatorial search, coding theory,…

Combinatorics · Mathematics 2019-08-16 Daniel Condon , Samuel Coskey , Luke Serafin , Cody Stockdale

We present some new sharp constructions for the Szemer\'{e}di-Trotter theorem. These constructions generalize previous work of Erd\H{o}s, Elekes, Sheffer and Silier, Guth and Silier, and the author. In the past, arguments showing the…

Combinatorics · Mathematics 2025-10-14 Gabriel Currier

In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…

Dynamical Systems · Mathematics 2022-12-02 Kan Jiang

We study covers of the multiplicative group of an algebraically closed field as quasiminimal pregeometry structures and prove that they satisfy the axioms for Zariski-like structures presented in \cite{lisuriart}, section 4. These axioms…

Logic · Mathematics 2015-02-05 Tapani Hyttinen , Kaisa Kangas