English
Related papers

Related papers: A Matrix Product State Representation of Boolean F…

200 papers

In systems biology, Boolean networks (BNs) aim at modeling the qualitative dynamics of quantitative biological systems. Contrary to their (a)synchronous interpretations, the Most Permissive (MP) interpretation guarantees capturing all the…

Systems and Control · Electrical Eng. & Systems 2022-06-28 Théo Roncalli , Loïc Paulevé

We show that the model wave functions used to describe the fractional quantum Hall effect have exact representations as matrix product states (MPS). These MPS can be implemented numerically in the orbital basis of both finite and infinite…

Strongly Correlated Electrons · Physics 2015-03-20 Michael P. Zaletel , Roger S. K. Mong

Simulating quantum many-body systems (QMBS) is one of the long-standing, highly non-trivial challenges in condensed matter physics and quantum information due to the exponentially growing size of the system's Hilbert space. To date, tensor…

Quantum Physics · Physics 2026-02-06 Belal Abouraya , Jirawat Saiphet , Fedor Jelezko , Ressa S. Said

The goal of Boolean Matrix Factorization (BMF) is to approximate a given binary matrix as the product of two low-rank binary factor matrices, where the product of the factor matrices is computed under the Boolean algebra. While the problem…

Machine Learning · Computer Science 2020-12-08 Pauli Miettinen , Stefan Neumann

BDDs are representations of a Boolean expression in the form of a directed acyclic graph. BDDs are widely used in several fields, particularly in model checking and hardware verification. There are several implementations for BDD…

Logic in Computer Science · Computer Science 2023-05-02 Luigi Capogrosso , Luca Geretti , Marco Cristani , Franco Fummi , Tiziano Villa

We introduce Gaussian Matrix Product States (GMPS), a generalization of Matrix Product States (MPS) to lattices of harmonic oscillators. Our definition resembles the interpretation of MPS in terms of projected maximally entangled pairs,…

Quantum Physics · Physics 2012-01-20 Norbert Schuch , Michael M. Wolf , J. Ignacio Cirac

Matrix Product States (MPS) and Operators (MPO) have been proven to be a powerful tool to study quantum many-body systems but are restricted to moderately entangled states as the number of parameters scales exponentially with the…

A restricted Boltzmann machine (RBM) learns a probability distribution over its input samples and has numerous uses like dimensionality reduction, classification and generative modeling. Conventional RBMs accept vectorized data that…

Computer Vision and Pattern Recognition · Computer Science 2018-11-13 Cong Chen , Kim Batselier , Ching-Yun Ko , Ngai Wong

We present a method for solving implicit (factored) Markov decision processes (MDPs) with very large state spaces. We introduce a property of state space partitions which we call epsilon-homogeneity. Intuitively, an epsilon-homogeneous…

Artificial Intelligence · Computer Science 2013-02-08 Thomas L. Dean , Robert Givan , Sonia Leach

Matrix Product Operators (MPOs) are at the heart of the second-generation Density Matrix Renormalisation Group (DMRG) algorithm formulated in Matrix Product State language. We first summarise the widely known facts on MPO arithmetic and…

Strongly Correlated Electrons · Physics 2017-01-20 C. Hubig , I. P. McCulloch , U. Schollwöck

Continuous Matrix Product States (cMPS) are powerful variational ansatz states for ground states of continuous quantum field theories in (1+1) dimension. In this paper we introduce a novel parametrization of the cMPS wave function based on…

Computational Physics · Physics 2017-12-06 Martin Ganahl

Modern approaches to generative modeling of continuous data using tensor networks incorporate compression layers to capture the most meaningful features of high-dimensional inputs. These methods, however, rely on traditional Matrix Product…

Machine Learning · Computer Science 2024-12-11 Danylo Kolesnyk , Yelyzaveta Vodovozova

Direct numerical simulation (DNS) of turbulent reactive flows has been the subject of significant research interest for several decades. Accurate prediction of the effects of turbulence on the rate of reactant conversion, and the subsequent…

Matrix product states (MPS) illustrate the suitability of tensor networks for the description of interacting many-body systems: ground states of gapped $1$-D systems are approximable by MPS as shown by Hastings [J. Stat. Mech. Theor. Exp.,…

Quantum Physics · Physics 2016-09-21 Robert Koenig , Volkher B. Scholz

Two-level logic minimization is a central problem in logic synthesis, and has applications in reliability analysis and automated reasoning. This paper represents a method of minimizing Boolean sum of products function with binary decision…

Data Structures and Algorithms · Computer Science 2012-03-29 Debajit Sensarma , Subhashis Banerjee , Krishnendu Basuli , Saptarshi Naskar , Samar Sen Sarma

This work presents a comparative study of new and existing optimization and diagonalization methods for solving time-independent partial differential equations (PDEs) using matrix product states (MPS) in the quantized tensor-train formalism…

Quantum Physics · Physics 2026-02-17 Paula García-Molina , Luca Tagliacozzo , Juan José García-Ripoll

We study the problem of multiplying two bit matrices with entries either over the Boolean algebra $(0,1,\vee,\wedge)$ or over the binary field $(0,1,+,\cdot)$. We engineer high-performance open-source algorithm implementations for…

Data Structures and Algorithms · Computer Science 2019-09-05 Matti Karppa , Petteri Kaski

This article addresses the problem of efficient Bayesian inference in dynamic systems using particle methods and makes a number of contributions. First, we develop a correlated pseudo-marginal (CPM) approach for Bayesian inference in state…

Methodology · Statistics 2016-12-22 P. Choppala , D. Gunawan , J. Chen , M. -N. Tran , R. Kohn

Boolean matrix factorization (BMF) has many applications in data mining, bioinformatics, and network analysis. The goal of BMF is to decompose a given binary matrix as the Boolean product of two smaller binary matrices, revealing underlying…

Commutative Algebra · Mathematics 2025-09-12 Juliann Geraci , Alexander B. Kunin , Alexandra Seceleanu

The canonical form of Matrix Product States (MPS) and the associated fundamental theorem, which relates different MPS representations of a state, are the theoretical framework underlying many of the analytical results derived through MPS,…

Quantum Physics · Physics 2018-04-17 Gemma De las Cuevas , J. Ignacio Cirac , Norbert Schuch , David Perez-Garcia