English
Related papers

Related papers: Two-sided convexity testing with certificates

200 papers

Certifying function nonnegativity is a ubiquitous problem in computational mathematics, with especially notable applications in optimization. We study the question of certifying nonnegativity of signomials based on the recently proposed…

Optimization and Control · Mathematics 2021-07-06 Riley Murray , Venkat Chandrasekaran , Adam Wierman

We consider asymmetric convex intersection testing (ACIT). Let $P \subset \mathbb{R}^d$ be a set of $n$ points and $\mathcal{H}$ a set of $n$ halfspaces in $d$ dimensions. We denote by $\text{ch}(P)$ the polytope obtained by taking the…

Computational Geometry · Computer Science 2018-08-21 Luis Barba , Wolfgang Mulzer

We present SHIELD, a hierarchical algorithm that reduces both the decision-variable dimension and the constraint set in $\ell_1$-regularized convex programs. From strong convexity and Lagrangian duality, we derive certificates that…

Robotics · Computer Science 2026-05-13 Hansung Kim , Siddharth H. Nair , Francesco Borrelli

A new method based on the rejection sampling for finding statistical tests is proposed. This method is conceptually intuitive, easy to implement, and applicable for arbitrary dimension. To illustrate its potential applicability, three…

Methodology · Statistics 2026-03-11 Markku Kuismin

In this article we consider a consistent convex feasibility problem in a real Hilbert space defined by a finite family of sets $C_i$. We are interested, in particular, in the case where for each $i$, $C_i=Fix (U_i)=\{z\in \mathcal H\mid…

Optimization and Control · Mathematics 2017-03-29 Victor I. Kolobov , Simeon Reich , Rafał Zalas

Two-sample hypothesis testing for random graphs arises naturally in neuroscience, social networks, and machine learning. In this paper, we consider a semiparametric problem of two-sample hypothesis testing for a class of latent position…

Methodology · Statistics 2015-06-19 Minh Tang , Avanti Athreya , Daniel L. Sussman , Vince Lyzinski , Carey E. Priebe

The power moments of a positive measure on the real line or the circle are characterized by the non-negativity of an infinite matrix, Hankel, respectively Toeplitz, attached to the data. Except some fortunate configurations, in higher…

Functional Analysis · Mathematics 2020-07-28 David Kimsey , Mihai Putinar

Asymptotic methods for hypothesis testing in high-dimensional data usually require the dimension of the observations to increase to infinity, often with an additional condition on its rate of increase compared to the sample size. On the…

Statistics Theory · Mathematics 2024-03-26 Joydeep Chowdhury , Subhajit Dutta , Marc G. Genton

We discuss a graph-based approach for testing spatial point patterns. This approach falls under the category of data-random graphs, which have been introduced and used for statistical pattern recognition in recent years. Our goal is to test…

Methodology · Statistics 2008-02-06 E. Ceyhan , C. E. Priebe , D. J. Marchette

Quantum systems of high dimensions are attracting a lot of attention because they feature interesting properties when it comes to observing entanglement or other forms of correlations. In particular, their improved resistance to noise is…

Quantum Physics · Physics 2022-03-21 Sébastien Designolle

We study property testing in directed graphs in the bounded degree model, where we assume that an algorithm may only query the outgoing edges of a vertex, a model proposed by Bender and Ron in 2002. As our first main result, we we present a…

Data Structures and Algorithms · Computer Science 2013-12-03 Frank Hellweg , Christian Sohler

We consider the set of points chosen randomly, independently and uniformly in the $d$-dimensional spherical layer. A set of points is called $1$-convex if all its points are vertices of the convex hull of this set. In \cite{3} an estimate…

Combinatorics · Mathematics 2018-06-14 Sergey Sidorov

The probabilistic bisection algorithm (PBA) solves a class of stochastic root-finding problems in one dimension by successively updating a prior belief on the location of the root based on noisy responses to queries at chosen points. The…

Probability · Mathematics 2016-12-14 Peter I. Frazier , Shane G. Henderson , Rolf Waeber

An important theorem by Timofte states that nonnegativity of real $n$-variate symmetric polynomials of degree $d$ can be decided at test sets given by all points with at most $\lfloor\frac{d}{2}\rfloor$ distinct components. However, if the…

Algebraic Geometry · Mathematics 2013-03-19 Sadik Iliman , Timo de Wolff

Self-testing is a powerful certification of quantum systems relying on measured, classical statistics. This paper considers self-testing in bipartite Bell scenarios with small number of inputs and outputs, but with quantum states and…

Quantum Physics · Physics 2024-03-27 Jurij Volčič

A general framework with a series of different methods is proposed to improve the estimate of convex function (or functional) values when only noisy observations of the true input are available. Technically, our methods catch the bias…

Methodology · Statistics 2022-09-15 Chao Ma , Lexing Ying

We study the problem of testing composite hypotheses versus composite alternatives, using a convex duality approach. In contrast to classical results obtained by Krafft and Witting (Z. Wahrsch. Verw. Gebiete 7 (1967) 289--302), where…

Probability · Mathematics 2010-11-29 Birgit Rudloff , Ioannis Karatzas

In this paper, we investigate the recovery of the sparse representation of data in general infinite-dimensional optimization problems regularized by convex functionals. We show that it is possible to define a suitable non-degeneracy…

Optimization and Control · Mathematics 2023-11-15 Marcello Carioni , Leonardo Del Grande

The aim of two-dimensional line spectral estimation is to super-resolve the spectral point sources of the signal from time samples. In many associated applications such as radar and sonar, due to cut-off and saturation regions in electronic…

Information Theory · Computer Science 2020-01-08 Iman Valiulahi , Farzan Haddadi , Arash Amini

In this note we show that a connected, closed and locally convex subset (with an extra assumption on the diameter with respect to the induced length metric if $\kappa>0$) of a $CAT(\kappa)$ space is convex.

Metric Geometry · Mathematics 2013-05-08 Carlos Ramos-Cuevas