JohnBostanci Profile Banner
John Bostanci Profile
John Bostanci

@JohnBostanci

Followers
271
Following
366
Media
17
Statuses
109

Finance bro turned CS theorist

Joined February 2020
Don't wanna be here? Send us removal request.
@NobelPrize
The Nobel Prize
1 month
BREAKING NEWS The 2025 #NobelPrize in Physiology or Medicine has been awarded to Mary E. Brunkow, Fred Ramsdell and Shimon Sakaguchi โ€œfor their discoveries concerning peripheral immune tolerance.โ€
468
12K
29K
@arantxazapico
Arantxa Zapico ๐Ÿง‰
5 months
๐Ÿšจ ASCrypto 2025 is here! ๐Ÿ—“๏ธ Sept 29โ€“30 | Medellรญn | Affiliated with Latincrypt ๐Ÿ‘จโ€๐Ÿซ Learn ๐ฆ๐จ๐๐ž๐ซ๐ง ๐ฉ๐ซ๐จ๐ฏ๐ข๐ง๐  ๐ฌ๐ฒ๐ฌ๐ญ๐ž๐ฆ๐ฌ from top experts ๐Ÿ’ฅ 2 days, 3 modules: IVC, STARKs, MPC ๐Ÿ‘ฅ With @benediktbuenz, Sophia Yakoubov, @aszepieniec ๐Ÿ‘‡
2
23
54
@BIRS_Math
BIRS
7 months
Last week at BIRS: Frontiers in Quantum Cryptography: New Functionalities, Primitives, and Foundations https://t.co/OKGc8TC9Yv
0
3
4
@nat_parham
Natalie Parham
7 months
I have a new paper out: "Quantum Circuit Lower Bounds in the Magic Hierarchy".๐Ÿ”ฎ๐Ÿชœ https://t.co/jhWR5WBq4g a thread:
3
15
96
@henryquantum
Henry Yuen
8 months
@preskill A beautiful result! It should be clarified, though, that the construction came from our paper ( https://t.co/lWnH4GWfSS) -- Robert and Fermi came up with a wonderful way to *analyze* it to show adaptive security. (We proved non-adaptive security).
Tweet card summary image
arxiv.org
Uniformly random unitaries, i.e. unitaries drawn from the Haar measure, have many useful properties, but cannot be implemented efficiently. This has motivated a long line of research into random...
0
4
51
@firebat03
Josh Alman
8 months
NY Theory Day is returning on Friday April 11 at Columbia! It's free to attend but you have to register on the website by April 4. We have a great speaker lineup: Rachel Cummings (Columbia) Bill Kuszmaul (CMU) Nick Spooner (Cornell) Ryan Williams (MIT) https://t.co/wIpmDnhwf3
1
5
32
@QIP2025
QIP 2025
9 months
Our sixth short plenary is a merged talk about stabilizer bootstrapping, and learning the closest product state! (papers: https://t.co/RXJ4JXRsvA, https://t.co/7VENYlPtml). Overview below. @sitanch @gong_weiyuan @AineshBakshi @JohnBostanci @ewintang @jerryzli @BooleanAnalysis
0
2
10
@JohnBostanci
John Bostanci
11 months
Super excited for ITCS next week! Looking forward to meeting people and attending great talks! ๐Ÿ˜ƒ
0
0
6
@somechinanigans
Chinmay Nirkhe
11 months
I'm proposing a moratorium on using the Aaronson-Kuperberg oracle in any future quantum query separations. It is just too powerful and not pushing our query complexity research in the right direction!
2
2
20
@JohnBostanci
John Bostanci
1 year
As Iโ€™ve said many times, the theory group at Columbia is awesome! ๐Ÿ˜ Also the student seminar happens (mostly) every week ๐Ÿ˜ƒ
@ColumbiaCompSci
ColumbiaCompSci
1 year
Profs from the Theory group are looking for #PhD students! Find out more about our faculty and their research - https://t.co/SBWFanbTU6 For info on our #computerscience PhD program - https://t.co/Mfln4FEtnR. The deadline is December 15.
0
0
11
@ColumbiaCompSci
ColumbiaCompSci
1 year
If you're interested in cryptography and quantum information, James Bartusek is looking for students! Find out more about him here - https://t.co/V62NYVo53z. For info on our #PhD program - https://t.co/Mfln4FEtnR. The deadline is December 15.
0
7
30
@henryquantum
Henry Yuen
1 year
Natalie Parham (@nat_parham), a PhD student who I am proud to call myself an advisor to, is one of the recipients of the Google PhD Fellowships in Quantum Computing. Congrats Natalie! Here's a nice Q&A with her: https://t.co/De4Usg1ClV. Be on the lookout for what she does next.
0
7
113
@danielgrier_
Daniel Grier
1 year
Hello, #quantum! I'm recruiting new PhD students this year to work with me in quantum complexity theory. I encourage you to apply. Come be part of the strong theory group here @ucsd_cse! Application deadline is Dec 18th -- details:
4
27
101
@JohnBostanci
John Bostanci
1 year
Iโ€™ve had an amazing time working with everyone on this project! Check out the full paper here ๐Ÿ“„
0
0
7
@JohnBostanci
John Bostanci
1 year
We also apply our approach to a few different settings to get super fast algorithms, including an almost quadratic time algorithm if the input is promised to be close to product!
1
0
1
@JohnBostanci
John Bostanci
1 year
It turns out the problem of extending our set of candidates by a qubit is an interesting algorithmic problem itself, we solve it by reducing to constrained polynomial optimization!
1
0
1
@JohnBostanci
John Bostanci
1 year
We propose an approach that threads the needle, building up global structure using *local* updates. At every step, we maintain a set of candidate product states that are both good approximations to the prefix of the input state, and also far from each other.
1
0
1
@JohnBostanci
John Bostanci
1 year
The example highlights one barrier to learning even simple classes like product states: a successful algorithm needs to end up learning something about the global structure of the input state, while navigating the exponentiality of the concept class.
1
0
1
@JohnBostanci
John Bostanci
1 year
The real closest product state is โ‰ˆ0^n, but this canโ€™t be seen from the marginals.ย  For example, the top eigenstate of one marginal is slightly rotated away from 0, leading to an *exponentially worse* fidelity across the entire state.
1
0
3
@JohnBostanci
John Bostanci
1 year
Letโ€™s first see why this problem isnโ€™t as easy as one might first expect. Imagine you got the following state as input (remember the input doesnโ€™t need to be product), and tried to learn the closest product state only using the 1-qubit marginals:
1
0
4