Wednesday 7 October [10:30 – 13:00 | 14:00 – 16:00]

10:30 – 10:40: OPENING

Session: Quantum for AI – 1

10:40 – 11:00: Tensor Networks with Quantum Data Re-Uploading for Multi-Class Medical Image Classification. Vito Nicola Losavio, Angelo Impedovo, Donato Malerba and Corrado Loglisci

11:00 – 11:20: Quantum annealing for the Linear Ordering Problem: analysis of the penalty coefficient. Marco Baioletti, Fabrizio Fagiolo and Valentino Santucci

Session: AI for Quantum – 1

11:20 – 11:40: Evolving priority rules for the Quantum Circuit Compilation Problem. Lis Arufe Rivas, Riccardo Rasconi, Angelo Oddi, Ramiro Varela Árias and Miguel Ángel González Fernández

11:40 – 12:00: Steering the Fidelity in State Preparation on Noisy Bosonic Systems with Risk-Seeking Optimization. Riccardo Piantoni, Riccardo Pellini, Maurizio Ferrari Dacrema and Paolo Cremonesi

12:00 – 12:20: From Ontologies to Heterogeneous Quantum Backends: A QA-Prolog Pipeline toward HPC Workflows for AI. Davide Camino and Luca Roversi

12:20 – 12:40: Reducing the Cost of Qudit State Preparation by Learning a Sparse Structure for SNAP Gates. Marco Pennazio, Leonardo Ignazio Pagliochini, Riccardo Pellini, Maurizio Ferrari Dacrema and Paolo Cremonesi

12:40 – 13:00: AI-Assisted Discovery of CNOT Decompositions for Quantum Permutations on Constrained Topologies. Daniele Lizzio Bosco, Jacopo Cossio, Simone Faro, Francesco Pio Marino, Gabriele Messina, Carla Piazza and Giuseppe Serra

13:00 – 14:30     LUNCH

Session: Quantum for AI – 2

14:30 – 14:45: One PGM Classifier Across Two Domains: Radiomics and Mixed-State Correlations. Giuseppe Sergioli, Roberto Giuntini, Andres Camillo Granda Arango and Carlo Cuccu

14:45 – 15:00: Quantum Annealing for Gamma-Ray Source Detection and Localization with AGILE data. Alessandro Rizzo, Nicolo’ Parmiggiani, Andrea Bulgarelli, Gabriele Panebianco, Carlo Burigana, Vincenzo Cardone, Farida Farsian, Massimo Meneghetti, Giuseppe Murante, Giuseppe Sarracino, Roberto Scaramella, Francesco Schilliro’, Vincenzo Testa, Tiziana Trombetti and Fabio Roberto Vitello

15:00 – 15:15: Differentiable Stereographic Encoding and Tree-Topology Entanglement for Quantum Machine Learning on Sparse Hierarchical Data. Fabrizio Napolitano, Luca Della Penna, Tommaso Tedeschi and Livio Fanò

15:15 – 15:30: Managing Quantum Tensor Networks for Spam Detection with Quantum-classical MLOps: A Case Study. Angelo Impedovo, Vito Nicola Losavio, Donato Malerba and Corrado Loglisci

15:30 – 15:45: Energy-Based Semantics for Weighted Bipolar Argumentation: A QUBO Perspective. Francesco Santini

15:45 – 16:00: Photometric Redshift Estimation with Hybrid Quantum Neural Networks. Giuseppe Sarracino, Vincenzo Cardone, Irene Graziotti, Crescenzo Tortora, Roberto Scaramella, Andrea Bulgarelli, Carlo Burigana, Farida Farsian, Massimo Meneghetti, Giuseppe Murante, Nicolo’ Parmiggiani, Alessandro Rizzo, Francesco Schilliro’, Vincenzo Testa, Tiziana Trombetti and Fabio Roberto Vitello

16:00 – 16:30: WORKING GROUP on QUANTUM COMPUTING: NEXT STEPS

Thursday 8 October [10:30 – 12:30]

10:30 – 11:20: KEYNOTE: Quantum computation with neutral atom arrays. Francesco Cesa – IQOQI, Innsbruck

Session: AI for Quantum – 2

11:20 – 11:35: Pathfinder: hypothesis generation across the quantum software-hardware boundary. Vincent Danos, Elham Kashefi and William Waites

11:35 – 11:55: QAOA Circuit Compilation through Classical Planning: An Empirical Study. Francesco Percassi, Angelo Oddi, Riccardo Rasconi and Mauro Vallati

11:55 – 12:15: p-adic Variational Quantum Circuits Have No Barren Plateaus. Piero Giacomelli

12:15 – 12:30: CONCLUDING REMARKS

Invited Talk

Quantum computation with neutral atom arrays

Francesco Cesa – IQOQI, Innsbruck

Arrays of cold neutral atoms in optical tweezers have emerged as a leading platform for scalable quantum computing. Over the last decade, the technology has scaled to thousands of trapped atoms, with high-fidelity two-qubit gates that now reach the accuracy needed for error correction. Their reconfigurability, meaning the ability to shuttle atoms and rearrange them dynamically, also makes them a natural fit for fault-tolerant operation, widely believed to be necessary for scalable quantum computation. In this talk, I will provide an introduction to neutral atom quantum computers. Starting from the hardware opportunities and constraints, I will focus on the problem of co-designing the algorithms with the physical architecture: in particular, I will discuss compilation problems both in terms of circuit design, as well as of scheduling on hardware. I will specially introduce such topics from the perspective of fault-tolerant quantum computation, also highlighting the most important open questions.