Related papers: NNIL-formulas revisited: universal models and fini…
In the framework of abstract linear inverse problems in infinitedimensional Hilbert space we discuss generic convergence behaviours of approximate solutions determined by means of general projection methods, namely outside the standard…
In 1980 Hermann Nicolai proposed a characterization of supersymmetric theories that became known as the Nicolai map. This is a particular nonlocal and nonlinear field transformation, whose perturbative expansion is given by fermion-line…
Neural network representations are often analyzed as vectors in a fixed Euclidean space. However, their coordinates are not uniquely defined. If a hidden representation is transformed by an invertible linear map, the network function can be…
We introduce in this paper two dimensional lattice models whose continuum limit belongs to the $N=2$ series. The first kind of model is integrable and obtained through a geometrical reformulation, generalizing results known in the $k=1$…
Starting from a generalization of Weyl's relations in finite dimension $N$, we show that the Heisenberg commutation relations can be satisfied in a specific $N-1$ dimensional subspace, and display a linear map for projecting operators to…
Incomplete Information research is quite mature when it comes to so called {\em existential nulls}, where an existential null is a value stored in the database, representing an unknown object. For some reason {\em universal nulls}, that is,…
There are many ways to represent the syntax of a language with binders. In particular, nominal frameworks are metalanguages that feature (among others) name abstraction types, which can be used to specify the type of binders. The resulting…
We generalize Fitting's work on Intuitionistic Kripke models of Set Theory using Ono and Komori's Residuated Kripke models. Based on these models, we provide a generalization of the von Neumann hierarchy in the context of Modal Residuated…
Inferring latent interaction structures from observed dynamics is a fundamental inverse problem in many-body interacting systems. Most neural approaches rely on black-box surrogates over trainable graphs, achieving accuracy at the expense…
We relate the novel concept of Topological Data Analysis in Finsler space with representability property, which is a natural obstruction to prevent spurious features in high dimensions. We use decomposition of integer matrix in order to…
Starting solely with a set of possible prices for a traded asset $S$ (in infinite discrete time) expressed in units of a numeraire, we explain how to construct a Daniell type of integral representing prices of integrable functions depending…
In this paper, we present a unified general non-strict Finsler lemma. This result is general in the sense that it does not impose any restrictions on the involved matrices and, thereby, it encompasses all existing non-strict versions of…
In this paper, several nonlinear elliptic systems are investigated on graphs. One type of the sobolev embedding theorem and a new version of the strong maximum principle are established. Then, by using the variational method, the existence…
Given two maps between smooth manifolds, the obstruction to removing their coincidences (via homotopies) is measured by minimum numbers. In order to determine them we introduce and study an infinite hierarchy of Nielsen numbers N_i, i = 0,…
We show how a rescaling of fractional operators with bounded kernels may help circumvent their documented deficiencies, for example, the inconsistency at zero or the lack of inverse integral operator. On the other hand, we build a novel…
We exactly settle the complexity of graph realization, graph rigidity, and graph global rigidity as applied to three types of graphs: "globally noncrossing" graphs, which avoid crossings in all of their configurations; matchstick graphs,…
In 1936, Stanislaw Ja\'skowski gave a construction of an interesting sequence of what he called "matrices", which we would today call "finite Heyting Algebras". He then gave a very brief sketch of a proof that if a propositional formula…
The aim of this paper is to highlight a hitherto unknown computational aspect of Nonstandard Analysis. Recently, a number of nonstandard versions of Goedel's system T have been introduced ([2,9,12]), and it was shown in [26] that the…
We use the Dunkl operator approach to construct one dimensional integrable models describing N particles with internal degrees of freedom. These models are described by a general Hamiltonian belonging to the center of the Yangian or the…
We study idempotent measures and the structure of the convolution semigroups of measures over definable groups. We isolate the property of generic transitivity and demonstrate that it is sufficient (and necessary) to develop stable group…