title: Outcome identification in electronic health records using predictions from an enriched Dirichlet process mixture

abstract: We propose a novel semiparametric model for the joint distribution of a continuous longitudinal outcome and the baseline covariates using an enriched Dirichlet process (EDP) prior. This joint model decomposes into a linear mixed model for the outcome given the covariates and marginals for the covariates. The nonparametric EDP prior is placed on the regression and spline coefficients, the error variance, and the parameters governing the predictor space. We predict the outcome at unobserved time points for subjects with data at other time points as well as for new subjects with only baseline covariates. We find improved prediction over mixed models with Dirichlet process (DP) priors when there are a large number of covariates. Our method is demonstrated with electronic health records consisting of initiators of second generation antipsychotic medications, which are known to increase the risk of diabetes. We use our model to predict laboratory values indicative of diabetes for each individual and assess incidence of suspected diabetes from the predicted dataset. Our model also serves as a functional clustering algorithm in which subjects are clustered into groups with similar longitudinal trajectories of the outcome over time.


title: D2D Communications Underlaying Wireless Powered Communication Networks

abstract: In this paper, we investigate the resource allocation problem for D2D communications underlaying wireless powered communication networks, where multiple D2D pairs harvest energy from a power station equipped with multiple antennas and then transmit information signals simultaneously over the same spectrum resource. The aim is to maximize the sum throughput via joint time scheduling and power control, while satisfying the energy causality constraints. The formulated non-convex problem is first transformed into a nonlinear fractional programming problem with a tactful reformulation. Then, by leveraging D.C. (difference of two convex functions) programming, a suboptimal solution to the non-convex problem is obtained by iteratively solving a sequence of convex problems. Simulation results demonstrate that the proposed scheme works well in different scenarios and can significantly improve the system throughput compared with the-state-of-the-art schemes.


title: Achieving High-Fidelity Single-Qubit Gates in a Strongly Driven Charge Qubit with $1\!/\!f$ Charge Noise

abstract: Charge qubits formed in double quantum dots represent quintessential two-level systems that enjoy both ease of control and efficient readout. Unfortunately, charge noise can cause rapid decoherence, with typical single-qubit gate fidelities falling below $90\%$. Here, we develop analytical methods to study the evolution of strongly driven charge qubits, for general and $1\!/\!f$ charge-noise spectra. We show that special pulsing techniques can simultaneously suppress errors due to strong driving and charge noise, yielding single-qubit gates with fidelities above $99.9\%$. These results demonstrate that quantum dot charge qubits provide a potential route to high-fidelity quantum computation.


title: Jenkins-Serrin graphs in $M\times\mathbb{R}$

abstract: The so called Jenkins-Serrin problem is a kind of Dirichlet problem for graphs with prescribed mean curvature that combines, at the same time, continuous boundary data with regions of the boundary where the boundary values explodes either to $+\infty$ or to $-\infty.$ We give a survey on the development of Jenkins-Serrin type problems over domains on Riemannian manifolds. The existence of this type of graphs imposes restrictions on the geometry of the boundary of these domains. We also improve some earlier results by proving Theorem 1.8, and prove the existence of translating Jenkins-Serrin graphs (Theorem 1.9).


title: Gaussian Mixture Reduction for Time-Constrained Approximate Inference in Hybrid Bayesian Networks

abstract: Hybrid Bayesian Networks (HBNs), which contain both discrete and continuous variables, arise naturally in many application areas (e.g., image understanding, data fusion, medical diagnosis, fraud detection). This paper concerns inference in an important subclass of HBNs, the conditional Gaussian (CG) networks, in which all continuous random variables have Gaussian distributions and all children of continuous random variables must be continuous. Inference in CG networks can be NP-hard even for special-case structures, such as poly-trees, where inference in discrete Bayesian networks can be performed in polynomial time. Therefore, approximate inference is required. In approximate inference, it is often necessary to trade off accuracy against solution time. This paper presents an extension to the Hybrid Message Passing inference algorithm for general CG networks and an algorithm for optimizing its accuracy given a bound on computation time. The extended algorithm uses Gaussian mixture reduction to prevent an exponential increase in the number of Gaussian mixture components. The trade-off algorithm performs pre-processing to find optimal run-time settings for the extended algorithm. Experimental results for four CG networks compare performance of the extended algorithm with existing algorithms and show the optimal settings for these CG networks.


title: Use of mathematical modeling to study pressure regimes in normal and Fontan blood flow circulations

abstract: We develop two mathematical lumped parameter models for blood pressure distribution in the Fontan blood flow circulation: an ODE based spatially homogeneous model and a PDE based spatially inhomogeneous model. We present numerical simulations of the cardiac pressure-volume cycle and study the effect of pulmonary resistance on cardiac output. We analyze solutions of two initial-boundary value problems for a non-linear parabolic partial differential equation (PDE models) with switching in the time dynamic boundary conditions which model blood pressure distribution in the cardiovascular system with and without Fontan surgery. We also obtain necessary conditions for parameter values of the PDE models for existence and uniqueness of non-negative bounded periodic solutions.


title: unyt: Handle, manipulate, and convert data with units in Python

abstract: Software that processes real-world data or that models a physical system must have some way of managing units. While simple approaches like the understood convention that all data are in a unit system (such as the MKS SI unit system) do work in practice, they are fraught with possible sources of error both by developers and users of the software. In this paper we present unyt, a Python library based on NumPy and SymPy for handling data that has units. It is designed both to aid quick interactive calculations and to be tightly integrated into a larger Python application or library. We compare unyt with two other Python libraries for handling units, Pint and astropy.units, and find that unyt is faster, has higher test coverage, and has fewer lines of code.


title: Finding Convincing Arguments Using Scalable Bayesian Preference Learning

abstract: We introduce a scalable Bayesian preference learning method for identifying convincing arguments in the absence of gold-standard rat- ings or rankings. In contrast to previous work, we avoid the need for separate methods to perform quality control on training data, predict rankings and perform pairwise classification. Bayesian approaches are an effective solution when faced with sparse or noisy training data, but have not previously been used to identify convincing arguments. One issue is scalability, which we address by developing a stochastic variational inference method for Gaussian process (GP) preference learning. We show how our method can be applied to predict argument convincingness from crowdsourced data, outperforming the previous state-of-the-art, particularly when trained with small amounts of unreliable data. We demonstrate how the Bayesian approach enables more effective active learning, thereby reducing the amount of data required to identify convincing arguments for new users and domains. While word embeddings are principally used with neural networks, our results show that word embeddings in combination with linguistic features also benefit GPs when predicting argument convincingness.


title: A Likelihood-based Alternative to Null Hypothesis Significance Testing

abstract: The logical and practical difficulties associated with research interpretation using P values and null hypothesis significance testing have been extensively documented. This paper describes an alternative, likelihood-based approach to P-value interpretation. The P-value and sample size of a research study are used to derive a likelihood function with a single parameter, the estimated population effect size, and the method of maximum likelihood estimation is used to calculate the most likely effect size. Comparison of the likelihood of the most likely effect size and the likelihood of the minimum clinically significant effect size using the likelihood ratio test yields the clinical significance support level (or S-value), a logical and easily understood metric of research evidence. This clinical significance likelihood approach has distinct advantages over null hypothesis significance testing. As motivating examples we demonstrate the calculation and interpretation of S-values applied to two recent widely publicised trials, WOMAN from the Lancet and RELIEF from the New England Journal of Medicine.


title: Simulating the stochastic dynamics and cascade failure of power networks

abstract: For large-scale power networks, the failure of particular transmission lines can offload power to other lines and cause self-protection trips to activate, instigating a cascade of line failures. In extreme cases, this can bring down the entire network. Learning where the vulnerabilities are and the expected timescales for which failures are likely is an active area of research. In this article we present a novel stochastic dynamics model for a large-scale power network along with a framework for efficient computer simulation of the model including long timescale events such as cascade failure. We build on an existing Hamiltonian formulation and introduce stochastic forcing and damping components to simulate small perturbations to the network. Our model and simulation framework allow assessment of the particular weaknesses in a power network that make it susceptible to cascade failure, along with the timescales and mechanism for expected failures.


title: Human-aided Multi-Entity Bayesian Networks Learning from Relational Data

abstract: An Artificial Intelligence (AI) system is an autonomous system which emulates human mental and physical activities such as Observe, Orient, Decide, and Act, called the OODA process. An AI system performing the OODA process requires a semantically rich representation to handle a complex real world situation and ability to reason under uncertainty about the situation. Multi-Entity Bayesian Networks (MEBNs) combines First-Order Logic with Bayesian Networks for representing and reasoning about uncertainty in complex, knowledge-rich domains. MEBN goes beyond standard Bayesian networks to enable reasoning about an unknown number of entities interacting with each other in various types of relationships, a key requirement for the OODA process of an AI system. MEBN models have heretofore been constructed manually by a domain expert. However, manual MEBN modeling is labor-intensive and insufficiently agile. To address these problems, an efficient method is needed for MEBN modeling. One of the methods is to use machine learning to learn a MEBN model in whole or in part from data. In the era of Big Data, data-rich environments, characterized by uncertainty and complexity, have become ubiquitous. The larger the data sample is, the more accurate the results of the machine learning approach can be. Therefore, machine learning has potential to improve the quality of MEBN models as well as the effectiveness for MEBN modeling. In this research, we study a MEBN learning framework to develop a MEBN model from a combination of domain expert's knowledge and data. To evaluate the MEBN learning framework, we conduct an experiment to compare the MEBN learning framework and the existing manual MEBN modeling in terms of development efficiency.


title: Testing of the LSST's photometric calibration strategy at the CTIO 0.9 meter telescope

abstract: The calibration hardware system of the Large Synoptic Survey Telescope (LSST) is designed to measure two quantities: a telescope's instrumental response and atmospheric transmission, both as a function of wavelength. First of all, a "collimated beam projector" is designed to measure the instrumental response function by projecting monochromatic light through a mask and a collimating optic onto the telescope. During the measurement, the light level is monitored with a NIST-traceable photodiode. This method does not suffer from stray light effects or the reflections (known as ghosting) present when using a flat-field screen illumination, which has a systematic source of uncertainty from uncontrolled reflections. It allows for an independent measurement of the throughput of the telescope's optical train as well as each filter's transmission as a function of position on the primary mirror. Second, CALSPEC stars can be used as calibrated light sources to illuminate the atmosphere and measure its transmission. To measure the atmosphere's transfer function, we use the telescope's imager with a Ronchi grating in place of a filter to configure it as a low resolution slitless spectrograph. In this paper, we describe this calibration strategy, focusing on results from a prototype system at the Cerro Tololo Inter-American Observatory (CTIO) 0.9 meter telescope. We compare the instrumental throughput measurements to nominal values measured using a laboratory spectrophotometer, and we describe measurements of the atmosphere made via CALSPEC standard stars during the same run.


title: Enlarged exceptional symmetries of first-quantized F-theory

abstract: The exceptional symmetries of supergravity have been reproduced from the Hamiltonian formulation of the classical mechanics of F-theory. We now find the Lagrangian formalism has even larger exceptional symmetries, simplifying its derivation: We discuss D = 5 as an example.


title: Action4D: Real-time Action Recognition in the Crowd and Clutter

abstract: Recognizing every person's action in a crowded and cluttered environment is a challenging task. In this paper, we propose a real-time action recognition method, Action4D, which gives reliable and accurate results in the real-world settings. We propose to tackle the action recognition problem using a holistic 4D "scan" of a cluttered scene to include every detail about the people and environment. Recognizing multiple people's actions in the cluttered 4D representation is a new problem. In this paper, we propose novel methods to solve this problem. We propose a new method to track people in 4D, which can reliably detect and follow each person in real time. We propose a new deep neural network, the Action4D-Net, to recognize the action of each tracked person. The Action4D-Net's novel structure uses both the global feature and the focused attention to achieve state-of-the-art result. Our real-time method is invariant to camera view angles, resistant to clutter and able to handle crowd. The experimental results show that the proposed method is fast, reliable and accurate. Our method paves the way to action recognition in the real-world applications and is ready to be deployed to enable smart homes, smart factories and smart stores.


title: Online User Assessment for Minimal Intervention During Task-Based Robotic Assistance

abstract: We propose a novel criterion for evaluating user input for human-robot interfaces for known tasks. We use the mode insertion gradient (MIG)---a tool from hybrid control theory---as a filtering criterion that instantaneously assesses the impact of user actions on a dynamic system over a time window into the future. As a result, the filter is permissive to many chosen strategies, minimally engaging, and skill-sensitive---qualities desired when evaluating human actions. Through a human study with 28 healthy volunteers, we show that the criterion exhibits a low, but significant, negative correlation between skill level, as estimated from task-specific measures in unassisted trials, and the rate of controller intervention during assistance. Moreover, a MIG-based filter can be utilized to create a shared control scheme for training or assistance. In the human study, we observe a substantial training effect when using a MIG-based filter to perform cart-pendulum inversion, particularly when comparing improvement via the RMS error measure. Using simulation of a controlled spring-loaded inverted pendulum (SLIP) as a test case, we observe that the MIG criterion could be used for assistance to guarantee either task completion or safety of a joint human-robot system, while maintaining the system's flexibility with respect to user-chosen strategies.


title: Deep Variational Reinforcement Learning for POMDPs

abstract: Many real-world sequential decision making problems are partially observable by nature, and the environment model is typically unknown. Consequently, there is great need for reinforcement learning methods that can tackle such problems given only a stream of incomplete and noisy observations. In this paper, we propose deep variational reinforcement learning (DVRL), which introduces an inductive bias that allows an agent to learn a generative model of the environment and perform inference in that model to effectively aggregate the available information. We develop an n-step approximation to the evidence lower bound (ELBO), allowing the model to be trained jointly with the policy. This ensures that the latent state representation is suitable for the control task. In experiments on Mountain Hike and flickering Atari we show that our method outperforms previous approaches relying on recurrent neural networks to encode the past.


title: Hamiltonian Learning with Online Bayesian Experiment Design in Practice

abstract: Estimating parameters of quantum systems is usually done by performing a sequence of predetermined experiments and post-processing the resulting data. It is known that online design, where the choice of the next experiment is based on the most up-to-date knowledge about the system, can offer speedups to parameter estimation. We apply online Bayesian experiment design to a Nitrogen Vacancy (NV) in diamond to learn the values of a five-parameter model describing its Hamiltonian and decoherence process. Comparing this to standard pre-determined experiment sweeps, we find that we can achieve median posterior variances on some parameters that are between 10 and 100 times better given the same amount of data. This has applications to NV magnetometry where one of the Hamiltonian coefficients is the parameter of interest. Furthermore, the methods that we use are generic and can be adapted to any quantum device.


title: On categories of equivariant D-modules

abstract: Let $X$ be a variety with an action by an algebraic group $G$. In this paper we discuss various properties of $G$-equivariant $D$-modules on $X$, such as the decompositions of their global sections as representations of $G$ (when $G$ is reductive), and descriptions of the categories that they form. When $G$ acts on $X$ with finitely many orbits, the category of equivariant $D$-modules is isomorphic to the category of finite-dimensional representations of a finite quiver with relations. We describe explicitly these categories for irreducible $G$-modules $X$ that are spherical varieties, and show that in such cases the quivers are almost always representation-finite (i.e. with finitely many indecomposable representations).


title: Bayesian Inference for Diffusion Processes: Using Higher-Order Approximations for Transition Densities

abstract: Modelling random dynamical systems in continuous time, diffusion processes are a powerful tool in many areas of science. Model parameters can be estimated from time-discretely observed processes using Markov chain Monte Carlo (MCMC) methods that introduce auxiliary data. These methods typically approximate the transition densities of the process numerically, both for calculating the posterior densities and proposing auxiliary data. Here, the Euler-Maruyama scheme is the standard approximation technique. However, the MCMC method is computationally expensive. Using higher-order approximations may accelerate it, but the specific implementation and benefit remain unclear. Hence, we investigate the utilisation and usefulness of higher-order approximations in the example of the Milstein scheme. Our study demonstrates that the MCMC methods based on the Milstein approximation yield good estimation results. However, they are computationally more expensive and can be applied to multidimensional processes only with impractical restrictions. Moreover, the combination of the Milstein approximation and the well-known modified bridge proposal introduces additional numerical challenges.


title: Identifying Heritable Communities of Microbiome by Root-Unifrac and Wishart Distribution

abstract: We introduce a method to identify heritable microbiome communities when the input is a pairwise dissimilarity matrix among all samples. Current methods target each taxon individually and are unable to take advantage of their phylogenetic relationships. In contrast, our approach focuses on community heritability by using the root-Unifrac to summarize the microbiome samples through their pairwise dissimilarities while taking the phylogeny into account. The resulting dissimilarity matrix is then transformed into an outer product matrix and further modeled through a Wishart distribution with the same set of variance components as in the univariate model. Directly modeling the entire dissimilarity matrix allows us to bypass any dimension reduction steps. An important contribution of our work is to prove the positive definiteness of such outer product matrix, hence the applicability of the Wishart distribution. Simulation shows that this community heritability approach has higher power than existing methods to identify heritable groups of taxa. Empirical results on the TwinsUK dataset are also provided.


title: The Eisenhart Lift for Field Theories

abstract: We present the Eisenhart-lift formalism in which the dynamics of a system that evolves under the influence of a conservative force is equivalent to that of a free system embedded in a curved manifold with one additional generalised coordinate. As an illustrative example in Classical Mechanics, we apply this formalism to simple harmonic motion. We extend the Eisenhart lift to homogeneous field theories by adding one new field. Unlike an auxiliary field, this field is fully dynamical and is therefore termed fictitious. We show that the Noether symmetries of a theory with a potential are solutions of the Killing equations in the lifted field space. We generalise this approach to field theories in four and higher spacetime dimensions by virtue of a mixed vielbein that links the field space and spacetime. Possible applications of the extended Eisenhart-lift formalism including the gauge hierarchy problem and the initial conditions problem in inflation are briefly discussed.

categories: physics.class-ph gr-qc hep-ph hep-th math-ph math.MP


title: Obfuscation Resilient Search through Executable Classification

abstract: Android applications are usually obfuscated before release, making it difficult to analyze them for malware presence or intellectual property violations. Obfuscators might hide the true intent of code by renaming variables and/or modifying program structures. It is challenging to search for executables relevant to an obfuscated application for developers to analyze efficiently. Prior approaches toward obfuscation resilient search have relied on certain structural parts of apps remaining as landmarks, un-touched by obfuscation. For instance, some prior approaches have assumed that the structural relationships between identifiers are not broken by obfuscators; others have assumed that control flow graphs maintain their structures. Both approaches can be easily defeated by a motivated obfuscator. We present a new approach,Macneto, to search for programs relevant to obfuscated executables leveraging deep learning and principal components on instructions. Macneto makes few assumptions about the kinds of modifications that an obfuscator might perform. We show that it has high search precision for executables obfuscated by a state-of-the-art obfuscator that changes control flow. Further, we also demonstrate the potential of Macneto to help developers understand executables, where Macneto infers keywords (which are from the relevant unobfuscated program) for obfuscated executables.


title: Optimal Energy Consumption Forecast for Grid Responsive Buildings: A Sensitivity Analysis

abstract: It is envisioned that building systems will become active participants in the smart grid operation by controlling their energy consumption to optimize complex criteria beyond ensuring local end-use comfort satisfaction. A forecast of the building energy consumption will be necessary to enable integration between building and grid operation. Such forecast will be affected by parametric and measurement uncertainty. In this paper we develop a methodology for quantifying the sensitivity of optimal hourly energy consumption forecasts to various sources model and measurement uncertainty. We demonstrate the approach for a building heating ventilation and air conditioning (HVAC) system use-case.


title: The VLA Nascent Disk And Multiplicity Survey of Perseus Protostars (VANDAM). IV. Free-Free Emission from Protostars: Links to Infrared Properties, Outflow Tracers, and Protostellar Disk Masses

abstract: Emission from protostars at centimeter radio wavelengths has been shown to trace the free-free emission arising from ionizing shocks as a result of jets and outflows driven by protostars. Therefore, measuring properties of protostars at radio frequencies can provide valuable insights into the nature of their outflows and jets. We present a C-band (4.1 cm and 6.4 cm) survey of all known protostars (Class 0 and Class I) in Perseus as part of the VLA Nascent Disk and Multiplicity (VANDAM) Survey. We examine the known correlations between radio flux density and protostellar parameters such as bolometric luminosity and outflow force, for our sample. We also investigate the relationship between radio flux density and far-infrared line luminosities from Herschel. We show that free-free emission originates most likely from J-type shocks; however, the large scatter indicates that those two types of emission probe different time and spatial scales. Using C-band fluxes, we removed an estimation of free-free contamination from the corresponding Ka-band (9 mm) flux densities that primarily probe dust emission from embedded disks. We find that the compact ($<$~1") dust emission is lower for Class I sources (median dust mass 96 M$_{\oplus}$) relative to Class 0 (248 M$_{\oplus}$), but several times higher than in Class II (5-15 M$_{\oplus}$). If this compact dust emission is tracing primarily the embedded disk, as is likely for many sources, this result provides evidence for decreasing disk masses with protostellar evolution, with sufficient mass for forming giant planet cores primarily at early times.


title: Increased adaptability to rapid environmental change can more than make up for the two-fold cost of males

abstract: The famous "two-fold cost of sex" is really the cost of anisogamy -- why should females mate with males who do not contribute resources to offspring, rather than isogamous partners who contribute equally? In typical anisogamous populations, a single very fit male can have an enormous number of offspring, far larger than is possible for any female or isogamous individual. If the sexual selection on males aligns with the natural selection on females, anisogamy thus allows much more rapid adaptation via super-successful males. We show via simulations that this effect can be sufficient to overcome the two-fold cost and maintain anisogamy against isogamy in populations adapting to environmental change. The key quantity is the variance in male fitness -- if this exceeds what is possible in an isogamous population, anisogamous populations can win out in direct competition by adapting faster.


title: Multiphoton Tomography with Linear Optics and Photon Counting

abstract: Determining an unknown quantum state from an ensemble of identical systems is a fundamental, yet experimentally demanding, task in quantum science. Here we study the number of measurement bases needed to fully characterize an arbitrary multi-mode state containing a definite number of photons, or an arbitrary mixture of such states. We show this task can be achieved using only linear optics and photon counting, which yield a practical though non-universal set of projective measurements. We derive the minimum number of measurement settings required and numerically show that this lower bound is saturated with random linear optics configurations, such as when the corresponding unitary transformation is Haar-random. Furthermore, we show that for N photons, any unitary 2N-design can be used to derive an analytical, though non-optimal, state reconstruction protocol.


title: Studying the Difference Between Natural and Programming Language Corpora

abstract: Code corpora, as observed in large software systems, are now known to be far more repetitive and predictable than natural language corpora. But why? Does the difference simply arise from the syntactic limitations of programming languages? Or does it arise from the differences in authoring decisions made by the writers of these natural and programming language texts? We conjecture that the differences are not entirely due to syntax, but also from the fact that reading and writing code is un-natural for humans, and requires substantial mental effort; so, people prefer to write code in ways that are familiar to both reader and writer. To support this argument, we present results from two sets of studies: 1) a first set aimed at attenuating the effects of syntax, and 2) a second, aimed at measuring repetitiveness of text written in other settings (e.g. second language, technical/specialized jargon), which are also effortful to write. We find find that this repetition in source code is not entirely the result of grammar constraints, and thus some repetition must result from human choice. While the evidence we find of similar repetitive behavior in technical and learner corpora does not conclusively show that such language is used by humans to mitigate difficulty, it is consistent with that theory.


title: Restoring gauge invariance in conventional fluctuation corrections to a superconductor

abstract: The complete set of diagrams for conventional fluctuation corrections to the normal state of an ultraclean superconductor is derived using the functional-integral approach. The standard diagrams which characterize the fluctuation phase of a superconductor, namely, Aslamazov-Larkin, Maki-Thompson, and Density of States, are obtained and proved to be insufficient to produce a gauge-invariant electromagnetic response. An additional diagram is derived, and it is found to be essential for resolving a problematic and underappreciated aspect of the conventional fluctuation formalism. It is only with the inclusion of this additional diagram that the theory is now rendered gauge invariant and does not display a normal-state Meissner effect. It is shown that not only the Aslamazov-Larkin term but all of the microscopic diagrams are encapsulated within a Gaussian-level treatment of the effective action.


title: Modification of Dzyaloshinskii-Moriya interaction stabilized domain wall chirality by driving currents

abstract: We measure and analyze the chirality of the Dzyaloshinskii-Moriya interaction (DMI) stabilized spin textures in multilayers of Ta/Co$_{20}$Fe$_{60}$B$_{20}$/MgO. The effective DMI is measured experimentally using domain wall motion measurements, both in the presence (using spin orbit torques) and absence of driving currents (using magnetic fields). We observe that the current-induced domain wall motion yields a change in effective DMI magnitude and opposite domain wall chirality when compared to field-induced domain wall motion (without current). We explore this effect, which we refer to as current-induced DMI, by providing possible explanations for its emergence, and explore the possibilty of its manifestation in the framework of recent theoretical predictions of DMI modifications due to spin currents.


title: A note on band surgery and the signature of a knot

abstract: Band surgery is an operation relating pairs of knots or links in the three-sphere. We prove that if two quasi-alternating knots $K$ and $K'$ of the same square-free determinant are related by a band surgery, then the absolute value of the difference in their signatures is either 0 or 8. This obstruction follows from a more general theorem about the difference in the Heegaard Floer $d$-invariants for pairs of L-spaces that are related by distance one Dehn fillings and satisfy a certain condition in first homology. These results imply that $T(2, 5)$ is the only torus knot $T(2, m)$ with $m$ square-free that admits a chirally cosmetic banding, i.e. a band surgery operation to its mirror image. We conclude with a discussion on the scarcity of chirally cosmetic bandings.


title: A power series identity and Bessel-type integrals over unitary groups

abstract: In 2008, Lehner, Wettig, Guhr and Wei conjectured a power series identity and showed that it implied a determinantal formula for a Bessel-type integral over the unitary supergroup. The integral is the supersymmetric extension of Bessel-type integrals over the unitary group appearing as partition functions in quantum chromodynamics. The identity is proved by interpreting both sides as the same unitary integral, which can be computed using the Cartan decomposition. An equivalent identity of Schur functions is also given and interpreted probabilistically.


title: Excitation of magnon spin photocurrents in antiferromagnetic insulators

abstract: In the circular photogalvanic effect, circularly polarized light can produce a direct electron photocurrent in metals and the direction of the current depends on the polarization. We suggest that an analogous nonlinear effect exists for antiferromagnetic insulators wherein the total spin of light and spin waves is conserved. In consequence, a spin angular momentum is expected to be transfered from photons to magnons so that a circularly polarized electromagnetic field will generate a direct magnon spin current. The direction of the current is determined by the helicity of the light. We show that this resonant effect appears as a second order light-matter interaction. We find also a geometric contribution to the spin photocurrent, which appears for materials with complex lattice structures and Dzyaloshinskii-Moriya interactions.


title: Equilibrium states and entropy theory for Nica-Pimsner algebras

abstract: We study the equilibrium simplex of Nica-Pimsner algebras arising from product systems of finite rank on the free abelian semigroup. First we show that every equilibrium state has a convex decomposition into parts parametrized by ideals on the unit hypercube. Secondly we associate every gauge-invariant part to a sub-simplex of tracial states of the diagonal algebra. We show how this parametrization lifts to the full equilibrium simplices of non-infinite type. The finite rank entails an entropy theory for identifying the two critical inverse temperatures: (a) the least upper bound for existence of non finite-type equilibrium states, and (b) the least positive inverse temperature below which there are no equilibrium states at all. We show that the first one can be at most the strong entropy of the product system whereas the second is the infimum of the tracial entropies (modulo negative values). Thus phase transitions can happen only in-between these two critical points and possibly at zero temperature.


title: Eliminating Timing Side-Channel Leaks using Program Repair

abstract: We propose a method, based on program analysis and transformation, for eliminating timing side channels in software code that implements security-critical applications. Our method takes as input the original program together with a list of secret variables (e.g., cryptographic keys, security tokens, or passwords) and returns the transformed program as output. The transformed program is guaranteed to be functionally equivalent to the original program and free of both instruction- and cache-timing side channels. Specifically, we ensure that the number of CPU cycles taken to execute any path is independent of the secret data, and the cache behavior of memory accesses, in terms of hits and misses, is independent of the secret data. We have implemented our method in LLVM and validated its effectiveness on a large set of applications, which are cryptographic libraries with 19,708 lines of C/C++ code in total. Our experiments show the method is both scalable for real applications and effective in eliminating timing side channels.


title: An improved half-life limit of the double beta decay of $^{94}$Zr into the excited state of $^{94}$Mo

abstract: A search for the double beta decay transition of $^{94}$Zr into the first excited state of $^{94}$Mo has been performed at the Felsenkeller underground laboratory in Dresden, Germany. A 341.1 g zirconium sample with natural isotopic composition has been measured for 43.9 d in an ultra low background gamma spectroscopy setup. No signal has been observed and a new best lower half-life limit is set as $5.2\times10^{19}$ yr (90% CI). This limit is valid for the $0\nu\beta\beta$ and $2\nu\beta\beta$ decay into excited states of $^{94}$Mo but cannot distinguish between the two modes. Existing limits are improved by 50%.


title: Deep Ordinal Regression Network for Monocular Depth Estimation

abstract: Monocular depth estimation, which plays a crucial role in understanding 3D scene geometry, is an ill-posed problem. Recent methods have gained significant improvement by exploring image-level information and hierarchical features from deep convolutional neural networks (DCNNs). These methods model depth estimation as a regression problem and train the regression networks by minimizing mean squared error, which suffers from slow convergence and unsatisfactory local solutions. Besides, existing depth estimation networks employ repeated spatial pooling operations, resulting in undesirable low-resolution feature maps. To obtain high-resolution depth maps, skip-connections or multi-layer deconvolution networks are required, which complicates network training and consumes much more computations. To eliminate or at least largely reduce these problems, we introduce a spacing-increasing discretization (SID) strategy to discretize depth and recast depth network learning as an ordinal regression problem. By training the network using an ordinary regression loss, our method achieves much higher accuracy and \dd{faster convergence in synch}. Furthermore, we adopt a multi-scale network structure which avoids unnecessary spatial pooling and captures multi-scale information in parallel. The method described in this paper achieves state-of-the-art results on four challenging benchmarks, i.e., KITTI [17], ScanNet [9], Make3D [50], and NYU Depth v2 [42], and win the 1st prize in Robust Vision Challenge 2018. Code has been made available at: https://github.com/hufu6371/DORN.


title: Stability of the Positive Mass Theorem for Axisymmetric Manifolds

abstract: Away from the central axis, we prove the stability of the Positive Mass Theorem in the $W^{1,p}$ sense for asymptotically flat axisymmetric manifolds with nonnegative scalar curvature satisfying some additional technical assumptions. We also derive estimates for the volumes of regions, the areas of axisymmetric surfaces, and the distances between points within the manifolds.


title: Deep Reinforcement Learning for General Video Game AI

abstract: The General Video Game AI (GVGAI) competition and its associated software framework provides a way of benchmarking AI algorithms on a large number of games written in a domain-specific description language. While the competition has seen plenty of interest, it has so far focused on online planning, providing a forward model that allows the use of algorithms such as Monte Carlo Tree Search. In this paper, we describe how we interface GVGAI to the OpenAI Gym environment, a widely used way of connecting agents to reinforcement learning problems. Using this interface, we characterize how widely used implementations of several deep reinforcement learning algorithms fare on a number of GVGAI games. We further analyze the results to provide a first indication of the relative difficulty of these games relative to each other, and relative to those in the Arcade Learning Environment under similar conditions.


title: Joint Power Allocation in Interference-Limited Networks via Distributed Coordinated Learning

abstract: The deployment of ultra-dense networks is one of the main methods to meet the 5G data rate requirements. However, high density of independent small base stations (SBSs) will increase the interference within the network. To circumvent this interference, there is a need to develop self-organizing methods to manage the resources of the network. In this paper, we present a distributed power allocation algorithm based on multi-agent Q-learning in an interference-limited network. The proposed method leverages coordination through simple message passing between SBSs to achieve an optimal joint power allocation. Simulation results show the optimality of the proposed method for a two-user case.


title: A Finite Time Analysis of Temporal Difference Learning With Linear Function Approximation

abstract: Temporal difference learning (TD) is a simple iterative algorithm used to estimate the value function corresponding to a given policy in a Markov decision process. Although TD is one of the most widely used algorithms in reinforcement learning, its theoretical analysis has proved challenging and few guarantees on its statistical efficiency are available. In this work, we provide a simple and explicit finite time analysis of temporal difference learning with linear function approximation. Except for a few key insights, our analysis mirrors standard techniques for analyzing stochastic gradient descent algorithms, and therefore inherits the simplicity and elegance of that literature. Final sections of the paper show how all of our main results extend to the study of TD learning with eligibility traces, known as TD($\lambda$), and to Q-learning applied in high-dimensional optimal stopping problems.


title: Aspects of Three-body Interactions in Generic Fractional Quantum Hall Systems and Impact of Galilean Invariance Breaking

abstract: We derive full analytic expressions of three-body interactions from Landau level (LL) mixing in fractional quantum Hall (FQH) systems with Schrieffer-Wolff transformation. The formalism can be applied to any LL, and to very general systems without rotational or Galilean invariance. We illustrate how three-body pseudopotentials (PPs) can be readily computed from the analytical expressions for a wide variety of different systems, and show that for realistic systems, softening the bare Coulomb interactions (e.g. finite thickness or screening) can significantly suppress three-body interactions. More interestingly, for experimental systems without Galilean invariance (which is common for real materials), there is strong evidence that higher orders in band dispersion can drive the Moore-Read state from anti-Pfaffian to Pfaffian phase. Our analysis points to the importance of the realistic band structure details to the non-Abelian topological phases, and the analytical expressions we derived can also be very useful for high fidelity numerical computations.


title: NumtaDB - Assembled Bengali Handwritten Digits

abstract: To benchmark Bengali digit recognition algorithms, a large publicly available dataset is required which is free from biases originating from geographical location, gender, and age. With this aim in mind, NumtaDB, a dataset consisting of more than 85,000 images of hand-written Bengali digits, has been assembled. This paper documents the collection and curation process of numerals along with the salient statistics of the dataset.


title: Visual Reasoning by Progressive Module Networks

abstract: Humans learn to solve tasks of increasing complexity by building on top of previously acquired knowledge. Typically, there exists a natural progression in the tasks that we learn - most do not require completely independent solutions, but can be broken down into simpler subtasks. We propose to represent a solver for each task as a neural module that calls existing modules (solvers for simpler tasks) in a functional program-like manner. Lower modules are a black box to the calling module, and communicate only via a query and an output. Thus, a module for a new task learns to query existing modules and composes their outputs in order to produce its own output. Our model effectively combines previous skill-sets, does not suffer from forgetting, and is fully differentiable. We test our model in learning a set of visual reasoning tasks, and demonstrate improved performances in all tasks by learning progressively. By evaluating the reasoning process using human judges, we show that our model is more interpretable than an attention-based baseline.


title: Including Uncertainty when Learning from Human Corrections

abstract: It is difficult for humans to efficiently teach robots how to correctly perform a task. One intuitive solution is for the robot to iteratively learn the human's preferences from corrections, where the human improves the robot's current behavior at each iteration. When learning from corrections, we argue that while the robot should estimate the most likely human preferences, it should also know what it does not know, and integrate this uncertainty as it makes decisions. We advance the state-of-the-art by introducing a Kalman filter for learning from corrections: this approach obtains the uncertainty of the estimated human preferences. Next, we demonstrate how the estimate uncertainty can be leveraged for active learning and risk-sensitive deployment. Our results indicate that obtaining and leveraging uncertainty leads to faster learning from human corrections.


title: MEBN-RM: A Mapping between Multi-Entity Bayesian Network and Relational Model

abstract: Multi-Entity Bayesian Network (MEBN) is a knowledge representation formalism combining Bayesian Networks (BN) with First-Order Logic (FOL). MEBN has sufficient expressive power for general-purpose knowledge representation and reasoning. Developing a MEBN model to support a given application is a challenge, requiring definition of entities, relationships, random variables, conditional dependence relationships, and probability distributions. When available, data can be invaluable both to improve performance and to streamline development. By far the most common format for available data is the relational database (RDB). Relational databases describe and organize data according to the Relational Model (RM). Developing a MEBN model from data stored in an RDB therefore requires mapping between the two formalisms. This paper presents MEBN-RM, a set of mapping rules between key elements of MEBN and RM. We identify links between the two languages (RM and MEBN) and define four levels of mapping from elements of RM to elements of MEBN. These definitions are implemented in the MEBN-RM algorithm, which converts a relational schema in RM to a partial MEBN model. Through this research, the software has been released as a MEBN-RM open-source software tool. The method is illustrated through two example use cases using MEBN-RM to develop MEBN models: a Critical Infrastructure Defense System and a Smart Manufacturing System.


title: A local estimate for vectorial total variation minimization in one dimension

abstract: Let $\boldsymbol u$ be the minimizer of vectorial total variation ($VTV$) with $L^2$ data-fidelity term on an interval $I$. We show that the total variation of $\boldsymbol u$ over any subinterval of $I$ is bounded by that of the datum over the same subinterval. We deduce analogous statement for the vectorial total variation flow on $I$.


title: Reference Model of Multi-Entity Bayesian Networks for Predictive Situation Awareness

abstract: During the past quarter-century, situation awareness (SAW) has become a critical research theme, because of its importance. Since the concept of SAW was first introduced during World War I, various versions of SAW have been researched and introduced. Predictive Situation Awareness (PSAW) focuses on the ability to predict aspects of a temporally evolving situation over time. PSAW requires a formal representation and a reasoning method using such a representation. A Multi-Entity Bayesian Network (MEBN) is a knowledge representation formalism combining Bayesian Networks (BN) with First-Order Logic (FOL). MEBN can be used to represent uncertain situations (supported by BN) as well as complex situations (supported by FOL). Also, efficient reasoning algorithms for MEBN have been developed. MEBN can be a formal representation to support PSAW and has been used for several PSAW systems. Although several MEBN applications for PSAW exist, very little work can be found in the literature that attempts to generalize a MEBN model to support PSAW. In this research, we define a reference model for MEBN in PSAW, called a PSAW-MEBN reference model. The PSAW-MEBN reference model enables us to easily develop a MEBN model for PSAW by supporting the design of a MEBN model for PSAW. In this research, we introduce two example use cases using the PSAW-MEBN reference model to develop MEBN models to support PSAW: a Smart Manufacturing System and a Maritime Domain Awareness System.


title: On Bayesian inferential tasks with infinite-state jump processes: efficient data augmentation

abstract: Advances in sampling schemes for Markov jump processes have recently enabled multiple inferential tasks. However, in statistical and machine learning applications, we often require that these continuous-time models find support on structured and infinite state spaces. In these cases, exact sampling may only be achieved by often inefficient particle filtering procedures, and rapidly augmenting observed datasets remains a significant challenge. Here, we build on the principles of uniformization and present a tractable framework to address this problem, which greatly improves the efficiency of existing state-of-the-art methods commonly used in small finite-state systems, and further scales their use to infinite-state scenarios. We capitalize on the marginal role of variable subsets in a model hierarchy during the process jumps, and describe an algorithm that relies on measurable mappings between pairs of states and carefully designed sets of synthetic jump observations. The proposed method enables the efficient integration of slice sampling techniques and it can overcome the existing computational bottleneck. We offer evidence by means of experiments addressing inference and clustering tasks on both simulated and real data sets.


title: Fault Tolerant Control for Networked Mobile Robots

abstract: Teams of networked autonomous agents have been used in a number of applications, such as mobile sensor networks and intelligent transportation systems. However, in such systems, the effect of faults and errors in one or more of the sub-systems can easily spread throughout the network, quickly degrading the performance of the entire system. In consensus-driven dynamics, the effects of faults are particularly relevant because of the presence of unconstrained rigid modes in the transfer function of the system. Here, we propose a two-stage technique for the identification and accommodation of a biased-measurements agent, in a network of mobile robots with time invariant interaction topology. We assume these interactions to only take place in the form of relative position measurements. A fault identification filter deployed on a single observer agent is used to estimate a single fault occurring anywhere in the network. Once the fault is detected, an optimal leader-based accommodation strategy is initiated. Results are presented by means of numerical simulations and robot experiments.


title: The effect of the choice of neural network depth and breadth on the size of its hypothesis space

abstract: We show that the number of unique function mappings in a neural network hypothesis space is inversely proportional to $\prod_lU_l!$, where $U_{l}$ is the number of neurons in the hidden layer $l$.


title: Optimisation of the scintillation light collection and uniformity for the SoLid experiment

abstract: This paper presents a comprehensive optimisation study to maximise the light collection efficiency of scintillating cube elements used in the SoLid detector. Very short baseline reactor experiments, like SoLid, look for active to sterile neutrino oscillation signatures in the anti-neutrino energy spectrum as a function of the distance to the core and energy. Performing a precise search requires high light yield of the scintillating elements and uniformity of the response in the detector volume. The SoLid experiment uses an innovative hybrid technology with two different scintillators: polyvinyltoluene scintillator cubes and $^6$LiF:ZnS(Ag) screens. A precision test bench based on a $^{207}$Bi calibration source has been developed to study improvements on the energy resolution and uniformity of the prompt scintillation signal of antineutrino interactions. A trigger system selecting the 1~MeV conversion electrons provides a Gaussian energy peak and allows for precise comparisons of the different detector configurations that were considered to improve the SoLid detector light collection. The light collection efficiency is influenced by the choice of wrapping material, the position of the $^6$LiF:ZnS(Ag) screen, the type of fibre, the number of optical fibres and the type of mirror at the end of the fibre. This study shows that large gains in light collection efficiency are possible compared to the SoLid SM1 prototype. The light yield for the SoLid detector is expected to be at least 52$\pm$2 photo-avalanches per MeV per cube, with a relative non-uniformity of 6 %, demonstrating that the required energy resolution of at least 14 % at 1 MeV can be achieved.


title: The Planets in Indigenous Australian Traditions

abstract: Studies in Australian Indigenous astronomical knowledge reveal few accounts of the visible planets in the sky. However, what information we do have tells us that Aboriginal people were close observers of planets and their motions, noting the relative brightness of the planets, their motions along the ecliptic, retrograde motion, the relationship between Venus and its proximity to the Sun, Venus' connection to the Sun through zodiacal light, and the synodic cycle of Venus, particularly as it transitions from the Evening Star to the Morning Star. The dearth of descriptions of planets in Aboriginal traditions may be due to the gross incompleteness of recorded astronomical traditions, and of ethnographic bias and misidentification in the anthropological record. Ethnographic fieldwork with Aboriginal and Torres Strait Islander communities is revealing new, previously unrecorded knowledge about the planets and their related phenomena.


title: Two-Dimensional Ferroelastic Topological Insulators in Single-Layer Janus Transition Metal Dichalcogenides MSSe (M=Mo, W)

abstract: Two-dimensional topological insulators and two-dimensional materials with ferroelastic characteristics are intriguing materials and many examples have been reported both experimentally and theoretically. Here, we present the combination of both features - a two-dimensional ferroelastic topological insulator that simultaneously possesses ferroelastic and quantum spin Hall characteristics. Using first-principles calculations, we demonstrate Janus single-layer MSSe (M=Mo, W) stable two-dimensional crystals that show the long-sought ferroelastic topological insulator properties. The material features low switching barriers and strong ferroelastic signals, beneficial for applications in nonvolatile memory devices. Moreover, their topological phases harbor sizeable nontrivial band gaps, which supports the quantum spin Hall effect. The unique coexistence of excellent ferroelastic and quantum spin Hall phases in single-layer MSSe provides extraordinary platforms for realizing multi-purpose and controllable devices.


title: Strain localisation above the yielding point in cyclically deformed glasses

abstract: We study the yielding behaviour of a model glass under cyclic athermal quastistatic deformation computationally, and show that yielding is characterised by the discontinuous appearance of shear bands, whose width is about ten particle diameters at their initiation, in which the strain gets localised. Strain localisation is accompanied by a corresponding change in the energies, and a decrease in the density in the shear band. We show that the glass remains well annealed outside the shear band whereas the energies correspond to the highest possible energy minima at the given density within the shear band. Diffusive motion of particles characterising the yielded state are confined to the shear bands, whose mean positions display movement over repeated cycles. Outside the shear band, particle motions are sub-diffusive but remain finite. Despite the discontinuous nature of their appearance, shear bands are reversible in the sense that a reduction in the amplitude of cyclic deformation to values below yielding leads to the healing and disappearance of the shear bands.


title: Mass Calculations of Light Quarkonium, Exotic $J^{PC}=0^{+-}$ Hybrid Mesons from Gaussian Sum-Rules

abstract: We extend previous calculations of leading-order correlation functions of spin-0 and spin-1 light quarkonium hybrids to include QCD condensates of dimensions five and six, with a view to improving the stability of QCD sum-rules analyses in previously unstable channels. Based on these calculations, prior analyses in the literature, and its phenomenological importance, we identify the exotic $J^{PC}=0^{+-}$ channel as the most promising for detailed study. Using Gaussian sum-rules constrained by the H\"older inequality, we calculate masses of light (nonstrange and strange) quarkonium hybrid mesons with $J^{PC}=0^{+-}$. We consider single narrow, single wide, and double narrow resonance models, and find that the double narrow resonance model yields the best agreement between QCD and phenomenology. In both non-strange and strange cases, we find hybrid masses of $2.60$ GeV and $3.57$ GeV.


title: An introduction to stochastic processes associated with resistance forms and their scaling limits

abstract: We introduce and summarise results from the recent paper `Scaling limits of stochastic processes associated with resistance forms', and also applications from `Time-changes of stochastic processes associated with resistance forms', which was written jointly with T.\ Kumagai (Kyoto University) and B.~M.~Hambly (University of Oxford).


title: Superconducting gap symmetry in BaFe$_{1.9}$Ni$_{0.1}$As$_{2}$ superconductor

abstract: We report on the Andreev spectroscopy and specific heat of high-quality single crystals BaFe$_{1.9}$Ni$_{0.1}$As$_{2}$. The intrinsic multiple Andreev reflection spectroscopy reveals two anisotropic superconducting gaps $\Delta_L \approx 3.2 \textendash 4.5$\,meV, $\Delta_S \approx 1.2 \textendash 1.6$\,meV (the ranges correspond to the minimum and maximum value of the coupling energy in the $k_xk_y$-plane). The $25 \textendash 30 \%$ anisotropy shows the absence of nodes in the superconducting gaps. Using a two-band model with s-wave-like gaps $\Delta_L \approx 3.2$\,meV and $\Delta_S \approx 1.6$\,meV, the temperature dependence of the electronic specific heat can be well described. A linear magnetic field dependence of the low-temperature specific heat offers a further support of s-wave type of the order parameter. We find that a d-wave or single-gap BCS theory under the weak-coupling approach cannot describe our experiments.


title: Spatially Resolving the Condensing Effect of Cholesterol in Lipid Bilayers

abstract: We study the effect of cholesterol on the structure of dipalmitoylphosphatidylcholine (DPPC) phospholipid bilayers. Using extensive molecular dynamics computer simulations at atomistic resolution we observe and quantify several structural changes upon increasing cholesterol content that are collectively known as the condensing effect: a thickening of the bilayer, an increase in lipid tail order, and a decrease in lateral area. We also observe a change in leaflet interdigitation and a lack thereof in the distributions of DPPC head group orientations. These results, obtained over a wide range of cholesterol mole fractions, are then used to calibrate the analysis of phospholipid properties in bilayers containing a single cholesterol molecule per leaflet, which we perform in a spatially resolved way. We find that a single cholesterol molecule affects phospholipids in its first and second solvation shells, which puts the range of this interaction to be on the order of one to two nanometers. We also observe a tendency of phospholipids to orient their polar head groups toward the cholesterol, which provides additional support for the umbrella model of bilayer organization.


title: Shape theorem and surface fluctuation for Poisson cylinders

abstract: In this work, we prove a shape theorem for Poisson cylinders and give a power law bound on surface fluctuations. We prove that for any $a \in (1/2, 1)$, conditioned on the origin being in the set of cylinders, every point in this set, whose Euclidean norm is less than $R$, lies at an internal distance less than $R+O(R^a)$ from the origin.


title: VOA[M4]

abstract: We take a peek at a general program that associates vertex (or, chiral) algebras to smooth 4-manifolds in such a way that operations on algebras mirror gluing operations on 4-manifolds and, furthermore, equivalent constructions of 4-manifolds give rise to equivalences (dualities) of the corresponding algebras.


title: Supercooling and fragile glassiness in a dipolar kagome Ising magnet

abstract: We study equilibration and ordering in the classical dipolar kagome Ising antiferromagnet, which we show behaves as a disorder-free fragile spin glass. By identifying an appropriate order parameter, we demonstrate a transition to the ordered state proposed by Chioar et al. [Phys. Rev. B 93, 214410 (2016)] with a 12-site unit cell that breaks time-reversal and sublattice symmetries, and further provide evidence that the nature of the transition is first order. Upon approaching the transition, the spin dynamics slow dramatically. The system readily falls out of equilibrium, overshooting the transition and entering a supercooled liquid regime. Using extensive Monte Carlo simulations, we show that the system exhibits super-Arrhenius behaviour above the ordering transition. The relaxation time diverges according to a Vogel-Fulcher form at a finite `glass transition' temperature in the supercooled regime. Such behaviour, characteristic of fragile glasses, is particularly remarkable as the model is free of quenched disorder, does not straightforwardly conform to the avoided criticality paradigm, and is simple and eminently realisable in engineered nanomagnetic arrays.


title: Prioritized Threshold Allocation for Distributed Frequency Response

abstract: Higher penetration of renewable generation will increase the demand for adequate (and cost-effective) controllable resources on the grid that can mitigate and contain the contingencies locally before it can cause a network-wide collapse. However, end-use constraints can potentially lead to load unavailability when an event occurs, leading to unreliable demand response services. Sensors measurements and knowledge of the local load dynamics could be leveraged to improve the performance of load control algorithms. In the context of hierarchical frequency response using ensemble of switching loads, we present a metric to evaluate the fitness of each device in successfully providing the ancillary service. Furthermore a fitness-based assignment of control set-points is formulated which achieves reliable performance under different operating conditions. Monte Carlo simulations of ensembles of electric water heaters and residential air-conditioners are performed to evaluate the proposed control algorithm.


title: Graph Convolutional Policy Network for Goal-Directed Molecular Graph Generation

abstract: Generating novel graph structures that optimize given objectives while obeying some given underlying rules is fundamental for chemistry, biology and social science research. This is especially important in the task of molecular graph generation, whose goal is to discover novel molecules with desired properties such as drug-likeness and synthetic accessibility, while obeying physical laws such as chemical valency. However, designing models to find molecules that optimize desired properties while incorporating highly complex and non-differentiable rules remains to be a challenging task. Here we propose Graph Convolutional Policy Network (GCPN), a general graph convolutional network based model for goal-directed graph generation through reinforcement learning. The model is trained to optimize domain-specific rewards and adversarial loss through policy gradient, and acts in an environment that incorporates domain-specific rules. Experimental results show that GCPN can achieve 61% improvement on chemical property optimization over state-of-the-art baselines while resembling known molecules, and achieve 184% improvement on the constrained property optimization task.


title: A System for Clock Synchronization in an Internet of Things

abstract: Synchronizing clocks on Internet of Things (IoT) devices is important for applications such as monitoring and real time control. In this paper, we describe a system for clock synchronization in IoT devices that is designed to be scalable, flexibly accommodate diverse hardware, and maintain tight synchronization over a range of operating conditions. We begin by examining clock drift on two standard IoT prototyping platforms. We observe clock drift on the order of seconds over relatively short time periods, as well as poor clock rate stability, each of which make standard synchronization protocols ineffective. To address this problem, we develop a synchronization system, which includes a lightweight client, a new packet exchange protocol called SPoT and a scalable reference server. We evaluate the efficacy of our system over a range of configurations, operating conditions and target platforms. We find that SPoT performs synchronization 22x and 17x more accurately than MQTT and SNTP, respectively, at high noise levels, and maintains a clock accuracy of within ~15ms at various noise levels. Finally, we report on the scalability of our server implementation through microbenchmark and wide area experiments, which show that our system can scale to support large numbers of clients efficiently.


title: Understanding State level Variations in U.S. Infant Mortality: 2000 to 2015

abstract: Objective: To exploit state variations in infant mortality, identify diagnoses that contributed to reduction of the infant mortality rate (IMR), and examine factors associated with preterm related mortality rate (PMR). Methods: Using linked birth-infant deaths files, we examined patterns in the leading causes of IMR. We compared these rates at both national and state levels to find reduction trends. Creating a cross-sectional time series of states' PMR and some explanatory variables, we implemented a fixed-effect regression model. Results: We found substantial state-level variations in changes of the IMR (range= -2.87 to 2.08) and PMR (-1.77 to 0.67). Twenty-one states in which the IMR declined more than the national average of 0.99 (6.89 to 5.90) were labeled as successful. In the successful states, we found a reduction in the PMR accounted for the largest decline in the IMR (0.90 fewer deaths). Changes in the other subgroups of leading causes did not differ significantly in successful and unsuccessful states. Policy Implications: Although its impact is not large, reducing the percentage of pregnant women with inadequate care is one of the mechanisms through which the PMR might decrease.


title: Accelerating Greedy Coordinate Descent Methods

abstract: We study ways to accelerate greedy coordinate descent in theory and in practice, where "accelerate" refers either to $O(1/k^2)$ convergence in theory, in practice, or both. We introduce and study two algorithms: Accelerated Semi-Greedy Coordinate Descent (ASCD) and Accelerated Greedy Coordinate Descent (AGCD). While ASCD takes greedy steps in the $x$-updates and randomized steps in the $z$-updates, AGCD is a straightforward extension of standard greedy coordinate descent that only takes greedy steps. On the theory side, our main results are for ASCD: we show that ASCD achieves $O(1/k^2)$ convergence, and it also achieves accelerated linear convergence for strongly convex functions. On the empirical side, we observe that both AGCD and ASCD outperform Accelerated Randomized Coordinate Descent on a variety of instances. In particular, we note that AGCD significantly outperforms the other accelerated coordinate descent methods in numerical tests, in spite of a lack of theoretical guarantees for this method. To complement the empirical study of AGCD, we present a Lyapunov energy function argument that points to an explanation for why a direct extension of the acceleration proof for AGCD does not work; and we also introduce a technical condition under which AGCD is guaranteed to have accelerated convergence. Last of all, we confirm that this technical condition holds in our empirical study.


title: Strong and Tunable Spin Lifetime Anisotropy in Dual-Gated Bilayer Graphene

abstract: We report the discovery of a strong and tunable spin lifetime anisotropy with excellent spin lifetimes up to 7.8 ns in dual-gated bilayer graphene. Remarkably, this realizes the manipulation of spins in graphene by electrically-controlled spin-orbit fields, which is unexpected due to graphene's weak intrinsic spin-orbit coupling. We utilize both the in-plane magnetic field Hanle precession and oblique Hanle precession measurements to directly compare the lifetimes of out-of-plane vs. in-plane spins. We find that near the charge neutrality point, the application of a perpendicular electric field opens a band gap and generates an out-of-plane spin-orbit field that stabilizes out-of-plane spins against spin relaxation, leading to a large spin lifetime anisotropy. This intriguing behavior occurs because of the unique spin-valley coupled band structure of bilayer graphene. Our results demonstrate the potential for highly tunable spintronic devices based on dual-gated 2D materials.


title: Bloch bound state of spin-orbit-coupled fermions in an optical lattice

abstract: Understanding fundamentals of few-body physics provides an interesting bottom-up approach for the clarification of many-body properties. The remarkable experimental progress in realizing spin-orbit coupling (SOC) in optical Raman lattices offers a renewed thrust towards discovering novel few-body features induced by the interplay between SOC and optical lattices. Using the Wilson renormalization method to account for high-band effects, we study the low-energy two-body scattering processes of spin-$1/2$ fermions in spin-orbit coupled optical lattices. We demonstrate that, under weak SOC, adding a small lattice potential would destabilize shallow two-body bound states, contrary to conventional wisdom. On the other hand, when lattice is sufficiently deep, two-body bound states are always stabilized by increasing the lattice depth. This intriguing non-monotonic behavior of the bound-state stability derives from the competition between SOC and optical lattices, and can be explained by analyzing the low-energy density of states. We also discuss the impact of high-band effects on such a behavior, as well as potential experimental detections.


title: Interlinked Convolutional Neural Networks for Face Parsing

abstract: Face parsing is a basic task in face image analysis. It amounts to labeling each pixel with appropriate facial parts such as eyes and nose. In the paper, we present a interlinked convolutional neural network (iCNN) for solving this problem in an end-to-end fashion. It consists of multiple convolutional neural networks (CNNs) taking input in different scales. A special interlinking layer is designed to allow the CNNs to exchange information, enabling them to integrate local and contextual information efficiently. The hallmark of iCNN is the extensive use of downsampling and upsampling in the interlinking layers, while traditional CNNs usually uses downsampling only. A two-stage pipeline is proposed for face parsing and both stages use iCNN. The first stage localizes facial parts in the size-reduced image and the second stage labels the pixels in the identified facial parts in the original image. On a benchmark dataset we have obtained better results than the state-of-the-art methods.


title: Pinned, locked, pushed, and pulled traveling waves in structured environments

abstract: Traveling fronts describe the transition between two alternative states in a great number of physical and biological systems. Examples include the spread of beneficial mutations, chemical reactions, and the invasions by foreign species. In homogeneous environments, the alternative states are separated by a smooth front moving at a constant velocity. This simple picture can break down in structured environments such as tissues, patchy landscapes, and microfluidic devices. Habitat fragmentation can pin the front at a particular location or lock invasion velocities into specific values. Locked velocities are not sensitive to moderate changes in dispersal or growth and are determined by the spatial and temporal periodicity of the environment. The synchronization with the environment results in discontinuous fronts that propagate as periodic pulses. We characterize the transition from continuous to locked invasions and show that it is controlled by positive density-dependence in dispersal or growth. We also demonstrate that velocity locking is robust to demographic and environmental fluctuations and examine stochastic dynamics and evolution in locked invasions.

categories: cond-mat.stat-mech nlin.CG nlin.PS q-bio.PE


title: The Thirty Meter Telescope International Observatory facilitating transformative astrophysical science

abstract: The next major advancement in astronomy and cosmology will be driven by deep observations using very sensitive telescopes with high spatial and spectral resolution capabilities. An international consortium of astronomers, including Indian astronomers are building the Thirty Meter Telescope to achieve breakthroughs in different areas of astronomy starting from studies of the solar system to that of the early universe. This article provides a brief overview of the telescope, science objectives and details of the first light instruments.


title: On the self-similar solutions of the crystalline mean curvature flow in three dimensions

abstract: We present two types of self-similar shrinking solutions of positive genus for the crystalline mean curvature flow in three dimensions analogous to the solutions known for the standard mean curvature flow. We use them to test a numerical implementation of a level set algorithm for the crystalline mean curvature flow in three dimensions based on the minimizing movements scheme of A.~Chambolle, \textit{Interfaces Free Bound.~6}~(2004). We implement a finite element method discretization that seems to improve the handling of edges in three dimensions compared to the standard finite difference method and illustrate its behavior on a few examples.


title: On the Extension of Onsager's Conjecture for General Conservation Laws

abstract: The aim of this work is to extend and prove the Onsager conjecture for a class of conservation laws that possess generalized entropy. One of the main findings of this work is the "universality" of the Onsager exponent, $\alpha > 1/3$, concerning the regularity of the solutions, say in $C^{0,\alpha}$, that guarantees the conservation of the generalized entropy; regardless of the structure of the genuine nonlinearity in the underlying system.


title: Splitting loops and necklaces: Variants of the square peg problem

abstract: Toeplitz conjectured that any simple planar loop inscribes a square. Here we prove variants of Toeplitz' square peg problem. We prove Hadwiger's 1971 conjecture that any simple loop in $3$-space inscribes a parallelogram. We show that any simple planar loop inscribes sufficiently many rectangles that their vertices are dense in the loop (independently due to Schwartz). If the loop is rectifiable, there is a rectangle that cuts the loop into four pieces that can be rearranged to form two loops of equal length. A rectifiable loop in $d$-space can be cut into $(r-1)(d+1)+1$ pieces that can be rearranged by translations to form $r$ loops of equal length. We relate our results to fair divisions of necklaces in the sense of Alon and to Tverberg-type results. This provides a new approach and a common framework to obtain variants of Toeplitz' square peg problem for the class of all continuous curves.


title: Stochastic Block Models are a Discrete Surface Tension

abstract: Networks, which represent agents and interactions between them, arise in myriad applications throughout the sciences, engineering, and even the humanities. To understand large-scale structure in a network, a common task is to cluster a network's nodes into sets called "communities", such that there are dense connections within communities but sparse connections between them. A popular and statistically principled method to perform such clustering is to use a family of generative models known as stochastic block models (SBMs). In this paper, we show that maximum likelihood estimation in an SBM is a network analog of a well-known continuum surface-tension problem that arises from an application in metallurgy. To illustrate the utility of this relationship, we implement network analogs of three surface-tension algorithms, with which we successfully recover planted community structure in synthetic networks and which yield fascinating insights on empirical networks that we construct from hyperspectral videos.

categories: cs.SI cond-mat.stat-mech math.ST nlin.AO stat.ML stat.TH


title: High Performance Metallic Amorphous Magnetic Flake-based Magnetodielectric Inductors

abstract: Flake-shaped FeSi-based metallic amorphous alloy particles, having an aspect ratio as high as 175 to 1, were prepared by ball milling gas atomized amorphous powders of an effective diameter of 20 micrometers. The starting powder had a saturation magnetic flux density, Bs, of 1.5 T and a coercivity, Hc, of 94 A/m. The aspect ratio of the flakes, as well as their magnetic properties, were controlled by milling process parameters, such as duration, speed, and the type, mass and diameter of the milling balls. To minimize the oxidation of the charge, the powders were handled in an argon gas-purged glove box, milled in toluene, and subsequently dried in vacuo. Subsequently, soft magnetodielectric composites were prepared by suspending and aligning the FeSi-based powders in paraffin wax or epoxy resin. The composites were then pressed into toroids for measurements of their high frequency complex permeability by a vector network analyzer. The influence of the flake aspect ratio and volume loading fraction on the permeability of the composites were investigated. Results indicate that the composite permeability increases with the flake aspect ratio. For example, for a given loading factor of 30 vol.%, the composite permeability at 0.1 GHz nearly tripled and approached the value of 10 by increasing the aspect ratio of the FeSi-based inclusions from 1 (spheres) to greater than 175 to 1 (flakes).


title: A Collaborative Aerial-Ground Robotic System for Fast Exploration

abstract: Autonomous exploration of unknown environments has been widely applied in inspection, surveillance, and search and rescue. In exploration task, the basic requirement for robots is to detect the unknown space as fast as possible. In this paper, we propose an autonomous collaborative system consists of an aerial robot and a ground vehicle to explore in unknown environments. We combine the frontier based method and the harmonic field to generate a path. Then, For the ground robot, a minimum jerk piecewise Bezier curve which can guarantee safety and dynamical feasibility is generated amid obstacles. For the aerial robot, a motion primitive method is adopted for local path planning. We implement the proposed framework on an autonomous collaborative aerial-ground system. Extensive field experiments as well as simulations are presented to validate the method and demonstrate its higher efficiency against each single vehicle.


title: Quantitative Assessment of Robotic Swarm Coverage

abstract: This paper studies a generally applicable, sensitive, and intuitive error metric for the assessment of robotic swarm density controller performance. Inspired by vortex blob numerical methods, it overcomes the shortcomings of a common strategy based on discretization, and unifies other continuous notions of coverage. We present two benchmarks against which to compare the error metric value of a given swarm configuration: non-trivial bounds on the error metric, and the probability density function of the error metric when robot positions are sampled at random from the target swarm distribution. We give rigorous results that this probability density function of the error metric obeys a central limit theorem, allowing for more efficient numerical approximation. For both of these benchmarks, we present supporting theory, computation methodology, examples, and MATLAB implementation code.


title: Threshold corrections of $\chi_{\rm c}(2P)$ and $\chi_{\rm b}(3P)$ states and $J/\psi \rho$ and $J/\psi \omega$ transitions of the $X(3872)$ in a coupled-channel model

abstract: We calculate the masses of $\chi_{\rm c}(2P)$ and $\chi_{\rm b}(3P)$ states with threshold corrections in a coupled-channel model. Here, the meson quarkonium core is augmented by higher Fock components due to pair-creation effects. According to our results, we interpret the resonances characterized by very small threshold corrections, like $\chi_{\rm b}(3P)$'s, as almost pure quarkonia, and those states characterized by non-negligible threshold corrections, like the $X(3872)$, as quarkonium cores plus meson-meson components. We also study the $J/\psi \rho$ and $J/\psi \omega$ hidden-flavor strong decays of the $X(3872)$. The decays are calculated as the dissociation of one of these components ($D^0 \bar D^{0*}$) into a $c \bar c$ state ($J/\psi$) plus a light meson ($\rho$ or $\omega$) in a potential model. In particular, our result for the ratio between the $X(3872) \rightarrow J/\psi \omega$ and $J/\psi \rho$ widths (0.6) is compatible with the present experimental data ($0.8\pm0.3$) within the experimental error.


title: Structured Actor-Critic for Managing Public Health Points-of-Dispensing

abstract: Public health organizations face the problem of dispensing treatments (i.e., vaccines, antibiotics, and others) to groups of affected populations through "points-of-dispensing" (PODs) during emergency situations, typically in the presence of complexities like demand stochasticity, heterogenous utilities (e.g., for vaccine distribution, certain segments of the population may need to be prioritized), and limited storage. We formulate a hierarchical Markov decision process (MDP) model with two levels of decisions (and decision-makers): the upper-level decisions come from an inventory planner that "controls" a lower-level dynamic problem, which optimizes dispensing decisions that take into consideration the heterogeneous utility functions of the random set of PODs. We then derive structural properties of the MDP model and propose an approximate dynamic programming (ADP) algorithm that leverages structure in both the policy and the value space (state-dependent basestocks and concavity, respectively). The algorithm can be considered an actor-critic method; to our knowledge, this paper is the first to jointly exploit policy and value structure within an actor-critic framework. We prove that the policy and value function approximations each converge to their optimal counterparts with probability one and provide a comprehensive numerical analysis showing improved empirical convergence rates when compared to other ADP techniques. Finally, we show how an aggregation-based version of our algorithm can be applied in a realistic case study for the problem of dispensing naloxone (an overdose reversal drug) via first responders amidst the ongoing opioid crisis.


title: General theory of charge regulation and surface capacitance

abstract: A generalization of the mean-field approach will be derived that will take into account the ion-ion as well as ion-surface non-electrostatic effects on an equal footing, being based on the bulk and surface equations of state in the absence of electrostatic interactions. This approach will be applied to the calculation of the differential capacitance for several models of the specific ion-surface non-electrostatic interactions providing a thermodynamic insight into the characteristics of the differential capacitance. The packing considerations due to surface adsorbed ions will be shown to be more relevant then the bulk packing constraints for ions vicinal to the surface, and to set in prior to the conditions where the bulk packing constraints would become relevant.


title: Existence, uniqueness and optimal decay rates for the 3D compressible Hall-magnetohydrodynamic system

abstract: We are concerned with the study of the Cauchy problem to the 3D compressible Hall-magnetohydrodynamic system. We first establish the unique global solvability of strong solutions to the system when the initial data are close to a stable equilibrium state in critical Besov spaces. Furthermore, under a suitable additional condition involving only the low frequencies of the data and in $L^{2}$-critical regularity framework, we exhibit the optimal time decay rates for the constructed global solutions. The proof relies on an application of Fourier analysis to a mixed parabolic-hyperbolic system, and on a refined time-weighted energy functional.


title: Joint Optimization of Computation and Communication Power in Multi-user Massive MIMO Systems

abstract: With the growing interest in the deployment of massive multiple-input-multiple-output (MIMO) systems and millimeter wave technology for fifth generation (5G) wireless systems, the computation power to the total power consumption ratio is expected to increase rapidly due to high data traffic processing at the baseband unit. Therefore in this paper, a joint optimization problem of computation and communication power is formulated for multi-user massive MIMO systems with partially-connected structures of radio frequency (RF) transmission systems. When the computation power is considered for massiv MIMO systems, the results of this paper reveal that the energy efficiency of massive MIMO systems decreases with increasing the number of antennas and RF chains, which is contrary with the conventional energy efficiency analysis results of massive MIMO systems, i.e., only communication power is considered. To optimize the energy efficiency of multi-user massive MIMO systems, an upper bound on energy efficiency is derived. Considering the constraints on partially-connected structures, a suboptimal solution consisting of baseband and RF precoding matrices is proposed to approach the upper bound on energy efficiency of multi-user massive MIMO systems. Furthermore, an oPtimized Hybrid precOding with computation and commuNication powEr (PHONE) algorithm is developed to realize the joint optimization of computation and communication power. Simulation results indicate that the proposed algorithm improves energy and cost efficiencies and the maximum power saving is achieved by 76.59\% for multi-user massive MIMO systems with partially-connected structures.


title: Nuclear Pulse Charge Measurement with a Method of Time over Linear Threshold

abstract: Time over dynamic threshold (TODT) method, proposed in our previous work, has been successfully used for nuclear pulse charge measurement in PET detectors. It has advantages of strict linearity, large dynamic range, and better energy resolution, but requires a relatively complex circuit to generate specific dynamic threshold. In this paper, we propose to replace the dynamic threshold by a simpler linearly increasing threshold (called as TOLT method) with the aim to simplify the threshold generation circuit meanwhile maintaining its high energy resolution. Mathematical analysis on this replacement and the related realization circuit are presented. By energy spectrum measurement of PET detectors, the method is evaluated. The energy resolutions of PET detectors, composed of a PMT coupled with LYSO and LaBr3 crystal, are measured as 12.54% and 5.18% respectively, which is equivalent to the result obtained by TODT method. The test results show that the TOLT method is more practicable for charge measurement of nuclear detectors.


title: FPGA Based Pico-second Time Measurement System for a DIRC-like TOF Detector

abstract: A prototype of DIRC-like Time-of-Flight detector (DTOF), including a pico-second time measurement electronics, is developed and tested preliminarily. The basic structure of DTOF is composed of a fused silica radiator connected to fast micro-channel plate PMTs (MCP-PMT), and readout by a dedicated FPGA (Field Programmable Gate Array) based front-end electronics. The full electronics chain consists of a programmable differential amplifier, a dual-threshold differential discriminator, and a timestamp Time-to-Digital convertor. By splitting a MCP-PMT output signal into two identical electronics chains, the coincidence time resolution (CTR) of pure electronics was measured as 5.6 ps. By the beam test in H4 (150GeV/c, Muon) at CERN, the intrinsic CTR of the whole detector prototype reaches 15.0 ps without using time-amplitude correction. The test results demonstrate that the FPGA based front-end electronics could achieve an excellent time performance for TOF detectors. It is very compact, cost effective with a high multi-channel capacity and short measurement dead time, which is very suitable for practical applications of large-scale high performance TOF detectors in particle physics spectrometer.


title: Secure and Decentralized Swarm Behavior with Autonomous Agents for Smart Cities

abstract: Unmanned Aerial Vehicles (UAVs), referenced as drones, have advanced to consumer adoption for hobby and business use. Drone applications, such as infrastructure technology, security mechanisms, and resource delivery, are just the starting point. More complex tasks are possible through the use of UAV swarms. These tasks increase the potential impacts that drones will have on smart cities, modern cities which have fully adopted technology in order to enhance daily operations as well as the welfare of it's citizens. Smart cities not only consist of static mesh networks of sensors, but can contain dynamic aspects as well including both ground and air based autonomous vehicles. Networked computational devices require paramount security to ensure the safety of a city. To accomplish such high levels of security, services rely on secure-by-design protocols, impervious to security threats. Given the large number of sensors, autonomous vehicles, and other advancements, smart cities necessitates this level of security. The SHARK protocol (Secure, Heterogeneous, Autonomous, and Rotational Knowledge for Swarms) ensures this kind of security by allowing for new applications for UAV swarm technology. Enabling drones to circle a target without a centralized control or selecting lead agents, the SHARKS protocol performs organized movement among agents without creating a central point for attackers to target. Through comparisons on the stability of the protocol in different settings, experiments demonstrate the efficiency and capacity of the SHARKS protocol.


title: Study on Timing Performance of a Readout Circuit for SiPM

abstract: In recent years, SiPM photoelectric devices have drawn much attention in the domain of time-of-flight-based positron emission tomography (TOF-PET). Using them to construct PET detectors with excellent coincidence time resolution (CTR) is always one of research focus. In this paper, a SiPM readout pre-amplifier based on common-base current amplifier structure followed by a Pole-Zero (PZ) compensation network is constructed, and the main factors that affect the timing performance of the PET detector are investigated. By experimental measurement, we found that the CTR is heavily related to the bandwidth of the amplifier, bias voltage of SiPM, comparator threshold, and PZ network parameter. The test setup has two detectors, one with LYSO crystal (3 mm 3 mm 10 mm) coupled with a Hamamatsu SiPM (S12642-0404), and the other with LaBr3 coupled to a PMT-R9800. After the optimization of the readout circuit with related factors, the CTR between the two detectors is measured as 266ps FWHM. The test result is a helpful guideline for the readout ASIC chip design in our next step.


title: Mitigating Wordline Crosstalk using Adaptive Trees of Counters

abstract: High access frequency of certain rows in the DRAM may cause data loss in cells of physically adjacent rows due to crosstalk. The malicious exploit of this crosstalk by repeatedly accessing a row to induce this effect is known as row hammering. Additionally, inadvertent row hammering may also occur due to the natural weighted nature of applications' access patterns. In this paper, we analyze the efficiency of existing approaches for mitigating wordline crosstalk and demonstrate that they have been conservatively designed. Given the unbalanced nature of DRAM accesses, a small group of dynamically allocated counters in banks can deterministically detect hot rows and mitigate crosstalk. Based on our findings, we propose a Counter-based Adaptive Tree (CAT) approach to mitigate wordline crosstalk using adaptive trees of counters to guide appropriate refreshing of vulnerable rows. The key idea is to tune the distribution of the counters to the rows in a bank based on the memory reference patterns. In contrast to deterministic solutions, CAT utilizes fewer counters, making it practically feasible to be implemented on-chip. Compared to existing probabilistic approaches, CAT more precisely refreshes rows vulnerable to crosstalk based on their access frequency. Experimental results on workloads from four benchmark suites show that CAT reduces the Crosstalk Mitigation Refresh Power Overhead in quad-core systems to 7%, which is an improvement over the 21% and 18% incurred in the leading deterministic and probabilistic approaches, respectively. Moreover, CAT incurs very low performance overhead (0.5%). Hardware synthesis evaluation shows that CAT can be implemented on-chip with only a nominal area overhead.


title: Conditional probability calculation using restricted Boltzmann machine with application to system identification

abstract: There are many advantages to use probability method for nonlinear system identification, such as the noises and outliers in the data set do not affect the probability models significantly; the input features can be extracted in probability forms. The biggest obstacle of the probability model is the probability distributions are not easy to be obtained. In this paper, we form the nonlinear system identification into solving the conditional probability. Then we modify the restricted Boltzmann machine (RBM), such that the joint probability, input distribution, and the conditional probability can be calculated by the RBM training. Binary encoding and continue valued methods are discussed. The universal approximation analysis for the conditional probability based modelling is proposed. We use two benchmark nonlinear systems to compare our probability modelling method with the other black-box modeling methods. The results show that this novel method is much better when there are big noises and the system dynamics are complex.


title: Multi-wavelength observations of cosmological phase transitions using LISA and Cosmic Explorer

abstract: We reanalyze the detection possibilities for gravitational waves arising from cosmological first order phase transitions. We discuss the stochastic gravitational wave background corresponding to the three expected scenarios of phase transition dynamics. We then perform an analysis on the detection possibilities for each case using sensitivities for the next generation ground-based detector Cosmic Explorer and the current LISA proposal, using two analysis methods. We find that having both detectors allows wide detection possibilities over much of the parameter space, including that corresponding to several points relevant to different early Universe models.