Srikanth Srinivasan

Orcid: 0000-0001-6491-124X

Affiliations:
  • Aarhus University, Denmark
  • IIT Bombay, Department of Mathematics, India


According to our database1, Srikanth Srinivasan authored at least 76 papers between 2009 and 2024.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Superpolynomial Lower Bounds Against Low-Depth Algebraic Circuits.
Commun. ACM, February, 2024

Local Correction of Linear Functions over the Boolean Cube.
Electron. Colloquium Comput. Complex., 2024

2023
Schur Polynomials Do Not Have Small Formulas If the Determinant does not.
Comput. Complex., June, 2023

Towards Optimal Depth-Reductions for Algebraic Formulas.
Electron. Colloquium Comput. Complex., 2023

On the Power of Homogeneous Algebraic Formulas.
Electron. Colloquium Comput. Complex., 2023

The discrepancy of greater-than.
CoRR, 2023

Optimal Explicit Small-Depth Formulas for the Coin Problem.
Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023

Low-Degree Testing over Grids.
Proceedings of the Approximation, 2023

2022
Guest Column: Lower Bounds Against Constant-Depth Algebraic Circuits.
SIGACT News, 2022

On the Partial Derivative Method Applied to Lopsided Set-Multilinear Polynomials.
Electron. Colloquium Comput. Complex., 2022

On the VNP-hardness of Some Monomial Symmetric Polynomials.
Electron. Colloquium Comput. Complex., 2022

Vanishing Spaces of Random Sets and Applications to Reed-Muller Codes.
Electron. Colloquium Comput. Complex., 2022

Set-multilinear and non-commutative formula lower bounds for iterated matrix multiplication.
Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022

2021
A Fixed-Depth Size-Hierarchy Theorem for $\mathrm{AC}^0[\oplus]$ via the Coin Problem.
SIAM J. Comput., 2021

On the Probabilistic Degree of an $n$-variate Boolean Function.
Electron. Colloquium Comput. Complex., 2021

New Non-FPT Lower Bounds for Some Arithmetic Formulas.
Electron. Colloquium Comput. Complex., 2021

2020
Decoding Variants of Reed-Muller Codes over Finite Grids.
ACM Trans. Comput. Theory, 2020

Local decoding and testing of polynomials over grids.
Random Struct. Algorithms, 2020

A Robust Version of Hegedűs's Lemma, with Applications.
Electron. Colloquium Comput. Complex., 2020

2019
Special Issue: CCC 2018: Guest Editor's Foreword.
Theory Comput., 2019

Small-Depth Multilinear Formula Lower Bounds for Iterated Matrix Multiplication with Applications.
SIAM J. Comput., 2019

On polynomial approximations to AC.
Random Struct. Algorithms, 2019

On the Probabilistic Degrees of Symmetric Boolean functions.
Electron. Colloquium Comput. Complex., 2019

Decoding Downset codes over a finite grid.
Electron. Colloquium Comput. Complex., 2019

Strongly Exponential Separation Between Monotone VP and Monotone VNP.
Electron. Colloquium Comput. Complex., 2019

Parity helps to compute Majority.
Electron. Colloquium Comput. Complex., 2019

More on $AC^0[\oplus]$ and Variants of the Majority Function.
Electron. Colloquium Comput. Complex., 2019

Schur Polynomials do not have small formulas if the Determinant doesn't!
Electron. Colloquium Comput. Complex., 2019

Lower Bounds and PIT for Non-commutative Arithmetic Circuits with Restricted Parse Trees.
Comput. Complex., 2019

A fixed-depth size-hierarchy theorem for AC<sup>0</sup>[⊕] via the coin problem.
Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, 2019

2018
Certifying Polynomials for $\mathrm{AC}^0[\oplus]$ Circuits, with Applications to Lower Bounds and Circuit Compression.
Theory Comput., 2018

The Coin Problem in Constant Depth: Sample Complexity and Parity gates.
Electron. Colloquium Comput. Complex., 2018

A Near-Optimal Depth-Hierarchy Theorem for Small-Depth Multilinear Circuits.
Electron. Colloquium Comput. Complex., 2018

On the Probabilistic Degree of OR over the Reals.
Electron. Colloquium Comput. Complex., 2018

A #SAT Algorithm for Small Constant-Depth Circuits with PTF gates.
Electron. Colloquium Comput. Complex., 2018

On the hardness of the noncommutative determinant.
Comput. Complex., 2018

Deterministically Counting Satisfying Assignments for Constant-Depth Circuits with Parity Gates, with Implications for Lower Bounds.
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

A Quadratic Size-Hierarchy Theorem for Small-Depth Multilinear Formulas.
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

2017
An Exponential Lower Bound for Homogeneous Depth Four Arithmetic Formulas.
SIAM J. Comput., 2017

Super-Polylogarithmic Hypergraph Coloring Hardness via Low-Degree Long Codes.
SIAM J. Comput., 2017

Local decoding and testing of polynomials over grids.
Electron. Colloquium Comput. Complex., 2017

Separation of AC<sup>0</sup>[⊕] Formulas and Circuits.
Electron. Colloquium Comput. Complex., 2017

On polynomial approximations over ℤ/2<sup>k</sup>ℤ.
Electron. Colloquium Comput. Complex., 2017

On Some Recent Projection Switching Lemmas for Small Depth Circuits.
Bull. EATCS, 2017

On Polynomial Approximations Over Z/2^kZ*.
Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science, 2017

Separation of AC^0[oplus] Formulas and Circuits.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016
On Polynomial Approximations to AC<sup>0</sup>.
Electron. Colloquium Comput. Complex., 2016

Robust Multiplication-based Tests for Reed-Muller Codes.
Electron. Colloquium Comput. Complex., 2016

An Almost Cubic Lower Bound for ΣΠΣ Circuits Computing a Polynomial in VP.
Electron. Colloquium Comput. Complex., 2016

Composition limits and separating examples for some boolean function complexity measures.
Comb., 2016

On Polynomial Approximations to AC^0.
Proceedings of the Approximation, 2016

2015
Lower Bounds for Depth-4 Formulas Computing Iterated Matrix Multiplication.
SIAM J. Comput., 2015

A tail bound for read-<i>k</i> families of functions.
Random Struct. Algorithms, 2015

A Compression Algorithm for AC<sup>0</sup>[⊕] circuits using Certifying Polynomials.
Electron. Colloquium Comput. Complex., 2015

Lower bounds for non-commutative skew circuits.
Electron. Colloquium Comput. Complex., 2015

The shifted partial derivative complexity of Elementary Symmetric Polynomials.
Electron. Colloquium Comput. Complex., 2015

Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits.
Electron. Colloquium Comput. Complex., 2015

Derandomized Graph Product Results Using the Low Degree Long Code.
Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015

2014
Super-polynomial lower bounds for depth-4 homogeneous arithmetic formulas.
Proceedings of the Symposium on Theory of Computing, 2014

2013
On Improved Degree Lower Bounds for Polynomial Approximation.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

2012
Certifying Polynomials for AC<sup>0</sup>[⊕] circuits, with applications.
Electron. Colloquium Comput. Complex., 2012

A Tail Bound for Read-k Families of Functions.
Electron. Colloquium Comput. Complex., 2012

Optimal Hitting Sets for Combinatorial Shapes.
Electron. Colloquium Comput. Complex., 2012

Certifying polynomials for AC^0(parity) circuits, with applications.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

Pseudorandom Generators for Read-Once ACC^0.
Proceedings of the 27th Conference on Computational Complexity, 2012

Approximating AC^0 by Small Height Decision Trees and a Deterministic Algorithm for #AC^0SAT.
Proceedings of the 27th Conference on Computational Complexity, 2012

2011
On the Limits of Sparsification.
Electron. Colloquium Comput. Complex., 2011

Almost settling the hardness of noncommutative determinant.
Proceedings of the 43rd ACM Symposium on Theory of Computing, 2011

Streaming Algorithms for Recognizing Nearly Well-Parenthesized Expressions.
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

Correlation Bounds for Poly-size $\mbox{\rm AC}^0$ Circuits with n 1 - o(1) Symmetric Gates.
Proceedings of the Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, 2011

2010
New Results on Noncommutative and Commutative Polynomial Identity Testing.
Comput. Complex., 2010

2009
Circuit Lower Bounds, Help Functions, and the Remote Point Problem.
Electron. Colloquium Comput. Complex., 2009

The Remote Point Problem, Small Bias Spaces, and Expanding Generator Sets.
Electron. Colloquium Comput. Complex., 2009

On Lower Bounds for Constant Width Arithmetic Circuits.
Electron. Colloquium Comput. Complex., 2009

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

Arithmetic Circuits and the Hadamard Product of Polynomials.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2009


  Loading...