English
Related papers

Related papers: Quadratic Modelings of Syndrome Decoding

200 papers

This paper explores a new class of constrained difference programming problems, where the objective and constraints are formulated as differences of functions, without requiring their convexity. To investigate such problems, novel variants…

Optimization and Control · Mathematics 2026-04-21 Boris S. Mordukhovich , Yixia Song , Shangzhi Zeng , Jin Zhang

The paper deals with finite-state Markov decision processes (MDPs) with integer weights assigned to each state-action pair. New algorithms are presented to classify end components according to their limiting behavior with respect to the…

Logic in Computer Science · Computer Science 2018-05-01 Christel Baier , Nathalie Bertrand , Clemens Dubslaff , Daniel Gburek , Ocan Sankur

We introduce in this paper a technique for the reduced order approximation of parametric symmetric elliptic partial differential equations. For any given dimension, we prove the existence of an optimal subspace of at most that dimension…

Analysis of PDEs · Mathematics 2017-07-06 M. Azaïez , F. Ben Belgacem , J. Casado-Díaz , T. Chacón Rebollo , F. Murat

A perfect matching in an undirected graph $G=(V,E)$ is a set of vertex disjoint edges from $E$ that include all vertices in $V$. The perfect matching problem is to decide if $G$ has such a matching. Recently Rothvo{\ss} proved the striking…

Discrete Mathematics · Computer Science 2018-04-26 David Avis , David Bremner , Hans Raj Tiwary , Osamu Watanabe

For a symmetric positive semidefinite linear system of equations $\mathcal{Q} {\bf x} = {\bf b}$, where ${\bf x} = (x_1,\ldots,x_s)$ is partitioned into $s$ blocks, with $s \geq 2$, we show that each cycle of the classical block symmetric…

Numerical Analysis · Mathematics 2017-05-24 Xudong Li , Defeng Sun , Kim-Chuan Toh

We analyze combined Quasi-Monte Carlo quadrature and Finite Element approximations in Bayesian estimation of solutions to countably-parametric operator equations with holomorphic dependence on the parameters as considered in [Cl.~Schillings…

Numerical Analysis · Mathematics 2016-02-25 Josef Dick , Robert N. Gantner , Quoc T. Le Gia , Christoph Schwab

A widely used method for solving SOS (Sum Of Squares) decomposition problem is to reduce it to the problem of semi-definite programs (SDPs) which can be efficiently solved in theory. In practice, although many SDP solvers can work out some…

Symbolic Computation · Computer Science 2018-01-31 Haokun Li , Bican Xia

Decoding of linear space-time block codes (STBCs) with sphere-decoding (SD) is well known. A fast-version of the SD known as fast sphere decoding (FSD) has been recently studied by Biglieri, Hong and Viterbo. Viewing a linear STBC as a…

Information Theory · Computer Science 2015-03-14 G. R. Jithamithra , B. Sundar Rajan

We show a general method allowing the solution calculation, in the form of a power series, for a very large class of nonlinear Ordinary Differential Equations (ODEs), namely the real analytic $\sigma\pi$-ODEs (and, more in general, the real…

Dynamical Systems · Mathematics 2019-03-15 Francesco Carravetta

It is well known that single real scalar field does not allow gauge coupling to the Abelian vector field. Using the complex scalar model as a starting point, we construct the Abelian gauge model with two real scalars. The gauge…

General Physics · Physics 2025-12-04 Lucas Ducastelo de C. C. Lima , Ilya L. Shapiro

Kernel quadratures and other kernel-based approximation methods typically suffer from prohibitive cubic time and quadratic space complexity in the number of function evaluations. The problem arises because a system of linear equations needs…

Numerical Analysis · Mathematics 2018-01-09 Toni Karvonen , Simo Särkkä

We study the spectral problem in deformed supersymmetric quantum mechanics with polynomial superpotential by using the exact WKB method and the TBA equations. We apply the ODE/IM correspondence to the Schr\"odinger equation with an…

High Energy Physics - Theory · Physics 2024-03-25 Katsushi Ito , Hongfei Shu

We study the exactness of the semidefinite programming (SDP) relaxation of quadratically constrained quadratic programs (QCQPs). With the aggregate sparsity matrix from the data matrices of a QCQP with $n$ variables, the rank and positive…

Optimization and Control · Mathematics 2020-09-22 Godai Azuma , Mituhiro Fukuda , Sunyoung Kim , Makoto Yamashita

In this thesis, a new class of algorithms based on Sums of Squares Programming is developed. These allow to reduce a degree-$d$ homogeneous polynomial $T = \sum_{i = 1}^m \langle a_i, X \rangle^d $ to a quadratic form being close to a…

Numerical Analysis · Mathematics 2018-12-14 Alexander Taveira Blomenhofer

Within the effective mass approximation an adiabatic description of spheroidal and dumbbell quantum dot models in the regime of strong dimensional quantization is presented using the expansion of the wave function in appropriate sets of…

In this paper, the SQP method applied to a hyperbolic PDE-constrained optimization problem is considered. The model arises from the acoustic full waveform inversion in the time domain. The analysis is mainly challenging due to the involved…

Numerical Analysis · Mathematics 2025-09-29 Luis Ammann , Irwin Yousept

We give an exact solution of the quadratic gravity in D dimensions. The solution is a plane fronted wave metric with a cosmological constant. This metric solves not only the full quadratic gravity field equations but also the linearized…

High Energy Physics - Theory · Physics 2011-04-22 Ibrahim Gullu , Metin Gurses , Tahsin Cagri Sisman , Bayram Tekin

The purpose of this work is to illustrate how the theory of Muckenhoupt weights, Muckenhoupt weighted Sobolev spaces and the corresponding weighted norm inequalities can be used in the analysis and discretization of PDE constrained…

Optimization and Control · Mathematics 2016-05-05 Harbir Antil , Enrique Otarola , Abner J. Salgado

Typical-case computation complexity is a research topic at the boundary of computer science, applied mathematics, and statistical physics. In the last twenty years the replica-symmetry-breaking mean field theory of spin glasses and the…

Disordered Systems and Neural Networks · Physics 2014-06-17 Jin-Hua Zhao , Hai-Jun Zhou

Quadratic assignment problems are a fundamental class of combinatorial optimization problems which are ubiquitous in applications, yet their exact resolution is NP-hard. To circumvent this impasse, it was proposed to regularize such…

Optimization and Control · Mathematics 2025-09-25 Venkatkrishna Karumanchi , Gabriel Rioux , Ziv Goldfeld