title: Orbital angular momentum beam instabilities in engineered nonlinear colloidal media

abstract: In this letter, we experimentally demonstrate the evolution of the optical vortex beams of different topological charges propagating in engineered nano-colloidal suspension of negative polarizability with saturable nonlinearities. Due to the high power of the incident beam, the modulation instability leads to an exponential growth of weak perturbations and thus splits the original vortex beam into a necklace beam consisting of several bright spots. The number of observed bright spots is intrinsically determined by the topological charge of the incident beam and agrees well with the predictions of our linear stability analysis and numerical simulations. Besides contributing to the fundamental science of light-matter interactions in engineered soft-matter media, this work opens new opportunities for dynamic optical manipulation and transmission of light through scattering media as well as formation of complex optical patterns and light filamentation in naturally existing colloids such as fog and clouds.


title: Hierarchical Gated Recurrent Neural Tensor Network for Answer Triggering

abstract: In this paper, we focus on the problem of answer triggering ad-dressed by Yang et al. (2015), which is a critical component for a real-world question answering system. We employ a hierarchical gated recurrent neural tensor (HGRNT) model to capture both the context information and the deep in-teractions between the candidate answers and the question. Our result on F val-ue achieves 42.6%, which surpasses the baseline by over 10 %.


title: The Atacama Cosmology Telescope: The Two-Season ACTPol Sunyaev-Zel'dovich Effect Selected Cluster Catalog

abstract: We present a catalog of 182 galaxy clusters detected through the Sunyaev-Zel'dovich effect by the Atacama Cosmology Telescope in a contiguous 987.5 deg$^{2}$ field. The clusters were detected as SZ decrements by applying a matched filter to 148 GHz maps that combine the original ACT equatorial survey with data from the first two observing seasons using the ACTPol receiver. Optical/IR confirmation and redshift measurements come from a combination of large public surveys and our own follow-up observations. Where necessary, we measured photometric redshifts for clusters using a pipeline that achieves accuracy $\Delta z/(1 + z)=0.015$ when tested on SDSS data. Under the assumption that clusters can be described by the so-called Universal Pressure Profile and its associated mass-scaling law, the full signal-to-noise > 4 sample spans the mass range $1.6 < M^{\rm UPP}_{\rm 500c}/10^{14}{\rm M}_{\odot}<9.1$, with median $M^{\rm UPP}_{\rm 500c}=3.1 \times 10^{14}$ M$_{\odot}$. The sample covers the redshift range $0.1 < z < 1.4$ (median $z = 0.49$) and 28 clusters are new discoveries (median $z = 0.80$). We compare our catalog with other overlapping cluster samples selected using the SZ, optical,and X-ray wavelengths. We find the ratio of the UPP-based SZ mass to richness-based weak-lensing mass is $\langle M^{\rm UPP}_{\rm 500c} \rangle / \langle M^{\rm \lambda WL}_{\rm 500c} \rangle = 0.68 \pm 0.11$. After applying this calibration, the mass distribution for clusters with $M_{\rm 500c} > 4 \times 10^{14}$ M$_{\odot}$ is consistent with the number of such clusters found in the South Pole Telescope SZ survey.


title: Markov Brains: A Technical Introduction

abstract: Markov Brains are a class of evolvable artificial neural networks (ANN). They differ from conventional ANNs in many aspects, but the key difference is that instead of a layered architecture, with each node performing the same function, Markov Brains are networks built from individual computational components. These computational components interact with each other, receive inputs from sensors, and control motor outputs. The function of the computational components, their connections to each other, as well as connections to sensors and motors are all subject to evolutionary optimization. Here we describe in detail how a Markov Brain works, what techniques can be used to study them, and how they can be evolved.


title: Characterization of Hemodynamic Signal by Learning Multi-View Relationships

abstract: Multi-view data are increasingly prevalent in practice. It is often relevant to analyze the relationships between pairs of views by multi-view component analysis techniques such as Canonical Correlation Analysis (CCA). However, data may easily exhibit nonlinear relations, which CCA cannot reveal. We aim to investigate the usefulness of nonlinear multi-view relations to characterize multi-view data in an explainable manner. To address this challenge, we propose a method to characterize globally nonlinear multi-view relationships as a mixture of linear relationships. A clustering method, it identifies partitions of observations that exhibit the same relationships and learns those relationships simultaneously. It defines cluster variables by multi-view rather than spatial relationships, unlike almost all other clustering methods. Furthermore, we introduce a supervised classification method that builds on our clustering method by employing multi-view relationships as discriminative factors. The value of these methods resides in their capability to find useful structure in the data that single-view or current multi-view methods may struggle to find. We demonstrate the potential utility of the proposed approach using an application in clinical informatics to detect and characterize slow bleeding in patients whose central venous pressure (CVP) is monitored at the bedside. Presently, CVP is considered an insensitive measure of a subject's intravascular volume status or its change. However, we reason that features of CVP during inspiration and expiration should be informative in early identification of emerging changes of patient status. We empirically show how the proposed method can help discover and analyze multiple-to-multiple correlations, which could be nonlinear or vary throughout the population, by finding explainable structure of operational interest to practitioners.


title: A Sharp Lower Bound for Mixed-membership Estimation

abstract: Consider an undirected network with $n$ nodes and $K$ perceivable communities, where some nodes may have mixed memberships. We assume that for each node $1 \leq i \leq n$, there is a probability mass function $\pi_i$ defined over $\{1, 2, \ldots, K\}$ such that \[ \pi_i(k) = \mbox{the weight of node $i$ on community $k$}, \qquad 1 \leq k \leq K. \] The goal is to estimate $\{\pi_i, 1 \leq i \leq n\}$ (i.e., membership estimation). We model the network with the {\it degree-corrected mixed membership (DCMM)} model \cite{Mixed-SCORE}. Since for many natural networks, the degrees have an approximate power-law tail, we allow {\it severe degree heterogeneity} in our model. For any membership estimation $\{\hat{\pi}_i, 1 \leq i \leq n\}$, since each $\pi_i$ is a probability mass function, it is natural to measure the errors by the average $\ell^1$-norm \[ \frac{1}{n} \sum_{i = 1}^n \| \hat{\pi}_i - \pi_i\|_1. \] We also consider a variant of the $\ell^1$-loss, where each $\|\hat{\pi}_i - \pi_i\|_1$ is re-weighted by the degree parameter $\theta_i$ in DCMM (to be introduced). We present a sharp lower bound. We also show that such a lower bound is achievable under a broad situation. More discussion in this vein is continued in our forthcoming manuscript. The results are very different from those on community detection. For community detection, the focus is on the special case where all $\pi_i$ are degenerate; the goal is clustering, so Hamming distance is the natural choice of loss function, and the rate can be exponentially fast. The setting here is broader and more difficult: it is more natural to use the $\ell^1$-loss, and the rate is only polynomially fast.


title: MOL-Eye: A New Metric for the Performance Evaluation of a Molecular Signal

abstract: Inspired by the eye diagram in classical radio frequency (RF) based communications, the MOL-Eye diagram is proposed for the performance evaluation of a molecular signal within the context of molecular communication. Utilizing various features of this diagram, three new metrics for the performance evaluation of a molecular signal, namely the maximum eye height, standard deviation of received molecules, and counting SNR (CSNR) are introduced. The applicability of these performance metrics in this domain is verified by comparing the performance of binary concentration shift keying (BCSK) and BCSK with consecutive power adjustment (BCSK-CPA) modulation techniques in a vessel-like environment with laminar flow. The results show that, in addition to classical performance metrics such as bit-error rate and channel capacity, these performance metrics can also be used to show the advantage of an efficient modulation technique over a simpler one.


title: Effect of texture randomization on the slip and interfacial robustness in turbulent flows over superhydrophobic surfaces

abstract: Superhydrophobic surfaces demonstrate promising potential for skin friction reduction in naval and hydrodynamic applications. Recent developments of superhydrophobic surfaces aiming for scalable applications use random distribution of roughness, such as spray coating and etched process. However, most of previous analyses of the interaction between flows and superhydrophobic surfaces studied periodic geometries that are economically feasible only in lab-scale experiments. We conduct direct numerical simulations of turbulent flows over randomly patterned interfaces considering a range of texture widths $w^+\approx 4-26$, and solid fractions $\phi_s=11\%$ to $25\%$. Slip and no-slip boundary conditions are implemented in a pattern, modeling the presence of gas-liquid interfaces and solid elements. Our results indicate that slip of randomly distributed textures under turbulent flows are about $30\%$ less than those of surfaces with aligned features of the same size. In the small texture size limit $w^+\approx 4$, the slip length of the randomly distributed textures in turbulent flows is well described by a previously introduced Stokes flow solution of randomly distributed shear-free holes. By comparing DNS results for patterned slip and no-slip boundary against the corresponding homogenized slip length boundary conditions, we show that turbulent flows over randomly distributed posts can be represented by an isotropic slip length in streamwise and spanwise direction. The average pressure fluctuation on gas pocket is similar to that of the aligned features with the same texture size and gas fraction, but the maximum interface deformation at the leading edge of the roughness element is about twice larger when the textures are randomly distributed.


title: Monotonicity of principal eigenvalue for elliptic operators with incompressible flow: A functional approach

abstract: We establish the monotonicity of the principal eigenvalue $\lambda_1(A)$, as a function of the advection amplitude $A$, for the elliptic operator $L_{A}=-\mathrm{div}(a(x)\nabla)+A\mathbf{V}\cdot\nabla +c(x)$ with incompressible flow $\mathbf{V}$, subject to Dirichlet, Robin and Neumann boundary conditions. As a consequence, the limit of $\lambda_1(A)$ as $A\to \infty$ always exists and is finite for Robin boundary conditions. These results answer some open questions raised by [Berestycki, H., Hamel, F., Nadirashvili, N.: Elliptic eigenvalue problems with large drift and applications to nonlinear propagation phenomena, Commun. Math. Phys. 253, 451-480 (2005)]. Our method relies upon some functional which is associated with principal eigenfuntions for operator $L_A$ and its adjoint operator. As a byproduct of the approach, a new min-max characterization of $\lambda_1(A)$ is given.


abstract: Rare weak decays of $\eta^\prime\to K\pi$ have been investigated in the framework of the $U(3)$ chiral perturbation theory at the leading order. Our study shows that the branching ratio ${\cal B}(\eta^\prime\to K\pi)$ is of the order of $10^{-11}$, which is far below the present experimental upper bound given by the BESIII Collaboration. By further analysis of $\eta^\prime\to K^+\pi^-$ and $\eta^\prime\to K^0\pi^0$, the ratio of isospin amplitudes is found that $|A_{1/2}/A_{3/2}|\simeq 35$, which supports that the $\Delta I=1/2$ transition enhancement, namely, the $\Delta I=1/2$ rule, could be functional in $\eta^\prime$ weak decays.


title: On the Cauchy Problem of 3D Nonhomogeneous Navier-Stokes Equations with Density-Dependent Viscosity and Vacuum

abstract: We consider the global existence and large-time asymptotic behavior of strong solutions to the Cauchy problem of the three-dimensional nonhomogeneous incompressible Navier-Stokes equations with density-dependent viscosity and vacuum. We establish some key a priori exponential decay-in-time rates of the strong solutions. Then after using these estimates, we also obtain the global existence of strong solutions in the whole three-dimensional space, provided that the initial velocity is suitably small in the $\dot H^\beta$-norm for some $\beta\in(1/2,1].$ Note that this result is proved without any smallness conditions on the initial density. Moreover, the density can contain vacuum states and even have compact support initially.


title: Virtual Molecular Dynamics

abstract: Molecular dynamics is based on solving Newton's equations for many-particle systems that evolve along complex, highly fluctuating trajectories. The orbital instability and short-time complexity of Newtonian orbits is in sharp contrast to the more coherent behavior of collective modes such as density profiles. The notion of virtual molecular dynamics is introduced here based on temporal coarse-graining via Pade approximants and the Ito formula for stochastic processes. It is demonstrated that this framework leads to significant efficiency over traditional molecular dynamics and avoids the need to introduce coarse-grained variables and phenomenological equations for their evolution. In this framework, an all-atom trajectory is represented by a Markov chain of virtual atomic states at a discrete sequence of timesteps, transitions between which are determined by an integration of conventional molecular dynamics with Pade approximants and a microstate energy annealing methodology. The latter is achieved by a conventional and an MD NVE energy minimization schemes. This multiscale framework is demonstrated for a pertussis toxin subunit undergoing a structural transition, a T=1 capsid-like structure of HPV16 L1 protein, and two coalescing argon droplets.


title: On Uniqueness of Solutions to Conservation Laws Verifying a Single Entropy Condition

abstract: For hyperbolic systems of conservation laws, uniqueness of solutions is still largely open. We aim to expand the theory of uniqueness for systems of conservation laws. One difficulty is that many systems have only one entropy. This contrasts with scalar conservation laws, where many entropies exist. It took until 1994 to show that one entropy is enough to ensure uniqueness of solutions for the scalar conservation laws (see Panov [Mat. Zametki, 55(5):116--129, 159, 1994]). This single entropy result was proven again by De Lellis, Otto and Westdickenberg about 10 years later [Quart. Appl. Math., 62(4):687--700, 2004]. These two proofs both rely on the special connection between Hamilton--Jacobi equations and scalar conservation laws in one space dimension. However, this special connection does not extend to systems. In this paper, we prove the single entropy result for scalar conservation laws without using Hamilton--Jacobi. Our proof lays out new techniques that are promising for showing uniqueness of solutions in the systems case.


title: Sharp bound on the largest positive eigenvalue for one-dimensional Schr\"odinger operators

abstract: Let $H=-D^2+V$ be a Schr\"odinger operator on $ L^2(\mathbb{R})$, or on $ L^2(0,\infty)$. Suppose the potential satisfies $\limsup_{x\to \infty}|xV(x)|=a<\infty$. We prove that $H$ admits no eigenvalue larger than $ \frac{4a^2}{\pi^2}$. For any positive $a$ and $\lambda$ with $0<\lambda< \frac{4a^2}{\pi^2}$, we construct potentials $V$ such that $\limsup_{x\to \infty}|xV(x)|=a $ and the associated Sch\"rodinger operator $H=-D^2+V$ has eigenvalue $\lambda$.


title: Multi-Entity Dependence Learning with Rich Context via Conditional Variational Auto-encoder

abstract: Multi-Entity Dependence Learning (MEDL) explores conditional correlations among multiple entities. The availability of rich contextual information requires a nimble learning scheme that tightly integrates with deep neural networks and has the ability to capture correlation structures among exponentially many outcomes. We propose MEDL_CVAE, which encodes a conditional multivariate distribution as a generating process. As a result, the variational lower bound of the joint likelihood can be optimized via a conditional variational auto-encoder and trained end-to-end on GPUs. Our MEDL_CVAE was motivated by two real-world applications in computational sustainability: one studies the spatial correlation among multiple bird species using the eBird data and the other models multi-dimensional landscape composition and human footprint in the Amazon rainforest with satellite images. We show that MEDL_CVAE captures rich dependency structures, scales better than previous methods, and further improves on the joint likelihood taking advantage of very large datasets that are beyond the capacity of previous methods.


title: A new probability model with support on unit interval: Structural properties, regression of bounded response and applications

abstract: A new distribution on (0, 1), generalized Log-Lindley distribution, is proposed by extending the Log-Lindley distribution. This new distribution is shown to be a weighted Log-Lindley distribution. Important probabilistic and statistical properties have been derived. An interesting characterization of the weighted distribution in terms of Kullback-Liebler distance and weighted entropy has also been obtained. A useful result in insurance for the distorted premium principal is presented and verified with numerical calculations. New regression models for bounded responses based on this distribution and their application is illustrated by considering modeling a real life data on risk management and another data set on outpatient health expenditure in comparison with beta regression and Log-Lindley regression models. Much better fits for both data sets justify the relevance of the new distribution in statistical modeling and analysis. Furthermore this generalization, apart from adding flexibility for modelling, retains the compactness and tractability of statistical quantities required for statistical analysis, which is a feature of the Log-Lindley distribution. Thus, the generalized Log-Lindley distribution should be a useful addition to statistical models for practitioners.


title: Continuous quasiperiodic Schr\"odinger operators with Gordon type potentials

abstract: Let us concern the quasi-periodic Schr\"odinger operator in the continuous case, \begin{equation*} (Hy)(x)=-y^{\prime\prime}(x)+V(x,\omega x)y(x), \end{equation*} where $V:(\R/\Z)^2\to \R$ is piecewisely $\gamma$-H\"older continuous with respect to the second variable. Let $L(E)$ be the Lyapunov exponent of $Hy=Ey$. Define $\beta(\omega)$ as \begin{equation*} \beta(\omega)= \limsup_{k\to \infty}\frac{-\ln ||k\omega||}{k}. \end{equation*} We prove that $H$ admits no eigenvalue in regime $\{E\in\R:L(E)<\gamma\beta(\omega)\}$.


title: Subconvexity for symmetric square $L$-functions

abstract: Let $f$ be a holomorphic modular form of prime level $p$ and trivial nebentypus. We show that there exists a computable $\delta>0$, such that $$ L\left(\tfrac{1}{2},\mathrm{Sym}^2 f\right)\ll p^{\tfrac{1}{2}-\delta}, $$ with the implied constant depending only on $\delta$ and the weight of $f$.


title: Cohomologies of finite abelian groups

abstract: We construct a simplified resolution for the trivial G-module Z, where G is a finite abelian group, and compare it with the standard resolution. We use it to calculate cohomologies of irreducible G-lattices and their duals.


title: On eigenvalues of double branched covers

abstract: For a given knot, we study the minimal number of positive eigenvalues of the double branched cover over spanning surfaces for the knot. The value gives a lower bound for various genera, the dealternating number and the alternation number of knots, and we prove that Batson's bound for the non-orientable 4-genus gives an estimate of the value. In addition, we use the value to give a necessary condition for being quasi-alternating.


title: The search for magnetic-induced charged currents in Pb--Pb collisions with ALICE

abstract: In non-central heavy-ion collisions unprecedented strong magnetic fields, of the order of 10$^{18}$ Gauss, are expected to be produced. The interplay of such fields with QCD anomalies in the Quark--Gluon Plasma (QGP) has been predicted to lead to a number of interesting phenomena, such as the Chiral Magnetic Effect (CME). While several experimental observations are partially consistent with predictions of a CME signal, it is hard to distinguish them unambiguously from a combination of more mundane phenomena present in the anisotropic expansion of the QGP. This makes it imperative to establish that the early-time magnetic field has observable consequences not related to the anomalous QCD effects on final-state charged particles and to calibrate its strength. We test a recent prediction of a pure electromagnetic effect, which may arise in heavy-ion collisions. The varying magnetic field would induce a current within the QGP, which is expected to leave a very peculiar imprint on final-state particles: a contribution to directed flow which is asymmetric both in charge and pseudorapidity. We report the measurement of the charge dependence of directed flow with respect to the spectator plane for unidentified charged particles in Pb--Pb collisions at $\sqrt{s_\text{NN}} = 5.02$ TeV.


title: An adsorbed gas estimation model for shale gas reservoirs via statistical learning

abstract: Shale gas plays an important role in reducing pollution and adjusting the structure of world energy. Gas content estimation is particularly significant in shale gas resource evaluation. There exist various estimation methods, such as first principle methods and empirical models. However, resource evaluation presents many challenges, especially the insufficient accuracy of existing models and the high cost resulting from time-consuming adsorption experiments. In this research, a low-cost and high-accuracy model based on geological parameters is constructed through statistical learning methods to estimate adsorbed shale gas content


title: Power-law exponent in multiplicative Langevin equation with temporally correlated noise

abstract: Power-law distributions are ubiquitous in nature. Random multiplicative processes are a basic model for the generation of power-law distributions. It is known that, for discrete-time systems, the power-law exponent decreases as the autocorrelation time of the multiplier increases. However, for continuous-time ystems, it has not yet been elucidated as to how the temporal correlation affects the power-law behavior. Herein, we have analytically investigated a multiplicative Langevin equation with colored noise. We show that the power-law exponent depends on the details of the multiplicative noise, in contrast to the case of discrete-time systems.


title: Functionalization of atomic force microscopy Akiyama tips for magnetic force microscopy measurements

abstract: In this work we have used focused electron beam induced deposition of cobalt to functionalize atomic force microscopy Akiyama tips for application in magnetic force microscopy. The grown tips have a content of 90% Co after exposure to ambient air. The magnetic tips were characterized using energy dispersive X-ray spectroscopy and scanning electron microscopy. In order to investigate the magnetic properties, current loops were prepared by electron beam lithography. Measurements at room temperature as well as 4.2K were carried out and the coercive field of 68 Oe of the Co tip was estimated by applying several external fields in the opposite direction of the tip magnetization. Magnetic Akiyama tips open new possibilities for low to room-temperature magnetic force microscopy measurements.


title: Algebraization for zero-cycles and the $p$-adic cycle class map

abstract: Using an idelic argument and assuming the Gersten conjecture for Milnor K-theory, we show that the restriction map from one-cycles on a smooth projective scheme over a henselian local ring to a pro-system of thickened zero-cycles is surjective. We relate this restriction map to the $p$-adic cycle class map.


title: Torsions of integral homology and cohomology of real Grassmannians

abstract: According to a result of Ehresmann, the torsions of integral homology of real Grassmannian are all of order $2$. In this note, We compute the $\mathbb{Z}_2$-dimensions of torsions in the integral homology and cohomology of real Grassmannian.


title: On the stability of the solitary waves to the rotation Benjamin-Ono equation

abstract: In this paper, we study several aspects of solitary wave solutions of the rotation Benjamin-Ono equation. By solving a minimization problem on the line, we construct a family of even travelling waves $\psi_{c,\gamma}$. We also study the strong convergence of this family and we establish the uniqueness of $\psi_{c,\gamma}$ for $\gamma$ small enough. Note that this improves the results in [5] where the stability of the set of ground states is proven.


title: Radiative Capture of Cold Neutrons by Protons and Deuteron Photodisintegration with Twisted Beams

abstract: We consider two basic nuclear reactions: Radiative capture of neutrons by protons, $n+p\to \gamma+~d$ and its time-reversed counterpart, photodisintegration of the deuteron, $\gamma +d\to n+p$. In both of these cases we assume that the incoming beam of neutrons or photons is "twisted" by having an azimuthal phase dependence, {\it i.e.}, it carries an additional angular momentum along its direction of propagation. Taking a low-energy limit of these reactions, we derive relations between corresponding transition amplitudes and cross sections with plane-wave beams and twisted beams. Implications for experiments with twisted cold neutrons and photon beams are discussed.


title: On the algebraic Gordian distance

abstract: Using Blanchfield pairings, we show that two Alexander polynomials cannot be realized by a pair of matrices with Gordian distance one if a corresponding quadratic equation does not have an integer solution. We also give an example of how our results help in calculating the Gordian distances, algebraic Gordian distances and polynomial distances.


title: Convergence Analysis of Processes with Valiant Projection Operators in Hilbert Space

abstract: Convex feasibility problems require to find a point in the intersection of a finite family of convex sets. We propose to solve such problems by performing set-enlargements and applying a new kind of projection operators called valiant projectors. A valiant projector onto a convex set implements a special relaxation strategy, proposed by Goffin in 1971, that dictates the move toward the projection according to the distance from the set. Contrary to past realizations of this strategy, our valiant projection operator implements the strategy in a continuous fashion. We study properties of valiant projectors and prove convergence of our new valiant projections method. These results include as a special case and extend the 1985 automatic relaxation method of Censor.


title: Design, Development and Evaluation of a UAV to Study Air Quality in Qatar

abstract: Measuring gases for air quality monitoring is a challenging task that claims a lot of time of observation and large numbers of sensors. The aim of this project is to develop a partially autonomous unmanned aerial vehicle (UAV) equipped with sensors, in order to monitor and collect air quality real time data in designated areas and send it to the ground base. This project is designed and implemented by a multidisciplinary team from electrical and computer engineering departments. The electrical engineering team responsible for implementing air quality sensors for detecting real time data and transmit it from the plane to the ground. On the other hand, the computer engineering team is in charge of Interface sensors and provide platform to view and visualize air quality data and live video streaming. The proposed project contains several sensors to measure Temperature, Humidity, Dust, CO, CO2 and O3. The collected data is transmitted to a server over a wireless internet connection and the server will store, and supply these data to any party who has permission to access it through android phone or website in semi-real time. The developed UAV has carried several field tests in Al Shamal airport in Qatar, with interesting results and proof of concept outcomes.


title: Neo-logistic model for the growth of bacteria

abstract: We propose a neo-logistic model that can describe bacterial growth data precisely. This model is not derived by modifying the logistic model formally, but by incorporating the synthesis of inducible enzymes into the logistic model indirectly. Therefore, the meaning of the parameters of the neo-logistic model becomes physically clear. The neo-logistic model can approximate bacterial growth better than models previously presented, and predict the order of the saturated number of bacteria in the stationary phase from initial data including, and just after the end of, the lag phase much more accurately.


title: Holomorphic embeddings and immersions of Stein manifolds: a survey

abstract: In this paper we survey results on the existence of holomorphic embeddings and immersions of Stein manifolds into complex manifolds. Most results pertain to proper maps into Stein manifolds. We include a new result saying that every continuous map $X\to Y$ between Stein manifolds is homotopic to a proper holomorphic embedding provided that $\mathrm{dim} Y > 2\mathrm{dim}\, X$ and we allow a homotopic deformation of the Stein structure on $X$.


title: Unwritten Languages Demand Attention Too! Word Discovery with Encoder-Decoder Models

abstract: Word discovery is the task of extracting words from unsegmented text. In this paper we examine to what extent neural networks can be applied to this task in a realistic unwritten language scenario, where only small corpora and limited annotations are available. We investigate two scenarios: one with no supervision and another with limited supervision with access to the most frequent words. Obtained results show that it is possible to retrieve at least 27% of the gold standard vocabulary by training an encoder-decoder neural machine translation system with only 5,157 sentences. This result is close to those obtained with a task-specific Bayesian nonparametric model. Moreover, our approach has the advantage of generating translation alignments, which could be used to create a bilingual lexicon. As a future perspective, this approach is also well suited to work directly from speech.


title: From the Adler--Moser polynomials to the polynomial tau functions of KdV

abstract: In 1978, M. Adler and J. Moser proved that there exists a unique change of variables that transforms the Adler-Moser polynomials into the polynomial tau functions of the KdV hierarchy. In this paper we exhibit this change of variables.


title: An Ultralow Leakage Synaptic Scaling Homeostatic Plasticity Circuit With Configurable Time Scales up to 100 ks

abstract: Homeostatic plasticity is a stabilizing mechanism commonly observed in real neural systems that allows neurons to maintain their activity around a functional operating point. This phenomenon can be used in neuromorphic systems to compensate for slowly changing conditions or chronic shifts in the system configuration. However, to avoid interference with other adaptation or learning processes active in the neuromorphic system, it is important that the homeostatic plasticity mechanism operates on time scales that are much longer than conventional synaptic plasticity ones. In this paper we present an ultra-low leakage circuit, integrated into an automatic gain control scheme, that can implement the synaptic scaling homeostatic process over extremely long time scales. Synaptic scaling consists in globally scaling the synaptic weights of all synapses impinging onto a neuron maintaining their relative differences, to preserve the effects of learning. The scheme we propose controls the global gain of analog log-domain synapse circuits to keep the neuron's average firing rate constant around a set operating point, over extremely long time scales. To validate the proposed scheme, we implemented the ultra-low leakage synaptic scaling homeostatic plasticity circuit in a standard 0.18 $\mu$m Complementary Metal-Oxide Semiconductor (CMOS) process, and integrated it in an array of dynamic synapses connected to an adaptive integrate and fire neuron. The circuit occupies a silicon area of 84 $\mu$m x 22 $\mu$m and consumes approximately 10.8 nW with a 1.8 V supply voltage. We present experimental results from the homeostatic circuit and demonstrate how it can be configured to exhibit time scales of up to 100 kilo-seconds, thanks to a controllable leakage current that can be scaled down to 0.45 atto-Amperes (2.8 electrons/s).


title: Label propagation for clustering

abstract: Label propagation is a heuristic method initially proposed for community detection in networks, while the method can be adopted also for other types of network clustering and partitioning. Among all the approaches and techniques described in this book, label propagation is neither the most accurate nor the most robust method. It is, however, without doubt one of the simplest and fastest clustering methods. Label propagation can be implemented with a few lines of programming code and applied to networks with hundreds of millions of nodes and edges on a standard computer, which is true only for a handful of other methods in the literature. In this chapter, we present the basic framework of label propagation, review different advances and extensions of the original method, and highlight its equivalences with other approaches. We show how label propagation can be used effectively for large-scale community detection, graph partitioning, identification of structurally equivalent nodes and other network structures. We conclude the chapter with a summary of the label propagation methods and suggestions for future research.


title: Joining Jolie to Docker - Orchestration of Microservices on a Containers-as-a-Service Layer

abstract: Cloud computing is steadily growing and, as IaaS vendors have started to offer pay-as-you-go billing policies, it is fundamental to achieve as much elasticity as possible, avoiding over-provisioning that would imply higher costs. In this paper, we briefly analyse the orchestration characteristics of PaaSSOA, a proposed architecture already implemented for Jolie microservices, and Kubernetes, one of the various orchestration plugins for Docker; then, we outline similarities and differences of the two approaches, with respect to their own domain of application. Furthermore, we investigate some ideas to achieve a federation of the two technologies, proposing an architectural composition of Jolie microservices on Docker Container-as-a-Service layer.


title: A reversible numerical integrator of the isokinetic equations of motion

abstract: An explicit second-order numerical method to integrate the isokinetic equations of motion is derived by fitting circular arcs through every three consecutive points of the discretized trajectory, so that the tangent and the curvature satisfy the equations exactly at every central point. This scheme is reversible and robust, and allows an adaptive step size control. Its performance is tested by computing the thermodynamic properties of simple pair-potential models, and its chemical application is shown for the global search for stable structures, using canonical sampling and energy minimization, of hydrogen-bonded molecular clusters.


title: Reassessing Accuracy Rates of Median Decisions

abstract: We show how Bruno de Finetti's fundamental theorem of prevision has computable applications in statistical problems that involve only partial information. Specifically, we assess accuracy rates for median decision procedures used in the radiological diagnosis of asbestosis. Conditional exchangeability of individual radiologists' diagnoses is recognized as more appropriate than independence which is commonly presumed. The FTP yields coherent bounds on probabilities of interest when available information is insufficient to determine a complete distribution. Further assertions that are natural to the problem motivate a partial ordering of conditional probabilities, extending the computation from a linear to a quadratic programming problem.


title: Improving Search through A3C Reinforcement Learning based Conversational Agent

abstract: We develop a reinforcement learning based search assistant which can assist users through a set of actions and sequence of interactions to enable them realize their intent. Our approach caters to subjective search where the user is seeking digital assets such as images which is fundamentally different from the tasks which have objective and limited search modalities. Labeled conversational data is generally not available in such search tasks and training the agent through human interactions can be time consuming. We propose a stochastic virtual user which impersonates a real user and can be used to sample user behavior efficiently to train the agent which accelerates the bootstrapping of the agent. We develop A3C algorithm based context preserving architecture which enables the agent to provide contextual assistance to the user. We compare the A3C agent with Q-learning and evaluate its performance on average rewards and state values it obtains with the virtual user in validation episodes. Our experiments show that the agent learns to achieve higher rewards and better states.


title: Twist-stretch profiles of DNA chains

abstract: Helical molecules change their twist number under the effect of a mechanical load. We study the twist-stretch relation for a set of short DNA molecules modeled by a mesoscopic Hamiltonian. Finite temperature path integral techniques are applied to generate a large ensemble of possible configurations for the base pairs of the sequence. The model also accounts for the bending and twisting fluctuations between adjacent base pairs along the molecules stack. Simulating a broad range of twisting conformation, we compute the helix structural parameters by averaging over the ensemble of base pairs configurations. The method selects, for any applied force, the average twist angle which minimizes the molecule's free energy. It is found that the chains generally over-twist under an applied stretching and the over-twisting is physically associated to the contraction of the average helix diameter, i.e. to the damping of the base pair fluctuations. Instead, assuming that the maximum amplitude of the bending fluctuations may decrease against the external load, the DNA molecule first over-twists for weak applied forces and then untwists above a characteristic force value. Our results are discussed in relation to available experimental information albeit for kilo-base long molecules.


title: Distribution of shape elongations of main belt asteroids derived from Pan-STARRS1 photometry

abstract: Context. A lot of photometric data is produced by surveys such as Pan-STARRS, LONEOS, WISE or Catalina. These data are a rich source of information about the physical properties of asteroids. There are several possible approaches for utilizing these data. Lightcurve inversion is a typical method that works with individual asteroids. Our approach in this paper is statistical when we focused on large groups of asteroids like dynamical families and taxonomic classes, and the data were not sufficient for individual models. Aims. Our aim was to study the distributions of shape elongation $b/a$ and the spin axis latitude $\beta$ for various subpopulations of asteroids and to compare our results, based on Pan-STARRS1 survey, with statistics previously done using different photometric data (Lowell database, WISE data). Methods. We use the LEADER algorithm to compare the $b/a$ and $\beta$ distributions for different subpopulations of asteroids. The algorithm creates a cumulative distributive function (CDF) of observed brightness variations, and computes the $b/a$ and $\beta$ distributions using analytical basis functions that yield the observed CDF. A variant of LEADER is used to solve the joint distributions for synthetic populations to test the validity of the method. Results. When comparing distributions of shape elongation for groups of asteroids with different diameters $D$, we found that there are no differences for $D < 25$ km. We also constructed distributions for asteroids with different rotation periods and revealed that the fastest rotators with $P = 0 - 4$ h are more spheroidal than the population with $P = 4 - 8$ h.


title: Gram matrix associated to controlled frames

abstract: Controlled frames have been recently introduced in Hilbert spaces to improve the numerical efficiency of interactive algorithms for inverting the frame operator. In this paper, unlike the cross-Gram matrix of two different sequences which is not always a diagnostic tool, we define the controlled-Gram matrix of a sequence as a practical implement to diagnose that a given sequence is a controlled Bessel, frame or Riesz basis. Also, we discuss the cases that the operator associated to controlled Gram matrix will be bounded, invertible, Hilbert-Schmidt or a trace-class operator. Similar to standard frames, we present an explicit structure for controlled Riesz bases and show that every $(U, C)$-controlled Riesz basis $\{f_{k}\}_{k=1}^{\infty}$ is in the form $\{U^{-1}CMe_{k}\}_{k=1}^{\infty}$, where $M$ is a bijective operator on $H$. Furthermore, we propose an equivalent accessible condition to the sequence $\{f_{k}\}_{k=1}^{\infty}$ being a $(U, C)$-controlled Riesz basis.


title: Frustrated quantum magnetism in the Kondo lattice on the zigzag ladder

abstract: The interplay between Kondo effect, indirect magnetic interaction and geometrical frustration is studied in the Kondo lattice on the one-dimensional zigzag ladder. Using the density-matrix renormalization group (DMRG), the ground state and various short- and long-range spin- and density-correlation functions are calculated for the model at half-filling as a function of the antiferromagnetic Kondo interaction down to $J=0.3t$ where $t$ is the nearest-neighbor hopping on the zigzag ladder. Geometrical frustration is shown to lead to at least two critical points: Starting from the strong-$J$ limit, where almost local Kondo screening dominates and where the system is a nonmagnetic Kondo insulator, antiferromagnetic correlations between nearest-neighbor and next-nearest-neighbor local spins become stronger and stronger, until at $J^{\rm dim}_{\rm c} \approx 0.89t$ frustration is alleviated by a spontaneous breaking of translational symmetry and a corresponding transition to a dimerized state. This is characterized by antiferromagnetic correlations along the legs and by alternating antiferro- and ferromagnetic correlations on the rungs of the ladder. A mechanism of partial Kondo screening that has been suggested for the Kondo lattice on the two-dimensional triangular lattice is not realized in the one-dimensional case. Furthermore, within the symmetry-broken dimerized state, there is a magnetic transition to a $90^{\circ}$ quantum spin spiral with quasi-long-range order at $J^{\rm mag}_{\rm c} \approx 0.84t$. The quantum-critical point is characterized by a closure of the spin gap (with decreasing $J$) and a divergence of the spin-correlation length and of the spin-structure factor $S(q)$ at wave vector $q=\pi/2$. This is opposed to the model on the one-dimensional bipartite chain, which is known to have a finite spin gap for all $J>0$ at half-filling.


title: Correlation between photoemissive and morphological properties of KBr thin film photocathodes

abstract: In the present work, the morphological properties of KBr photocathodes are correlated with their photoemissive behaviour using a combination of analyzing techniques including SEM, TEM and AFM. From morphological studies, it is observed that KBr films have granular characteristics with varied average grain size and grain density. Structure and orientation of individual grains have been investigated by selected area electron diffraction technique and found to be the crystalline in nature with a face centered cubic structure. It is evident from the AFM analysis that the root mean square roughness and maximum area peak height have been decreased with the deposition of more KBr layers. The photoemission studies reveal that the resultant photocurrent is enhanced with increasing film thickness and it is directly related to the surface area coverage and grain density.


title: Distinguished cycles on varieties with motive of abelian type and the Section Property

abstract: A remarkable result of Peter O'Sullivan asserts that the algebra epimorphism from the rational Chow ring of an abelian variety to its rational Chow ring modulo numerical equivalence admits a (canonical) section. Motivated by Beauville's splitting principle, we formulate a conjectural Section Property which predicts that for smooth projective holomorphic symplectic varieties there exists such a section of algebra whose image contains all the Chern classes of the variety. In this paper, we investigate this property for (not necessarily symplectic) varieties with Chow motive of abelian type. We introduce the notion of symmetrically distinguished abelian motive and use it to provide a sufficient condition for a smooth projective variety to admit such a section. We then give series of examples of varieties for which our theory works. For instance, we prove the existence of such a section for arbitrary products of varieties with Chow groups of finite rank, abelian varieties, hyperelliptic curves, Fermat cubic hypersurfaces, Hilbert schemes of points on an abelian surface or a Kummer surface or a K3 surface with Picard number at least 19, and generalized Kummer varieties. The latter cases provide evidence for the conjectural Section Property and exemplify the mantra that the motives of holomorphic symplectic varieties should behave as the motives of abelian varieties, as algebra objects.


title: Urban Delay Tolerant Network Simulator (UDTNSim v0.1)

abstract: Delay Tolerant Networking (DTN) is an approach to networking which handles network disruptions and high delays that may occur in many kinds of communication networks. The major reasons for high delay include partial connectivity of networks as can be seen in many types of ad hoc wireless networks with frequent network partitions, long propagation time as experienced in inter-planetary and deep space networks, and frequent link disruptions due to the mobility of nodes as observed in terrestrial wireless network environments. Experimenting network architectures, protocols, and mobility models in such real-world scenarios is difficult due to the complexities involved in the network environment. Therefore, in this document, we present the documentation of an Urban Delay Tolerant Network Simulator (UDTNSim) version 0.1, capable of simulating urban road network environments with DTN characteristics including mobility models and routing protocols. The mobility models included in this version of UDTNSim are (i) Stationary Movement, (ii) Simple Random Movement, (iii) Path Type Based Movememt, (iv) Path Memory Based Movement, (v) Path Type with Restricted Movement, and (vi) Path Type with Wait Movement. In addition to mobility models, we also provide three routing and data hand-off protocols: (i) Epidemic Routing, (ii) Superior Only Handoff, and (iii) Superior Peer Handoff. UDTNSim v0.1 is designed using object-oriented programming approach in order to provide flexibility in addition of new features to the DTN environment. UDTNSim v0.1 is distributed as an open source simulator for the use of the research community.


title: A phase-field approach for the interface reconstruction in a nonlinear elliptic problem arising from cardiac electrophysiology

abstract: In this work we tackle the reconstruction of discontinuous coefficients in a semilinear elliptic equation from the knowledge of the solution on the boundary of the domain, an inverse problem motivated by biological application in cardiac electrophysiology. We formulate a constraint minimization problem involving a quadratic mismatch functional enhanced with a regularization term which penalizes the perimeter of the inclusion to be identified. We introduce a phase-field relaxation of the problem, replacing the perimeter term with a Ginzburg-Landau-type energy. We prove the $\Gamma$-convergence of the relaxed functional to the original one (which implies the convergence of the minimizers), we compute the optimality conditions of the phase-field problem and define a reconstruction algorithm based on the use of the Fr\`echet derivative of the functional. After introducing a discrete version of the problem we implement an iterative algorithm and prove convergence properties. Several numerical results are reported, assessing the effectiveness and the robustness of the algorihtm in identifying arbitrarily-shaped inclusions. Finally, we compare our approach to a shape derivative based technique, both from a theoretical point of view (computing the sharp interface limit of the optimality conditions) and from a numerical one.


title: Mapping temporal-network percolation to weighted, static event graphs

abstract: Many processes of spreading and diffusion take place on temporal networks, and their outcomes are influenced by correlations in the times of contact. These correlations have a particularly strong influence on processes where the spreading agent has a limited lifetime at nodes: disease spreading (recovery time), diffusion of rumors (lifetime of information), and passenger routing (maximum acceptable time between transfers). Here, we introduce weighted event graphs as a powerful and fast framework for studying connectivity determined by time-respecting paths where the allowed waiting times between contacts have an upper limit. We study percolation on the weighted event graphs and in the underlying temporal networks, with simulated and real-world networks. We show that this type of temporal-network percolation is analogous to directed percolation, and that it can be characterized by multiple order parameters.


title: On the Strong Feller Property of Stochastic Delay Differential Equations with Singular Drift

abstract: In this paper, we prove the strong Feller property for stochastic delay (or functional) differential equations with singular drift. We extend an approach of Maslowski and Seidler to derive the strong Feller property of those equations. The argumentation is based on the well-posedness and the strong Feller property of the equations' drift-free version. To this aim, we investigate a certain convergence of random variables in topological spaces in order to deal with discontinuous drift coefficients.


title: L\'evy-stable two-pion Bose-Einstein correlations in $\sqrt{s_{_{NN}}}=200$ GeV Au$+$Au collisions

abstract: We present a detailed measurement of charged two-pion correlation functions in 0%-30% centrality $\sqrt{s_{_{NN}}}=200$ GeV Au$+$Au collisions by the PHENIX experiment at the Relativistic Heavy Ion Collider. The data are well described by Bose-Einstein correlation functions stemming from L\'evy-stable source distributions. Using a fine transverse momentum binning, we extract the correlation strength parameter $\lambda$, the L\'evy index of stability $\alpha$ and the L\'evy length scale parameter $R$ as a function of average transverse mass of the pair $m_T$. We find that the positively and the negatively charged pion pairs yield consistent results, and their correlation functions are represented, within uncertainties, by the same L\'evy-stable source functions. The $\lambda(m_T)$ measurements indicate a decrease of the strength of the correlations at low $m_T$. The L\'evy length scale parameter $R(m_T)$ decreases with increasing $m_T$, following a hydrodynamically predicted type of scaling behavior. The values of the L\'evy index of stability $\alpha$ are found to be significantly lower than the Gaussian case of $\alpha=2$, but also significantly larger than the conjectured value that may characterize the critical point of a second-order quark-hadron phase transition.


title: Closing the loop between neural network simulators and the OpenAI Gym

abstract: Since the enormous breakthroughs in machine learning over the last decade, functional neural network models are of growing interest for many researchers in the field of computational neuroscience. One major branch of research is concerned with biologically plausible implementations of reinforcement learning, with a variety of different models developed over the recent years. However, most studies in this area are conducted with custom simulation scripts and manually implemented tasks. This makes it hard for other researchers to reproduce and build upon previous work and nearly impossible to compare the performance of different learning architectures. In this work, we present a novel approach to solve this problem, connecting benchmark tools from the field of machine learning and state-of-the-art neural network simulators from computational neuroscience. This toolchain enables researchers in both fields to make use of well-tested high-performance simulation software supporting biologically plausible neuron, synapse and network models and allows them to evaluate and compare their approach on the basis of standardized environments of varying complexity. We demonstrate the functionality of the toolchain by implementing a neuronal actor-critic architecture for reinforcement learning in the NEST simulator and successfully training it on two different environments from the OpenAI Gym.


title: A digit reversal property for an analogue of Stern's sequence

abstract: We consider a variant of Stern's diatomic sequence, studied recently by Northshield. We prove that this sequence $b$ is invariant under \emph{digit reversal} in base $3$, that is, $b_n=b_{n^R}$, where $n^R$ is obtained by reversing the base-$3$ expansion of $n$.


title: Robust Attitude Tracking for Aerobatic Helicopters: A Geometric Approach

abstract: This paper highlights the significance of the rotor dynamics in control design for small-scale aerobatic helicopters, and proposes two singularity free robust attitude tracking controllers based on the available states for feedback. 1. The first, employs the angular velocity and the flap angle states (a variable that is not easy to measure) and uses a backstepping technique to design a robust compensator (BRC) to \textbf{\textit{actively}} suppress the disturbance induced tracking error. 2. The second exploits the inherent damping present in the helicopter dynamics leading to a structure preserving, \textbf{\textit{passively}} robust controller (SPR), which is free of angular velocity and flap angle feedback. The BRC controller is designed to be robust in the presence of two types of uncertainties: structured and unstructured. The structured disturbance is due to uncertainty in the rotor parameters, and the unstructured perturbation is modeled as an exogenous torque acting on the fuselage. The performance of the controller is demonstrated in the presence of both types of disturbances through numerical simulations. In contrast, the SPR tracking controller is derived such that the tracking error dynamics inherits the natural damping characteristic of the helicopter. The SPR controller is shown to be almost globally asymptotically stable and its performance is evaluated experimentally by performing aggressive flip maneuvers. Throughout the study, a nonlinear coupled rotor-fuselage helicopter model with first order flap dynamics is used.


title: Large deviation principles and fluctuation theorems for currents in semi-Markov processes

abstract: In this short note we consider semi-Markov processes satisfying the condition of direction-time independence (Markov renewal processes). We derive large deviation principles and fluctuation theorems for the empirical current and the empirical currents along cycles. Our derivation is based on the joint LDP for the empirical measure and flow recently proved in \cite{MZ}.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: Functional renormalization group study of the Quark-Meson model with $\omega$ meson

abstract: We study the phase diagram of two-flavor massless QCD at finite baryon density by applying the functional renormalization group (FRG) for a quark-meson model with $\sigma, \pi$, and $\omega$ mesons. The dynamical fluctuations of quarks, $\sigma$, and $\pi$ are included into the flow equations, while the amplitudes of $\omega$-fields are also allowed to fluctuate. At high temperature the effects of the $\omega$-field on the phase boundary are qualitatively similar to the mean-field calculations; the phase boundary is shifted to the higher chemical potential region. As the temperature is lowered, however, the transition line bends back to the lower chemical potential region, irrespective to the strength of the vector coupling. In our FRG calculations, the driving force of the low temperature first order line is the fluctuations rather the quark density, and the effects of $\omega$-fields have little impact. At low temperature, the effective potential at small $\sigma$ field is very sensitive to the infrared cutoff scale, and this significantly affects our determination of the phase boundaries. The critical chemical potential at the tricritical point is affected by the $\omega$-field effects but its critical temperature stays around the similar value. Some caveats are given in interpreting our model results.


title: Type II balanced truncation for deterministic bilinear control systems

abstract: When solving partial differential equations numerically, usually a high order spatial discretisation is needed. Model order reduction (MOR) techniques are often used to reduce the order of spatially-discretised systems and hence reduce computational complexity. A particular MOR technique to obtain a reduced order model (ROM) is balanced truncation (BT), a method which has been extensively studied for deterministic linear systems. As so-called type I BT it has already been extended to bilinear equations, an important subclass of nonlinear systems. We provide an alternative generalisation of the linear setting to bilinear systems which is called type II BT. The Gramians that we propose in this context contain information about the control. It turns out that the new approach delivers energy bounds which are not just valid in a small neighbourhood of zero. Furthermore, we provide an $H_\infty$-error bound which so far is not known when applying type I BT to bilinear systems.


title: Magnetization reversal in Kagome artificial spin ice studied by first-order reversal curves

abstract: Magnetization reversal of interconnected Kagome artificial spin ice was studied by the first-order reversal curve (FORC) technique based on the magneto-optical Kerr effect and magnetoresistance measurements. The magnetization reversal exhibits a distinct six-fold symmetry with the external field orientation. When the field is parallel to one of the nano-bar branches, the domain nucleation/propagation and annihilation processes sensitively depend on the field cycling history and the maximum field applied. When the field is nearly perpendicular to one of the branches, the FORC measurement reveals the magnetic interaction between the Dirac strings and orthogonal branches during the magnetization reversal process. Our results demonstrate that the FORC approach provides a comprehensive framework for understanding the magnetic interaction in the magnetization reversal processes of spin-frustrated systems.


title: From localization to anomalous diffusion in the dynamics of coupled kicked rotors

abstract: We study the effect of many-body quantum interference on the dynamics of coupled periodically kicked systems whose classical dynamics is chaotic and shows an unbounded energy increase. We specifically focus on a $N$ coupled kicked rotors model: we find that the interplay of quantumness and interactions dramatically modifies the system dynamics inducing a transition between energy saturation and unbounded energy increase. We discuss this phenomenon both numerically and analytically, through a mapping onto a $N$-dimensional Anderson model. The thermodynamic limit $N\to\infty$, in particular, always shows unbounded energy growth. This dynamical delocalization is genuinely quantum and very different from the classical one: using a mean field approximation we see that the system self-organizes so that the energy per site increases in time as a power law with exponent smaller than one. This wealth of phenomena is a genuine effect of quantum interference: the classical system for $N\geq 2$ always behaves ergodically with an energy per site linearly increasing in time. Our results show that quantum mechanics can deeply alter the regularity/ergodicity properties of a many body driven system.


title: Safe & Robust Reachability Analysis of Hybrid Systems

abstract: Hybrid systems - more precisely, their mathematical models - can exhibit behaviors, like Zeno behaviors, that are absent in purely discrete or purely continuous systems. First, we observe that, in this context, the usual definition of reachability - namely, the reflexive and transitive closure of a transition relation - can be unsafe, ie, it may compute a proper subset of the set of states reachable in finite time from a set of initial states. Therefore, we propose safe reachability, which always computes a superset of the set of reachable states. Second, in safety analysis of hybrid and continuous systems, it is important to ensure that a reachability analysis is also robust wrt small perturbations to the set of initial states and to the system itself, since discrepancies between a system and its mathematical models are unavoidable. We show that, under certain conditions, the best Scott continuous approximation of an analysis A is also its best robust approximation. Finally, we exemplify the gap between the set of reachable states and the supersets computed by safe reachability and its best robust approximation.


title: Gravitational Wave (GW) Classification, Space GW Detection Sensitivities and AMIGO (Astrodynamical Middle-frequency Interferometric GW Observatory)

abstract: After first reviewing the gravitational wave (GW) spectral classification. we discuss the sensitivities of GW detection in space aimed at low frequency band (100 nHz-100 mHz) and middle frequency band (100 mHz-10 Hz). The science goals are to detect GWs from (i) Supermassive Black Holes; (ii) Extreme-Mass-Ratio Black Hole Inspirals; (iii) Intermediate-Mass Black Holes; (iv) Galactic Compact Binaries; (v) Stellar-Size Black Hole Binaries; and (vi) Relic GW Background. The detector proposals have arm length ranging from 100 km to 1.35x109 km (9 AU) including (a) Solar orbiting detectors and (b) Earth orbiting detectors. We discuss especially the sensitivities in the frequency band 0.1-10 microHz and the middle frequency band (0.1 Hz-10 Hz). We propose and discuss AMIGO as an Astrodynamical Middle-frequency Interferometric GW Observatory.


title: A monolithic ALE Newton-Krylov solver with Multigrid-Richardson-Schwarz preconditioning for incompressible Fluid Structure Interaction

abstract: In this paper we study a monolithic Newton-Krylov solver with exact Jacobian for the solution of incompressible FSI problems. A main focus of this work is on the use of geometric multigrid preconditioners with modified Richardson smoothers preconditioned by an additive Schwarz algorithm. The definition of the subdomains in the Schwarz smoother is driven by the natural splitting between fluid and solid. The monolithic approach guarantees the automatic satisfaction of the stress balance and the kinematic conditions across the fluid-solid interface. The enforcement of the incompressibility conditions both for the fluid and for the solid parts is taken care of by using inf-sup stable finite element pairs without stabilization terms. A suitable Arbitrary Lagrangian Eulerian (ALE) operator is chosen in order to avoid mesh entanglement while solving for large displacements of the moving fluid domain. Numerical results of two and three-dimensional benchmark tests with Newtonian fluids and nonlinear hyperelastic solids show a robust performance of our fully incompressible solver especially for the more challenging direct-to-steady-state problems.


title: Error estimates for the numerical approximation of a distributed optimal control problem governed by the von K\'arm\'an equations

abstract: In this paper, we discuss the numerical approximation of a distributed optimal control problem governed by the von Karman equations, defined in polygonal domains with point-wise control constraints. Conforming finite elements are employed to discretize the state and adjoint variables. The control is discretized using piece-wise constant approximations. A priori error estimates are derived for the state, adjoint and control variables under minimal regularity assumptions on the exact solution. Numerical results that justify the theoretical results are presented.


title: Geometry in the Courtroom

abstract: There has been a recent media blitz on a cohort of mathematicians valiantly working to fix America's democratic system by combatting gerrymandering with geometry. While statistics commonly features in the courtroom (forensics, DNA analysis, etc.), the gerrymandering news raises a natural question: in what other ways has pure math, specifically geometry and topology, been involved in court cases and legal scholarship? In this survey article, we collect a few examples with topics ranging from the Pythagorean formula to the Ham Sandwich Theorem, and we discuss some jurists' perspectives on geometric reasoning in the legal realm. One of our goals is to provide math educators with engaging real-world instances of some abstract geometric concepts.


title: Irreducible $\varphi$-Verma modules for hyperelliptic Heisenberg algebras

abstract: We defined the hyperelliptic Heisenberg algebra as the Heisenberg subalgebra of a hyperlliptic Krichever-Novikov algebra. Then we gave a explicit irreducibility criteria for $\varphi$-Verma modules for these algebras.


title: Algebraic laminations for free products and arational trees

abstract: This work is the first step towards a description of the Gromov boundary of the free factor graph of a free product, with applications to subgroup classification for outer automorphisms. We extend the theory of algebraic laminations dual to trees, as developed by Coulbois, Hilion, Lustig and Reynolds, to the context of free products; this also gives us an opportunity to give a unified account of this theory. We first show that any $\mathbb{R}$-tree with dense orbits in the boundary of the corresponding outer space can be reconstructed as a quotient of the boundary of the group by its dual lamination. We then describe the dual lamination in terms of a band complex on compact $\mathbb{R}$-trees (generalizing Coulbois-Hilion-Lustig's compact heart), and we analyze this band complex using versions of the Rips machine and of the Rauzy-Veech induction. An important output of the theory is that the above map from the boundary of the group to the $\mathbb{R}$-tree is 2-to-1 almost everywhere. A key point for our intended application is a unique duality result for arational trees. It says that if two trees have a leaf in common in their dual laminations, and if one of the trees is arational and relatively free, then they are equivariantly homeomorphic. This statement is an analogue of a result in the free group saying that if two trees are dual to a common current and one of the trees is free arational, then the two trees are equivariantly homeomorphic. However, we notice that in the setting of free products, the continuity of the pairing between trees and currents fails. For this reason, in all this paper, we work with laminations rather than with currents.


title: Automatic Tool Landmark Detection for Stereo Vision in Robot-Assisted Retinal Surgery

abstract: Computer vision and robotics are being increasingly applied in medical interventions. Especially in interventions where extreme precision is required they could make a difference. One such application is robot-assisted retinal microsurgery. In recent works, such interventions are conducted under a stereo-microscope, and with a robot-controlled surgical tool. The complementarity of computer vision and robotics has however not yet been fully exploited. In order to improve the robot control we are interested in 3D reconstruction of the anatomy and in automatic tool localization using a stereo microscope. In this paper, we solve this problem for the first time using a single pipeline, starting from uncalibrated cameras to reach metric 3D reconstruction and registration, in retinal microsurgery. The key ingredients of our method are: (a) surgical tool landmark detection, and (b) 3D reconstruction with the stereo microscope, using the detected landmarks. To address the former, we propose a novel deep learning method that detects and recognizes keypoints in high definition images at higher than real-time speed. We use the detected 2D keypoints along with their corresponding 3D coordinates obtained from the robot sensors to calibrate the stereo microscope using an affine projection model. We design an online 3D reconstruction pipeline that makes use of smoothness constraints and performs robot-to-camera registration. The entire pipeline is extensively validated on open-sky porcine eye sequences. Quantitative and qualitative results are presented for all steps.


title: On Inductive Abilities of Latent Factor Models for Relational Learning

abstract: Latent factor models are increasingly popular for modeling multi-relational knowledge graphs. By their vectorial nature, it is not only hard to interpret why this class of models works so well, but also to understand where they fail and how they might be improved. We conduct an experimental survey of state-of-the-art models, not towards a purely comparative end, but as a means to get insight about their inductive abilities. To assess the strengths and weaknesses of each model, we create simple tasks that exhibit first, atomic properties of binary relations, and then, common inter-relational inference through synthetic genealogies. Based on these experimental results, we propose new research directions to improve on existing models.


title: Bayesian nonparametric Principal Component Analysis

abstract: Principal component analysis (PCA) is very popular to perform dimension reduction. The selection of the number of significant components is essential but often based on some practical heuristics depending on the application. Only few works have proposed a probabilistic approach able to infer the number of significant components. To this purpose, this paper introduces a Bayesian nonparametric principal component analysis (BNP-PCA). The proposed model projects observations onto a random orthogonal basis which is assigned a prior distribution defined on the Stiefel manifold. The prior on factor scores involves an Indian buffet process to model the uncertainty related to the number of components. The parameters of interest as well as the nuisance parameters are finally inferred within a fully Bayesian framework via Monte Carlo sampling. A study of the (in-)consistence of the marginal maximum a posteriori estimator of the latent dimension is carried out. A new estimator of the subspace dimension is proposed. Moreover, for sake of statistical significance, a Kolmogorov-Smirnov test based on the posterior distribution of the principal components is used to refine this estimate. The behaviour of the algorithm is first studied on various synthetic examples. Finally, the proposed BNP dimension reduction approach is shown to be easily yet efficiently coupled with clustering or latent factor models within a unique framework.


title: Alpha-invariants and purely log terminal blow-ups

abstract: We prove that the sum of the $\alpha$-invariants of two different Koll\'ar components of a Kawamata log terminal singularity is less than $1$.


title: An Improved Fatigue Detection System Based on Behavioral Characteristics of Driver

abstract: In recent years, road accidents have increased significantly. One of the major reasons for these accidents, as reported is driver fatigue. Due to continuous and longtime driving, the driver gets exhausted and drowsy which may lead to an accident. Therefore, there is a need for a system to measure the fatigue level of driver and alert him when he/she feels drowsy to avoid accidents. Thus, we propose a system which comprises of a camera installed on the car dashboard. The camera detect the driver's face and observe the alteration in its facial features and uses these features to observe the fatigue level. Facial features include eyes and mouth. Principle Component Analysis is thus implemented to reduce the features while minimizing the amount of information lost. The parameters thus obtained are processed through Support Vector Classifier for classifying the fatigue level. After that classifier output is sent to the alert unit.


title: On the rank of the flat unitary summand of the Hodge bundle

abstract: Let $f\colon S\to B$ be a non-isotrivial fibred surface. We prove that the genus $g$, the rank $u_f$ of the unitary summand of the Hodge bundle $f_*\omega_f$ and the Clifford index $c_f$ satisfy the inequality $u_f \leq g - c_f$. Moreover, we prove that if the general fibre is a plane curve of degree $\geq 5$ then the stronger bound $u_f \leq g - c_f-1$ holds. In particular, this provides a strengthening of the bounds of \cite{BGN} and of \cite{FNP}. The strongholds of our arguments are the deformation techniques developed by the first author in \cite{Rigid} and by the third author and Pirola in \cite{PT}, which display here naturally their power and depht.


title: Well-posedness of a mathematical model for Alzheimer's disease

abstract: We consider the existence and uniqueness of solutions of an initial-boundary value problem for a coupled system of PDE's arising in a model for Alzheimer's disease. Apart from reaction diffusion equations, the system contains a transport equation in a bounded interval for a probability measure which is related to the malfunctioning of neurons. The main ingredients to prove existence are: the method of characteristics for the transport equation, a priori estimates for solutions of the reaction diffusion equations, a variant of the classical contraction theorem, and the Wasserstein metric for the part concerning the probability measure. We stress that all hypotheses on the data are not suggested by mathematical artefacts, but are naturally imposed by modelling considerations. In particular the use of a probability measure is natural from a modelling point of view. The nontrivial part of the analysis is the suitable combination of the various mathematical tools, which is not quite routine and requires various technical adjustments.


title: Neural Affine Grayscale Image Denoising

abstract: We propose a new grayscale image denoiser, dubbed as Neural Affine Image Denoiser (Neural AIDE), which utilizes neural network in a novel way. Unlike other neural network based image denoising methods, which typically apply simple supervised learning to learn a mapping from a noisy patch to a clean patch, we formulate to train a neural network to learn an \emph{affine} mapping that gets applied to a noisy pixel, based on its context. Our formulation enables both supervised training of the network from the labeled training dataset and adaptive fine-tuning of the network parameters using the given noisy image subject to denoising. The key tool for devising Neural AIDE is to devise an estimated loss function of the MSE of the affine mapping, solely based on the noisy data. As a result, our algorithm can outperform most of the recent state-of-the-art methods in the standard benchmark datasets. Moreover, our fine-tuning method can nicely overcome one of the drawbacks of the patch-level supervised learning methods in image denoising; namely, a supervised trained model with a mismatched noise variance can be mostly corrected as long as we have the matched noise variance during the fine-tuning step.


title: Semi-supervised learning

abstract: Semi-supervised learning deals with the problem of how, if possible, to take advantage of a huge amount of not classified data, to perform classification, in situations when, typically, the labelled data are few. Even though this is not always possible (it depends on how useful is to know the distribution of the unlabelled data in the inference of the labels), several algorithm have been proposed recently. A new algorithm is proposed, that under almost neccesary conditions, attains asymptotically the performance of the best theoretical rule, when the size of unlabeled data tends to infinity. The set of necessary assumptions, although reasonables, show that semi-parametric classification only works for very well conditioned problems.


title: Semi-infinite Pl\"ucker relations and Weyl modules

abstract: The goal of this paper is twofold. First, we write down the semi-infinite Pl\"ucker relations, describing the Drinfeld-Pl\"ucker embedding of the (formal version of) semi-infinite flag varieties in type A. Second, we study the homogeneous coordinate ring, i.e. the quotient by the ideal generated by the semi-infinite Pl\"ucker relations. We establish the isomorphism with the algebra of dual global Weyl modules and derive a new character formula.


title: Organizing Multimedia Data in Video Surveillance Systems Based on Face Verification with Convolutional Neural Networks

abstract: In this paper we propose the two-stage approach of organizing information in video surveillance systems. At first, the faces are detected in each frame and a video stream is split into sequences of frames with face region of one person. Secondly, these sequences (tracks) that contain identical faces are grouped using face verification algorithms and hierarchical agglomerative clustering. Gender and age are estimated for each cluster (person) in order to facilitate the usage of the organized video collection. The particular attention is focused on the aggregation of features extracted from each frame with the deep convolutional neural networks. The experimental results of the proposed approach using YTF and IJB-A datasets demonstrated that the most accurate and fast solution is achieved for matching of normalized average of feature vectors of all frames in a track.


title: Estimating the magnetic field strength in hot Jupiters

abstract: A large fraction of known Jupiter like exoplanets are inflated as compared to Jupiter. These "hot" Jupiters orbit close to their parent star and are bombarded with intense starlight. Many theories have been proposed to explain their radius inflation and several suggest that a small fraction of the incident starlight is injected in to the planetary interior which helps to puff up the planet. How will such energy injection affect the planetary dynamo? In this Letter, we estimate the surface magnetic field strength of hot Jupiters using scaling arguments that relate energy available in planetary interiors to the dynamo generated magnetic fields. We find that if we take into account the energy injected in the planetary interior that is sufficient to inflate hot Jupiters to observed radii, then the resulting dynamo should be able generate magnetic fields that are more than an order of magnitude stronger than the Jovian values. Our analysis highlights the potential fundamental role of the stellar light in setting the field strength in hot Jupiters.


title: The Ambrosetti-Prodi periodic problem: Different routes to complex dynamics

abstract: We consider a second order nonlinear ordinary differential equation of the form $u'' + f(u) = p(t)$ where the forcing term $p(t)$ is a $T$-periodic function and the nonlinearity $f(u)$ satisfies the properties of Ambrosetti-Prodi problems. We discuss the existence of infinitely many periodic solutions as well as the presence of complex dynamics under different conditions on $p(t)$ and by using different kinds of approaches. On the one hand, we exploit the Melnikov's method and, on the other hand, the concept of "topological horseshoe".


title: Verification of nonlinear particle simulation of radio frequency waves in tokamak

abstract: Nonlinear simulation model for radio frequency (RF) waves in fusion plasmas has been developed and verified using fully kinetic ion and drift kinetic electron. Ion cyclotron motion in the toroidal geometry is implemented using Boris push in the Boozer coordinates. Linear dispersion relation and nonlinear particle trapping are verified for the lower hybrid (LH) wave and ion Bernstein wave (IBW). Parametric decay instability is observed where a large amplitude pump wave decays into an IBW sideband and an ion cyclotron quasimode (ICQM). The ICQM induces an ion perpendicular heating with a heating rate proportional to the pump wave intensity.


title: Kinetic Bandgap Analysis of Plasma Photonic Crystals

abstract: The dispersion relation of plasma and plasma-dielectric photonic multilayer structures is approached in terms of a one-dimensional Particle-in-Cell simulation. For several plasma-dielectric configurations, the system response is obtained using a pulsed excitation and a subsequent two-dimensional frequency analysis. It is first shown that the dispersion relation of a single, homogeneous plasma slab is well described by the cold-plasma model even at low pressures of 1 Pa. The study is extended to the simulation of plasma photonic crystals with a variety of configurations, based on the work of Hojo and Mase [J. Plasma Fusion Res. 80, 89 (2004)]. Considering a one-dimensional plasma photonic crystal made from alternating layers of dielectric and homogeneous plasma slabs, it is shown that the assumption of a cold-plasma description is well justified also in this case. Moreover, in this work the results are reformatted and analyzed in a band diagram representation, in particular based on the lattice constant $a$. Based on these considerations a scaling invariant representation is presented, utilizing a generalized set of parameters. The study is completed with an exemplary comparison of three plasma-dielectric photonic crystal configurations and their corresponding band diagrams.


title: Force Chain Evolution in a Two-Dimensional Granular Packing Compacted by Vertical Tappings

abstract: We experimentally study the statistics of force-chain evolution in a vertically-tapped two-dimensional granular packing by using photoelastic disks. In this experiment, the tapped granular packing is gradually compacted. During the compaction, the isotropy of grain configurations is quantified by measuring the deviator anisotropy derived from fabric tensor, and then the evolution of force-chain structure is quantified by measuring the interparticle forces and force-chain orientational order parameter. As packing fraction increases, the interparticle force increases and finally saturates to an asymptotic value. Moreover, the grain configurations and force-chain structures become isotropically random as the tapping-induced compaction proceeds. In contrast, the total length of force chains remains unchanged. From the correlations of those parameters, we find two relations: (i) a positive correlation between the isotropy of grain configurations and the disordering of force-chain orientations, and (ii) a negative correlation between the increasing of interparticle forces and the disordering of force-chain orientations. These relations are universally held regardless of the mode of particle motions with/without convection.


title: Modeling Smooth Backgrounds and Generic Localized Signals with Gaussian Processes

abstract: We describe a procedure for constructing a model of a smooth data spectrum using Gaussian processes rather than the historical parametric description. This approach considers a fuller space of possible functions, is robust at increasing luminosity, and allows us to incorporate our understanding of the underlying physics. We demonstrate the application of this approach to modeling the background to searches for dijet resonances at the Large Hadron Collider and describe how the approach can be used in the search for generic localized signals.


title: Experimental techniques and performance of $\Lambda$-hypernuclear spectroscopy with the $(e,e^{\prime}K^{+})$ reaction

abstract: The missing-mass spectroscopy of $\Lambda$ hypernuclei via the $(e,e^{\prime}K^{+})$ reaction has been developed through experiments at JLab Halls A and C in the last two decades. For the latest experiment, E05-115 in Hall C, we developed a new spectrometer system consisting of the HKS and HES; resulting in the best energy resolution ($E_{\Lambda} \simeq0.5$-MeV FWHM) and $B_{\Lambda}$ accuracy ($B_{\Lambda}\leq0.2$ MeV) in $\Lambda$-hypernuclear reaction spectroscopy. This paper describes the characteristics of the $(e,e^{\prime}K^{+})$ reaction compared to other reactions and experimental methods. In addition, the experimental apparatus, some of the important analyses such as the semi-automated calibration of absolute energy scale, and the performance achieved in E05-115 are presented.


title: Representation of Reynolds Stress Perturbations with Application in Machine-Learning-Assisted Turbulence Modeling

abstract: Numerical simulations based on Reynolds-Averaged Navier--Stokes (RANS) equations are widely used in engineering design and analysis involving turbulent flows. However, RANS simulations are known to be unreliable in many flows of engineering relevance, which is largely caused by model-form uncertainties associated with the Reynolds stresses. Recently, a machine-learning approach has been proposed to assist RANS modeling by building a functional mapping from mean flow features to discrepancies in RANS modeled Reynolds stresses as compared to high-fidelity data. However, it remains a challenge to represent discrepancies in the Reynolds stress eigenvectors in machine learning due to the requirements of spatial smoothness, frame-independence, and realizability. In this work, we propose three schemes for representing perturbations to the eigenvectors of RANS modeled Reynolds stresses: (1) discrepancy-based Euler angles, (2) direct-rotation-based Euler angles, and (3) unit quaternions. We compare these metrics by performing a priori and a posteriori tests on two canonical flows: fully developed turbulent flows in a square duct and massively separated flows over periodic hills. The results demonstrate that the direct-rotation-based Euler angles representation lacks spatial smoothness while the discrepancy-based Euler angles representation lacks frame-independence, making them unsuitable for being used in machine-learning-assisted turbulence modeling. In contrast, the representation based on unit quaternion satisfies all the requirements stated above, and thus it is an ideal choice in representing the perturbations associated with the eigenvectors of Reynolds stress tensors. This finding has clear importance for uncertainty quantification and machine learning in turbulence modeling and for data-driven computational mechanics in general.


title: A Categorical Approach for Recognizing Emotional Effects of Music

abstract: Recently, digital music libraries have been developed and can be plainly accessed. Latest research showed that current organization and retrieval of music tracks based on album information are inefficient. Moreover, they demonstrated that people use emotion tags for music tracks in order to search and retrieve them. In this paper, we discuss separability of a set of emotional labels, proposed in the categorical emotion expression, using Fisher's separation theorem. We determine a set of adjectives to tag music parts: happy, sad, relaxing, exciting, epic and thriller. Temporal, frequency and energy features have been extracted from the music parts. It could be seen that the maximum separability within the extracted features occurs between relaxing and epic music parts. Finally, we have trained a classifier using Support Vector Machines to automatically recognize and generate emotional labels for a music part. Accuracy for recognizing each label has been calculated; where the results show that epic music can be recognized more accurately (77.4%), comparing to the other types of music.


abstract: Hankel determinantal rings, i.e., determinantal rings defined by minors of Hankel matrices of indeterminates, arise as homogeneous coordinate rings of higher order secant varieties of rational normal curves; they may also be viewed as linear specializations of generic determinantal rings. We prove that, over fields of characteristic zero, Hankel determinantal rings have rational singularities; in the case of positive prime characteristic, we prove that they are F-pure. Independent of the characteristic, we give a complete description of the divisor class groups of these rings, and show that each divisor class group element is the class of a maximal Cohen-Macaulay module.


title: 3D tomography of cells in micro-channels

abstract: We combine confocal imaging, microfluidics and image analysis to record 3D-images of cells in flow. This enables us to recover the full 3D representation of several hundred living cells per minute. Whereas 3D confocal imaging has thus far been limited to steady specimen, we overcome this restriction and present a method to access the 3D shape of moving objects. The key of our principle is a tilted arrangement of the micro-channel with respect to the focal plane of the microscope. This forces cells to traverse the focal plane in an inclined manner. As a consequence, individual layers of passing cells are recorded which can then be assembled to obtain the volumetric representation. The full 3D information allows for a detailed comparisons with theoretical and numerical predictions unfeasible with e.g.\ 2D imaging. Our technique is exemplified by studying flowing red blood cells in a micro-channel reflecting the conditions prevailing in the microvasculature. We observe two very different types of shapes: `croissants' and `slippers'. Additionally, we perform 3D numerical simulations of our experiment to confirm the observations. Since 3D confocal imaging of cells in flow has not yet been realized, we see high potential in the field of flow cytometry where cell classification thus far mostly relies on 1D scattering and fluorescence signals.

categories: physics.flu-dyn cond-mat.soft physics.bio-ph physics.optics q-bio.CB


title: More or Less Uniform Convergence

abstract: Uniform metastable convergence is a weak form of uniform convergence for a family of sequences. In this paper we explore the way that metastable convergence stratifies into a family of notions indexed by countable ordinals. We give two versions of this stratified family, loosely speaking, they correspond to the model theoretic and proof theoretic perspectives. For the model theoretic version, which we call abstract alpha-uniform convergence, we show that uniform metastable convergence is equivalent to abstract $\alpha$-uniform convergence for some alpha, and that abstract omega-uniform convergence is equivalent to uniformly bounded oscillation of the family of sequences. The proof theoretic version, which we call concrete alpha-uniform convergence, is less canonical (it depends on a choice of ordinal notation), but appears naturally when "proof mining" convergence proofs to obtain quantitative bounds. We show that these hierarchies are strict by exhibiting a family of which is concretely alpha+1-uniformly convergent but not abstractly alpha-uniformly convergent for each alpha<omega_1.


title: Magnetic shape-memory effect in SrRuO$_3$

abstract: Like most perovskites, SrRuO$_3$ exhibits structural phase transitions associated with rotations of the RuO$_6$ octahedra. The application of moderate magnetic fields in the ferromagnetically ordered state allows one to fully control these structural distortions, although the ferromagnetic order occurs at six times lower temperature than the structural distortion. Our neutron diffraction and macroscopic measurements unambiguously show that magnetic fields rearrange structural domains, and that for the field along a cubic [110]$_c$ direction a fully detwinned crystal is obtained. Subsequent heating above the Curie temperature causes a magnetic shape-memory effect, where the initial structural domains recover.


title: Deep SOAR follow-up photometry of two Milky Way outer-halo companions discovered with Dark Energy Survey

abstract: We report the discovery of a new star cluster, DES 3, in the constellation of Indus, and deeper observations of the previously identified satellite DES J0222.7$-$5217 (Eridanus III). DES 3 was detected as a stellar overdensity in first-year Dark Energy Survey data, and confirmed with deeper photometry from the 4.1 metre Southern Astrophysical Research (SOAR) telescope. The new system was detected with a relatively high significance and appears in the DES images as a compact concentration of faint blue point sources. We determine that DES 3 is located at a heliocentric distance of $\sim 76\,\mathrm{kpc}$ and it is dominated by an old ($\simeq 9.8\,\mathrm{Gyr}$) and metal-poor ($\mathrm{[Fe/H]}\simeq -1.88$) population. While the age and metallicity values of DES 3 are similar to globular clusters, its half-light radius ($r_\mathrm{h}\sim 6.5\,\mathrm{pc}$) and luminosity ($M_V \sim -1.9$) are more indicative of faint star clusters. Based on the apparent angular size, DES 3, with a value of $r_\mathrm{h}\sim 0.\!^{\prime}3$, is among the smallest faint star clusters known to date. Furthermore, using deeper imaging of DES J0222.7$-$5217 taken with the SOAR telescope, we update structural parameters and perform the first isochrone modeling. Our analysis yields the first age ($\simeq 12.6\,\mathrm{Gyr}$) and metallicity ($\mathrm{[Fe/H]}\simeq -2.01$) estimates for this object. The half-light radius ($r_\mathrm{h}\sim 10.5\,\mathrm{pc}$) and luminosity ($M_V\sim -2.7$) of DES J0222.7$-$5217 suggest that it is likely a faint star cluster. The discovery of DES 3 indicates that the census of stellar systems in the Milky Way is still far from complete, and demonstrates the power of modern wide-field imaging surveys to improve our knowledge of the Galaxy's satellite population.


title: BabelView: Evaluating the Impact of Code Injection Attacks in Mobile Webviews

abstract: A Webview embeds a full-fledged browser in a mobile application and allows the application to expose a custom interface to JavaScript code. This is a popular technique to build so-called hybrid applications, but it circumvents the usual security model of the browser: any malicious JavaScript code injected into the Webview gains access to the interface and can use it to manipulate the device or exfiltrate sensitive data. In this paper, we present an approach to systematically evaluate the possible impact of code injection attacks against Webviews using static information flow analysis. Our key idea is that we can make reasoning about JavaScript semantics unnecessary by instrumenting the application with a model of possible attacker behavior -- the BabelView. We evaluate our approach on 11,648 apps from various Android marketplaces, finding 2,677 vulnerabilities in 1,663 apps. Taken together, the apps reported as vulnerable have over 835 million installations worldwide. We manually validated a random sample of 66 apps and estimate that our fully automated analysis achieves a precision of 90% at a recall of 66%.


title: Quasar massive ionized outflows traced by CIV {\lambda}1549 and [OIII]{\lambda}{\lambda}4959,5007

abstract: The most luminous quasars (with bolometric luminosities are 1E47 erg/s) show a high prevalence of CIV {\lambda}1549 and [OIII]{\lambda}{\lambda}4959,5007 emission line profiles with strong blueshifts. Blueshifts are interpreted as due to Doppler effect and selective obscuration, and indicate outflows occurring over a wide range of spatial scales. We found evidence in favor of the nuclear origin of the outflows diagnosed by [OIII]{\lambda}{\lambda} 4959,5007. The ionized gas mass, kinetic power, and mechanical thrust are extremely high, and suggest widespread feedback effects on the host galaxies of very luminous quasars, at cosmic epochs between 2 and 6 Gyr from the Big Bang. In this mini-review we summarize results obtained by our group and reported in several major papers in the last few years with an eye on challenging aspects of quantifying feedback effects in large samples of quasars.


title: Magnetic properties of the spin-1 chain compound NiCl$_3$C$_6$H$_5$CH$_2$CH$_2$NH$_3$

abstract: We report experimental results of the static magnetization, ESR and NMR spectroscopic measurements of the Ni-hybrid compound NiCl$_3$C$_6$H$_5$CH$_2$CH$_2$NH$_3$. In this material NiCl$_3$ octahedra are structurally arranged in chains along the crystallographic $a$-axis. According to the static susceptibility and ESR data Ni$^{2+}$ spins $S = 1$ are isotropic and are coupled antiferromagnetically (AFM) along the chain with the exchange constant $J = 25.5$ K. These are important prerequisites for the realization of the so-called Haldane spin-1 chain with the spin-singlet ground state and a quantum spin gap. However, experimental results evidence AFM order at $T_{\rm N} \approx 10$ K presumably due to small interchain couplings. Interestingly, frequency-, magnetic field-, and temperature-dependent ESR measurements, as well as the NMR data, reveal signatures which could presumably indicate an inhomogeneous ground state of co-existent mesoscopically spatially separated AFM ordered and spin-singlet state regions similar to the situation observed before in some spin-diluted Haldane magnets.