title: Dynamics of Motile Populations in Heterogeneous Environments

abstract: Movement behavior of biological entities plays a crucial role in their destiny through regulating their intraspecific and interspecific interactions as well as their interaction with surrounding environment. In spite of various models for population dynamics, the effect of movement behavior and heterogeneity of environment on population dynamics has remained poorly understood. We introduced an extended version of Kolmogorov equation which captures movement behavior and translated our model to a biased random walk on percolation lattice. Then we explored the effect of mentioned topic on population dynamics, especially for intratumor heterogeneity, metastasis and immune surveillance. In the case of tumor, our result reveals that communication between cell colons and the structure of host tissue together regulate the intratumor heterogeneity. For metastasis, our model predicts that the interplay between the structure of metastatic niche and interactions between metastatic cells arrived from different colons determines that which kind of seeds, polyclonal or monoclonal, can successfully metastasized there. Finally, studying the immune cells-tumor cells interaction in this context reveals the negative effect of the heterogeneous structure of host tissue on immune surveillance. These findings deepen our understanding of cancer biology and may have applications in Immunotherapy.


title: Universal Conductance Fluctuations of Topological Insulators

abstract: As an exotic quantum condensed matter, the topological insulator (TI) is a bulk-insulating material with a Dirac-type conducting surface state. Such dissipationless transport of topological surface states (TSSs) is protected by the time-reversal symmetry, which leads to the potential applications in spintronics and quantum computations. Understanding the topological symplectic transport of the Dirac fermions is a key issue to study and design the TI-based devices. In this review, we introduce the progress on the universal conductance fluctuation (UCF) of TSSs. Firstly, we report the two dimensional UCF phenomenon in TIs, and its topological nature is demonstrated based on the investigations of UCF by angle-varying, in-plane field tuning and scaling analysis. Secondly, we discuss the statistical symmetry of UCF in TIs. For a single TSS, the applied magnetic field will drive the system from a Gaussian symplectic ensemble into a Gaussian unitary ensemble. It results a 2^0.5 fold increase of the UCF amplitude. However, the experiment reveals a decreasing of the UCF amplitude of 2^0.5 times. This is contradictory to the theoretical prediction. Actually, there are two TSSs and they are coherently coupled to each other in TIs since the sample's thickness is shorter than its bulk dephasing length. This leads to a Gaussian orthogonal ensemble of the interface coupling system without an external field. In such situation, the UCF amplitude will decrease by 2^0.5 times with the field increasing. It is consistent with the experimental results. Finally, the other progress on UCFs is also discussed.


title: Elliptical modeling and pattern analysis for perturbation models and classfication

abstract: The characteristics (or numerical patterns) of a feature vector in the transform domain of a perturbation model differ significantly from those of its corresponding feature vector in the input domain. These differences - caused by the perturbation techniques used for the transformation of feature patterns - degrade the performance of machine learning techniques in the transform domain. In this paper, we proposed a nonlinear parametric perturbation model that transforms the input feature patterns to a set of elliptical patterns, and studied the performance degradation issues associated with random forest classification technique using both the input and transform domain features. Compared with the linear transformation such as Principal Component Analysis (PCA), the proposed method requires less statistical assumptions and is highly suitable for the applications such as data privacy and security due to the difficulty of inverting the elliptical patterns from the transform domain to the input domain. In addition, we adopted a flexible block-wise dimensionality reduction step in the proposed method to accommodate the possible high-dimensional data in modern applications. We evaluated the empirical performance of the proposed method on a network intrusion data set and a biological data set, and compared the results with PCA in terms of classification performance and data privacy protection (measured by the blind source separation attack and signal interference ratio). Both results confirmed the superior performance of the proposed elliptical transformation.


title: On bifurcation of eigenvalues along convex symplectic paths

abstract: We consider a continuously differentiable curve $t\mapsto \gamma(t)$ in the space of $2n\times 2n$ real symplectic matrices, which is the solution of the following ODE: $\frac{\mathrm{d}\gamma}{\mathrm{d}t}(t)=J_{2n}A(t)\gamma(t), \gamma(0)\in\operatorname{Sp}(2n,\mathbb{R})$, where $J=J_{2n}\overset{\text{def}}{=}\begin{bmatrix}0 & \operatorname{Id}_n\\-\operatorname{Id}_n & 0\end{bmatrix}$ and $A:t\mapsto A(t)$ is a continuous in the space of $2n\times2n$ real matrices which are symmetric. Under certain convexity assumption (which includes the particular case that $A(t)$ is strictly positive definite for all $t\in\mathbb{R}$), we investigate the dynamics of the eigenvalues of $\gamma(t)$ when $t$ varies, which are closely related to the stability of such Hamiltonian dynamical systems. We rigorously prove the qualitative behavior of the branching of eigenvalues and explicitly give the first order asymptotics of the eigenvalues. This generalizes classical Krein-Lyubarskii theorem on the analytic bifurcation of the Floquet multipliers under a linear perturbation of the Hamiltonian. As a corollary, we give a rigorous proof of the following statement of Ekeland: $\{t\in\mathbb{R}:\gamma(t)\text{ has a Krein indefinite eigenvalue of modulus }1\}$ is a discrete set.


title: WristAuthen: A Dynamic Time Wrapping Approach for User Authentication by Hand-Interaction through Wrist-Worn Devices

abstract: The growing trend of using wearable devices for context-aware computing and pervasive sensing systems has raised its potentials for quick and reliable authentication techniques. Since personal writing habitats differ from each other, it is possible to realize user authentication through writing. This is of great significance as sensible information is easily collected by these devices. This paper presents a novel user authentication system through wrist-worn devices by analyzing the interaction behavior with users, which is both accurate and efficient for future usage. The key feature of our approach lies in using much more effective Savitzky-Golay filter and Dynamic Time Wrapping method to obtain fine-grained writing metrics for user authentication. These new metrics are relatively unique from person to person and independent of the computing platform. Analyses are conducted on the wristband-interaction data collected from 50 users with diversity in gender, age, and height. Extensive experimental results show that the proposed approach can identify users in a timely and accurate manner, with a false-negative rate of 1.78\%, false-positive rate of 6.7\%, and Area Under ROC Curve of 0.983 . Additional examination on robustness to various mimic attacks, tolerance to training data, and comparisons to further analyze the applicability.


title: Gevrey genericity of Arnold diffusion in a priori unstable Hamiltonian systems

abstract: It is well known that under generic $C^r$ smooth perturbations, the phenomenon of global instability, known as Arnold diffusion, exists in a priori unstable Hamiltonian systems. In this paper, by using variational methods, we will prove that under generic Gevrey smooth perturbations, Arnold diffusion still exists in the a priori unstable Hamiltonian systems of two and a half degrees of freedom.


title: Further factorization of $x^n-1$ over a finite field

abstract: Let $\Bbb F_q$ be a finite field with $q$ elements and $n$ a positive integer. Mart\'inez, Vergara and Oliveira \cite{MVO} explicitly factorized $x^{n} - 1$ over $\Bbb F_q$ under the condition of $rad(n)|(q-1)$. In this paper, suppose that $rad(n)\nmid (q-1)$ and $rad(n)|(q^w-1)$, where $w$ is a prime, we explicitly factorize $x^{n}-1$ into irreducible factors in $\Bbb F_q[x]$ and count the number of its irreducible factors.


title: Spherical equidistribution in adelic lattices and applications

abstract: In this paper we study spherical equidistribution on the space of (translates of) adelic lattices, which we apply to understand the fine-scale statistics of the directions in the set of shifted primitive lattice points. We also apply our results to the distribution of the free path lengths in the Boltzmann--Grad limit for point sets such as (possibly non-rational) translates of the lattice points all of whose coordinates are squarefree. Besides the equidistribution results for translates of expanding horospheres, a key ingredient is a probabilistic argument which allows us to tackle the technical difficulty of dealing with characteristic functions of compact sets with positive measure and empty interior.


title: P-adic lattices are not K\"ahler groups

abstract: In this note we show that any lattice in a simple p-adic Lie group is not the fundamental group of a compact Ka\"hler manifold, as well as some variants of this result.


title: Superfast CUR Matrix Algorithms, Their Pre-Processing and Extensions

abstract: We study superfast algorithms that computes low rank approximation of a matrix (hereafter referred to as LRA) that use much fewer memory cells and arithmetic operations than the input matrix has entries. We first specify a family of 2mn matrices of size m*n such that for almost 50% of them any superfast LRA algorithm fails to improve the poor trivial approximation by the matrix filled with zeros, but then we prove that the class of all such hard inputs is narrow - the cross-approximation (hereafter {C-A}) superfast iterations as well as some more primitive superfast algorithms compute reasonably accurate LRAs in their transparent CUR form (i) to any matrix allowing close LRA except for small norm perturbations of matrices of an algebraic variety of a smaller dimension, (ii) to the average matrix allowing close LRA, (iii) to the average sparse matrix allowing close LRA and (iv) with a high probability to any matrix allowing close LRA if it is pre-processed fast with a random Gaussian, SRHT or SRFT multiplier. Moreover empirically the output LRAs remain accurate when we perform the computations superfast by replacing such a multiplier with one of our sparse and structured multipliers. Our techniques, auxiliary results and extensions may be of some independent interest. We analyze C-A and other superfast algorithms twice -- based on two well-known sufficient criteria for obtaining accurate LRAs. We provide a distinct proof in the case of superfast variant of randomized algorithms of [DMM08], improve a decade-old estimate for the norm of the inverse of a Gaussian matrix, prove such an estimate also in the case of a sparse Gaussian matrix, present some novel advanced pre-processing techniques for fast and superfast computation of LRA, and extend our results to dramatic acceleration of the Fast Multipole Method (FMM) and the Conjugate Gradient algorithms.


title: A mean-field model of intermittent particle transport and its quasi-steady-state approximation

abstract: We propose a mean-field model of intermittent particle transport, where a particle may be in one of two phases: the first is an active (ballistic) phase, when a particle runs with constant velocity in some direction, and the second is a passive (diffusive) phase, when the particle diffuses freely. The particle can instantly change the phase of motion. When the particle is in the active phase the rate of transition to the passive phase depends, in general, on time from the beginning of the run, so the distribution of the free path is not exponential. When the particle is in the passive phase the transition rate is constant, and diffusion is non-anomalous Brownian.


title: The role of theory input for exclusive $V_{cb}$ determinations

abstract: Available form factor parametrizations for $B\rightarrow D^*l\nu$ imply different theoretical assumptions and different treatments of theoretical uncertainties. They give results for $\vert V_{cb}\vert$ whose central values are apart by up to $8\%$. The way the Caprini Lellouch Neubert (CLN) parametrization has been used in experimental analyses sets theoretical uncertainties of the Heavy Quark Effective Theory (HQET) results on slope and curvature of the form factor ratios $R_1$ and $R_2$ to zero. Furthermore, the relation of curvature and slope of the axial form factor $A_1$ is fixed to the HQET central value. In view of the current experimental precision these uncertainties cannot be neglected any more. Using the Boyd Grinstein Lebed (BGL) parametrization and taking into account theoretical uncertainties in a conservative way, we extract $\vert V_{cb}\vert$ from recent preliminary Belle data and the world average of the total branching ratio. We include an $\mathcal{O}(10\%-20\%)$ theoretical uncertainty of HQET input due to unknown corrections beyond NLO which were neglected in all previous analyses. This is important for reliable extractions of $\vert V_{cb}\vert$ as well as precision tests of the Standard Model with robust predictions of the lepton flavor nonuniversality observable $R(D^*)$ and the $\tau$ polarization asymmetry $P_{\tau}$. Including input from Light Cone Sum Rules (LCSRs) we find $\vert V_{cb}\vert = 40.6\left(^{+1.2}_{-1.3}\right)\cdot 10^{-3}$, $R(D^*) = 0.260(8)$ and $P_{\tau}=-0.47(4)$. Without LCSRs we find $\vert V_{cb}\vert = 41.5(1.3)\cdot 10^{-3}$ and the same results for $R(D^*)$ and $P_{\tau}$. The $R(D^*)$ anomaly is persistent, but its statistical significance is slightly reduced to 2.6$\sigma$.


title: Effect of the Chameleon Scalar Field on Brane Cosmological Evolution

abstract: We have investigated a brane world model in which the gravitational field in the bulk is described both by a metric tensor and a minimally coupled scalar field. This scalar field is taken to be a chameleon with an appropriate potential function. The scalar field interacts with matter and there is an energy transfer between the two components. We find a late-time asymptotic solution which exhibits late-time accelerating expansion. We also show that the Universe recently crosses the phantom barrier without recourse to any exotic matter. We provide some thermodynamic arguments which constrain both the direction of energy transfer and dynamics of the extra dimension.


title: Optimal control of diffuser shapes for confined turbulent shear flows

abstract: A model for the development of turbulent shear flows, created by non-uniform parallel flows in a confining channel, is used to identify the diffuser shape that maximises pressure recovery when the inflow is non-uniform. Wide diffuser angles tend to accentuate the non- uniform flow, causing poor pressure recovery. On the other hand, shallow diffuser angles create longer regions with large wall drag, which is also detrimental to pressure recovery. Thus, optimal diffuser shapes strike a balance between the two effects. We use a simple model which describes the evolution of an approximate flow profile and pressure in the diffuser. The model equations form the dynamics of an optimal control problem where the control is the diffuser channel shape. A numerical optimisation approach is used to solve the optimal control problem and we use analytical results to interpret the numerics in some limiting cases. The results of the optimisation are compared to calculations from computational fluid dynamics.


title: Experimental long-distance quantum secure direct communication

abstract: Quantum secure direct communication (QSDC) is an important quantum communication branch, which realizes the secure information transmission directly without encryption and decryption processes. Recently, two table-top experiments have demonstrated the principle of QSDC. Here, we report the first long-distance QSDC experiment, including the security test, information encoding, fiber transmission and decoding. After the fiber transmission of 0.5 km, quantum state fidelities of the two polarization entangled Bell states are 91% and 88%, respectively, which are used for information coding. We theoretically analyze the performance of the QSDC system based on current optical communication technologies, showing that QSDC over fiber links of several tens kilometers could be expected. It demonstrates the potential of long-distance QSDC and supports its future applications on quantum communication networks.


title: CLOT Norm Minimization for Continuous Hands-off Control

abstract: In this paper, we consider hands-off control via minimization of the CLOT (Combined $L$-One and Two) norm. The maximum hands-off control is the $L^0$-optimal (or the sparsest) control among all feasible controls that are bounded by a specified value and transfer the state from a given initial state to the origin within a fixed time duration. In general, the maximum hands-off control is a bang-off-bang control taking values of $\pm 1$ and $0$. For many real applications, such discontinuity in the control is not desirable. To obtain a continuous but still relatively sparse control, we propose to use the CLOT norm, a convex combination of $L^1$ and $L^2$ norms. We show by numerical simulations that the CLOT control is continuous and much sparser (i.e. has longer time duration on which the control takes 0) than the conventional EN (elastic net) control, which is a convex combination of $L^1$ and squared $L^2$ norms. We also prove that the CLOT control is continuous in the sense that, if $O(h)$ denotes the sampling period, then the difference between successive values of the CLOT-optimal control is $O(\sqrt{h})$, which is a form of continuity. Also, the CLOT formulation is extended to encompass constraints on the state variable.


title: Characterizations of monotonicity of vector fields on metric measure spaces

abstract: We characterize the convexity of functions and the monotonicity of vector fields on metric measure spaces with Riemannian Ricci curvature bounded from below. Our result offers a new approach to deal with some rigidity theorems such as `splitting theorem' and `volume cone implies metric cone theorem' in non-smooth context.


title: Bayesian Cluster Enumeration Criterion for Unsupervised Learning

abstract: We derive a new Bayesian Information Criterion (BIC) by formulating the problem of estimating the number of clusters in an observed data set as maximization of the posterior probability of the candidate models. Given that some mild assumptions are satisfied, we provide a general BIC expression for a broad class of data distributions. This serves as a starting point when deriving the BIC for specific distributions. Along this line, we provide a closed-form BIC expression for multivariate Gaussian distributed variables. We show that incorporating the data structure of the clustering problem into the derivation of the BIC results in an expression whose penalty term is different from that of the original BIC. We propose a two-step cluster enumeration algorithm. First, a model-based unsupervised learning algorithm partitions the data according to a given set of candidate models. Subsequently, the number of clusters is determined as the one associated with the model for which the proposed BIC is maximal. The performance of the proposed two-step algorithm is tested using synthetic and real data sets.


title: Measurement of differential cross sections in the kinematic angular variable $\phi^*$ for inclusive Z boson production in pp collisions at $\sqrt{s}=$ 8 TeV

abstract: Measurements of differential cross sections d$\sigma$/d$\phi^*$ and double-differential cross sections d$^2\sigma$/d$\phi^*\,$d$|y|$ for inclusive Z boson production are presented using the dielectron and dimuon final states. The kinematic observable $\phi^*$ correlates with the dilepton transverse momentum but has better resolution, and $y$ is the dilepton rapidity. The analysis is based on data collected with the CMS experiment at a centre-of-mass energy of 8 TeV corresponding to an integrated luminosity of 19.7 fb$^{-1}$. The normalised cross section (1/$\sigma$)$\,$d$\sigma$/d$\phi^*$, within the fiducial kinematic region, is measured with a precision of better than 0.5% for $\phi^*$ < 1. The measurements are compared to theoretical predictions and they agree, typically, within few percent.


title: Teaching Programming and Design-by-Contract

abstract: This paper summarizes the experience of teaching an introductory course to programming by using a correctness by construction approach at Innopolis University, Russian Federation. In this paper we claim that division in beginner and advanced groups improves the learning outcomes, present the discussion and the data that support the claim.


title: Design of endurable networks in the presence of aging

abstract: Networks are designed to satisfy given objectives under specific requirements. While the static connectivity of networks is normally analyzed and corresponding design principles for static robustness are proposed, the challenge still remains of how to design endurable networks that maintain the required level of connectivity during its whole lifespan, against component aging. We introduce network endurance as a new concept to evaluate networks overall performance during its whole lifespan, considering both network connectivity and network duration. We develop a framework for designing an endurable network by allocating the expected lifetimes of its components, given a limited budget. Based on percolation theory and simulation, we find that the maximal network endurance can be achieved with a quantitative balance between network duration and connectivity. For different endurance requirements, we find that the optimal design can be separated into two categories: strong dependence of lifetime on node's degree leads to larger network lifetime, while weak dependence generates stronger network connectivity. Our findings could help network design, by providing a quantitative prediction of network endurance based on network topology.


title: Edge switching transformations of quantum graphs

abstract: Discussed here are the effects of basics graph transformations on the spectra of associated quantum graphs. In particular it is shown that under an edge switch the spectrum of the transformed Schr\"odinger operator is interlaced with that of the original one. By implication, under edge swap the spectra before and after the transformation, denoted by $\{ E_n\}_{n=1}^{\infty}$ and $\{\widetilde E_n\}_{n=1}^{\infty}$ correspondingly, are level-2 interlaced, so that $E_{n-2}\le \widetilde E_n\le E_{n+2}$. The proofs are guided by considerations of the quantum graphs' discrete analogs.


title: Grasping asymmetric information in market impacts

abstract: The price impact for a single trade is estimated by the immediate response on an event time scale, i.e., the immediate change of midpoint prices before and after a trade. We work out the price impacts across a correlated financial market. We quantify the asymmetries of the distributions and of the market structures of cross-impacts, and find that the impacts across the market are asymmetric and non-random. Using spectral statistics and Shannon entropy, we visualize the asymmetric information in price impacts. Also, we introduce an entropy of impacts to estimate the randomness between stocks. We show that the useful information is encoded in the impacts corresponding to small entropy. The stocks with large number of trades are more likely to impact others, while the less traded stocks have higher probability to be impacted by others.


title: How big is big enough? Unsupervised word sense disambiguation using a very large corpus

abstract: In this paper, the problem of disambiguating a target word for Polish is approached by searching for related words with known meaning. These relatives are used to build a training corpus from unannotated text. This technique is improved by proposing new rich sources of replacements that substitute the traditional requirement of monosemy with heuristics based on wordnet relations. The na\"ive Bayesian classifier has been modified to account for an unknown distribution of senses. A corpus of 600 million web documents (594 billion tokens), gathered by the NEKST search engine allows us to assess the relationship between training set size and disambiguation accuracy. The classifier is evaluated using both a wordnet baseline and a corpus with 17,314 manually annotated occurrences of 54 ambiguous words.


title: Long-time asymptotics for the integrable nonlocal nonlinear Schr\"odinger equation

abstract: We study the initial value problem for the integrable nonlocal nonlinear Schr\"odinger (NNLS) equation \[ iq_{t}(x,t)+q_{xx}(x,t)+2\sigma q^{2}(x,t)\bar{q}(-x,t)=0 \] with decaying (as $x\to\pm\infty$) boundary conditions. The main aim is to describe the long-time behavior of the solution of this problem. To do this, we adapt the nonlinear steepest-decent method \cite{DZ} to the study of the Riemann-Hilbert problem associated with the NNLS equation. Our main result is that, in contrast to the local NLS equation, where the main asymptotic term (in the solitonless case) decays to $0$ as $O(t^{-1/2})$ along any ray $x/t=const$, the power decay rate in the case of the NNLS depends, in general, on $x/t$, and can be expressed in terms of the spectral functions associated with the initial data.


title: Evaporation and Antievaporation instabilities

abstract: We review (anti)evaporation phenomena within the context of quantum gravity and extended theories of gravity. The (anti)evaporation effect is an instability of the black hole horizon discovered in many different scenarios: quantum dilaton-gravity, $f(R)$-gravity, $f(T)$-gravity, string inspired black holes and brane-world cosmology. Evaporating and antievaporating black holes seem to have completely different thermodynamical features compared to standard semiclassical black holes. The purpose of this review is to provide an introduction to conceptual and technical aspects of (anti)evaporation effects, while discussing problems that are still open.


title: Mapping the Energy Cascade in the North Atlantic Ocean: The Coarse-graining Approach

abstract: A coarse-graining framework is implemented to analyze nonlinear processes, measure energy transfer rates and map out the energy pathways from simulated global ocean data. Traditional tools to measure the energy cascade from turbulence theory, such as spectral flux or spectral transfer rely on the assumption of statistical homogeneity, or at least a large separation between the scales of motion and the scales of statistical inhomogeneity. The coarse-graining framework allows for probing the fully nonlinear dynamics simultaneously in scale and in space, and is not restricted by those assumptions. This paper describes how the framework can be applied to ocean flows. Energy transfer between scales is not unique due to a gauge freedom. Here, it is argued that a Galilean invariant subfilter scale (SFS) flux is a suitable quantity to properly measure energy scale-transfer in the Ocean. It is shown that the SFS definition can yield answers that are qualitatively different from traditional measures that conflate spatial transport with the scale-transfer of energy. The paper presents geographic maps of the energy scale-transfer that are both local in space and allow quasi-spectral, or scale-by-scale, dynamics to be diagnosed. Utilizing a strongly eddying simulation of flow in the North Atlantic Ocean, it is found that an upscale energy transfer does not hold everywhere. Indeed certain regions, near the Gulf Stream and in the Equatorial Counter Current have a marked downscale transfer. Nevertheless, on average an upscale transfer is a reasonable mean description of the extra-tropical energy scale-transfer over regions of O(10^3) kilometers in size.


title: State-dependent fluorescence of neutral atoms in optical potentials

abstract: Recently we have demonstrated scalable, non-destructive, and high-fidelity detection of the internal state of $^{87}$Rb neutral atoms in optical dipole traps using state-dependent fluorescence imaging [M. Martinez-Dorantes et al., PRL, 2017]. In this article we provide experimental procedures and interpretations to overcome the detrimental effects of heating-induced trap losses and state leakage. We present models for the dynamics of optically trapped atoms during state-dependent fluorescence imaging and verify our results by comparing Monte Carlo simulations with experimental data. Our systematic study of dipole force fluctuations heating in optical traps during near-resonant illumination shows that off-resonant light is preferable for state detection in tightly confining optical potentials.


title: Backtracking Regression Forests for Accurate Camera Relocalization

abstract: Camera relocalization plays a vital role in many robotics and computer vision tasks, such as global localization, recovery from tracking failure, and loop closure detection. Recent random forests based methods directly predict 3D world locations for 2D image locations to guide the camera pose optimization. During training, each tree greedily splits the samples to minimize the spatial variance. However, these greedy splits often produce uneven sub-trees in training or incorrect 2D-3D correspondences in testing. To address these problems, we propose a sample-balanced objective to encourage equal numbers of samples in the left and right sub-trees, and a novel backtracking scheme to remedy the incorrect 2D-3D correspondence predictions. Furthermore, we extend the regression forests based methods to use local features in both training and testing stages for outdoor RGB-only applications. Experimental results on publicly available indoor and outdoor datasets demonstrate the efficacy of our approach, which shows superior or on-par accuracy with several state-of-the-art methods.


title: Short range correlations and the isospin dependence of nuclear correlation functions

abstract: Pair densities and associated correlation functions provide a critical tool for introducing many-body correlations into a wide-range of effective theories. Ab initio calculations show that two-nucleon pair-densities exhibit strong spin and isospin dependence. However, such calculations are not available for all nuclei of current interest. We therefore provide a simple model, which involves combining the short and long separation distance behavior using a single blending function, to accurately describe the two-nucleon correlations inherent in existing ab initio calculations. We show that the salient features of the correlation function arise from the features of the two-body short-range nuclear interaction, and that the suppression of the pp and nn pair-densities caused by the Pauli principle is important. Our procedure for obtaining pair-density functions and correlation functions can be applied to heavy nuclei which lack ab initio calculations.


title: An intuitive approach to the unified theory of spin-relaxation

abstract: Spin-relaxation is conventionally discussed using two different approaches for materials with and without inversion symmetry. The former is known as the Elliott-Yafet (EY) theory and for the latter the D'yakonov-Perel' (DP) theory applies, respectively. We discuss herein a simple and intuitive approach to demonstrate that the two seemingly disparate mechanisms are closely related. A compelling analogy between the respective Hamiltonian is presented and that the usual derivation of spin-relaxation times, in the respective frameworks of the two theories, can be performed. The result also allows to obtain the less canonical spin-relaxation regimes; the generalization of the EY when the material has a large quasiparticle broadening and the DP mechanism in ultrapure semiconductors. The method also allows a practical and intuitive numerical implementation of the spin-relaxation calculation, which is demonstrated for MgB$_2$ that has anomalous spin-relaxation properties.


title: Coupled complex Ginzburg-Landau systems with saturable nonlinearity and asymmetric cross-phase modulation

abstract: We formulate and study dynamics from a complex Ginzburg-Landau system with saturable nonlinearity, including asymmetric cross-phase modulation (XPM) parameters. Such equations can model phenomena described by complex Ginzburg-Landau systems under the added assumption of saturable media. When the saturation parameter is set to zero, we recover a general complex cubic Ginzburg-Landau system with XPM. We first derive conditions for the existence of bounded dynamics, approximating the absorbing set for solutions. We use this to then determine conditions for amplitude death of a single wavefunction. We also construct exact plane wave solutions, and determine conditions for their modulational instability. In a degenerate limit where dispersion and nonlinearity balance, we reduce our system to a saturable nonlinear Schr\"odinger system with XPM parameters, and we demonstrate the existence and behavior of spatially heterogeneous stationary solutions in this limit. Using numerical simulations we verify the aforementioned analytical results, while also demonstrating other interesting emergent features of the dynamics, such as spatiotemporal chaos in the presence of modulational instability. In other regimes, coherent patterns including uniform states or banded structures arise, corresponding to certain stable stationary states. For sufficiently large yet equal XPM parameters, we observe a segregation of wavefunctions into different regions of the spatial domain, while when XPM parameters are large and take different values, one wavefunction may decay to zero in finite time over the spatial domain (in agreement with the amplitude death predicted analytically). While saturation will often regularize the dynamics, such transient dynamics can still be observed - and in some cases even prolonged - as the saturability of the media is increased, as the saturation may act to slow the timescale.


title: Obstructions to integral points on affine Ch\^atelet surfaces

abstract: We consider the Brauer-Manin obstruction to the existence of integral points on affine surfaces defined by $x^2 - ay^2 = P(t)$ over a number field. We enumerate the possibilities for the Brauer groups of certain families of such surfaces, and show that in contrast to their smooth compactifications, the Brauer groups of these affine varieties need not be generated by cyclic (e.g. quaternion) algebras. Concrete examples are given of such surfaces over $\mathbb{Q}$ which have solutions in $\mathbb{Z}_{p}$ for all $p$ and solutions in $\mathbb{Q}$, but for which the failure of the integral Hasse principle cannot be explained by a Brauer-Manin obstruction. The methods of this paper build on the ideas of several recent papers in the literature: we study the Brauer groups (modulo constant algebras) of affine Ch\^atelet surfaces with a focus on explicitly representing, by central simple algebras over the function field of $X$, a finite set of classes of the Brauer group which generate the quotient. Notably, we develop techniques for constructing explicit representatives of non-cyclic Brauer classes on affine surfaces, as well as provide an effective algorithm for the computation of local invariants of these Brauer classes via effective lifting of cocycles in Galois cohomology.


title: Statistical stability of mostly expanding diffeomorphisms

abstract: We study how physical measures vary with the underlying dynamics in the open class of $C^r$, $r>1$, strong partially hyperbolic diffeomorphisms for which the central Lyapunov exponents of every Gibbs $u$-state is positive. If transitive, such a diffeomorphism has a unique physical measure that persists and varies continuously with the dynamics. A main ingredient in the proof is a new Pliss-like Lemma which, under the right circumstances, yields frequency of hyperbolic times close to one. Another novelty is the introduction of a new characterization of Gibbs $cu$-states. Both of these may be of independent interest. The non-transitive case is also treated: here the number of physical measures varies upper semi-continuously with the diffeomorphism, and physical measures vary continuously whenever possible.


title: Holographic superconductivity from higher derivative theory

abstract: We construct a $6$ derivative holographic superconductor model in the $4$-dimensional bulk spacetimes, in which the normal state describes a quantum critical (QC) phase. The phase diagram $(\gamma_1,\hat{T}_c)$ and the condensation as the function of temperature are worked out numerically. We observe that with the decrease of the coupling parameter $\gamma_1$, the critical temperature $\hat{T}_c$ decreases and the formation of charged scalar hair becomes harder. We also calculate the optical conductivity. An appealing characteristic is a wider extension of the superconducting energy gap, comparing with that of $4$ derivative theory. It is expected that this phenomena can be observed in the real materials of high temperature superconductor. Also the Homes' law in our present models with $4$ and $6$ derivative corrections is explored. We find that in certain range of parameters $\gamma$ and $\gamma_1$, the experimentally measured value of the universal constant $C$ in Homes' law can be obtained.


title: On the growth of eigenfunction averages: microlocalization and geometry

abstract: Let $(M,g)$ be a smooth, compact Riemannian manifold and $\{\phi_h\}$ an $L^2$-normalized sequence of Laplace eigenfunctions, $-h^2\Delta_g\phi_h=\phi_h$. Given a smooth submanifold $H \subset M$ of codimension $k\geq 1$, we find conditions on the pair $(\{\phi_h\},H)$ for which $$ \Big|\int_H\phi_hd\sigma_H\Big|=o(h^{\frac{1-k}{2}}),\qquad h\to 0^+. $$ One such condition is that the set of conormal directions to $H$ that are recurrent has measure $0$. In particular, we show that the upper bound holds for any $H$ if $(M,g)$ is surface with Anosov geodesic flow or a manifold of constant negative curvature. The results are obtained by characterizing the behavior of the defect measures of eigenfunctions with maximal averages.


title: An Approach to One-Bit Compressed Sensing Based on Probably Approximately Correct Learning Theory

abstract: In this paper, the problem of one-bit compressed sensing (OBCS) is formulated as a problem in probably approximately correct (PAC) learning. It is shown that the Vapnik-Chervonenkis (VC-) dimension of the set of half-spaces in $\mathbb{R}^n$ generated by $k$-sparse vectors is bounded below by $k \lg (n/k)$ and above by $2k \lg (n/k)$, plus some round-off terms. By coupling this estimate with well-established results in PAC learning theory, we show that a consistent algorithm can recover a $k$-sparse vector with $O(k \lg (n/k))$ measurements, given only the signs of the measurement vector. This result holds for \textit{all} probability measures on $\mathbb{R}^n$. It is further shown that random sign-flipping errors result only in an increase in the constant in the $O(k \lg (n/k))$ estimate. Because constructing a consistent algorithm is not straight-forward, we present a heuristic based on the $\ell_1$-norm support vector machine, and illustrate that its computational performance is superior to a currently popular method.


title: Quantification of the transmission properties of metasurfaces illuminated by finite-size beams

abstract: The aim of this letter is to {present analytical method to} quantitatively address the influence of a focusing illumination on the transmission /reflection properties of a {metasurface illuminated by a finite-size beam}. In fact, most theoretical and numerical studies are performed by considering an infinite periodic structure illuminated by a plane wave. In practice, one deals with a finite-size illumination and structure. Combination of the angular spectrum expansion with a monomodal modal method is performed to determine the beam size needed to acquire efficient properties of a Metasurface that behaves as Anisotropic Plate MAP Interesting results show that the beam-size can be as small as 5X5 periods to recover the results of a plane wave. Other results also show that the beam-size could be used as an extrinsic parameter to enhance the MAP performance and to finely adjust its expected properties (birefringence and/or transmission coefficient).


title: Longitudinal asymmetry and its effect on pseudorapidity distributions in Pb-Pb collisions at $\sqrt{s_{NN}}$ = 2.76 TeV

abstract: First results on the longitudinal asymmetry and its effect on the pseudorapidity distributions in Pb-Pb collisions at $\sqrt{s_{\mathrm{NN}}}$ = 2.76 TeV at the Large Hadron Collider are obtained with the ALICE detector. The longitudinal asymmetry arises because of an unequal number of participating nucleons from the two colliding nuclei, and is estimated for each event by measuring the energy in the forward neutron-Zero-Degree-Calorimeters (ZNs). The effect of the longitudinal asymmetry is measured on the pseudorapidity distributions of charged particles in the regions $|\eta| < 0.9$, $2.8 < \eta < 5.1$ and $-3.7 < \eta < -1.7 $ by taking the ratio of the pseudorapidity distributions from events corresponding to different regions of asymmetry. The coefficients of a polynomial fit to the ratio characterise the effect of the asymmetry. A Monte Carlo simulation using a Glauber model for the colliding nuclei is tuned to reproduce the spectrum in the ZNs and provides a relation between the measurable longitudinal asymmetry and the shift in the rapidity ($y_{\mathrm{0}}$) of the participant zone formed by the unequal number of participating nucleons. The dependence of the coefficient of the linear term in the polynomial expansion, $c_{\rm 1}$, on the mean value of $y_{\mathrm{0}}$ is investigated.


title: Discrete Distribution for a Wiener Process Range and its Properties

abstract: We introduce the discrete distribution of a Wiener process range. Rather than finding some basic distributional properties including hazard rate function, moments, Stress-strength parameter and order statistics of this distribution, this work studies some basic properties of the truncated version of this distribution. The effectiveness of this distribution is established using a data set.


title: Algebraic method for construction of infinitesimal invariants of Lie groups representations

abstract: We propose the method for obtaining invariants of arbitrary representations of Lie groups that reduces this problem to known problems of linear algebra. The basis of this method is the idea of a special extension of the representation space, which allows us to regard it as a coalgebra of some Lie algebra. In its turn, this allows us to reduce the problem of constructing invariants of a given representation to the problem of constructing invariants of the coadjoint representation of the corresponding Lie group. In our previous paper it was shown that this problem can always be solved in a natural way by the methods of linear algebra.


title: An approach to periodic, time-varying parameter estimation using nonlinear filtering

abstract: Many systems arising in biological applications are subject to periodic forcing. In these systems the forcing parameter is not only time-varying but also known to have a periodic structure. We present an approach to estimating periodic, time-varying parameters that imposes periodic structure by treating the time-varying parameter as a piecewise function with unknown coefficients. This method allows the resulting parameter estimate more flexibility in shape than prescribing a specific functional form (e.g., sinusoidal) to model its behavior, while still maintaining periodicity. We employ nonlinear filtering, more specifically, a version of the augmented ensemble Kalman filter (EnKF), to estimate the unknown coefficients comprising the piecewise approximation of the periodic, time-varying parameter. This allows for straightforward comparison of the proposed method with an EnKF-based parameter tracking algorithm, where periodicity is not guaranteed. We demonstrate the effectiveness of the proposed approach on two biological examples: a synthetic example with data generated from the nonlinear FitzHugh-Nagumo system, modeling the excitability of a nerve cell, to estimate the external voltage parameter, and a case study using reported measles incidence data from three locations during the pre-vaccine era to estimate the seasonal transmission parameter. The formulation of the proposed approach also allows for simultaneous estimation of initial conditions and other static system parameters, such as the reporting probability of measles cases, which is vital for predicting under-reported incidence data.


title: Quantum key distribution with quantum walks

abstract: Quantum key distribution is one of the most fundamental cryptographic protocols. Quantum walks are important primitives for computing. In this paper we take advantage of the properties of quantum walks to design new secure quantum key distribution schemes. In particular, we introduce a secure quantum key-distribution protocol equipped with verification procedures against full man-in-the-middle attacks. Furthermore, we present a one-way protocol and prove its security. Finally, we propose a semi-quantum variation and prove its robustness against eavesdropping.


title: Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack

abstract: Many approaches for testing configurable software systems start from the same assumption: it is impossible to test all configurations. This motivated the definition of variability-aware abstractions and sampling techniques to cope with large configuration spaces. Yet, there is no theoretical barrier that prevents the exhaustive testing of all configurations by simply enumerating them, if the effort required to do so remains acceptable. Not only this: we believe there is lots to be learned by systematically and exhaustively testing a configurable system. In this case study, we report on the first ever endeavour to test all possible configurations of an industry-strength, open source configurable software system, JHipster, a popular code generator for web applications. We built a testing scaffold for the 26,000+ configurations of JHipster using a cluster of 80 machines during 4 nights for a total of 4,376 hours (182 days) CPU time. We find that 35.70% configurations fail and we identify the feature interactions that cause the errors. We show that sampling strategies (like dissimilarity and 2-wise): (1) are more effective to find faults than the 12 default configurations used in the JHipster continuous integration; (2) can be too costly and exceed the available testing budget. We cross this quantitative analysis with the qualitative assessment of JHipster's lead developers.


title: Signaling Networks and Dynamics of Allosteric Transitions in Bacterial Chaperonin GroEL: Implications for Iterative Annealing of Misfolded Proteins

abstract: Signal transmission at the molecular level in many biological complexes occurs through allosteric transitions. They describe the response a complex to binding of ligands at sites that are spatially well separated from the binding region. We describe the Structural Perturbation Method (SPM), based on phonon propagation in solids, that can be used to determine the signal transmitting allostery wiring diagram (AWD) in large but finite-sized biological complexes. Applications to the bacterial chaperonin GroEL-GroES complex shows that the AWD determined from structures also drive the allosteric transitions dynamically. Both from a structural and dynamical perspective these transitions are largely determined by formation and rupture of salt-bridges. The molecular description of allostery in GroEL provides insights into its function, which is quantitatively described by the Iterative Annealing Mechanism. Remarkably, in this complex molecular machine, a deep connection is established between the structures, reaction cycle during which GroEL undergoes a sequence of allosteric transitions, and function in a self-consistent manner.


title: An empirical model for the vegetation screening effect in the remote sensing monitoring

abstract: A layer of vegetation over the soil surface absorbs microwave radiation emitted from the soil and some objects located under the vegetation canopy. This paper investigates the microwave propagation process within the vegetation layer and evaluate the attenuation coefficients. For this purpose, laboratory experimental test bench is synthesized. It is based on the special rectangular camera-waveguide with transmission and receiving wide band horn antennas and allows the study of the attenuation coefficient dependence on the frequency of 0.8-10 GHz range and water content in the different vegetation elements. Evaluations of attenuation coefficients are implemented over a wide frequency range for deciduous and coniferous forests with separation consideration of the branches and trunks as the canopy fragments.


title: Safety-Aware Apprenticeship Learning

abstract: Apprenticeship learning (AL) is a kind of Learning from Demonstration techniques where the reward function of a Markov Decision Process (MDP) is unknown to the learning agent and the agent has to derive a good policy by observing an expert's demonstrations. In this paper, we study the problem of how to make AL algorithms inherently safe while still meeting its learning objective. We consider a setting where the unknown reward function is assumed to be a linear combination of a set of state features, and the safety property is specified in Probabilistic Computation Tree Logic (PCTL). By embedding probabilistic model checking inside AL, we propose a novel counterexample-guided approach that can ensure safety while retaining performance of the learnt policy. We demonstrate the effectiveness of our approach on several challenging AL scenarios where safety is essential.


title: A model of a virtual community with a decentralized reputation-based peer evaluation

abstract: This study was motivated by the problem of identifying fake documents on the Internet. To explore possible solutions to this problem we introduce a model of a network community in which members submit documents with verifiable content. Documents are evaluated by three individuals, randomly selected from all the members. The members whose documents are evaluated as authentic gain reputation. Otherwise, they lose it. Members with higher reputation have a greater chance to be selected to serve as evaluators. Analytical and computational results suggest this evaluation mechanism is effective in a wide range of parameters including the presence of members who consistently submit fake content and do not evaluate documents of others objectively. The proposed mechanism can be used in a variety of situations including evaluating photo and video files with geolocation and time data and creating collections of digital evidence of events clear from fake materials.


title: A Binary Wyner-Ziv Code Design Based on Compound LDGM-LDPC Structures

abstract: In this paper, a practical coding scheme is designed for the binary Wyner-Ziv (WZ) problem by using nested low-density generator-matrix (LDGM) and low-density parity-check (LDPC) codes. This scheme contains two steps in the encoding procedure. The first step involves applying the binary quantization by employing LDGM codes and the second one is using the syndrome-coding technique by utilizing LDPC codes. The decoding algorithm of the proposed scheme is based on the Sum-Product (SP) algorithm with the help of a side information available at the decoder side. It is theoretically shown that the compound structure has the capability of achieving the WZ bound. The proposed method approaches this bound by utilizing the iterative message-passing algorithms in both encoding and decoding, although theoretical results show that it is asymptotically achievable.


title: Flavor-singlet meson decay constants from $N_f=2+1+1$ twisted mass lattice QCD

abstract: We present an improved analysis of our lattice data for the $\eta$--$\eta'$ system, including a correction of the relevant correlation functions for residual topological finite size effects and employing consistent chiral and continuum fits. From this analysis we update our physical results for the masses $M_\eta=557(11)_\mathrm{stat}(03)_{\chi\mathrm{PT}}\,\mathrm{MeV}$ and $M_{\eta'}=911(64)_\mathrm{stat}(03)_{\chi\mathrm{PT}}\,\mathrm{MeV}$, as well as the mixing angle in the quark flavor basis $\phi=38.8(2.2)_\mathrm{stat}(2.4)_{\chi\mathrm{PT}}^\circ$ in excellent agreement with other results from phenomenology. Similarly, we include an analysis for the decay constant parameters, leading to $f_l=125(5)_\mathrm{stat}(6)_{\chi\mathrm{PT}}\,\mathrm{MeV}$ and $f_s=178(4)_\mathrm{stat}(1)_{\chi\mathrm{PT}}\,\mathrm{MeV}$. The second error reflects the uncertainty related to the chiral extrapolation. The data used for this study has been generated on gauge ensembles provided by the European Twisted Mass Collaboration with $N_f=2+1+1$ dynamical flavors of Wilson twisted mass fermions. These ensembles cover a range of pion masses from $220\,\mathrm{MeV}$ to $500\,\mathrm{MeV}$ and three values of the lattice spacing. Combining our data with a prediction from chiral perturbation theory, we give an estimate for the physical $\eta,\eta' \rightarrow \gamma\gamma$ decay widths and the singly-virtual $\eta,\eta'\rightarrow\gamma\gamma^*$ transition form factors in the limit of large momentum transfer.


title: The peculiar physics of GRB 170817A and their implications for short GRBs

abstract: The unexpected nearby gamma-ray burst GRB 170817A associated with the LIGO binary neutron star merger event GW170817 presents a challenge to the current understanding of the emission physics of short gamma-ray bursts (GRBs). The event's low luminosity but similar peak energy compared to standard short GRBs are difficult to explain with current models, challenging our understanding of the GRB emission process. Emission models invoking synchrotron radiation from electrons accelerated in shocks and photospheric emission are particularly challenging explanations for this burst.


title: First Results from CUORE: A Search for Lepton Number Violation via $0\nu\beta\beta$ Decay of $^{130}$Te

abstract: The CUORE experiment, a ton-scale cryogenic bolometer array, recently began operation at the Laboratori Nazionali del Gran Sasso in Italy. The array represents a significant advancement in this technology, and in this work we apply it for the first time to a high-sensitivity search for a lepton-number--violating process: $^{130}$Te neutrinoless double-beta decay. Examining a total TeO$_2$ exposure of 86.3 kg$\cdot$yr, characterized by an effective energy resolution of (7.7 $\pm$ 0.5) keV FWHM and a background in the region of interest of (0.014 $\pm$ 0.002) counts/(keV$\cdot$kg$\cdot$yr), we find no evidence for neutrinoless double-beta decay. The median statistical sensitivity of this search is $7.0\times10^{24}$ yr. Including systematic uncertainties, we place a lower limit on the decay half-life of $T^{0\nu}_{1/2}$($^{130}$Te) > $1.3\times 10^{25}$ yr (90% C.L.). Combining this result with those of two earlier experiments, Cuoricino and CUORE-0, we find $T^{0\nu}_{1/2}$($^{130}$Te) > $1.5\times 10^{25}$ yr (90% C.L.), which is the most stringent limit to date on this decay. Interpreting this result as a limit on the effective Majorana neutrino mass, we find $m_{\beta\beta}<(110 - 520)$ meV, where the range reflects the nuclear matrix element estimates employed.


title: Practical Identifiability and Uncertainty Quantification of a Pulsatile Cardiovascular Model

abstract: Mathematical models are essential tools to study how the cardiovascular system maintains homeostasis. The utility of such models is limited by the accuracy of their predictions, which can be determined by uncertainty quantification (UQ). A challenge associated with the use of UQ is that many published methods assume that the underlying model is identifiable (e.g. that a one-to-one mapping exists from the parameter space to the model output). In this study we present a novel methodology that is used here to calibrate a lumped-parameter model to left ventricular pressure and volume time series data sets. Key steps include using (1) literature and available data to determine nominal parameter values; (2) sensitivity analysis and subset selection to determine a set of identifiable parameters; (3) optimization to find a point estimate for identifiable parameters; and (4) frequentist and Bayesian UQ calculations to assess the predictive capability of the model. Our results show that it is possible to determine 5 identifiable model parameters that can be estimated to our experimental data from three rats, and that computed UQ intervals capture the measurement and model error.


title: Hierarchical State Abstractions for Decision-Making Problems with Computational Constraints

abstract: In this semi-tutorial paper, we first review the information-theoretic approach to account for the computational costs incurred during the search for optimal actions in a sequential decision-making problem. The traditional (MDP) framework ignores computational limitations while searching for optimal policies, essentially assuming that the acting agent is perfectly rational and aims for exact optimality. Using the free-energy, a variational principle is introduced that accounts not only for the value of a policy alone, but also considers the cost of finding this optimal policy. The solution of the variational equations arising from this formulation can be obtained using familiar Bellman-like value iterations from dynamic programming (DP) and the Blahut-Arimoto (BA) algorithm from rate distortion theory. Finally, we demonstrate the utility of the approach for generating hierarchies of state abstractions that can be used to best exploit the available computational resources. A numerical example showcases these concepts for a path-planning problem in a grid world environment.


title: Rethinking Convolutional Semantic Segmentation Learning

abstract: Deep convolutional semantic segmentation (DCSS) learning doesn't converge to an optimal local minimum with random parameters initializations; a pre-trained model on the same domain becomes necessary to achieve convergence.In this work, we propose a joint cooperative end-to-end learning method for DCSS. It addresses many drawbacks with existing deep semantic segmentation learning; the proposed approach simultaneously learn both segmentation and classification; taking away the essential need of the pre-trained model for learning convergence. We present an improved inception based architecture with partial attention gating (PAG) over encoder information. The PAG also adds to achieve faster convergence and better accuracy for segmentation task. We will show the effectiveness of this learning on a diabetic retinopathy classification and segmentation dataset.


title: Twin Sort Technique

abstract: The objective behind the Twin Sort technique is to sort the list of unordered data elements efficiently and to allow efficient and simple arrangement of data elements within the data structure with optimization of comparisons and iterations in the sorting method. This sorting technique effectively terminates the iterations when there is no need of comparison if the elements are all sorted in between the iterations. Unlike Quick sort, Merge sorting technique, this new sorting technique is based on the iterative method of sorting elements within the data structure. So it will be advantageous for optimization of iterations when there is no need for sorting elements. Finally, the Twin Sort technique is more efficient and simple method of arranging elements within a data structure and it is easy to implement when comparing to the other sorting technique. By the introduction of optimization of comparison and iterations, it will never allow the arranging task on the ordered elements.


title: FDD Massive MIMO: Efficient Downlink Probing and Uplink Feedback via Active Channel Sparsification

abstract: In this paper, we propose a novel method for efficient implementation of a massive Multiple-Input Multiple-Output (massive MIMO) system with Frequency Division Duplexing (FDD) operation. Our main objective is to reduce the large overhead incurred by Downlink (DL) common training and Uplink (UL) feedback needed to obtain channel state information (CSI) at the base station. Our proposed scheme relies on the fact that the underlying angular distribution of a channel vector, also known as the angular scattering function, is a frequency-invariant entity yielding a UL-DL reciprocity and has a limited angular support. We estimate this support from UL CSI and interpolate it to obtain the corresponding angular support of the DL channel. Finally we exploit the estimated support of the DL channel of all the users to design an efficient channel probing and feedback scheme that maximizes the total spectral efficiency of the system. Our method is different from the existing compressed-sensing (CS) based techniques in the literature. Using support information helps reduce the feedback overhead from O(s*log M) in CS techniques to O(s) in our proposed method, with $s$ and $M$ being sparsity order of the channel vectors and the number of base station antennas, respectively. Furthermore, in order to control the channel sparsity and therefore the DL common training and UL feedback overhead, we introduce the novel concept of active channel sparsification. In brief, when the fixed pilot dimension is less than the required amount for reliable channel estimation, we introduce a pre-beamforming matrix that artificially reduces the effective channel dimension of each user to be not larger than the DL pilot dimension, while maximizing both the number of served users and the number of probed angles. We provide numerical experiments to compare our method with the state-of-the-art CS technique.


title: Electronic Stopping of Slow Protons in Oxides: Scaling Properties

abstract: Electronic stopping of slow protons in ZnO, VO2 (metal and semiconductor phases), HfO2, and Ta2O5 was investigated experimentally. As a comparison of the resulting stopping cross sections (SCS) to data for Al2O3 and SiO2 reveals, electronic stopping of slow protons does not correlate with electronic properties of the specific material such as band gap energies. Instead, the oxygen 2p states are decisive, as corroborated by density functional theory calculations of the electronic densities of states. Hence, at low ion velocities the SCS of an oxide primarily scales with its oxygen density.


title: On fluctuations of cycles in a finite CW complex

abstract: We use algebraic topology to study the stochastic mo- tion of cellular cycles in a finite CW complex. Inspired by statis- tical mechanics, we introduce a homological observable called the average current. The latter measures the average flux of the prob- ability in the process. In the low temperature, adiabatic limit, we prove that the average current fractionally quantizes, in which the denominators are combinatorial invariants of the CW complex.


title: Semi-classical propagation of singularity for Stokes system

abstract: We study the quasi-mode of Stokes system posed on a smooth bounded domain with Dirichlet boundary condition. We prove that the high energy L2 norm of solutions concentrate on the bi-characteristic of Laplace operator as matrix-valued Radon measure. Moreover, we prove that the support of such measure is invariant under Melrose-Sj\"ostrand flow.


title: Timed Concurrent State Machines

abstract: Timed Concurrent State Machines are an application of Alur's Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea of testing automata, allowing to specify time properties easier than temporal formulas. Also, calculation of a global state space in real-time domain (Region Concurrent State Machines) is defined, allowing to store a verified system in ready-to-verification form, and to multiply it by various testing automata.


title: Spontaneous surface flux pattern in chiral p-wave superconductors - revisited

abstract: In chiral $p$-wave superconductors, magnetic flux patterns may appear spontaneously when translational symmetry is broken such as at surfaces, domain walls, or impurities. However, in the candidate material Sr$_2$RuO$_4$ no direct signs of such magnetic fields have been detected experimentally. In this paper, the flux pattern at the edge of a disk-shaped sample is examined using the phenomenological Ginzburg Landau approach. The detailed shape of the flux pattern, including self-screening, is computed numerically for different surface types by systematically scanning a range of boundary conditions. Moreover, specific features of the electronic structure are included qualitatively through the coefficients in the Ginzburg Landau functional. Both the shape and the magnitude of the flux pattern are found to be highly sensitive to all considered parameters. In conclusion, such spontaneous magnetic flux patterns are not a universal feature of chiral $p$-wave superconductors.


title: Ab-initio Optimized Effective Potentials for Real Molecules in Optical Cavities: Photon Contributions to the Molecular Ground state

abstract: We introduce a simple scheme to efficiently compute photon exchange-correlation contributions due to the coupling to transversal photons as formulated in the newly developed quantum-electrodynamical density functional theory (QEDFT). Our construction employs the optimized-effective potential (OEP) approach by means of the Sternheimer equation to avoid the explicit calculation of unoccupied states. We demonstrate the efficiency of the scheme by applying it to an exactly solvable GaAs quantum ring model system, a single azulene molecule, and chains of sodium dimers, all located in optical cavities and described in full real space. While the first example is a two-dimensional system and allows to benchmark the employed approximations, the latter two examples demonstrate that the correlated electron-photon interaction appreciably distorts the ground-state electronic structure of a real molecule. By using this scheme, we not only construct typical electronic observables, such as the electronic ground-state density, but also illustrate how photon observables, such as the photon number, and mixed electron-photon observables, e.g. electron-photon correlation functions, become accessible in a DFT framework. This work constitutes the first three-dimensional ab-initio calculation within the new QEDFT formalism and thus opens up a new computational route for the ab-initio study of correlated electron-photon systems in quantum cavities.

categories: quant-ph cond-mat.mtrl-sci physics.chem-ph physics.comp-ph


title: Stabilization of magnetic skyrmions by RKKY interactions

abstract: We study the stabilization of an isolated magnetic skyrmion in a magnetic monolayer on a nonmagnetic conducting substrate via the Ruderman-Kittel-Kasuya-Yosida (RKKY) exchange interaction. Two different types of the substrate are considered, usual normal metal and single-layer graphene. While the full stability analysis for skyrmions in the presence of the RKKY coupling requires a separate effort that is outside the scope of this work, we are able to study the radial stability (stability of a skyrmion against collapse) using variational energy estimates obtained within first-order perturbation theory, with the unperturbed Hamiltonian describing the isotropic Heisenberg magnet, and the two perturbations being the RKKY exchange and the easy-axis anisotropy. We show that a proper treatment of the long-range nature of the RKKY interaction leads to a qualitatively different stabilization scenario compared to previous studies, where solitons were stabilized by the frustrated exchange coupling (leading to terms with the fourth power of the magnetization gradients) or by the Dzyaloshinskii-Moriya interaction (described by terms linear in the magnetization gradients). In the case of a metallic substrate, the skyrmion stabilization is possible under restrictive conditions on the Fermi surface parameters, while in the case of a graphene substrate the stabilization is naturally achieved in several geometries with a lattice-matching of graphene and magnetic layer.


title: Level 2.5 large deviations for continuous time Markov chains with time periodic rates

abstract: We consider an irreducible continuous time Markov chain on a finite state space and with time periodic jump rates and prove the joint large deviation principle for the empirical measure and flow and the joint large deviation principle for the empirical measure and current. By contraction we get the large deviation principle of three types of entropy production flow. We derive some Gallavotti-Cohen duality relations and discuss some applications.

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


title: Generalized Sheet Transition Conditions (GSTCs) for a Metascreen -- A Fishnet Metasurface

abstract: We used a multiple-scale homogenization method to derive generalized sheet transition conditions (GSTCs) for electromagnetic fields at the surface of a metascreen---a metasurface with a "fishnet" structure. These surfaces are characterized by periodically-spaced arbitrary-shaped apertures in an otherwise relatively impenetrable surface. The parameters in these GSTCs are interpreted as effective surface susceptibilities and surface porosities, which are related to the geometry of the apertures that constitute the metascreen. Finally, we emphasize the subtle but important difference between the GSTCs required for metascreens and those required for metafilms (a metasurface with a "cermet" structure, i.e., an array of isolated (non-touching) scatterers).


title: Determination of Dark Matter Halo Mass from Dynamics of Satellite Galaxies

abstract: We show that the mass of a dark matter halo can be inferred from the dynamical status of its satellite galaxies. Using 9 dark-matter simulations of halos like the Milky Way (MW), we find that the present-day substructures in each halo follow a characteristic distribution in the phase space of orbital binding energy and angular momentum, and that this distribution is similar from halo to halo but has an intrinsic dependence on the halo formation history. We construct this distribution directly from the simulations for a specific halo and extend the result to halos of similar formation history but different masses by scaling. The mass of an observed halo can then be estimated by maximizing the likelihood in comparing the measured kinematic parameters of its satellite galaxies with these distributions. We test the validity and accuracy of this method with mock samples taken from the simulations. Using the positions, radial velocities, and proper motions of 9 tracers and assuming observational uncertainties comparable to those of MW satellite galaxies, we find that the halo mass can be recovered to within $\sim$40%. The accuracy can be improved to within $\sim$25% if 30 tracers are used. However, the dependence of the phase-space distribution on the halo formation history sets a minimum uncertainty of $\sim$20% that cannot be reduced by using more tracers. We believe that this minimum uncertainty also applies to any mass determination for a halo when the phase space information of other kinematic tracers is used.


title: Number of thermodynamic states in the three-dimensional Edwards-Anderson spin glass

abstract: The question of the number of thermodynamic states present in the low-temperature phase of the three-dimensional Edwards-Anderson Ising spin glass is addressed by studying spin and link overlap distributions using population annealing Monte Carlo simulations. We consider overlaps between systems with the same boundary condition-which are the usual quantities measured-and also overlaps between systems with different boundary conditions, both for the full systems and also within a smaller window within the system. Our results appear to be fully compatible with a single pair of pure states such as in the droplet/scaling picture. However, our results for whether or not domain walls induced by changing boundary conditions are space filling or not are also compatible with scenarios having many thermodynamic states, such as the chaotic pairs picture and the replica symmetry breaking picture. The differing results for spin overlaps in same and different boundary conditions suggest that finite-size effects are very large for the system sizes currently accessible in low-temperature simulations.


title: Smart "Predict, then Optimize"

abstract: Many real-world analytics problems involve two significant challenges: prediction and optimization. Due to the typically complex nature of each challenge, the standard paradigm is predict-then-optimize. By and large, machine learning tools are intended to minimize prediction error and do not account for how the predictions will be used in the downstream optimization problem. In contrast, we propose a new and very general framework, called Smart "Predict, then Optimize" (SPO), which directly leverages the optimization problem structure, i.e., its objective and constraints, for designing better prediction models. A key component of our framework is the SPO loss function which measures the decision error induced by a prediction. Training a prediction model with respect to the SPO loss is computationally challenging, and thus we derive, using duality theory, a convex surrogate loss function which we call the SPO+ loss. Most importantly, we prove that the SPO+ loss is statistically consistent with respect to the SPO loss under mild conditions. Our SPO+ loss function can tractably handle any polyhedral, convex, or even mixed-integer optimization problem with a linear objective. Numerical experiments on shortest path and portfolio optimization problems show that the SPO framework can lead to significant improvement under the predict-then-optimize paradigm, in particular when the prediction model being trained is misspecified. We find that linear models trained using SPO+ loss tend to dominate random forest algorithms, even when the ground truth is highly nonlinear.


title: Infrared problem in quantum acoustodynamics at finite temperature

abstract: The phonon-assisted sticking rate of slow moving atoms impinging on an elastic membrane at nonzero temperature is studied analytically using a model with linear atom-phonon interactions, valid in the weak coupling regime. A perturbative expansion of the adsorption rate in the atom-phonon coupling is infrared divergent at zero temperature, and this infrared problem is exacerbated by finite temperature. The use of a coherent state phonon basis in the calculation, however, yields infrared-finite results even at finite temperature. The sticking probability with the emission of any finite number of phonons is explicitly seen to be exponentially small, and it vanishes as the membrane size grows, a result that was previously found at zero temperature; in contrast to the zero temperature case, this exponential suppression of the sticking probability persists even with the emission of an infinite number of soft phonons. Explicit closed-form expressions are obtained for the effects of soft-phonon emission at finite temperature on the adsorption rate. For slowly moving atoms, the model predicts that there is zero probability of sticking to a large elastic membrane at nonzero temperature and weak coupling.


title: Closed minimal surfaces of high Morse index in manifolds of negative curvature

abstract: We show that compact Riemannian three-manifolds with negative sectional curvature possess closed minimal surfaces of arbitrarily high Morse index.


title: Origin of the Blue Continuum Radiation in the Flare Spectra of dMe stars

abstract: Calculations of the emission spectrum of a homogeneous plane layer of pure hydrogen plasma taking into account nonlinear effects (the influence of bremsstrahlung and recombination radiation of the layer itself on its Menzel factors) [Morchenko et al., Ap&SS, Vol. 357, article id. 119 (2015)] show that the blue component of the optical continuum during the impulsive phase of large flares on dMe stars originates from the near-photospheric layers [Grinin and Sobolev, Afz, Vol. 13, 587 (1977)]. The gas behind the front of a stationary radiative shock wave propagating in the red dwarf chromosphere toward the photosphere is not capable of generating the blackbody radiation observed at the maximum brightness of the flares.


title: Floquet Protocols of Adiabatic State-Flips and Re-Allocation of Exceptional Points

abstract: We introduce the notion of adiabatic state-flip of a Floquet Hamiltonian associated with a non-Hermitian system that it is subjected to two driving schemes with clear separation of time scales. The fast (Floquet) modulation scheme is utilized to re-allocate the exceptional points in the parameter space of the system and re-define the topological features of an adiabatic cyclic modulation associated with the slow driving scheme. Such topological re-organization can be used in order to control the adiabatic transport between two eigenmodes of the Floquet Hamiltonian. The proposed scheme provides a degree of reconfigurability of adiabatic state transfer which can find applications in system control in photonics and microwave domains.


title: Riesz Energy on the Torus: Regularity of Minimizers

abstract: We study sets of $N$ points on the $d-$dimensional torus $\mathbb{T}^d$ minimizing interaction functionals of the type \[ \sum_{i, j =1 \atop i \neq j}^{N}{ f(x_i - x_j)}. \] The main result states that for a class of functions $f$ that behave like Riesz energies $f(x) \sim \|x\|^{-s}$ for $0< s < d$, the minimizing configuration of points has optimal regularity w.r.t. a Fourier-analytic regularity measure that arises in the study of irregularities of distribution. A particular consequence is that they are optimal quadrature points in the space of trigonometric polynomials up to a certain degree. The proof extends to other settings and also covers less singular functions such as $f(x) = \exp\bigl(- N^{\frac{2}{d}} \|x\|^2 \bigr)$.


title: ActivityNet Challenge 2017 Summary

abstract: The ActivityNet Large Scale Activity Recognition Challenge 2017 Summary: results and challenge participants papers.


title: Exploiting generalization in the subspaces for faster model-based learning

abstract: Due to the lack of enough generalization in the state-space, common methods in Reinforcement Learning (RL) suffer from slow learning speed especially in the early learning trials. This paper introduces a model-based method in discrete state-spaces for increasing learning speed in terms of required experience (but not required computational time) by exploiting generalization in the experiences of the subspaces. A subspace is formed by choosing a subset of features in the original state representation (full-space). Generalization and faster learning in a subspace are due to many-to-one mapping of experiences from the full-space to each state in the subspace. Nevertheless, due to inherent perceptual aliasing in the subspaces, the policy suggested by each subspace does not generally converge to the optimal policy. Our approach, called Model Based Learning with Subspaces (MoBLeS), calculates confidence intervals of the estimated Q-values in the full-space and in the subspaces. These confidence intervals are used in the decision making, such that the agent benefits the most from the possible generalization while avoiding from detriment of the perceptual aliasing in the subspaces. Convergence of MoBLeS to the optimal policy is theoretically investigated. Additionally, we show through several experiments that MoBLeS improves the learning speed in the early trials.


title: Non-minimal Einstein-Maxwell theory: the Fresnel equation and the Petrov classification of a trace-free susceptibility tensor

abstract: We construct a classification of dispersion relations for the electromagnetic waves non-minimally coupled to the space-time curvature, based on the analysis of the susceptibility tensor, which appears in the non-minimal Einstein-Maxwell theory. We classify solutions to the Fresnel equation for the model with a trace-free non-minimal susceptibility tensor according to the Petrov scheme. For all Petrov types we discuss specific features of the dispersion relations and plot the corresponding wave surfaces.


title: Deep Cropping via Attention Box Prediction and Aesthetics Assessment

abstract: We model the photo cropping problem as a cascade of attention box regression and aesthetic quality classification, based on deep learning. A neural network is designed that has two branches for predicting attention bounding box and analyzing aesthetics, respectively. The predicted attention box is treated as an initial crop window where a set of cropping candidates are generated around it, without missing important information. Then, aesthetics assessment is employed to select the final crop as the one with the best aesthetic quality. With our network, cropping candidates share features within full-image convolutional feature maps, thus avoiding repeated feature computation and leading to higher computation efficiency. Via leveraging rich data for attention prediction and aesthetics assessment, the proposed method produces high-quality cropping results, even with the limited availability of training data for photo cropping. The experimental results demonstrate the competitive results and fast processing speed (5 fps with all steps).


title: Bringing Semantic Structures to User Intent Detection in Online Medical Queries

abstract: The Internet has revolutionized healthcare by offering medical information ubiquitously to patients via web search. The healthcare status, complex medical information needs of patients are expressed diversely and implicitly in their medical text queries. Aiming to better capture a focused picture of user's medical-related information search and shed insights on their healthcare information access strategies, it is challenging yet rewarding to detect structured user intentions from their diversely expressed medical text queries. We introduce a graph-based formulation to explore structured concept transitions for effective user intent detection in medical queries, where each node represents a medical concept mention and each directed edge indicates a medical concept transition. A deep model based on multi-task learning is introduced to extract structured semantic transitions from user queries, where the model extracts word-level medical concept mentions as well as sentence-level concept transitions collectively. A customized graph-based mutual transfer loss function is designed to impose explicit constraints and further exploit the contribution of mentioning a medical concept word to the implication of a semantic transition. We observe an 8% relative improvement in AUC and 23% relative reduction in coverage error by comparing the proposed model with the best baseline model for the concept transition inference task on real-world medical text queries.


title: Experimental Biological Protocols with Formal Semantics

abstract: Both experimental and computational biology is becoming increasingly automated. Laboratory experiments are now performed automatically on high-throughput machinery, while computational models are synthesized or inferred automatically from data. However, integration between automated tasks in the process of biological discovery is still lacking, largely due to incompatible or missing formal representations. While theories are expressed formally as computational models, existing languages for encoding and automating experimental protocols often lack formal semantics. This makes it challenging to extract novel understanding by identifying when theory and experimental evidence disagree due to errors in the models or the protocols used to validate them. To address this, we formalize the syntax of a core protocol language, which provides a unified description for the models of biochemical systems being experimented on, together with the discrete events representing the liquid-handling steps of biological protocols. We present both a deterministic and a stochastic semantics to this language, both defined in terms of hybrid processes. In particular, the stochastic semantics captures uncertainties in equipment tolerances, making it a suitable tool for both experimental and computational biologists. We illustrate how the proposed protocol language can be used for automated verification and synthesis of laboratory experiments on case studies from the fields of chemistry and molecular programming.


title: Adaptive Bayesian nonparametric regression using kernel mixture of polynomials with application to partial linear model

abstract: We propose a kernel mixture of polynomials prior for Bayesian nonparametric regression. The regression function is modeled by local averages of polynomials with kernel mixture weights. We obtain the minimax-optimal rate of contraction of the full posterior distribution up to a logarithmic factor that adapts to the smoothness level of the true function by estimating metric entropies of certain function classes. We also provide a frequentist sieve maximum likelihood estimator with a near-optimal convergence rate. We further investigate the application of the kernel mixture of polynomials to the partial linear model and obtain both the near-optimal rate of contraction for the nonparametric component and the Bernstein-von Mises limit (i.e., asymptotic normality) of the parametric component. The proposed method is illustrated with numerical examples and shows superior performance in terms of computational efficiency, accuracy, and uncertainty quantification compared to the local polynomial regression, DiceKriging, and the robust Gaussian stochastic process.


title: Inverting the Hopf map

abstract: We calculate the $\eta$-localization of the motivic stable homotopy ring over the complex numbers, confirming a conjecture of Guillou and Isaksen. Our approach is via the motivic Adams-Novikov spectral sequence. In fact, work of Hu, Kriz, and Ormsby implies that it suffices to compute the corresponding localization of the classical Adams-Novikov $E_2$-term, and this is what we do. Guillou and Isaksen also proposed a pattern of differentials in the localized motivic classical Adams spectral sequence, which we verify using a method first explored by Novikov.


title: Ringel duality and Auslander-Dlab-Ringel algebras

abstract: We introduce a new class of quasi-hereditary algebras, containing in particular the Auslander-Dlab-Ringel (ADR) algebras. We show that this new class of algebras is preserved under Ringel duality, which determines in particular explicitly the Ringel dual of any ADR algebra. As a special case of our theory, it follows that, under very restrictive conditions, an ADR algebra is Ringel dual to another one. The latter provides an alternative proof for a recent result of Conde and Erdmann, and places it in a more general setting.


title: Enhancements of high order cumulants across the 1st order phase transition boundary

abstract: In this proceeding, we investigate the dynamical evolution of the $\sigma$ field with a trajectory across the 1st order phase transition boundary, using Langevin dynamics from the linear sigma model. We find the high order cumulants of the $\sigma$ field are largely enhanced during the dynamical evolution, compared with the equilibrium values, due to the supercooling effect of the first order phase transition.


title: On higher-derivative gauge theories

abstract: In this work we study the main properties and the one-loop renormalization of a Yang-Mills theory in which the kinetic term contains also a fourth-order differential operator; in particular, we add to the Yang-Mills Lagrangian the most general contribution of mass dimension six, weighted with a dimensionful parameter. This model is renormalizable; in the literature two values for the beta function for the gauge coupling have been reported, one obtained using the heat kernel approach and one with Feynman diagrams. In this work we repeat the computation using heat kernel techniques confirming the latter result. We also considered coupling with matter. We then study the supersymmetric extension of the model; this is a nontrivial task because of the complicate structure of the higher-derivative term. Some partial results were known, but a computation of the beta functions for the full supersymmetric non-Abelian higher-derivative gauge theory was missing. We make use of the (unextended) supersymmetric higher-derivative Lagrangian density for the Yang-Mills field in six spacetime dimensions derived in arXiv:hep-th/0505082; by dimensional reduction we obtain the N=1 and N=2 supersymmetric higher-derivative super-Yang-Mills Lagrangian in four spacetime dimensions, whose beta function we evaluate using heat kernels. We also deduce the beta function for N=4 supersymmetry.


title: Automorphisms of the $k$-algebra $k[X_1,...,X_m]$

abstract: For a field $k$ of characteristic $0$, we present an algorithm for deciding if a morphism $\phi:k[X_1,...,X_m]\to k[X_1,...,X_m]$ has an inverse. The algorithm also shows how to find the inverse when it exists.


title: A Brief Comparison of Two Enterprise-Class RDBMSs

abstract: This paper is an extended version of a report from a student-developed study to compare Microsoft SQL Server and PostgreSQL, two widely-used enterprise-class relational database management systems (RDBMSs). The study followed an introductory undergraduate course in relational systems and was designed to help gain practical understanding of specific DBMSs. During this study, we implemented three non-trivial schemas in each system, identified 26 common database design, development, and administration activities while implementing the schemas, and compared the support each system offers to carry out the identified activities. Where relevant, we also compared each system against the SQL standard. In this report, we present a summary of the similarities and differences we found between the two systems, and we provide a quantitative measure ranking both systems' implementations of the 26 activities. We also briefly discuss the "technical suitability" of PostgreSQL to enterprise applications. Although this report is not comprehensive and is too general to comment on the suitability of either system to a specific enterprise application, it can nevertheless provide an initial set of considerations and criteria to choose a system for most enterprise applications.


title: Quasi-normal modes and absorption probabilities of spin-3/2 fields in $D$-dimensional Reissner-Nordstr\"om black hole spacetimes

abstract: In this paper we consider spin-3/2 fields in a $D$-dimensional Reissner-Nordstr\"om black hole spacetime. As these spacetimes are not Ricci-flat, it is necessary to modify the covariant derivative to the supercovariant derivative, by including terms related to the background electromagnetic fields, so as to maintain the gauge symmetry. Using this supercovariant derivative we arrive at the corresponding Rarita-Schwinger equation in a charged black hole background. As in our previous works, we exploit the spherically symmetry of the spacetime and use the eigenspinor-vectors on an $N$-sphere to derive the radial equations for both non-transverse-traceless (non-TT) modes and TT modes. We then determine the quasi-normal mode and absorption probabilities of the associated gauge-invariant variables using the WKB approximation and the asymptotic iteration method. We then concentrate on how these quantities change with the charge of the black hole, especially when they reach the extremal limits.


title: Rainbow saturation of graphs

abstract: In this paper we study the following problem proposed by Barrus, Ferrara, Vandenbussche, and Wenger. Given a graph $H$ and an integer $t$, what is $\operatorname{sat}_{t}\left(n, \mathfrak{R}{(H)}\right)$, the minimum number of edges in a $t$-edge-coloured graph $G$ on $n$ vertices such that $G$ does not contain a rainbow copy of $H$, but adding to $G$ a new edge in any colour from $\{1,2,\ldots,t\}$ creates a rainbow copy of $H$? Here, we completely characterize the growth rates of $\operatorname{sat}_{t}\left(n, \mathfrak{R}{(H)}\right)$ as a function of $n$, for any graph $H$ belonging to a large class of connected graphs and for any $t\geq e(H)$. This classification includes all connected graphs of minimum degree $2$. In particular, we prove that $\operatorname{sat}_{t}\left(n, \mathfrak{R}{(K_r)}\right)=\Theta(n\log n)$, for any $r\geq 3$ and $t\geq {r \choose 2}$, thus resolving a conjecture of Barrus, Ferrara, Vandenbussche, and Wenger. We also pose several new problems and conjectures.


title: The observed properties of Fast Radio Bursts

abstract: I present an empirical study of the properties of fast radio bursts (FRBs): Gigahertz-frequency, dispersed pulses of extragalactic origin. I focus my investigation on the sample of seventeen FRBs detected at the Parkes radio telescope with largely self-consistent instrumentation. Of this sample, six are temporally unresolved, eight exhibit evidence for scattering in inhomogeneous plasma, and five display potentially intrinsic temporal structure. The characteristic scattering timescales at a frequency of 1 GHz range between 0.005 ms and 32 ms; moderate evidence exists for a relation between FRB scattering timescales and dispersion measures. Additionally, I present constraints on the fluences of Parkes FRBs, accounting for their uncertain sky-positions, and use the multiple-beam detection of FRB 010724 (the Lorimer burst) to measure its fluence to be $800\pm400$ Jy ms. FRBs, including the repeating FRB 121102, appear to manifest with a plethora of characteristics, and it is uncertain at present whether they share a common class of progenitor object, or arise from a selection of independent progenitors.


title: Lightweight MPI Communicators with Applications to Perfectly Balanced Quicksort

abstract: MPI uses the concept of communicators to connect groups of processes. It provides nonblocking collective operations on communicators to overlap communication and computation. Flexible algorithms demand flexible communicators. E.g., a process can work on different subproblems within different process groups simultaneously, new process groups can be created, or the members of a process group can change. Depending on the number of communicators, the time for communicator creation can drastically increase the running time of the algorithm. Furthermore, a new communicator synchronizes all processes as communicator creation routines are blocking collective operations. We present RBC, a communication library based on MPI, that creates range-based communicators in constant time without communication. These RBC communicators support (non)blocking point-to-point communication as well as (non)blocking collective operations. Our experiments show that the library reduces the time to create a new communicator by a factor of more than 400 whereas the running time of collective operations remains about the same. We propose Janus Quicksort, a distributed sorting algorithm that avoids any load imbalances. We improved the performance of this algorithm by a factor of 15 for moderate inputs by using RBC communicators. Finally, we discuss different approaches to bring nonblocking (local) communicator creation of lightweight (range-based) communicators into MPI.


title: Quantum Phase Slips: from condensed matter to ultracold quantum gases

abstract: Quantum phase slips are the primary excitations in one-dimensional superfluids and superconductors at low temperatures. They have been well characterized in most condensed-matter systems, and signatures of their existence has been recently observed in superfluids based on quantum gases too. In this review we briefly summarize the main results obtained on the investigation of phase slips from superconductors to quantum gases. In particular we focus our attention on recent experimental results of the dissipation in one-dimensional Bose superfluids flowing along a shallow periodic potential, which show signatures of quantum phase slips.


title: Characterizing and Enumerating Walsh-Hadamard Transform Algorithms

abstract: We propose a way of characterizing the algorithms computing a Walsh-Hadamard transform that consist of a sequence of arrays of butterflies ($I_{2^{n-1}}\otimes \text{DFT}_2$) interleaved by linear permutations. Linear permutations are those that map linearly the binary representation of its element indices. We also propose a method to enumerate these algorithms.


title: Axions in Type IIA Superstring Theory and Dark Matter

abstract: Motivated by the M-theory compactification physics, we study a type IIA superstring quiver model with an open string axion field associated with the U(1)_{PQ} Peccei-Quinn global symmetry using D6-brane physics. This realization extends the symmetry of the SM-Like and contributes to the mediation of the electroweak symmetry breaking. The associated axion energy scales are approached in terms of D2 and D6-branes in type IIA compactifications on Calabi-Yau threeforlds. Using the fermion mass scales as well as string theory results, the allowed axion window is discussed in terms of intersecting D6-branes wrapping 3-cycles belonging to the middle cohomology of the type IIA internal space. The non-perturbative effect of the open string axion sector is dealt with using a D2-brane wrapping a 3-cycle producing (1+3)-dimensional stringy instantons. According to the known data, the vacuum expectation value of the axion and the mass scale of the involved scalar provide a probe of the stringy physics effect in the SM and a possible axionic dark matter candidate.