title: On distribution formulas for complex and $\ell$-adic polylogarithms

abstract: We study an $\ell$-adic Galois analogue of the distribution formulas for polylogarithms with special emphasis on path dependency and arithmetic behaviors. As a goal, we obtain a notion of certain universal Kummer-Heisenberg measures that enable interpolating the $\ell$-adic polylogarithmic distribution relations for all degrees.


title: Dark matter self-interactions from the internal dynamics of dwarf spheroidals

abstract: Dwarf spheroidal galaxies provide well-known challenges to the standard cold and collisionless dark matter scenario: The too-big-to-fail problem, namely the mismatch between the observed mass enclosed within the half-light radius of dwarf spheroidals and cold dark matter N-body predictions; The hints for inner constant-density cores. While these controversies may be alleviated by baryonic physics and environmental effects, revisiting the standard lore of cold and collisionless dark matter remains an intriguing possibility. Self-interacting dark matter may be the successful proposal to such a small-scale crisis. Self-interactions correlate dark matter and baryon distributions, allowing for constant-density cores in low surface brightness galaxies. Here we report the first data-driven study of the too-big-to-fail of Milky Way dwarf spheroidals within the self-interacting dark matter paradigm. We find good description of stellar kinematics and compatibility with the concentration-mass relation from recent pure cold dark matter simulations. Within this concentration-mass relation, a subset of Milky Way dwarfs are well fitted by cross sections of 0.5-3 cm$^2$/g, while others point to values greater than 10 cm$^2$/g.


title: Invariant states of linear quantum stochastic systems under Weyl perturbations of the Hamiltonian and coupling operators

abstract: This paper is concerned with the sensitivity of invariant states in linear quantum stochastic systems with respect to nonlinear perturbations. The system variables are governed by a Markovian Hudson-Parthasarathy quantum stochastic differential equation (QSDE) driven by quantum Wiener processes of external bosonic fields in the vacuum state. The quadratic system Hamiltonian and the linear system-field coupling operators, corresponding to a nominal open quantum harmonic oscillator, are subject to perturbations represented in a Weyl quantization form. Assuming that the nominal linear QSDE has a Hurwitz dynamics matrix and using the Wigner-Moyal phase-space framework, we carry out an infinitesimal perturbation analysis of the quasi-characteristic function for the invariant quantum state of the nonlinear perturbed system. The resulting correction of the invariant states in the spatial frequency domain may find applications to their approximate computation, analysis of relaxation dynamics and non-Gaussian state generation in nonlinear quantum stochastic systems.

categories: math-ph cs.SY math.MP math.NA math.PR quant-ph


title: Short-distance Schwinger-mechanism and chiral symmetry

abstract: In this paper, we study Schwinger pair production of charged massless particles in constant electric fields of finite-extent. Exploiting a map from the Dirac and Klein-Gordon equation to the harmonic oscillator, we find exact pair production rates for massless fermions and scalars. Pair production rates depend only on the ratio between the capacitor plate separation, $\ell$, and the length-scale of the force-field, $\ell_F$. Chirality ensures that fermion production smoothly vanishes with $\ell/\ell_F$. Scalar pair production though diverges exponentially quickly in this limit. The same limit of the smooth tanh-potential does not diverge; divergences seem tied to singularities in current and charge densities.


title: On adelic Hurwitz zeta measures

abstract: In this paper we construct a $\hat\mathbb{Z}$-valued measure on $\hat\mathbb{Z}$ which interpolates $p$-adic Hurwitz zeta functions for all $p$.


title: Measuring Price Discovery between Nearby and Deferred Contracts in Storable and Non-Storable Commodity Futures Markets

abstract: Futures market contracts with varying maturities are traded concurrently and the speed at which they process information is of value in understanding the pricing discovery process. Using price discovery measures, including Putnins (2013) information leadership share and intraday data, we quantify the proportional contribution of price discovery between nearby and deferred contracts in the corn and live cattle futures markets. Price discovery is more systematic in the corn than in the live cattle market. On average, nearby contracts lead all deferred contracts in price discovery in the corn market, but have a relatively less dominant role in the live cattle market. In both markets, the nearby contract loses dominance when its relative volume share dips below 50%, which occurs about 2-3 weeks before expiration in corn and 5-6 weeks before expiration in live cattle. Regression results indicate that the share of price discovery is most closely linked to trading volume but is also affected, to far less degree, by time to expiration, backwardation, USDA announcements and market crashes. The effects of these other factors vary between the markets which likely reflect the difference in storability as well as other market-related characteristics.


title: Universal Tan relations for quantum gases in one dimension

abstract: We investigate universal properties of one-dimensional multi-component systems comprised of fermions, bosons, or an arbitrary mixture, with contact interactions and subjected to an external potential. The masses and the coupling strengths between different types of particles are allowed to be different and we also take into account the presence of an arbitrary magnetic field. We show that the momentum distribution of these systems exhibits a universal $n_\sigma(k) \sim C_\sigma/k^4$ decay with $C_\sigma$ the contact of species $\sigma$ which can be computed from the derivatives of an appropriate thermodynamic potential with respect to the scattering lengths. In the case of integrable fermionic systems we argue that at fixed density and repulsive interactions the total contact reaches its maximum in the balanced system and monotonically decreases to zero as we increase the magnetic field. The converse effect is present in integrable bosonic systems: the contact is largest in the fully polarized state and reaches its minimum when all states are equally populated. We obtain short distance expansions for the Green's function and pair distribution function and show that the coefficients of these expansions can be expressed in terms of the density, kinetic energy and contact. In addition we derive universal thermodynamic identities relating the total energy of the system, pressure, trapping energy and contact. Our results are valid at zero and finite temperature, for homogeneous or trapped systems and for few-body or many-body states.


title: Regularity of Lie Groups

abstract: We solve the regularity problem for Milnor's infinite dimensional Lie groups in the $C^0$-topological context, and provide necessary and sufficient regularity conditions for the (standard) $C^k$-topological setting. We prove that the evolution map is $C^0$-continuous on its domain $\textit{iff}\hspace{1pt}$ the Lie group $G$ is locally $\mu$-convex. We furthermore show that if the evolution map is defined on all smooth curves, then $G$ is Mackey complete. Under the assumption that $G$ is locally $\mu$-convex, we show that each $C^k$-curve for $k\in \mathbb{N}_{\geq 1}\sqcup\{\mathrm{lip},\infty\}$ is integrable (contained in the domain of the evolution map) $\textit{iff}\hspace{1pt}$ $G$ is Mackey complete and $\mathrm{k}$-confined. The latter condition states that each $C^k$-curve in the Lie algebra $\mathfrak{g}$ of $G$ can be uniformly approximated by a special type of sequence that consists of piecewise integrable curves. A similar result is proven for the case $k\equiv 0$; and, we provide several mild conditions that ensure that $G$ is $\mathrm{k}$-confined for each $k\in \mathbb{N}\sqcup\{\mathrm{lip},\infty\}$. We finally discuss the differentiation of parameter-dependent integrals in the (standard) $C^k$-topological context. In particular, we show that if the evolution map is defined and continuous on $C^k([0,1],\mathfrak{g})$ for $k\in \mathbb{N}\sqcup\{\infty\}$, then it is smooth thereon $\textit{iff}\hspace{1pt}$ it is differentiable at zero $\textit{iff}\hspace{1pt}$ $\mathfrak{g}$ is $\hspace{0.2pt}$ Mackey$\hspace{1pt}/ \hspace{1pt}$integral$\hspace{1pt}$ complete for $k\in \mathbb{N}_{\geq 1}\sqcup\{\infty\}\hspace{1pt}/\hspace{1pt}k\equiv 0$. This result is obtained by calculating the directional derivatives explicitly, recovering the standard formulas that hold, e.g., in the Banach case.


title: Unveiling the bosonic nature of an ultrashort few-electron pulse

abstract: Quantum dynamics is very sensitive to dimensionality. While two-dimensional electronic systems form Fermi liquids, one-dimensional systems -- Tomonaga-Luttinger liquids -- are described by purely bosonic excitations, even though they are initially made of fermions. With the advent of coherent single-electron sources, the quantum dynamics of such a liquid is now accessible at the single-electron level. Here, we report on time-of-flight measurements of ultrashort few-electron charge pulses injected into a quasi one-dimensional quantum conductor. By changing the confinement potential we can tune the system from the one-dimensional Tomonaga-Luttinger liquid limit to the multi-channel Fermi liquid and show that the plasmon velocity can be varied over almost an order of magnitude. These results are in quantitative agreement with a parameter-free theory and demonstrate a powerful new probe for directly investigating real-time dynamics of fractionalisation phenomena in low-dimensional conductors.


title: Ameliorating the popular lepton mixings with A4 symmetry: A see-saw model for realistic neutrino masses and mixing

abstract: A model for neutrino masses and mixing is devised appointing the see-saw mechanism. The proffered model is fabricated with a combination of Type -I and Type-II see-saw contributions of which the latter dominates. The scalars and the leptons in the model are assigned $A4$ charges conducive to obtain the mass matrices viable for the scheme. The Type -II see-saw mass matrix accommodates atmospheric mass splitting and maximal mixing in the atmospheric sector ($\theta_{23}=\pi/4$). It is characterized by vanishing solar mass splitting and $\theta_{13}$ whereas the third neutrino mixing angle is free to acquire any value of $\theta_{12}^0$. Particular alternatives of $\theta_{12}^0$ corresponding to the popular lepton mixings viz. $\theta_{12}^0=35.3^\circ$ (tribimaximal), $45.0^\circ$ (bimaximal), $31.7^\circ$ (golden ratio) are accounted for. Another choice of $\theta_{12}^0=0^\circ$ (no solar mixing) is reckoned. The subdominant Type-I see-saw constituent of the model propels all the neutrino oscillation parameters into the ranges allowed by the data which in its turn get interrelated owing to their common origin. This makes the model testable in the light of future experimental data. As an example, $\theta_{23}$ emerges in the first (second) octant for normal (inverted) ordering. CP-violation is governed by phases present in the right-handed Majorana neutrino mass matrix, $M_{\nu R}$. Only normal ordering is allowed if these phases are absent. If $M_{\nu R}$ is complex the Dirac CP-violating phase $\delta$, is capable of being large, i.e., $\sim \pm \pi/2$, and inverted ordering of neutrino masses is also permitted. T2K and NOVA preliminary data favouring normal ordering and $\delta \sim -\pi/2$ predicts lightest neutrino mass to be 0.05 eV or more within the framework of this model.


title: Emergent electromagnetism induced by topological defects created during magnetization reversal in nanowires

abstract: We report that the irreversible magnetization switching process in ferromagnetic nanoparticles is governed by the formation and dynamics of topological point-defects in the form of hedgehog-antihedgehog pairs. After nucleation, these pairs rapidly separate with speeds exceeding domain wall velocities, and they generate an emergent electric field of solenoidal character and substantial magnitude.


title: Fast Meta-Learning for Adaptive Hierarchical Classifier Design

abstract: We propose a new splitting criterion for a meta-learning approach to multiclass classifier design that adaptively merges the classes into a tree-structured hierarchy of increasingly difficult binary classification problems. The classification tree is constructed from empirical estimates of the Henze-Penrose bounds on the pairwise Bayes misclassification rates that rank the binary subproblems in terms of difficulty of classification. The proposed empirical estimates of the Bayes error rate are computed from the minimal spanning tree (MST) of the samples from each pair of classes. Moreover, a meta-learning technique is presented for quantifying the one-vs-rest Bayes error rate for each individual class from a single MST on the entire dataset. Extensive simulations on benchmark datasets show that the proposed hierarchical method can often be learned much faster than competing methods, while achieving competitive accuracy.


title: Conjectures and computations about Veronese syzygies

abstract: We formulate several conjectures which shed light on the structure of Veronese syzygies of projective spaces. Our conjectures are based on experimental data that we derived by developing a numerical linear algebra and distributed computation technique for computing and synthesizing new cases of Veronese embeddings for $\mathbb{P}^2$.


title: Self $C_2$-equivalence of two-component links and invariants of link maps

abstract: We use Kirk's invariant of link maps $S^2\sqcup S^2\to S^4$ and its variations due to Koschorke and Kirk-Livingston to deduce results about classical links. Namely, we give a new proof of the Nakanishi-Ohyama classification of two-component links in $S^3$ up to $\Delta$-link homotopy. We also prove its version for string links, which is due (in a slightly different form) to Fleming-Yasuhara. The proofs do not use Clasper Theory.


title: Hartmann--Tzeng bound and Skew Cyclic Codes of Designed Hamming Distance

abstract: The use of skew polynomial rings allows to endow linear codes with cyclic structures which are not cyclic in the classical (commutative) sense. Whenever these skew cyclic structures are carefully chosen, some control over the Hamming distance is gained, and it is possible to design efficient decoding algorithms. In this paper, we give a version of the Hartmann-Tzeng bound that works for a wide class of skew cyclic codes. We also provide a practical method for constructing them with designed distance. For skew BCH codes, which are covered by our constructions, we discuss decoding algorithms. Detailed examples illustrate both the theory as the constructive methods it supports.


title: Invariant Radiative Cooling and Mean Precipitation Change

abstract: We show that radiative cooling profiles, when described in temperature coordinates, are insensitive to surface temperature $T_s$. We argue this theoretically as well as confirm it in cloud-resolving simulations of radiative convective equilibrium (RCE). This $T_s$-invariance holds for shortwave and longwave cooling separately, as well as their sum. Furthermore, the $T_s$-invariance of radiative cooling profiles leads to a simple expression for the $T_s$-dependence of column-integrated cooling and hence precipitation, and gives insight into why mean precipitation increases at a rate of $2 -3\%\ \mathrm{K^{-1}}$ in RCE. The relevance of these results to global climate simulations is assessed, and the $T_s$-invariance is found to hold in the mid and upper troposphere. In the lower troposphere, the pressure-invariance of cloud layers and circulation tends to dominate.


title: A Submodular Approach for Electricity Distribution Network Reconfiguration

abstract: Distribution network reconfiguration (DNR) is a tool used by operators to balance line load flows and mitigate losses. As distributed generation and flexible load adoption increases, the impact of DNR on the security, efficiency, and reliability of the grid will increase as well. Today, heuristic-based actions like branch exchange are routinely taken, with no theoretical guarantee of their optimality. This paper considers loss minimization via DNR, which changes the on/off status of switches in the network. The goal is to ensure a radial final configuration (called a spanning tree in the algorithms literature) that spans all network buses and connects them to the substation (called the root of the tree) through a single path. We prove that the associated combinatorial optimization problem is strongly NP-hard and thus likely cannot be solved efficiently. We formulate the loss minimization problem as a supermodular function minimization under a single matroid basis constraint, and use existing algorithms to propose a polynomial time local search algorithm for the DNR problem at hand and derive performance bounds. We show that our algorithm is equivalent to the extensively used branch exchange algorithm, for which, to the best of our knowledge, we pioneer in proposing a theoretical performance bound. Finally, we use a 33-bus network to compare our algorithm's performance to several algorithms published in the literature.


title: Lifting generic maps to embeddings. The double point obstruction

abstract: Given a generic PL map or a generic smooth fold map $f:N^n\to M^m$, where $m\ge n$ and $2(m+k)\ge 3(n+1)$, we prove that $f$ lifts to a PL or smooth embedding $N\to M\times\mathbb R^k$ if and only if its double point locus $\{(x,y)\in N\times N\mid f(x)=f(y),\,x\ne y\}$ admits an equivariant map to $S^{k-1}$. As a corollary we answer a 1990 question of P. Petersen and obtain some other applications. We also discuss several criteria for lifting of a non-degenerate PL map or a $C^0$-stable smooth map $f:N^n\to M^m$, where $m\ge n$, to an embedding in $M\times\mathbb R$, elaborating on V. Po\'enaru's observations. In particular, the existence of such a lift is determined by the equivariant homotopy type of the diagram consisting of the three projections from the triple point locus $\{(x,y,z)\in N\times N\times N\mid f(x)=f(y)=f(z),\,x\ne y\ne z\ne x\}$ to the double point locus. The three Appendices, which can be read independently of the rest of the paper, are devoted to stable and generic maps. Appendix B introduces an elementary theory of stable PL maps. Appendix C extends the 2-multi-0-jet transversality theorem over the usual compactification of $M\times M\setminus\Delta_M$.


title: Theory of anomalous collective diffusion in colloidal monolayers on a spherical interface

abstract: A planar colloidal monolayer exhibits anomalous collective diffusion due to the hydrodynamic interactions. We investigate how this behavior is affected by the curvature of the monolayer when it resides on the interface of a spherical droplet. It is found that the characteristic times of the dynamics still exhibit the same anomalous scaling as in the planar case. The spatial distribution, however, shows a difference due to the relevance of the radius of the droplet. Since for the droplet this is both a global magnitude, i.e., pertaining the spatial extent of the spherical surface, and a local one, i.e., the radius of curvature, the question remains open as to which of these two features actually dominates in the case of a generically curved interface.


title: Projected and near-projected embeddings

abstract: A stable smooth map $f:N\to M$ is called "$k$-realizable" if its composition with the inclusion $M\subset M\times\Bbb R^k$ is $C^0$-approximable by smooth embeddings; and a "$k$-prem" if the same composition is $C^\infty$-approximable by smooth embeddings, or equivalently if $f$ lifts vertically to a smooth embedding $N\to M\times\Bbb R^k$. It is obvious that if $f$ is a $k$-prem, then it is $k$-realizable. We refute the long-standing conjecture that the converse is always true. Namely, for each $n=4k+3\ge 15$ there exists a stable smooth immersion $S^n\to\Bbb R^{2n-7}$ that is $3$-realizable but is not a $3$-prem. We also prove the converse in a wide range of cases. A $k$-realizable stable smooth fold map $N^n\to\Bbb R^{2n-q}$ is a $k$-prem if $q\le n$ and $q\le 2k-3$; or if $q<n/2$ and $k=1$; or if $q\in\{2k-1,\,2k-2\}$ and $k\in\{2,4,8\}$ and $n$ is sufficiently large.


title: Accelerator and reactor complementarity in coherent neutrino scattering

abstract: We study the complementarity between accelerator and reactor coherent elastic neutrino-nucleus elastic scattering (CE$\nu$NS) experiments for constraining new physics in the form of non-standard neutrino interactions (NSI). Firstly, considering just data from the recent observation by the COHERENT experiment, we explore interpretive degeneracies that emerge when activating either two or four unknown NSI parameters. Next, we demonstrate that simultaneous treatment of reactor and accelerator experiments, each employing at least two distinct target materials, can break a degeneracy between up and down flavor-diagonal NSI terms that survives analysis of neutrino oscillation experiments. Considering four flavor-diagonal ($ee/\mu\mu$) up and down-type NSI parameters, we find that all terms can be measured with high local precision (to a width as small as $\sim$5\% in Fermi units) by next-generation experiments, although discrete reflection ambiguities persist.


title: Coordinated AC/DC Microgrid Optimal Scheduling

abstract: This paper proposes a coordinated optimal scheduling model for hybrid AC/DC microgrids. The objective of the proposed model is to minimize the total microgrid operation cost when considering interactions between AC and DC sub-systems of the microgrid network. Nonlinear power flow equations for AC and DC networks have been linearized through a proposed model to enable formulating the problem by mixed integer linear programming (MILP) which expedites the solution process and ensures better solutions in terms of optimality. The proposed model is tested on the modified IEEE 33-bus test system. Numerical simulations exhibit the merits of the proposed coordinated AC/DC optimal scheduling model and further analyze its sensitivity to various decisive operational parameters.


title: Nonmonotonic magnetoresistance of a two-dimensional viscous electron-hole fluid in a confined geometry

abstract: Ultra-pure conductors may exhibit hydrodynamic transport where the collective motion of charge carriers resembles the flow of a viscous fluid. In a confined geometry (e.g., in ultra-high quality nanostructures) the electronic fluid assumes a Poiseuille-like flow. Applying an external magnetic field tends to diminish viscous effects leading to large negative magnetoresistance. In two-component systems near charge neutrality the hydrodynamic flow of charge carriers is strongly affected by the mutual friction between the two constituents. At low fields, the magnetoresistance is negative, however at high fields the interplay between electron-hole scattering, recombination, and viscosity results in a dramatic change of the flow profile: the magnetoresistance changes its sign and eventually becomes linear in very high fields. This novel non-monotonic magnetoresistance can be used as a fingerprint to detect viscous flow in two-component conducting systems.


title: Maximal polynomial modulations of singular integrals

abstract: Let $K$ be a standard H\"older continuous Calder\'on--Zygmund kernel on $\mathbb{R}^{\mathbf{d}}$ whose truncations define $L^2$ bounded operators. We show that the maximal operator obtained by modulating $K$ by polynomial phases of a fixed degree is bounded on $L^p(\mathbb{R}^{\mathbf{d}})$ for $1 < p < \infty$. This extends Sj\"olin's multidimensional Carleson theorem and Lie's polynomial Carleson theorem.


title: Improving the redundancy of Knuth's balancing scheme for packet transmission systems

abstract: A simple scheme was proposed by Knuth to generate binary balanced codewords from any information word. However, this method is limited in the sense that its redundancy is twice that of the full sets of balanced codes. The gap between Knuth's algorithm's redundancy and that of the full sets of balanced codes is significantly considerable. This paper attempts to reduce that gap. Furthermore, many constructions assume that a full balancing can be performed without showing the steps. A full balancing refers to the overall balancing of the encoded information together with the prefix. We propose an efficient way to perform a full balancing scheme that does not make use of lookup tables or enumerative coding.


title: Scattering Cross Section and Stability of Global Monopoles

abstract: We study the scattering of scalar waves propagating on the global monopole background. Since the scalar wave operator in this topological defect is not essentially self-adjoint, its solutions are not uniquely determined until a boundary condition at the origin is specified. As we show, this boundary condition manifests itself in the differential cross section and can be inferred by measuring the amplitude of the backscattered wave. We further demonstrate that whether or not the spacetime is stable under scalar perturbations also relies on the chosen boundary condition. In particular, we identify a class of such boundary conditions which significantly affects the differential cross section without introducing an instability.


title: Toward Depth Estimation Using Mask-Based Lensless Cameras

abstract: Recently, coded masks have been used to demonstrate a thin form-factor lensless camera, FlatCam, in which a mask is placed immediately on top of a bare image sensor. In this paper, we present an imaging model and algorithm to jointly estimate depth and intensity information in the scene from a single or multiple FlatCams. We use a light field representation to model the mapping of 3D scene onto the sensor in which light rays from different depths yield different modulation patterns. We present a greedy depth pursuit algorithm to search the 3D volume and estimate the depth and intensity of each pixel within the camera field-of-view. We present simulation results to analyze the performance of our proposed model and algorithm with different FlatCam settings.


title: Quantum many-body scars

abstract: Certain wave functions of non-interacting quantum chaotic systems can exhibit "scars" in the fabric of their real-space density profile. Quantum scarred wave functions concentrate in the vicinity of unstable periodic classical trajectories. We introduce the notion of many-body quantum scars which reflect the existence of a subset of special many-body eigenstates concentrated in certain parts of the Hilbert space. We demonstrate the existence of scars in the Fibonacci chain -- the one- dimensional model with a constrained local Hilbert space realized in the 51 Rydberg atom quantum simulator [H. Bernien et al., arXiv:1707.04344]. The quantum scarred eigenstates are embedded throughout the thermalizing many-body spectrum, but surprisingly lead to direct experimental signatures such as robust oscillations following a quench from a charge-density wave state found in experiment. We develop a model based on a single particle hopping on the Hilbert space graph, which quantitatively captures the scarred wave functions up to large systems of L = 32 atoms. Our results suggest that scarred many-body bands give rise to a new universality class of quantum dynamics, which opens up opportunities for creating and manipulating novel states with long-lived coherence in systems that are now amenable to experimental study.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el


title: Poisson-Dirichlet statistics for the extremes of a randomized Riemann zeta function

abstract: In Arguin & Tai (2018), the authors prove the convergence of the two-overlap distribution at low temperature for a randomized Riemann zeta function on the critical line. We extend their results to prove the Ghirlanda-Guerra identities. As a consequence, we find the joint law of the overlaps under the limiting mean Gibbs measure in terms of Poisson-Dirichlet variables. It is expected that we can adapt the approach to prove the same result for the Riemann zeta function itself.


title: Gauss-type formulas for link map invariants

abstract: We find that Koschorke's $\beta$-invariant and the triple $\mu$-invariant of link maps in the critical dimension can be computed as degrees of certain maps of configuration spaces - just like the linking number. Both formulas admit geometric interpretations in terms of Vassiliev's ornaments via new operations akin to the Jin suspension, and both were unexpected for the author, because the only known direct ways to extract $\mu$ and $\beta$ from invariants of maps between configuration spaces involved some homotopy theory (Whitehead products and the stable Hopf invariant, respectively).


title: Functoriality and uniformity in Hrushovski's groupoid-cover correspondence

abstract: The correspondence between definable connected groupoids in a theory $T$ and internal generalised imaginary sorts of $T$, established by Hrushovski in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics, 2012], is here extended in two ways: First, it is shown that the correspondence is in fact an equivalence of categories, with respect to appropriate notions of morphism. Secondly, the equivalence of categories is shown to vary uniformly in definable families, with respect to an appropriate relativisation of these categories. Some elaboration on Hrushovki's original constructions are also included.


title: Co-Optimization Generation and Distribution Planning in Microgrids

abstract: This paper proposes a co-optimization generation and distribution planning model in microgrids in which simultaneous investment in generation, i.e., distributed generation (DG) and distributed energy storage (DES), and distribution, i.e., upgrading the existing distribution network, is considered. The objective of the proposed model is to minimize the microgrid total planning cost which comprises the investment cost of installed generation assets and lines, the microgrid operation cost, and the cost of unserved energy. The microgrid planning solution determines the optimal generation size, location, and mix, as well as required network upgrade. To consider line flow and voltage limits, a linearized power flow model is proposed and used, allowing further application of mixed integer linear programming (MILP) in problem modeling. The proposed model is applied to the IEEE 33-bus standard test system to demonstrate the acceptable performance and the effectiveness of the proposed model.


title: Lipschitz and bi-Lipschitz maps from PI spaces to Carnot groups

abstract: This paper deals with the problem of finding bi-Lipschitz behavior in non-degenerate Lipschitz maps between metric measure spaces. Specifically, we study maps from (subsets of) Ahlfors regular PI spaces into sub-Riemannian Carnot groups. We prove that such maps have many bi-Lipschitz tangents, verifying a conjecture of Semmes. As a stronger conclusion, one would like to know whether such maps decompose into countably many bi-Lipschitz pieces. We show that this is true when the Carnot group is Euclidean. For general Carnot targets, we show that the existence of a bi-Lipschitz decomposition is equivalent to a condition on the geometry of the image set.


title: Long-range Auto-correlations in Limit Order Book Markets: Inter- and Cross-event Analysis

abstract: Long-range correlation in financial time series reflects the complex dynamics of the stock markets driven by algorithms and human decisions. Our analysis exploits ultra-high frequency order book data from NASDAQ Nordic over a period of three years to numerically estimate the power-law scaling exponents using detrended fluctuation analysis (DFA). We address inter-event durations (order to order, trade to trade, cancel to cancel) as well as cross-event durations (time from order submission to its trade or cancel). We find strong evidence of long-range correlation, which is consistent across different stocks and variables. However, given the crossovers in the DFA fluctuation functions, our results indicate that the long-range correlation in inter-event durations becomes stronger over a longer time scale, i.e., when moving from a range of hours to days and further to months. We also observe interesting associations between the scaling exponent and a number of economic variables, in particular, in the inter-trade time series.


title: Tree substitutions and Rauzy fractals

abstract: We work with attracting subshifts generated by substitutions which are also irreducible parageometric automorphisms of free groups. For such a dynamical system, we construct a tree substitution to approximate the repelling real tree of the automorphism. We produce images of this tree inside the Rauzy fractal when the substitution is irreducible Pisot. We describe the contour of this tree and compute an interval exchange transformation of the circle covering the original substitution.


title: Picasso, Matisse, or a Fake? Automated Analysis of Drawings at the Stroke Level for Attribution and Authentication

abstract: This paper proposes a computational approach for analysis of strokes in line drawings by artists. We aim at developing an AI methodology that facilitates attribution of drawings of unknown authors in a way that is not easy to be deceived by forged art. The methodology used is based on quantifying the characteristics of individual strokes in drawings. We propose a novel algorithm for segmenting individual strokes. We designed and compared different hand-crafted and learned features for the task of quantifying stroke characteristics. We also propose and compare different classification methods at the drawing level. We experimented with a dataset of 300 digitized drawings with over 80 thousands strokes. The collection mainly consisted of drawings of Pablo Picasso, Henry Matisse, and Egon Schiele, besides a small number of representative works of other artists. The experiments shows that the proposed methodology can classify individual strokes with accuracy 70%-90%, and aggregate over drawings with accuracy above 80%, while being robust to be deceived by fakes (with accuracy 100% for detecting fakes in most settings).


title: Discovery of potential collaboration networks from open knowledge sources

abstract: Scientific publishing conveys the outputs of an academic or research activity, in this sense; it also reflects the efforts and issues in which people engage. To identify potential collaborative networks one of the simplest approaches is to leverage the co-authorship relations. In this approach, semantic and hierarchic relationships defined by a Knowledge Organization System are used in order to improve the system's ability to recommend potential networks beyond the lexical or syntactic analysis of the topics or concepts that are of interest to academics.


title: Hydra: An Accelerator for Real-Time Edge-Aware Permeability Filtering in 65nm CMOS

abstract: Many modern video processing pipelines rely on edge-aware (EA) filtering methods. However, recent high-quality methods are challenging to run in real-time on embedded hardware due to their computational load. To this end, we propose an area-efficient and real-time capable hardware implementation of a high quality EA method. In particular, we focus on the recently proposed permeability filter (PF) that delivers promising quality and performance in the domains of HDR tone mapping, disparity and optical flow estimation. We present an efficient hardware accelerator that implements a tiled variant of the PF with low on-chip memory requirements and a significantly reduced external memory bandwidth (6.4x w.r.t. the non-tiled PF). The design has been taped out in 65 nm CMOS technology, is able to filter 720p grayscale video at 24.8 Hz and achieves a high compute density of 6.7 GFLOPS/mm2 (12x higher than embedded GPUs when scaled to the same technology node). The low area and bandwidth requirements make the accelerator highly suitable for integration into SoCs where silicon area budget is constrained and external memory is typically a heavily contended resource.


title: A Change-Detection based Framework for Piecewise-stationary Multi-Armed Bandit Problem

abstract: The multi-armed bandit problem has been extensively studied under the stationary assumption. However in reality, this assumption often does not hold because the distributions of rewards themselves may change over time. In this paper, we propose a change-detection (CD) based framework for multi-armed bandit problems under the piecewise-stationary setting, and study a class of change-detection based UCB (Upper Confidence Bound) policies, CD-UCB, that actively detects change points and restarts the UCB indices. We then develop CUSUM-UCB and PHT-UCB, that belong to the CD-UCB class and use cumulative sum (CUSUM) and Page-Hinkley Test (PHT) to detect changes. We show that CUSUM-UCB obtains the best known regret upper bound under mild assumptions. We also demonstrate the regret reduction of the CD-UCB policies over arbitrary Bernoulli rewards and Yahoo! datasets of webpage click-through rates.


title: Efficient lattice Boltzmann models for the Kuramoto-Sivashinsky equation

abstract: In this work, we improve the accuracy and stability of the lattice Boltzmann model for the Kuramoto-Sivashinsky equation proposed in \cite{2017_Otomo}. This improvement is achieved by controlling the relaxation time, modifying the equilibrium state, and employing more and higher lattice speeds, in a manner suggested by our analysis of the Taylor-series expansion method. The model's enhanced stability enables us to use larger time increments, thereby more than compensating for the extra computation required by the high lattice speeds. Furthermore, even though the time increments are larger than those of the previous scheme, the same level of accuracy is maintained because of the smaller truncation error of the new scheme. As a result, total performance with the new scheme on the D1Q7 lattice is improved by 92 $\%$ compared to the original scheme on the D1Q5 lattice.


title: Language Modeling for Code-Switched Data: Challenges and Approaches

abstract: Lately, the problem of code-switching has gained a lot of attention and has emerged as an active area of research. In bilingual communities, the speakers commonly embed the words and phrases of a non-native language into the syntax of a native language in their day-to-day communications. The code-switching is a global phenomenon among multilingual communities, still very limited acoustic and linguistic resources are available as yet. For developing effective speech based applications, the ability of the existing language technologies to deal with the code-switched data can not be over emphasized. The code-switching is broadly classified into two modes: inter-sentential and intra-sentential code-switching. In this work, we have studied the intra-sentential problem in the context of code-switching language modeling task. The salient contributions of this paper includes: (i) the creation of Hindi-English code-switching text corpus by crawling a few blogging sites educating about the usage of the Internet (ii) the exploration of the parts-of-speech features towards more effective modeling of Hindi-English code-switched data by the monolingual language model (LM) trained on native (Hindi) language data, and (iii) the proposal of a novel textual factor referred to as the code-switch factor (CS-factor), which allows the LM to predict the code-switching instances. In the context of recognition of the code-switching data, the substantial reduction in the PPL is achieved with the use of POS factors and also the proposed CS-factor provides independent as well as additive gain in the PPL.


title: Velocity- and pointing-error measurements of a 300 000 r/min self-bearing permanent-magnet motor for optical applications

abstract: Compact, ultra-high-speed self-bearing permanent-magnet motors enable a wide scope of applications including an increasing number of optical ones. For implementation in an optical setup the rotors have to satisfy high demands regarding their velocity and pointing errors. Only a restricted number of measurements of these parameters exist and only at relatively low velocities. This manuscript presents the measurement of the velocity and pointing errors at rotation frequencies up to 5 kHz. The acquired data allows to identify the rotor drive as the main source of velocity variations with fast fluctuations of up to 3.4 ns (RMS) and slow drifts of 23 ns (RMS) over ~120 revolutions at 5 kHz in vacuum. At the same rotation frequency the pointing fluctuated by 12 $\mu$rad (RMS) and 33 $\mu$rad (peak-to-peak) over ~10000 roundtrips. To our best knowledge this states the first measurement of velocity and pointing errors at multi-kHz rotation frequencies and will allow potential adopters to evaluate the feasibility of such rotor drives for their application.


title: DLPaper2Code: Auto-generation of Code from Deep Learning Research Papers

abstract: With an abundance of research papers in deep learning, reproducibility or adoption of the existing works becomes a challenge. This is due to the lack of open source implementations provided by the authors. Further, re-implementing research papers in a different library is a daunting task. To address these challenges, we propose a novel extensible approach, DLPaper2Code, to extract and understand deep learning design flow diagrams and tables available in a research paper and convert them to an abstract computational graph. The extracted computational graph is then converted into execution ready source code in both Keras and Caffe, in real-time. An arXiv-like website is created where the automatically generated designs is made publicly available for 5,000 research papers. The generated designs could be rated and edited using an intuitive drag-and-drop UI framework in a crowdsourced manner. To evaluate our approach, we create a simulated dataset with over 216,000 valid design visualizations using a manually defined grammar. Experiments on the simulated dataset show that the proposed framework provide more than $93\%$ accuracy in flow diagram content extraction.


title: Gas-Phase Spectra of MgO Molecules: A Possible Connection from Gas-Phase Molecules to Planet Formation

abstract: A more fine-tuned method for probing planet-forming regions, such as protoplanetary discs, could be rovibrational molecular spectroscopy observation of particular premineral molecules instead of more common but ultimately less related volatile organic compounds. Planets are created when grains aggregate, but how molecules form grains is an ongoing topic of discussion in astrophysics and planetary science. Using the spectroscopic data of molecules specifically involved in mineral formation could help to map regions where planet formation is believed to be occurring in order to examine the interplay between gas and dust. Four atoms are frequently associated with planetary formation: Fe, Si, Mg, and O. Magnesium, in particular, has been shown to be in higher relative abundance in planet-hosting stars. Magnesium oxide crystals comprise the mineral periclase making it the chemically simplest magnesium-bearing mineral and a natural choice for analysis. The monomer, dimer, and trimer forms of (MgO)_n with n = 1 - 3 are analyzed in this work using high-level quantum chemical computations known to produce accurate results. Strong vibrational transitions at 12.5 {\mu}m, 15.0 {\mu}m, and 16.5 {\mu}m are indicative of magnesium oxide monomer, dimer, and trimer making these wavelengths of particular interest for the observation of protoplanetary discs and even potentially planet-forming regions around stars. If such transitions are observed in emission from the accretion discs or absorptions from stellar spectra, the beginning stages of mineral and, subsequently, rocky body formation could be indicated.

categories: astro-ph.EP astro-ph.GA astro-ph.SR physics.atm-clus physics.chem-ph


title: Branching rules for the Weyl Groups of the Unitary and Orthogonal Lie Groups

abstract: This note presents a procedure to determine the reduction of the irreducible and the induced characters of the symmetric group in terms of the irreducible and induced characters of the hyperoctahedral group Key Words: Symmetric Group, Hyperoctahedral group, Representations, Characters, Re- duction.


title: Spin effects on the semiclassical trajectories of Dirac electrons

abstract: The relativistic semiclassical evolution of the position of an electron in the presence of an external electromagnetic field is studied in terms of a Newton equation that incorporates spin effects directly. This equation emerges from the Dirac equation and allows the identification of scenarios where spin effects are necessary to understand the main characteristics of the electron trajectories. It involves the eigenvalues of the non-Hermitian operator $\Sigma_{\mu\nu}F^{\mu\nu}$ with $\Sigma_{\mu\nu}$ and $F^{\mu\nu}$ as the spin and electromagnetic tensors. The formalism allows a deeper understanding on the physics behind known analytical solutions of the Dirac equation when translational dynamics decouples from spin evolution. As an illustrative example, it is applied to an electron immersed in an electromagnetic field which exhibits chiral symmetry and optical vortices. It is shown that the polarization of intense structured light beams can be used to suppress or enhance spin effects on the electron semiclassical trajectory; the latter case yields a realization of a Stern-Gerlach apparatus for an electron


title: Anomalous Composition-Induced Crossover in the Magnetic Properties of the Itinerant-Electron Antiferromagnet Ca{1-x}Sr{x}Co{2-y}As{2}

abstract: The inference of Ying et al. [EPL 104, 67005 (2013)] of a composition-induced change from c-axis ordered-moment alignment in a collinear A-type antiferromagnetic (AFM) structure (AFMI) at small x to ab-plane alignment in an unknown AFM structure (AFMII) at larger x in Ca(1-x)Sr(x)Co(2-y)As(2) with the body-centered tetragonal ThCr2Si2 structure is confirmed. Our major finding is an anomalous magnetic behavior in the crossover region 0.2 < x < 0.3 between these two phases. In this region the magnetic susceptibility versus temperature chi_ab(T) measured with magnetic fields H applied in the ab plane exhibit typical AFM behaviors with cusps at the Neel temperatures of about 65 K, whereas chi_c(T) and the low-temperature isothermal magnetization M_c(H) with H aligned along the c axis exhibit extremely soft ferromagnetic-like behaviors.


title: Interpreting Brightness Asymmetries in Transition Disks: Vortex at Dead Zone or Planet Carved Gap Edges?

abstract: Recent sub-millimeter observations show non-axisymmetric brightness distributions with a horseshoe-like morphology for more than a dozen transition disks. The most accepted explanation for the observed asymmetries is the accumulation of dust in large-scale vortices. Protoplanetary disks vortices can form by the excitation of Rossby-wave instability in the vicinity of a steep pressure gradient, which can develop at the edges of a giant planet carved gap or at the edges of an accretionally inactive zone. We studied the formation and evolution of vortices formed in these two distinct scenarios by means of two-dimensional locally isothermal hydrodynamic simulations. We found that the vortex formed at the edge of a planetary gap is short-lived, unless the disk is nearly inviscid. In contrast, the vortex formed at the outer edge of a dead zone is long-lived. The vortex morphology can be significantly different in the two scenarios: the vortex radial and azimuthal extensions are ~1.5 and ~3.5 times larger for the dead zone edge compared to gap models. In some particular cases, the vortex aspect ratios can be similar in the two scenarios, however, the vortex azimuthal extensions can be used to distinguish the vortex formation mechanisms. We calculate predictions for vortex observability in the sub-millimeter continuum with ALMA. We found that the azimuthal and radial extent of brightness asymmetry correlates with vortex formation process, within the limitations of alpha-viscosity prescription.


title: On the Fading Number of a Graph

abstract: The closed neighbourhood $N[v]$ of a vertex $v$ of a graph $G$, consisting of at least one vertex from all colour classes with respect to a proper colouring of $G$, is called a rainbow neighbourhood in $G$. The minimum number of vertices and the maximum number of vertices which yield rainbow neighbourhoods with respect to a chromatic colouring of $G$ are called the minimum and maximum rainbow neighbourhood numbers, denoted by $r^-_\chi(G)$, $r^+_\chi(G)$ respectively. In this paper, by a colour, we mean a solid colour and by a transparent colour, we mean the fading of a solid colour. The fading numbers of a graph $G$, denoted by $f^-(G)$, $f^+(G)$ respectively, are the maximum number of vertices for which the colour may fade to transparent without a decrease in $r^-_\chi(G)$ and $r^+_\chi(G)$ respectively.


title: On Exact Solutions and Perturbative Schemes in Higher Spin Theory

abstract: We review various methods for finding exact solutions of higher spin theory in four dimensions, and survey the known exact solutions of (non)minimal Vasiliev's equations. These include instanton-like and black hole-like solutions in (A)dS and Kleinian spacetimes. A perturbative construction of solutions with the symmetries of a domain wall is described as well. Furthermore, we review two proposed perturbative schemes: one based on perturbative treatment of the twistor space field equations followed by inverting Fronsdal kinetic terms using standard Green's functions; and an alternative scheme based on solving the twistor space field equations exactly followed by introducing the spacetime dependence using perturbatively defined gauge functions. Motivated by the need to provide a higher spin invariant characterization of the exact solutions, aspects of a proposal for a geometric description of Vasiliev's equation involving an infinite dimensional generalization of anti de Sitter space is revisited and improved.


title: Heavy charged scalars from $c\bar{s}$ fusion: A generic search strategy applied to a 3HDM with $\mathrm{U}(1) \times \mathrm{U}(1)$ family symmetry

abstract: We describe a class of three Higgs doublet models (3HDMs) with a softly broken $\mathrm{U}(1) \times \mathrm{U}(1)$ family symmetry that enforces a Cabibbo-like quark mixing while forbidding tree-level flavour changing neutral currents. The hierarchy in the observed quark masses is partly explained by a softer hierarchy in the vacuum expectation values of the three Higgs doublets. As a consequence, the physical scalar spectrum contains a Standard Model (SM) like Higgs boson $h_{125}$ while exotic scalars couple the strongest to the second quark family, leading to rather unconventional discovery channels that could be probed at the Large Hadron Collider. In particular, we describe a search strategy for the lightest charged Higgs boson $H^{\pm}$, through the process $c\bar s\to H^{+}\to W^+\,h_{125}$, using a multivariate analysis that leads to an excellent discriminatory power against the SM background. Although the analysis is applied to the proposed class of 3HDMs, we employ a model-independent formulation such that it can be applied to any other model with the same discovery channel.


title: Higgs Enhancement for the Dark Matter Relic Density

abstract: We consider the long-range effect of the Higgs on the density of thermal-relic dark matter. While the electroweak gauge boson and gluon exchange have been previously studied, the Higgs is typically thought to mediate only contact interactions. We show that the Sommerfeld enhancement due to a 125 GeV Higgs can deplete TeV-scale dark matter significantly, and describe how the interplay between the Higgs and other mediators influences this effect. We discuss the importance of the Higgs enhancement in the Minimal Supersymmetric Standard Model, and its implications for experiments.


title: Hibernating black holes revealed by photometric mass functions

abstract: We present a novel strategy to uncover the Galactic population of quiescent black holes (BHs). This is based on a new concept, the photometric mass function (PMF), which opens up the possibility of an efficient identification of dynamical BHs in large fields-of-view. This exploits the width of the disc Halpha emission line, combined with orbital period information. We here show that Halpha widths can be recovered using a combination of customized Halpha filters. By setting a width cut-off at 2200 km/s we are able to cleanly remove other Galactic populations of Halpha emitters, including ~99.9% of cataclysmic variables (CVs). Only short period (Porb<2.1 h) eclipsing CVs and AGNs will contaminate the sample but these can be easily flagged through photometric variability and, in the latter case, also mid-IR colours. We also describe the strategy of a deep (r=22) Galactic plane survey based on the concept of PMFs: HAWKs, the HAlpha-Width Kilo-deg Survey. We estimate that ~800 sqr deg are required to unveil ~50 new dynamical BHs, a three-fold improvement over the known population. For comparison, a century would be needed to produce an enlarged sample of 50 dynamical BHs from X-ray transients at the current discovery rate.


title: Stellar Wakes from Dark Matter Subhalos

abstract: We propose a novel method utilizing stellar kinematic data to detect low-mass substructure in the Milky Way's dark matter halo. By probing characteristic wakes that a passing dark matter subhalo leaves in the phase space distribution of ambient halo stars, we estimate sensitivities down to subhalo masses $\sim 10^7\,M_\odot$ or below. The detection of such subhalos would have implications for dark-matter and cosmological models that predict modifications to the halo-mass function at low halo masses. We develop an analytic formalism for describing the perturbed stellar phase-space distributions, and we demonstrate through simulations the ability to detect subhalos using the phase-space model and a likelihood framework. Our method complements existing methods for low-mass subhalo searches, such as searches for gaps in stellar streams, in that we can localize the positions and velocities of the subhalos today.


title: Tidally disrupted stars as a possible origin of both cosmic rays and neutrinos at the highest energies

abstract: Tidal Disruption Events (TDEs) are processes where stars are torn apart by the strong gravitational force near to a massive or supermassive black hole. If a jet is launched in such a process, particle acceleration may take place in internal shocks. We demonstrate that jetted TDEs can simultaneously describe the observed neutrino and cosmic ray fluxes at the highest energies if stars with heavier compositions, such as carbon-oxygen white dwarfs, are tidally disrupted and these events are sufficiently abundant. We simulate the photo-hadronic interactions both in the TDE jet and in the propagation through the extragalactic space and we show that the simultaneous description of Ultra-High Energy Cosmic Ray (UHECR) and PeV neutrino data implies that a nuclear cascade in the jet develops by photo-hadronic interactions.


title: Merging black hole binaries: the effects of progenitor's metallicity, mass-loss rate and Eddington factor

abstract: The first four gravitational wave events detected by LIGO were all interpreted as merging black hole binaries (BHBs), opening a new perspective on the study of such systems. Here we use our new population-synthesis code MOBSE, an upgraded version of BSE (Hurley et al. 2002), to investigate the demography of merging BHBs. MOBSE includes metallicity-dependent prescriptions for mass loss of massive hot stars. It also accounts for the impact of the electron-scattering Eddington factor on mass loss. We perform >10^8 simulations of isolated massive binaries, with 12 different metallicities, to study the impact of mass loss, core-collapse supernovae and common envelope on merging BHBs. Accounting for the dependence of stellar winds on the Eddington factor leads to the formation of black holes (BHs) with mass up to 65 Msun at metallicity Z~0.0002. However, most BHs in merging BHBs have masses <40 Msun. We find merging BHBs with mass ratios in the 0.1 - 1.0 range, even if mass ratios >0.6 are more likely. We predict that systems like GW150914, GW170814 and GW170104 can form only from progenitors with metallicity Z<=0.006, Z<=0.008 and Z<=0.012, respectively. Most merging BHBs have gone through a common envelope phase, but up to ~17 per cent merging BHBs at low metallicity did not undergo any common envelope phase. We find a much higher number of mergers from metal-poor progenitors than from metal-rich ones: the number of BHB mergers per unit mass is ~10^-4 Msun^-1 at low metallicity (Z = 0.0002 - 0.002) and drops to ~10^-7 Msun^-1 at high metallicity (Z ~ 0.02).


title: Dynamic scaling of topological ordering in classical systems

abstract: We analyze scaling behaviors of simulated annealing carried out on various classical systems with topological order, obtained as appropriate limits of the toric code in two and three dimensions. We first consider the three-dimensional $\mathbb{Z}_2$ (Ising) lattice gauge model, which exhibits a continuous topological phase transition at finite temperature. We show that a generalized Kibble-Zurek scaling ansatz applies to this transition, in spite of the absence of a local order parameter. We find perimeter-law scaling of the magnitude of a non-local order parameter (defined using Wilson loops) and a dynamic exponent $z=2.70 \pm 0.03$, the latter in good agreement with previous results for the equilibrium dynamics (autocorrelations). We then study systems where (topological) order forms only at zero temperature---the Ising chain, the two-dimensional $\mathbb{Z}_2$ gauge model, and a three-dimensional star model (another variant of the $\mathbb{Z}_2$ gauge model). In these systems the correlation length diverges exponentially, in a way that is non-smooth as a finite-size system approaches the zero temperature state. We show that the Kibble-Zurek theory does not apply in any of these systems. Instead, the dynamics can be understood in terms of diffusion and annihilation of topological defects, which we use to formulate a scaling theory in good agreement with our simulation results. We also discuss the effect of open boundaries where defect annihilation competes with a faster process of evaporation at the surface.


title: The origin of interstellar asteroidal objects like 1I/2017 U1 'Oumuamua

abstract: We study the origin of the interstellar object 1I/2017 U1 'Oumuamua by juxtaposing estimates based on the observations with simulations. We speculate that objects like 'Oumuamua are formed in the debris disc as left over from the star and planet formation process, and subsequently liberated. The liberation process is mediated either by interaction with other stars in the parental star-cluster, by resonant interactions within the planetesimal disc or by the relatively sudden mass loss when the host star becomes a compact object. Integrating backward in time in the Galactic potential together with stars from the Gaia-TGAS catalogue we find that about 1.3Myr ago 'Oumuamua passed the nearby star HIP 17288 within a mean distance of $1.3$pc. By comparing nearby observed L-dwarfs with simulations of the Galaxy we conclude that the kinematics of 'Oumuamua is consistent with relatively young objects of $1.1$--$1.7$Gyr. We just met 'Oumuamua by chance, and with a derived mean Galactic density of $\sim 3\times 10^{5}$ similarly sized objects within 100\,au from the Sun or $\sim 10^{14}$ per cubic parsec we expect about 2 to 12 such visitors per year within 1au from the Sun.


title: Spiral arms in thermally stratified protoplanetary discs

abstract: Spiral arms have been observed in nearly a dozen protoplanetary discs in near-infrared scattered light and recently also in the sub-millimetre continuum. While one of the most compelling explanations is that they are driven by planetary or stellar companions, in all but one cases such companions have not yet been detected and there is even ambiguity on whether the planet should be located inside or outside the spirals. Here we use 3D hydrodynamic simulations to study the morphology of spiral density waves launched by embedded planets taking into account the vertical temperature gradient, a natural consequence of stellar irradiation. Our simulations show that the pitch angle of the spirals in thermally stratified discs is the lowest in the disc mid-plane and increases towards the disc surface. We combine the hydrodynamic simulations with 3D radiative transfer calculations to predict that the pitch-angle of planetary spirals observed in the near-infrared is higher than in the sub-millimetre. We also find that in both cases the spirals converge towards the planet. This provides a new powerful observational method to determine if the perturbing planet is inside our outside the spirals, as well as map the thermal stratification of the disc.


title: SHOPPER: A Probabilistic Model of Consumer Choice with Substitutes and Complements

abstract: We develop SHOPPER, a sequential probabilistic model of shopping data. SHOPPER uses interpretable components to model the forces that drive how a customer chooses products; in particular, we designed SHOPPER to capture how items interact with other items. We develop an efficient posterior inference algorithm to estimate these forces from large-scale data, and we analyze a large dataset from a major chain grocery store. We are interested in answering counterfactual queries about changes in prices. We found that SHOPPER provides accurate predictions even under price interventions, and that it helps identify complementary and substitutable pairs of products.


title: New Vortex-String Worldsheet Theories from Supersymmetric Localization

abstract: We use supersymmetric localization techniques to study the low-energy dynamics of BPS vortex-strings in four-dimensional N=2 theories. We focus on theories with SU(Nc)xU(1) gauge group and Nf hypermultiplets, all in the fundamental representation of SU(Nc) but with general U(1) charges. Recently, we proposed a condition that determines whether the low-energy string dynamics is captured by a two-dimensional worldsheet theory that decouples from the bulk. For strings for which this decoupling applies, we propose a prescription for extracting the two-sphere partition function of the string worldsheet theory from the four-ellipsoid partition function of the parent theory. We obtain a general formula for the worldsheet two-sphere partition function in terms of the parameters of the four-dimensional theory and identify N=(2,2) GLSMs that possess these partition functions in a large class of examples. In these examples, the weak coupling regime of the four-dimensional theory is mapped to the weak coupling regime of the worldsheet theory. In addition, we study the classical string zero-modes in flat space and obtain predictions for the worldsheet spectra, which agree with the low-energy spectra of the GLSMs obtained in the localization analysis. For Nf=2Nc=4, we discuss the map between string worldsheet theories under four-dimensional S-duality and use our prescription to study examples in which the weak coupling regime of the four-dimensional theory is mapped to the strong coupling regime of the worldsheet theory.


title: Magnetization, specific heat, and thermal conductivity of hexagonal ErMnO$_3$ single crystals

abstract: We report a study of magnetism and magnetic transitions of hexagonal ErMnO$_3$ single crystals by magnetization, specific heat and heat transport measurements. Magnetization data show that the $c$-axis magnetic field induces three magnetic transitions at 0.8, 12 and 28 T. The specific heat shows a peak at 2.2 K, which is due to a magnetic transition of Er$^{3+}$ moments. For low-$T$ thermal conductivity ($\kappa$), a clear dip-like feature appears in $\kappa(H)$ isotherm at 1--1.25 T for $H \parallel ab$; while in the case of $H \parallel c$, a step-like increase is observed at 0.5--0.8 T. The transition fields in $\kappa(H)$ are in good agreement with those obtained from magnetization, and the anomaly of $\kappa$ can be understood by a spin-phonon scattering scenario. The natures of magnetic structures and corresponding field-induced transitions at low temperatures are discussed.


title: Rapid characterization of wafer-scale 2D material: Epitaxial graphene and graphene nanoribbons on SiC

abstract: We demonstrate that the confocal laser scanning microscopy (CLSM) provides a non-destructive, highly-efficient characterization method for large-area epitaxial graphene and graphene nanostructures on SiC substrates, which can be applied in ambient air without sample preparation and is insusceptible to surface charging or surface contamination. Based on the variation of reflected intensity from regions covered by interfacial layer, single layer, bilayer, or few layer graphene, and through the correlation to the results from Raman spectroscopy and SPM, CLSM images with a high resolution (around 150 nm) reveal that the intensity contrast has distinct feature for undergrown graphene (mixing of dense, parallel graphene nanoribbons and interfacial layer), continuous graphene, and overgrown graphene. Moreover, CLSM has a real acquisition time hundreds of times faster per unit area than the supplementary characterization methods. We believe that the confocal laser scanning microscope will be an indispensable tool for mass-produced epitaxial graphene or applicable 2D materials.


title: Exploiting ConvNet Diversity for Flooding Identification

abstract: Flooding is the world's most costly type of natural disaster in terms of both economic losses and human causalities. A first and essential procedure towards flood monitoring is based on identifying the area most vulnerable to flooding, which gives authorities relevant regions to focus. In this work, we propose several methods to perform flooding identification in high-resolution remote sensing images using deep learning. Specifically, some proposed techniques are based upon unique networks, such as dilated and deconvolutional ones, while other was conceived to exploit diversity of distinct networks in order to extract the maximum performance of each classifier. Evaluation of the proposed algorithms were conducted in a high-resolution remote sensing dataset. Results show that the proposed algorithms outperformed several state-of-the-art baselines, providing improvements ranging from 1 to 4% in terms of the Jaccard Index.


title: Scripted GUI Testing of Android Apps: A Study on Diffusion, Evolution and Fragility

abstract: Background. Evidence suggests that mobile applications are not thoroughly tested as their desktop counterparts. In particular GUI testing is generally limited. Like web-based applications, mobile apps suffer from GUI test fragility, i.e. GUI test classes failing due to minor modifications in the GUI, without the application functionalities being altered. Aims. The objective of our study is to examine the diffusion of GUI testing on Android, and the amount of changes required to keep test classes up to date, and in particular the changes due to GUI test fragility. We define metrics to characterize the modifications and evolution of test classes and test methods, and proxies to estimate fragility-induced changes. Method. To perform our experiments, we selected six widely used open-source tools for scripted GUI testing of mobile applications previously described in the literature. We have mined the repositories on GitHub that used those tools, and computed our set of metrics. Results. We found that none of the considered GUI testing frameworks achieved a major diffusion among the open-source Android projects available on GitHub. For projects with GUI tests, we found that test suites have to be modified often, specifically 5\%-10\% of developers' modified LOCs belong to tests, and that a relevant portion (60\% on average) of such modifications are induced by fragility. Conclusions. Fragility of GUI test classes constitute a relevant concern, possibly being an obstacle for developers to adopt automated scripted GUI tests. This first evaluation and measure of fragility of Android scripted GUI testing can constitute a benchmark for developers, and the basis for the definition of a taxonomy of fragility causes, and actionable guidelines to mitigate the issue.


title: Statistical models for averaging of the pump-probe time traces: example of denoising in terahertz time domain spectroscopy

abstract: In this paper, we first discuss the main types of noise in a typical pump-probe system, and then focus specifically on terahertz time domain spectroscopy (THz-TDS) setups. We then introduce four statistical models for the noisy pulses obtained in such systems, and detail rigorous mathematical algorithms to de-noise such traces, find the proper averages and characterise various types of experimental noise. Finally, we perform a comparative analysis of the performance, advantages and limitations of the algorithms by testing them on the experimental data collected using a particular THz-TDS system available in our laboratories. We conclude that using advanced statistical models for trace averaging results in the fitting errors that are significantly smaller than those obtained when only a simple statistical average is used.


title: Acoustic scattering-extinction cross section and the acoustic force of electrostatic type

abstract: The analysis of the secondary Bjerknes force between two bubbles suggests that this force is analogous to the electrostatic forces. The same analogy is suggested by the existence of a scattering cross section of an acoustic wave on a bubble. Our paper brings new arguments in support of this analogy. The study which we perform is dedicated to the acoustic force and to the scattering cross section at resonance in order to highlight their angular frequency independence of the inductor wave. Also, our study reveals that the angular frequency and the amplitude of the induction pressure wave are not related. Highlighting this analogy will allow us a better understanding of the electrostatic interaction if the electron is modeled as an oscillating bubble in the vacuum.


title: Relativistic Point Particles and Classical Elastic Strings

abstract: We extend the previous work of Olivier Costa de Beauregard regarding the isomorphism between the equation describing the motion of relativistic point particles and the equation describing the static equilibrium of classical elastic strings, by comparing the Lagrangians of these two systems.


title: SCORPIO-2 Guiding and Calibration System in the Prime Focus of the 6-m Telescope

abstract: We describe a device (adapter) for off-axis guiding and photometric calibration of wide-angle spectrographs operating in the prime focus of the 6-m telescope of the Special Astrophysical Observatory of the Russian Academy of Sciences. To compensate coma in off-axis star images an achromatic lens corrector is used, which ensures maintaining image quality (FWHM) at a level of about 1'' within 15' from the optical axis. The device has two 54'-diameter movable guiding fields, which can move in 10' x 4'.5 rectangular areas. The device can perform automatic search for guiding stars, use them to control the variations of atmospheric transmittance, and focus the telescope during exposure. The limiting magnitude of potential guiding stars is mR ~17 mag. The calibration path whose optical arrangement meets the telecentrism condition allows the spectrograph to be illuminated both by a source of line spectrum (a He-Ne-Ar filled lamp) and by a source of continuum spectrum. The latter is usually represented either by a halogen lamp or a set of light-emitting diodes, which provide illumination of approximately uniform intensity over the wavelength interval from 350 to 900 nm. The adapter is used for observations with SCORPIO-2 multimode focal reducer.


title: On Colorful Bin Packing Games

abstract: We consider colorful bin packing games in which selfish players control a set of items which are to be packed into a minimum number of unit capacity bins. Each item has one of $m\geq 2$ colors and cannot be packed next to an item of the same color. All bins have the same unitary cost which is shared among the items it contains, so that players are interested in selecting a bin of minimum shared cost. We adopt two standard cost sharing functions: the egalitarian cost function which equally shares the cost of a bin among the items it contains, and the proportional cost function which shares the cost of a bin among the items it contains proportionally to their sizes. Although, under both cost functions, colorful bin packing games do not converge in general to a (pure) Nash equilibrium, we show that Nash equilibria are guaranteed to exist and we design an algorithm for computing a Nash equilibrium whose running time is polynomial under the egalitarian cost function and pseudo-polynomial for a constant number of colors under the proportional one. We also provide a complete characterization of the efficiency of Nash equilibria under both cost functions for general games, by showing that the prices of anarchy and stability are unbounded when $m\geq 3$ while they are equal to 3 for black and white games, where $m=2$. We finally focus on games with uniform sizes (i.e., all items have the same size) for which the two cost functions coincide. We show again a tight characterization of the efficiency of Nash equilibria and design an algorithm which returns Nash equilibria with best achievable performance.


title: Determining a Quantum Theory of the Infinite-Component Majorana Field

abstract: In this paper, the quantum theory of the infinite-component Majorana field for the fermionic tower is formulated. This study proves that the energy states with increasing spin are simply composite systems made by a bradyon and antitachyons with half-integer spin. The quantum field describing these exotic states is obtained by the infinite sum of four-spinor operators, which each operator depends on the spin and the rest mass of the bradyon in its fundamental state. The interaction between bradyon-tachyon, tachyon-tachyon and tachyon-luxon has also been considered and included in the total Lagrangian. The obtained theory is consistent with the CPT invariance and the spin-statistics theorem and could explain the existence of new forms of matter not predictable within the standard model.


title: Direct Investigation of the Birefringent Optical Properties of Black Phosphorus with Picosecond Interferometry

abstract: Black phosphorus (BP) is an emerging two-dimensional semiconducting material with great potential for nanoelectronic and nanophotonic applications, especially owing to its unique anisotropic electrical and optical properties. Many theoretical studies have predicted the anisotropic optical properties of BP, but the direct experimental quantification remains challenging. The difficulties stem from the ease of BP's degradation when exposed to air in ambient conditions, and from the indirect nature of conventional approaches that are subject to large measurement uncertainties. This work reports a direct investigation of the birefringent optical constants of micrometer-thick BP samples with picosecond (ps) interferometry, over the wavelength range from 780 to 890 nm. In this ps-interferometry approach, an ultrathin (5 nm) platinum layer for launching acoustic waves naturally protects the BP flake from degradation. The birefringent optical constants of BP for light polarization along the two primary crystalline orientations, zigzag and armchair, are directly obtained via fitting the attenuated Brillouin scattering signals. A bi-exponential model is further proposed to analyze the BS signals for a random incident light polarization. The BP experimental results and the associated measurement sensitivity analysis demonstrate the reliability and accuracy of the ps-interferometry approach for capturing the polarization-dependent optical properties of birefringent materials.


title: Deep Neural Networks for Physics Analysis on low-level whole-detector data at the LHC

abstract: There has been considerable recent activity applying deep convolutional neural nets (CNNs) to data from particle physics experiments. Current approaches on ATLAS/CMS have largely focussed on a subset of the calorimeter, and for identifying objects or particular particle types. We explore approaches that use the entire calorimeter, combined with track information, for directly conducting physics analyses: i.e. classifying events as known-physics background or new-physics signals. We use an existing RPV-Supersymmetry analysis as a case study and explore CNNs on multi-channel, high-resolution sparse images: applied on GPU and multi-node CPU architectures (including Knights Landing (KNL) Xeon Phi nodes) on the Cori supercomputer at NERSC.


title: Emergence of online communities: Empirical evidence and theory

abstract: Online communities, which have become an integral part of the day-to-day life of people and organizations, exhibit much diversity in both size and activity level; some communities grow to a massive scale and thrive, whereas others remain small, and even wither. In spite of the important role of these proliferating communities, there is limited empirical evidence that identifies the dominant factors underlying their dynamics. Using data collected from seven large online platforms, we observe a universal relationship between online community size and its activity: First, three distinct activity regimes exist, one of low-activity and two of high-activity. Further, we find a sharp activity phase transition at a critical community size that marks the shift between the first and the second regime. Essentially, it is around this critical size that sustainable interactive communities emerge. Finally, above a higher characteristic size, community activity reaches and remains at a constant and high level to form the third regime. We propose that the sharp activity phase transition and the regime structure stem from the branching property of online interactions. Branching results in the emergence of multiplicative growth of the interactions above certain community sizes.


title: Quantum mechanics, universal scaling and ferroelectric hysteresis regimes in the giant squid axon propagating action potential: a Phase Space Approach

abstract: The experimental data for the giant squid axon propagated action potential is examined in phase space and it is parsed into distinct parts, properties of ionic channels, properties of polarization channels, and two very narrow regions pertaining to polarization flips of sodium channels lattice. The charge conserving cable equation currents, namely capacitive, membrane, and total ionic current are parsed into segments, pertaining to sodium and potassium channels. Plots of ionic currents vs. potential exhibit quasilinear segments yielding temperature dependent maximum conductance constants and the related time rates. Plotting ionic time rates as Boltzmann kinetic rates yields activation energies of the same order as the rate-limiting biochemical metabolic reactions indicating that the passage of ions through the membrane is mediated by biochemical reactions. Fractions of open channels are fitted in the lab frame by modified Avrami (mAvrami) equations seeded with the value of the Fine Structure Constant $\alpha$ = 0.0072973...(FSC). The steady propagation of the action potential leads with its own excitation and provides insight into nerve excitation in general. Evidence is presented that action potential traverses a ferroelectric hysteresis loop. The heat released at 19.8 oC is estimated to be twice as large as the heat released at 4.5 oC. It is expected that presented results will provide the framework for further analysis of biological excitability, ionic channels lattice structure, thermodynamic phase changing behavior, and the role of quantum mechanics in biochemical reactions mediating the flow of ions trough ionic channels. In particular, the critical role of ferroelectric sodium channels lattice behavior has far reaching implications for nerve excitability and encoding of memories.


title: Performance of Source transmit Antenna selection for MIMO cooperative communication System Based DF protocol: Symbol Error Rate and Diversity order

abstract: In this work, we study the performance of a single relay Multiple Input Multiple Output (MIMO) cooperative communication system based on Decode and Forward (DF) relaying protocol for two strategies using transmit antenna selection at the source. The first strategy uses one antenna between the relay and the destination, and the second strategy uses Space Time Block Coding (STBC). All channels follow the Rayleigh fading distribution. We derive the expression and Upper Bound for Symbol Error Rate (SER) for M-ary Phase Shift Keying (M-PSK), and the diversity order for both strategies. The analytical results show that the second strategy performs better than the first one for the same diversity order and the same Rate R.


title: What Really is Deep Learning Doing?

abstract: Deep learning has achieved a great success in many areas, from computer vision to natural language processing, to game playing, and much more. Yet, what deep learning is really doing is still an open question. There are a lot of works in this direction. For example, [5] tried to explain deep learning by group renormalization, and [6] tried to explain deep learning from the view of functional approximation. In order to address this very crucial question, here we see deep learning from perspective of mechanical learning and learning machine (see [1], [2]). From this particular angle, we can see deep learning much better and answer with confidence: What deep learning is really doing? why it works well, how it works, and how much data is necessary for learning. We also will discuss advantages and disadvantages of deep learning at the end of this work.


title: Erd\H{o}s-Ulam ideals vs. simple density ideals

abstract: The main aim of this paper is to bridge two directions of research generalizing asymptotic density zero sets. This enables to transfer results concerning one direction to the other one. Consider a function $g\colon\omega\to [0,\infty)$ such that $\lim_{n\to\infty}g(n)=\infty$ and $\frac{n}{g(n)}$ does not converge to $0$. Then the family $\mathcal{Z}_g=\{A\subseteq\omega:\ \lim_{n\to\infty}\frac{\text{card}(A\cap n)}{g(n)}=0\}$ is an ideal called simple density ideal (or ideal associated to upper density of weight $g$). We compare this class of ideals with Erd\H{o}s-Ulam ideals. In particular, we show that there are $\sqsubseteq$-antichains of size $\mathfrak{c}$ among Erd\H{o}s-Ulam ideals which are and are not simple density ideals. We characterize simple density ideals which are Erd\H{o}s-Ulam as those containing the classical ideal of sets of asymptotic density zero. We also characterize Erd\H{o}s-Ulam ideals which are simple density ideals. In the latter case we need to introduce two new notions. One of them, called increasing-invariance of an ideal $\mathcal{I}$, asserts that given $B\in\mathcal{I}$ and $C\subseteq\omega$ with $\text{card}(C\cap n)\leq\text{card}(B\cap n)$ for all $n$, we have $C\in\mathcal{I}$. Finally, we pose some open problems.


title: Numerical simulation of MHD boundary layer flow and heat transfer over a nonlinear stretching sheet in the porous medium with viscous dissipation using hybrid approach

abstract: In the present study, MHD boundary layer flow with heat and mass transfer of a nanofluid with viscous dissipation over a non-linear stretching sheet embedded in a porous medium is studied. The governing non-linear partial differential equations are converted into coupled non-linear ordinary differential equations which are solved by hybrid technique consisting of finite element method with symbolic computation. The effect of Viscous dissipation, magnetic influence parameter, permeability parameter, Brownian motion, Eckert number, Thermophoresis parameter, Prandtl number parameter, Dufour Lewis number and nanofluid Lewis number are studied for velocity $(f'(\eta))$, temperature $(\theta(\eta))$, concentration of salt ($S(\eta)$) and concentration of nanoparticles $(\gamma(\eta))$ and results are shown graphically. Applications of such type of problems are found in the electromagnetic control of complex magnetic nanofluid materials relevant to energy and biomedical systems.


title: First Results from Using Game Refinement Measure and Learning Coefficient in Scrabble

abstract: This paper explores the entertainment experience and learning experience in Scrabble. It proposes a new measure from the educational point of view, which we call learning coefficient, based on the balance between the learner's skill and the challenge in Scrabble. Scrabble variants, generated using different size of board and dictionary, are analyzed with two measures of game refinement and learning coefficient. The results show that 13x13 Scrabble yields the best entertainment experience and 15x15 (standard) Scrabble with 4% of original dictionary size yields the most effective environment for language learners. Moreover, 15x15 Scrabble with 10% of original dictionary size has a good balance between entertainment and learning experience.


title: Gaussian Mean Fields Lattice Gas

abstract: We study rigorously a lattice gas version of the Sherrington-Kirckpatrick spin glass model. In discrete optimization literature this problem is known as Unconstrained Binary Quadratic Programming (UBQP) and it belongs to the class NP-hard. We prove that the fluctuations of the ground state energy tend to vanish in the thermodynamic limit, and we give a lower bound of such ground state energy. Then we present an heuristic algorithm, based on a probabilistic cellular automaton, which seems to be able to find configurations with energy very close to the minimum, even for quite large instances.


title: Design of Linear Parameter Varying Quadratic Regulator in Polynomial Chaos Framework

abstract: We present a new theoretical framework for designing linear parameter varying controllers in the polynomial chaos framework. We assume the scheduling variable to be random and apply polynomial chaos approach to synthesize the controller for the resulting linear stochastic dynamical system. Two algorithms are presented that minimize the performance objective with respect to the stochastic system. The first algorithm is based on Galerkin projection and the second algorithm is based on stochastic collocation. LPV controllers from both the algorithms are shown to outperform classical LPV designs with respect to regulator design for nonlinear missile system.


title: Adaptive Nonlinear Model Reduction for Fast Power System Simulation

abstract: The paper proposes a new adaptive approach to power system model reduction for fast and accurate time-domain simulation. This new approach is a compromise between linear model reduction for faster simulation and nonlinear model reduction for better accuracy. During the simulation period, the approach adaptively switches among detailed and linearly or nonlinearly reduced models based on variations of the system state: it employs unreduced models for the fault-on period, uses weighted column norms of the admittance matrix to decide which functions to be linearized in power system differential-algebraic equations for large changes of the state, and adopts a linearly reduced model for small changes of the state. Two versions of the adaptive model reduction approach are introduced. The first version uses traditional power system partitioning where the model reduction is applied to a defined large external area in a power system and the other area defined as the study area keeps full detailed models. The second version applies the adaptive model reduction to the whole system. The paper also conducts comprehensive case studies comparing simulation results using the proposed adaptively reduced models with the linearly reduced model on the Northeast Power Coordinating Council 140-bus 48-machine system.


title: Observation of the Quantum Spin Hall Effect up to 100 Kelvin in a Monolayer Crystal

abstract: The field of topological insulators (TI) was sparked by the prediction of the quantum spin Hall effect (QSHE) in time reversal invariant systems, such as spin-orbit coupled monolayer graphene. Ever since, a variety of monolayer crystals have been proposed as two-dimensional (2D) TIs exhibiting the QSHE, possibly even at high temperatures. However, conclusive evidence for a monolayer QSHE is still lacking, and systems based on semiconductor heterostructures operate at temperatures close to liquid helium. Here we report the observation of the QSHE in monolayer WTe2 at temperatures up to 100 Kelvin. The monolayer exhibits the hallmark quantized transport conductance, ~ e2/h per edge, in the short edge limit. Moreover, a magnetic field suppresses the conductance, and the observed Zeeman-type gap indicates the existence of a Kramers degenerate point, demonstrating the importance of time reversal symmetry for protection from elastic backscattering. Our results establish the high-temperature QSHE and open a new realm for the discovery of topological phases based on 2D crystals.


title: Geometry-constrained Degrees of Freedom Analysis for Imaging Systems: Monostatic and Multistatic

abstract: In this paper, we develop a theoretical framework for analyzing the measurable information content of an unknown scene through an active electromagnetic imaging array. We consider monostatic and multistatic array architectures in a one-dimensional setting. Our main results include the following: (a) we introduce the space-bandwidth product (SBP), and show that, under the Born approximation, it provides an accurate prediction of the number of the degrees of freedom (DoF) as constrained by the geometry of the scene and the imaging system; (b) we show that both monostatic and multistatic architectures have the same number of DoF; (c) we show that prior DoF analysis based on the more restrictive Fresnel approximation are obtained by specializing our results; (d) we investigate matched-filter (back-propagation) and pseudoinverse image reconstruction schemes, and analyze the achievable resolution through these methods. Our analytical framework opens up new avenues to investigate image formation techniques that aim to reconstruct the reflectivity function of the scene by solving an inverse scattering problem, and provides insights on achievable resolution. For example, we show that matched-filter reconstruction leads to a significant resolution loss for multistatic architectures.


title: Bio-inspired surface coil for small-bore MRI at 15.2 T

abstract: We looked for a biological analogy to developed an improved surface coil to acquire magnetic resonance images. Nature offers engineering solutions that can be exploited to improve the performance of devices, such as MRI RF coils. In this paper, we proposed a coil layout based on flower petal patterns for UHF MRI at 15.2 T. This particular configuration offers the possibility to use a different number of petals and shapes. The petal resonator coil and the magnetron coil have similar layouts, which have proved to outperform the popular circular coil. Phantom images were acquired with our coil prototype to demonstrate it feasibility. These phantom images show no image degradation caused by the mutual inductance of the adjacent petals in both orientations. The SNR was also calculated using the image data and giving 31.16. Phantom images showed the coil viability and compatibility with conventional pulse sequences at 15.2 T. It still remains to investigate whether this bio-inspired surface coil is able to outperformed the popular circular coil.


title: The stratified micro-randomized trial design: sample size considerations for testing nested causal effects of time-varying treatments

abstract: Technological advancements in the field of mobile devices and wearable sensors have helped overcome obstacles in the delivery of care, making it possible to deliver behavioral treatments anytime and anywhere. Increasingly the delivery of these treatments is triggered by predictions of risk or engagement which may have been impacted by prior treatments. Furthermore the treatments are often designed to have an impact on individuals over a span of time during which subsequent treatments may be provided. Here we discuss our work on the design of a mobile health smoking cessation experimental study in which two challenges arose. First the randomizations to treatment should occur at times of stress and second the outcome of interest accrues over a period that may include subsequent treatment. To address these challenges we develop the "stratified micro-randomized trial," in which each individual is randomized among treatments at times determined by predictions constructed from outcomes to prior treatment and with randomization probabilities depending on these outcomes. We define both conditional and marginal proximal treatment effects. Depending on the scientific goal these effects may be defined over a period of time during which subsequent treatments may be provided. We develop a primary analysis method and associated sample size formulae for testing these effects.


title: A New Proof Rule for Almost-Sure Termination

abstract: An important question for a probabilistic program is whether the probability mass of all its diverging runs is zero, that is that it terminates "almost surely". Proving that can be hard, and this paper presents a new method for doing so; it is expressed in a program logic, and so applies directly to source code. The programs may contain both probabilistic- and demonic choice, and the probabilistic choices may depend on the current state. As do other researchers, we use variant functions (a.k.a. "super-martingales") that are real-valued and probabilistically might decrease on each loop iteration; but our key innovation is that the amount as well as the probability of the decrease are parametric. We prove the soundness of the new rule, indicate where its applicability goes beyond existing rules, and explain its connection to classical results on denumerable (non-demonic) Markov chains.


title: Approaches to Stochastic Modeling of Wind Turbines

abstract: Background. This paper study statistical data gathered from wind turbines located on the territory of the Republic of Poland. The research is aimed to construct the stochastic model that predicts the change of wind speed with time. Purpose. The purpose of this work is to find the optimal distribution for the approximation of available statistical data on wind speed. Methods. We consider four distributions of a random variable: Log-Normal, Weibull, Gamma and Beta. In order to evaluate the parameters of distributions we use method of maximum likelihood. To assess the the results of approximation we use a quantile-quantile plot. Results. All the considered distributions properly approximate the available data. The Weibull distribution shows the best results for the extreme values of the wind speed. Conclusions. The results of the analysis are consistent with the common practice of using the Weibull distribution for wind speed modeling. In the future we plan to compare the results obtained with a much larger data set as well as to build a stochastic model of the evolution of the wind speed depending on time.


title: Fast matrix-free evaluation of discontinuous Galerkin finite element operators

abstract: We present an algorithmic framework for matrix-free evaluation of discontinuous Galerkin finite element operators based on sum factorization on quadrilateral and hexahedral meshes. We identify a set of kernels for fast quadrature on cells and faces targeting a wide class of weak forms originating from linear and nonlinear partial differential equations. Different algorithms and data structures for the implementation of operator evaluation are compared in an in-depth performance analysis. The sum factorization kernels are optimized by vectorization over several cells and faces and an even-odd decomposition of the one-dimensional compute kernels. In isolation our implementation then reaches up to 60\% of arithmetic peak on Intel Haswell and Broadwell processors and up to 50\% of arithmetic peak on Intel Knights Landing. The full operator evaluation reaches only about half that throughput due to memory bandwidth limitations from loading the input and output vectors, MPI ghost exchange, as well as handling variable coefficients and the geometry. Our performance analysis shows that the results are often within 10\% of the available memory bandwidth for the proposed implementation, with the exception of the Cartesian mesh case where the cost of gather operations and MPI communication are more substantial.


title: Efficient-UCBV: An Almost Optimal Algorithm using Variance Estimates

abstract: We propose a novel variant of the UCB algorithm (referred to as Efficient-UCB-Variance (EUCBV)) for minimizing cumulative regret in the stochastic multi-armed bandit (MAB) setting. EUCBV incorporates the arm elimination strategy proposed in UCB-Improved \citep{auer2010ucb}, while taking into account the variance estimates to compute the arms' confidence bounds, similar to UCBV \citep{audibert2009exploration}. Through a theoretical analysis we establish that EUCBV incurs a \emph{gap-dependent} regret bound of {\scriptsize $O\left( \dfrac{K\sigma^2_{\max} \log (T\Delta^2 /K)}{\Delta}\right)$} after $T$ trials, where $\Delta$ is the minimal gap between optimal and sub-optimal arms; the above bound is an improvement over that of existing state-of-the-art UCB algorithms (such as UCB1, UCB-Improved, UCBV, MOSS). Further, EUCBV incurs a \emph{gap-independent} regret bound of {\scriptsize $O\left(\sqrt{KT}\right)$} which is an improvement over that of UCB1, UCBV and UCB-Improved, while being comparable with that of MOSS and OCUCB. Through an extensive numerical study we show that EUCBV significantly outperforms the popular UCB variants (like MOSS, OCUCB, etc.) as well as Thompson sampling and Bayes-UCB algorithms.