title: Predicted disease compositions of human gliomas estimated from multiparametric MRI can predict endothelial proliferation, tumor grade, and overall survival

abstract: Background and Purpose: Biopsy is the main determinants of glioma clinical management, but require invasive sampling that fail to detect relevant features because of tumor heterogeneity. The purpose of this study was to evaluate the accuracy of a voxel-wise, multiparametric MRI radiomic method to predict features and develop a minimally invasive method to objectively assess neoplasms. Methods: Multiparametric MRI were registered to T1-weighted gadolinium contrast-enhanced data using a 12 degree-of-freedom affine model. The retrospectively collected MRI data included T1-weighted, T1-weighted gadolinium contrast-enhanced, T2-weighted, fluid attenuated inversion recovery, and multi-b-value diffusion-weighted acquired at 1.5T or 3.0T. Clinical experts provided voxel-wise annotations for five disease states on a subset of patients to establish a training feature vector of 611,930 observations. Then, a k-nearest-neighbor (k-NN) classifier was trained using a 25% hold-out design. The trained k-NN model was applied to 13,018,171 observations from seventeen histologically confirmed glioma patients. Linear regression tested overall survival (OS) relationship to predicted disease compositions (PDC) and diagnostic age (alpha = 0.05). Canonical discriminant analysis tested if PDC and diagnostic age could differentiate clinical, genetic, and microscopic factors (alpha = 0.05). Results: The model predicted voxel annotation class with a Dice similarity coefficient of 94.34% +/- 2.98. Linear combinations of PDCs and diagnostic age predicted OS (p = 0.008), grade (p = 0.014), and endothelia proliferation (p = 0.003); but fell short predicting gene mutations for TP53BP1 and IDH1. Conclusions: This voxel-wise, multi-parametric MRI radiomic strategy holds potential as a non-invasive decision-making aid for clinicians managing patients with glioma.

categories: q-bio.QM cs.LG eess.IV physics.med-ph stat.AP stat.ML


title: Semantic interoperability and characterization of data provenance in computational molecular engineering

abstract: By introducing a common representational system for metadata that describe the employed simulation workflows, diverse sources of data and platforms in computational molecular engineering, such as workflow management systems, can become interoperable at the semantic level. To achieve semantic interoperability, the present work introduces two ontologies that provide a formal specification of the entities occurring in a simulation workflow and the relations between them: The software ontology VISO is developed to represent software packages and their features, and OSMO, an ontology for simulation, modelling, and optimization, is introduced on the basis of MODA, a previously developed semi-intuitive graph notation for workflows in materials modelling. As a proof of concept, OSMO is employed to describe a use case of the TaLPas workflow management system, a scheduler and workflow optimizer for particle-based simulations.


title: Gravitational Potential from small-scale clustering in action space: Application to Gaia DR2

abstract: Most measurements of mass in Astronomy that use kinematics of stars or gas rely on assumptions of equilibrium that are often hard to verify. Instead, we develop a novel idea that uses the clustering in action space, as a probe of underlying gravitational potential: the correct potential should maximize small-scale clustering in the action space. We provide a first-principle derivation of likelihood using the two-point correlation function in action space, and test it against simulations of stellar streams. We then apply this method to the 2nd data release of Gaia, and use it to measure the radial force fraction $f_h$ and logarithmic slope $\alpha$ of dark matter halo profile. We investigate stars within 9-11 kpc and 11.5-15 kpc from Galactic centre, and find $(f_h,\alpha)= (0.391\pm 0.009, 1.835\pm 0.092) $ and $(0.351\pm 0.012,1.687\pm 0.079)$, respectively. We also confirm that the set of parameters that maximize the likelihood function do correspond to the most clustering in the action space. The best-fit circular velocity curve for Milky Way potential is consistent with past measurements (although it is $\sim$ 5-10\% lower than previous methods that use masers or globular clusters). Our work provides a clear demonstration of the full statistical power that lies in the full phase space information, relieving the need for {\it ad hoc} assumptions such as virial equilibrium, circular motion, or steam-finding algorithms.


title: DNNSurv: Deep Neural Networks for Survival Analysis Using Pseudo Values

abstract: There has been increasing interest in modelling survival data using deep learning methods in medical research. Current approaches have focused on designing special cost functions to handle censored survival data. We propose a very different method with two steps. In the first step, we transform each subject's survival time into a series of jackknife pseudo conditional survival probabilities and then use these pseudo probabilities as a quantitative response variable in the deep neural network model. By using the pseudo values, we reduce a complex survival analysis to a standard regression problem, which greatly simplifies the neural network construction. Our two-step approach is simple, yet very flexible in making risk predictions for survival data, which is very appealing from the practice point of view. The source code is freely available at http://github.com/lilizhaoUM/DNNSurv.


title: Modelling Segmented Cardiotocography Time-Series Signals Using One-Dimensional Convolutional Neural Networks for the Early Detection of Abnormal Birth Outcomes

abstract: Gynaecologists and obstetricians visually interpret cardiotocography (CTG) traces using the International Federation of Gynaecology and Obstetrics (FIGO) guidelines to assess the wellbeing of the foetus during antenatal care. This approach has raised concerns among professionals with regards to inter- and intra-variability where clinical diagnosis only has a 30\% positive predictive value when classifying pathological outcomes. Machine learning models, trained with FIGO and other user derived features extracted from CTG traces, have been shown to increase positive predictive capacity and minimise variability. This is only possible however when class distributions are equal which is rarely the case in clinical trials where case-control observations are heavily skewed in favour of normal outcomes. Classes can be balanced using either synthetic data derived from resampled case training data or by decreasing the number of control instances. However, this either introduces bias or removes valuable information. Concerns have also been raised regarding machine learning studies and their reliance on manually handcrafted features. While this has led to some interesting results, deriving an optimal set of features is considered to be an art as well as a science and is often an empirical and time consuming process. In this paper, we address both of these issues and propose a novel CTG analysis methodology that a) splits CTG time-series signals into n-size windows with equal class distributions, and b) automatically extracts features from time-series windows using a one dimensional convolutional neural network (1DCNN) and multilayer perceptron (MLP) ensemble. Collectively, the proposed approach normally distributes classes and removes the need to handcrafted features from CTG traces.


title: The in-situ exploration of Jupiter's radiation belts (A White Paper submitted in response to ESA's Voyage 2050 Call)

abstract: Jupiter has the most energetic and complex radiation belts in our solar system. Their hazardous environment is the reason why so many spacecraft avoid rather than investigate them, and explains how they have kept many of their secrets so well hidden, despite having been studied for decades. In this White Paper we argue why these secrets are worth unveiling. Jupiter's radiation belts and the vast magnetosphere that encloses them constitute an unprecedented physical laboratory, suitable for both interdisciplinary and novel scientific investigations: from studying fundamental high energy plasma physics processes which operate throughout the universe, such as adiabatic charged particle acceleration and nonlinear wave-particle interactions; to exploiting the astrobiological consequences of energetic particle radiation. The in-situ exploration of the uninviting environment of Jupiter's radiation belts present us with many challenges in mission design, science planning, instrumentation and technology development. We address these challenges by reviewing the different options that exist for direct and indirect observation of this unique system. We stress the need for new instruments, the value of synergistic Earth and Jupiter-based remote sensing and in-situ investigations, and the vital importance of multi-spacecraft, in-situ measurements. While simultaneous, multi-point in-situ observations have long become the standard for exploring electromagnetic interactions in the inner solar system, they have never taken place at Jupiter or any strongly magnetized planet besides Earth. We conclude that a dedicated multi-spacecraft mission to Jupiter's radiation belts is an essential and obvious way forward and deserves to be given a high priority in ESA's Voyage 2050 programme.


title: Recovering the cosmological constant from affine geometry

abstract: A gravity theory without masses can be constructed in Minkowski spaces using a geometric Minkowski potential. The related affine spacelike spheres can be seen as the regions of the Minkowski spacelike vectors characterized by a constant Minkowski gravitational potential. These spheres point out, for each dimension $n \geq 3$, spacetime models, the de Sitter ones, which satisfy Einstein's field equations in absence of matter. In other words, it is possible to generate geometrically the cosmological constant. Even if a lot of possible parameterizations have been proposed, each one highlighting some geometric and physical properties of the de Sitter space, we present here a new natural parameterization which reveals the intrinsic geometric nature of cosmological constant relating it with the invariant affine radius coming from the so called Minkowski-Tzitzeica surfaces theory.


title: Single Point Transductive Prediction

abstract: Standard methods in supervised learning separate training and prediction: the model is fit independently of any test points it may encounter. However, can knowledge of the next test point $\mathbf{x}_{\star}$ be exploited to improve prediction accuracy? We address this question in the context of linear prediction, showing how techniques from semi-parametric inference can be used transductively to combat regularization bias. We first lower bound the $\mathbf{x}_{\star}$ prediction error of ridge regression and the Lasso, showing that they must incur significant bias in certain test directions. We then provide non-asymptotic upper bounds on the $\mathbf{x}_{\star}$ prediction error of two transductive prediction rules. We conclude by showing the efficacy of our methods on both synthetic and real data, highlighting the improvements single point transductive prediction can provide in settings with distribution shift.


title: Quantum dynamics of single-photon detection using functionalized quantum transport electronic channels

abstract: Single photon detectors have historically consisted of macroscopic-sized materials but recent experimental and theoretical progress suggests new approaches based on nanoscale and molecular electronics. Here we present a theoretical study of photodetection in a system composed of a quantum electronic transport channel functionalized by a photon absorber. Notably, the photon field, absorption process, transduction mechanism, and measurement process are all treated as part of one fully-coupled quantum system, with explicit interactions. Using non-equilibrium, time-dependent quantum transport simulations, we reveal the unique temporal signatures of the single photon detection process, and show that the system can be described using optical Bloch equations, with a new non-linearity as a consequence of time-dependent detuning caused by the backaction from the transport channel via the dynamical Stark effect. We compute the photodetector signal-to-noise ratio and demonstrate that single photon detection at high count rate is possible for realistic parameters by exploiting a novel non-equilibrium control of backaction.


title: Unconventional Josephson junctions with topological Kondo insulator weak links

abstract: Proximity-induced superconductivity in three dimensional (3D) topological insulators forms a new quantum phase of matter and accommodates exotic quasiparticles such as Majorana bound states. One of the biggest drawbacks of the commonly studied 3D topological insulators is the presence of conducting bulk that obscures both surface states and low energy bound states. Introducing superconductivity in topological Kondo insulators such as SmB$_6$, however, is promising due to their true insulating bulk at low temperatures. In this work, we develop an unconventional Josephson junction by coupling superconducting Nb leads to the surface states of a SmB$_6$ crystal. We observe a robust critical current at low temperatures that responds to the application of an out-of-plane magnetic field with significant deviations from usual Fraunhofer patterns. The appearance of Shaphiro steps under microwave radiation gives further evidence of a Josephson effect. Moreover, we explore the effects of Kondo breakdown in our devices, such as ferromagnetism at the surface and anomalous temperature dependence of supercurrent. Particularly, the magnetic diffraction patterns show an anomalous hysteresis with the field sweep direction suggesting the coexistence of magnetism with superconductivity at the SmB$_6$ surface. The experimental work will advance the current understanding of topologically nontrivial superconductors and emergent states associated with such unconventional superconducting phases.


title: Statistical modeling of groundwater quality assessment in Iran using a flexible Poisson likelihood

abstract: Assessing water quality and recognizing its associated risks to human health and the broader environment is undoubtedly essential. Groundwater is widely used to supply water for drinking, industry, and agriculture purposes. The groundwater quality measurements vary for different climates and various human behaviors, and consequently, their spatial variability can be substantial. In this paper, we aim to analyze a groundwater dataset from the Golestan province, Iran, for November 2003 to November 2013. Our target response variable to monitor the quality of groundwater is the number of counts that the quality of water is good for a drink. Hence, we are facing spatial count data. Due to the ubiquity of over or underdispersion in count data, we propose a Bayesian hierarchical modeling approach based on the renewal theory that relates nonexponential waiting times between events and the distribution of the counts, relaxing the assumption of equidispersion at the cost of an additional parameter. Particularly, we extend the methodology for the analysis of spatial count data based on the gamma distribution assumption for waiting times. The model can be formulated as a latent Gaussian model, and therefore, we can carry out the fast computation by using the integrated nested Laplace approximation method. The analysis of the groundwater dataset and a simulation study show a significant improvement over both Poisson and negative binomial models.


title: Emission of plasmons by drifting Dirac electrons: where hydrodynamics matters

abstract: Direct current in clean semiconductors and metals was recently shown to obey the laws of hydrodynamics in a broad range of temperatures and sample dimensions. However, the determination of frequency window for hydrodynamic phenomena remains challenging. Here, we reveal a phenomenon being a hallmark of high-frequency hydrodynamic transport, the Cerenkov emission of plasmons by drifting Dirac electrons. The effect appears in hydrodynamic regime only due to reduction of plasmon velocity by electron-electron collisions below the velocity of carrier drift. To characterize the Cerenkov effect quantitatively, we analytically find the high-frequency non-local conductivity of drifting Dirac electrons across the hydrodynamic-to-ballistic crossover. We find the growth rates of hydrodynamic plasmon instabilities in two experimentally relevant setups: parallel graphene layers and graphene covered by subwavelength grating, further showing their absence in ballistic regime. We argue that the possibility of Cerenkov emission is linked to singular structure of non-local conductivity of Dirac materials and is independent on specific dielectric environment.


title: Review of opportunities at the HESR-Collider with PANDA at FAIR

abstract: Exciting new scientific opportunities are presented for the PANDA detector at the High Energy Storage Ring in the redefined $\overline{\text{p}} \text{p}(A)$ collider mode, HESR-C, at the Facility for Antiproton and Ion Research (FAIR) in Europe. The high luminosity, $L \sim 10^{31}$ cm$^{-2}$ s$^{-1}$, and a wide range of intermediate and high energies, $\sqrt{s_{\text{NN}}}$ up to 30 GeV for $\overline{\text{p}} \text{p}(A)$ collisions will allow to explore a wide range of exciting topics in QCD, including the study of the production of excited open charm and bottom states, nuclear bound states containing heavy (anti)quarks, the interplay of hard and soft physics in the dilepton production, probing short-range correlations in nuclei, and the exploration of the early, complete $\overline{\text{p}}$-p-annihilation phase, where an intially pure Yang-Mills gluon plasma is formed.


title: Tail Option Pricing Under Power Laws

abstract: We build a methodology that takes a given option price in the tails with strike $K$ and extends (for calls, all strikes > $K$, for puts all strikes $< K$) assuming the continuation falls into what we define as "Karamata Constant" over which the strong Pareto law holds. The heuristic produces relative prices for options, with for sole parameter the tail index $\alpha$, under some mild arbitrage constraints. Usual restrictions such as finiteness of variance are not required. The methodology allows us to scrutinize the volatility surface and test various theories of relative tail option overpricing (usually built on thin tailed models and minor modifications/fudging of the Black-Scholes formula).


title: Ramsey and Gallai-Ramsey numbers for stars with extra independent edges

abstract: Given a graph $G$ and a positive integer $k$, define the \emph{Gallai-Ramsey number} to be the minimum number of vertices $n$ such that any $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. In this paper, we obtain general upper and lower bounds on the Gallai-Ramsey numbers for the graph $G = S_t^{r}$ obtained from a star of order $t$ by adding $r$ extra independent edges between leaves of the star so there are $r$ triangles and $t - 2r - 1$ pendent edges in $S_t^{r}$. We also prove some sharp results when $t = 2$.


title: The Poincare lemma, antiexact forms, and fermionic quantum harmonic oscillator

abstract: The paper focuses on various properties and applications of the homotopy operator, which occurs in the Poincar\'{e} lemma. In the first part, an abstract operator calculus is constructed, where the exterior derivative is an abstract derivative and the homotopy operator plays the role of an abstract integral. This operator calculus can be used to formulate abstract differential equations. An example of the eigenvalue problem that resembles the fermionic quantum harmonic oscillator is presented. The second part presents the dual complex to the Dolbeault bicomplex generated by the homotopy operator on complex manifolds.


title: Merger and Mass Ejection of Neutron-Star Binaries

abstract: Mergers of binary neutron stars and black hole-neutron star binaries are one of the most promising sources for the ground-based gravitational-wave (GW) detectors and also a high-energy astrophysical phenomenon as illustrated by the observations of gravitational waves and electromagnetic (EM) waves in the event of GW170817. Mergers of these neutron-star binaries are also the most promising site for r-process nucleosynthesis. Numerical simulation in full general relativity (numerical relativity) is a unique approach to the theoretical prediction of the merger process, GWs emitted, mass ejection process, and resulting EM emission. We summarize our current understanding for the processes of neutron star mergers and subsequent mass ejection based on the results of the latest numerical-relativity simulations. We emphasize that the predictions of the numerical-relativity simulations agrees broadly with the optical and infrared observations of GW170817.


title: Superfluidity fraction of few bosons in an annular geometry in the presence of a rotating weak link

abstract: We report a beyond mean-field calculation of mass current and superfluidity fraction for a system of few bosons confined in a ring geometry in the presence of a rotating weak link induced by a potential barrier. We apply the Multiconfiguration Hartree Method for bosons to compute the ground state of the system and show the average superfluidity fraction for a wide range of interaction strength and barrier height, highlighting the behavior of density correlation functions. The decrease of superfluidity fraction due to the increase of barrier height is found whereas the condensation fraction depends exclusively on the interaction strength, showing the independence of both phenomena.


title: On Non-Linear Quantum Mechanics and the Measurement Problem IV. Experimental Tests

abstract: I discuss three proposed experiments that could in principle locate the boundary between the classical and quantum worlds, as well as distinguish the Hamiltonian theory presented in the first paper of this series from the spontaneous-collapse theories.


title: Estimating sex and age for forensic applications using machine learning based on facial measurements from frontal cephalometric landmarks

abstract: Facial analysis permits many investigations some of the most important of which are craniofacial identification, facial recognition, and age and sex estimation. In forensics, photo-anthropometry describes the study of facial growth and allows the identification of patterns in facial skull development by using a group of cephalometric landmarks to estimate anthropological information. In several areas, automation of manual procedures has achieved advantages over and similar measurement confidence as a forensic expert. This manuscript presents an approach using photo-anthropometric indexes, generated from frontal faces cephalometric landmarks, to create an artificial neural network classifier that allows the estimation of anthropological information, in this specific case age and sex. The work is focused on four tasks: i) sex estimation over ages from 5 to 22 years old, evaluating the interference of age on sex estimation; ii) age estimation from photo-anthropometric indexes for four age intervals (1 year, 2 years, 4 years and 5 years); iii) age group estimation for thresholds of over 14 and over 18 years old; and; iv) the provision of a new data set, available for academic purposes only, with a large and complete set of facial photo-anthropometric points marked and checked by forensic experts, measured from over 18,000 faces of individuals from Brazil over the last 4 years. The proposed classifier obtained significant results, using this new data set, for the sex estimation of individuals over 14 years old, achieving accuracy values greater than 0.85 by the F_1 measure. For age estimation, the accuracy results are 0.72 for measure with an age interval of 5 years. For the age group estimation, the measures of accuracy are greater than 0.93 and 0.83 for thresholds of 14 and 18 years, respectively.


title: Brightening of Long, Polymer-Wrapped Carbon Nanotubes by sp$^{3}$ Functionalization in Organic Solvents

abstract: The functionalization of semiconducting single-walled carbon nanotubes (SWNTs) with sp$^{3}$ defects that act as luminescent exciton traps is a powerful means to enhance their photoluminescence quantum yield (PLQY) and to add optical properties. However, the synthetic methods employed to introduce these defects are so far limited to aqueous dispersions of surfactant-coated SWNTs, often with short tube lengths, residual metallic nanotubes and poor film formation properties. In contrast to that, dispersions of polymer-wrapped SWNTs in organic solvents feature unrivaled purity, higher PLQY and are easily processed into thin films for device applications. Here, we introduce a simple and scalable phase-transfer method to solubilize diazonium salts in organic nonhalogenated solvents for the controlled reaction with polymer-wrapped SWNTs to create luminescent aryl defects. Absolute PLQY measurements are applied to reliably quantify the defect-induced brightening. The optimization of defect density and trap depth results in PLQYs of up to 4 % with 90 % of photons emitted through the defect channel. We further reveal the strong impact of initial SWNT quality and length on the relative brightening by sp$^{3}$ defects. The efficient and simple production of large quantities of defect-tailored polymer-sorted SWNTs enables aerosol-jet printing and spin-coating of thin films with bright and nearly reabsorption-free defect emission, which are desired for carbon nanotube-based near-infrared light-emitting devices.


title: Effective reconstruction of generic genus 5 curves from their theta hyperplanes

abstract: We effectively reconstruct the set of enveloping quadrics of a generic curve C of genus 5 from its theta hyperplanes; for a generic genus 5 curve C this data suffices to effectively reconstruct C. As a consequence we get a complete description of the Schottky locus in genus 5 in terms of theta hyperplanes. The computational part of the proof is a certified numerical argument.


title: The Mid-InfraRed Exo-planet CLimate Explorer MIRECLE: Exploring the Nearest M-Earths Through Ultra-Stable Mid-IR Transit and Phase-Curve Spectroscopy

abstract: This White Paper presents a mission concept called MIRECLE - the Mid-InfraRed Exoplanet CLimate Explorer. With a moderately sized aperture of 2 meters, broad wavelength coverage (4 - 25 um), and next generation instruments, MIRECLE will be capable of efficiently characterizing a statistically significant sample of terrestrial planets, many of which will be in their host stars's habitable zones. Spectroscopic characterization of terrestrial atmospheres will provide constraints for the distribution of planets with tenuous vs. substantial atmospheres, on the inner and outer edges of the habitable zone, and climate models to assess the potential for habitability. For the few brightest targets, the detection of specific combinations of molecules would provide evidence of biosignatures. For all other targets, this comprehensive survey would filter out the airless, desiccated, or lifeless worlds, thus providing a subset of potentially habitable worlds ready for in-depth atmospheric characterization using a larger aperture telescope.


title: Online Planning for Decentralized Stochastic Control with Partial History Sharing

abstract: In decentralized stochastic control, standard approaches for sequential decision-making, e.g. dynamic programming, quickly become intractable due to the need to maintain a complex information state. Computational challenges are further compounded if agents do not possess complete model knowledge. In this paper, we take advantage of the fact that in many problems agents share some common information, or history, termed partial history sharing. Under this information structure the policy search space is greatly reduced. We propose a provably convergent, online tree-search based algorithm that does not require a closed-form model or explicit communication among agents. Interestingly, our algorithm can be viewed as a generalization of several existing heuristic solvers for decentralized partially observable Markov decision processes. To demonstrate the applicability of the model, we propose a novel collaborative intrusion response model, where multiple agents (defenders) possessing asymmetric information aim to collaboratively defend a computer network. Numerical results demonstrate the performance of our algorithm.


title: LRG-BEASTS: transmission spectroscopy and retrieval analysis of the highly-inflated Saturn-mass planet WASP-39b

abstract: We present a ground-based transmission spectrum and comprehensive retrieval analysis of the highly inflated Saturn-mass planet WASP-39b. We obtained low-resolution spectra ($R \approx 400$) of a transit of WASP-39b using the ACAM instrument on the 4.2m William Herschel Telescope as part of the LRG-BEASTS survey. Our transmission spectrum is in good agreement with previous ground- and space-based observations of WASP-39b, and covers a wavelength range of 4000-9000A. Previous analyses of this exoplanet have retrieved water abundances that span more than four orders of magnitude, which in turn lead to conclusions of a subsolar or highly supersolar atmospheric metallicity. In order to determine the cause of the large discrepancies in the literature regarding WASP-39b's atmospheric metallicity, we performed retrieval analyses of all literature data sets. Our retrievals, which assume equilibrium chemistry, recovered highly supersolar metallicities for all data sets. When running our retrievals on a combined spectrum, spanning 0.3-5$\mu$m, we recovered an atmospheric metallicity of $282^{+65}_{-58} \times$ solar. We find that stellar activity has a negligible effect on the derived abundances and instead conclude that different assumptions made during retrieval analyses lead to the reported water abundances that differ by orders of magnitude. This in turn has significant consequences for the conclusions we draw. This is the fourth planet to be observed as part of the LRG-BEASTS survey, which is demonstrating that 4m class telescopes can obtain low-resolution transmission spectra with precisions of around one atmospheric scale height.


title: Stochastic Fusion of Interacting Particle Systems and Duality Functions

abstract: We introduce a new method, which we call stochastic fusion, which takes an exclusion process and constructs an interacting particle systems in which more than one particle may occupy a lattice site. The construction only requires the existence of stationary measures of the original exclusion process on a finite lattice. If the original exclusion process satisfies Markov duality on a finite lattice, then the construction produces Markov duality functions (for some initial conditions) for the fused exclusion process. The stochastic fusion construction is based off of the Rogers-Pitman intertwining. In particular, we have results for three types of models: 1. For symmetric exclusion processes, the fused process and duality functions are inhomogeneous generalizations of those in \cite{GKRV}. The construction also allows a general class of open boundary conditions: as an application of the duality, we find the hydrodynamic limit and stationary measures of the generalized symmetric simple exclusion process SSEP$(m/2)$ on $\mathbb{Z}_+$ for open boundary conditions. 2. For the asymmetric simple exclusion process, the fused process and duality functions are inhomogeneous generalizations of those found in \cite{CGRS} for the ASEP$(q,j)$. As a by-product of the construction, we show that the multi-species ASEP$(q,j)$ preserves $q$-exchangeable measures, and use this to find new duality functions for the ASEP, ASEP$(q,j)$ and $q$-Boson. Additionally, the construction leads to duality for ASEP with open boundary conditions. As an application of the latter duality, we find the hydrodynamic limit. 3. For dynamic models, we fuse the dynamic ASEP from \cite{BorodinDyn}, and produce a dynamic and inhomogeneous version of ASEP$(q,j)$. We also apply stochastic fusion to IRF models and compare them to previously found models. We include an appendix co-authored with Amol Aggarwal.


title: Some cohomologically rigid solvable Leibniz algebras

abstract: In this paper we describe solvable Leibniz algebras whose quotient algebra by one-dimensional ideal is a Lie algebra with rank equal to the length of the characteristic sequence of its nilpotent radical. We prove that such Leibniz algebra is unique and centerless. Also it is proved that the first and the second cohomology groups of the algebra with coefficients in itself is trivial.


title: Multi-Robot Path Deconfliction through Prioritization by Path Prospects

abstract: This work deals with the problem of planning conflict-free paths for mobile robots in cluttered environments. Since centralized, coupled planning algorithms are computationally intractable for large numbers of robots, we consider decoupled planning, in which robots plan their paths sequentially in order of priority. Choosing how to prioritize the robots is a key consideration. State-of-the-art prioritization heuristics, however, do not model the coupling between a robot's mobility and its environment. In this paper, we propose a prioritization rule that can be computed online by each robot independently, and that provides consistent, conflict-free path plans. Our innovation is to formalize a robot's path prospects to reach its goal from its current location. To this end, we consider the number of homology classes of trajectories, and use this as a prioritization rule in our decentralized path planning algorithm, whenever any robots enter negotiation to deconflict path plans. This prioritization rule guarantees a partial ordering over the robot set. We perform simulations that compare our method to five benchmarks, and show that it reaches the highest success rate (w.r.t. completeness), and that it strikes the best balance between makespan and flowtime objectives.


title: Finite Pulse Waves for Efficient Suppression of Evolving Mesoscale Dendrites in Rechargeable Batteries

abstract: The ramified and stochastic evolution of dendritic microstructures has been a major issue on the safety and longevity of rechargeable batteries, particularly for the utilization high-energy metallic electrodes. We analytically develop criteria for the pulse characteristics leading to the effective halting of the ramified electrodeposits grown during extensive time scales beyond inter-ionic collisions. Our framework is based on the competitive interplay between diffusion and electromigration and tracks the gradient of ionic concentration throughout the entire cycle of pulse-rest as a critical measure for heterogeneous evolution. In particular, the framework incorporates the Brownian motion of the ions and investigates the role of the geometry of the electrodeposition interface. Our novel experimental observations verify the analytical developments, where the the dimension-free developments allows the application to the electrochemical systems of various scales.


title: A Tunable Electrorheological Fluid Microfluidic Rectifier: Irreversibility of Viscous Flow due to Spatial Asymmetry Induced Memory Effects

abstract: Due to the reversibility of viscous flow it is not expected to obtain a fluidic rectifier simply from geometrical asymmetry without any moving mechanical parts. Here, we found a counter example by using spatial asymmetry combined with electric field to inject memory effects that render the flow irreversible. This stems from the strong dependency of the electrorheological (ER) fluid particle chaining on the flow direction. A funnel-shaped microfluidic rectifier with ER fluid has been shown to be easily and rapidly tuned via the applied electric field to achieve more than an order of magnitude rectification along with pressure oscillations. These findings are of importance for realization of fluidic diodes, rectifiers and ratchets.


title: Epitaxial Growth and Characterization of AlInN Based Core-Shell Nanowire Light Emitting Diodes Operating in the Ultraviolet Spectrum

abstract: We report on the demonstration of the first axial AlInN ultraviolet core-shell nanowire light-emitting diodes with highly stable emission in the UV wavelength range. During the epitaxial growth of AlInN layer, an AlInN shell is spontaneously formed, resulted in the reduced nonradiative recombination on nanowire surface. The AlInN nanowires exhibit high internal quantum efficiency of ~ 52% at room temperature for emission at 295nm. The peak emission wavelength can be varied from 290 nm to 355 nm by changing the growth condition. Moreover, significantly strong transverse magnetic (TM) polarized emission is recorded which is ~ 4 times stronger compared to the transverse electric (TE) polarized light at 295 nm. This study provides alternative approach for the fabrication of new type of high-performance ultraviolet light-emitters.


title: Quasi-Isometric Bounded Generation by ${\mathbb Q}$-Rank-One Subgroups

abstract: We say that a subset $X$ quasi-isometrically boundedly generates a finitely generated group $\Gamma$ if each element $\gamma$ of a finite-index subgroup of $\Gamma$ can be written as a product $\gamma = x_1 x_2 \cdots x_r$ of a bounded number of elements of $X$, such that the word length of each $x_i$ is bounded by a constant times the word length of $\gamma$. A. Lubotzky, S. Mozes, and M.S. Raghunathan observed in 1993 that ${\rm SL}(n,{\mathbb Z})$ is quasi-isometrically boundedly generated by the elements of its natural ${\rm SL}(2,{\mathbb Z})$ subgroups. We generalize (a slightly weakened version of) this by showing that every $S$-arithmetic subgroup of an isotropic, almost-simple ${\mathbb Q}$-group is quasi-isometrically boundedly generated by standard ${\mathbb Q}$-rank-1 subgroups.


title: SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities

abstract: We present SaSTL -- a novel Spatial Aggregation Signal Temporal Logic -- for the efficient runtime monitoring of safety and performance requirements in smart cities. We first describe a study of over 1,000 smart city requirements, some of which can not be specified using existing logic such as Signal Temporal Logic (STL) and its variants. To tackle this limitation, we develop two new logical operators in SaSTL to augment STL for expressing spatial aggregation and spatial counting characteristics that are commonly found in real city requirements. We also develop efficient monitoring algorithms that can check a SaSTL requirement in parallel over multiple data streams (e.g., generated by multiple sensors distributed spatially in a city). We evaluate our SaSTL monitor by applying to two case studies with large-scale real city sensing data (e.g., up to 10,000 sensors in one requirement). The results show that SaSTL has a much higher coverage expressiveness than other spatial-temporal logics, and with a significant reduction of computation time for monitoring requirements. We also demonstrate that the SaSTL monitor can help improve the safety and performance of smart cities via simulated experiments.


title: Semantic Role Labeling with Associated Memory Network

abstract: Semantic role labeling (SRL) is a task to recognize all the predicate-argument pairs of a sentence, which has been in a performance improvement bottleneck after a series of latest works were presented. This paper proposes a novel syntax-agnostic SRL model enhanced by the proposed associated memory network (AMN), which makes use of inter-sentence attention of label-known associated sentences as a kind of memory to further enhance dependency-based SRL. In detail, we use sentences and their labels from train dataset as an associated memory cue to help label the target sentence. Furthermore, we compare several associated sentences selecting strategies and label merging methods in AMN to find and utilize the label of associated sentences while attending them. By leveraging the attentive memory from known training data, Our full model reaches state-of-the-art on CoNLL-2009 benchmark datasets for syntax-agnostic setting, showing a new effective research line of SRL enhancement other than exploiting external resources such as well pre-trained language models.


title: Hawking temperature in dispersive media: Analytical and numerical study

abstract: In the context of analog gravity the Hawking effect can be generalized to domains outside astrophysics. Arguably, the most successful systems for this analogy have been so far the sonic and the optical ones. However, problems arise in the analog systems as their dispersive effects are too large to be ignored, and this in turn modifies the usual thermal spectrum of Hawking radiation. In this work we perform analytical and numerical studies on how the velocity profile modifies the Hawking temperature in dispersive media, including some with direct experimental application.


title: New Materials Physics

abstract: This review presents a survey of, and guide to, New Materials Physics research. It begins with an overview of the goals of New Materials Physics and then presents important ideas and techniques for the design and growth of new materials. An emphasis is placed on the use of compositional phase diagrams to inform and motivate solution growth of single crystals. The second half of this review focuses on the vital process of generating actionable ideas for the growth and discovery of new materials and ground states. Motivations ranging from (1) wanting a specific compound, to (2) wanting a specific ground state to (3) wanting to explore for known and unknown unknowns, will be discussed and illustrated with abundant examples. The goal of this review is to inform, inspire, an even entertain, as many practitioners of this field as possible.


title: An Algorithm for Graph-Fused Lasso Based on Graph Decomposition

abstract: This work proposes a new algorithm for solving the graph-fused lasso (GFL), a method for parameter estimation that operates under the assumption that the signal tends to be locally constant over a predefined graph structure. The proposed method applies the alternating direction method of multipliers (ADMM) algorithm and is based on the decomposition of the objective function into two components. While ADMM has been widely used in this problem, existing works such as network lasso decompose the objective function into the loss function component and the total variation penalty component. In comparison, this work proposes to decompose the objective function into two components, where one component is the loss function plus part of the total variation penalty, and the other component is the remaining total variation penalty. Compared with the network lasso algorithm, this method has a smaller computational cost per iteration and converges faster in most simulations numerically.


title: Diverse interactions and ecosystem engineering stabilize community assembly

abstract: The complexity of an ecological community can be distilled into a network, where diverse interactions connect species in a web of dependencies. Species interact not only with each other but indirectly through environmental effects, however the role of these ecosystem engineers has not yet been considered in models of ecological networks. Here we explore the dynamics of ecosystem assembly, where the colonization and extinction of species within a community depends on the constraints imposed by trophic, service, and engineering dependencies. We show that our assembly model reproduces many key features of ecological systems, such as the role of generalists during assembly, realistic maximum trophic levels, and increased nestedness with higher frequencies of mutualisms. We find that ecosystem engineering has large and nonlinear effects on extinction rates, facilitating robustness by creating niche space, but at the same time increasing the magnitude of extinction cascades. We emphasize the importance of redundancies in engineered effects and show that such redundancy lowers the barriers to colonization, promoting community diversity. Together, our results suggest that ecological engineers may enhance community diversity while increasing persistence by facilitating colonization and limiting competitive exclusion.


title: A dominant population of optically invisible massive galaxies in the early Universe

abstract: Our current knowledge of cosmic star-formation history during the first two billion years (corresponding to redshift z >3) is mainly based on galaxies identified in rest-frame ultraviolet light. However, this population of galaxies is known to under-represent the most massive galaxies, which have rich dust content and/or old stellar populations. This raises the questions of the true abundance of massive galaxies and the star-formation-rate density in the early universe. Although several massive galaxies that are invisible in the ultraviolet have recently been confirmed at early epochs, most of them are extreme starbursts with star-formation rates exceeding 1000 solar masses per year, suggesting that they are unlikely to represent the bulk population of massive galaxies. Here we report submillimeter (wavelength 870um) detections of 39 massive star-forming galaxies at z > 3, which are unseen in the spectral region from the deepest ultraviolet to the near-infrared. With a space density of about $2 \times 10^{-5}$ per cubic megaparsec (two orders of magnitudes higher than extreme starbursts) and star-formation rates of 200 solar masses per year, these galaxies represent the bulk population of massive galaxies that have been missed from previous surveys. They contribute a total star-formation-rate density ten times larger than that of equivalently massive ultraviolet-bright galaxies at z >3. Residing in the most massive dark matter halos at their redshifts, they are probably the progenitors of the largest present-day galaxies in massive groups and clusters. Such a high abundance of massive and dusty galaxies in the early universe challenges our understanding of massive-galaxy formation.


title: A Search for Variable Stars in the Globular Cluster M4 with K2

abstract: We extract light curves for 4554 objects with $9<G<19$ in the K2 superstamp observations of the globular cluster M4, including 3784 cluster members, and search for variability. Among cluster member objects, we detect 66 variables, of which 52 are new discoveries. Among objects not belonging to the cluster, we detect 24 variables, of which 20 are new discoveries. We additionally discover 57 cluster-member suspected variables, 10 cluster-non-member suspected variables, and four variables with ambiguous cluster membership. Our light curves reach sub-millimagnitude precision for the cluster horizontal branch, permitting us to detect asteroseismic activity in six horizontal branch stars outside the instability strip and one inside the strip but with only ~1 mmag amplitude variability. 19 additional stars along the red giant branch also have detected asteroseismic variability. Several eclipsing binaries are found in the cluster, including a 4.6-day detached eclipsing binary and an EW-class eclipsing binary, as well as an EW with uncertain cluster membership and three other candidate EWs. A 22-day detached eclipsing binary is also found outside the cluster. We identify a candidate X-ray binary that is a cluster member with quiescent and periodic ~20 mmag optical variability. We also obtain high-precision light curves for ten of the previously known RR Lyrae variables in the cluster and identify one as a candidate Blazhko variable with a Blazhko period in excess of 78 days. We make our light curves publicly available.


title: Explaining Image Classifiers using Statistical Fault Localization

abstract: The black-box nature of deep neural networks (DNNs) makes it impossible to understand why a particular output is produced, creating demand for "Explainable AI". In this paper, we show that statistical fault localization (SFL) techniques from software engineering deliver high quality explanations of the outputs of DNNs, where we define an explanation as a minimal subset of features sufficient for making the same decision as for the original input. We present an algorithm and a tool called DeepCover, which synthesizes a ranking of the features of the inputs using SFL and constructs explanations for the decisions of the DNN based on this ranking. We compare explanations produced by DeepCover with those of the state-of-the-art tools GradCAM, LIME, SHAP, RISE and Extremal and show that explanations generated by DeepCover are consistently better across a broad set of experiments. On a benchmark set with known ground truth, DeepCover achieves 76.7% accuracy, which is 6% better than the second best Extremal.


title: Limit Theorems for Data with Network Structure

abstract: This paper develops new limit theory for data that are generated by networks or more generally display cross-sectional dependence structures that are governed by observable and unobservable characteristics. Strategic network formation models are an example. Wether two data points are highly correlated or not depends on draws from underlying characteristics distributions. The paper defines a measure of closeness that depends on primitive conditions on the distribution of observable characteristics as well as functional form of the underlying model. A summability condition over the probability distribution of observable characteristics is shown to be a critical ingredient in establishing limit results. The paper establishes weak and strong laws of large numbers as well as a stable central limit theorem for a class of statistics that include as special cases network statistics such as average node degrees or average peer characteristics. Some worked examples illustrating the theory are provided.


title: Quantile Inverse Optimization: Improving Stability in Inverse Linear Programming

abstract: Inverse linear programming (LP) has received increasing attention due to its potential to generate efficient optimization formulations that can closely replicate the behavior of a complex system. However, inversely inferred parameters and corresponding forward solutions from the existing inverse LP method can be highly sensitive to noise, errors, and uncertainty in the input data, limiting its applicability in data-driven settings. We introduce the notion of inverse and forward stability in inverse LP and propose a novel inverse LP method that determines a set of objective functions that are stable under data imperfection and generate solutions close to the relevant subset of the data. We formulate the inverse model as a mixed-integer program and elucidate its connection to bi-clique problems, which we exploit to develop efficient heuristics. We also show how this method can be used for online learning. We numerically evaluate the stability of the proposed method and demonstrate its practical use in the diet recommendation and transshipment applications.


title: Detecting individual internal displacements following a sudden-onset disaster using time series analysis of call detail records

abstract: We present a method for analysing mobile phone call detail records to identify individuals whom we believe to be have been internally displaced as a result of a sudden-onset disaster. We model each anonymous individual's movements trajectory as a piecewise-constant time series signal, assume that a disaster-induced displacement is exhibited as a level shift from an individual's 'normal' location, and then apply a step detection algorithm to identify level shifts in the signal. In contrast to typical methods that are used to analyse mobility patterns from call detail records, where the aggregate movements of large groups of individuals are analysed, our method offers the advantage that no assumptions regarding the destination or duration of an individual's displacement are necessary. We have applied the method to the datasets from three disasters - the 2010 earthquake in Haiti, the 2015 Gorkha earthquake in Nepal, and Hurricane Matthew in Haiti in 2016. Our results demonstrate that this method can facilitate improvements in the analysis and modelling of the mobility of internally displaced persons in post-disaster scenarios, using call detail records. Such analyses can be used to complement traditional survey methods to assess the scale and characteristics of disaster-induced displacements in a timely manner.


title: Robust quantum metrology with explicit symmetric states

abstract: Quantum metrology is a promising practical use case for quantum technologies, where physical quantities can be measured with unprecedented precision. In lieu of quantum error correction procedures, near term quantum devices are expected to be noisy, and we have to make do with noisy probe states. We prove that, for a set of carefully chosen symmetric probe states that lie within certain quantum error correction codes, quantum metrology exhibits an advantage over classical metrology even after the probe states are corrupted by a constant number of erasure and dephasing errors. These probe states prove useful for robust metrology not only in the NISQ regime, but also in the asymptotic setting where they achieve Heisenberg scaling. This brings us closer towards making robust quantum metrology a technological reality.


title: Subspace Identification of Temperature Dynamics

abstract: Data-driven modeling and control of temperature dynamics in mechatronics systems and industrial processes are challenging control engineering problems. This is mainly because the temperature dynamics is inherently infinite-dimensional, nonlinear, spatially distributed, and coupled with other physical processes. Furthermore, the dominant time constants are usually long, implying that in practice due to various economic and time constraints, we can only collect a relatively small number of data samples that can be used for data-driven modeling. Finally, since sensing and actuation of temperature dynamics are often spatially discrete, special attention needs to be given to sensor (actuator) placement and identifiability problems. Motivated by these challenges, in this manuscript, we consider the problem of data-driven modeling and validation of temperature dynamics. We have developed an experimental setup consisting of a long aluminum bar whose temperature dynamics is influenced by spatially distributed heat actuators and whose temperature is sensed by spatially distributed thermocouples. We address the noise reduction problem and perform step response and nonlinearity analyses. We combine predictor based subspace identification methods with time series analysis methods to identify a multiple-input multiple-output system model. We provide detailed treatments of model structure selection, validation, and residual analysis problems under different modeling and prediction scenarios. Our extensive experimental results show that the temperature dynamics of the experimental setup can be relatively accurately estimated by low-order models.


title: Guiding neutral polar molecules by electromagnetic vortex field --- a classical approach

abstract: It is shown, within classical mechanics, that the field of an electromagnetic vortex is capable of capturing and guiding neutral molecules endowed with a permanent electric dipole moment (PEDM). Similarly as in the case of the magnetic field applied to elementary particles or atoms, this effect turns out to be very delicate because of the small values of PEDM observed in real molecules. They amount to $2\times10^{5}\, e{\mathrm{fm}}$ (electron charge $\times$ fermi) or less, which requires the use of very strong electric fields. It has also been observed that there exists a threshold in field strength above which the particles are ejected from the trap. Trajectories of guided particles are usually quite chaotic, which is a consequence of non-linearity of the equations of motion. With a very special and precise adjustment of parameters, a regular (i.e., circular, in the transverse plane) trajectory can be obtained. The presence of an additional constant electric field pointing along the direction of the wave propagation might help to achieve the necessary tuning and realize such trajectories.


title: Estimating the resilience to natural disasters by using call detail records to analyse the mobility of internally displaced persons

abstract: We use mobile phone call detail records to estimate the resettlement times of a subset of individuals that have been previously identified to be internally displaced persons (IDPs) following a sudden-onset disaster. Four different mobility metrics - two versions of radius of gyration and two versions of entropy - are used to study the behaviour of populations during three disasters - the 2010 earthquake in Haiti, the 2015 Gorkha earthquake in Nepal, and Hurricane Matthew in Haiti in 2016. We characterise the rate at which a disrupted population resettles by the fraction of individuals who remain disrupted each week after the disaster. We find that this rate can be modelled very well as the sum of two exponential decays and observe that the resettling rate for all three disasters is similar, with half the original number of displaced persons having resettled within four to five weeks of the disaster. If the study of further disasters leads to the observation of similar exponential decay rates, then it would imply that the number of IDPs at any time can be inferred from an estimate of the initial number of IDPs immediately following the disaster. Alternatively, the method provides a way to monitor disaster resilience and compare recovery rates across disasters. The method has the advantage that no assumptions need to be made regarding the location or time of resettlement. Our results indicate that CDRs can significantly contribute to measuring and predicting displacement durations, distances, and locations of IDPs in post-disaster scenarios. We believe that information and estimates provided by specifically developed CDR analytics, coupled with field data collection and traditional survey methods, can assist the humanitarian response to natural disasters and the subsequent resettlement efforts.


title: Direction reconfigurable non-reciprocal acousto-optic modulator on chip

abstract: Non-reciprocal components are essential in photonic systems for protecting light sources and for signal routing functions. Acousto-optic methods to produce non-reciprocal devices offer a foundry-compatible alternative to magneto-optic solutions and are especially important for photonic integration. In this paper, we experimentally demonstrate a dynamically reconfigurable non-reciprocal acousto-optic modulator at telecom wavelength. The modulator can be arranged in a multitude of reciprocal and non-reciprocal configurations by means of an external RF input. The dynamic reconfigurability of the device is enabled by a new cross-finger interdigitated piezoelectric transducer that can change the directionality of the reciprocity-breaking acoustic excitation based on the phase of the RF input. The methodology we demonstrate here may enable new avenues for direction dependent signal processing and optical isolation.


title: Understanding the HERA Phase I receiver system with simulations and its impact on the detectability of the EoR delay power spectrum

abstract: The detection of the Epoch of Reionization (EoR) delay power spectrum using a "foreground avoidance method" highly depends on the instrument chromaticity. The systematic effects induced by the radio-telescope spread the foreground signal in the delay domain, which contaminates the EoR window theoretically observable. Applied to the Hydrogen Epoch of Reionization Array (HERA), this paper combines detailed electromagnetic and electrical simulations in order to model the chromatic effects of the instrument, and quantify its frequency and time responses. In particular, the effects of the analogue receiver, transmission cables, and mutual coupling are included. These simulations are able to accurately predict the intensity of the reflections occurring in the 150-m cable which links the antenna to the back-end. They also show that electromagnetic waves can propagate from one dish to another one through large sections of the array due to mutual coupling. The simulated system time response is attenuated by a factor $10^{4}$ after a characteristic delay which depends on the size of the array and on the antenna position. Ultimately, the system response is attenuated by a factor $10^{5}$ after 1400 ns because of the reflections in the cable, which corresponds to characterizable ${k_\parallel}$-modes above 0.7 $h\;\rm{Mpc}^{-1}$ at 150 MHz. Thus, this new study shows that the detection of the EoR signal with HERA Phase I will be more challenging than expected. On the other hand, it improves our understanding of the telescope, which is essential to mitigate the instrument chromaticity.


title: On the automaticity of sequences defined by continued fractions

abstract: Continued fraction expansions and Hankel determinants of automatic sequences are extensively studied during the last two decades. These studies found applications in number theory in evaluating irrationality exponents. The present paper is motivated by the converse problem: to study continued fractions of which the elements form an automatic sequence. We consider two such continued fractions defined by the Thue-Morse and period-doubling sequences respectively, and prove that they are congruent to algebraic series in $\mathbb{Z}[[x]]$ modulo $4$. Consequently, the sequences of the coefficients of the power series expansions of the two continued fractions modulo $4$ are $2$-automatic. Our approach is to first guess the explicit formulas of certain subsequences of $(P_n(x))$ and $(Q_n(x))$, where $P_n(x)/Q_n(x)$ is the canonical representation of the truncated continued fractions, then prove these formulas by an intricate induction involving eight subsequences while exploiting the relations between these subsequences.


title: Many Turan exponents via subdivisions

abstract: Given a graph $H$ and a positive integer $n$, the {\it Tur\'an number} $\ex(n,H)$ is the maximum number of edges in an $n$-vertex graph that does not contain $H$ as a subgraph. A real number $r\in(1,2)$ is called a {\it Tur\'an exponent} if there exists a bipartite graph $H$ such that $\ex(n,H)=\Theta(n^r)$. A long-standing conjecture of Erd\H{o}s and Simonovits states that $1+\frac{p}{q}$ is a Tur\'an exponent for all positive integers $p$ and $q$ with $q> p$. In this paper, we build on recent developments on the conjecture to establish a large family of new Tur\'an exponents. In particular, it follows from our main result that $1+\frac{p}{q}$ is a Tur\'an exponent for all positive integers $p$ and $q$ with $q> p^2$.


title: Cheetah: Mixed Low-Precision Hardware & Software Co-Design Framework for DNNs on the Edge

abstract: Low-precision DNNs have been extensively explored in order to reduce the size of DNN models for edge devices. Recently, the posit numerical format has shown promise for DNN data representation and compute with ultra-low precision in [5..8]-bits. However, previous studies were limited to studying posit for DNN inference only. In this paper, we propose the Cheetah framework, which supports both DNN training and inference using posits, as well as other commonly used formats. Additionally, the framework is amenable for different quantization approaches and supports mixed-precision floating point and fixed-point numerical formats. Cheetah is evaluated on three datasets: MNIST, Fashion MNIST, and CIFAR-10. Results indicate that 16-bit posits outperform 16-bit floating point in DNN training. Furthermore, performing inference with [5..8]-bit posits improves the trade-off between performance and energy-delay-product over both [5..8]-bit float and fixed-point.


title: Axisymmetric simulations of vertical displacement events in tokamaks: A benchmark of M3D-C$^1$, NIMROD and JOREK

abstract: A benchmark exercise for the modeling of vertical displacement events (VDEs) is presented and applied to the 3D nonlinear magneto-hydrodynamic codes M3D-C$^1$, JOREK and NIMROD. The simulations are based on a vertically unstable NSTX equilibrium enclosed by an axisymmetric resistive wall with rectangular cross section. A linear dependence of the linear VDE growth rates on the resistivity of the wall is recovered for sufficiently large wall conductivity and small temperatures in the open field line region. The benchmark results show good agreement between the VDE growth rates obtained from linear NIMROD and M3D-C$^1$ simulations as well as from the linear phase of axisymmetric nonlinear JOREK, NIMROD and M3D-C$^1$ simulations. Axisymmetric nonlinear simulations of a full VDE performed with the three codes are compared and excellent agreement is found regarding plasma location and plasma currents as well as eddy and halo currents in the wall.


title: Benchmarking Bonus-Based Exploration Methods on the Arcade Learning Environment

abstract: This paper provides an empirical evaluation of recently developed exploration algorithms within the Arcade Learning Environment (ALE). We study the use of different reward bonuses that incentives exploration in reinforcement learning. We do so by fixing the learning algorithm used and focusing only on the impact of the different exploration bonuses in the agent's performance. We use Rainbow, the state-of-the-art algorithm for value-based agents, and focus on some of the bonuses proposed in the last few years. We consider the impact these algorithms have on performance within the popular game Montezuma's Revenge which has gathered a lot of interest from the exploration community, across the the set of seven games identified by Bellemare et al. (2016) as challenging for exploration, and easier games where exploration is not an issue. We find that, in our setting, recently developed bonuses do not provide significantly improved performance on Montezuma's Revenge or hard exploration games. We also find that existing bonus-based methods may negatively impact performance on games in which exploration is not an issue and may even perform worse than $\epsilon$-greedy exploration.


title: From lecture to active learning: Rewards for all, and is it really so difficult?

abstract: We describe the evolution of a personal non-lecture active learning pedagogy developed in numerous courses at all university levels. A distinguishing feature is its tight integration of pre-class preparation, involving student reading/writing/questions and problem work, with in-class active learning building on this preparation, and post-class follow-on homework. We discuss challenges, rewards, and buy-in for both students and instructors.


title: Primeval very low-mass stars and brown dwarfs -- VII. The discovery of the first wide M + L extreme subdwarf binary

abstract: I present the discovery of the first wide M + L extreme subdwarf binary system Gaia J0452$-$36AB. The binary is located at a distance of 137.27$^{+0.68}_{-0.67}$ pc with a projected separation of 15828$\pm$78 au. I classified Gaia J0452$-$36AB as esdM1 and esdL0 subdwarfs, respectively. Gaia J0452$-$36AB have typical halo kinematics, metallicity of [Fe/H] $\approx -1.4$, and temperature of $\sim$ 3550 and 2600 K, respectively. Gaia J0452$-$36AB is a pair of very low-mass stars with masses of 0.151$^{+0.029}_{-0.019}$ and 0.0855$^{+0.0014}_{-0.0010}$ M$_{\odot}$, and is a gravitationally bound system. I tested the metallicity consistency of existing M subdwarf classification schemes with Gaia J0452$-$36AB and a sample of M and L subdwarfs with known metallicity. I found that the metallicity of each M subclass defined by the the metallicity index $\zeta_{\rm CaH/TiO}$ is not consistent from mid to late M subtypes. Because late-type M and L subdwarfs have dusty atmospheres and high surface gravity which have significant impacts on CaH and TiO indices that used in the classification. The metallicity scale of late-type M subdwarfs would be overestimated by the $\zeta_{\rm CaH/TiO}$ index. I discussed the mass range of M subdwarfs, and explained the lack of late-type M extreme and ultra subdwarfs, and decreasing binary fraction from sdM, to esdM, and usdM subclasses. The four M subclasses have different mass ranges. The comparison between M subclasses is between populations in different mass ranges. I also present the discovery of Ruiz 440-469B, an M8 dwarf wide companion to a cool DA white dwarf, Ruiz 440-469.


title: Bag of Negatives for Siamese Architectures

abstract: Training a Siamese architecture for re-identification with a large number of identities is a challenging task due to the difficulty of finding relevant negative samples efficiently. In this work we present Bag of Negatives (BoN), a method for accelerated and improved training of Siamese networks that scales well on datasets with a very large number of identities. BoN is an efficient and loss-independent method, able to select a bag of high quality negatives, based on a novel online hashing strategy.


title: Moving-Target Defense for Detecting Coordinated Cyber-Physical Attacks in Power Grids

abstract: This work proposes a moving target defense (MTD) strategy to detect coordinated cyber-physical attacks (CCPAs) against power grids. A CCPA consists of a physical attack, such as disconnecting a transmission line, followed by a coordinated cyber attack that injects false data into the sensor measurements to mask the effects of the physical attack. Such attacks can lead to undetectable line outages and cause significant damage to the grid. The main idea of the proposed approach is to invalidate the knowledge that the attackers use to mask the effects of the physical attack by actively perturbing the grid's transmission line reactances using distributed flexible AC transmission system (D-FACTS) devices. We identify the MTD design criteria in this context to thwart CCPAs. The proposed MTD design consists of two parts. First, we identify the subset of links for D-FACTS device deployment that enables the defender to detect CCPAs against any link in the system. Then, in order to minimize the defense cost during the system's operational time, we use a game-theoretic approach to identify the best subset of links (within the D-FACTS deployment set) to perturb which will provide adequate protection. Extensive simulations performed using the MATPOWER simulator on IEEE bus systems verify the effectiveness of our approach in detecting CCPAs and reducing the operator's defense cost.


title: G1 structures on flag manifolds

abstract: Let $U/K_\Theta$ be a generalized flag manifold, where $K_\Theta$ is the centralizer of a torus in $U$. We study $U$-invariant almost Hermitian structures on $U/K_\Theta$. The classification of these structures are naturally related with the system $R_t$ of t-roots associated to $U/K_\Theta$. We introduced the notion of connectedness by triples zero sum in a general set of linear functional and proved that t-roots are connected by triples zero sum. Using this property, the invariant G1 structures on $U/K_\Theta$ are completely classified. We also study the K\"ahler form and classified the invariant quasi K\"ahler structures on $U/K_\Theta$, in terms of t-roots.


title: An Unconditional Improvement to the Running Time of the Quadratic Frobenius Test

abstract: In a 2006 paper, Damg{\aa}rd and Frandsen designed a faster version of the Quadratic Frobenius Test. This test assumes the Extended Riemann Hypothesis in order to find small nonresidues, which allow construction of quadratic extensions with faster arithmetic. In this paper, I describe a version of the test using small nonresidues, without assuming any unproven hypothesis.


title: Improved low-dimensional wave equations for cigar-shaped and disk-shaped dipolar Bose-Einstein condensates

abstract: Within the formalism of the Gross-Pitaevskii equation, we derive effective one- and two-dimensional equations for cigar- and pancake-shaped dipolar Bose-Einstein condensates with arbitrary polarization angle. These are based on an ansatz for the condensate wavefunction whose width in the tightly-confined direction/s is treated variationally. The equations constitute a coupled partial differential for the low-dimensional wavefunction and algebraic equations for the width parameters. This approach accurately predicts the ground state densities of cigar-shaped and pancake-shaped dipolar Bose-Einstein condensates, and gives strong agreement with the three-dimensional results, even as the trapping is relaxed away from the strict quasi-one- and quasi-two-dimensional regimes. This approach offers a significant improvement over the standard one- and two-dimensional reduction.


title: Concordance to links with an unknotted component

abstract: We construct links of arbitrarily many components each component of which is slice and yet are not concordant to any link with even one unknotted component. The only tool we use comes from the Alexander modules.


title: A Population Balance Model for Large Eddy Simulation of Polydisperse Droplet Evolution

abstract: In the context of many applications of turbulent multi-phase flows, knowledge of the dispersed phase size distribution and its evolution is critical to predicting important macroscopic features. We use a population dynamics model for polydisperse droplet distributions specifically adapted to a LES framework including a model for droplet breakup due to turbulence, neglecting coalescence. Following earlier methods used in the Reynolds averaged Navier--Stokes framework, the droplet breakup due to turbulent fluctuations is modelled by treating droplet-eddy collisions as in kinetic theory of gases. In order to also model smaller droplets comparable to or smaller than the Kolmogorov scale we extend the breakup kernels using a structure function model that smoothly transitions from the inertial to the viscous range. The model includes a dimensionless coefficient that is fitted by comparing predictions in a one-dimensional version of the model with a laboratory experiment of oil droplet breakup below breaking waves. After initial comparisons of the one-dimensional model to measurements of oil droplets in an axisymmetric jet, it is then applied in a three-dimensional LES of a jet in crossflow with large oil droplets of a single size being released at the source of the jet. We model the concentration fields using $N_d =15$ bins of discrete droplet sizes and solve scalar transport equations for each bin. The resulting droplet size distributions are compared with published experimental data, and good agreement for the relative size distribution is obtained. The LES results also enable us to quantify size distribution variability. We find that the probability distribution functions of key quantities such as the total surface area and the Sauter mean diameter of oil droplets are highly variable, some displaying strong non-Gaussian intermittent behavior.


title: Assessing and Improving Machine Learning Model Predictions of Polymer Glass Transition Temperatures

abstract: The success of the Materials Genome Initiative has led to opportunities for data-driven approaches for materials discovery. The recent development of Polymer Genome (PG), which is a machine learning (ML) based data-driven informatics platform for polymer property prediction, has significantly increased the efficiency of polymer design. Nevertheless, continuous expansion of the "training data" is necessary to improve the robustness, versatility and accuracy of the ML predictions. In order to test the performance and transferability of the predictive models presently available in PG (which were previously trained on a dataset of 450 polymers), we have carefully collected additional experimental glass transition temperature (Tg) data for 871 polymers from multiple data sources. The Tg values predicted by the present PG models for the polymers in the newly collected dataset were compared directly with the experimental Tg to estimate the accuracy of the present model. Using the full dataset of 1321 polymers, a new ML model for Tg was built following past work. The RMSE of prediction for the extended dataset, when compared to the earlier one, decreased to 27 K from 57 K. To further improve the performance of the Tg prediction model, we are continuing to accumulate new data and exploring new ML approaches.


title: Estimation of Conditional Average Treatment Effects with High-Dimensional Data

abstract: Given the unconfoundedness assumption, we propose new nonparametric estimators for the reduced dimensional conditional average treatment effect (CATE) function. In the first stage, the nuisance functions necessary for identifying CATE are estimated by machine learning methods, allowing the number of covariates to be comparable to or larger than the sample size. The second stage consists of a low-dimensional local linear regression, reducing CATE to a function of the covariate(s) of interest. We consider two variants of the estimator depending on whether the nuisance functions are estimated over the full sample or over a hold-out sample. Building on Belloni at al. (2017) and Chernozhukov et al. (2018), we derive functional limit theory for the estimators and provide an easy-to-implement procedure for uniform inference based on the multiplier bootstrap. The empirical application revisits the effect of maternal smoking on a baby's birth weight as a function of the mother's age.


title: Refining the Structure of Neural Networks Using Matrix Conditioning

abstract: Deep learning models have proven to be exceptionally useful in performing many machine learning tasks. However, for each new dataset, choosing an effective size and structure of the model can be a time-consuming process of trial and error. While a small network with few neurons might not be able to capture the intricacies of a given task, having too many neurons can lead to overfitting and poor generalization. Here, we propose a practical method that employs matrix conditioning to automatically design the structure of layers of a feed-forward network, by first adjusting the proportion of neurons among the layers of a network and then scaling the size of network up or down. Results on sample image and non-image datasets demonstrate that our method results in small networks with high accuracies. Finally, guided by matrix conditioning, we provide a method to effectively squeeze models that are already trained. Our techniques reduce the human cost of designing deep learning models and can also reduce training time and the expense of using neural networks for applications.


title: The Hubble-Lema\^{i}tre constant and sound horizon from low-redshift probes

abstract: We revisit the claimed tension, or lack thereof, of measured values of the Hubble-Lema\^{i}tre parameter $H_0$ from Cosmic Microwave Background (CMB) data and low-redshift indicators. Baryon Acoustic Oscillations (BAO) rely on the scale of the sound horizon at recombination $r_s$ to convert angular measurements into angular-diameter distances, so fixing $r_s$ from CMB measurements already constrains $H_0.$ If departures from concordance cosmology are to be constrained, truly independent measurements of $H_0$ are needed. We use the angular-diameter distances to three time-delay lenses from the H0LiCOW collaboration to calibrate the distance ladder, combine them with relative distances from Supernovae Ia and BAO, leaving $r_s$ completely free, and provide the inferred coefficients ($q_{0},j_{0},s_{0}$) in the polynomial expansion of H(z). We obtain $H_{0}r_{s}=(9895\pm161)$km/s and $H_0=(72\pm7)$km/s/Mpc. Combined with $H_0$ from H0LiCOW, then $r_s=(137\pm4.5)$Mpc is consistent with previous work and systematically lower than the CMB-inferred value. Our results are independent of the adopted cosmology, and removing Supernovae with z<0.1 has a negligible effect.


title: Flexibly-Structured Model for Task-Oriented Dialogues

abstract: This paper proposes a novel end-to-end architecture for task-oriented dialogue systems. It is based on a simple and practical yet very effective sequence-to-sequence approach, where language understanding and state tracking tasks are modeled jointly with a structured copy-augmented sequential decoder and a multi-label decoder for each slot. The policy engine and language generation tasks are modeled jointly following that. The copy-augmented sequential decoder deals with new or unknown values in the conversation, while the multi-label decoder combined with the sequential decoder ensures the explicit assignment of values to slots. On the generation part, slot binary classifiers are used to improve performance. This architecture is scalable to real-world scenarios and is shown through an empirical evaluation to achieve state-of-the-art performance on both the Cambridge Restaurant dataset and the Stanford in-car assistant dataset\footnote{The code is available at \url{https://github.com/uber-research/FSDM}}


title: A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions

abstract: In this paper, we focus on the variety DHMSH of dually hemimorphic semi-Heyting algebras from a logical point of view. Firstly, we present a Hilbert-style axiomatization of a new logic called Dually hemimorphic semi-Heyting logic (DHMSH, for short), as an expansion of semi-intuitionistic logic SI (also called SH) introduced by the first author by adding a weak negation (to be interpreted as a dual hemimorphism). We then prove that it is implicative in the sense of Rasiowa and that it is complete with respect to the variety DHMSH. It is deduced that the logic DHMSH is algebraizable in the sense of Blok and Pigozzi, with the variety DHMSH as its equivalent algebraic semantics and that the lattice of axiomatic extensions of DHMSH is dually isomorphic to the lattice of subvarieties of DHMSH. A new axiomatization for Moisil's logic is also obtained. Secondly, we characterize the axiomatic extensions of DHMSH in which the Deduction Theorem holds. Thirdly, we present several new logics, extending the logic DHMSH, corresponding to several important subvarieties of the variety DHMSH. These include logics corresponding to the varieties generated by two-element, three-element and some four-element dually quasi-De Morgan semi-Heyting algebras, as well as a new axiomatization for the 3-valued Lukasiewiczlogic. Surprisingly, many of these logics turn out to be connexive logics, a few of which are presented in this paper. Fourthly, we present axiomatizations for two infinite sequences of logics namely, De Morgan-Goedel logics and dually pseudocomplemented Goedel logics, Fifthly, axiomatizations are also provided for logics corresponding to many subvarieties of regular dually quasi-De Morgan Stone semi-Heyting algebras, of regular De Morgan semi-Heyting algebras of level 1, and of JI-distributive semi-Heyting algebras of level 1. We conclude the paper with some open problems.


title: Fast and Accurate Capitalization and Punctuation for Automatic Speech Recognition Using Transformer and Chunk Merging

abstract: In recent years, studies on automatic speech recognition (ASR) have shown outstanding results that reach human parity on short speech segments. However, there are still difficulties in standardizing the output of ASR such as capitalization and punctuation restoration for long-speech transcription. The problems obstruct readers to understand the ASR output semantically and also cause difficulties for natural language processing models such as NER, POS and semantic parsing. In this paper, we propose a method to restore the punctuation and capitalization for long-speech ASR transcription. The method is based on Transformer models and chunk merging that allows us to (1), build a single model that performs punctuation and capitalization in one go, and (2), perform decoding in parallel while improving the prediction accuracy. Experiments on British National Corpus showed that the proposed approach outperforms existing methods in both accuracy and decoding speed.


title: Evaluation of Headway Threshold-based Coordinated Platooning over a Cascade of Highway Junctions

abstract: Platooning of vehicles with coordinated adaptive cruise control (CACC) capabilities is a promising technology with a strong potential for fuel savings and congestion mitigation. Although some researchers have studied the vehicle-level fuel savings of platooning, few have considered the system-level benefits. This paper evaluates vehicle platooning as a fuel-reduction method and propose a hierarchical control system. We particularly focus on the impact of platooning coordination algorithm on system-wide benefits. The main task of platooning coordination is to regulate the times at which multiple vehicles arrive at a particular junction: these vehicles can platoon only if they meet (i.e. arrive within a common time interval) at the junction. We use a micro-simulation model to evaluate a class of threshold-based coordination strategies and derive insights about the trade-off between the fuel savings due to air drag reduction in platoons and the extra fuel consumption due to the coordination (i.e. acceleration of some vehicles to catch up with the leading ones). The model is calibrated using real traffic data of a section of Interstate 210 in the Los Angeles metropolitan area. We study the relation between key decision variables, including the platooning threshold and the coordination radius, and key performance metric, fuel consumption.


title: Valence-quark distributions of pions and kaons in a nuclear medium

abstract: In-medium valence-quark distributions of $\pi^+$ and $K^+$ mesons in symmetric nuclear matter are studied by combining the Nambu--Jona-Lasinio model and the quark-meson coupling model. The in-medium properties of the current quarks, which are used as inputs for studying the in-medium pion and kaon properties in the Nambu--Jona-Lasinio model, are calculated within the quark-meson coupling model. The light-quark condensates, light-quark dynamical masses, pion and kaon decay constants, and pion- and kaon-quark coupling constants are found to decrease as nuclear density increases. The obtained valence quark distributions in vacuum for both the $\pi^+$ and $K^+$ could reasonably describe the available experimental data over a wide range of Bjorken-$x$. The in-medium valence $u$-quark distribution in the $\pi^+$ at $Q^2=16~\mbox{GeV}^2$ is found to be almost unchanged compared to the in-vacuum case. However, the in-medium to in-vacuum ratios of both the valence $u$-quark and valence $s$-quark distributions of the $K^+$ meson at $Q^2=16~\mbox{GeV}^2$ increase with nuclear matter density, but show different $x$-dependence. Namely, the ratio for the valence $u$-quark distribution increases with $x$, while that for the valence $s$ quark decreases with $x$. These features are enhanced at higher density regions.


title: Giant descendant trees, matchings and independent sets in the age-biased attachment graphs

abstract: We study two models of an age-biased graph process: the $\delta$-version of the preferential attachment graph model (PAM) and the uniform attachment graph model (UAM), with $m$ attachments for each of incoming vertices. We show that almost surely the scaled size of a breadth-first (descendant) tree rooted at a fixed vertex converges, for $m=1$, to a limit whose distribution is a mixture of two beta-distributions and a single beta-distribution respectively, and that for $m>1$ the limit is $1$. We also analyze the likely performance of two greedy (online) algorithms, for a large matching set and a large independent set, and determine--for each model and each greedy algorithm--both a limiting fraction of vertices involved and an almost sure convergence rate.


title: Analytical Performance Models for NoCs with Multiple Priority Traffic Classes

abstract: Networks-on-chip (NoCs) have become the standard for interconnect solutions in industrial designs ranging from client CPUs to many-core chip-multiprocessors. Since NoCs play a vital role in system performance and power consumption, pre-silicon evaluation environments include cycle-accurate NoC simulators. Long simulations increase the execution time of evaluation frameworks, which are already notoriously slow, and prohibit design-space exploration. Existing analytical NoC models, which assume fair arbitration, cannot replace these simulations since industrial NoCs typically employ priority schedulers and multiple priority classes. To address this limitation, we propose a systematic approach to construct priority-aware analytical performance models using micro-architecture specifications and input traffic. Our approach consists of developing two novel transformations of queuing system and designing an algorithm which iteratively uses these two transformations to estimate end-to-end latency. Our approach decomposes the given NoC into individual queues with modified service time to enable accurate and scalable latency computations. Specifically, we introduce novel transformations along with an algorithm that iteratively applies these transformations to decompose the queuing system. Experimental evaluations using real architectures and applications show high accuracy of 97% and up to 2.5x speedup in full-system simulation.


title: Blocks: Collaborative and Persistent Augmented Reality Experiences

abstract: We introduce Blocks, a mobile application that enables people to co-create AR structures that persist in the physical environment. Using Blocks, end users can collaborate synchronously or asynchronously, whether they are colocated or remote. Additionally, the AR structures can be tied to a physical location or can be accessed from anywhere. We evaluated how people used Blocks through a series of lab and field deployment studies with over 160 participants, and explored the interplay between two collaborative dimensions: space and time. We found that participants preferred creating structures synchronously with colocated collaborators. Additionally, they were most active when they created structures that were not restricted by time or place. Unlike most of today's AR experiences, which focus on content consumption, this work outlines new design opportunities for persistent and collaborative AR experiences that empower anyone to collaborate and create AR content.


title: Representations of two-qubit and ququart states via discrete Wigner functions

abstract: By means of a well-grounded mapping scheme linking Schwinger unitary operators and generators of the special unitary group $\mathrm{SU(N)}$, it is possible to establish a self-consistent theoretical framework for finite-dimensional discrete phase spaces which has the discrete $\mathrm{SU(N)}$ Wigner function as a legitimate by-product. In this paper, we apply these results with the aim of putting forth a detailed study on the discrete $\mathrm{SU(2)} \otimes \mathrm{SU(2)}$ and $\mathrm{SU(4)}$ Wigner functions, in straight connection with experiments involving, among other things, the tomographic reconstruction of density matrices related to the two-qubit and ququart states. Next, we establish a formal correspondence between both the descriptions that allows us to visualize the quantum correlation effects of these states in finite-dimensional discrete phase spaces. Moreover, we perform a theoretical investigation on the two-qubit X-states, which combines discrete Wigner functions and their respective marginal distributions in order to obtain a new function responsible for describing qualitatively the quantum correlation effects. To conclude, we also discuss possible extensions to the discrete Husimi and Glauber-Sudarshan distribution functions, as well as future applications on spin chains.


title: Numerical exploration of three relativistic particles in a finite volume including two-particle resonances and bound states

abstract: In this work, we use an extension of the quantization condition, given in Ref. [1], to numerically explore the finite-volume spectrum of three relativistic particles, in the case that two-particle subsets are either resonant or bound. The original form of the relativistic three-particle quantization condition was derived under a technical assumption on the two-particle K matrix that required the absence of two-particle bound states or narrow two-particle resonances. Here we describe how this restriction can be lifted in a simple way using the freedom in the definition of the K-matrix-like quantity that enters the quantization condition. With this in hand, we extend previous numerical studies of the quantization condition to explore the finite-volume signature for a variety of two- and three-particle interactions. We determine the spectrum for parameters such that the system contains both dimers (two-particle bound states) and one or more trimers (in which all three particles are bound), and also for cases where the two-particle subchannel is resonant. We also show how the quantization condition provides a tool for determining infinite-volume dimer-particle scattering amplitudes for energies below the dimer breakup. We illustrate this for a series of examples, including one that parallels physical deuteron-nucleon scattering. All calculations presented here are restricted to the case of three identical scalar particles.

categories: hep-lat cond-mat.stat-mech hep-ph nucl-th physics.atom-ph


title: From Crowdsourcing to Crowdmining: Using Implicit Human Intelligence for Better Understanding of Crowdsourced Data

abstract: With the development of mobile social networks, more and more crowdsourced data are generated on the Web or collected from real-world sensing. The fragment, heterogeneous, and noisy nature of online/offline crowdsourced data, however, makes it difficult to be understood. Traditional content-based analyzing methods suffer from potential issues such as computational intensiveness and poor performance. To address them, this paper presents CrowdMining. In particular, we observe that the knowledge hidden in the process of data generation, regarding individual/crowd behavior patterns (e.g., mobility patterns, community contexts such as social ties and structure) and crowd-object interaction patterns (flickering or tweeting patterns) are neglected in crowdsourced data mining. Therefore, a novel approach that leverages implicit human intelligence (implicit HI) for crowdsourced data mining and understanding is proposed. Two studies titled CrowdEvent and CrowdRoute are presented to showcase its usage, where implicit HIs are extracted either from online or offline crowdsourced data. A generic model for CrowdMining is further proposed based on a set of existing studies. Experiments based on real-world datasets demonstrate the effectiveness of CrowdMining.


title: Integrable multi-component difference systems of equations

abstract: We present two lists of multi-component systems of integrable difference equations defined on the edges of a $\mathbb{Z}^2$ graph. The integrability of these systems is manifested by their Lax formulation which is a consequence of the multi-dimensional compatibility of these systems. Imposing constraints consistent with the systems of difference equations, we recover known integrable quad-equations including the discrete version of the Krichever-Novikov equation. The systems of difference equations allow us for a straightforward reformulation as Yang-Baxter maps. Certain two-component systems of equation defined on the vertices of a $\mathbb{Z}^2$ lattice, their non-potential form and integrable equations defined on 5-point stencils, are also obtained.


title: Space-Efficient Gradual Typing in Coercion-Passing Style

abstract: Herman et al. pointed out that the insertion of run-time checks into a gradually typed program could hamper tail-call optimization and, as a result, worsen the space complexity of the program. To address the problem, they proposed a space-efficient coercion calculus, which was subsequently improved by Siek et al. The semantics of these calculi involves eager composition of run-time checks expressed by coercions to prevent the size of a term from growing. However, it relies also on a nonstandard reduction rule, which does not seem easy to implement. In fact, no compiler implementation of gradually typed languages fully supports the space-efficient semantics faithfully. In this paper, we study coercion-passing style, which Herman et al. have already mentioned, as a technique for straightforward space-efficient implementation of gradually typed languages. A program in coercion-passing style passes "the rest of the run-time checks" around---just like continuation-passing style (CPS), in which "the rest of the computation" is passed around---and (unlike CPS) composes coercions eagerly. We give a formal coercion-passing translation from $\lambda$S by Siek et al. to $\lambda$S$_1$, which is a new calculus of first-class coercions tailored for coercion-passing style, and prove correctness of the translation. We also implement our coercion-passing style transformation for the Grift compiler developed by Kuhlenschmidt et al. An experimental result shows stack overflow can be prevented properly at the cost of up to 3 times slower execution for most partially typed practical programs.


title: Redundancy Scheduling in Systems with Bi-Modal Job Service Time Distribution

abstract: Queuing systems with redundant requests have drawn great attention because of their promise to reduce the job completion time and variability. Despite a large body of work on the topic, we are still far from fully understanding the benefits of redundancy in practice. We here take one step towards practical systems by studying queuing systems with bi-modal job service time distribution. Such distributions have been observed in practice, as can be seen in, e.g., Google cluster traces. We develop an analogy to a classical urns and balls problem, and use it to study the queuing time performance of two non-adaptive classical scheduling policies: random and round-robin. We introduce new performance indicators in the analogous model, and argue that they are good predictors of the queuing time in non-adaptive scheduling policies. We then propose a non-adaptive scheduling policy that is based on combinatorial designs, and show that it has better performance indicators. Simulations confirm that the proposed scheduling policy, as the performance indicators suggest, reduces the queuing times compared to random and round-robin scheduling.