English
Related papers

Related papers: Lower Bounds for Testing Directed Acyclicity in th…

200 papers

Let $G$ be a graph with $n$ vertices, $m$ edges, average degree $\delta$, and maximum degree $\Delta$. The "oriented chromatic number" of $G$ is the maximum, taken over all orientations of $G$, of the minimum number of colours in a proper…

Combinatorics · Mathematics 2008-09-09 David R. Wood

We show a procedure that, given oracle access to a function $f\colon \{0,1\}^n\to\{0,1\}$, produces oracle access to a function $f'\colon \{0,1\}^{n'}\to\{0,1\}$ such that if $f$ is monotone, then $f'$ is monotone, and if $f$ is…

Computational Complexity · Computer Science 2025-12-16 Dor Minzer

We study the problem of testing triangle freeness in the general graph model. This problem was first studied in the general graph model by Alon et al. (SIAM J. Discret. Math. 2008) who provided both lower bounds and upper bounds that depend…

Data Structures and Algorithms · Computer Science 2021-05-12 Reut Levi

We consider the nearest-neighbor simple random walk on $\Z^d$, $d\ge2$, driven by a field of bounded random conductances $\omega_{xy}\in[0,1]$. The conductance law is i.i.d. subject to the condition that the probability of $\omega_{xy}>0$…

Probability · Mathematics 2009-04-26 Noam Berger , Marek Biskup , Christopher E. Hoffman , Gady Kozma

We prove that the (non-symmetric) adjacency matrix of a uniform random $d$-regular directed graph on $n$ vertices is asymptotically almost surely invertible, assuming $\min(d,n-d)\ge C\log^2n$ for a sufficiently large constant $C>0$. The…

Probability · Mathematics 2015-11-10 Nicholas A. Cook

A $(d-1)$-dimensional simplicial complex $\Delta$ is balanced if its graph $G(\Delta)$ is $d$-colorable. Klee and Novik obtained the balanced lower bound theorem for balanced normal $(d-1)$-pseudomanifolds $\Delta$ with $d\geq3$ by showing…

Combinatorics · Mathematics 2023-10-10 Ryoshun Oba

The Constant Degree Hypothesis was introduced by Barrington et. al. (1990) to study some extensions of $q$-groups by nilpotent groups and the power of these groups in a certain computational model. In its simplest formulation, it…

Computational Complexity · Computer Science 2023-11-30 Piotr Kawałek , Armin Weiß

Efficiently counting or detecting defective items is a crucial task in various fields ranging from biological testing to quality control to streaming algorithms. The \emph{group testing estimation problem} concerns estimating the number of…

Data Structures and Algorithms · Computer Science 2023-12-08 Nader H. Bshouty , Tsun-Ming Cheung , Gergely Harcos , Hamed Hatami , Anthony Ostuni

We consider weighted Hardy inequalities involving the distance function to the boundary of a domain in the $N$-dimensional Euclidean space with nonempty boundary. We give a lower bound for the corresponding best Hardy constant for a domain…

Analysis of PDEs · Mathematics 2023-07-06 Ujjal Das , Yehuda Pinchover

For $\Delta$ a finite connected nontrivial directed multigraph, we prove: 1. $\Delta$ has a directed circuit using each directed edge exactly once if and only if both each pair of distinct vertices of $\Delta$ occur in a common directed…

Combinatorics · Mathematics 2024-08-26 Donald Silberger

An old conjecture of Bollob\'as and Scott asserts that every Eulerian directed graph with average degree $d$ contains a directed cycle of length at least $\Omega(d)$. The best known lower bound for this problem is $\Omega(d^{1/2})$ by…

Combinatorics · Mathematics 2021-01-28 Oliver Janzer , Benny Sudakov , István Tomon

Aleatoric (data) and epistemic (knowledge) uncertainty are textbook components of Uncertainty Quantification. Jointly estimating these components has been shown to be problematic and non-trivial. As a result, there are multiple ways to…

Machine Learning · Computer Science 2026-02-12 Ivo Pascal de Jong , Andreea Ioana Sburlea , Matthia Sabatelli , Matias Valdenegro-Toro

In this article, we propose a new hypothesis testing method for directed acyclic graph (DAG). While there is a rich class of DAG estimation methods, there is a relative paucity of DAG inference solutions. Moreover, the existing methods…

Machine Learning · Statistics 2023-05-25 Chengchun Shi , Yunzhe Zhou , Lexin Li

We analyze site percolation on directed and undirected graphs with site-dependent open-site probabilities. We construct upper bounds on cluster susceptibilities, vertex connectivity functions, and the expected number of simple open cycles…

Mathematical Physics · Physics 2016-10-18 Kathleen E. Hamilton , Leonid P. Pryadko

Let $\Omega$ be a open bounded domain in $\mathbb{R}^n $ with smooth boundary $\partial\Omega$. We consider the equation $ \Delta u + u^{\frac{n-k+2}{n-k-2}-\varepsilon} =0\,\hbox{ in }\,\Omega $, under zero Dirichlet boundary condition,…

Analysis of PDEs · Mathematics 2017-12-01 Shengbing Deng , Fethi Mahmoudi , Monica Musso

A celebrated result of Alon from 1993 states that any $d$-regular graph on $n$ vertices (where $d=O(n^{1/9})$) has a bisection with at most $\frac{dn}{2}(\frac{1}{2}-\Omega(\frac{1}{\sqrt{d}}))$ edges, and this is optimal. Recently, this…

Combinatorics · Mathematics 2024-09-24 Eero Räty , István Tomon

For positive integers $n, d$, consider the hypergrid $[n]^d$ with the coordinate-wise product partial ordering denoted by $\prec$. A function $f: [n]^d \mapsto \mathbb{N}$ is monotone if $\forall x \prec y$, $f(x) \leq f(y)$. A function $f$…

Data Structures and Algorithms · Computer Science 2013-04-22 Deeparnab Chakrabarty , C. Seshadhri

This note gives a lower bound of $\Omega(n^{\lceil 2d/3\rceil})$ on the maximal complexity of the Euclidean Voronoi diagram of $n$ non-intersecting lines in $\mathbb{R}^d$ for $d>2$.

Computational Geometry · Computer Science 2021-04-01 Marc Glisse

We study the existence of a directed Hamilton cycle in random digraphs with $m$ edges where we condition on minimum in- and out-degree at least one. Denote such a random graph by $D_{n,m}^{(\delta\geq1)}$. We prove that if $m=\tfrac n2(\log…

Combinatorics · Mathematics 2025-06-17 Colin Cooper , Alan Frieze

We consider the equation $d^2\Delta u - u+ u^{\frac{n-k+2}{n-k-2}} =0\,\hbox{in}\Omega $, under zero Neumann boundary conditions, where $\Omega$ is open, smooth and bounded and $d$ is a small positive parameter. We assume that there is a…

Analysis of PDEs · Mathematics 2013-08-22 Manuel Del Pino , Fethi Mahmoudi , Monica Musso