JuliaCon Local Paris 2025

Ket.jl: Toolbox for quantum information, nonlocality, and entanglement
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, and permute_systems within optimization workflows.
  • Implement the DPS hierarchy constraints directly for semidefinite programming tasks.

I'm an INRIA researcher based in Lyon (France).
I'd like to meet people from the OSCAR project.

My research interests lie mostly at the interface between:
- quantum information: Bell nonlocality, incompatibility of quantum measurements...
- convex optimisation: semidefinite programming, Frank-Wolfe algorithms...