2025-10-02 –, Coffee room
Language: English
Ket.jl is an open-source Julia package tailored for quantum information science, focusing on nonlocality and entanglement. It offers a suite of tools for constructing and processing quantum states, measurements, and channels, all designed to work seamlessly with JuMP. By supporting arbitrary-precision arithmetic, Ket.jl enables researchers to perform high-precision computations essential for exploring quantum phenomena and solving complex optimization problems. Ket.jl's design facilitates integration into optimization workflows, making it a valuable tool for both theoretical investigations and practical applications in quantum information science.
Key Features
Quantum State and Measurement Construction
- Generate mutually unbiased bases (MUBs) and symmetric informationally complete POVMs (SIC-POVMs) with arbitrary precision.
- Create well-known quantum states, including Bell states, GHZ states, W states, Dicke states, and the super-singlet.
- Produce uniformly distributed random states, unitaries, and POVMs for simulation and testing purposes.
Entanglement and Nonlocality Analysis
- Compute entanglement measures such as entanglement entropy, entanglement robustness, and Schmidt number.
- Evaluate local and Tsirelson bounds of Bell inequalities using parallelized algorithms.
- Transform between different representations of Bell inequalities, including Collins-Gisin, probability, and correlation forms.
Optimization Integration
- Leverage JuMP for defining and solving optimization problems involving quantum systems.
- Utilize functions like
partial_trace,partial_transpose, andpermute_systemswithin optimization workflows. - Implement the DPS hierarchy constraints directly for semidefinite programming tasks.
