English
Related papers

Related papers: Quadratic Modelings of Syndrome Decoding

200 papers

We give a quantum speedup for solving the canonical semidefinite programming relaxation for binary quadratic optimization. This class of relaxations for combinatorial optimization has so far eluded quantum speedups. Our methods combine…

Data Structures and Algorithms · Computer Science 2022-01-26 Fernando G. S L. Brandão , Richard Kueng , Daniel Stilck França

In recent years, copositive programming has received significant attention for its ability to model hard problems in both discrete and continuous optimization. Several relaxations of copositive programs based on semidefinite programming…

Optimization and Control · Mathematics 2025-01-08 Marilena Palomba , Lucas Slot , Luis Felipe Vargas , Monaldo Mastrolilli

Quadratization for partial differential equations (PDEs) is a process that transforms a nonquadratic PDE into a quadratic form by introducing auxiliary variables. This symbolic transformation has been used in diverse fields to simplify the…

Symbolic Computation · Computer Science 2026-02-27 Albani Olivieri , Gleb Pogudin , Boris Kramer

Adiabatic quantum computation has recently attracted attention in the physics and computer science communities, but its computational power was unknown. We describe an efficient adiabatic simulation of any given quantum algorithm, which…

Quantum Physics · Physics 2007-11-22 Dorit Aharonov , Wim van Dam , Julia Kempe , Zeph Landau , Seth Lloyd , Oded Regev

Consider the problem of minimizing a quadratic objective subject to quadratic equations. We study the semialgebraic region of objective functions for which this problem is solved by its semidefinite relaxation. For the Euclidean distance…

Optimization and Control · Mathematics 2019-01-08 Diego Cifuentes , Corey Harris , Bernd Sturmfels

The paper investigates the problem of fitting protein complexes into electron density maps. They are represented by high-resolution cryoEM density maps converted into overlapping matrices and partly show a structure of a complex. The…

Optimization and Control · Mathematics 2017-01-10 Roman Pogodin , Alexander Katrutsa , Sergei Grudinin

This thesis explores algorithmic applications and limitations of convex relaxation hierarchies for approximating some discrete and continuous optimization problems. - We show a dichotomy of approximability of constraint satisfaction…

Computational Complexity · Computer Science 2025-09-01 Mrinalkanti Ghosh

Quadratic Programming (QP) is the well-studied problem of maximizing over {-1,1} values the quadratic form \sum_{i \ne j} a_{ij} x_i x_j. QP captures many known combinatorial optimization problems, and assuming the unique games conjecture,…

Computational Complexity · Computer Science 2015-03-17 Aditya Bhaskara , Moses Charikar , Rajsekar Manokaran , Aravindan Vijayaraghavan

A major obstacle for quantum optimizers is the reformulation of constraints as a quadratic unconstrained binary optimization (QUBO). Current QUBO translators exaggerate the weight $M$ of the penalty terms. Classically known as the "Big-$M$"…

We analyze the ground state entanglement in a quantum adiabatic evolution algorithm designed to solve the NP-complete Exact Cover problem. The entropy of entanglement seems to obey linear and universal scaling at the point where the mass…

Quantum Physics · Physics 2009-11-10 Jose Ignacio Latorre , Roman Orus

We adress the problem of the algebraic decoding of any cyclic code up to the true minimum distance. For this, we use the classical formulation of the problem, which is to find the error locator polynomial in terms of the syndroms of the…

Information Theory · Computer Science 2016-08-14 Daniel Augot , Magali Bardet , Jean-Charles Faugère

Triangular decomposition with different properties has been used for various types of problem solving, e.g. geometry theorem proving, real solution isolation of zero-dimensional polynomial systems, etc. In this paper, the concepts of strong…

Symbolic Computation · Computer Science 2022-02-15 Haokun Li , Bican Xia , Tianqi Zhao

The Syndrome Decoding problem is at the core of many code-based cryptosystems. In this paper, we study ternary Syndrome Decoding in large weight. This problem has been introduced in the Wave signature scheme but has never been thoroughly…

Cryptography and Security · Computer Science 2019-06-17 Rémi Bricout , André Chailloux , Thomas Debris-Alazard , Matthieu Lequesne

We consider the problem of approximating nonconvex quadratic optimization with ellipsoid constraints (ECQP). We show some SDP-based approximation bounds for special cases of (ECQP) can be improved by trivially applying the extened Pataki's…

Optimization and Control · Mathematics 2016-02-08 Yong Xia , Shu Wang , Zi Xu

The unconstrained binary quadratic programming (UBQP) problem is a class of problems of significant importance in many practical applications, such as in combinatorial optimization, circuit design, and other fields. The positive…

Optimization and Control · Mathematics 2024-08-12 Xinyue Huo , Ran Gu

We study the problem of compression for the purpose of similarity identification, where similarity is measured by the mean square Euclidean distance between vectors. While the asymptotical fundamental limits of the problem - the minimal…

Information Theory · Computer Science 2014-05-13 Fabian Steiner , Steffen Dempfle , Amir Ingber , Tsachy Weissman

An exactly solvable position-dependent mass Schr\"odinger equation in two dimensions, depicting a particle moving in a semi-infinite layer, is re-examined in the light of recent theories describing superintegrable two-dimensional systems…

Mathematical Physics · Physics 2008-04-24 Christiane Quesne

Syndrome-based neural decoding (SBND) has emerged as a promising deep learning approach for soft-decision decoding of high-rate, short-length codes. However, this approach still has substantial room for improvement. In this paper, we show…

Information Theory · Computer Science 2026-05-06 Raphaël Le Bidan , Ahmad Ismail , Elsa Dupraz , Charbel Abdel Nour

In this paper, we consider a class of nonconvex complex quadratic programming (CQP) problems, which find a broad spectrum of signal processing applications. By using the polar coordinate representations of the complex variables, we first…

Information Theory · Computer Science 2020-08-20 Cheng Lu , Ya-Feng Liu , Jing Zhou

Communication-reduction techniques are a popular way to improve scalability in data-parallel training of deep neural networks (DNNs). The recent emergence of large language models such as GPT has created the need for new approaches to…

Machine Learning · Computer Science 2023-02-07 Ilia Markov , Adrian Vladu , Qi Guo , Dan Alistarh