activity
20192024
most citedMathematical conjecture generation using machine intelligence

2 citations · 4 across the 5 of their papers we have counts for

collaborators

5 papers

quant-ph2024

Measuring Butterfly Velocity in the XY Model on Emerging Quantum Computers

Calum McCartney, Eric Chen, Subhayan Roy Moulik

The butterfly velocity is commonly used to understand information transport properties in quantum dynamical systems and is related to growth of operators. Here we utilise a quantum…

quant-ph2024

DQC1-hardness of estimating correlation functions

Subhayan Roy Moulik, Sergii Strelchuk

Out-of-Time-Order Correlation function measures transport properties of dynamical systems. They are ubiquitously used to measure quantum mechanical quantities, such as scrambling t…

cs.LG2023★ 2 cited

Mathematical conjecture generation using machine intelligence

Challenger Mishra, Subhayan Roy Moulik, Rahul Sarkar

Conjectures have historically played an important role in the development of pure mathematics. We propose a systematic approach to finding abstract patterns in mathematical data, i…

quant-ph2021★ 2 cited

Quantum Proofs of Proximity

Marcel Dall'Agnol, Tom Gur, Subhayan Roy Moulik +1

We initiate the systematic study of QMA algorithms in the setting of property testing, to which we refer as QMA proofs of proximity (QMAPs). These are quantum query algorithms that…

quant-ph2019

Purification and time-reversal deny entanglement in LOCC-distinguishable orthonormal bases

Stefano Gogioso, Subhayan Roy Moulik

We give a simple proof, based on time-reversibility and purity, that a complete orthonormal family of pure states which can be perfectly distinguished by LOCC cannot contain any en…