Related papers: Equilibrium Graphs
This paper investigates the possibility of performing automated reasoning in probabilistic logic when probabilities are expressed by means of linguistic quantifiers. Each linguistic term is expressed as a prescribed interval of proportions.…
We clarify the correspondence between the two approaches to quantum graphs: via quantum adjacency matrices and via quantum relations. We show how the choice of a (possibly non-tracial) weight manifests itself on the quantum relation side…
Simultaneously with inventing the modern relativistic formalism of quantum electrodynamics, Feynman presented also a first-quantized representation of QED in terms of worldline path integrals. Although this alternative formulation has been…
We propose representation of configurational physical quantities and microscopic structures for multicomponent system on lattice, by extending a concept of generalized Ising model (GIM) to graph theory. We construct graph Laplacian (and…
For any positive definite rational quadratic form $q$ of $n$ variables let $G(\mathbb{Q}^n, q)$ denote the graph with vertices $\mathbb{Q}^n$ and $x, y \in \mathbb{Q}^n$ connected iff $q(x - y) = 1$. This notion generalises standard…
A quantum lattice representation (QLA) is devised for the initial value problem of one-dimensional (1D) propagation of an electromagnetic disturbance in a scalar dielectric medium satisfying directly only the two curl equations of Maxwell.…
We construct level 1 basic representations of the quantized current algebras associated to higher genus algebraic curves using one free field. We also clarify the relation between the elliptic current algebras of the papers [EF] and [JKOS].
We introduce the calculus of neo-Peircean relations, a string diagrammatic extension of the calculus of binary relations that has the same expressivity as first order logic and comes with a complete axiomatisation. The axioms are obtained…
We describe QGLAB, a new MATLAB package for analyzing partial differential equations on quantum graphs. The software is built on the existing, object-oriented MATLAB directed-graph class, inheriting its structure and adding additional…
Transformers are increasingly employed for graph data, demonstrating competitive performance in diverse tasks. To incorporate graph information into these models, it is essential to enhance node and edge features with positional encodings.…
Linear logics have been shown to be able to embed both rewriting-based approaches and process calculi in a single, declarative framework. In this paper we are exploring the embedding of double-pushout graph transformations into quantified…
Let $\mathbb{F}_q$ denote the finite field with $q$ elements. In this work, we use characters to give the number of rational points on suitable curves of low degree over $\mathbb{F}_q$ in terms of the number of rational points on elliptic…
We introduce the Hierarchical Unified Graph Representation (HUGR): a novel graph based intermediate representation for mixed quantum-classical programs. HUGR's design features high expressivity and extensibility to capture the capabilities…
A system of diagrams is introduced that allows the representation of various elements of a quantum circuit, including measurements, in a form which makes no reference to time (hence ``atemporal''). It can be used to relate quantum dynamical…
Quantifier elimination (qelim) is used in many automated reasoning tasks including program synthesis, exist-forall solving, quantified SMT, Model Checking, and solving Constrained Horn Clauses (CHCs). Exact qelim is computationally…
We propose a new representation for gauge theories and quantum gravity. It can be viewed as a generalization of the loop representation. We make use of a recently introduced extension of the group of loops into a Lie Group. This extension…
Consider a pair of ordinary elliptic curves $E$ and $E'$ defined over the same finite field $\mathbb{F}_q$. Suppose they have the same number of $\mathbb{F}_q$-rational points, i.e. $|E(\mathbb{F}_q)|=|E'(\mathbb{F}_q)|$. In this paper we…
Recently, a method was presented for constructing self-energies within many-body perturbation theory that are guaranteed to produce a positive spectral function for equilibrium systems, by representing the self-energy as a product of…
Although quantum circuits have been ubiquitous for decades in quantum computing, the first complete equational theory for quantum circuits has only recently been introduced. Completeness guarantees that any true equation on quantum circuits…
We identify a set of quantum graphs with unique and precisely defined spectral properties called {\it regular quantum graphs}. Although chaotic in their classical limit with positive topological entropy, regular quantum graphs are…