English
Related papers

Related papers: Certification of the QR factor R, and of lattice b…

200 papers

Fault tolerance is a major concern in distributed computational settings. In the classic master-worker setting, a server (the master) needs to perform some heavy computation which it may distribute to $m$ other machines (workers) in order…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-30 Keren Censor-Hillel , Yuka Machino , Pedro Soto

Large language models for code generation increasingly rely on synthetic data, where both problem solutions and verification tests are generated by models. While this enables scalable data creation, it introduces a previously unexplored…

Software Engineering · Computer Science 2025-09-26 Srishti Gureja , Elena Tommasone , Jingyi He , Sara Hooker , Matthias Gallé , Marzieh Fadaee

The minimum accuracy heuristic evaluates quantum feature maps without requiring full quantum support vector machine (QSVM) training. However, the original formulation is computationally expensive, restricted to balanced datasets, and lacks…

We develop an automated framework for proving lower bounds on the bilinear complexity of matrix multiplication over finite fields. Our approach systematically combines orbit classification of the restricted first matrix and dynamic…

Computational Complexity · Computer Science 2026-05-19 Chengu Wang

We propose a fault-tolerant quantum computation scheme that is broadly applicable to quantum low-density parity-check (qLDPC) codes. The scheme achieves constant qubit overhead and a time overhead of $O(d^{a+o(1)})$ for any $[[n,k,d]]$…

Quantum Physics · Physics 2026-04-14 Guo Zhang , Yuanye Zhu , Ying Li

Practical quantum computing will require error rates that are well below what is achievable with physical qubits. Quantum error correction offers a path to algorithmically-relevant error rates by encoding logical qubits within many physical…

Quantum Physics · Physics 2025-04-08 Rajeev Acharya , Igor Aleiner , Richard Allen , Trond I. Andersen , Markus Ansmann , Frank Arute , Kunal Arya , Abraham Asfaw , Juan Atalaya , Ryan Babbush , Dave Bacon , Joseph C. Bardin , Joao Basso , Andreas Bengtsson , Sergio Boixo , Gina Bortoli , Alexandre Bourassa , Jenna Bovaird , Leon Brill , Michael Broughton , Bob B. Buckley , David A. Buell , Tim Burger , Brian Burkett , Nicholas Bushnell , Yu Chen , Zijun Chen , Ben Chiaro , Josh Cogan , Roberto Collins , Paul Conner , William Courtney , Alexander L. Crook , Ben Curtin , Dripto M. Debroy , Alexander Del Toro Barba , Sean Demura , Andrew Dunsworth , Daniel Eppens , Catherine Erickson , Lara Faoro , Edward Farhi , Reza Fatemi , Leslie Flores Burgos , Ebrahim Forati , Austin G. Fowler , Brooks Foxen , William Giang , Craig Gidney , Dar Gilboa , Marissa Giustina , Alejandro Grajales Dau , Jonathan A. Gross , Steve Habegger , Michael C. Hamilton , Matthew P. Harrigan , Sean D. Harrington , Oscar Higgott , Jeremy Hilton , Markus Hoffmann , Sabrina Hong , Trent Huang , Ashley Huff , William J. Huggins , Lev B. Ioffe , Sergei V. Isakov , Justin Iveland , Evan Jeffrey , Zhang Jiang , Cody Jones , Pavol Juhas , Dvir Kafri , Kostyantyn Kechedzhi , Julian Kelly , Tanuj Khattar , Mostafa Khezri , Mária Kieferová , Seon Kim , Alexei Kitaev , Paul V. Klimov , Andrey R. Klots , Alexander N. Korotkov , Fedor Kostritsa , John Mark Kreikebaum , David Landhuis , Pavel Laptev , Kim-Ming Lau , Lily Laws , Joonho Lee , Kenny Lee , Brian J. Lester , Alexander Lill , Wayne Liu , Aditya Locharla , Erik Lucero , Fionn D. Malone , Jeffrey Marshall , Orion Martin , Jarrod R. McClean , Trevor Mccourt , Matt McEwen , Anthony Megrant , Bernardo Meurer Costa , Xiao Mi , Kevin C. Miao , Masoud Mohseni , Shirin Montazeri , Alexis Morvan , Emily Mount , Wojciech Mruczkiewicz , Ofer Naaman , Matthew Neeley , Charles Neill , Ani Nersisyan , Hartmut Neven , Michael Newman , Jiun How Ng , Anthony Nguyen , Murray Nguyen , Murphy Yuezhen Niu , Thomas E. O'Brien , Alex Opremcak , John Platt , Andre Petukhov , Rebecca Potter , Leonid P. Pryadko , Chris Quintana , Pedram Roushan , Nicholas C. Rubin , Negar Saei , Daniel Sank , Kannan Sankaragomathi , Kevin J. Satzinger , Henry F. Schurkus , Christopher Schuster , Michael J. Shearn , Aaron Shorter , Vladimir Shvarts , Jindra Skruzny , Vadim Smelyanskiy , W. Clarke Smith , George Sterling , Doug Strain , Marco Szalay , Alfredo Torres , Guifre Vidal , Benjamin Villalonga , Catherine Vollgraff Heidweiller , Theodore White , Cheng Xing , Z. Jamie Yao , Ping Yeh , Juhwan Yoo , Grayson Young , Adam Zalcman , Yaxing Zhang , Ningfeng Zhu

The performance of a reinforcement learning algorithm can vary drastically during learning because of exploration. Existing algorithms provide little information about the quality of their current policy before executing it, and thus have…

Machine Learning · Computer Science 2019-05-29 Christoph Dann , Lihong Li , Wei Wei , Emma Brunskill

Quantum error correction (QEC) is essential for realizing scalable quantum computation. However, when evaluating its benefits, most analyses assume idealized components, overlooking the imperfections inherent in realistic fault-tolerant…

Quantum Physics · Physics 2026-05-26 Lorenzo Valentini , Diego Forlivesi , Marco Chiani

LU and Cholesky matrix factorization algorithms are core subroutines used to solve systems of linear equations (SLEs) encountered while solving an optimization problem. Standard factorization algorithms are highly efficient but remain…

Numerical Analysis · Mathematics 2022-07-25 Adolfo R. Escobedo

The promise of fault-tolerant quantum computing is challenged by environmental drift that relentlessly degrades the quality of quantum operations. The contemporary solution, halting the entire quantum computation for recalibration, is…

Quantum Physics · Physics 2026-03-10 Volodymyr Sivak , Alexis Morvan , Michael Broughton , Rodrigo G. Cortiñas , Johannes Bausch , Andrew W. Senior , Matthew Neeley , Alec Eickbusch , Noah Shutty , Laleh Aghababaie Beni , James S. Spencer , Francisco J. H Heras , Thomas Edlich , Dmitry Abanin , Amira Abbas , Rajeev Acharya , Georg Aigeldinger , Ross Alcaraz , Sayra Alcaraz , Trond I. Andersen , Markus Ansmann , Frank Arute , Kunal Arya , Walt Askew , Nikita Astrakhantsev , Juan Atalaya , Brian Ballard , Joseph C. Bardin , Hector Bates , Andreas Bengtsson , Majid Bigdeli Karimi , Alexander Bilmes , Simon Bilodeau , Felix Borjans , Alexandre Bourassa , Jenna Bovaird , Dylan Bowers , Leon Brill , Peter Brooks , David A. Browne , Brett Buchea , Bob B. Buckley , Tim Burger , Brian Burkett , Nicholas Bushnell , Jamal Busnaina , Anthony Cabrera , Juan Campero , Hung-Shen Chang , Silas Chen , Ben Chiaro , Liang-Ying Chih , Agnetta Y. Cleland , Bryan Cochrane , Matt Cockrell , Josh Cogan , Roberto Collins , Paul Conner , Harold Cook , William Courtney , Alexander L. Crook , Ben Curtin , Martin Damyanov , Sayan Das , Dripto M. Debroy , Sean Demura , Paul Donohoe , Ilya Drozdov , Andrew Dunsworth , Valerie Ehimhen , Aviv Moshe Elbag , Lior Ella , Mahmoud Elzouka , David Enriquez , Catherine Erickson , Vinicius S. Ferreira , Marcos Flores , Leslie Flores Burgos , Ebrahim Forati , Jeremiah Ford , Austin G. Fowler , Brooks Foxen , Masaya Fukami , Alan Wing Lun Fung , Lenny Fuste , Suhas Ganjam , Gonzalo Garcia , Christopher Garrick , Robert Gasca , Helge Gehring , Robert Geiger , Élie Genois , William Giang , Dar Gilboa , James E. Goeders , Edward C. Gonzales , Raja Gosula , Stijn J. de Graaf , Alejandro Grajales Dau , Dietrich Graumann , Joel Grebel , Alex Greene , Jonathan A. Gross , Jose Guerrero , Loïck Le Guevel , Tan Ha , Steve Habegger , Tanner Hadick , Ali Hadjikhani , Michael C. Hamilton , Matthew P. Harrigan , Sean D. Harrington , Jeanne Hartshorn , Stephen Heslin , Paula Heu , Oscar Higgott , Reno Hiltermann , Hsin-Yuan Huang , Mike Hucka , Christopher Hudspeth , Ashley Huff , William J. Huggins , Evan Jeffrey , Shaun Jevons , Zhang Jiang , Xiaoxuan Jin , Chaitali Joshi , Pavol Juhas , Andreas Kabel , Dvir Kafri , Hui Kang , Kiseo Kang , Amir H. Karamlou , Ryan Kaufman , Kostyantyn Kechedzhi , Tanuj Khattar , Mostafa Khezri , Seon Kim , Can M. Knaut , Bryce Kobrin , Fedor Kostritsa , John Mark Kreikebaum , Ryuho Kudo , Ben Kueffler , Arun Kumar , Vladislav D. Kurilovich , Vitali Kutsko , Nathan Lacroix , David Landhuis , Tiano Lange-Dei , Brandon W. Langley , Pavel Laptev , Kim-Ming Lau , Justin Ledford , Joy Lee , Kenny Lee , Brian J. Lester , Wendy Leung , Lily Li , Wing Yan Li , Ming Li , Alexander T. Lill , William P. Livingston , Matthew T. Lloyd , Aditya Locharla , Laura De Lorenzo , Daniel Lundahl , Aaron Lunt , Sid Madhuk , Aniket Maiti , Ashley Maloney , Salvatore Mandrà , Leigh S. Martin , Orion Martin , Eric Mascot , Paul Masih Das , Dmitri Maslov , Melvin Mathews , Cameron Maxfield , Jarrod R. McClean , Matt McEwen , Seneca Meeks , Kevin C. Miao , Zlatko K. Minev , Reza Molavi , Sebastian Molina , Shirin Montazeri , Charles Neill , Michael Newman , Anthony Nguyen , Murray Nguyen , Chia-Hung Ni , Murphy Yuezhen Niu , Logan Oas , Raymond Orosco , Kristoffer Ottosson , Alice Pagano , Agustin Di Paolo , Sherman Peek , David Peterson , Alex Pizzuto , Elias Portoles , Rebecca Potter , Orion Pritchard , Michael Qian , Chris Quintana , Arpit Ranadive , Matthew J. Reagor , Rachel Resnick , David M. Rhodes , Daniel Riley , Gabrielle Roberts , Roberto Rodriguez , Emma Ropes , Lucia B. De Rose , Eliott Rosenberg , Emma Rosenfeld , Dario Rosenstock , Elizabeth Rossi , Pedram Roushan , David A. Rower , Robert Salazar , Kannan Sankaragomathi , Murat Can Sarihan , Kevin J. Satzinger , Max Schaefer , Sebastian Schroeder , Henry F. Schurkus , Aria Shahingohar , Michael J. Shearn , Aaron Shorter , Vladimir Shvarts , Spencer Small , W. Clarke Smith , David A. Sobel , Barrett Spells , Sofia Springer , George Sterling , Jordan Suchard , Aaron Szasz , Alexander Sztein , Madeline Taylor , Jothi Priyanka Thiruraman , Douglas Thor , Dogan Timucin , Eifu Tomita , Alfredo Torres , M. Mert Torunbalci , Hao Tran , Abeer Vaishnav , Justin Vargas , Sergey Vdovichev , Guifre Vidal , Catherine Vollgraff Heidweiller , Meghan Voorhees , Steven Waltman , Jonathan Waltz , Shannon X. Wang , Brayden Ware , James D. Watson , Yonghua Wei , Travis Weidel , Theodore White , Kristi Wong , Bryan W. K. Woo , Christopher J. Wood , Maddy Woodson , Cheng Xing , Z. Jamie Yao , Ping Yeh , Bicheng Ying , Juhwan Yoo , Noureldin Yosri , Elliot Young , Grayson Young , Adam Zalcman , Ran Zhang , Yaxing Zhang , Ningfeng Zhu , Nicholas Zobrist , Zhenjie Zou , Ryan Babbush , Dave Bacon , Sergio Boixo , Yu Chen , Zijun Chen , Michel Devoret , Monica Hansen , Jeremy Hilton , Cody Jones , Julian Kelly , Alexander N. Korotkov , Erik Lucero , Anthony Megrant , Hartmut Neven , William D. Oliver , Ganesh Ramachandran , Vadim Smelyanskiy , Paul V. Klimov

Lattice reduction algorithms have numerous applications in number theory, algebra, as well as in cryptanalysis. The most famous algorithm for lattice reduction is the LLL algorithm. In polynomial time it computes a reduced basis with…

Cryptography and Security · Computer Science 2013-07-30 Felix Fontein , Michael Schneider , Urs Wagner

We formulate and numerically simulate the single control qubit Shor algorithm for the case of static imperfections induced by residual couplings between qubits. This allows us to study the accuracy of Shor's algorithm with respect to these…

Quantum Physics · Physics 2008-12-15 Ignacio Garcia-Mata , Klaus M. Frahm , Dima L. Shepelyansky

Over the last years, novel low-complexity approaches to the equalization of MIMO channels have gained much attention. Thereby, methods based on lattice basis reduction are of special interest, as they achieve the optimum diversity order. In…

Information Theory · Computer Science 2010-08-13 Robert F. H. Fischer

Considering its relevance in the field of cryptography, integer factorization is a prominent application where Quantum computers are expected to have a substantial impact. Thanks to Shor's algorithm this peculiar problem can be solved in…

Implementing many important sub-circuits on near-term quantum devices remains a challenge due to the high levels of noise and the prohibitive depth on standard nearest-neighbour topologies. Overcoming these barriers will likely require…

Quantum Physics · Physics 2024-11-06 Angus Mingare , Anastasia Moroz , Marcell D Kovacs , Andrew G Green

Fault-tolerant (FT) computation by using quantum error correction (QEC) is essential for realizing large-scale quantum algorithms. Devices are expected to have enough qubits to demonstrate aspects of fault tolerance in the near future.…

Quantum Physics · Physics 2020-03-24 Lingling Lao , Carmen G. Almudever

The security of lattice-based cryptosystems such as NTRU, GGH and Ajtai-Dwork essentially relies upon the intractability of computing a shortest non-zero lattice vector and a closest lattice vector to a given target vector in high…

Cryptography and Security · Computer Science 2009-04-16 Guillaume Hanrot , Damien Stehlé

Advanced embedded algorithms are growing in complexity and they are an essential contributor to the growth of autonomy in many areas. However, the promise held by these algorithms cannot be kept without proper attention to the considerably…

Computation and Language · Computer Science 2020-05-27 Raphaël Cohen , Eric Féron , Pierre-Loïc Garoche

Quantum error detection (QED) offers a promising pathway to fault tolerance in near-term quantum devices by balancing error suppression with minimal resource overhead. However, its practical utility hinges on optimizing design…

Quantum Physics · Physics 2025-04-14 Tom Ginsberg , Vyom Patel

We give a new algorithm using linear approximation and lattice reduction to efficiently calculate all rational points of small height near a given plane curve C. For instance, when C is the Fermat cubic, we find all integer solutions of…

Number Theory · Mathematics 2025-10-20 Noam D. Elkies