Related papers: An implicit function theorem for the stream calcul…
We develop a qualitative-dynamics framework for general Iterated Function Systems (IFSs) on locally compact spaces. Our approach extends to IFSs a framework recently developed in the semiflows setting by James Yorke and the present author…
We extend the asymptotic Samuel function of an ideal to a filtration and show that many of the good properties of this function for an ideal are true for filtrations. There are, however, interesting differences, which we explore. We study…
We introduce a general theory of functions called Flow. We prove ZF, non-well founded ZF and ZFC can be immersed within Flow as a natural consequence from our framework. The existence of strongly inaccessible cardinals is entailed from our…
We explicitly construct families of integrable $\sigma$-model actions smoothly interpolating between exact CFTs. In the ultraviolet the theory is the direct product of two current algebras at levels $k_1$ and $k_2$. In the infrared and for…
Streams, or infinite sequences, are infinite objects of a very simple type, yet they have a rich theory partly due to their ubiquity in mathematics and computer science. Stream differential equations are a coinductive method for specifying…
We study the application of Tuplix Calculus in modular financial budget design. We formalize organizational structure using financial transfer networks. We consider the notion of flux of money over a network, and a way to enforce the…
We prove an implicit function theorem and an inverse function theorem for free noncommutative functions over operator spaces and on the set of nilpotent matrices. We apply these results to study dependence of the solution of the initial…
The article describes various aspects of mathematical modeling of fluid flows, both in general and with reference to hydraulic machinery. The article reviews historical development of corresponding methods of mathematical modeling.…
Systems biology relies on mathematical models that often involve complex and intractable likelihood functions, posing challenges for efficient inference and model selection. Generative models, such as normalizing flows, have shown…
When formalizing proofs with interactive theorem provers, it often happens that extra background knowledge (declarative or procedural) about mathematical concepts is employed without the formalizer explicitly invoking it, to help the…
We propose a simple calculus for processing data streams (infinite flows of data series), represented by finite sets of equations built on stream operators. Furthermore, functions defining streams are regularly corecursive, that is, cyclic…
We prove an implicit function theorem for non-commutative functions. We use this to show that if $p(X,Y)$ is a generic non-commuting polynomial in two variables, and $X$ is a generic matrix, then all solutions $Y$ of $p(X,Y)=0$ will commute…
Classical Density Functional Theory (DFT) is a statistical-mechanical framework to analyze fluids, which accounts for nanoscale fluid inhomogeneities and non-local intermolecular interactions. DFT can be applied to a wide range of…
Fluctuation Theorem(FT) has been studied as far from equilibrium theorem, which relates the symmetry of entropy production. To investigate the application of this theorem, especially to biological physics, we consider the FT for tilted…
We develop an axiomatic theory of balance functions (future value functions) in the theory of interest that is derived from financial considerations and which applies to general regulated payment streams, including continuous payment…
In this paper we introduce expansive iterated function systems, ( IFS) on a compact metric space then various shadowing properties and their equivalence are considered for expansive IFS.
Entropy-conservative numerical flux functions can be used to construct high-order, entropy-stable discretizations of the Euler and Navier-Stokes equations. The purpose of this short communication is to present a novel family of such…
We compute the nth derivative of a function given parametrically, and of one given implicitly, and some history for both problems. I am posting this version of the paper at the request of Shaul Zemel, whose forthcoming paper The…
Streamflow, as a natural phenomenon, is continuous in time and so are the meteorological variables which influence its variability. In practice, it can be of interest to forecast the whole flow curve instead of points (daily or hourly). To…
We introduce the concept of compactly representing a large number of state sequences, e.g., sequences of activities, as a flow diagram. We argue that the flow diagram representation gives an intuitive summary that allows the user to detect…