English
Related papers

Related papers: On the Characterization of $1$-sided error Strongl…

200 papers

We initiate the study of quantum property testing in sparse directed graphs, and more particularly in the unidirectional model, where the algorithm is allowed to query only the outgoing edges of a vertex. In the classical unidirectional…

Quantum Physics · Physics 2025-11-27 Simon Apers , Frédéric Magniez , Sayantan Sen , Dániel Szabó

Property testing algorithms are highly efficient algorithms, that come with probabilistic accuracy guarantees. For a property P, the goal is to distinguish inputs that have P from those that are far from having P with high probability…

Logic in Computer Science · Computer Science 2020-09-17 Isolde Adler , Polly Fahey

We study property testing of properties that are definable in first-order logic (FO) in the bounded-degree graph and relational structure models. We show that any FO property that is defined by a formula with quantifier prefix…

Logic in Computer Science · Computer Science 2021-01-08 Isolde Adler , Noleen Köhler , Pan Peng

Bidirected graphs generalize directed and undirected graphs in that edges are oriented locally at every node. The natural notion of the degree of a node that takes into account (local) orientations is that of net-degree. In this paper, we…

Combinatorics · Mathematics 2017-04-11 Laura Gellert , Raman Sanyal

A graph $G$ is called self-ordered (a.k.a asymmetric) if the identity permutation is its only automorphism. Equivalently, there is a unique isomorphism from $G$ to any graph that is isomorphic to $G$. We say that $G=(V,E)$ is robustly…

Computational Complexity · Computer Science 2023-06-22 Oded Goldreich , Avi Wigderson

In this paper we consider the problem of testing whether a graph has bounded arboricity. The family of graphs with bounded arboricity includes, among others, bounded-degree graphs, all minor-closed graph classes (e.g. planar graphs, graphs…

Data Structures and Algorithms · Computer Science 2021-04-28 Talya Eden , Reut Levi , Dana Ron

A graph property P is strongly testable if for every fixed \epsilon>0 there is a one-sided \epsilon-tester for P whose query complexity is bounded by a function of \epsilon. In classifying the strongly testable graph properties, the first…

Combinatorics · Mathematics 2011-10-14 Noga Alon , Jacob Fox

We extend the bounded degree graph model for property testing introduced by Goldreich and Ron (Algorithmica, 2002) to hypergraphs. In this framework, we analyse the query complexity of three fundamental hypergraph properties: colorability,…

Computational Complexity · Computer Science 2025-03-14 Hugo Aaronson , Gaia Carenini , Atreyi Chanda

Hamiltonian cycles in graphs were first studied in the 1850s. Since then, an impressive amount of research has been dedicated to identifying classes of graphs that allow Hamiltonian cycles, and to related questions. The corresponding…

Discrete Mathematics · Computer Science 2023-06-22 Isolde Adler , Noleen Köhler

Where graphs are used for modelling and specifying systems, consistency is an important concern. To be a valid model of a system, the graph structure must satisfy a number of constraints. To date, consistency has primarily been viewed as a…

Logic in Computer Science · Computer Science 2021-11-02 Jens Kosiol , Daniel Strüber , Gabriele Taentzer , Steffen Zschaler

Graph models, like other machine learning models, have implicit and explicit biases built-in, which often impact performance in nontrivial ways. The model's faithfulness is often measured by comparing the newly generated graph against the…

Social and Information Networks · Computer Science 2023-01-06 Satyaki Sikdar , Daniel Gonzalez Cedre , Trenton W. Ford , Tim Weninger

We explore pseudometrics for directed graphs in order to better understand their topological properties. The directed flag complex associated to a directed graph provides a useful bridge between network science and topology. Indeed, it has…

Algebraic Topology · Mathematics 2021-07-26 Ana Lucia Garcia-Pulido , Kathryn Hess , Jane Tan , Katharine Turner , Bei Wang , Naya Yerolemou

Several graph properties are characterized as the class of graphs that admit an orientation avoiding finitely many oriented structures. For instance, if $F_k$ is the set of homomorphic images of the directed path on $k+1$ vertices, then a…

Combinatorics · Mathematics 2020-12-24 Santiago Guzmán-Pro , César Hernández-Cruz

Homophily is a graph property describing the tendency of edges to connect similar nodes. There are several measures used for assessing homophily but all are known to have certain drawbacks: in particular, they cannot be reliably used for…

Machine Learning · Computer Science 2024-12-16 Mikhail Mironov , Liudmila Prokhorenkova

We prove a new generalisation of Ramsey's theorem by showing that every $2$-edge-coloured graph with sufficiently large minimum degree contains a monochromatic induced subgraph whose minimum degree remains large. From this, we also derive…

Combinatorics · Mathematics 2026-04-17 Arnab Char , Ken-ichi Kawarabayashi , Lucas Picasarri-Arrieta

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

We study the sample complexity of nondeterministically testable graph parameters and improve existing bounds on it by several orders of magnitude. The technique used would be also of independent interest. We also discuss the special case of…

Data Structures and Algorithms · Computer Science 2016-08-05 Marek Karpinski , Roland Markó

The graphical notion of effective resistance has found wide-ranging applications in many areas of pure mathematics, applied mathematics and control theory. By the nature of its construction, effective resistance can only be computed in…

Optimization and Control · Mathematics 2013-10-23 George Forrest Young , Luca Scardovi , Naomi Ehrich Leonard

Two-sample tests utilizing a similarity graph on observations are useful for high-dimensional and non-Euclidean data due to their flexibility and good performance under a wide range of alternatives. Existing works mainly focused on sparse…

Statistics Theory · Mathematics 2023-11-14 Yejiong Zhu , Hao Chen

Although asymptotic analyses of undirected network models based on degree sequences have started to appear in recent literature, it remains an open problem to study statistical properties of directed network models. In this paper, we…

Statistics Theory · Mathematics 2016-01-13 Ting Yan , Chenlei Leng , Ji Zhu