English
Related papers

Related papers: Derandomized Parallel Repetition via Structured PC…

200 papers

The code that combines channel estimation and error protection has received general attention recently, and has been considered a promising methodology to compensate multi-path fading effect. It has been shown by simulations that such code…

Information Theory · Computer Science 2007-12-18 Chia-Lung Wu , Po-Ning Chen , Yunghsiang S. Han , Ming-Hsin Kuo

Quantized compressive sensing (QCS) deals with the problem of representing compressive signal measurements with finite precision representation, i.e., a mandatory process in any practical sensor design. To characterize the signal…

Information Theory · Computer Science 2018-05-14 Chunlei Xu , Vincent Schellekens , Laurent Jacques

The Massively Parallel Computation (MPC) model is an emerging model which distills core aspects of distributed and parallel computation. It has been developed as a tool to solve (typically graph) problems in systems where the input is…

Data Structures and Algorithms · Computer Science 2020-02-20 Artur Czumaj , Peter Davies , Merav Parter

We consider the problem of learning a mixture of Random Utility Models (RUMs). Despite the success of RUMs in various domains and the versatility of mixture RUMs to capture the heterogeneity in preferences, there has been only limited…

Machine Learning · Statistics 2020-04-01 Devavrat Shah , Dogyoon Song

Differential phase-contrast computed tomography (DPC-CT) is a powerful analysis tool for soft-tissue and low-atomic-number samples. Limited by the implementation conditions, DPC-CT with incomplete projections happens quite often.…

Medical Physics · Physics 2020-07-01 Jianbing Dong , Jian Fu , Zhao He

Quantum computing is transitioning from experimental prototypes to commercially available turnkey systems, making architecture-agnostic performance metrics essential for cross-platform comparison. Peaked Random Circuits (PRCs) have recently…

Quantum Physics · Physics 2026-05-26 Martin Brieger , Florian Krötz , Minh Chung , Dieter Kranzlmüller

We show that the tensor product of two random linear codes is robustly testable with high probability. This implies that one can obtain pairs of linear codes such that their product and the product of their dual codes are simultaneously…

Information Theory · Computer Science 2023-08-11 Gleb Kalachev , Pavel Panteleev

In this paper, we consider approximations of principal component projection (PCP) without explicitly computing principal components. This problem has been studied in several recent works. The main feature of existing approaches is viewing…

Numerical Analysis · Mathematics 2019-02-26 Stephen D. Farnham , Lixin Shen , Bruce W. Suter

Compressed sensing is the art of reconstructing structured $n$-dimensional vectors from substantially fewer measurements than naively anticipated. A plethora of analytic reconstruction guarantees support this credo. The strongest among them…

Information Theory · Computer Science 2018-12-20 Peter Jung , Richard Kueng , Dustin G. Mixon

In recent years Plug-and-Play (PnP) methods have achieved state-of-the-art performance in inverse imaging problems by replacing proximal operators with denoisers. Based on the proximal gradient method, some theoretical results of PnP have…

Computer Vision and Pattern Recognition · Computer Science 2024-08-23 Shuchang Zhang , Hongxia Wang

Plug-and-Play (PnP) methods solve ill-posed inverse problems through iterative proximal algorithms by replacing a proximal operator by a denoising operation. When applied with deep neural network denoisers, these methods have shown…

Optimization and Control · Mathematics 2022-06-22 Samuel Hurault , Arthur Leclaire , Nicolas Papadakis

Near-term feasibility, classical hardness, and verifiability are the three requirements for demonstrating quantum advantage; most existing quantum advantage proposals achieve at most two. A promising candidate recently proposed is through…

Quantum Physics · Physics 2025-10-02 Yuxuan Zhang

Computing reachability probabilities is at the heart of probabilistic model checking. All model checkers compute these probabilities in an iterative fashion using value iteration. This technique approximates a fixed point from below by…

Logic in Computer Science · Computer Science 2018-04-16 Tim Quatmann , Joost-Pieter Katoen

A probability forecast or probabilistic classifier is reliable or calibrated if the predicted probabilities are matched by ex post observed frequencies, as examined visually in reliability diagrams. The classical binning and counting…

Methodology · Statistics 2021-08-26 Timo Dimitriadis , Tilmann Gneiting , Alexander I. Jordan

A quantum computer -- i.e., a computer capable of manipulating data in quantum superposition -- would find applications including factoring, quantum simulation and tests of basic quantum theory. Since quantum superpositions are fragile, the…

Quantum Physics · Physics 2007-05-23 Ben W. Reichardt

Model-based methods play a key role in the reconstruction of compressed sensing (CS) MRI. Finding an effective prior to describe the statistical distribution of the image family of interest is crucial for model-based methods. Plug-and-play…

Image and Video Processing · Electrical Eng. & Systems 2024-11-27 Tao Hong , Xiaojian Xu , Jason Hu , Jeffrey A. Fessler

An arbitrarily reliable quantum computer can be efficiently constructed from noisy components using a recursive simulation procedure, provided that those components fail with probability less than the fault-tolerance threshold. Recent…

Quantum Physics · Physics 2013-04-03 K. M. Svore , A. W. Cross , I. L. Chuang , A. V. Aho

Probabilistic Manifold Decomposition (PMD)\cite{doi:10.1137/25M1738863}, developed in our earlier work, provides a nonlinear model reduction by embedding high-dimensional dynamics onto low-dimensional probabilistic manifolds. The PMD has…

Numerical Analysis · Mathematics 2026-01-13 Jiaming Guo , Dunhui Xiao

This paper studies the effect of discretizing the parametrization of a dictionary used for Matching Pursuit decompositions of signals. Our approach relies on viewing the continuously parametrized dictionary as an embedded manifold in the…

Differential Geometry · Mathematics 2009-11-13 Laurent Jacques , Christophe De Vleeschouwer

Keypoint detection underpins many vision tasks, including pose estimation, viewpoint recovery, and 3D reconstruction, yet modern neural models remain vulnerable to small input perturbations. Despite its importance, formal robustness…

Computer Vision and Pattern Recognition · Computer Science 2026-03-09 Xusheng Luo , Changliu Liu