English
Related papers

Related papers: A Recursive Definition of the Holographic Standard…

200 papers

The theory of holographic algorithms, which are polynomial time algorithms for certain combinatorial counting problems, yields insight into the hierarchy of complexity classes. In particular, the theory produces algebraic tests for a…

Computational Complexity · Computer Science 2009-04-07 J. M. Landsberg , Jason Morton , Serguei Norine

A holographic algorithm solves a problem in domain of size $n$, by reducing it to counting perfect matchings in planar graphs. It may simulate a $n$-value variable by a bunch of $t$ matchgate bits, which has $2^t$ values. The transformation…

Computational Complexity · Computer Science 2015-11-05 Mingji Xia

An essential problem in the design of holographic algorithms is to decide whether the required signatures can be realized by matchgates under a suitable basis transformation (SRP). For holographic algorithms on domain size 2, [1, 2, 4, 5]…

Computational Complexity · Computer Science 2013-04-01 Zhiguo Fu , Fengqin Yang

Holographic algorithms introduced by Valiant are composed of two ingredients: matchgates, which are gadgets realizing local constraint functions by weighted planar perfect matchings, and holographic reductions, which show equivalences among…

Data Structures and Algorithms · Computer Science 2018-01-11 Jin-Yi Cai , Heng Guo , Tyson Williams

In this article we introduce the insertion method for reconstructing the path from its signature, i.e. inverting the signature of a path. For this purpose, we prove that a converging upper bound exists for the difference between the…

Probability · Mathematics 2019-07-22 Jiawei Chang , Terry Lyons

I introduce a formalism for representing the syntax of recursively structured graph-like patterns. It does not use production rules, like a conventional graph grammar, but represents the syntactic structure in a more direct and declarative…

Formal Languages and Automata Theory · Computer Science 2025-04-25 Peter Fletcher

Signed graphs are studied since the middle of the last century. Recently, the notion of homomorphism of signed graphs has been introduced since this notion captures a number of well known conjectures which can be reformulated using the…

Discrete Mathematics · Computer Science 2014-01-15 Pascal Ochem , Alexandre Pinlou , Sagnik Sen

The size of a probe bead reported by holographic particle characterization depends on the proportion of the surface area covered by bound target molecules and so can be used as an assay for molecular binding. We validate this technique by…

Soft Condensed Matter · Physics 2020-07-21 Kaitlynn Snyder , Rushna Quddus , Andrew D. Hollingsworth , Kent Kirshenbaum , David G. Grier

Stratified digraphs are popular models for feedforward neural networks. However, computation of their path homologies has been limited to low dimensions due to high computational complexity. A recursive algorithm is proposed to compute…

Computational Geometry · Computer Science 2024-12-12 Zhengtong Zhu , Zhiyi Chi

Valiant introduced matchgate computation and holographic algorithms. A number of seemingly exponential time problems can be solved by this novel algorithmic paradigm in polynomial time. We show that, in a very strong sense, matchgate…

Computational Complexity · Computer Science 2010-08-05 Jin-Yi Cai , Pinyan Lu , Mingji Xia

In this article, we give a sufficient and necessary condition for determining whether a matchgate signature retains its property under a certain variable permutation, which can be checked in polynomial time. We also define the concept of…

Combinatorics · Mathematics 2025-03-28 Boning Meng , Yicheng Pan

This paper proposes three measures to quantify the characteristics of online signature templates in terms of distinctiveness, complexity and repeatability. A distinctiveness measure of a signature template is computed from a set of enrolled…

Computer Vision and Pattern Recognition · Computer Science 2018-08-13 NapaSae-Bae , NasirMemon , Pitikhate Sooraksa

In this paper we propose an identification procedure of a sparse graphical model associated to a Gaussian stationary stochastic process. The identification paradigm exploits the approximation of autoregressive processes through reciprocal…

Optimization and Control · Mathematics 2018-06-13 Daniele Alpago , Mattia Zorzi , Augusto Ferrante

Splines are central objects for the interpolation of discrete data via piecewise smooth paths. Their iterated-integral signature is an infinite collection of tensors which characterizes paths almost uniquely. We study truncations of this…

Algebraic Geometry · Mathematics 2026-02-16 Carlos Améndola , Felix Lotter , Leonard Schmitz

Random tensor networks provide useful models that incorporate various important features of holographic duality. A tensor network is usually defined for a fixed graph geometry specified by the connection of tensors. In this paper, we…

High Energy Physics - Theory · Physics 2017-09-13 Xiao-Liang Qi , Zhao Yang , Yi-Zhuang You

In multimedia, text or bioinformatics databases, applications query sequences of n consecutive symbols called n-grams. Estimating the number of distinct n-grams is a view-size estimation problem. While view sizes can be estimated by…

Databases · Computer Science 2014-02-05 Daniel Lemire , Owen Kaser

We propose randomized frameproof codes for content protection, which arise by studying a variation of the Boneh-Shaw fingerprinting problem. In the modified system, whenever a user tries to access his fingerprinted copy, the fingerprint is…

Information Theory · Computer Science 2008-02-26 N. Prasanth Anthapadmanabhan , Alexander Barg

This paper presents a recursive hiding scheme for 2 out of 3 secret sharing. In recursive hiding of secrets, the user encodes additional information about smaller secrets in the shares of a larger secret without an expansion in the size of…

Cryptography and Security · Computer Science 2009-02-17 Abhishek Parakh , Subhash Kak

We consider recursive decoding techniques for RM codes, their subcodes, and newly designed codes. For moderate lengths up to 512, we obtain near-optimum decoding with feasible complexity.

Information Theory · Computer Science 2017-03-17 Ilya Dumer , Kirill Shabunov

We present a recursive formulation of the Horn algorithm for deciding the satisfiability of propositional clauses. The usual presentations in imperative pseudo-code are informal and not suitable for simple proofs of its main properties. By…

Logic in Computer Science · Computer Science 2018-09-14 António Ravara
‹ Prev 1 2 3 10 Next ›