English
Related papers

Related papers: Analysis of Boolean Equation Systems through Struc…

200 papers

Many applications, ranging from natural to social sciences, rely on graphlet analysis for the intuitive and meaningful characterization of networks employing micro-level structures as building blocks. However, it has not been thoroughly…

Social and Information Networks · Computer Science 2023-06-06 Colin Cleveland , Chin-Yen Lee , Shen-Fu Tsai , Wei-Hsuan Yu , Hsuan-Wei Lee

The study of network structure has uncovered signatures of the organization of complex systems. However, there is also a need to understand how to control them; for example, identifying strategies to revert a diseased cell to a healthy…

Molecular Networks · Quantitative Biology 2016-04-19 Alexander J. Gates , Luis M. Rocha

The $\varepsilon$-form of a system of differential equations for Feynman integrals has led to tremendeous progress in our abilities to compute Feynman integrals, as long as they fall into the class of multiple polylogarithms. It is…

High Energy Physics - Phenomenology · Physics 2019-12-09 Stefan Weinzierl

In this work, we introduce Regularity Structures B-series which are used for describing solutions of singular stochastic partial differential equations (SPDEs). We define composition and substitutions of these B-series and as in the context…

Probability · Mathematics 2024-10-08 Yvain Bruned

Normalizing flows model complex probability distributions by combining a base distribution with a series of bijective neural networks. State-of-the-art architectures rely on coupling and autoregressive transformations to lift up invertible…

Machine Learning · Computer Science 2021-02-15 Antoine Wehenkel , Gilles Louppe

Bialgebras and Hopf (bi)modules are typical algebraic structures with several interacting operations. Their structural and homological study is therefore quite involved. We develop the machinery of braided systems, tailored for handling…

Quantum Algebra · Mathematics 2016-11-16 Victoria Lebed

How to obtain a graph from data samples is an important problem in graph signal processing. One way to formulate this graph learning problem is based on Gaussian maximum likelihood estimation, possibly under particular topology constraints.…

Signal Processing · Electrical Eng. & Systems 2017-11-02 Keng-Shih Lu , Antonio Ortega

We argue that the Mellin-Barnes representations of Feynman diagrams can be used for obtaining linear systems of homogeneous differential equations for the original Feynman diagrams with arbitrary powers of propagators without recourse to…

High Energy Physics - Theory · Physics 2015-06-05 Mikhail Yu. Kalmykov , Bernd A. Kniehl

This paper proposes a new logic optimization paradigm based on circuit simulation, which reduces the need for Boolean computations such as SAT-solving or constructing BDDs. The paper develops a Boolean resubstitution framework to…

Logic in Computer Science · Computer Science 2020-07-07 Siang-Yun Lee , Heinz Riener , Alan Mishchenko , Robert K. Brayton , Giovanni De Micheli

The complexity class NP of decision problems that can be solved nondeterministically in polynomial time is of great theoretical and practical importance where the notion of polynomial-time reductions between NP-problems is a key concept for…

Computational Complexity · Computer Science 2022-12-23 Hans-Jörg Kreowski , Sabine Kuske , Aaron Lye , Aljoscha Windhorst

We construct quadratic finite-dimensional Poisson algebras and their quantum versions related to rank N and degree one vector bundles over elliptic curves with n marked points. The algebras are parameterized by the moduli of curves. For N=2…

Exactly Solvable and Integrable Systems · Physics 2007-10-05 Yu. Chernyakov , A. M. Levin , M. Olshanetsky , A. Zotov

In this paper we introduce a general framework for the study of limits of relational structures in general and graphs in particular, which is based on a combination of model theory and (functional) analysis. We show how the various…

Combinatorics · Mathematics 2021-04-23 Jaroslav Nesetril , Patrice Ossona De Mendez

We present the Boolean dimension of a graph, we relate it with the notions of inner, geometric and symplectic dimensions, and with the rank and minrank of a graph. We obtain an exact formula for the Boolean dimension of a tree in terms of a…

Combinatorics · Mathematics 2022-09-07 Maurice Pouzet , Hamza Si Kaddour , Bhalchandra D. Thatte

Despite their popularity, many questions about the algebraic constraints imposed by linear structural equation models remain open problems. For causal discovery, two of these problems are especially important: the enumeration of the…

Statistics Theory · Mathematics 2018-07-11 Thijs van Ommen , Joris M. Mooij

Boolean models are applied to deriving operator versions of the classical Farkas Lemma in the theory of simultaneous linear inequalities.

Functional Analysis · Mathematics 2011-05-31 S. S. Kutateladze

We develop new polynomial methods for studying systems of word equations. We use them to improve some earlier results and to analyze how sizes of systems of word equations satisfying certain independence properties depend on the lengths of…

Formal Languages and Automata Theory · Computer Science 2011-08-19 Aleksi Saarela

This work is devoted to the establishment of a Poisson structure for a format of equations known as Generalized Lotka-Volterra systems. These equations, which include the classical Lotka-Volterra systems as a particular case, have been…

Mathematical Physics · Physics 2019-11-01 Benito Hernández-Bermejo , Victor Fairén

Primarily this paper presents an expository report on alternatives to the traditional methods of classifying representations of finite dimensional algebras. Some new results illustrating such alternatives for algebras with only finitely…

Representation Theory · Mathematics 2014-07-10 Birge Huisgen-Zimmermann

Plotting solution sets for particular equations may be complicated by the existence of turning points. Here we describe an algorithm which not only overcomes such problematic points, but does so in the most general of settings. Applications…

Numerical Analysis · Mathematics 2011-07-05 Steven Pollack , Daniel Badali , Jonathan Pollack

Our starting point is the observation that if graphs in a class C have low descriptive complexity in first order logic, then the isomorphism problem for C is solvable by a fast parallel algorithm (essentially, by a simple combinatorial…

Computational Complexity · Computer Science 2007-05-23 Martin Grohe , Oleg Verbitsky