Related papers: A note on purity of crystalline local systems
We consider \emph{Alternating Direction Implicit} (ADI) splitting schemes to compute efficiently the numerical solution of the PDE osmosis model considered by Weickert et al. for several imaging applications. The discretised scheme is shown…
For a smooth affine group scheme $G$ over the ring of $p$-adic integers and a cocharacter $\mu$ of $G$, we develop the deformation theory for $G$-$\mu$-displays over the prismatic site of Bhatt-Scholze, and discuss how our deformation…
We prove that any smooth rational projective surface over the field of complex numbers has an open covering consisting of 3 subsets isomorphic to affine planes.
We classify affine varieties with an action of a connected, reductive algebraic group such that the group is isomorphic to an open orbit in the variety. This is accomplished by associating a set of one-parameter subgroups of the group to…
We present a technique for analyzing the full three-dimensional density profiles of a planar crystal-fluid interface in terms of density modes. These density modes can also be related to crystallinity order parameter profiles which are used…
Physical systems are frequently modeled as sets of points in space, each representing the position of an atom, molecule, or mesoscale particle. As many properties of such systems depend on the underlying ordering of their constituent…
In this note we describe a discrete dynamical system acting on the similarity classes of a plane convex body within the affine class of the body. We find invariant elements in all affine classes, and describe the orbits of bodies in some…
The dynamical behavior of switched affine systems is known to be more intricate than that of the well-studied switched linear systems, essentially due to the existence of distinct equilibrium points for each subsystem. First, under…
We introduce an analogue to Quasi-$F$-splittings, Quasi-$F$-purity, which is definable over rings that are not necessarily $F$-finite. We show that this property is equivalent to being Quasi-$F$-split in the complete local and $F$-finite…
Local bond order parameters based on spherical harmonics, also known as Steinhardt order parameters, are often used to determine crystal structures in molecular simulations. Here we propose a modification of this method in which the complex…
We show that a formal Deligne--Mumford stack is formal-locally represented by a formal scheme. This is an analogue of Frobenius theorem for smooth foliations in any characteristic and without smoothness hypotheses on the ambient space.
Crystallization from an amorphous atomic structure is usually seen as a spontaneous process in pursuit of a lower energy state, but for alloy systems it is often hard to elucidate because of the intrinsic structural and compositional…
Over the last few years, crystalline topology has been used in photonic crystals to realize edge- and corner-localized states that enhance light-matter interactions for potential device applications. However, the band-theoretic approaches…
Deformation theory is treated for locally notherian formal schemes (non necessarily smooth). The cotangent complex is defined in the derived category through the homology localization functor. The basic properties and results of a…
We present an affine-intuitionistic system of types and effects which can be regarded as an extension of Barber-Plotkin Dual Intuitionistic Linear Logic to multi-threaded programs with effects. In the system, dynamically generated values…
We present an affine-intuitionistic system of types and effects which can be regarded as an extension of Barber-Plotkin Dual Intuitionistic Linear Logic to multi-threaded programs with effects. In the system, dynamically generated values…
We study numerically the crystallization of a hard-sphere mixture with 8\% polydispersity. Although often used as a model glass former, for small system sizes we observe crystallization in molecular dynamics simulations. This opens the…
Formal verification has been successfully developed in computer science for verifying combinatorial classes of models and specifications. In like manner, formal verification methods have been developed for dynamical systems. However, the…
We give a definition of the topological local Laplace transformation for a Stokes-filtered local system on the complex affine line and we compute in a topological way the Stokes data of the Laplace transform of a differential system of…
In present paper, we establish sufficient conditions for existence and stability of solutions for system of nonlinear implicit fractional differential equations. The main techniques are based on method of successive approximations. Finally,…