Related papers: Intuitionistic Euler-Venn Diagrams (extended)
In this paper intuitionistic topological system and its properties have been introduced. Categorical interrelationships among Heyting algebra, G\"odel algebra, Esakia space and proposed intuitionistic topological systems have also been…
This article introduces a new approach to discrete curvature based on the concept of effective resistances. We propose a curvature on the nodes and links of a graph and present the evidence for their interpretation as a curvature. Notably,…
In this short note we review the interpretation of the spectral action for the Yang-Mills system in noncommutative geometry as a higher-derivative gauge theory, adopting an asymptotic expansion in a cutoff parameter. We recall our previous…
We propose a novel Bayesian nonparametric method to learn translation-invariant relationships on non-Euclidean domains. The resulting graph convolutional Gaussian processes can be applied to problems in machine learning for which the input…
We show that complete cotangent lifts of vector fields, their decomposition into vertical representative and holonomic part provide a geometrical framework underlying Eulerian equations of continuum mechanics. We discuss Euler equations for…
This paper presents a substructural logic of sequents with very restricted exchange and weakening rules. It is sound with respect to sequences of measurements of a quantic system. A sound and complete semantics is provided. The semantic…
We extend the theory of probability graphons, continuum representations of edge-decorated graphs arising in graph limits theory, to the 'right convergence' point of view. First of all, we generalise the notions of overlay functionals and…
The cutting equations are diagrammatic identities that are used to prove perturbative unitarity in quantum field theory. In this paper, we derive algebraic, upgraded versions of them. Differently from the diagrammatic versions, the…
Can expressiveness of a drawing be traced with a computer? In this study a neural network (perceptron) and a support vector machine are used to classify line drawings. To do this the line drawings are attributed values according to a…
We show that in two dimensions the incompressible Euler equations can be re-expressed in terms of an abelian gauge theory with a Chern-Simons term. The magnetic field corresponds to fluid vorticity and the electric field is the product of…
Derivation-based differential calculi are of great importance in noncommutative geometry, noncommutative gauge theory and integrable systems. In this paper, we propose the connection and curvature from a class of deformed derivation-based…
This paper studies higher index theory for a random sequence of bounded degree, finite graphs with diameter tending to infinity. We show that in a natural model for such random sequences the following hold almost surely: the coarse…
We study surjective maps between the positive cones of the Wiener algebra that preserve the spectrum of the sum of every two elements. We show that such maps can be extended to isometric real-linear isomorphisms of the Wiener algebra.
We show that for Multiplicative Exponential Linear Logic (without weakenings) the syntactical equivalence relation on proofs induced by cut-elimination coincides with the semantic equivalence relation on proofs induced by the multiset based…
Inclusion diagrams are introduced as an alternative to using Venn diagrams to determine the validity of categorical syllogisms, and are used here for the analysis of diverse categorical syllogisms. As a preliminary example of a possible…
We establish conditions under which latent causal graphs are nonparametrically identifiable and can be reconstructed from unknown interventions in the latent space. Our primary focus is the identification of the latent structure in…
We consider the problem of learning implicit neural representations (INRs) for signals on non-Euclidean domains. In the Euclidean case, INRs are trained on a discrete sampling of a signal over a regular lattice. Here, we assume that the…
Topological drawings are natural representations of graphs in the plane, where vertices are represented by points, and edges by curves connecting the points. Topological drawings of complete graphs and of complete bipartite graphs have been…
In this paper we present a constructive proof of cut elimination for a system of full second order logic with the structural rules absorbed and using sets instead of sequences. The standard problem of the cutrank growth is avoided by using…
Still under debate is the question of whether machine learning is capable of going beyond black-box modeling for complex physical systems. We investigate the generalizing and interpretability properties of learning algorithms. To this end,…