English
Related papers

Related papers: Sum of Squares Circuits

200 papers

By recursively nesting sums and products, probabilistic circuits have emerged in recent years as an attractive class of generative models as they enjoy, for instance, polytime marginalization of random variables. In this work we study these…

Quantum Physics · Physics 2025-07-08 Pedro Zuidberg Dos Martires

Inference in discrete graphical models with variational methods is difficult because of the inability to re-parameterize gradients of the Evidence Lower Bound (ELBO). Many sampling-based methods have been proposed for estimating these…

Machine Learning · Computer Science 2020-10-23 Andy Shih , Stefano Ermon

End-to-end deep neural networks have achieved remarkable success across various domains but are often criticized for their lack of interpretability. While post hoc explanation methods attempt to address this issue, they often fail to…

Machine Learning · Computer Science 2025-01-22 Weixin Chen , Simon Yu , Huajie Shao , Lui Sha , Han Zhao

Parameterized quantum circuits play an essential role in the performance of many variational hybrid quantum-classical (HQC) algorithms. One challenge in implementing such algorithms is to choose an effective circuit that well represents the…

Quantum Physics · Physics 2020-01-15 Sukin Sim , Peter D. Johnson , Alan Aspuru-Guzik

Expressibility is a crucial factor of a Parameterized Quantum Circuit (PQC). In the context of Variational Quantum Algorithms (VQA) based Quantum Machine Learning (QML), a QML model composed of highly expressible PQC and sufficient number…

Quantum Physics · Physics 2024-08-12 Yu Liu , Kentaro Baba , Kazuya Kaneko , Naoyuki Takeda , Junpei Koyama , Koichi Kimura

Sum-Product Networks (SPNs) are expressive probabilistic models that provide exact, tractable inference. They achieve this efficiency by making use of local independence. On the other hand, mixtures of exchangeable variable models (MEVMs)…

Machine Learning · Computer Science 2022-04-29 Stefan Lüdtke , Christian Bartelt , Heiner Stuckenschmidt

This study investigates the frame potential and expressiveness of commutative quantum circuits. Based on the Fourier series representation of these circuits, we express quantum expectation and pairwise fidelity as characteristic functions…

Quantum Physics · Physics 2024-12-04 Jorge M. Ramirez , Elaine Wong , Caio Alves , Sarah Chehade , Ryan Bennink

The reduction of constraints to obtain minimal representations of sets is a very common problem in many engineering applications. While well-established methodologies exist for the case of linear constraints, the problem of how to detect…

Systems and Control · Electrical Eng. & Systems 2020-06-29 Andres Cotorruelo , Ilya Kolmanovsky , Daniel R. Ramírez , Daniel Limon , Emanuele Garone

Parameterized quantum circuits play a key role in quantum computing. Measuring the suitability of such a circuit for solving a class of problems is needed. One such promising measure is the expressivity of a circuit, which is defined in two…

Quantum Physics · Physics 2025-09-09 Johanna Barzen , Frank Leymann

Probabilistic Programming Languages (PPLs) are a powerful tool in machine learning, allowing highly expressive generative models to be expressed succinctly. They couple complex inference algorithms, implemented by the language, with an…

Programming Languages · Computer Science 2020-10-19 Alexander Collins , Vinod Grover

Squared tensor networks (TNs) and their extension as computational graphs--squared circuits--have been used as expressive distribution estimators, yet supporting closed-form marginalization. However, the squaring operation introduces…

Machine Learning · Computer Science 2026-05-27 Lorenzo Loconte , Adrián Javaloy , Antonio Vergari

Implicit models, an emerging model class, compute outputs by iterating a single parameter block to a fixed point. This architecture realizes an infinite-depth, weight-tied network that trains with constant memory, significantly reducing…

Machine Learning · Computer Science 2026-04-01 Jialin Liu , Lisang Ding , Stanley Osher , Wotao Yin

Permutational Quantum Computing (PQC) [\emph{Quantum~Info.~Comput.}, \textbf{10}, 470--497, (2010)] is a natural quantum computational model conjectured to capture non-classical aspects of quantum computation. An argument backing this…

Quantum Physics · Physics 2018-08-15 Vojtech Havlicek , Sergii Strelchuk

This study addresses the predictive limitation of probabilistic circuits and introduces transformations as a remedy to overcome it. We demonstrate this limitation in robotic scenarios. We motivate that independent component analysis is a…

Machine Learning · Statistics 2023-10-09 Tom Schierenbeck , Vladimir Vutov , Thorsten Dickhaus , Michael Beetz

Daily internet communication relies heavily on tree-structured graphs, embodied by popular data formats such as XML and JSON. However, many recent generative (probabilistic) models utilize neural networks to learn a probability distribution…

Machine Learning · Computer Science 2024-08-20 Milan Papež , Martin Rektoris , Tomáš Pevný , Václav Šmídl

Probabilistic graphical models are a central tool in AI; however, they are generally not as expressive as deep neural models, and inference is notoriously hard and slow. In contrast, deep probabilistic models such as sum-product networks…

Machine Learning · Computer Science 2019-10-01 Xiaoting Shao , Alejandro Molina , Antonio Vergari , Karl Stelzner , Robert Peharz , Thomas Liebig , Kristian Kersting

Computation can be considered by taking into account two dimensions: extensional versus intensional, and sequential versus concurrent. Traditionally sequential extensional computation can be captured by the lambda-calculus. However, recent…

Logic in Computer Science · Computer Science 2014-06-24 Thomas Given-Wilson

Probabilistic circuits (PCs) are a powerful modeling framework for representing tractable probability distributions over combinatorial spaces. In machine learning and probabilistic programming, one is often interested in understanding…

Data Structures and Algorithms · Computer Science 2021-12-10 Yash Pote , Kuldeep S. Meel

Circuit representations are becoming the lingua franca to express and reason about tractable generative and discriminative models. In this paper, we show how complex inference scenarios for these models that commonly arise in machine…

Machine Learning · Statistics 2021-02-12 Antonio Vergari , YooJung Choi , Anji Liu , Stefano Teso , Guy Van den Broeck

Automata expressiveness is an essential feature in understanding which of the formalisms available should be chosen for modelling a particular problem. Probabilistic and stochastic automata are suitable for modelling systems exhibiting…

Logic in Computer Science · Computer Science 2019-03-19 Valentin Bura , Tim French , Mark Reynolds