Finding Photonics Circuits via delta-Weakening SMT
The work
| Authors | Marco Lewis; Benoît Valiron |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2026 |
| Citekey | lewis2026finding |
Where it appeared
| Published in | Verification, Model Checking, and Abstract Interpretation (VMCAI) |
|---|---|
| Publisher | Springer Nature Switzerland |
| Series | Lecture Notes in Computer Science |
| Pages | 125--146 |
Identifiers
| DOI | 10.1007/978-3-032-15700-3_7 |
|---|---|
| handle | hal-05678441 |
| ISSN | 0302-9743 |
| ISBN | 978-3-032-15699-0 |
Access
| Landing page | https://doi.org/10.1007/978-3-032-15700-3_7 |
|---|---|
| Free full text | https://hal.science/hal-05678441/document |
Related
| Distinct from | bradley2011satbased |
|---|---|
| Distinct from | martin1986compiling |
| Distinct from | najvirt2015experimental |
| Distinct from | oulkaid2024transistor |
| Distinct from | oulkaid2025modeles |
From crossref.
Abstract
For quantum computers based on photonics, one main problem is the synthesis of a photonic circuit that emulates quantum computing gates. The problem requires using photonic components to build a circuit that act like a quantum computing gate with some probability of success. This involves not only finding a circuit that can correctly act like a quantum gate, but also optimizing the probability of success. Whilst many approaches have been given in the past and applied to specific gates, they often lack ease of reusability. We present a tool that uses dReal, a delta-weakening SMT solver, to find such photonic circuits, optimize the likelihood of occurring, and provide some guarantee that the result is optimal. We demonstrate the usage of our tool by recreating known results in the literature, extending upon them, and presenting new results for Givens rotation gates.
A copy is held
pdf, 893.1 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-09-16 16:05 UTC |
| Approved by | a person 2026-09-16 20:49 UTC |
Cite it as
@inproceedings{lewis2026finding,
title = {Finding Photonics Circuits via delta-Weakening SMT},
author = {Marco Lewis and Benoît Valiron},
year = {2026},
booktitle = {Verification, Model Checking, and Abstract Interpretation (VMCAI)},
publisher = {Springer Nature Switzerland},
series = {Lecture Notes in Computer Science},
pages = {125--146},
isbn = {978-3-032-15699-0},
issn = {0302-9743},
doi = {10.1007/978-3-032-15700-3_7},
}
This record lives at https://refs.drheap.org/lewis2026finding/ and will keep doing so.