English
Related papers

Related papers: Towards a General Direct Product Testing Theorem

200 papers

The purpose of this note is to point out that the theory of expander graphs leads to an interesting test whether $n$ real numbers $x_1, \dots, x_n$ could be $n$ independent samples of a random variable. To any distinct, real numbers $x_1,…

Statistics Theory · Mathematics 2020-08-05 Stefan Steinerberger

We characterize the set of properties of Boolean-valued functions on a finite domain $\mathcal{X}$ that are testable with a constant number of samples. Specifically, we show that a property $\mathcal{P}$ is testable with a constant number…

Data Structures and Algorithms · Computer Science 2016-12-20 Eric Blais , Yuichi Yoshida

In a recent work (ECCC, TR18-171, 2018), we introduced models of testing graph properties in which, in addition to answers to the usual graph-queries, the tester obtains {\em random vertices drawn according to an arbitrary distribution…

Data Structures and Algorithms · Computer Science 2019-06-06 Oded Goldreich

Given a graph $G=(V,E)$, an integer $k$, and a function $f_G:V^k \times V^k \to {0,1}$, the $k^{th}$ graph product of $G$ w.r.t $f_G$ is the graph with vertex set $V^k$, and an edge between two vertices $x=(x_1,...,x_k)$ and…

Discrete Mathematics · Computer Science 2013-09-05 Michael Langberg , Dan Vilenchik

Let $R$ be a commutative ring with identity and $n\geq1$ be an integer. Let $R^{n}=R\times\cdots\times R~(n~times)$. The \textit{total dot product} graph, denoted by $TD(R,n)$ is a simple graph with elements of $R^{n}-\{(0,0,\ldots,0)\}$ as…

Combinatorics · Mathematics 2016-01-20 Mohsen Mollahajiaghaei

We study the question of testing structured properties (classes) of discrete distributions. Specifically, given sample access to an arbitrary distribution $D$ over $[n]$ and a property $\mathcal{P}$, the goal is to distinguish between…

Data Structures and Algorithms · Computer Science 2016-01-22 Clément L. Canonne , Ilias Diakonikolas , Themis Gouleakis , Ronitt Rubinfeld

Let F = F_p for any fixed prime p >= 2. An affine-invariant property is a property of functions on F^n that is closed under taking affine transformations of the domain. We prove that all affine-invariant property having local…

Computational Complexity · Computer Science 2013-01-18 Arnab Bhattacharyya , Eldar Fischer , Hamed Hatami , Pooya Hatami , Shachar Lovett

We study distribution-free property testing and learning problems where the unknown probability distribution is a product distribution over $\mathbb{R}^d$. For many important classes of functions, such as intersections of halfspaces,…

Data Structures and Algorithms · Computer Science 2021-11-17 Nathaniel Harms , Yuichi Yoshida

The direct product of graphs $G_1,\ldots,G_n$ is the graph with vertex set $V(G_1)\times\cdots\times V(G_n)$ in which two vertices $(g_1,\ldots,g_n)$ and $(g_1',\ldots,g_n')$ are adjacent if and only if $g_i$ is adjacent to $g_i'$ in $G_i$…

Combinatorics · Mathematics 2019-04-05 Noga Alon , Colin Defant

The power dominating set (PDS) problem is the following extension of the well-known dominating set problem: find a smallest-size set of nodes $S$ that power dominates all the nodes, where a node $v$ is power dominated if (1) $v$ is in $S$…

Computational Complexity · Computer Science 2007-10-12 Ashkan Aazami , Michael D. Stilp

This article deals with two different problems in commutative algebra. In the first part, we give a proof of generalized forms of the Direct Summand Theorem (DST (or DCS)) for module-finite extension rings of mixed characteristic $R\subset…

Commutative Algebra · Mathematics 2017-08-14 Danny A. J. Gomez-Ramirez , Edisson Gallego , Juan D. Velez

Figueroa-Centeno et al. introduced the following product of digraphs: let $D$ be a digraph and let $\Gamma$ be a family of digraphs such that $V(F)=V$ for every $F\in \Gamma$. Consider any function $h:E(D)\longrightarrow\Gamma $. Then the…

Combinatorics · Mathematics 2013-05-14 S. C. López , F. A. Muntaner-Batle

In the study of random structures we often face a trade-off between realism and tractability, the latter typically enabled by assuming some form of independence. In this work we initiate an effort to bridge this gap by developing tools that…

Discrete Mathematics · Computer Science 2015-03-02 Dimitris Achlioptas , Paris Siminelakis

We present a novel framework closely linking the areas of property testing and data streaming algorithms in the setting of general graphs. It has been recently shown (Monemizadeh et al. 2017) that for bounded-degree graphs, any…

Data Structures and Algorithms · Computer Science 2019-05-07 Artur Czumaj , Hendrik Fichtenberger , Pan Peng , Christian Sohler

An $L(1,1)$-labeling of a graph $G$ is an assignment of labels from $\{0,1 \cdots, k \}$ to the vertices of $G$ such that two vertices that are adjacent or have a common neighbor receive distinct labels. The $\lambda_1^1-$ number,…

Combinatorics · Mathematics 2016-01-12 Tayo Charles Adefokun , Deborah Olayide Ajayi

We study Smale skew product endomorphisms (introduced in [27]) now over countable graph directed Markov systems, and we prove the exact dimensionality of conditional measures in fibers, and then the global exact dimensionality of the…

Dynamical Systems · Mathematics 2023-06-22 Eugen Mihailescu , Mariusz Urbanski

One of the key components in PCP constructions are agreement tests. In agreement test the tester is given access to subsets of fixed size of some set, each equipped with an assignment. The tester is then tasked with testing whether these…

Computational Complexity · Computer Science 2022-10-31 Roy Gotlib , Tali Kaufman

The problem of injective coloring in graphs can be revisited through two different approaches: coloring the two-step graphs and vertex partitioning of graphs into open packing sets, each of which is equivalent to the injective coloring…

Combinatorics · Mathematics 2024-06-07 Babak Samadi , Nasrin Soltankhah , Ismael G. Yero

We investigate the product structure of hereditary graph classes admitting strongly sublinear separators. We characterise such classes as subgraphs of the strong product of a star and a complete graph of strongly sublinear size. In a more…

Combinatorics · Mathematics 2023-09-29 Zdeněk Dvořák , David R. Wood

We present a simple, natural #P-complete problem. Let G be a directed graph, and let k be a positive integer. We define q(G;k) as follows. At each vertex v, we place a k-dimensional complex vector x_v. We take the product, over all edges…

Computational Complexity · Computer Science 2010-01-15 Cristopher Moore , Alexander Russell