English
Related papers

Related papers: Towards a General Direct Product Testing Theorem

200 papers

We study the Fourier spectrum of functions $f\colon \{0,1\}^{mk} \to \{-1,0,1\}$ which can be written as a product of $k$ Boolean functions $f_i$ on disjoint $m$-bit inputs. We prove that for every positive integer $d$, \[ \sum_{S \subseteq…

Computational Complexity · Computer Science 2019-02-08 Chin Ho Lee

We introduce a generalization of the zig-zag product of regular digraphs (directed graphs), which allows us to construct regular digraphs with m ore flexible choices of the degrees. In our generalization, we can control the connectivity of…

Probability · Mathematics 2007-05-23 Shunichi Nomura , Akimichi Takemura

We study the question of local testability of low (constant) degree functions from a product domain $S_1 \times \dots \times {S}_n$ to a field $\mathbb{F}$, where ${S_i} \subseteq \mathbb{F}$ can be arbitrary constant sized sets. We show…

Computational Complexity · Computer Science 2024-11-12 Prashanth Amireddy , Srikanth Srinivasan , Madhu Sudan

A natural representation of random graphs is the random measure. The collection of product random measures, their transformations, and non-negative test functions forms a general representation of the collection of non-negative weighted…

Probability · Mathematics 2022-04-21 Caleb Bastian , Herschel Rabitz

A vertex $v\in V(G)$ is said to distinguish two vertices $x,y\in V(G)$ of a nontrivial connected graph $G$ if the distance from $v$ to $x$ is different from the distance from $v$ to $y$. A set $S\subset V(G)$ is a local metric generator for…

Combinatorics · Mathematics 2015-05-25 Gabriel A. Barragan-Ramirez , Juan A. Rodriguez-Velazquez

Given a graph $G$ without isolated vertices, a total Roman dominating function for $G$ is a function $f : V(G)\rightarrow \{0,1,2\}$ such that every vertex with label 0 is adjacent to a vertex with label 2, and the set of vertices with…

Combinatorics · Mathematics 2020-05-29 Abel Cabrera Martinez , Dorota Kuziak , Iztok Peterin , Ismael G. Yero

One of the most fundamental questions in graph property testing is to characterize the combinatorial structure of properties that are testable with a constant number of queries. We work towards an answer to this question for the…

Data Structures and Algorithms · Computer Science 2018-11-08 Hendrik Fichtenberger , Pan Peng , Christian Sohler

In this work, we develop new insights into the fundamental problem of convexity testing of real-valued functions over the domain $[n]$. Specifically, we present a nonadaptive algorithm that, given inputs $\eps \in (0,1), s \in \mathbb{N}$,…

Data Structures and Algorithms · Computer Science 2021-10-26 Abhiruk Lahiri , Ilan Newman , Nithin Varma

Two-sample hypothesis testing for random graphs arises naturally in neuroscience, social networks, and machine learning. In this paper, we consider a semiparametric problem of two-sample hypothesis testing for a class of latent position…

Methodology · Statistics 2015-06-19 Minh Tang , Avanti Athreya , Daniel L. Sussman , Vince Lyzinski , Carey E. Priebe

The dichromatic number of a digraph $G$ is the smallest integer $\chi_a(G)$ such that the vertex set of $G$ can be partitioned into $\chi_a(G)$ sets, each of which induces an acyclic subdigraph. This is a generalization of the classic…

Combinatorics · Mathematics 2022-05-12 I. L. Costa , A. S. F. Silva

Let $G$ be a graph and $S\subseteq V(G)$. If every two adjacent vertices of $G$ have different metric $S$-representations, then $S$ is a local metric generator for $G$. A local metric generator of smallest order is a local metric basis for…

Combinatorics · Mathematics 2019-02-26 Sandi Klavžar , Mostafa Tavakoli

A graph property P is said to be testable if one can check if a graph is close or far from satisfying P using few random local inspections. Property P is said to be non-deterministically testable if one can supply a "certificate" to the…

Combinatorics · Mathematics 2013-04-09 Lior Gishboliner , Asaf Shapira

Computing the directed path-width of a directed graph is an NP-hard problem. Even for digraphs of maximum semi-degree 3 the problem remains hard. We propose a decomposition of an input digraph G=(V,A) by a number k of sequences with entries…

Data Structures and Algorithms · Computer Science 2018-11-07 Frank Gurski , Carolin Rehs , Jochen Rethmann

Given a graph $G$ and an integer $k$, the Feedback Vertex Set (FVS) problem asks if there is a vertex set $T$ of size at most $k$ that hits all cycles in the graph. The fixed-parameter tractability status of FVS in directed graphs was a…

Data Structures and Algorithms · Computer Science 2014-12-03 Rajesh Chitnis , Marek Cygan , MohammadTaghi Hajiaghayi , Dániel Marx

In this paper, we study the dot-product graphs in $\mathbb{F}_q^d$. We prove that if the size of the product of two adjacent sets is large enough, then the set of dot-product graphs has positive density. Our method is based on finite field…

Combinatorics · Mathematics 2025-11-05 Chengfei Xie , Gennian Ge

It was recently proved that every planar graph is a subgraph of the strong product of a path and a graph with bounded treewidth. This paper surveys generalisations of this result for graphs on surfaces, minor-closed classes, various…

Combinatorics · Mathematics 2021-02-18 Zdeněk Dvořák , Tony Huynh , Gwenaël Joret , Chun-Hung Liu , David R. Wood

Distribution testing can be described as follows: $q$ samples are being drawn from some unknown distribution $P$ over a known domain $[n]$. After the sampling process, a decision must be made about whether $P$ holds some property, or is far…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-12-04 Uri Meir

Motivated by recent advances in locally testable codes and quantum LDPCs based on robust testability of tensor product codes, we explore the local testability of tensor products of (an abstraction of) algebraic geometry codes. Such codes…

Information Theory · Computer Science 2025-11-12 Sumegha Garg , Madhu Sudan , Gabriel Wu

In this paper we present distributed testing algorithms of graph properties in the CONGEST-model [Censor-Hillel et al. 2016]. We present one-sided error testing algorithms in the general graph model. We first describe a general procedure…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-05-16 Guy Even , Reut Levi , Moti Medina

Consider the self-map F of the space of real-valued test functions on the line which takes a test function f to the test function sending a real number x to f(f(x))-f(0). We show that F is discontinuous, although its restriction to the…

General Topology · Mathematics 2007-05-23 Helge Glockner