Partitioning theorems for sets of semi-Pfaffian sets, with applications

Martin Lotz, Abhiram Natarajan, Nicolai Vorobjov

Research output: Contribution to journalArticlepeer-review

Abstract

We generalize the seminal polynomial partitioning theorems of Guth and Katz [33, 28] to a set of semi-Pfaffian sets. Specifically, given a set $\Gamma \subseteq \mathbb {R}^n$ of k-dimensional semi-Pfaffian sets, where each $\gamma \in \Gamma $ is defined by a fixed number of Pfaffian functions, and each Pfaffian function is in turn defined with respect to a Pfaffian chain $\vec {q}$ of length r, for any $D \ge 1$, we prove the existence of a polynomial $P \in \mathbb {R}[X_1, \ldots, X_n]$ of degree at most D such that each connected component of $\mathbb {R}^n \setminus Z(P)$ intersects at most $\sim \frac {|\Gamma |}{D^{n - k - r}}$ elements of $\Gamma $. Also, under some mild conditions on $\vec {q}$, for any $D \ge 1$, we prove the existence of a Pfaffian function $P'$ of degree at most D defined with respect to $\vec {q}$, such that each connected component of $\mathbb {R}^n \setminus Z(P')$ intersects at most $\sim \frac {|\Gamma |}{D^{n-k}}$ elements of $\Gamma $. To do so, given a k-dimensional semi-Pfaffian set $\mathcal {X} \subseteq \mathbb {R}^n$, and a polynomial $P \in \mathbb {R}[X_1, \ldots, X_n]$ of degree at most D, we establish a uniform bound on the number of connected components of $\mathbb {R}^n \setminus Z(P)$ that $\mathcal {X}$ intersects; that is, we prove that the number of connected components of $(\mathbb {R}^n \setminus Z(P)) \cap \mathcal {X}$ is at most $\sim D^{k+r}$. Finally, as applications, we derive Pfaffian versions of Szemerédi-Trotter-type theorems, and also prove bounds on the number of joints between Pfaffian curves.

Original languageEnglish
Article numbere5
Pages (from-to)1-27
JournalForum of Mathematics, Sigma
Volume14
Early online date13 Jan 2026
DOIs
Publication statusPublished - 13 Jan 2026

Acknowledgements

AN would like to especially thank Adam Sheffer for his comments and very helpful discussions. AN would also like to thank Saugata Basu and Joshua Zahl for their comments on a preliminary draft, and Alexander Balsera for useful discussions.

Funding

AN was supported by EPSRC Grant EP/V003542/1.

ASJC Scopus subject areas

  • Analysis
  • Theoretical Computer Science
  • Algebra and Number Theory
  • Statistics and Probability
  • Mathematical Physics
  • Geometry and Topology
  • Discrete Mathematics and Combinatorics
  • Computational Mathematics

Fingerprint

Dive into the research topics of 'Partitioning theorems for sets of semi-Pfaffian sets, with applications'. Together they form a unique fingerprint.

Cite this