Related papers: A classification of nonexpansive Bratteli-Vershik …
In a recent article, we introduced and studied a precise class of dynamical systems called solvable systems. These systems present a dynamic ruled by discontinuous ordinary differential equations with solvable right-hand terms and unique…
In this paper, we focus on the synthesis of secure timed systems which are modelled as timed automata. The security property that the system must satisfy is a non-interference property. Intuitively, non-interference ensures the absence of…
Absolute exponential stability problem of delay time-varying systems (DTVS) with sector-bounded nonlinearity is presented in this paper. By using the comparison principle and properties of positive systems we derive several novel criteria…
In cases where the same real-world system can be modeled both by an ODE system $\bD$ and a Boolean system $\bB$ it is of interest to identify conditions under which the two systems will be consistent, that is, will make qualitatively…
Intriguing empirical evidence exists that deep learning can work well with exoticschedules for varying the learning rate. This paper suggests that the phenomenon may be due to Batch Normalization or BN, which is ubiquitous and provides…
The Ablowitz-Ladik system, being one of the few integrable nonlinear lattices, admits a wide class of analytical solutions, ranging from exact spatially localised solitons to rational solutions in the form of the spatiotemporally localised…
Continuous latent time series models are prevalent in Bayesian modeling; examples include the Kalman filter, dynamic collaborative filtering, or dynamic topic models. These models often benefit from structured, non mean field variational…
We establish the existence and uniqueness of strong solutions, in both the PDE and probabilistic sense, for a broad class of nonlinear stochastic partial differential equations (SPDEs) on a bounded domain $\mathscr{O}\subset \mathbb{R}^d$…
We study random interpolating sequences with prescribed radii in the Nevanlinna and Smirnov classes. As it turns out these are characterized by the Blaschke condition. This follows from a more general result. Indeed, we show that this…
The present paper explores substitution minimal systems and their relation to stationary Bratteli diagrams and stationary dimension groups. The constructions involved are algorithmic and explicit, and render an effective method to compute…
We revisit the problem of learning from untrusted batches introduced by Qiao and Valiant [QV17]. Recently, Jain and Orlitsky [JO19] gave a simple semidefinite programming approach based on the cut-norm that achieves essentially…
For a backward stochastic differential equation (BSDE, for short), when the generator is not progressively measurable, it might not admit adapted solutions, shown by an example. However, for backward stochastic Volterra integral equations…
Let $C$ be a polarized nodal curve of compact type. In this paper we study coherent systems $(E,V)$ on $C$ given by a depth one sheaf $E$ having rank $r$ on each irreducible component of $C$ and a subspace $V \subset H^0(E)$ of dimension…
The congested clique model of distributed computing has been receiving attention as a model for densely connected distributed systems. While there has been significant progress on the side of upper bounds, we have very little in terms of…
We develop fast and memory efficient numerical methods for learning functions of many variables that admit sparse representations in terms of general bounded orthonormal tensor product bases. Such functions appear in many applications…
We propose a class of pure states of two-dimensional lattice systems realizing topological order associated with unitary rational vertex operator algebras. We show that the states are well-defined in the thermodynamic limit and have…
Motivated from time-inconsistent stochastic control problems, we introduce a new type of coupled forward-backward stochastic systems, namely, flows of forward-backward stochastic differential equations. They are systems consisting of a…
We consider a simple model of higher order, functional computation over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, taken separately or jointly. We show that the models so defined…
Traditional Support Vector Machines (SVMs) need pre-wired finite time windows to predict and classify time series. They do not have an internal state necessary to deal with sequences involving arbitrary long-term dependencies. Here we…
The existence of global-in-time bounded martingale solutions to a general class of cross-diffusion systems with multiplicative Stratonovich noise is proved. The equations describe multicomponent systems from physics or biology with…