Related papers: A classification of nonexpansive Bratteli-Vershik …
This paper deals with the convergence time analysis of a class of fixed-time stable systems with the aim to provide a new non-conservative upper bound for its settling time. Our contribution is fourfold. First, we revisit the well-known…
We consider relaxation systems of transport equations with heterogeneous source terms and with boundary conditions, which limits are scalar conservation laws. Classical bounds fail in this context and in particular BV estimates. They are…
Pomset logic and BV are both logics that extend multiplicative linear logic (with Mix) with a third connective that is self-dual and non-commutative. Whereas pomset logic originates from the study of coherence spaces and proof nets, BV…
We consider several examples of nonautonomous systems of difference equations coming from semi-classical orthogonal polynomials via recurrence coefficients and ladder operators, with respect to various generalisations of Laguerre and…
The path to the solution of Feder-Vardi dichotomy conjecture by Bulatov and Zhuk led through showing that more and more general algebraic conditions imply polynomial-time algorithms for the finite-domain Constraint Satisfaction Problems…
We consider the 1/2-dimensional relativistic Vlasov-Maxwell system that describes the time-evolution of a plasma. We find a relatively simple criterion for spectral instability of a wide class of equilibria. This class includes…
The well-quasi-ordering (i.e., a well-founded quasi-ordering such that all antichains are finite) that defines well-structured transition systems (WSTS) is shown not to be the weakest hypothesis that implies decidability of the coverability…
First-order predicate logic extended with linear arithmetic is undecidable, in general. We show that the Bernays-Sch\"onfinkel-Ramsey (BSR) fragment extended with linear arithmetic restricted to simple bounds (SB) is decidable through…
We discuss a class of coupled systems of nonlocal nonlinear balance laws modeling multilane traffic, with the nonlocality present in both convective and source terms. The uniqueness and existence of the entropy solution are proven via…
Fixed-time stable dynamical systems are capable of achieving exact convergence to an equilibrium point within a fixed time that is independent of the initial conditions of the system. This property makes them highly appealing for designing…
We consider a 1D-2V Vlasov-Fokker-Planck multi-species ionic description coupled to fluid electrons. We address temporal stiffness with implicit time stepping, suitably preconditioned. To address temperature disparity in time and space, we…
In this paper we give an extension of the Barbashin-Krasovski-LaSalle Theorem to a class of time-varying dynamical systems, namely the class of systems for which the restricted vector field to the zero-set of the time derivative of the…
We analyze a class of exact distributed first order methods under a general setting on the underlying network and step-sizes. In more detail, we allow simultaneously for time-varying uncoordinated stepsizes and time-varying directed…
Non-exhaustive learning (NEL) is an emerging machine-learning paradigm designed to confront the challenge of non-stationary environments characterized by anon-exhaustive training sets lacking full information about the available…
Stochastic Volterra equations (SVEs) serve as mathematical models for the time evolutions of random systems with memory effects and irregular behaviour. We introduce neural stochastic Volterra equations as a physics-inspired architecture,…
We are concerned with multidimensional stochastic balance laws. We identify a class of nonlinear balance laws for which uniform spatial $BV$ bounds for vanishing viscosity approximations can be achieved. Moreover, we establish temporal…
Minimal Cantor systems of finite topological rank (that can be represented by a Bratteli-Vershik diagram with a uniformly bounded number of vertices per level) are known to have dynamical rigidity properties. We establish that such systems,…
We first investigate the algebraic structure of vertex algebroids $B$ when $B$ are simple Leibniz algebras. Next, we use these vertex algebroids $B$ to construct indecomposable non-simple $C_2$-cofinite $\mathbb{N}$-graded vertex algebras…
Motivated by Burillo, Cleary and Roever's summary on obstructions of subgroups of Thompson's group $V,$ we explored the higher dimensional version of the groups, Brin-Thompson groups $nV$ and $SV,$ a class of infinite dimensional…
We study active structure learning of Bayesian networks in an observational setting, in which there are external limitations on the number of variable values that can be observed from the same sample. Random samples are drawn from the joint…