Related papers: On streams that are finitely red

Trees are partial orders in which every element has a linearly ordered set of predecessors. Here we initiate the exploration of the structural theory of trees with the study of different notions of \emph{branching in trees} and of…

In this paper, we study the problem of learning probabilistic logical rules for inductive and interpretable link prediction. Despite the importance of inductive link prediction, most previous works focused on transductive link prediction…

The question what information is necessary for determination of a unique solution of hydrodynamic equations for ideal fluid is investigated. Arbitrary inviscid flows of the barotropic fluid and of incompressible fluid are considered. After…

While entropy changes are the usual subject of fluctuation theorems, we seek fluctuation relations involving time-symmetric quantities, namely observables that do not change sign if the trajectories are observed backward in time. We find…

We study a class of one-dimensional full branch maps admitting two indifferent fixed points as well as critical points and/or unbounded derivative. Under some mild assumptions we prove the existence of a unique invariant mixing absolutely…

Given an inverse problem with a normalizing flow prior, we wish to estimate the distribution of the underlying signal conditioned on the observations. We approach this problem as a task of conditional inference on the pre-trained…

We propose a weak form of domination, called partially dominated splitting and the main result is that there is a partially dominated splitting over a nonsingular compact invariant set for a flow if, and only if, the associated linear…

We prove that any finitely generated one ended group has linear end depth. Moreover, we give alternative proofs to theorems relating the growth of a finitely generated group to the number of its ends.

We explore depth measures for flow hierarchy in directed networks. We define two measures -- rooted depth and relative depth, and discuss differences between them. We investigate how the two measures behave in random Erdos-Renyi graphs of…

The behavior of complex systems is determined not only by the topological organization of their interconnections but also by the dynamical processes taking place among their constituents. A faithful modeling of the dynamics is essential…

We study the finite element formulation of general boundary conditions for incompressible flow problems. Distinguishing between the contributions from the inviscid and viscid parts of the equations, we use Nitsche's method to develop a…

We expand the notion of characteristic formula to infinite finitely presentable subdirectly irreducible algebras. We prove that there is a continuum of varieties of Heyting algebras containing infinite finitely presentable subdirectly…

Building on recently established enumerative connections between lambda calculus and the theory of embedded graphs (or "maps"), this paper develops an analogy between typing (of lambda terms) and coloring (of maps). Our starting point is…

A closure theory is developed for inhomogeneous turbulent flow, which enables a systematic derivation of the turbulence constitutive relations without relying on any empirical parameters. Renormalized-perturbation approximation is performed…

We introduce and prove basic results about several graph-theoretic notions relevant to the multiresolution analysis of flow graphs that represent the transfer of control in computer programs. We take a category-theoretical viewpoint to…

We introduce a geometry on the cone of positive closed currents of bidegree (p,p) and apply it to define the intersection of such currents. We also construct and study the Green currents and the equilibrium measure for horizontal-like…

We represent transport between different regions of a fluid domain by flow networks, constructed from the discrete representation of the Perron-Frobenius or transfer operator associated to the fluid advection dynamics. The procedure is…

An exterior space is a topological space provided with a quasi-filter of open subsets (closed by finite intersections). In this work, we analyze some relations between the notion of an exterior space and the notion of a discrete semi-flow.…

In the context of incompressible fluids, the observation that turbulent singular structures fail to be space filling is known as ``intermittency'' and it has strong experimental foundations. Consequently, as first pointed out by Landau,…

We consider a model where an agent is must choose between alternatives that each provide only an imprecise description of the world (e.g. linguistic expressions). The set of alternatives is closed under logical conjunction and disjunction,…