English
Related papers

Related papers: On Circuit Diameter Bounds via Circuit Imbalances

200 papers

In this paper, we prove superpolynomial lower bounds for the class of homogeneous depth 4 arithmetic circuits. We give an explicit polynomial in VNP of degree $n$ in $n^2$ variables such that any homogeneous depth 4 arithmetic circuit…

Computational Complexity · Computer Science 2013-12-23 Mrinal Kumar , Shubhangi Saraf

We develop a framework for approximation limits of polynomial-size linear programs from lower bounds on the nonnegative ranks of suitably defined matrices. This framework yields unconditional impossibility results that are applicable to any…

Computational Complexity · Computer Science 2014-05-20 Gábor Braun , Samuel Fiorini , Sebastian Pokutta , David Steurer

In this paper, we shed new light on the spectrum of the relation algebra we call $A_{n}$, which is obtained by splitting the non-flexible diversity atom of $6_{7}$ into $n$ symmetric atoms. Precisely, we show that the minimum value in…

Due to the physics behind quantum computing, quantum circuit designers must adhere to the constraints posed by the limited interaction distance of qubits. Existing circuits need therefore to be modified via the insertion of SWAP gates,…

Quantum Physics · Physics 2020-09-21 Jesse Mulderij , Karen I. Aardal , Irina Chiscop , Frank Phillipson

Combinatorial discrepancy is a complexity measure of a collection of sets which quantifies how well the sets in the collection can be simultaneously balanced. More precisely, we are given an n-point set $P$, and a collection $\mathcal{F} =…

Combinatorics · Mathematics 2017-04-18 Aleksandar Nikolov

We analyze the above-threshold behavior of a mirrorless parametric oscillator based on resonantly enhanced four wave mixing in a coherently driven dense atomic vapor. It is shown that, in the ideal limit, an arbitrary small flux of pump…

Quantum Physics · Physics 2009-10-31 M. Fleischhauer , M. D. Lukin , A. B. Matsko , M. O. Scully

Linear Complementary Dual codes (LCD) are binary linear codes that meet their dual trivially. We construct LCD codes using orthogonal matrices, self-dual codes, combinatorial designs and Gray map from codes over the family of rings $R_k$.…

Information Theory · Computer Science 2015-06-08 Steven T. Dougherty , Jon-Lark Kim , Buket Ozkaya , Lin Sok , Patrick Solé

Optical resonators provide a powerful tool for testing aspects of Lorentz invariance. Here, we present a reanalysis of an experiment where a path asymmetry was created in an optical ring resonator by introducing a dielectric prism in one…

High Energy Physics - Phenomenology · Physics 2015-08-12 Stephen R. Parker , Matthew Mewes , Fred N. Baynes , Michael E. Tobar

We investigate the combinatorial discrepancy of geometric set systems having bounded shallow cell complexity in the \emph{Beck-Fiala} setting, where each point belongs to at most $t$ ranges. For set systems with shallow cell complexity…

Computational Geometry · Computer Science 2023-01-10 Kunal Dutta , Arijit Ghosh

Circuits play a fundamental role in polyhedral theory and linear programming. For instance, circuits are used as step directions in various augmentation schemes for solving linear programs or to leave degenerate vertices while running the…

Optimization and Control · Mathematics 2019-07-01 Steffen Borgwardt , Charles Viss

We prove that $poly(t) \cdot n^{1/D}$-depth local random quantum circuits with two qudit nearest-neighbor gates on a $D$-dimensional lattice with n qudits are approximate $t$-designs in various measures. These include the "monomial"…

Quantum Physics · Physics 2023-05-05 Aram Harrow , Saeed Mehraban

An open problem in complexity theory is to find the minimal degree of a polynomial representing the $n$-bit OR function modulo composite $m$. This problem is related to understanding the power of circuits with $\text{MOD}_m$ gates where $m$…

Computational Complexity · Computer Science 2015-11-13 Holden Lee

We prove that the Bethe expression for the conditional input-output entropy of cycle LDPC codes on binary symmetric channels above the MAP threshold is exact in the large block length limit. The analysis relies on methods from statistical…

Information Theory · Computer Science 2012-02-14 Nicolas Macris , Marc Vuffray

Experimental mechanisms that yield the growth of homochiral copolymers over their heterochiral counterparts have been advocated by Lahav and co-workers. These chiral amplification mechanisms proceed through racemic {\beta}-sheet-controlled…

Quantitative Methods · Quantitative Biology 2012-12-19 Celia Blanco , David Hochberg

This article is concerned with the approximation of unbounded convex sets by polyhedra. While there is an abundance of literature investigating this task for compact sets, results on the unbounded case are scarce. We first point out the…

Optimization and Control · Mathematics 2023-05-04 Daniel Dörfler

We apply polynomial techniques (linear programming) to obtain lower and upper bounds on the covering radius of spherical designs as function of their dimension, strength, and cardinality. In terms of inner products we improve the lower…

Combinatorics · Mathematics 2020-07-14 Peter Boyvalenkov , Maya Stoyanova

The $k$-mismatch problem consists in computing the Hamming distance between a pattern $P$ of length $m$ and every length-$m$ substring of a text $T$ of length $n$, if this distance is no more than $k$. In many real-world applications, any…

Daum et al. [PODC'13] presented an algorithm that computes a maximal independent set (MIS) within $O(\log^2 n/F+\log n \mathrm{polyloglog} n)$ rounds in an $n$-node multichannel radio network with $F$ communication channels. The paper uses…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-08-19 Sebastian Daum , Fabian Kuhn

In this paper, we consider the system $-\Delta u =\lambda (v+1)^p,\;\;-\Delta v = \gamma (u+1)^\theta$ on a smooth bounded domain $\Omega$ in $\mathbb{R}^N$ with the Dirichlet boundary condition $u=v=0$ on $\partial \Omega.$ Here $…

Analysis of PDEs · Mathematics 2016-11-18 Hatem Hajlaoui

In 1960, Asplund and Gr\"unbaum proved that every intersection graph of axis-parallel rectangles in the plane admits an $O(\omega^2)$-coloring, where $\omega$ is the maximum size of a clique. We present the first asymptotic improvement over…

Computational Geometry · Computer Science 2020-07-16 Parinya Chalermsook , Bartosz Walczak