English
Related papers

Related papers: Fin-intersecting MAD families

200 papers

In this paper, we describe the structure of maximal non-trivial uniform $t$-intersecting families with large size for finite sets. In the special case when $t=1$, our result gives rise to Kostochka and Mubayi's result in 2017.

Combinatorics · Mathematics 2020-11-17 Mengyu Cao , Benjian Lv , Kaishun Wang

Two sets are said to be almost disjoint if their intersection is finite. Almost disjoint subsets of [omega]^omega and omega^omega have been studied for quite some time. In particular, the cardinal invariants a and a_e, defined to be the…

Operator Algebras · Mathematics 2012-10-09 Tristan Bice

We extend the classical LR characterization of chirotopes of finite planar families of points to chirotopes of finite planar families of pairwise disjoint convex bodies: a map \c{hi} on the set of 3-subsets of a finite set I is a chirotope…

Combinatorics · Mathematics 2014-10-07 Luc Habert , Michel Pocchiola

We prove the consistency of ZF+DC+"there are no mad families"+"there exists a non-meager filter on $\omega$" relative to ZFC, answering a question of Neeman and Norwood. We also introduce a weaker version of madness, and we strengthen the…

Logic · Mathematics 2017-01-12 Haim Horowitz , Saharon Shelah

A finite family $\mathrsfs{F}$ of subsets of a finite set $X$ is union-closed whenever $f,g\in\mathrsfs{F}$ implies $f\cup g\in\mathrsfs{F}$. These families are well known because of Frankl's conjecture. In this paper we developed further…

Combinatorics · Mathematics 2012-10-16 Emanuele Rodaro

A family $\mathcal{F}$ of subsets of a set $X$ is $t$-intersecting if $\vert A_i \cap A_j \vert \geq t$ for every $A_i, \; A_j \in \mathcal{F}$. We study intersecting families in the Hamming geometry. Given $X=\mathbb{F}_q^3$ a vector space…

Combinatorics · Mathematics 2014-04-02 Anderson N. Martinhão , Emerson L. Monte Carmelo

The study of intersecting structures is central to extremal combinatorics. A family of permutations $\mathcal{F} \subset S_n$ is \emph{$t$-intersecting} if any two permutations in $\mathcal{F}$ agree on some $t$ indices, and is…

Combinatorics · Mathematics 2015-01-12 József Balogh , Shagnik Das , Michelle Delcourt , Hong Liu , Maryam Sharifzadeh

A family $\mathcal{F}$ on ground set $\{1,2,\ldots, n\}$ is maximal $k$-wise intersecting if every collection of $k$ sets in $\mathcal{F}$ has non-empty intersection, and no other set can be added to $\mathcal{F}$ while maintaining this…

Combinatorics · Mathematics 2022-06-30 József Balogh , Ce Chen , Haoran Luo

We discuss the proximal game and semi-proximality in $\Psi$-spaces of almost disjoint families over an infinite countable set and $\Psi$-spaces of ladder systems on $\omega_1$. We show that a semi-proximal almost disjoint families must be…

General Topology · Mathematics 2024-12-30 Khulod Almontashery , Vinicius de Oliveira Rodrigues , Paul J. Szeptycki

We develop a new forcing notion for adjoining self-coding cofinitary permutations and use it to show that consistently, the minimal cardinality $\mathfrak a_{\text{g}}$ of a maximal cofinitary group (MCG) is strictly between $\aleph_1$ and…

Logic · Mathematics 2025-04-30 Vera Fischer , Sy David Friedman , David Schrittesser , Asger Törnquist

We show that for any sufficiently rich compact family $\mathcal{H}$ of $C^1$ diffeomorphisms of a closed Riemannanian manifold $M$, the average geometric intersection number over $h \in \mathcal{H}$ between $h(V)$ and $W$, for $V, W$ any…

Differential Geometry · Mathematics 2024-03-27 Axel Kodat , Michael Shub

For a family $\mathcal{F}$ of subsets of a finite set, define $\mathcal{D}(\mathcal{F})=\{F\setminus F': F, F'\in\mathcal{F}\}$. A family $\mathcal{F}$ is called intersecting if $F\cap F'\not=\emptyset$ for all $F, F'\in\mathcal{F}$. Frankl…

Combinatorics · Mathematics 2024-12-02 Yan zilong , Peng Yuejian

Let $\mathcal{A}\subseteq{[n]\choose a}$ and $\mathcal{B}\subseteq{[n]\choose b}$ be two families of subsets of $[n]$, we say $\mathcal{A}$ and $\mathcal{B}$ are cross-intersecting if $A\cap B\neq \emptyset$ for all $A\in\mathcal{A}$,…

Combinatorics · Mathematics 2019-07-30 Xiangliang Kong , Yuanxiao Xi , Gennian Ge

Let $\mathcal{F}$ be any collection of linearly separable sets of a set $P$ of $n$ points either in $\mathbb{R}^2$, or in $\mathbb{R}^3$. We show that for every natural number $k$ either one can find $k$ pairwise disjoint sets in…

Combinatorics · Mathematics 2015-07-10 Shay Moran , Rom Pinchasi

Let $V$ be an $n$-dimensional vector space over a finite field $\mathbb{F}_q$. In this paper we describe the structure of maximal non-trivial $t$-intersecting families of $k$-dimensional subspaces of $V$ with large size. We also determine…

Combinatorics · Mathematics 2020-07-24 Mengyu Cao , Benjian Lv , Kaishun Wang , Sanming Zhou

We consider quasiconformal deformations of $\mathbb{C}\setminus\mathbb{Z}$. We give some criteria for infinitely often punctured planes to be quasiconformally equivalent to $\mathbb{C}\setminus\mathbb{Z}$. In particular, we characterize the…

Differential Geometry · Mathematics 2014-12-30 Hiroki Fujino

A family of subsets $\mathcal{F}$ is intersecting if $A \cap B \neq \emptyset$ for any $A, B \in \mathcal{F}$. In this paper, we show that for given integers $k > d \ge 2$ and $n \ge 2k+2d-3$, and any intersecting family $\mathcal{F}$ of…

Combinatorics · Mathematics 2024-07-22 Hao Huang , Yi Zhang

The relations M(kappa,lambda,mu)->B [resp. B(sigma)] meaning that if A subset [kappa]^lambda with |A|=kappa is mu-almost disjoint then A has property B [resp. has a sigma-transversal] had been introduced and studied under GCH by Erdos and…

Logic · Mathematics 2007-05-23 Andras Hajnal , Istvan Juhasz , Saharon Shelah

We consider the definability of mad families in vector spaces of the form $\underset{n<\omega}{\bigoplus} F$ where $F$ is a field of cardinality $\leq \aleph_0$. We show that there is no analytic mad family of subspaces when…

Logic · Mathematics 2018-11-12 Haim Horowitz , Saharon Shelah

We answer Question~3.2 from Shelah \cite{Sh:666}: Given a maximal almost disjoint (mad) family $\mathcal A$ of size $\aleph_1$, we construct a forcing ${\mathbb Q}(\mathcal A)$ that has Axiom A, is ${}^\omega \omega$-bounding, preserves…

Logic · Mathematics 2015-02-23 Heike Mildenberger