English
Related papers

Related papers: A Reed Muller-based approach for optimization of g…

200 papers

In recent years, quaternion matrix completion (QMC) based on low-rank regularization has been gradually used in image de-noising and de-blurring.Unlike low-rank matrix completion (LRMC) which handles RGB images by recovering each color…

Image and Video Processing · Electrical Eng. & Systems 2021-01-08 Liqiao Yang , Kit Ian Kou , Jifei Miao

The kernel embedding algorithm is an important component for adapting kernel methods to large datasets. Since the algorithm consumes a major computation cost in the testing phase, we propose a novel teacher-learner framework of learning…

Machine Learning · Statistics 2017-12-08 Jianqiao Wangni , Jingwei Zhuo , Jun Zhu

Precise estimation of physical parameters underpins both scientific discovery and technological development. A central goal of quantum metrology and sensing is to exploit quantum resources like entanglement to devise optimal strategies for…

Quantum Physics · Physics 2026-03-09 Zhao-Yi Zhou , Da-Jian Zhang

In this paper we introduce a novel quantifier elimination method for conjunctions of linear real arithmetic constraints. Our algorithm is based on the Fourier-Motzkin variable elimination procedure, but by case splitting we are able to…

Symbolic Computation · Computer Science 2023-10-03 Jasper Nalbach , Valentin Promies , Erika Ábrahám , Paul Kobialka

Compiling quantum circuits to account for hardware restrictions is an essential part of the quantum computing stack. Circuit compilation allows us to adapt algorithm descriptions into a sequence of operations supported by real quantum…

Quantum Physics · Physics 2025-10-14 Alejandro Villoria , Henning Basold , Alfons Laarman

Given its widespread application in machine learning and optimization, the Kronecker product emerges as a pivotal linear algebra operator. However, its computational demands render it an expensive operation, leading to heightened costs in…

Data Structures and Algorithms · Computer Science 2024-02-14 Yeqi Gao , Zhao Song , Ruizhe Zhang

Mixed Integer Linear Programming (MILP) can be considered the backbone of the modern power system optimization process, with a large application spectrum, from Unit Commitment and Optimal Transmission Switching to verifying Neural Networks…

Quantum Physics · Physics 2024-04-17 Petros Ellinas , Samuel Chevalier , Spyros Chatzivasileiadis

Quantum-dot Cellular Automata (QCA) is one of the most important computing technologies for the future and will be the alternative candidate for current CMOS technology. QCA is attracting a lot of researchers due to many features such as…

Emerging Technologies · Computer Science 2020-02-04 Esam Alkaldy , Ali H. Majeed , Mohd Shamian Zainal , Danial Md. Nor

Quantum repeaters represent one possible way to achieve long-distance quantum key distribution. Collins et al. in [Phys. Rev. Lett. 98, 060502 (2007)] proposed multiplexing as method to increase the repeater rate and to decrease the…

Quantum Physics · Physics 2014-01-08 Silvestre Abruzzo , Hermann Kampermann , Dagmar Bruß

The quantum Fourier transform (QFT) is a fundamental primitive in quantum computation and quantum information. In this work, we generalize the QFT for finite groups to a QFT for finite-dimensional semisimple algebras, and give efficient…

Quantum Physics · Physics 2026-05-08 Ben Foxman , Barak Nehoran , Yongshan Ding

We introduce a novel and uniform framework for quantum pixel representations that overarches many of the most popular representations proposed in the recent literature, such as (I)FRQI, (I)NEQR, MCRQI, and (I)NCQI. The proposed QPIXL…

Quantum Physics · Physics 2022-09-16 Mercy G. Amankwah , Daan Camps , E. Wes Bethel , Roel Van Beeumen , Talita Perciano

Near-term quantum networks face a bottleneck due to low quantum communication rates. This degrades performance both by lowering operating speeds and increasing qubit storage time in noisy memories, making some quantum internet applications…

We examine aspects of the computation of finite element matrices and vectors which are made possible by automated code generation. Given a variational form in a syntax which resembles standard mathematical notation, the low-level computer…

Mathematical Software · Computer Science 2011-04-04 Kristian B. Ølgaard , Garth N. Wells

Montgomery modular multiplication is widely-used in public key cryptosystems (PKC) and affects the efficiency of upper systems directly. However, modulus is getting larger due to the increasing demand of security, which results in a heavy…

Cryptography and Security · Computer Science 2026-03-17 Yuxuan Zhang , Hua Guo , Chen Chen , Yewei Guan , Xiyong Zhang , Zhenyu Guan

The Wigner function formalism has played a pivotal role in examining the non-classical aspects of quantum states and their classical simulatability. Nevertheless, its application in qubit systems faces limitations due to negativity induced…

Quantum Physics · Physics 2024-12-02 Guedong Park , Hyukjoon Kwon , Hyunseok Jeong

Finding ways to transform a quantum state to another is fundamental to quantum information processing. In this paper, we apply the sparse matrix approach to the quantum state transformation problem. In particular, we present a new approach…

Quantum Physics · Physics 2025-10-16 Lai Kin Man , Xin Wang

Quantum circuit optimization - the process of transforming a quantum circuit into an equivalent one with reduced time and space requirements - is crucial for maximizing the utility of current and near-future quantum devices. While most…

Quantum Physics · Physics 2026-01-23 Marcin Szyniszewski , Aleks Kissinger , Noah Linden , Paul Skrzypczyk

(Abridged abstract.) In this thesis we introduce new models of quantum computation to study the emergence of quantum speed-up in quantum computer algorithms. Our first contribution is a formalism of restricted quantum operations, named…

Quantum Physics · Physics 2016-11-29 Juan Bermejo-Vega

This paper introduces a quantum-inspired denoising framework that integrates the Quantum Fourier Transform (QFT) into classical audio enhancement pipelines. Unlike conventional Fast Fourier Transform (FFT) based methods, QFT provides a…

Sound · Computer Science 2025-09-08 Rajeshwar Tripathi , Sahil Tomar , Sandeep Kumar , Monika Aggarwal

The software package \emph{Qcompiler} (CPC, 184 (2013) 853) provides a general quantum compilation framework, which maps any given unitary operation into a quantum circuit consisting of a sequential set of elementary quantum gates. In this…

Quantum Physics · Physics 2014-08-08 T. Loke , J. B. Wang