English
Related papers

Related papers: Holographic algorithms without matchgates

200 papers

We give a quasipolynomial time algorithm for the graph matching problem (also known as noisy or robust graph isomorphism) on correlated random graphs. Specifically, for every $\gamma>0$, we give a $n^{O(\log n)}$ time algorithm that given a…

Data Structures and Algorithms · Computer Science 2019-02-01 Boaz Barak , Chi-Ning Chou , Zhixian Lei , Tselil Schramm , Yueqi Sheng

Probabilistic graphical models (PGMs) are powerful tools for solving systems of complex relationships over a variety of probability distributions. However, while tree-structured PGMs always result in efficient and exact solutions, inference…

Machine Learning · Computer Science 2021-11-10 Simon Streicher , Johan du Preez

Hypergraph matching has recently become a popular approach for solving correspondence problems in computer vision as it allows to integrate higher-order geometric information. Hypergraph matching can be formulated as a third-order…

Computer Vision and Pattern Recognition · Computer Science 2016-11-17 Quynh Nguyen , Francesco Tudisco , Antoine Gautier , Matthias Hein

A fast algorithm to study one-dimensional self-gravitating systems, and, more generally, systems that are Lagrangian integrable between collisions, is presented. The algorithm is event-driven, and uses a heap-ordered set of predicted future…

Disordered Systems and Neural Networks · Physics 2007-05-23 Alain Noullez , Duccio Fanelli , Erik Aurell

This version is similar to math.CO/0210113. We've changed Conjectures 1.1 and 1.2 so that they cover arbitrary graphs(digraphs). Let G be an arbitrary graph(digraph). Then - in polynomial time - either an algorithm obtains a hamilton…

Combinatorics · Mathematics 2007-05-23 Howard Kleiman

Based on functional analysis, we propose an algorithm for finite-norm solutions of higher-order linear Fuchsian-type ordinary differential equations (ODEs) P(x,d/dx)f(x)=0 with P(x,d/dx):=[\sum_m p_m (x) (d/dx)^m] by using only the four…

Numerical Analysis · Mathematics 2011-06-24 Fuminori Sakaguchi , Masahito Hayashi

The computation of a peeling order in a randomly generated hypergraph is the most time-consuming step in a number of constructions, such as perfect hashing schemes, random $r$-SAT solvers, error-correcting codes, and approximate set…

Data Structures and Algorithms · Computer Science 2013-12-03 Djamal Belazzougui , Paolo Boldi , Giuseppe Ottaviano , Rossano Venturini , Sebastiano Vigna

We automatically verify the crucial steps in the original proof of correctness of an algorithm which, given a geometric graph satisfying certain additional properties removes edges in a systematic way for producing a connected graph in…

Logic in Computer Science · Computer Science 2023-11-30 Lucas Böltz , Viorica Sofronie-Stokkermans , Hannes Frey

Efficient algorithms for many problems in optimization and computational algebra often arise from casting them as systems of polynomial equations. Blum, Shub, and Smale formalized this as Hilbert's Nullstellensatz Problem $HN_R$: given…

Computational Complexity · Computer Science 2025-10-28 Markus Bläser , Sagnik Dutta , Gorav Jindal

The theory of holographic algorithms introduced by Valiant represents a novel approach to achieving polynomial-time algorithms for seemingly intractable counting problems via a reduction to counting planar perfect matchings and a linear…

Computational Complexity · Computer Science 2015-11-04 Sitan Chen

Quantum algorithms have been developed for efficiently solving linear algebra tasks. However, they generally require deep circuits and hence universal fault-tolerant quantum computers. In this work, we propose variational algorithms for…

Quantum Physics · Physics 2021-12-28 Xiaosi Xu , Jinzhao Sun , Suguru Endo , Ying Li , Simon C. Benjamin , Xiao Yuan

Let $H$ be a $k$-graph on $n$ vertices, with minimum codegree at least $n/k + cn$ for some fixed $c > 0$. In this paper we construct a polynomial-time algorithm which finds either a perfect matching in $H$ or a certificate that none exists.…

Combinatorics · Mathematics 2015-09-15 Peter Keevash , Fiachra Knox , Richard Mycroft

Recently holographic prescriptions are proposed to compute quantum complexity of a given state in the boundary theory. A specific proposal known as `holographic subregion complexity' is supposed to calculate the the complexity of a reduced…

High Energy Physics - Theory · Physics 2017-10-25 Elaheh Bakhshaei , Ali Mollabashi , Ahmad Shirzad

This short paper presents saturation-based algorithms for homogenization and elimination. This algorithm can compute elimination ideals by using syzygies and ideal membership test, hence it works with any} monomial order, in particular…

Commutative Algebra · Mathematics 2020-07-09 Mohamed Barakat , Markus Lange-Hegermann , Sebastian Posur

Many computational problems admit fast algorithms on special inputs, however, the required properties might be quite restrictive. E.g., many graph problems can be solved much faster on interval or cographs, or on graphs of small…

Data Structures and Algorithms · Computer Science 2022-09-30 Stefan Kratsch , Florian Nelles

We investigate the power of graph isomorphism algorithms based on algebraic reasoning techniques like Gr\"obner basis computation. The idea of these algorithms is to encode two graphs into a system of equations that are satisfiable if and…

Computational Complexity · Computer Science 2015-02-23 Christoph Berkholz , Martin Grohe

A generalization of recent group-theoretic matrix multiplication algorithms to an analogue of the theory of partial matrix multiplication is presented. We demonstrate that the added flexibility of this approach can in some cases improve…

Computational Complexity · Computer Science 2009-02-17 Richard Strong Bowen , Bo Chen , Hendrik Orem , Martijn van Schaardenburg

The abelian pattern matching problem consists in finding all substrings of a text which are permutations of a given pattern. This problem finds application in many areas and can be solved in linear time by a naive sliding window approach.…

Data Structures and Algorithms · Computer Science 2018-03-08 Simone Faro , Arianna Pavone

We prove a complexity dichotomy for complex-weighted Holant problems with an arbitrary set of symmetric constraint functions on Boolean variables. This dichotomy is specifically to answer the question: Is the FKT algorithm under a…

Computational Complexity · Computer Science 2015-05-13 Jin-Yi Cai , Zhiguo Fu , Heng Guo , Tyson Williams

Multi-homogeneous polynomial systems arise in many applications. We provide bit complexity estimates for solving them which, up to a few extra other factors, are quadratic in the number of solutions and linear in the height of the input…

Symbolic Computation · Computer Science 2017-12-12 Mohab Safey El Din , Eric Schost
‹ Prev 1 8 9 10 Next ›