title: Front Velocity and Front Location of Lock-exchange Gravity Currents Descending a Slope in a Linearly Stratified Environment

abstract: Gravity currents descending a slope in a linearly stratified environment can be frequently encountered in nature. However, few studies have quantitatively investigated the evolution process of lock-exchange gravity currents in such environments. A new set of analytical formulae is proposed by integrating both mass conservation and linear momentum equations to determine the front velocity and the front location of a downslope current. Based on the thermal theory, the formula considers the influence of ambient stratification by introducing a newly defined stratification coefficient in the acceleration stage. As for the deceleration stage, the formula is derived by adding a parameter that takes into account the density distribution of the ambient water. The transition point between the acceleration and deceleration stages and the maximum front velocity are also determined by the proposed formulae. Lock-exchange gravity current experiments are conducted in the flume with linear stratifications to provide data for the validation of the formulae. The comparisons between the calculated and measured data in terms of front location and front velocity show satisfactory agreements, which reveal that front velocity presents a rapid acceleration stage and then a deceleration stage in a linearly stratified ambient.


title: Infinite characters on $GL_n(\mathbf{Q})$, on $SL_n(\mathbf{Z}),$ and on groups acting on trees

abstract: Answering a question of J. Rosenberg, we construct the first examples of infinite characters on $GL_n(\mathbf{K})$ for a global field $\mathbf{K}$ and $n\geq 2.$ The case $n=2$ is deduced from the following more general result. Let $G$ a non amenable countable subgroup acting on locally finite tree $X$. Assume either that the stabilizer in $G$ of every vertex of $X$ is finite or that the closure of the image of $G$ in ${\rm Aut}(X)$ is not amenable. We show that $G$ has uncountably many infinite dimensional irreducible unitary representations $(\pi, \mathcal{H})$ of $G$ which are traceable, that is, such that the $C^*$-subalgebra of $\mathcal{B}(\mathcal{H})$ generated by $\pi(G)$ contains the algebra of the compact operators on $\mathcal{H}.$ In the case $n\geq 3,$ we prove the existence of infinitely many characters for $G=SL_n(R)$, where $n\geq 3$ and $R$ is an integral domain such that $G$ is not amenable. In particular, the group $SL_n(\mathbf{Z})$ has infinitely many such characters for $n\geq 2.$


title: Modelling Joint Lifetimes of Couples by Using Bivariate Phase-type Distributions

abstract: Many insurance products and pension plans provide benefits which are related to couples, and thus under influence of the survival status of two lives. Some studies show the future lifetime of couples is correlated. Three reasons are available to confirm this fact: (1) catastrophe events that affect both lives, (2) the impact of spousal death and (3) the long-term association due to common life style. Dependence between lifetimes of couples could have a financial impact on insurance companies and pension plans providers. In this paper, we use a health index called physiological age in a Markov process context by that we model aging process of joint and last survivor statuses. Under this model, future joint lifetime of couples follows a bivariate phase-type distribution. The model has physical interpretation and closed-form expressions for actuarial quantities and owns tractable computation for the other ones. We use the model to pricing products relevant to couples annuities and life insurances.


title: A model calculation of double parton distribution functions of the pion

abstract: Two-parton correlations in the pion are investigated in terms of double parton distribution functions. A Poincar\'e covariant Light-Front framework has been adopted. As non perturbative input, the pion wave function obtained within the so-called soft-wall AdS/QCD model has been used. Results show how novel dynamical information on the structure of the pion, not accessible through one-body parton distribution, are encoded in double parton distribution functions.


title: Improving tasks throughput on accelerators using OpenCL command concurrency

abstract: A heterogeneous architecture composed by a host and an accelerator must frequently deal with situations where several independent tasks are available to be offloaded onto the accelerator. These tasks can be generated by concurrent applications executing in the host or, in case the host is a node of a computer cluster, by applications running on other cluster nodes that are willing to offload tasks in the accelerator connected to the host. In this work we show that a runtime scheduler that selects the best execution order of a group of tasks on the accelerator can significantly reduce the total execution time of the tasks and, consequently, increase the accelerator use. Our solution is based on a temporal execution model that is able to predict with high accuracy the execution time of a set of concurrent tasks launched on the accelerator. The execution model has been validated in AMD, NVIDIA, and Xeon Phi devices using synthetic benchmarks. Moreover, employing the temporal execution model, a heuristic is proposed which is able to establish a near-optimal tasks execution ordering that significantly reduces the total execution time, including data transfers.The heuristic has been evaluated with five different benchmarks composed of dominant kernel and dominant transfer real tasks. Experiments indicate the heuristic is able to find always an ordering with a better execution time than the average of every possible execution order and, most times, it achieves a near-optimal ordering (very close to the execution time of the best execution order) with a negligible overhead. Concretely, our heuristic obtains, on average for all the devices, between 84\% and 96\% of the improvement achieved by the best execution order.


title: Topological Phase Transitions in Spatial Networks

abstract: Most social, technological and biological networks are embedded in a finite dimensional space, and the distance between two nodes influences the likelihood that they link to each other. Indeed, in social systems, the chance that two individuals know each other drops rapidly with the distance between them; in the cell, proteins predominantly interact with proteins in the same cellular compartment; in the brain, neurons mainly link to nearby neurons. Most modeling frameworks that aim to capture the empirically observed degree distributions tend to ignore these spatial constraints. In contrast, models that account for the role of the physical distance often predict bounded degree distributions, in disagreement with the empirical data. Here we address a long-standing gap in the spatial network literature by deriving several key network characteristics of spatial networks, from the analytical form of the degree distribution to path lengths and local clustering. The mathematically exact results predict the existence of two distinct phases, each governed by a different dynamical equation, with distinct testable predictions. We use empirical data to offer direct evidence for the practical relevance of each of these phases in real networks, helping better characterize the properties of spatial networks.


title: Cardiopulmonary resuscitation quality parameters from motion capture data using Differential Evolution fitting of sinusoids

abstract: Cardiopulmonary resuscitation (CPR) is alongside electrical defibrillation the most crucial countermeasure for sudden cardiac arrest, which affects thousands of individuals every year. In this paper, we present a novel approach including sinusoid models that use skeletal motion data from an RGB-D (Kinect) sensor and the Differential Evolution (DE) optimization algorithm to dynamically fit sinusoidal curves to derive frequency and depth parameters for cardiopulmonary resuscitation training. It is intended to be part of a robust and easy-to-use feedback system for CPR training, allowing its use for unsupervised training. The accuracy of this DE-based approach is evaluated in comparison with data of 28 participants recorded by a state-of-the-art training mannequin. We optimized the DE algorithm hyperparameters and showed that with these optimized parameters the frequency of the CPR is recognized with a median error of $\pm 2.9$ compressions per minute compared to the reference training mannequin.


title: Self-Reproducing Coins as Universal Turing Machine

abstract: Turing-completeness of smart contract languages in blockchain systems is often associated with a variety of language features (such as loops). In opposite, we show that Turing-completeness of a blockchain system can be achieved through unwinding the recursive calls between multiple transactions and blocks instead of using a single one. We prove it by constructing a simple universal Turing machine using a small set of language features in the unspent transaction output (UTXO) model, with explicitly given relations between input and output transaction states. Neither unbounded loops nor possibly infinite validation time are needed in this approach.


title: An Extension of a Theorem of Frobenius and Stickelberger to Modules of Projective Dimension One over a Factorial Domain

abstract: Let $R$ be a commutative ring. A quasi-Gorenstein $R$-module is an $R$-module such that the grade of the module and the projective dimension of the module are equal and the canonical module of the module is isomorphic to the module itself. After discussing properties of finitely generated quasi-Gorenstein modules, it is shown that this definition allows for a characterization of diagonal matrices of maximal rank over a Noetherian factorial domain $R$ extending a theorem of Frobenius and Stickelberger to modules of projective dimension 1 over a commutative Noetherian factorial domain.


title: The Spectrum of Structure for Jammed and Unjammed Soft Disks

abstract: We investigate the short, medium, and long-range structure of soft disk configurations for a wide range of area fractions and simulation protocols by converting the real-space spectrum of volume fraction fluctuations for windows of width $L$ to the distance $h(L)$ from the window boundary over which fluctuations occur. Rapidly quenched unjammed configurations exhibit size-dependent super-Poissonian long-range features that, surprisingly, approach the totally-random limit even close to jamming. Above and just below jamming, the spectra exhibit a plateau, $h(L)=h_e$, for $L$ larger than particle size and smaller than a cutoff $L_c$ beyond which there are long-range fluctuations. The value of $h_e$ is independent of protocol and characterizes the putative hyperuniform limit. This behavior is compared with that for Einstein solids, with and without hyperuniformity-destroying defects. We find that key structural features of the particle configurations are more evident, as well as easier and more intuitive to quantify, using the real-space spectrum of hyperuniformity lengths rather than the spectral density.


title: Post-Newtonian magnetohydrodynamics

abstract: In this paper, we derive the post-Newtonian equations of the ideal Magnetohydrodynamics. To do so, we use the modern approach to post-Newtonian theory, where the harmonic gauge is used instead of the standard post-Newtonian gauge, and find the post-Newtonian metric in the presence of the electromagnetic fields. We show that although the electric field does not contribute in the metric and curvature of the spacetime, the magnetic field appears in the time-time component of the metric. The appearance of the magnetic field, in principle, leads to new relativistic contributions to the magnetohydrodynamic governing equations. Therefore, using the post-Newtonian metric, we find the relativistic corrections to the magnetohydrodynamic equations up to the first post-Newtonian order. In addition, as usage of this derivation, we obtain a complete set of equations by which the behavior of a self-gravitating plasma can be determined in post-Newtonian gravity.


title: Maximum Likelihood Estimation for Totally Positive Log-Concave Densities

abstract: We study nonparametric maximum likelihood estimation for two classes of multivariate distributions that imply strong forms of positive dependence; namely log-supermodular (MTP$_2$) distributions and log-$L^\#$-concave (LLC) distributions. In both cases we also assume log-concavity in order to ensure boundedness of the likelihood function. Given $n$ independent and identically distributed random vectors in $\mathbb R^d$ from one of our distributions, the maximum likelihood estimator (MLE) exists a.s. and is unique a.e. with probability one when $n\geq 3$. This holds independently of the ambient dimension $d$. We conjecture that the MLE is always the exponential of a tent function. We prove this result for samples in $\{0,1\}^d$ or in $\mathbb{R}^2$ under MTP$_2$, and for samples in $\mathbb{Q}^d$ under LLC. Finally, we provide a conditional gradient algorithm for computing the maximum likelihood estimate.


title: Quasi-geodesics in Out(F_n) and their shadows in sub-factors

abstract: We study the behaviour of quasi-geodesics in Out(F_n). Given an element f in Out(F_n) there are several natural paths connecting the origin to f in Out(F_n); for example, paths associated to sequences of Stallings folds and paths induced by the shadow of greedy folding paths in Outer Space. We show that none of these paths is, in general, a quasi-geodesic in Out(F_n). In fact, in contrast with the mapping class group setting, we construct examples where any quasi-geodesic in Out(F_n) connecting f to the origin will have to back-track in some free factor of F_n.


title: Testing General Relativity in Cosmology

abstract: We review recent developments and results in testing general relativity (GR) at cosmological scales. The subject has witnessed rapid growth during the last two decades with the aim of addressing the question of cosmic acceleration and the dark energy associated with it. However, with the advent of precision cosmology, it has also become a well-motivated endeavor by itself to test gravitational physics at cosmic scales. We overview cosmological probes of gravity, formalisms and parameterizations for testing deviations from GR at cosmological scales, selected modified gravity (MG) theories, gravitational screening mechanisms, and computer codes developed for these tests. We then provide summaries of recent cosmological constraints on MG parameters and selected MG models. We supplement these cosmological constraints with a summary of implications from the recent binary neutron star merger event. Next, we summarize some results on MG parameter forecasts with and without astrophysical systematics that will dominate the uncertainties. The review aims at providing an overall picture of the subject and an entry point to students and researchers interested in joining the field. It can also serve as a quick reference to recent results and constraints on testing gravity at cosmological scales.


title: Anomalous optical saturation of low-energy Dirac states in graphene and its implication for nonlinear optics

abstract: We reveal that optical saturation of the low-energy states takes place in graphene for arbitrarily weak electromagnetic fields. This effect originates from the diverging field-induced interband coupling at the Dirac point. Using semiconductor Bloch equations to model the electronic dynamics of graphene, we argue that the charge carriers undergo ultrafast Rabi oscillations leading to the anomalous saturation effect. The theory is complemented by a many-body study of the carrier relaxations dynamics in graphene. It will be demonstrated that the carrier relaxation dynamics is slow around the Dirac point, which in turn leads to a more pronounced saturation. The implications of this effect to the nonlinear optics of graphene is then discussed. Our analysis show that the conventional perturbative treatment of the nonlinear optics, i.e., expanding the polarization field in a Taylor series of the electric field, is problematic for graphene, in particular at small Fermi levels and large field amplitudes.


title: Calculations of the Sommerfeld Effect in a Unified Wave Function Framework

abstract: In this paper, we suggest a method of a complete calculation of the Sommerfeld effect in both the s-wave and p-wave annihilation situations. The basic idea is to uniformly consider the equal-time Beth-Salpeter wave functions of both the dark matter and the final state particles, then short-distance interactions can be parametrized as a cross-term considering the equations. Solving these equations will result in the complete formulas of the cross sections with the Sommerfeld effects.


title: On the classifying problem for the class of real solvable Lie algebras having 2-dimensional or 2-codimensional derived ideal

abstract: Let $\mathrm{Lie} \left(n, k\right)$ denote the class of all $n$-dimensional real solvable Lie algebras having $k$-dimensional derived ideal ($1 \leqslant k \leqslant n-1$). In 1993, the class $\mathrm{Lie} \left(n, 1\right)$ was completely classified by Sch\"obel \cite{Sch93}. In 2016, Vu A. Le et al. \cite{VHTHT16} considered the class $\mathrm{Lie} \left(n, n-1\right)$ and classified its subclass containing all the algebras having 1-codimensional commutative derived ideal. One subclass in {\Li} was firstly considered and incompletely classified by Sch\"obel \cite{Sch93} in 1993. Later, Janisse also gave an incomplete classification of {\Li} and published as a scientific report \cite{Jan10} in 2010. In this paper, we set up a new approach to study the classifying problem of classes {\Li} as well as {\li} and present the new complete classification of {\Li} in the combination with the well-known Eberlein's result of 2-step nilpotent Lie algebras from \cite[p.\,37--72]{Ebe03}. The paper will also classify a subclass of {\li} and will point out missings in Sch\"obel \cite{Sch93}, Janisse \cite{Jan10}, Mubarakzyanov \cite{Mub63a} as well as revise an error of Morozov \cite{Mor58}.


title: Inflationary stochastic anomalies

abstract: The stochastic approach aims at describing the long-wavelength part of quantum fields during inflation by a classical stochastic theory. It is usually formulated in terms of Langevin equations, giving rise to a Fokker-Planck equation for the probability distribution function of the fields, and possibly their momenta. The link between these two descriptions is ambiguous in general, as it depends on an implicit discretisation procedure, the two prominent ones being the It\^o and Stratonovich prescriptions. Here we show that the requirement of general covariance under field redefinitions is verified only in the latter case, however at the expense of introducing spurious `frame' dependences. This stochastic anomaly disappears when there is only one source of stochasticity, like in slow-roll single-field inflation, but manifests itself when taking into account the full phase space, or in the presence of multiple fields. Despite these difficulties, we use physical arguments to write down a covariant Fokker-Planck equation that describes the diffusion of light scalar fields in non-linear sigma models in the overdamped limit. We apply it to test scalar fields in de Sitter space and show that some statistical properties of a class of two-field models with derivative interactions can be reproduced by using a correspondence with a single-field model endowed with an effective potential. We also present explicit results in a simple extension of the single-field $\lambda \phi^4$ theory to a hyperbolic field space geometry. The difficulties we describe seem to be the stochastic counterparts of the notoriously difficult problem of maintaining general covariance in quantum theories, and the related choices of operator ordering and path-integral constructions. Our work thus opens new avenues of research at the crossroad between cosmology, statistical physics, and quantum field theory.

categories: gr-qc astro-ph.CO cond-mat.stat-mech hep-th


title: Strings on warped AdS$_3$ via $T\bar{J}$ deformations

abstract: We study a toy model of the Kerr/CFT correspondence using string theory on AdS$_3 \times S^3$. We propose a single trace irrelevant deformation of the dual CFT generated by a vertex operator with spacetime dimensions (2,1). This operator shares the same quantum numbers as the integrable $T\bar{J}$ deformation of two-dimensional CFTs where $\bar{J}$ is a chiral $U(1)$ current. We show that the deformation is marginal on the worldsheet and that the target spacetime is deformed to null warped AdS$_3$ upon dimensional reduction. We also calculate the spectrum of the deformed theory on the cylinder and compare it to the field theory analysis of $T\bar{J}$-deformed CFTs.


title: Leveraging Disease Progression Learning for Medical Image Recognition

abstract: Unlike natural images, medical images often have intrinsic characteristics that can be leveraged for neural network learning. For example, images that belong to different stages of a disease may continuously follow a certain progression pattern. In this paper, we propose a novel method that leverages disease progression learning for medical image recognition. In our method, sequences of images ordered by disease stages are learned by a neural network that consists of a shared vision model for feature extraction and a long short-term memory network for the learning of stage sequences. Auxiliary vision outputs are also included to capture stage features that tend to be discrete along the disease progression. Our proposed method is evaluated on a public diabetic retinopathy dataset, and achieves about 3.3% improvement in disease staging accuracy, compared to the baseline method that does not use disease progression learning.


title: Vortex Ferroelectric Domains, Large-loop Weak Ferromagnetic Domains, and Their Decoupling in Hexagonal (Lu, Sc)FeO3

abstract: The direct domain coupling of spontaneous ferroelectric polarization and net magnetic moment can result in giant magnetoelectric (ME) coupling, which is essential to achieve mutual control and practical applications of multiferroics. Recently, the possible bulk domain coupling, the mutual control of ferroelectricity (FE) and weak ferromagnetism (WFM) have been theoretically predicted in hexagonal LuFeO3. Here, we report the first successful growth of highly-cleavable Sc-stabilized hexagonal Lu0.6Sc0.4FeO3 (h-LSFO) single crystals, as well as the first visualization of their intrinsic cloverleaf pattern of vortex FE domains and large-loop WFM domains. The vortex FE domains are on the order of 0.1-1 {\mu}m in size. On the other hand, the loop WFM domains are ~100 {\mu}m in size, and there exists no interlocking of FE and WFM domain walls. These strongly manifest the decoupling between FE and WFM in h-LSFO. The domain decoupling can be explained as the consequence of the structure-mediated coupling between polarization and dominant in-plane antiferromagnetic spins according to the theoretical prediction, which reveals intriguing interplays between FE, WFM, and antiferromagnetic orders in h-LSFO. Our results also indicate that the magnetic topological charge tends to be identical to the structural topological charge. This could provide new insights into the induction of direct coupling between magnetism and ferroelectricity mediated by structural distortions, which will be useful for the future applications of multiferroics.


title: The Art of Drafting: A Team-Oriented Hero Recommendation System for Multiplayer Online Battle Arena Games

abstract: Multiplayer Online Battle Arena (MOBA) games have received increasing popularity recently. In a match of such games, players compete in two teams of five, each controlling an in-game avatars, known as heroes, selected from a roster of more than 100. The selection of heroes, also known as pick or draft, takes place before the match starts and alternates between the two teams until each player has selected one hero. Heroes are designed with different strengths and weaknesses to promote team cooperation in a game. Intuitively, heroes in a strong team should complement each other's strengths and suppressing those of opponents. Hero drafting is therefore a challenging problem due to the complex hero-to-hero relationships to consider. In this paper, we propose a novel hero recommendation system that suggests heroes to add to an existing team while maximizing the team's prospect for victory. To that end, we model the drafting between two teams as a combinatorial game and use Monte Carlo Tree Search (MCTS) for estimating the values of hero combinations. Our empirical evaluation shows that hero teams drafted by our recommendation algorithm have significantly higher win rate against teams constructed by other baseline and state-of-the-art strategies.


title: Request-and-Reverify: Hierarchical Hypothesis Testing for Concept Drift Detection with Expensive Labels

abstract: One important assumption underlying common classification models is the stationarity of the data. However, in real-world streaming applications, the data concept indicated by the joint distribution of feature and label is not stationary but drifting over time. Concept drift detection aims to detect such drifts and adapt the model so as to mitigate any deterioration in the model's predictive performance. Unfortunately, most existing concept drift detection methods rely on a strong and over-optimistic condition that the true labels are available immediately for all already classified instances. In this paper, a novel Hierarchical Hypothesis Testing framework with Request-and-Reverify strategy is developed to detect concept drifts by requesting labels only when necessary. Two methods, namely Hierarchical Hypothesis Testing with Classification Uncertainty (HHT-CU) and Hierarchical Hypothesis Testing with Attribute-wise "Goodness-of-fit" (HHT-AG), are proposed respectively under the novel framework. In experiments with benchmark datasets, our methods demonstrate overwhelming advantages over state-of-the-art unsupervised drift detectors. More importantly, our methods even outperform DDM (the widely used supervised drift detector) when we use significantly fewer labels.


title: $r$-strongly vertex-distinguishing total coloring of graphs

abstract: Inspired by the phenomenon of co-channel interference in communication network, a novel graph parameter, called $r$-vertex-strongly-distinguishing total coloring (abbreviate as $D(r)$-VSDTC), is proposed in this paper. Given a graph $G$, an $r$-VSDTC is an assignment of $k$ colors to $V(G)\cup E(G)$ such that any two adjacent or incident elements receive different colors and any two vertices with distance at most $r$ have distinct color-set, where the color-set of a vertex $u$ is the set of colors assigned on $u$ and its neighborhoods and incident edges. The \emph{$r$-vertex-strongly-distinguishing total chromatic number} of $G$, denoted by $\chi_{r-vsdt}(G)$, is the minimum integer $k$ for which $G$ admits a $k$-$D(r)$-VSDTC. We show that $\chi_{1-vsdt}(G)\leq 4\Delta(G)$ for every graph $G$ without isolated edges and $\chi_{1-vsdt}(G)\le k\Delta(G)+3$ for a $k$-degenerated graph $G$ without isolated edges, where $1\le k\le 3$.


title: The normalized Laplacian spectra of subdivision vertex-edge neighbourhood vertex(edge)-corona for graphs

abstract: In this paper, we introduce two new graph operations, namely, the subdivision vertex-edge neighbourhood vertex-corona and the subdivision vertex-edge neighbourhood edge-corona on graphs $G_1$, $G_2$ and $G_3$, and the resulting graphs are denoted by $G_1^S\bowtie (G_2^V\cup G_3^E)$ and $G_1^S\diamondsuit(G_2^V\cup G_3^E)$, respectively. Whereafter, the normalized Laplacian spectra of $G_1^S\bowtie (G_2^V\cup G_3^E)$ and $G_1^S\diamondsuit(G_2^V\cup G_3^E)$ are respectively determined in terms of the corresponding normalized Laplacian spectra of the connected regular graphs $G_{1}$, $G_{2}$ and $G_{3}$, which extend the corresponding results of [A. Das, P. Panigrahi, Linear Multil. Algebra, 2017, 65(5): 962-972]. As applications, these results enable us to construct infinitely many pairs of normalized Laplacian cospectral graphs. Moreover, we also give the number of the spanning trees, the multiplicative degree-Kirchhoff index and Kemeny's constant of $G_1^S\bowtie (G_2^V\cup G_3^E)$ (resp. $G_1^S\diamondsuit(G_2^V\cup G_3^E)$).


title: Modeling Position and Momentum in Finite-Dimensional Hilbert Spaces via Generalized Pauli Operators

abstract: The finite entropy of black holes suggests that local regions of spacetime are described by finite-dimensional factors of Hilbert space, in contrast with the infinite-dimensional Hilbert spaces of quantum field theory. With this in mind, we explore how to cast finite-dimensional quantum mechanics in a form that matches naturally onto the smooth case, especially the recovery of conjugate position/momentum variables, in the limit of large Hilbert-space dimension. A natural tool for this task are the Generalized Pauli operators (GPO). Based on an exponential form of Heisenberg's canonical commutation relation, the GPO offers a finite-dimensional generalization of conjugate variables without relying on any a priori structure on Hilbert space. We highlight some features of the GPO, its importance in studying concepts such as spread induced by operators, and point out departures from infinite-dimensional results (possibly with a cutoff) that might play a crucial role in our understanding of quantum gravity. We introduce the concept of "Operator Collimation," which characterizes how the action of an operator spreads a quantum state along conjugate directions. We illustrate these concepts with a worked example of a finite-dimensional harmonic oscillator, demonstrating how the energy spectrum deviates from the familiar infinite-dimensional case.


title: Topological Characterization of Higher Dimensional Charged Taub-NUT Instantons

abstract: Recently, we have shown that non-selfdual self-gravitating dyonic fields with magnetic mass generalize the Dirac monopole. The unique topological index, which characterizes the field, is a four dimensional analogue of the famous monopole configuration. An unexpected result of this analysis is that the electric parameter can only take certain discrete values as a consequence of applying the path integral approach to quantize the magnetic flux. Here, we show how this result can be generalized to higher dimensions, considering a special type of inhomogeneous geometries. Our results apply to a vast range of theories and situations in which topological charges are present. For concreteness, we focus here on Lovelock--Maxwell solutions and show that the magnetic flux corresponds to a topological excitation and the electric flux becomes discrete.


title: On the almost universality of $\lfloor x^2/a\rfloor+\lfloor y^2/b\rfloor+\lfloor z^2/c\rfloor$

abstract: In 2013, Farhi conjectured that for each $m\geq 3$, every natural number $n$ can be represented as $\lfloor x^2/m\rfloor+\lfloor y^2/m\rfloor+\lfloor z^2/m\rfloor$ with $x,y,z\in\Z$, where $\lfloor\cdot\rfloor$ denotes the floor function. Moreover, in 2015, Sun conjectured that every natural number $n$ can be written as $\lfloor x^2/a\rfloor+\lfloor y^2/b\rfloor+\lfloor z^2/c\rfloor$ with $x,y,z\in\Z$, where $a,b,c$ are integers and $(a,b,c)\neq (1,1,1),(2,2,2)$. In this paper, with the help of congruence theta functions, we prove that for each $m\geq 3$, Farhi's conjecture is true for every sufficiently large integer $n$. And for $a,b,c\geq 5$ with $a,b,c$ are pairwisely co-prime, we also confirm Sun's conjecture for every sufficiently large integer $n$.


title: Surface correction of main sequence solar-like oscillators with the $Kepler$ LEGACY sample

abstract: Poor modelling of the surface regions of solar-like stars causes a systematic discrepancy between the observed and model pulsation frequencies. We aim to characterise this frequency discrepancy for main sequence solar-like oscillators for a wide range of initial masses and metallicities. We fit stellar models to the observed mode frequencies of the 67 stars, including the Sun, in the $Kepler$ LEGACY sample, using three different empirical surface corrections. The three surface corrections we analyse are a frequency power-law, a cubic frequency term divided by the mode inertia, and a linear combination of an inverse and cubic frequency term divided by the mode inertia. We construct a grid of stellar evolution models using the stellar evolution code MESA and calculate mode frequencies using GYRE. We scale the frequencies of each stellar model by an empirical calculated homology coefficient, which greatly improves the robustness of our grid. We calculate stellar parameters and surface corrections for each star using the average of the best-fitting models from each evolutionary track, weighted by the likelihood of each model. The resulting model stellar parameters agree well with an independent reference, the $\texttt{BASTA}$ pipeline. However, we find that the adopted physics of the stellar models has a greater impact on the fitted stellar parameters than the choice of correction method. We find that scaling the frequencies by the mode inertia improves the fit between the models and observations. The inclusion of the inverse frequency term produces substantially better model fits to lower surface gravity stars.


title: Spectropolarimetry of High Redshift Obscured and Red Quasars

abstract: Spectropolarimetry is a powerful technique that has provided critical support for the geometric unification model of local active galactic nuclei. In this paper, we present optical (rest-frame UV) Keck spectropolarimetry of five luminous obscured (Type 2) and extremely red quasars (ERQs) at z~2.5. Three objects reach polarization fractions of >10% in the continuum. We propose a model in which dust scattering is the dominant scattering and polarization mechanism in our targets, though electron scattering cannot be completely excluded. Emission lines are polarized at a lower level than is the continuum. This suggests that the emission-line region exists on similar spatial scales as the scattering region. In three objects we detect an intriguing 90 degree swing in the polarization position angle as a function of line-of-sight velocity in the emission lines of Ly-alpha, CIV and NV. We interpret this phenomenon in the framework of a geometric model with an equatorial dusty scattering region in which the material is outflowing at several thousand km/sec. Emission lines may also be scattered by dust or resonantly. This model explains several salient features of observations by scattering on scales of a few tens of pc. Our observations provide a tantalizing view of the inner region geometry and kinematics of high-redshift obscured and extremely red quasars. Our data and modeling lend strong support for toroidal obscuration and powerful outflows on the scales of the UV emission-line region, in addition to the larger scale outflows inferred previously from the optical emission-line kinematics.


title: SIMPs through the axion portal

abstract: Dark matter could be a thermal relic comprised of strongly interacting massive particles (SIMPs), where $3 \rightarrow 2$ interactions set the relic abundance. Such interactions generically arise in theories of chiral symmetry breaking via the Wess-Zumino-Witten term. In this work, we show that an axion-like particle can successfully maintain kinetic equilibrium between the dark matter and the visible sector, allowing the requisite entropy transfer that is crucial for SIMPs to be a cold dark matter candidate. Constraints on this scenario arise from beam dump and collider experiments, from the cosmic microwave background, and from supernovae. We find a viable parameter space when the axion-like particle is close in mass to the SIMP dark matter, with strong-scale masses of order a few hundred MeV. Many planned experiments are set to probe the parameter space in the near future.


title: The Stripe 82 1-2 GHz Very Large Array Snapshot Survey: Multiwavelength Counterparts

abstract: We have combined spectrosopic and photometric data from the Sloan Digital Sky Survey (SDSS) with $1.4$ GHz radio observations, conducted as part of the Stripe 82 $1-2$ GHz Snapshot Survey using the Karl G. Jansky Very Large Array (VLA), which covers $\sim100$ sq degrees, to a flux limit of 88 $\mu$Jy rms. Cross-matching the $11\,768$ radio source components with optical data via visual inspection results in a final sample of $4\,795$ cross-matched objects, of which $1\,996$ have spectroscopic redshifts and $2\,799$ objects have photometric redshifts. Three previously undiscovered Giant Radio Galaxies (GRGs) were found during the cross-matching process, which would have been missed using automated techniques. For the objects with spectroscopy we separate radio-loud Active Galactic Nuclei (AGN) and star-forming galaxies (SFGs) using three diagnostics and then further divide our radio-loud AGN into the HERG and LERG populations. A control matched sample of HERGs and LERGs, matched on stellar mass, redshift and radio luminosity, reveals that the host galaxies of LERGs are redder and more concentrated than HERGs. By combining with near-infrared data, we demonstrate that LERGs also follow a tight $K-z$ relationship. These results imply the LERG population are hosted by population of massive, passively evolving early-type galaxies. We go on to show that HERGs, LERGs, QSOs and star-forming galaxies in our sample all reside in different regions of a WISE colour-colour diagram. This cross-matched sample bridges the gap between previous `wide but shallow' and `deep but narrow' samples and will be useful for a number of future investigations.


title: A distance of 13 Mpc resolves the claimed anomalies of the galaxy lacking dark matter

abstract: The claimed detection of a diffuse galaxy lacking dark matter represents a possible challenge to our understanding of the properties of these galaxies and galaxy formation in general. The galaxy, already identified in photographic plates taken in the summer of 1976 at the UK 48-in Schmidt telescope, presents normal distance-independent properties (e.g. colour, velocity dispersion of its globular clusters). However, distance-dependent quantities are at odds with those of other similar galaxies, namely the luminosity function and sizes of its globular clusters, mass-to-light ratio and dark matter content. Here we carry out a careful analysis of all extant data and show that they consistently indicate a much shorter distance (13 Mpc) than previously indicated (20 Mpc). With this revised distance, the galaxy appears to be a rather ordinary low surface brightness galaxy (R_e=1.4+-0.1 kpc; M*=6.0+-3.6x10^7 Msun) with plenty of room for dark matter (the fraction of dark matter inside the half mass radius is >75% and M_halo/M*>20) corresponding to a minimum halo mass >10^9 Msun. At 13 Mpc, the luminosity and structural properties of the globular clusters around the object are the same as those found in other galaxies.


title: Measuring the Recoverability of Close Binaries in Gaia DR2 with the Robo-AO Kepler Survey

abstract: We use the Robo-AO survey of Kepler planetary candidate host stars, the largest adaptive optics survey yet performed, to measure the recovery rate of close stellar binaries in Gaia DR2. We find that Gaia recovers binaries down to 1" at magnitude contrasts as large as 6; closer systems are not resolved, regardless of secondary brightness. Gaia DR2 binary detection does not have a strong dependence on the orientation of the stellar pairs. We find 177 nearby stars to Kepler planetary candidate host stars in Gaia DR2 that were not detected in the Robo-AO survey, almost all of which are faint (G>20); the remainder were largely targets observed by Robo-AO in poor conditions. If the primary star is the host, the impact on the radii estimates of planet candidates in these systems is likely minimal; many of these faint stars, however, could be faint eclipsing binaries that are the source of a false positive planetary transit signal. With Robo-AO and Gaia combined, we find that 18.7% of Kepler planet candidate hosts have nearby stars within 4". We also find 36 nearby stars in Gaia DR2 around 35 planetary candidate host stars detected with K2. The nearby star fraction rate for K2 planetary candidates is significantly lower than that for the primary Kepler mission. The binary recovery rate of Gaia will improve initial radius estimates of future TESS planet candidates significantly, however ground-based high-resolution follow-up observations are still needed for precise characterization and confirmation. The sensitivity of Gaia to closely separated binaries is expected to improve in later data releases.


title: The Stripe 82 1-2 GHz Very Large Array Snapshot Survey: host galaxy properties and accretion rates of radio galaxies

abstract: A sample of 1161 radio galaxies with $0.01 < z < 0.7$ and $10^{21} < L_{1.4~\rm GHz} / \textrm{W Hz}^{-1} < 10^{27}$ is selected from the Stripe 82 1-2 GHz Karl G. Jansky Very Large Array Snapshot Survey, which covers 100 square degrees and has a 1$\sigma$ noise level of 88 $\mu$Jy beam$^{-1}$. Optical spectra are used to classify these sources as high excitation and low excitation radio galaxies (HERGs and LERGs), resulting in 60 HERGs, 149 LERGs and 600 `probable LERGs'. The host galaxies of the LERGs have older stellar populations than those of the HERGs, in agreement with previous results in the literature. We find that the HERGs tend to have higher Eddington-scaled accretion rates than the LERGs but that there is some overlap between the two distributions. We show that the properties of the host galaxies vary continuously with accretion rate, with the most slowly accreting sources having the oldest stellar populations, consistent with the idea that these sources lack a supply of cold gas. We find that 84 per cent of our sample release more than 10 per cent of their accretion power in their jets, showing that mechanical AGN feedback is significantly underestimated in many hydrodynamical simulations. There is a scatter of $\sim 2$ dex in the fraction of the accreted AGN power deposited back into the ISM in mechanical form, showing that the assumption in many simulations that there is a direct scaling between accretion rate and radio-mode feedback does not necessarily hold. We also find that mechanical feedback is significant for many of the HERGs in our sample as well as the LERGs.


title: The boundary dual of the bulk symplectic form

abstract: In this paper, we study the overlaps of wavefunctionals prepared by turning on sources in the Euclidean path integral. For nearby states, these overlaps give rise to a Kahler structure on the space of sources, which is naturally induced by the Fubini-Study metric. The Kahler form obtained this way can also be thought of as a Berry curvature and, for holographic field theories, we show that it is identical to the gravitational symplectic form in the bulk. We discuss some possible applications of this observation, in particular a boundary prescription to calculate the variation of the volume of a maximal slice.


title: Does the SYK model have a spin glass phase?

abstract: We argue that the Sachdev-Ye-Kitaev model has no spin glass phase, based on calculations involving both the nearly-conformal limit and the strongly-coupled Schwarzian limit of the model. This conclusion is supported by numerical computations of eigenvalue statistics with up to 46 Majorana fermions. In addition, we find numerically that the distribution of the ground state energy is Gaussian.


title: Reconciling $B$-decay anomalies with neutrino masses, dark matter and constraints from flavour violation

abstract: Motivated by an explanation of the $R_{K^{(*)}}$ anomalies, we propose a Standard Model extension via two scalar SU(2)$_L$ triplet leptoquarks and three generations of triplet Majorana fermions. The gauge group is reinforced by a $Z_2$ symmetry, ensuring the stability of the lightest $Z_2$-odd particle, which is a potentially viable dark matter candidate. Neutrino mass generation occurs radiatively (at the three-loop level), and leads to important constraints on the leptoquark couplings to leptons. We consider very generic textures for the flavour structure of the $h_1$ leptoquark Yukawa couplings, identifying classes of textures which succeed in saturating the $R_{K^{(*)}}$ anomalies. We subsequently carry a comprehensive analysis of the model's contributions to numerous high-intensity observables such as meson oscillations and decays, as well as charged lepton flavour violating processes, which put severe constraints on the flavour structure of these leptoquark extensions. Our findings suggest that the most constraining observables are $K^+ \to \pi^+ \nu \bar \nu$ decays, and charged lepton flavour violating $\mu -e$ conversion in nuclei (among others). Nevertheless, for several classes of flavour textures and for wide mass regimes of the new mediators (within collider reach), this Standard Model extension successfully addresses neutrino mass generation, explains the current $R_{K^{(*)}}$ tensions, and offers a viable dark matter candidate.


title: Consistent early and late time cosmology from the RG flow of gravity

abstract: We investigate the compatibility of cosmological constraints on inflation and the cosmological constant with the asymptotic safety scenario of quantum gravity. The effective action is taken to be of $f(R)$ form, truncated to second order. The flow generated by the Functional Renormalisation Group Equation is analysed and it is found to allow for trajectories that are compatible with the observational constraints on the parameters of the action, both at early and late cosmological times. In particular, the gravitational effective dynamics generated in the trans-Planckian regime flows to Starobinsky inflation at early times and to standard Einstein Gravity with a cosmological constant at late times. Moreover, the cosmological constant acquires an energy dependence at $10^{-2}$ eV, increasing from its current value of $10^{-66} \,\text{eV}^{2}$ on Hubble scale to a value of $10^{30}\, \text{eV}^{2}$ at inflation scale.


title: Gas and multi-species dust dynamics in viscous protoplanetary discs: the importance of the dust back-reaction

abstract: We study the dynamics of a viscous protoplanetary disc hosting a population of dust grains with a range of sizes. We compute steady-state solutions, and show that the radial motion of both the gas and the dust can deviate substantially from those for a single-size dust population. Although the aerodynamic drag from the dust on the gas is weaker than in the case where all grains are optimally coupled to the gas, the cumulative "back-reaction" of the dust particles can still alter the gas dynamics significantly. In typical protoplanetary discs, the net effect of the dust back-reaction decreases the gas accretion flow compared to the dust-free (viscous) case, even for dust-to-gas ratios of order $1\%$. In the outer disc, where dust grains are typically less strongly coupled to the gas and settle towards the midplane, the dust back-reaction can even drive outward gas flow. Moreover, the radial inward drift of large grains is reduced below the gas motion in the inner disc regions, while small dust grains follow the gas dynamics over all the disc extent. The resulting dust and gas dynamics can give rise to observable structures, such as gas and dust cavities. Our results show that the dust back-reaction can play a major role in both the dynamics and observational appearance of protoplanetary discs, and cannot be ignored in models of protoplanetary disc evolution.


title: The Dawn Light of Blueberry Galaxies: Spectroscopic and Photometric Studies of two Starburst Dwarf Galaxies

abstract: A population of so-called "blueberry" starbursting dwarf galaxies with extremely blue colors, low-metallicities, and enormous ionization ratios, has recently been found by Yang et al. (2017). Yet we still do not know their detailed properties, such as morphologies, AGN occupations, massive star contents, infrared emission, dust properties, etc. As a pilot study of the blueberries, we investigate the spectroscopic and photometric properties of two blueberry candidates, RGG B and RGG 5, for which Hubble Space Telescope high-resolution images are available. We find that RGG B and RGG 5 perhaps are likely to be two merging dwarf galaxy systems. RGG B may have a close merging companion; yet the current evidence still cannot exclude the possibility that RGG B is just disturbed by in-situ star formation through, e.g., outflows, rather than undergoing a merger. RGG 5 presents stellar shells in the outskirt which can be the powerful evidence of galaxy merging. We also find that, all of the blueberries, including RGG B and RGG 5, are located close to the theoretical maximum-starburst-line in the BPT diagram, have very high ionization parameters, and relatively low hardness ionizing radiation fields, exhibit nitrogen overabundances, and show extremely red mid-IR colors, and reside in the so-called "ULIRGs/LINERs/Obscured AGN" region. The blueberry galaxies may not harbor AGN.


title: Swift data hint at a binary Super Massive Black Hole candidate at sub-parsec separation

abstract: Dual/binary Supermassive Black Hole (SMBH) systems are the inevitable consequence of the current Lambda Cold Dark Matter cosmological paradigm. In this context, we discuss here the properties of MCG+11-11-032, a local (z=0.0362) Seyfert 2 galaxy. This source was proposed as a dual AGN candidate on the basis of the presence of double-peaked [OIII] emission lines in its optical spectrum. MCG+11-11-032 is also an X-ray variable source and was observed several times by the Swift X-ray Telescope (XRT) on time scales from days to years. In this work, we analyze the SDSS-DR13 spectrum and find evidence for double-peaked profiles in all the strongest narrow emission lines. We also study the XRT light curve and unveil the presence of an alternating behavior of the intrinsic 0.3-10 keV flux, while the 123-month Swift BAT light curve supports the presence of almost regular peaks and dips almost every 25 months. In addition, the XRT spectrum suggests for the presence of two narrow emission lines with rest-frame energies of E~6.16 keV and E~6.56 keV. Although by considering only the optical emission lines, different physical mechanisms may be invoked to explain the kinematical properties, the X-ray results are most naturally explained by the presence of a binary SMBH in the center of this source. In particular, we evidence a remarkable agreement between the putative SMBH pair orbital velocity derived from the BAT light curve and the velocity offset derived by the rest-frame Delta_E between the two X-ray line peaks in the XRT spectrum (i.e. Delta_v~0.06c).


title: Platform for measurements of the Casimir force between two superconductors

abstract: Several experimental demonstrations of the Casimir force between two closely spaced bodies have been realized over the past two decades. Extending the theory to incorporate the behavior of the force between two superconducting films close to their transition temperature has resulted in competing predictions. To date, no experiment exists that can test these theories, partly due to the difficulty in aligning two superconductors in close proximity, while still allowing for a temperature-independent readout of the arising force between them. Here we present an on-chip platform based on an optomechanical cavity in combination with a grounded superconducting capacitor, which overcomes these challenges and opens up the possibility to probe modifications to the Casimir effect between two closely spaced, freestanding superconductors as they transition into a superconducting state. We also perform preliminary force measurements that demonstrate the capability of these devices to probe the interplay between two widely measured quantum effects: Casimir forces and superconductivity.


title: Standard versus Non-Standard CP Phases in Neutrino Oscillation in Matter with Non-Unitarity

abstract: We formulate a perturbative framework for the flavor transformation of the standard three active neutrinos but with non-unitary flavor mixing matrix, a system which may be relevant for leptonic unitarity test. We use the $\alpha$ parametrization of the non-unitary matrix and take its elements $\alpha_{\beta \gamma}$ ($\beta,\gamma = e,\mu,\tau$) and the ratio $\epsilon \simeq \Delta m^2_{21} / \Delta m^2_{31}$ as the small expansion parameters. Qualitatively new two features that hold in all the oscillation channels are uncovered in the probability formula obtained to first order in the expansion: (1) The phases of the complex $\alpha$ elements always come in into the observable in the particular combination with the $\nu$SM CP phase $\delta$ in the form $[e^{- i \delta } \bar{\alpha}_{\mu e}, ~e^{ - i \delta} \bar{\alpha}_{\tau e}, ~\bar{\alpha}_{\tau \mu}]$ under the PDG convention of unitary $\nu$SM mixing matrix. (2) The diagonal $\alpha$ parameters appear in particular combinations $\left( a/b - 1 \right) \alpha_{ee} + \alpha_{\mu \mu}$ and $\alpha_{\mu \mu} - \alpha_{\tau \tau}$, where $a$ and $b$ denote, respectively, the matter potential due to CC and NC reactions. This property holds only in the unitary evolution part of the probability, and there is no such feature in the genuine non-unitary part, while the $\delta$ - $\alpha$ parameter phase correlation exists for both. The reason for such remarkable stability of the phase correlation is discussed.


title: Injective dimension of sheaves of rational vector spaces

abstract: The Cantor-Bendixson rank of a topological space X is a measure of the complexity of the topology of X. The Cantor-Bendixson rank is most interesting when the space is profinite: Hausdorff, compact and totally disconnected. We will see that the injective dimension of the Abelian category of sheaves of rational vector spaces over a profinite space is determined by the Cantor-Bendixson rank of the space.


title: Reversibility Checking for Markov Chains

abstract: In this paper, we present reversibility preserving operations on Markov chain transition matrices. Simple row and column operations allow us to create new reversible transition matrices and yield an easy method for checking a Markov chain for reversibility.


title: Implications of scalar and tensor explanations of $R_{D^{(\ast)}}$

abstract: We investigate the implications of scalar and tensor operators proposed to accommodate the hints of lepton flavor universality violation in charged-current $B$-meson decays. We show that these scenarios unavoidably induce chirality enhanced contributions to charged lepton magnetic moments and Yukawa couplings. By using an effective field theory approach we quantify in a model independent way the connection of the $R_{D^{(\ast)}}$ anomaly with the tau $g-2$ and the Higgs decay $h\to \tau\tau$, which can offer an alternative to test these scenarios. Concrete New Physics models giving rise to our setup will be illustrated.


title: A CutFEM method for two-phase flow problems

abstract: In this article, we present a cut finite element method for two-phase Navier-Stokes flows. The main feature of the method is the formulation of a unified continuous interior penalty stabilisation approach for, on the one hand, stabilising advection and the pressure-velocity coupling and, on the other hand, stabilising the cut region. The accuracy of the algorithm is enhanced by the development of extended fictitious domains to guarantee a well defined velocity from previous time steps in the current geometry. Finally, the robustness of the moving-interface algorithm is further improved by the introduction of a curvature smoothing technique that reduces spurious velocities. The algorithm is shown to perform remarkably well for low capillary number flows, and is a first step towards flexible and robust CutFEM algorithms for the simulation of microfluidic devices.


title: Standard Model Fragmentation Functions at Very High Energies

abstract: We compute the leading-order evolution of parton fragmentation functions for all the Standard Model fermions and bosons up to energies far above the electroweak scale, where electroweak symmetry is restored. We discuss the difference between double-logarithmic and leading-logarithmic resummation, and show how the latter can be implemented through a scale choice in the SU(2) coupling. We present results for a wide range of partonic center-of-mass energies, including the polarization of fermion and vector boson fragmentation functions induced by electroweak evolution.


title: Relativity and quantum optics: accelerated atoms in optical cavities

abstract: We analyze the physics of accelerated particle detectors (such as atoms) crossing optical cavities. In particular we focus on the detector response as well as on the energy signature that the detectors imprint in the cavities. In doing so, we examine to what extent the usual approximations made in quantum optics in cavities (such as the single-mode approximation, or the dimensional reduction of 3+1D cavities to simplified 1+1D setups) are acceptable when the atoms move in relativistic trajectories. We also study the dependence of these approximations on the state of the atoms and the relativistic nature of the trajectory. We find that, on very general grounds, and already in the weak coupling limit, single- and few-mode approximations, as well as 1+1D dimensional reductions, yield incorrect results when relativistic scenarios are considered.


title: Dynamical susceptibility of a Fermi liquid

abstract: We study the dynamic response of a Fermi liquid in the spin, charge and nematic channels beyond the random phase approximation for the dynamically screened Coulomb potential. In all the channels, one-loop order corrections to the irreducible susceptibility result in a non-zero spectral weight of the corresponding fluctuations above the particle-hole continuum boundary. It is shown that the imaginary part of the spin susceptibility, $\text{Im}\chi_{s}(\bf{q},\omega)$, falls off as $q^2/\omega$ for frequencies above the continuum boundary ($\omega\gg v_{F} q$) and below the model-dependent cutoff frequency, whereas the imaginary part of the charge susceptibility, $\text{Im}\chi_c(\bf{q},\omega)$, falls off as $(q/k_F)^2 q^2/\omega$ for frequencies above the plasma frequency. An extra factor of $(q/k_F)^2$ in $\text{Im}\chi_c(\bf{q},\omega)$ as compared to $\text{Im}\chi_{s}(\bf{q},\omega)$ is a direct consequence of Galilean invariance. The imaginary part of the nematic susceptibility increases linearly with $\omega$ up to a peak at the ultraviolet energy scale-- the plasma frequency and/or Fermi energy--and then decreases with $\omega$. We also obtain explicit forms of the spin susceptibility from the kinetic equation in the collisionless limit and for the Landau function that contains up to first three harmonics.


title: Coexistence of weak and strong coupling with a quantum dot in a photonic molecule

abstract: We study the emission from a molecular photonic cavity formed by two proximal photonic crystal defect cavities containing a small number (<3) of In(Ga)As quantum dots. Under strong excitation we observe photoluminescence from the bonding and antibonding modes in excellent agreement with expectations from numerical simulations. Power dependent measurements reveal an unexpected peak, emerging at an energy between the bonding and antibonding modes of the molecule. Temperature dependent measurements show that this unexpected feature is photonic in origin. Time-resolved measurements show the emergent peak exhibits a lifetime $\tau_M=0.75 \, \pm 0.1 \, ns $, similar to both bonding and antibonding coupled modes. Comparison of experimental results with theoretical expectations reveal that this new feature arises from a coexistence of weak- and strong-coupling, due to the molecule emitting in an environment whose configuration permits or, on the contrary, impedes its strong-coupling. This scenario is reproduced theoretically for our particular geometry with a master equation reduced to the key ingredients of its dynamics. Excellent qualitative agreement is obtained between experiment and theory, showing how solid-state cavity QED can reveal new regimes of light-matter interaction.


title: Embodying probabilistic inference in biochemical circuits

abstract: Probabilistic inference provides a language for describing how organisms may learn from and adapt to their environment. The computations needed to implement probabilistic inference often require specific representations, akin to having the suitable data structures for implementing certain algorithms in computer programming. Yet it is unclear how such representations can be instantiated in the stochastic, parallel-running biochemical machinery found in cells (such as single-celled organisms). Here, we show how representations for supporting inference in Markov models can be embodied in cellular circuits, by combining a concentration-dependent scheme for encoding probabilities with a mechanism for directional counting. We show how the logic of protein production and degradation constrains the computation we set out to implement. We argue that this process by which an abstract computation is shaped by its biochemical realization strikes a compromise between "rationalistic" information-processing perspectives and alternative approaches that emphasize embodiment.


title: Efficient entanglement purification protocols for d-level systems

abstract: We introduce entanglement purification protocols for d-level systems (qudits) with improved efficiency as compared to previous protocols. While we focus on protocols for bipartite systems, we also propose generalizations to multi-partite qudit systems. The schemes we introduce include recurrence protocols that operate on two copies, as well as hashing protocols that operate on large ensembles. We analyze properties of the protocols with respect to minimal required fidelity and yield, and study their performance in the presence of noise and imperfections. We determine error thresholds and study the dependence on local dimension. We find that our schemes do not only outperform previous approaches, but also show an improved robustness and better efficiency with increasing dimension. While error thresholds for different system sizes are not directly comparable, our results nevertheless suggest that quantum information processing using qudits, in particular for long-distance quantum communication, may offer an advantage over approaches based on qubit systems.


title: FACT: Fast closed testing for exchangeable local tests

abstract: Multiple hypothesis testing problems arise naturally in science. In this paper, we introduce the new Fast Closed Testing (FACT) method for multiple testing, controlling the family-wise error rate. This error rate is state of the art in many important application areas, and is preferred to false discovery rate control for many reasons, including that it leads to stronger reproducibility. The closure principle rejects an individual hypothesis if all global nulls of subsets containing it are rejected using some test statistics. It takes exponential time in the worst case. When the tests are symmetric and monotone, our method is an exact algorithm for computing the closure, quadratic in the number of tests, and linear in the number of discoveries. Our framework generalizes most examples of closed testing such as Holm's and the Bonferroni method. As a special case of our method, we propose the Simes-higher criticism fusion test, which is powerful for detecting both a few strong signals, and also many moderate signals.


title: Clustering Complex Zeros of Triangular Systems of Polynomials

abstract: This paper gives the first algorithm for finding a set of natural $\epsilon$-clusters of complex zeros of a triangular system of polynomials within a given polybox in $\mathbb{C}^n$, for any given $\epsilon>0$. Our algorithm is based on a recent near-optimal algorithm of Becker et al (2016) for clustering the complex roots of a univariate polynomial where the coefficients are represented by number oracles. Our algorithm is numeric, certified and based on subdivision. We implemented it and compared it with two well-known homotopy solvers on various triangular systems. Our solver always gives correct answers, is often faster than the homotopy solver that often gives correct answers, and sometimes faster than the one that gives sometimes correct results.


title: Disentangling Dark Physics with Cosmic Microwave Background Experiments

abstract: We forecast constraints on dark matter (DM) scattering with baryons in the early Universe with upcoming and future cosmic microwave background (CMB) experiments, for DM particle masses down to 15 keV. In terms of the upper limit on the interaction cross section for a velocity-independent spin-independent elastic scattering, compared to current Planck results, we find a factor of $\sim$6 improvement with CMB-Stage 3, a factor of $\sim$26 with CMB-Stage 4, and a factor of $\sim$200 with a cosmic-variance limited experiment. Once the instrumental noise reaches the proximity of 1 $\mu$K-arcmin, the constraints are entirely driven by the lensing measurements. The constraints benefit from a wide survey, and show gradual improvement for instrumental noise levels from 10 $\mu$K-arcmin to 1 $\mu$K-arcmin and resolution from 5 arcmin to 1 arcmin. We further study degeneracies between DM interactions and various other signatures of new physics targeted by the CMB experiments. In the primary temperature and polarization only, we find moderate degeneracy between the effects of DM scattering, signals from massive neutrinos, and from the effective number of relativistic degrees of freedom. The degeneracy is almost entirely broken once the lensing convergence spectrum is included into the analyses. We discuss the implications of our findings in context of planned and upcoming CMB measurements and other cosmological probes of dark-sector and neutrino physics.


title: Modular meta-learning

abstract: Many prediction problems, such as those that arise in the context of robotics, have a simplifying underlying structure that, if known, could accelerate learning. In this paper, we present a strategy for learning a set of neural network modules that can be combined in different ways. We train different modular structures on a set of related tasks and generalize to new tasks by composing the learned modules in new ways. By reusing modules to generalize we achieve combinatorial generalization, akin to the "infinite use of finite means" displayed in language. Finally, we show this improves performance in two robotics-related problems.


title: Impact of the Galactic Disk and Large Magellanic Cloud on the Trajectories of Hypervelocity Stars Ejected from the Galactic Center

abstract: We consider how the gravity of the Galactic disk and the Large Magellanic Cloud (LMC) modifies the radial motions of hypervelocity stars (HVSs) ejected from the Galactic Center. For typical HVSs ejected towards low (high) Galactic latitudes, the disk bends trajectories by up to 30 degrees (3-10 deg). For many lines-of-sight through the Galaxy, the LMC produces similar and sometimes larger deflections. Bound HVSs suffer larger deflections than unbound HVSs. Gravitational focusing by the LMC also generates a factor of two overdensity along the line-of-sight towards the LMC. With large enough samples, observations can detect the non-radial orbits and the overdensity of HVSs towards the LMC. For any Galactic potential model, the Galactic rest-frame tangential velocity provides an excellent way to detect unbound and nearly bound HVSs within 10 kpc of the Sun. Similarly, the rest-frame radial velocity isolates unbound HVSs beyond 10-15 kpc from the Sun. Among samples of unbound HVSs, measurements of the radial and tangential velocity serve to distinguish Galactic Center ejections from other types of high velocity stars.


title: Core and crust contributions in pulsar glitches: constraints from the slow rise of the largest glitch observed in the Crab pulsar

abstract: Pulsar glitches are attributed to the sudden re-coupling of very weakly coupled large scale superfluid components in the neutron star interior. This process leads to rapid exchange of angular momentum and an increase in spin frequency. The transfer of angular momentum is regulated by a dissipative mutual friction, whose strength defines the spin-up timescale of a glitch. Hence, observations of glitch rises can be used to shed light on the dominant microphysical interactions at work in the high density interior of the star. We present a simple analytical model, complemented with more detailed numerical simulations, which produces a fast spin-up followed by a more gradual rise. Such features are observed in some large glitches of the Crab pulsar, including the largest recent glitch of 2017. We also use observations to constrain the mutual friction coefficient of the glitch-driving region for two possible locations: the inner crust and outer core of the star. We find that the features of Crab glitches require smaller values of the mutual friction coefficient than those needed to explain the much faster Vela spin-ups. This suggests a crustal origin for the former but an outer core contribution for the latter.


title: Probing quantum thermalization of a disordered dipolar spin ensemble with discrete time-crystalline order

abstract: We investigate thermalization dynamics of a driven dipolar many-body quantum system through the stability of discrete time crystalline order. Using periodic driving of electronic spin impurities in diamond, we realize different types of interactions between spins and demonstrate experimentally that the interplay of disorder, driving and interactions leads to several qualitatively distinct regimes of thermalization. For short driving periods, the observed dynamics are well described by an effective Hamiltonian which sensitively depends on interaction details. For long driving periods, the system becomes susceptible to energy exchange with the driving field and eventually enters a universal thermalizing regime, where the dynamics can be described by interaction-induced dephasing of individual spins. Our analysis reveals important differences between thermalization of long-range Ising and other dipolar spin models.

categories: quant-ph cond-mat.dis-nn cond-mat.mes-hall cond-mat.stat-mech physics.atom-ph


title: Detection of Alzheimers Disease from MRI using Convolutional Neural Network with Tensorflow

abstract: Nowadays, due to tremendous improvements in high performance computing, it has become easier to train Neural Networks. We intend to take advantage of this situation and apply this technology in solving real world problems. There was a need for automatic diagnosis certain diseases from medical images that could help a doctor and radiologist for further action towards treating the illness. We chose Alzheimer disease for this purpose. Alzheimer disease is the leading cause of dementia and memory loss. Alzheimer disease, it is caused by atrophy of the certain brain regions and by brain cell death. MRI scans reveal this information but atrophy regions are different for different people which makes the diagnosis a little trickier and often gets miss-diagnosed by doctors and radiologists. The Dataset used for this project is provided by OASIS, which contains over 400 subjects 100 of which having mild to severe dementia and is supplemented by MMSE and CDR standards of diagnosis in the same context. Enter CNN, Convolutional Neural Networks are a hybrid of Kernel Convolutions and Neural Networks. Kernel Convolutions is a technique that uses filters to recognize and segment images based on features. Neural Networks consist of neurons which are loosely based on human brains neuron which represents a single classifier and interconnected by weights, have different biases and are activated by some activation functions. By using Convolutional Neural Networks, the problem can be solved with minimal error rate. The technologies we intend to use are libraries like CUDA CuDNN for making use of GPU and its multiple cores-parallel computing to train models while giving us high performance.


title: MMSE Approximation For Sparse Coding Algorithms Using Stochastic Resonance

abstract: Sparse coding refers to the pursuit of the sparsest representation of a signal in a typically overcomplete dictionary. From a Bayesian perspective, sparse coding provides a Maximum a Posteriori (MAP) estimate of the unknown vector under a sparse prior. In this work, we suggest enhancing the performance of sparse coding algorithms by a deliberate and controlled contamination of the input with random noise, a phenomenon known as stochastic resonance. The proposed method adds controlled noise to the input and estimates a sparse representation from the perturbed signal. A set of such solutions is then obtained by projecting the original input signal onto the recovered set of supports. We present two variants of the described method, which differ in their final step. The first is a provably convergent approximation to the Minimum Mean Square Error (MMSE) estimator, relying on the generative model and applying a weighted average over the recovered solutions. The second is a relaxed variant of the former that simply applies an empirical mean. We show that both methods provide a computationally efficient approximation to the MMSE estimator, which is typically intractable to compute. We demonstrate our findings empirically and provide a theoretical analysis of our method under several different cases.


title: Hypoelliptic diffusions with singular drifts

abstract: We establish the well-posedness of stochastic differential equations possessing degenerate diffusions and singular drifts. We prove that SDEs defined on the homogeneous Carnot group, whose hypoelliptic diffusion part is given by the horizontal Brownian motion, admit a unique strong solution for a large class of singular drifts. It considerably generalizes the classical well-posedness results of singular SDEs with non-degenerate diffusions. It also provides an intermediate result between the Cauchy-Lipschitz theorem in ordinary differential equations and the result proved by Krylov and R\"ockner [38], which states the well-posedness of SDEs with the additive noise and singular drifts.


title: Do Political Detachment Users Receive Various Political Information on Social Media?

abstract: In the election, political parties communicate political information to people through social media. The followers receive the information, but can users who are not followers, political detachment users, receive the information? We focus on political detachment users who do not follow any political parties, and tackle the following research question: do political detachment users receive various political information during the election period? The results indicate that the answer is No. We determined that the political detachment users only receive the information of a few political parties.


title: Semantically Enhanced Dynamic Bayesian Network for Detecting Sepsis Mortality Risk in ICU Patients with Infection

abstract: Although timely sepsis diagnosis and prompt interventions in Intensive Care Unit (ICU) patients are associated with reduced mortality, early clinical recognition is frequently impeded by non-specific signs of infection and failure to detect signs of sepsis-induced organ dysfunction in a constellation of dynamically changing physiological data. The goal of this work is to identify patient at risk of life-threatening sepsis utilizing a data-centered and machine learning-driven approach. We derive a mortality risk predictive dynamic Bayesian network (DBN) guided by a customized sepsis knowledgebase and compare the predictive accuracy of the derived DBN with the Sepsis-related Organ Failure Assessment (SOFA) score, the Quick SOFA (qSOFA) score, the Simplified Acute Physiological Score (SAPS-II) and the Modified Early Warning Score (MEWS) tools. A customized sepsis ontology was used to derive the DBN node structure and semantically characterize temporal features derived from both structured physiological data and unstructured clinical notes. We assessed the performance in predicting mortality risk of the DBN predictive model and compared performance to other models using Receiver Operating Characteristic (ROC) curves, area under curve (AUROC), calibration curves, and risk distributions. The derived dataset consists of 24,506 ICU stays from 19,623 patients with evidence of suspected infection, with 2,829 patients deceased at discharge. The DBN AUROC was found to be 0.91, which outperformed the SOFA (0.843), qSOFA (0.66), MEWS (0.73), and SAPS-II (0.77) scoring tools. Continuous Net Reclassification Index and Integrated Discrimination Improvement analysis supported the superiority DBN. Compared with conventional rule-based risk scoring tools, the sepsis knowledgebase-driven DBN algorithm offers improved performance for predicting mortality of infected patients in ICUs.


title: Learning a Compressed Sensing Measurement Matrix via Gradient Unrolling

abstract: Linear encoding of sparse vectors is widely popular, but is commonly data-independent -- missing any possible extra (but a priori unknown) structure beyond sparsity. In this paper we present a new method to learn linear encoders that adapt to data, while still performing well with the widely used $\ell_1$ decoder. The convex $\ell_1$ decoder prevents gradient propagation as needed in standard gradient-based training. Our method is based on the insight that unrolling the convex decoder into $T$ projected subgradient steps can address this issue. Our method can be seen as a data-driven way to learn a compressed sensing measurement matrix. We compare the empirical performance of 10 algorithms over 6 sparse datasets (3 synthetic and 3 real). Our experiments show that there is indeed additional structure beyond sparsity in the real datasets; our method is able to discover it and exploit it to create excellent reconstructions with fewer measurements (by a factor of 1.1-3x) compared to the previous state-of-the-art methods. We illustrate an application of our method in learning label embeddings for extreme multi-label classification, and empirically show that our method is able to match or outperform the precision scores of SLEEC, which is one of the state-of-the-art embedding-based approaches.


title: Practical Access to Dynamic Programming on Tree Decompositions

abstract: Parameterized complexity theory has lead to a wide range of algorithmic breakthroughs within the last decades, but the practicability of these methods for real-world problems is still not well understood. We investigate the practicability of one of the fundamental approaches of this field: dynamic programming on tree decompositions. Indisputably, this is a key technique in parameterized algorithms and modern algorithm design. Despite the enormous impact of this approach in theory, it still has very little influence on practical implementations. The reasons for this phenomenon are manifold. One of them is the simple fact that such an implementation requires a long chain of non-trivial tasks (as computing the decomposition, preparing it,...). We provide an easy way to implement such dynamic programs that only requires the definition of the update rules. With this interface, dynamic programs for various problems, such as 3-coloring, can be implemented easily in about 100 lines of structured Java code. The theoretical foundation of the success of dynamic programming on tree decompositions is well understood due to Courcelle's celebrated theorem, which states that every MSO-definable problem can be efficiently solved if a tree decomposition of small width is given. We seek to provide practical access to this theorem as well, by presenting a lightweight model-checker for a small fragment of MSO. This fragment is powerful enough to describe many natural problems, and our model-checker turns out to be very competitive against similar state-of-the-art tools.


title: Compact complement topologies and k-spaces

abstract: Let $(X,\tau)$ be a Hausdorff space, where $X$ is an infinite set. The compact complement topology $\tau^{\star}$ on $X$ is defined by: $\tau^{\star}=\{\emptyset\} \cup \{X\setminus M, \text{where $M$ is compact in $(X,\tau)$}\}$. In this paper, properties of the space $(X, \tau^{\star})$ are studied in $\mathbf{ZF}$ and applied to a characterization of $k$-spaces, to the Sorgenfrey line, to some statements independent of $\mathbf{ZF}$, as well as to partial topologies that are among Delfs-Knebusch generalized topologies. Among other results, it is proved that the axiom of countable multiple choice (\textbf{CMC}) is equivalent with each of the following two sentences: (i) every Hausdorff first countable space is a $k$-space, (ii) every metrizable space is a $k$-space. A \textbf{ZF}-example of a countable metrizable space whose compact complement topology is not first countable is given.


title: Spectral curves of the hyperelliptic Hitchin systems

abstract: A description of the class of spectral curves, and explicit formulas for algebraic-geometric action-angle coordinates are obtained for the Hitchin systems on hyperelliptic curves, for any complex simple Lie algebra of the types $A_l$, $B_l$, $C_l$.


title: Multi-Merge Budget Maintenance for Stochastic Gradient Descent SVM Training

abstract: Budgeted Stochastic Gradient Descent (BSGD) is a state-of-the-art technique for training large-scale kernelized support vector machines. The budget constraint is maintained incrementally by merging two points whenever the pre-defined budget is exceeded. The process of finding suitable merge partners is costly; it can account for up to 45% of the total training time. In this paper we investigate computationally more efficient schemes that merge more than two points at once. We obtain significant speed-ups without sacrificing accuracy.


title: Speeding Up Budgeted Stochastic Gradient Descent SVM Training with Precomputed Golden Section Search

abstract: Limiting the model size of a kernel support vector machine to a pre-defined budget is a well-established technique that allows to scale SVM learning and prediction to large-scale data. Its core addition to simple stochastic gradient training is budget maintenance through merging of support vectors. This requires solving an inner optimization problem with an iterative method many times per gradient step. In this paper we replace the iterative procedure with a fast lookup. We manage to reduce the merging time by up to 65% and the total training time by 44% without any loss of accuracy.


title: Unsupervised Learning by Competing Hidden Units

abstract: It is widely believed that the backpropagation algorithm is essential for learning good feature detectors in early layers of artificial neural networks, so that these detectors are useful for the task performed by the higher layers of that neural network. At the same time, the traditional form of backpropagation is biologically implausible. In the present paper we propose an unusual learning rule, which has a degree of biological plausibility, and which is motivated by Hebb's idea that change of the synapse strength should be local - i.e. should depend only on the activities of the pre and post synaptic neurons. We design a learning algorithm that utilizes global inhibition in the hidden layer, and is capable of learning early feature detectors in a completely unsupervised way. These learned lower layer feature detectors can be used to train higher layer weights in a usual supervised way so that the performance of the full network is comparable to the performance of standard feedforward networks trained end-to-end with a backpropagation algorithm.


title: Dual SVM Training on a Budget

abstract: We present a dual subspace ascent algorithm for support vector machine training that respects a budget constraint limiting the number of support vectors. Budget methods are effective for reducing the training time of kernel SVM while retaining high accuracy. To date, budget training is available only for primal (SGD-based) solvers. Dual subspace ascent methods like sequential minimal optimization are attractive for their good adaptation to the problem structure, their fast convergence rate, and their practical speed. By incorporating a budget constraint into a dual algorithm, our method enjoys the best of both worlds. We demonstrate considerable speed-ups over primal budget training methods.


title: Generalized Reversible Computing

abstract: Landauer's Principle that information loss from a computation implies entropy increase can be rigorously proved from mathematical physics. However, carefully examining its detailed formulation reveals that the traditional identification of logically reversible computational operations with bijective transformations of the full digital state space is actually not the correct logical-level characterization of the full set of classical computational operations that can be carried out physically with asymptotically zero energy dissipation. To find the correct logical conditions for physical reversibility, we must account for initial-state probabilities when applying the Principle. The minimal logical-level requirement for the physical reversibility of deterministic computational operations is that the subset of initial states that exhibit nonzero probability in a given statistical operating context must be transformed one-to-one into final states. Thus, any computational operation is conditionally reversible relative to any sufficiently-restrictive precondition on its initial state, and the minimum dissipation required for any deterministic operation by Landauer's Principle asymptotically approaches 0 when the probability of meeting any preselected one of its suitable preconditions approaches 1. This realization facilitates simpler designs for asymptotically thermodynamically reversible computational hardware, compared to designs that are restricted to using only fully-bijective operations such as Toffoli type operations. Thus, this more general framework for reversible computing provides a more effective theoretical foundation to use for the design of practical reversible computers than does the more restrictive traditional model of reversible logic. In this paper, we formally develop the theoretical foundations of the generalized model, and briefly survey some of its applications.


title: Geometrical Properties of the Mean-Median Map

abstract: We study the mean-median map as a dynamical system on the space of finite sets of piecewise-affine continuous functions with rational coefficients. We determine the structure of the limit function in the neighbourhood of a distinctive family of rational points, the local minima. By constructing a simpler map which represents the dynamics in such neighbourhoods, we extend the results of Cellarosi and Munday (arXiv:1408.3454v1 [math.CO]) by two orders of magnitude. Based on these computations, we conjecture that the Hausdorff dimension of the graph of the limit function of the set $[0,x,1]$ is greater than 1.


title: How to Assess the Impact of Quality and Patient Safety Interventions with Routinely Collected Longitudinal Data

abstract: Measuring the effect of patient safety improvement efforts is needed to determine their value but is difficult due to the inherent complexities of hospital operations. In this paper, we show by case study how interrupted time series design can be used to isolate and measure the impact of interventions while accounting for confounders often present in complex health delivery systems. We searched for time-stamped data from electronic medical records and operating room information systems associated with perioperative patient flow in a large, urban, academic hospital in Baltimore, Maryland. We limited the searched to those adult cases performed between January 2015 and March 2017. We used segmented regression and Box-Jenkins methods to measure the effect of perioperative throughput improvement efforts and account for the loss of high volume surgeons, surgical volume, and occupancy. We identified a significant decline of operating room exit delays of about 50%, achieved in 6 months and sustained over 14 months. By longitudinal assessment of intervention effects, rather than cross-sectional comparison, our measurement tool estimated and provided inferences of change-points over time while taking into account the magnitude of other latent systems factors.


title: A Zynq-based flexible ADC architecture combining real-time data streaming and transient recording

abstract: The RFX-mod2 Nuclear Fusion experiment is an upgrade of RFX-mod, shutdown in 2016. Among the other improvements in the machine structure and diagnostics, a larger number of electromagnetic probes (EMs) is foreseen to provide more information about plasma instabilities and to allow an improved real-time plasma control. An Analog to Digital Converter (ADC) architecture able to provide at the same time both transient recording and real-time streaming, as well as FPGA-based time integration of the inputs is foreseen in RFX-mod2. Transient recording provides full speed data acquisition (up to 1 MSample/s) by recording data in local memory and reading memory content after the plasma discharge. Real-time streaming of sub-sampled data is required for active control. The chosen technology is based on the XILINX Zynq architecture that provides in the same chip a multi-core ARM processor tightly coupled to a FPGA. Time critical functions are carried out by the FPGA, such as the management of the circular data buffer, low pass filtering for subsampling of the samples to be streamed and digital integration. Other functions are carried out by the processor, such as the management of the configuration setting, received via TCP/IP or HTTP, the data readout of acquired samples in transient recording buffers and network data streaming of data collected for active real-time plasma control.


title: A Domain Decomposition Approach for Local Mesh Refinement in Space and Time

abstract: We present an adaptive space-time mesh refinement approach based a domain decomposition approach (Singh and Wheeler, 2018) that allows different time-step sizes and mesh refinements in different subdomains. Our numerical experiments indicate that non-linear solvers fail to converge, to the desired tolerance, due to large non-linear residuals in a smaller subdomain. We exploit this feature to identify subdomains where smaller time-step sizes are necessary while using large time-step sizes in the rest of the reservoir domain. The three key components of our approach are: (1) a space-time, enhanced velocity, domain decomposition approach that allows different mesh refinements and time-step sizes in different subdomains while preserving local mass conservation, (2) a residual based error estimator to identify or mark regions (or subdomains) that pose non-linear convergence issues, and (3) a fully coupled monolithic solver is also presented that solves the coarse and fine subdomain problems, both in space and time, simultaneously. This solution scheme is fully implicit and is therefore unconditionally stable. The proposed space-time domain decomposition approach, with smaller time-step sizes in a subdomain and large time-step sizes everywhere else, circumvents the non-linear convergence issue without adding computational costs. Additionally, a space-time monolithic solver renders a massively parallel, time concurrent framework for solving flow and transport problems in subsurface porous media. Since the proposed approach is similar to the widely used finite difference scheme, it can be easily integrated in any existing legacy reservoir simulator.


title: A Tight Convergence Analysis for Stochastic Gradient Descent with Delayed Updates

abstract: We provide tight finite-time convergence bounds for gradient descent and stochastic gradient descent on quadratic functions, when the gradients are delayed and reflect iterates from $\tau$ rounds ago. First, we show that without stochastic noise, delays strongly affect the attainable optimization error: In fact, the error can be as bad as non-delayed gradient descent ran on only $1/\tau$ of the gradients. In sharp contrast, we quantify how stochastic noise makes the effect of delays negligible, improving on previous work which only showed this phenomenon asymptotically or for much smaller delays. Also, in the context of distributed optimization, the results indicate that the performance of gradient descent with delays is competitive with synchronous approaches such as mini-batching. Our results are based on a novel technique for analyzing convergence of optimization algorithms using generating functions.


title: Thermanator: Thermal Residue-Based Post Factum Attacks On Keyboard Password Entry

abstract: As a warm-blooded mammalian species, we humans routinely leave thermal residues on various objects with which we come in contact. This includes common input devices, such as keyboards, that are used for entering (among other things) secret information, such as passwords and PINs. Although thermal residue dissipates over time, there is always a certain time window during which thermal energy readings can be harvested from input devices to recover recently entered, and potentially sensitive, information. To-date, there has been no systematic investigation of thermal profiles of keyboards, and thus no efforts have been made to secure them. This serves as our main motivation for constructing a means for password harvesting from keyboard thermal emanations. Specifically, we introduce Thermanator, a new post factum insider attack based on heat transfer caused by a user typing a password on a typical external keyboard. We conduct and describe a user study that collected thermal residues from 30 users entering 10 unique passwords (both weak and strong) on 4 popular commodity keyboards. Results show that entire sets of key-presses can be recovered by non-expert users as late as 30 seconds after initial password entry, while partial sets can be recovered as late as 1 minute after entry. Furthermore, we find that Hunt-and-Peck typists are particularly vulnerable. We also discuss some Thermanator mitigation strategies. The main take-away of this work is three-fold: (1) using external keyboards to enter (already much-maligned) passwords is even less secure than previously recognized, (2) post factum (planned or impromptu) thermal imaging attacks are realistic, and finally (3) perhaps it is time to either stop using keyboards for password entry, or abandon passwords altogether.


title: Diffraction effects in mechanically chopped laser pulses

abstract: A mechanical beam chopper consists of a rotating disc of regularly spaced wide slits which allow light to pass through them. A continuous light beam, after passing through the rotating disc, is switched-on and switched-off periodically, and a series of optical pulses are produced. The intensity of each pulse is expected to rise and fall smoothly with time. However, a careful study has revealed that the edges of mechanically chopped laser light pulses consist of periodic intensity undulations which can be detected with a photo detector. It has been shown in this paper that the intensity undulations in mechanically chopped laser pulses are produced by diffraction of light from the rotating disc and a detailed explanation of the intensity undulations is given. The experiment provides an efficient method to capture a one dimensional diffraction profile of light from a straight sharp-edge in the time domain. In addition, the experiment accurately measured wavelengths of three different laser beams from the undulations in mechanically chopped laser light pulses.


title: Weighted Extended B-Spline Finite Element Analysis of a coupled system of general Elliptic equations

abstract: In this study we establish the existence and uniqueness of the solution of a coupled system of general elliptic equations with anisotropic diffusion , non-uniform advection and variably influencing reaction terms on Lipschitz continuous domain $\Omega \subset \mathbb{R}^m $ (m$\geq$1) with a Dirichlet boundary. Later we consider the finite element (FE) approximation of the coupled equations in a meshless framework based on weighted extended B-Spine functions (WEBS).The a priori error estimates corresponding to the finite element analysis are derived to establish the convergence of the corresponding FE scheme and the numerical methodology has been tested on few examples.


title: A low power DAQ system with high-speed storage for submersible buoy

abstract: Submersible Buoy (SB) is an important apparatus capable of long-term, fixed-point, continuous and multi-directional measurement of acoustic signals and hydrological environment monitoring in the harsh marine environment, providing important information for hydrological environment research, marine organism research and protection. We will describe a real-time data acquisition (DAQ) system with multiple designs to meet low-power consumption and high-speed data transmission.


title: Development of MicroTCA.4 based remote DAQ system for KSTAR

abstract: To standardize and simplify the control system at Korea Superconducting Tokamak Advanced Research (KSTAR), we develop 10G Ethernet based remote DAQ system. By separating the DAQ system and the host, the structure of the control system can be made more flexible. We have developed a DAQ module with a 10G Ethernet interface based on a MicroTCA.4 system designed to control devices in real time on a remote server via 10GE. To connect proposed device and host, we use real time network based on UDP multicast atop 10GbE cut-through packet switching infrastructure. This system is implemented using Zynq based MicroTCA.4 board, matched RTM board that has analogue input/output interface and power supply system. By using remote DAQ system, multiple host server can subscribe the DAQ data without additional computational cost in real time. This system will be applied to control fueling system at KSTAR Tokamak.