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

Let $H$ be a directed acyclic graph other than a rooted star. It is known that there are constants $c(H)$ and $C(H)$ such that the following holds for the complete directed graph $D_n$. There are at most $C\log n$ directed acyclic subgraphs…

In this note, we show that three graph properties - strong connectivity, acyclicity, and reachability from a vertex $s$ to all vertices - each require a working memory of $\Omega (\epsilon m)$ on a graph with $m$ edges to be determined…

Let ${\mathcal D}_{n,d}$ be the set of all $d$-regular directed graphs on $n$ vertices. Let $G$ be a graph chosen uniformly at random from ${\mathcal D}_{n,d}$ and $M$ be its adjacency matrix. We show that $M$ is invertible with probability…

We study an approximate version of $q$-query LDCs (Locally Decodable Codes) over the real numbers and prove lower bounds on the encoding length of such codes. A $q$-query $(\alpha,\delta)$-approximate LDC is a set $V$ of $n$ points in…

We develop a new framework to study minimum $d$-degree conditions in $k$-uniform hypergraphs, which guarantee the existence of a tight Hamilton cycle. Our main theoretical result deals with the typical absorption, path cover and connecting…

Let $\Omega$ be an unbounded two dimensional strip on a ruled surface in $\mathbb{R}^d$, $d\geq2$. Consider the Laplacian operator in $\Omega$ with Dirichlet and Neumann boundary conditions on opposite sides of $\Omega$. We prove some…

Kayal, Saha and Tavenas [Theory of Computing, 2018] showed that for all large enough integers $n$ and $d$ such that $d\geq \omega(\log{n})$, any syntactic depth four circuit of bounded individual degree $\delta = o(d)$ that computes the…

Given a bounded regular domain $\omega \subset \mathbb{R}^{N-1}$ and the half-cylinder $\Sigma = \omega \times (0,+\infty)$, we consider the relative overdetermined torsion problem in $\Sigma$, i.e. \[\left\{ \begin{array}{ll} \Delta…

Let $d\geq 3$ be a fixed integer and $A$ be the adjacency matrix of a random $d$-regular directed or undirected graph on $n$ vertices. We show there exist constants $\mathfrak d>0$, \begin{align*} {\mathbb P}(\text{$A$ is singular in…

We investigate symmetry and quantitative approximate symmetry for an overdetermined problem related to the fractional torsion equation in a regular open, bounded set $\Omega \subseteq \mathbb{R}^n$. Specifically, we show that if…

This work initiates a systematic investigation of testing high-dimensional structured distributions by focusing on testing Bayesian networks -- the prototypical family of directed graphical models. A Bayesian network is defined by a…

We consider the problem of multiple hypothesis testing when there is a logical nested structure to the hypotheses. When one hypothesis is nested inside another, the outer hypothesis must be false if the inner hypothesis is false. We model…

Let $\Omega \subset \mathbb R^3$ be a waveguide which is obtained by translating a cross-section in a constant direction along an unbounded spatial curve. Consider $-\Delta_{\Omega}^D$ the Dirichlet Laplacian operator in $\Omega$. Under the…

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…

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.…

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…

Let $D$ be a strongly connected oriented graph with vertex-set $V$ and arc-set $A$. The distance from a vertex $u$ to another vertex $v$, $d(u,v)$ is the minimum length of oriented paths from $u$ to $v$. Suppose $B=\{b_1,b_2,b_3,...b_k\}$…

Given a digraph $D$, we denote by $\vec{\alpha}(D)$ the maximum size of an acyclic set of $D$ (i.e. a set of vertices which induces a subdigraph with no directed cycles), and by $\vec\chi(D)$ the minimum number of acyclic sets into which…

Alon and Krivelevich (SIAM J. Discrete Math. 15(2): 211-227 (2002)) show that if a graph is {\epsilon}-far from bipartite, then the subgraph induced by a random subset of O(1/{\epsilon}) vertices is bipartite with high probability. We…

We describe a $\tilde{O}(d^{5/6})$-query monotonicity tester for Boolean functions $f:[n]^d \to \{0,1\}$ on the $n$-hypergrid. This is the first $o(d)$ monotonicity tester with query complexity independent of $n$. Motivated by this…