English
Related papers

Related papers: Testing Intersecting and Union-Closed Families

200 papers

A family of perfect matchings of $K_{2n}$ is $intersecting$ if any two of its members have an edge in common. It is known that if $\mathcal{F}$ is family of intersecting perfect matchings of $K_{2n}$, then $|\mathcal{F}| \leq (2n-3)!!$ and…

Combinatorics · Mathematics 2018-08-13 Nathan Lindzey

Software testing is sometimes plagued with intermittently failing tests and finding the root causes of such failing tests is often difficult. This problem has been widely studied at the unit testing level for open source software, but there…

Software Engineering · Computer Science 2020-05-15 Per Erik Strandberg , Thomas J Ostrand , Elaine J Weyuker , Wasif Afzal , Daniel Sundmark

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

A collection of sets is {\em intersecting} if every two members have nonempty intersection. We describe the structure of intersecting families of $r$-sets of an $n$-set whose size is quite a bit smaller than the maximum ${n-1 \choose r-1}$…

Combinatorics · Mathematics 2016-02-08 Alexandr Kostochka , Dhruv Mubayi

Two families $\mathcal{F}$ and $\mathcal{G}$ are called cross-intersecting if for every $F\in \mathcal{F}$ and $G\in \mathcal{G}$, the intersection $F\cap G$ is non-empty. It is significant to determine the maximum sum of sizes of…

Combinatorics · Mathematics 2025-05-26 Yongjiang Wu , Lihua Feng , Yongtao Li

We present a framework for merging unit tests for autonomous systems. Typically, it is intractable to test an autonomous system for every scenario in its operating environment. The question of whether it is possible to design a single test…

Systems and Control · Electrical Eng. & Systems 2022-04-07 Josefine Graebener , Apurva Badithela , Richard M. Murray

We study non-autonomous conformal iterated function systems, with finite or countably infinite alphabet alike. These differ from the usual (autonomous) iterated function systems in that the contractions applied at each step in time are…

Dynamical Systems · Mathematics 2020-08-26 Lasse Rempe-Gillen , Mariusz Urbański

The Union Closed Sets Conjecture is one of the most renowned problems in combinatorics. Its appeal lies in the simplicity of its statement contrasted with the potential complexity of its resolution. The conjecture posits that, in any union…

Combinatorics · Mathematics 2025-10-02 Nived J M

It is known that for any class C closed under union and intersection, the Boolean closure of C, the Boolean hierarchy over C, and the symmetric difference hierarchy over C all are equal. We prove that these equalities hold for any…

Computational Complexity · Computer Science 2007-05-23 Lane A. Hemaspaandra , Joerg Rothe

We study the intersecting family process initially studied in \cite{BCFMR}. Here $k=k(n)$ and $E_1,E_2,\ldots,E_m$ is a random sequence of $k$-sets from $\binom{[n]}{k}$ where $E_{r+1}$ is uniformly chosen from those $k$-sets that are not…

Combinatorics · Mathematics 2024-03-12 Patrick Bennett , Alan Frieze , Andrew Newman , Wesley Pegden

We establish a lower bound of $\Omega{(\sqrt{n})}$ on the bounded-error quantum query complexity of read-once Boolean functions, providing evidence for the conjecture that $\Omega(\sqrt{D(f)})$ is a lower bound for all Boolean functions.…

Quantum Physics · Physics 2007-05-23 Howard Barnum , Michael Saks

The noise sensitivity of a Boolean function $f: \{0,1\}^n \rightarrow \{0,1\}$ is one of its fundamental properties. A function of a positive noise parameter $\delta$, it is denoted as $NS_{\delta}[f]$. Here we study the algorithmic problem…

Data Structures and Algorithms · Computer Science 2019-04-16 Ronitt Rubinfeld , Arsen Vasilyan

We study families $u_s$ of functions satisfying the equations $(-\Delta)^s u_s=0$, $s \in (0,1)$ in a smooth bounded open set $\Omega \subset \mathbb{R}^N$. The main purpose of this paper is twofold. First, we provide a detailed analysis of…

Analysis of PDEs · Mathematics 2026-05-08 Sven Jarohs , Abhrojyoti Sen , Tobias Weth

The role of symmetry in Boolean functions $f:\{0,1\}^n \to \{0,1\}$ has been extensively studied in complexity theory. For example, symmetric functions, that is, functions that are invariant under the action of $S_n$, is an important class…

Computational Complexity · Computer Science 2025-10-01 Sourav Chakraborty , Chandrima Kayal , Manaswi Paraashar

This paper studies the possibility of detecting and isolating topology failures (including link failures and node failures) of a networked system from subsystem measurements, in which subsystems are of fixed high-order linear dynamics, and…

Systems and Control · Electrical Eng. & Systems 2021-01-27 Yuan Zhang , Yuanqing Xia , Jinhui Zhang , Jun Shang

Call a function f : F_2^n -> {0,1} odd-cycle-free if there are no x_1, ..., x_k in F_2^n with k an odd integer such that f(x_1) = ... = f(x_k) = 1 and x_1 + ... + x_k = 0. We show that one can distinguish odd-cycle-free functions from those…

Data Structures and Algorithms · Computer Science 2012-07-16 Arnab Bhattacharyya , Elena Grigorescu , Prasad Raghavendra , Asaf Shapira

We consider the task of testing properties of Boolean functions that are invariant under linear transformations of the Boolean cube. Previous work in property testing, including the linearity test and the test for Reed-Muller codes, has…

Combinatorics · Mathematics 2009-04-20 Arnab Bhattacharyya , Victor Chen , Madhu Sudan , Ning Xie

We give the first agnostic, efficient, proper learning algorithm for monotone Boolean functions. Given $2^{\tilde{O}(\sqrt{n}/\varepsilon)}$ uniformly random examples of an unknown function $f:\{\pm 1\}^n \rightarrow \{\pm 1\}$, our…

Data Structures and Algorithms · Computer Science 2023-05-25 Jane Lange , Arsen Vasilyan

Understanding statistical inference under possibly non-sparse high-dimensional models has gained much interest recently. For a given component of the regression coefficient, we show that the difficulty of the problem depends on the sparsity…

Statistics Theory · Mathematics 2022-08-22 Jelena Bradic , Jianqing Fan , Yinchu Zhu

Learning of continuous exponential family distributions with unbounded support remains an important area of research for both theory and applications in high-dimensional statistics. In recent years, score matching has become a widely used…

Machine Learning · Computer Science 2026-05-15 Devin Smedira , Abhijith Jayakumar , Sidhant Misra , Marc Vuffray , Andrey Y. Lokhov