Kinetic Heterogeneities at Dynamical Crossovers

We perform molecular dynamics simulations of a model glass-forming liquid to measure the size of kinetic heterogeneities, using a dynamic susceptibility $\chi_{\rm ss}(a, t)$ that quantifies the number of particles whose dynamics are correlated on the length scale $a$ and time scale $t$. By measuring $\chi_{\rm ss}(a, t)$ as a function of both $a$ and $t$, we locate local maxima $\chi^\star$ at distances $a^\star$ and times $t^\star$. Near the dynamical glass transition, we find two types of maxima, both correlated with crossovers in the dynamical behavior: a smaller maximum corresponding to the crossover from ballistic to sub-diffusive motion, and a larger maximum corresponding to the crossover from sub-diffusive to diffusive motion. Our results indicate that kinetic heterogeneities are not necessarily signatures of an impending glass or jamming transition.Comment: 6 pages, 4 figure

Torus invariant divisors

Using the language of polyhedral divisors and divisorial fans we describe invariant divisors on normal varieties X which admit an effective codimension one torus action. In this picture X is given by a divisorial fan on a smooth projective curve Y. Cartier divisors on X can be described by piecewise affine functions h on the divisorial fan S whereas Weil divisors correspond to certain zero and one dimensional faces of it. Furthermore we provide descriptions of the divisor class group and the canonical divisor. Global sections of line bundles O(D_h) will be determined by a subset of a weight polytope associated to h, and global sections of specific line bundles on the underlying curve Y.Comment: 16 pages; 5 pictures; small changes in the layout, further typos remove

Relaxation in a glassy binary mixture: Mode-coupling-like power laws, dynamic heterogeneity and a new non-Gaussian parameter

We examine the relaxation of the Kob-Andersen Lennard-Jones binary mixture using Brownian dynamics computer simulations. We find that in accordance with mode-coupling theory the self-diffusion coefficient and the relaxation time show power-law dependence on temperature. However, different mode-coupling temperatures and power laws can be obtained from the simulation data depending on the range of temperatures chosen for the power-law fits. The temperature that is commonly reported as this system's mode-coupling transition temperature, in addition to being obtained from a power law fit, is a crossover temperature at which there is a change in the dynamics from the high temperature homogeneous, diffusive relaxation to a heterogeneous, hopping-like motion. The hopping-like motion is evident in the probability distributions of the logarithm of single-particle displacements: approaching the commonly reported mode-coupling temperature these distributions start exhibiting two peaks. Notably, the temperature at which the hopping-like motion appears for the smaller particles is slightly higher than that at which the hopping-like motion appears for the larger ones. We define and calculate a new non-Gaussian parameter whose maximum occurs approximately at the time at which the two peaks in the probability distribution of the logarithm of displacements are most evident.Comment: Submitted for publication in Phys. Rev.

Anisotropic spatially heterogeneous dynamics in a model glass-forming binary mixture

We calculated a four-point correlation function G_4(k,r;t) and the corresponding structure factor S_4(k,q;t) for a model glass-forming binary mixture. These functions measure the spatial correlations of the relaxation of different particles. We found that these four-point functions are anisotropic and depend on the angle between vectors k and r (or q). The anisotropy is the strongest for times somewhat longer than the beta relaxation time but it is quite pronounced even for times comparable to the alpha relaxation time, tau_alpha. At the lowest temperatures S_4(k,q;tau_alpha) is strongly anisotropic even for the smallest wavevector q accessible in our simulation

Graph Clustering, Variational Image Segmentation Methods and Hough Transform Scale Detection for Object Measurement in Images

© 2016, Springer Science+Business Media New York. We consider the problem of scale detection in images where a region of interest is present together with a measurement tool (e.g. a ruler). For the segmentation part, we focus on the graph-based method presented in Bertozzi and Flenner (Multiscale Model Simul 10(3):1090–1118, 2012) which reinterprets classical continuous Ginzburg–Landau minimisation models in a totally discrete framework. To overcome the numerical difficulties due to the large size of the images considered, we use matrix completion and splitting techniques. The scale on the measurement tool is detected via a Hough transform-based algorithm. The method is then applied to some measurement tasks arising in real-world applications such as zoology, medicine and archaeology

Kinetic Monte Carlo and Cellular Particle Dynamics Simulations of Multicellular Systems

Computer modeling of multicellular systems has been a valuable tool for interpreting and guiding in vitro experiments relevant to embryonic morphogenesis, tumor growth, angiogenesis and, lately, structure formation following the printing of cell aggregates as bioink particles. Computer simulations based on Metropolis Monte Carlo (MMC) algorithms were successful in explaining and predicting the resulting stationary structures (corresponding to the lowest adhesion energy state). Here we present two alternatives to the MMC approach for modeling cellular motion and self-assembly: (1) a kinetic Monte Carlo (KMC), and (2) a cellular particle dynamics (CPD) method. Unlike MMC, both KMC and CPD methods are capable of simulating the dynamics of the cellular system in real time. In the KMC approach a transition rate is associated with possible rearrangements of the cellular system, and the corresponding time evolution is expressed in terms of these rates. In the CPD approach cells are modeled as interacting cellular particles (CPs) and the time evolution of the multicellular system is determined by integrating the equations of motion of all CPs. The KMC and CPD methods are tested and compared by simulating two experimentally well known phenomena: (1) cell-sorting within an aggregate formed by two types of cells with different adhesivities, and (2) fusion of two spherical aggregates of living cells.Comment: 11 pages, 7 figures; submitted to Phys Rev

A refined stable restriction theorem for vector bundles on quadric threefolds

Let E be a stable rank 2 vector bundle on a smooth quadric threefold Q in the projective 4-space P. We show that the hyperplanes H in P for which the restriction of E to the hyperplane section of Q by H is not stable form, in general, a closed subset of codimension at least 2 of the dual projective 4-space, and we explicitly describe the bundles E which do not enjoy this property. This refines a restriction theorem of Ein and Sols [Nagoya Math. J. 96, 11-22 (1984)] in the same way the main result of Coanda [J. reine angew. Math. 428, 97-110 (1992)] refines the restriction theorem of Barth [Math. Ann. 226, 125-150 (1977)].Comment: Ann. Mat. Pura Appl. 201

Complete intersections: Moduli, Torelli, and good reduction

We study the arithmetic of complete intersections in projective space over number fields. Our main results include arithmetic Torelli theorems and versions of the Shafarevich conjecture, as proved for curves and abelian varieties by Faltings. For example, we prove an analogue of the Shafarevich conjecture for cubic and quartic threefolds and intersections of two quadrics.Comment: 37 pages. Typo's fixed. Expanded Section 2.

Affine modifications and affine hypersurfaces with a very transitive automorphism group

We study a kind of modification of an affine domain which produces another affine domain. First appeared in passing in the basic paper of O. Zariski (1942), it was further considered by E.D. Davis (1967). The first named author applied its geometric counterpart to construct contractible smooth affine varieties non-isomorphic to Euclidean spaces. Here we provide certain conditions which guarantee preservation of the topology under a modification. As an application, we show that the group of biregular automorphisms of the affine hypersurface $X \subset C^{k+2}$ given by the equation $uv=p(x_1,...,x_k)$ where $p \in C[x_1,...,x_k],$ acts $m-$transitively on the smooth part reg$X$ of $X$ for any $m \in N.$ We present examples of such hypersurfaces diffeomorphic to Euclidean spaces.Comment: 39 Pages, LaTeX; a revised version with minor changes and correction