Related papers: Injectivity and the Law of Demand
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting from the facts or top-down starting from the query. For efficiency, top-down evaluation is extended with memoization of inferred…
For a large class of metric spaces with nice local structure, which includes Banach-Finsler manifolds and geodesic spaces of curvature bounded above, we give sufficient conditions for a local homeomorphism to be a covering projection. We…
We study the problem of deriving policies, or rules, that when enacted on a complex system, cause a desired outcome. Absent the ability to perform controlled experiments, such rules have to be inferred from past observations of the system's…
It is argued that the order of the analytic expressions for the calculation of the primordial perturbations from inflation exerts a strong influence upon the results of the analysis of observables dynamics based on these expressions and,…
Mixture models have been widely used in modeling of continuous observations. For the possibility to estimate the parameters of a mixture model consistently on the basis of observations from the mixture, identifiability is a necessary…
We examine critically the Gambier equation and show that it is the generic linearisable equation containing, as reductions, all the second-order equations which are integrable through linearisation. We then introduce the general discrete…
Software verification has emerged as a key concern for ensuring the continued progress of information technology. Full verification generally requires, as a crucial step, equipping each loop with a "loop invariant". Beyond their role in…
In this paper, the possibility of detecting topological variations by observing output trajectories from networked linear time-invariant systems is investigated, where the network topology can be general, but the nodes have identical…
We introduce a new non-degeneracy condition at infinity for a real or a mixed polynomial mapping $F$ which allows us to approximate its bifurcation locus in terms of certain Newton polyhedra. We derive a sufficiency result for the Jacobian…
A faithful description of the state of a complex dynamical network would require, in principle, the measurement of all its $d$ variables, an infeasible task for systems with practical limited access and composed of many nodes with high…
We prove that an injective map $f:X\to Y$ between connected metrizable spaces $X,Y$ is continuous if for every connected subset $C\subset X$ the image $f(C)$ is connected and one of the following conditions is satisfied: (1) $Y$ is a…
Guided by the research line introduced by Martindale III in [1] on the study of the additivity of maps, this article aims establish condi- tions on triangular matrix rings in order that an map ' satisfying '(ab + ba) = '(a)b + a'(b) + '(b)a…
Physical laws are a set of rules in the relationship between observations made by the experimenter. All these observations are made through a mechanism that links the external world to the experimenter's awareness, a mechanism which is not…
Causal probing aims to analyze foundation models by examining how intervening on their representation of various latent properties impacts their outputs. Recent works have cast doubt on the theoretical basis of several leading causal…
We propose a dynamical theory of market liquidity that predicts that the average supply/demand profile is V-shaped and {\it vanishes} around the current price. This result is generic, and only relies on mild assumptions about the order flow…
We bring forward a logical system of transition algebras that enhances many-sorted first-order logic using features from dynamic logics. The sentences we consider include compositions, unions, and transitive closures of transition…
High-order phenomena play crucial roles in many systems of interest, but their analysis is often highly nontrivial. There is a rich literature providing a number of alternative information-theoretic quantities capturing high-order…
We seek to find normative criteria of adequacy for nonmonotonic logic similar to the criterion of validity for deductive logic. Rather than stipulating that the conclusion of an inference be true in all models in which the premises are…
The Multiscale Law of Requisite Variety is a scientific law relating, at each scale, the variation in an environment to the variation in internal state that is necessary for effective response by a system. While this law has been used to…
A recognized trend of research investigates generalizations of the Hadamard's inversion theorem to functions that may fail to be differentiable. In this vein, the present paper explores some consequences of a recent result about the…