collaborators

6 papers

cs.CC2026

On the Approximate Non-Deterministic Degree of Total Boolean Functions

Samruddhi Pednekar, Supartha Podder

The approximate non-deterministic degree of a Boolean function , denoted (written for brevity), is the minimum degree of a real polynomi…

quant-ph2026

En Route to a Standard QMA1 vs. QCMA Oracle Separation

David Miloschewsky, Supartha Podder, Dorian Rudolph

We study the power of quantum witnesses under perfect completeness. We construct a classical oracle relative to which a language lies in but not in

quant-ph2026

A Framework for Ruling Out Quantum Speedups

Thomas Huffstutler, Upendra Kapshikar, David Miloschewsky +1

We study when partial Boolean functions can (and cannot) exhibit superpolynomial quantum query speedups, and develop a general framework for ruling out such speedups via two comple…

cs.CC2026

Modifications of Quantum Computation and Adaptive Queries to PP

David Miloschewsky, Supartha Podder

In 2004, Aaronson introduced the complexity class ( with postselection) and showed that it is equal to . Following their line of work,…

quant-ph2025

New Lower-bounds for Quantum Computation with Non-Collapsing Measurements

David Miloschewsky, Supartha Podder

Aaronson, Bouland, Fitzsimons and Lee introduced the complexity class PDQP (which was original labeled naCQP), an alteration of BQP enhanced with the ability to obtain non-collapsi…

quant-ph2025

Are uncloneable proof and advice states strictly necessary?

Rohit Chatterjee, Srijita Kundu, Supartha Podder

Yes, we show that they are. We initiate the study of languages that necessarily need uncloneable quantum proofs and advice. We define strictly uncloneable versions of the classes Q…