English
Related papers

Related papers: Computing the homology of basic semialgebraic sets…

200 papers

Given a way to evaluate an unknown polynomial with integer coefficients, we present new algorithms to recover its nonzero coefficients and corresponding exponents. As an application, we adapt this interpolation algorithm to the problem of…

Symbolic Computation · Computer Science 2022-05-19 Pascal Giorgi , Bruno Grenet , Armelle Perret du Cray , Daniel S. Roche

We present a quantum algorithm that additively approximates the value of a tensor network to a certain scale. When combined with existing results, this provides a complete problem for quantum computation. The result is a simple new way of…

Quantum Physics · Physics 2010-02-09 Itai Arad , Zeph Landau

We prove that the height of any algebraic computation tree for deciding membership in a semialgebraic set is bounded from below (up to a multiplicative constant) by the logarithm of m-th Betti number (with respect to singular homology) of…

Computational Complexity · Computer Science 2015-08-18 Nicolai Vorobjov , Andrei Gabrielov

We study $\ell^2$ Betti numbers, coherence, and virtual fibring of random groups in the few-relator model. In particular, random groups with negative Euler characteristic are coherent, have $\ell^2$ homology concentrated in dimension 1, and…

Group Theory · Mathematics 2022-06-15 Dawid Kielak , Robert Kropholler , Gareth Wilkes

Long lived topological features are distinguished from short lived ones (considered as topological noise) in simplicial complexes constructed from complex networks. A new topological invariant, persistent homology, is determined and…

Mathematical Physics · Physics 2009-11-13 Danijela Horak , Slobodan Maletic , Milan Rajkovic

In this paper we define $L^{2}$-homology and $L^{2}$-Betti numbers for tracial *-algebras $A$ with respect to a von Neumann subalgebra $B$. When $B$ is reduced to the field of complex numbers we recover the $L^{2}$-Betti numbers of $A$ as…

Operator Algebras · Mathematics 2014-03-26 Miguel Bermudez

We consider the topology of simplicial complexes with vertices the points of a random point process and faces determined by distance relationships between the vertices. In particular, we study the Betti numbers of these complexes as the…

Probability · Mathematics 2015-09-10 D. Yogeshwaran , Eliran Subag , Robert J. Adler

Concurrent systems are notoriously difficult to analyze, and technological advances such as weak memory architectures greatly compound this problem. This has renewed interest in partial order semantics as a theoretical foundation for formal…

Logic in Computer Science · Computer Science 2015-04-02 Alex Horn , Daniel Kroening

We study an inverse problem for a coupled system of semilinear Helmholtz equations where we are interested in reconstructing multiple coefficients in the system from internal data measured in applications such as thermoacoustic imaging. We…

Analysis of PDEs · Mathematics 2023-07-06 Kui Ren , Nathan Soedjak

In this work, we consider the problem of synchronizing two sets of data where the size of the symmetric difference between the sets is small and, in addition, the elements in the symmetric difference are related through the Hamming distance…

Information Theory · Computer Science 2018-09-14 Ryan Gabrys , Farzad Farnoud

We provide a numerical scheme to approximate as closely as desired the Gaussian or exponential measure $\mu(\om)$ of (not necessarily compact) basic semi-algebraic sets$\om\subset\R^n$. We obtain two monotone (non increasing and non…

Optimization and Control · Mathematics 2017-07-11 Jean-Bernard Lasserre

In this thesis, we consider semi-algebraic sets over a real closed field $R$ defined by quadratic polynomials. Semi-algebraic sets of $R^k$ are defined as the smallest family of sets in $R^k$ that contains the algebraic sets as well as the…

Algebraic Geometry · Mathematics 2011-11-10 Michael Kettner

For a sequence of uniformly bounded, degenerate semigroups on a Hilbert space, we compare various types of convergences to a limit semigroup. Among others, we show that convergence of the semigroups, or of the resolvents of the generators,…

Functional Analysis · Mathematics 2016-09-02 R. Chill , A. F. M. ter Elst

Quantum algorithms for topological data analysis (TDA) seem to provide an exponential advantage over the best classical approach while remaining immune to dequantization procedures and the data-loading problem. In this paper, we give…

Quantum Physics · Physics 2024-01-09 Alexander Schmidhuber , Seth Lloyd

Real algebraic geometry is the study of semi-algebraic sets, subsets of $\R^k$ defined by Boolean combinations of polynomial equalities and inequalities. The focus of this thesis is to study quantitative results in real algebraic geometry,…

Algebraic Geometry · Mathematics 2013-08-01 Salvador Barone

Exploiting symmetries in tensor network algorithms plays a key role for reducing the computational and memory costs. Here we explain how to incorporate the Hermitian symmetry in double-layer tensor networks, which naturally arise in methods…

Strongly Correlated Electrons · Physics 2025-01-27 Oscar van Alphen , Stijn V. Kleijweg , Juraj Hasik , Philippe Corboz

There have been several recent articles studying homology of various types of random simplicial complexes. Several theorems have concerned thresholds for vanishing of homology, and in some cases expectations of the Betti numbers. However…

Probability · Mathematics 2011-01-19 Matthew Kahle , Elizabeth Meckes

In the theory and practice of inverse problems for partial differential equations (PDEs) much attention is paid to the problem of the identification of coefficients from some additional information. This work deals with the problem of…

Numerical Analysis · Computer Science 2013-04-23 P. N. Vabishchevich , V. I. Vasil'ev

This is an extended abstract for a talk given at the mini-workshop "Cohomology rings and fundamental groups of hyperplane arrangements, wonderful compactifications, and real toric varieties", held in Oberwolfach, September 30-October 6,…

Algebraic Topology · Mathematics 2013-12-17 Alexander I. Suciu

We derive a stochastic gradient algorithm for semidefinite optimization using randomization techniques. The algorithm uses subsampling to reduce the computational cost of each iteration and the subsampling ratio explicitly controls…

Optimization and Control · Mathematics 2011-08-30 Alexandre d'Aspremont