Source author record

Srikanth Srinivasan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Computational Complexity quant-ph cond-mat.mtrl-sci Data Structures and Algorithms Discrete Mathematics math.PR

Catalog footprint

Research overview

15works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Separation Results for Constant-Depth and Multilinear Ideal Proof Systems

In this work, we establish separation theorems for several subsystems of the Ideal Proof System (IPS), an algebraic proof system introduced by Grochow and Pitassi (J. ACM, 2018). Separation theorems are well-studied in the context of classical complexity theory, Boolean circuit complexity, and algebraic complexity. In an important work of Forbes, Shpilka, Tzameret, and Wigderson (ToC, 2021), two proof techniques were introduced to prove lower bounds for subsystems of the IPS, namely the functional method and the multiples method. We use these techniques and obtain the following results. Hierarchy theorem for constant-depth IPS: Recently, Limaye, Srinivasan, and Tavenas (J. ACM 2025) proved a hierarchy theorem for constant-depth algebraic circuits. We adapt the result and prove a hierarchy theorem for constant-depth $\mathsf{IPS}$ . We show that there is an unsatisfiable multilinear instance refutable by a depth- $Δ$ $\mathsf{IPS}$ such that any depth-( $Δ/10)$ $\mathsf{IPS}$ refutation for it must have superpolynomial size. This result is proved by building on the multiples method. Separation theorems for multilinear IPS: In an influential work, Raz (ToC, 2006) unconditionally separated two algebraic complexity classes, namely multilinear $\mathsf{NC}^{1}$ from multilinear $\mathsf{NC}^{2}$ . In this work, we prove a similar result for a well-studied fragment of multilinear- $\mathsf{IPS}$ . Specifically, we present an unsatisfiable instance such that its functional refutation, i.e., the unique multilinear polynomial agreeing with the inverse of the polynomial over the Boolean cube, has a small multilinear- $\mathsf{NC}^{2}$ circuit. However, any multilinear- $\mathsf{NC}^{1}$ $\mathsf{IPS}$ refutation ( $\mathsf{IPS}_{\mathsf{LIN}}$ ) for it must have superpolynomial size. This result is proved by building on the functional method.

preprint2021arXiv

Calibrated decoders for experimental quantum error correction

Arbitrarily long quantum computations require quantum memories that can be repeatedly measured without being corrupted. Here, we preserve the state of a quantum memory, notably with the additional use of flagged error events. All error events were extracted using fast, mid-circuit measurements and resets of the physical qubits. Among the error decoders we considered, we introduce a perfect matching decoder that was calibrated from measurements containing up to size-4 correlated events. To compare the decoders, we used a partial post-selection scheme shown to retain ten times more data than full post-selection. We observed logical errors per round of $2.2\pm0.1\times10^{-2}$ (decoded without post-selection) and $5.1\pm0.7\times10^{-4}$ (full post-selection), which was less than the physical measurement error of $7\times10^{-3}$ and therefore surpasses a pseudo-threshold for repeated logical measurements.

preprint2020arXiv

Charge State Dynamics and Optically Detected Electron Spin Resonance Contrast of Shallow Nitrogen-Vacancy Centers in Diamond

Nitrogen-vacancy (NV) centers in diamond can be used for nanoscale sensing with atomic resolution and sensitivity; however, it has been observed that their properties degrade as they approach the diamond surface. Here we report that in addition to degraded spin coherence, NV centers within nanometers of the surface can also exhibit decreased fluorescence contrast for optically detected electron spin resonance (OD-ESR). We demonstrate that this decreased OD-ESR contrast arises from charge state dynamics of the NV center, and that it is strongly surface-dependent, indicating that surface engineering will be critical for nanoscale sensing applications based on color centers in diamond.

preprint2020arXiv

Strongly Exponential Separation Between Monotone VP and Monotone VNP

We show that there is a sequence of explicit multilinear polynomials $P_n(x_1,\ldots,x_n)\in \mathbb{R}[x_1,\ldots,x_n]$ with non-negative coefficients that lies in monotone VNP such that any monotone algebraic circuit for $P_n$ must have size $\exp(Ω(n)).$ This builds on (and strengthens) a result of Yehudayoff (2018) who showed a lower bound of $\exp(\tildeΩ(\sqrt{n})).$

preprint2019arXiv

Verifying Multipartite Entangled GHZ States via Multiple Quantum Coherences

The ability to generate and verify multipartite entanglement is an important benchmark for near-term quantum devices devices. We develop a scalable entanglement metric based on multiple quantum coherences, and demonstrate experimentally on a 20-qubit superconducting device - the IBM Q System One. We report a state fidelity of 0.5165 $\pm$ 0.0036 for an 18-qubit GHZ state, indicating multipartite entanglement across all 18 qubits. Our entanglement metric is robust to noise and only requires measuring the population in the ground state; it can be readily applied to other quantum devices to verify multipartite entanglement.

preprint2018arXiv

On Polynomial Approximations to ${AC}^0$

We make progress on some questions related to polynomial approximations of ${\rm AC}^0$ . It is known, by works of Tarui (Theoret. Comput. Sci. 1993) and Beigel, Reingold, and Spielman (Proc. $6$ th CCC, 1991), that any ${\rm AC}^0$ circuit of size $s$ and depth $d$ has an $\varepsilon$ -error probabilistic polynomial over the reals of degree $(\log (s/\varepsilon))^{O(d)}$ . We improve this upper bound to $(\log s)^{O(d)}\cdot \log(1/\varepsilon)$ , which is much better for small values of $\varepsilon$ . We give an application of this result by using it to resolve a question posed by Tal (ECCC 2014): we show that $(\log s)^{O(d)}\cdot \log(1/\varepsilon)$ -wise independence fools ${\rm AC}^0$ , improving on Tal's strengthening of Braverman's theorem (J. ACM, 2010) that $(\log (s/\varepsilon))^{O(d)}$ -wise independence fools ${\rm AC}^0$ . Up to the constant implicit in the $O(d)$ , our result is tight. As far as we know, this is the first PRG construction for ${\rm AC}^0$ that achieves optimal dependence on the error $\varepsilon$ . We also prove lower bounds on the best polynomial approximations to ${\rm AC}^0$ . We show that any polynomial approximating the ${\rm OR}$ function on $n$ bits to a small constant error must have degree at least $\widetildeΩ(\sqrt{\log n})$ . This result improves exponentially on a recent lower bound demonstrated by Meka, Nguyen, and Vu (arXiv 2015).

preprint2018arXiv

Robust Multiplication-based Tests for Reed-Muller Codes

We consider the following multiplication-based tests to check if a given function $f: \mathbb{F}_q^n\to \mathbb{F}_q$ is a codeword of the Reed-Muller code of dimension $n$ and order $d$ over the finite field $\mathbb{F}_q$ for prime $q$ (i.e., $f$ is the evaluation of a degree- $d$ polynomial over $\mathbb{F}_q$ for $q$ prime). * $\mathrm{Test}_{e,k}$ : Pick $P_1,\ldots,P_k$ independent random degree- $e$ polynomials and accept iff the function $fP_1\cdots P_k$ is the evaluation of a degree- $(d+ek)$ polynomial (i.e., is a codeword of the Reed-Muller code of dimension $n$ and order $(d+ek)$ ). We prove the robust soundness of the above tests for large values of $e$ , answering a question of Dinur and Guruswami [Israel Journal of Mathematics, 209:611-649, 2015]. Previous soundness analyses of these tests were known only for the case when either $e=1$ or $k=1$ . Even for the case $k=1$ and $e>1$ , earlier soundness analyses were not robust. We also analyze a derandomized version of this test, where (for example) the polynomials $P_1,\dots,P_k$ can be the same random polynomial $P$ . This generalizes a result of Guruswami et al. [SIAM J. Comput., 46(1):132-159, 2017]. One of the key ingredients that go into the proof of this robust soundness is an extension of the standard Schwartz-Zippel lemma over general finite fields $\mathbb{F}_q$ , which may be of independent interest.

preprint2017arXiv

On polynomial approximations over $\mathbb{Z}/2^k\mathbb{Z}$

We study approximation of Boolean functions by low-degree polynomials over the ring $\mathbb{Z}/2^k\mathbb{Z}$ . More precisely, given a Boolean function $F:\{0,1\}^n \rightarrow \{0,1\}$ , define its $k$ -lift to be $F_k:\{0,1\}^n \rightarrow \{0,2^{k-1}\}$ by $F_k(x) = 2^{k-F(x)} \pmod {2^k}$ . We consider the fractional agreement (which we refer to as $γ_{d,k}(F)$ ) of $F_k$ with degree $d$ polynomials from $\mathbb{Z}/2^k\mathbb{Z}[x_1,\ldots,x_n]$ . Our results are the following: - Increasing $k$ can help: We observe that as $k$ increases, $γ_{d,k}(F)$ cannot decrease. We give two kinds of examples where $γ_{d,k}(F)$ actually increases. The first is an infinite family of functions $F$ such that $γ_{2d,2}(F) - γ_{3d-1,1}(F) \geq Ω(1)$ . The second is an infinite family of functions $F$ such that $γ_{d,1}(F)\leq\frac{1}{2}+o(1)$ -- as small as possible -- but $γ_{d,3}(F) \geq \frac{1}{2}+Ω(1)$ . - Increasing $k$ doesn't always help: Adapting a proof of Green [Comput. Complexity, 9(1):16-38, 2000], we show that irrespective of the value of $k$ , the Majority function $\mathrm{Maj}_n$ satisfies $γ_{d,k}(\mathrm{Maj}_n) \leq \frac{1}{2}+\frac{O(d)}{\sqrt{n}}$ . In other words, polynomials over $\mathbb{Z}/2^k\mathbb{Z}$ for large $k$ do not approximate the majority function any better than polynomials over $\mathbb{Z}/2\mathbb{Z}$ . We observe that the model we study subsumes the model of non-classical polynomials in the sense that proving bounds in our model implies bounds on the agreement of non-classical polynomials with Boolean functions. In particular, our results answer questions raised by Bhowmick and Lovett [In Proc. 30th Computational Complexity Conf., pages 72-87, 2015] that ask whether non-classical polynomials approximate Boolean functions better than classical polynomials of the same degree.

preprint2015arXiv

Derandomized Graph Product Results using the Low Degree Long Code

In this paper, we address the question of whether the recent derandomization results obtained by the use of the low-degree long code can be extended to other product settings. We consider two settings: (1) the graph product results of Alon, Dinur, Friedgut and Sudakov [GAFA, 2004] and (2) the "majority is stablest" type of result obtained by Dinur, Mossel and Regev [SICOMP, 2009] and Dinur and Shinkar [In Proc. APPROX, 2010] while studying the hardness of approximate graph coloring. In our first result, we show that there exists a considerably smaller subgraph of $K_3^{\otimes R}$ which exhibits the following property (shown for $K_3^{\otimes R}$ by Alon et al.): independent sets close in size to the maximum independent set are well approximated by dictators. The "majority is stablest" type of result of Dinur et al. and Dinur and Shinkar shows that if there exist two sets of vertices $A$ and $B$ in $K_3^{\otimes R}$ with very few edges with one endpoint in $A$ and another in $B$ , then it must be the case that the two sets $A$ and $B$ share a single influential coordinate. In our second result, we show that a similar "majority is stablest" statement holds good for a considerably smaller subgraph of $K_3^{\otimes R}$ . Furthermore using this result, we give a more efficient reduction from Unique Games to the graph coloring problem, leading to improved hardness of approximation results for coloring.

preprint2014arXiv

High fidelity single-shot readout of a transmon qubit using a SLUG μwave amplifier

We report high-fidelity, quantum nondemolition, single-shot readout of a superconducting transmon qubit using a DC-biased superconducting low-inductance undulatory galvanometer(SLUG) amplifier. The SLUG improves the system signal-to-noise ratio by 7 dB in a 20 MHz window compared with a bare HEMT amplifier. An optimal cavity drive pulse is chosen using a genetic search algorithm, leading to a maximum combined readout and preparation fidelity of 91.9% with a measurement time of Tmeas = 200ns. Using post-selection to remove preparation errors caused by heating, we realize a combined preparation and readout fidelity of 94.3%.

preprint2013arXiv

Composition limits and separating examples for some Boolean function complexity measures

Block sensitivity ( $bs(f)$ ), certificate complexity ( $C(f)$ ) and fractional certificate complexity ( $C^*(f)$ ) are three fundamental combinatorial measures of complexity of a boolean function $f$ . It has long been known that $bs(f) \leq C^{\ast}(f) \leq C(f) =O(bs(f)^2)$ . We provide an infinite family of examples for which $C(f)$ grows quadratically in $C^{\ast}(f)$ (and also $bs(f)$ ) giving optimal separations between these measures. Previously the biggest separation known was $C(f)=C^{\ast}(f)^{\log_{4.5}5}$ . We also give a family of examples for which $C^{\ast}(f)=Ω(bs(f)^{3/2})$ . These examples are obtained by composing boolean functions in various ways. Here the composition $f \circ g$ of $f$ with $g$ is obtained by substituting for each variable of $f$ a copy of $g$ on disjoint sets of variables. To construct and analyse these examples we systematically investigate the behaviour under function composition of these measures and also the sensitivity measure $s(f)$ . The measures $s(f)$ , $C(f)$ and $C^{\ast}(f)$ behave nicely under composition: they are submultiplicative (where measure $m$ is submultiplicative if $m(f \circ g) \leq m(f)m(g)$ ) with equality holding under some fairly general conditions. The measure $bs(f)$ is qualitatively different: it is not submultiplicative. This qualitative difference was not noticed in the previous literature and we correct some errors that appeared in previous papers. We define the composition limit of a measure $m$ at function $f$ , $m^{\lim}(f)$ to be the limit as $k$ grows of $m(f^{(k)})^{1/k}$ , where $f^{(k)}$ is the iterated composition of $f$ with itself $k$ -times. For any function $f$ we show that $bs^{\lim}(f) = (C^*)^{\lim}(f)$ and characterize $s^{\lim}(f), (C^*)^{\lim}(f)$ , and $C^{\lim}(f)$ in terms of the largest eigenvalue of a certain set of $2\times 2$ matrices associated with $f$ .

preprint2012arXiv

A Tail Bound for Read-k Families of Functions

We prove a Chernoff-like large deviation bound on the sum of non-independent random variables that have the following dependence structure. The variables $Y_1,...,Y_r$ are arbitrary Boolean functions of independent random variables $X_1,...,X_m$ , modulo a restriction that every $X_i$ influences at most $k$ of the variables $Y_1,...,Y_r$ .

preprint2012arXiv

Optimal Hitting Sets for Combinatorial Shapes

We consider the problem of constructing explicit Hitting sets for Combinatorial Shapes, a class of statistical tests first studied by Gopalan, Meka, Reingold, and Zuckerman (STOC 2011). These generalize many well-studied classes of tests, including symmetric functions and combinatorial rectangles. Generalizing results of Linial, Luby, Saks, and Zuckerman (Combinatorica 1997) and Rabani and Shpilka (SICOMP 2010), we construct hitting sets for Combinatorial Shapes of size polynomial in the alphabet, dimension, and the inverse of the error parameter. This is optimal up to polynomial factors. The best previous hitting sets came from the Pseudorandom Generator construction of Gopalan et al., and in particular had size that was quasipolynomial in the inverse of the error parameter. Our construction builds on natural variants of the constructions of Linial et al. and Rabani and Shpilka. In the process, we construct fractional perfect hash families and hitting sets for combinatorial rectangles with stronger guarantees. These might be of independent interest.

preprint2012arXiv

Streaming algorithms for recognizing nearly well-parenthesized expressions

We study the streaming complexity of the membership problem of 1-turn-Dyck2 and Dyck2 when there are a few errors in the input string. 1-turn-Dyck2 with errors: We prove that there exists a randomized one-pass algorithm that given x checks whether there exists a string x' in 1-turn-Dyck2 such that x is obtained by flipping at most $k$ locations of x' using: - O(k log n) space, O(k log n) randomness, and poly(k log n) time per item and with error at most 1/poly(n). - O(k^{1+epsilon} + log n) space for every 0 <= epsilon <= 1, O(log n) randomness, O(polylog(n) + poly(k)) time per item, with error at most 1/8. Here, we also prove that any randomized one-pass algorithm that makes error at most k/n requires at least Omega(k log(n/k)) space to accept strings which are exactly k-away from strings in 1-turn-Dyck2 and to reject strings which are exactly (k+2)-away from strings in 1-turn-Dyck2. Since 1-turn-Dyck2 and the Hamming Distance problem are closely related we also obtain new upper and lower bounds for this problem. Dyck2 with errors: We prove that there exists a randomized one-pass algorithm that given x checks whether there exists a string x' in Dyck2 such that x is obtained from x' by changing (in some restricted manner) at most k positions using: - O(k log n + sqrt(n log n)) space, O(k log n) randomness, poly(k log n) time per element and with error at most 1/poly(n). - O(k^(1+epsilon)+ sqrt(n log n)) space for every 0 <= epsilon <= 1, O(log n) randomness, O(polylog(n) + poly(k)) time per element, with error at most 1/8.

preprint2010arXiv

The Remote Point Problem, Small Bias Space, and Expanding Generator Sets

Using $ε$ -bias spaces over $F_2$ , we show that the Remote Point Problem (RPP), introduced by Alon et al [APY09], has an $NC^2$ algorithm (achieving the same parameters as [APY09]). We study a generalization of the Remote Point Problem to groups: we replace $F^n$ by $G^n$ for an arbitrary fixed group $G$ . When $G$ is Abelian, we give an $NC^2$ algorithm for RPP, again using $ε$ -bias spaces. For nonabelian $G$ , we give a deterministic polynomial-time algorithm for RPP. We also show the connection to construction of expanding generator sets for the group $G^n$ . All our algorithms for the RPP achieve essentially the same parameters as [APY09].

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Srikanth Srinivasan

Research overview

Is this your work?

15 publications

Separation Results for Constant-Depth and Multilinear Ideal Proof Systems

Calibrated decoders for experimental quantum error correction

Charge State Dynamics and Optically Detected Electron Spin Resonance Contrast of Shallow Nitrogen-Vacancy Centers in Diamond

Strongly Exponential Separation Between Monotone VP and Monotone VNP

Verifying Multipartite Entangled GHZ States via Multiple Quantum Coherences

On Polynomial Approximations to ${AC}^0$

Robust Multiplication-based Tests for Reed-Muller Codes

On polynomial approximations over $\mathbb{Z}/2^k\mathbb{Z}$

Derandomized Graph Product Results using the Low Degree Long Code

High fidelity single-shot readout of a transmon qubit using a SLUG μwave amplifier

Composition limits and separating examples for some Boolean function complexity measures

A Tail Bound for Read-k Families of Functions

Optimal Hitting Sets for Combinatorial Shapes

Streaming algorithms for recognizing nearly well-parenthesized expressions

The Remote Point Problem, Small Bias Space, and Expanding Generator Sets

See the researcher in context

Building this map preview

Srikanth Srinivasan

Research overview

Is this your work?

15 publications

Separation Results for Constant-Depth and Multilinear Ideal Proof Systems

Calibrated decoders for experimental quantum error correction

Charge State Dynamics and Optically Detected Electron Spin Resonance Contrast of Shallow Nitrogen-Vacancy Centers in Diamond

Strongly Exponential Separation Between Monotone VP and Monotone VNP

Verifying Multipartite Entangled GHZ States via Multiple Quantum Coherences

On Polynomial Approximations to AC0{AC}^0AC0

Robust Multiplication-based Tests for Reed-Muller Codes

On polynomial approximations over Z/2kZ\mathbb{Z}/2^k\mathbb{Z}Z/2kZ

Derandomized Graph Product Results using the Low Degree Long Code

High fidelity single-shot readout of a transmon qubit using a SLUG μwave amplifier

Composition limits and separating examples for some Boolean function complexity measures

A Tail Bound for Read-k Families of Functions

Optimal Hitting Sets for Combinatorial Shapes

Streaming algorithms for recognizing nearly well-parenthesized expressions

The Remote Point Problem, Small Bias Space, and Expanding Generator Sets

See the researcher in context

Building this map preview

On Polynomial Approximations to ${AC}^0$

On polynomial approximations over $\mathbb{Z}/2^k\mathbb{Z}$