138 citations · 283 across the 18 of their papers we have counts for
19 papers
Quantum Cryptography and Autoformalization in Lean
Maor Ben Shahar, Jonathan Morag, Dirk Englund +1
Quantum key distribution provides secure communication by relying on physics principles and mathematical reasoning. Security proofs across the field can contain gaps, often between…
A Machine-Verified Proof of a Quantum-Optimization Conjecture
Uri Kol, Maor Ben-Shahar, Kfir Sulimany +1
We report a machine-verified resolution of a problem open for over a decade in quantum optimization: the Farhi, Goldstone and Gutmann (FGG) conjecture that depth- Quantum Approx…
Reduced State Embedding for Error Correction in Quantum Cryptography
Amit Kam, Kfir Sulimany, Shai Tsesses +1
Encoding in a high-dimensional Hilbert space improves noise resilience in quantum information processing. This approach, however, may result in cross-mode coupling and detection co…
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Benjamin Breen, Marco Del Tredici, Jacob McCarran +6
We present Ax-Prover, a multi-agent system for automated theorem proving in Lean that can solve problems across diverse scientific domains and operate either autonomously or collab…
Machine Intelligence on Wireless Edge Networks
Sri Krishna Vadlamani, Kfir Sulimany, Zhihui Gao +2
Machine intelligence on edge devices enables low-latency processing and improved privacy, but is often limited by the energy and delay of moving and converting data. Current system…
Disaggregated Deep Learning via In-Physics Computing at Radio Frequency
Zhihui Gao, Sri Krishna Vadlamani, Kfir Sulimany +2
Modern edge devices, such as cameras, drones, and Internet-of-Things nodes, rely on deep learning to enable a wide range of intelligent applications, including object recognition,…
QAMNet: Fast and Efficient Optical QAM Neural Networks
Marc Gong Bacvanski, Sri Krishna Vadlamani, Kfir Sulimany +1
The energy consumption of neural network inference has become a topic of paramount importance with the growing success and adoption of deep neural networks. Analog optical neural n…
Quantum-secure multiparty deep learning
Kfir Sulimany, Sri Krishna Vadlamani, Ryan Hamerly +2
Secure multiparty computation enables the joint evaluation of multivariate functions across distributed users while ensuring the privacy of their local inputs. This field has becom…
Decoy state and purification protocols for superior quantum key distribution with imperfect quantum-dot based single photon sources: Theory and Experiment
Yuval Bloom, Yoad Ordan, Tamar Levin +4
The original proposal of quantum key distribution (QKD) was based on ideal single photon sources, which 40 years later, are still challenging to develop. Therefore, the development…
High-dimensional quantum key distribution using orbital angular momentum of single photons from a colloidal quantum dot at room temperature
Dotan Halevi, Boaz Lubotzky, Kfir Sulimany +4
High-dimensional quantum key distribution (HDQKD) is a promising avenue to address the inherent limitations of basic QKD protocols. However, experimental realizations of HDQKD to d…
High-dimensional quantum key distribution using a multi-plane light converter
Ohad Lib, Kfir Sulimany, Mateus Araújo +2
High-dimensional quantum key distribution (QKD) offers higher information capacity and stronger resilience to noise compared to its binary counterpart. However, these advantages ar…
Bandwidth-induced saturation in multimode fiber-based absorbers
Kfir Sulimany, Dotan Halevi, Omri Gat +1
Multimode fiber-based saturable absorbers enable mode-locking in lasers, generating ultrafast pulses and providing an exceptional platform for investigating nonlinear phenomena. Pr…
Tutorial: How to build and control an all-fiber wavefront modulator using mechanical perturbations
Ronen Shekel, Kfir Sulimany, Shachar Resisi +4
Multimode optical fibers support the dense, low-loss transmission of many spatial modes, making them attractive for technologies such as communications and imaging. However, inform…
Spectral Shaping in a Multimode Fiber by All-fiber Modulation
Zohar Finkelstein, Kfir Sulimany, Shachar Resisi +1
In the past few years, there is a renewed interest in using multimode fibers for a wide range of technologies such as communication, imaging and spectroscopy. Practical implementat…
Soliton-pair dynamical transition in mode-locked lasers
Kfir Sulimany, Offek Tziperman, Yaron Bromberg +1
Multi-soliton mode-locked laser waveforms are much sought as a complex light source for research and applications, but are difficult to manipulate effectively because of the elabor…
Processing entangled photons in high dimensions with a programmable light converter
Ohad Lib, Kfir Sulimany, Yaron Bromberg
High-dimensional entanglement offers a variety of advantages for both fundamental and applied applications in quantum information science. A central building block for such applica…
High-dimensional coherent one-way quantum key distribution
Kfir Sulimany, Guy Pelc, Rom Dudkiewicz +4
High-dimensional quantum key distribution (QKD) offers secure communication, with secure key rates that surpass those achievable by QKD protocols utilizing two-dimensional encoding…
All-Fiber Source and Sorter for Multimode Correlated Photons
Kfir Sulimany, Yaron Bromberg
Photons occupying multiple spatial modes hold a great promise for implementing high-dimensional quantum communication. We use spontaneous four-wave mixing to generate multimode pho…
Bidirectional Soliton Rain Dynamics Induced by Casimir-Like Interactions in a Graphene Mode-Locked Fiber Laser
Kfir Sulimany, Ohad Lib, Gilad Masri +5
We study experimentally and theoretically the interactions among ultrashort optical pulses in the soliton rain multiple-pulse dynamics of a fiber laser. The laser is mode-locked by…