Related papers: First-order aggregation models and zero inertia li…
We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.
We introduce a macroscopic model for a network of conveyor belts with various speeds and capacities. In a different way from traffic flow models, the product densities are forced to move with a constant velocity unless they reach a maximal…
The definition of order indices for density matrices is extended to finite systems. This makes it possible to characterize the level of ordering in such finite systems as macromolecules, nanoclusters, quantum dots, or trapped atoms. The…
Aggregation transitions in disordered mesoscopic systems play an important role in several areas of knowledge, from materials science to biology. The lack of a thermodynamic limit in systems that are intrinsically finite makes the…
We derive a conservation law on a network made of two incoming branches and a single outgoing one from a discrete traffic flow model. The continuous model is obtained from the discrete one by letting the number of vehicles tend to infinity…
The effect of inclusion of higher-order interactions in the {\it XY} model on critical properties is studied by Monte Carlo simulations. It is found that an increasing number of the higher-order terms in the Hamiltonian modifies the shape…
We establish limit theory for the Grenander estimator of a monotone density near zero. In particular we consider the situation when the true density $f_0$ is unbounded at zero, with different rates of growth to infinity. In the course of…
The first order form of a Maxwell theory and U(1) gauge theory in which a gauge invariant mass term appears is analyzed using the Dirac procedure. The form of the gauge transformation which leaves the action invariant is derived from the…
First-order methods for solving convex optimization problems have been at the forefront of mathematical optimization in the last 20 years. The rapid development of this important class of algorithms is motivated by the success stories…
First-order logic has been established as an important tool for modeling and verifying intricate systems such as distributed protocols and concurrent systems. These systems are parametric in the number of nodes in the network or the number…
We examine a two-dimensional nonequilibrium lattice model where particles adsorb at empty sites and desorb when the number of neighbouring particles is greater than a given threshold. In a certain range of parameters the model exhibits…
We present a method to derive macroscopic fluid-dynamic models from microscopic car-following models via a coarse-graining procedure. The method is first demonstrated for the optimal velocity model. The derived macroscopic model consists of…
Solutions to conservation laws satisfy the monotonicity property: the number of local extrema is a non-increasing function of time, and local maximum/minimum values decrease/increase monotonically in time. This paper investigates this…
The purpose of this paper is to establish the first and second order necessary conditions for stochastic optimal controls in infinite dimensions. The control system is governed by a stochastic evolution equation, in which both drift and…
Inverse problems are in many cases solved with optimization techniques. When the underlying model is linear, first-order gradient methods are usually sufficient. With nonlinear models, due to nonconvexity, one must often resort to…
Multi-material design optimization problems can, after discretization, be solved by the iterative solution of simpler sub-problems which approximate the original problem at an expansion point to first order. In particular, models…
In this paper, we introduce the Adaptive Inertial Method (AIM), a novel framework for accelerated first-order methods through a customizable inertial term. We provide a rigorous convergence analysis establishing a global convergence rate of…
We consider the ABC model on a ring in a strongly asymmetric regime. The main result asserts that the particles almost always form three pure domains (one of each species) and that this segregated shape evolves, in a proper time scale, as a…
Diffusion models have had a profound impact on many application areas, including those where data are intrinsically infinite-dimensional, such as images or time series. The standard approach is first to discretize and then to apply…
In many biological systems, motile agents exhibit random motion with short-term directional persistence, together with crowding effects arising from spatial exclusion. We formulate and study a class of lattice-based models for multiple…