title: On Deep Learning for Radio Resource Management in A Non-stationary Radio Environment

abstract: This paper studies practical limitations of learning methods for resource management in non-stationary radio environment. We propose two learning models carefully designed to support rate maximization objective under user mobility. We study the effects of practical systems such as latency and reliability on the rate maximization with deep learning models. For common testing in the non-stationary environment we present a generic dataset generation method to benchmark across different learning models versus traditional optimal resource management solutions. Our results indicate that learning models have practical challenges related to training limiting their applications. The models need environment-specific design to reach the accuracy of an optimal algorithm.


title: A Lasso-OLS Hybrid Approach to Covariate Selection and Average Treatment Effect Estimation for Clustered RCTs Using Design-Based Methods

abstract: Statistical power is often a concern for clustered RCTs due to variance inflation from design effects and the high cost of adding study clusters (such as hospitals, schools, or communities). While covariate pre-specification is the preferred approach for improving power to estimate regression-adjusted average treatment effects (ATEs), further precision gains can be achieved through covariate selection once primary outcomes have been collected. This article uses design-based methods underlying clustered RCTs to develop a Lasso-OLS hybrid procedure for the post-hoc selection of covariates and ATE estimation that avoids model overfitting and lack of transparency. In the first stage, lasso estimation is conducted using cluster-level averages, where asymptotic normality is proved using a new central limit theorem for finite population regression estimators. In the second stage, ATEs and design-based standard errors are estimated using weighted least squares with the first stage lasso covariates. This nonparametric approach applies to continuous, binary, and discrete outcomes. Simulation results indicate that Type 1 errors of the second stage ATE estimates are near nominal values and standard errors are near true ones, although somewhat conservative with small samples. The method is demonstrated using data from a large, federally funded clustered RCT testing the effects of school-based programs promoting behavioral health.


title: Information-Theoretic Bounds on the Generalization Error and Privacy Leakage in Federated Learning

abstract: Machine learning algorithms operating on mobile networks can be characterized into three different categories. First is the classical situation in which the end-user devices send their data to a central server where this data is used to train a model. Second is the distributed setting in which each device trains its own model and send its model parameters to a central server where these model parameters are aggregated to create one final model. Third is the federated learning setting in which, at any given time $t$, a certain number of active end users train with their own local data along with feedback provided by the central server and then send their newly estimated model parameters to the central server. The server, then, aggregates these new parameters, updates its own model, and feeds the updated parameters back to all the end users, continuing this process until it converges. The main objective of this work is to provide an information-theoretic framework for all of the aforementioned learning paradigms. Moreover, using the provided framework, we develop upper and lower bounds on the generalization error together with bounds on the privacy leakage in the classical, distributed and federated learning settings. Keywords: Federated Learning, Distributed Learning, Machine Learning, Model Aggregation.


title: Renormalization group inspired autonomous equations for secular effects in de Sitter space

abstract: We develop a method for treating a series of secularly growing terms obtained from quantum perturbative calculations: autonomous first-order differential equations are constructed such that they reproduce this series to the given order. The exact solutions of these equations are free of secular terms and approach a finite limit at late times. This technique is illustrated for the well-known problem of secular growth of correlation functions of a massless scalar field with a quartic self-interaction in de Sitter space. For the expectation value of the product of two fields at coinciding space-time points we obtain a finite late-time result that is very close to the one following from Starobinsky's stochastic approach.


title: A generative adversarial network approach to calibration of local stochastic volatility models

abstract: We propose a fully data-driven approach to calibrate local stochastic volatility (LSV) models, circumventing in particular the ad hoc interpolation of the volatility surface. To achieve this, we parametrize the leverage function by a family of feed-forward neural networks and learn their parameters directly from the available market option prices. This should be seen in the context of neural SDEs and (causal) generative adversarial networks: we generate volatility surfaces by specific neural SDEs, whose quality is assessed by quantifying, possibly in an adversarial manner, distances to market prices. The minimization of the calibration functional relies strongly on a variance reduction technique based on hedging and deep hedging, which is interesting in its own right: it allows the calculation of model prices and model implied volatilities in an accurate way using only small sets of sample paths. For numerical illustration we implement a SABR-type LSV model and conduct a thorough statistical performance analysis on many samples of implied volatility smiles, showing the accuracy and stability of the method.


title: LiteX: an open-source SoC builder and library based on Migen Python DSL

abstract: LiteX is a GitHub-hosted SoC builder / IP library and utilities that can be used to create SoCs and full FPGA designs. Besides being open-source and BSD licensed, its originality lies in the fact that its IP components are entirely described using Migen Python internal DSL, which simplifies its design in depth. LiteX already supports various softcores CPUs and essential peripherals, with no dependencies on proprietary IP blocks or generators. This paper provides an overview of LiteX: two real SoC designs on FPGA are presented. They both leverage the LiteX approach in terms of design entry, libraries and integration capabilities. The first one is based on RISC-V core, while the second is based on a LM32 core. In the second use case, we further demonstrate the use of a fully open-source toolchain coupled with LiteX.


title: MultiReQA: A Cross-Domain Evaluation for Retrieval Question Answering Models

abstract: Retrieval question answering (ReQA) is the task of retrieving a sentence-level answer to a question from an open corpus (Ahmad et al.,2019).This paper presents MultiReQA, anew multi-domain ReQA evaluation suite com-posed of eight retrieval QA tasks drawn from publicly available QA datasets. We provide the first systematic retrieval based evaluation over these datasets using two supervised neural models, based on fine-tuning BERT andUSE-QA models respectively, as well as a surprisingly strong information retrieval baseline,BM25. Five of these tasks contain both train-ing and test data, while three contain test data only. Performance on the five tasks with train-ing data shows that while a general model covering all domains is achievable, the best performance is often obtained by training exclusively on in-domain data.


title: $\lambda$-Semidirect Products of Inverse Monoids are Weakly Schreier Extensions

abstract: A split extension of monoids with kernel k: N -> G, cokernel e: G -> H and splitting s: H -> G is weakly Schreier if each element g in G can be written g = k(n)se(g) for some n in N. The characterization of weakly Schreier extensions allows them to be viewed as something akin to a weak semidirect product. The motivating examples of such extensions are the Artin glueings of topological spaces and, of course, the Schreier extensions of monoids which they generalise. In this paper we show that the lambda-semidirect products of inverse monoids are also examples of weakly Schreier extensions. The characterization of weakly Schreier extensions sheds some light on the structure of lambda-semidirect products. The set of weakly Schreier extensions between two monoids comes equipped with a natural poset structure, which induces an order on the set of lambda-semidirect products between two inverse monoids. We show that Artin glueings are in fact lambda-semidirect products and inspired by this identify a class of Artin-like lambda-semidirect products. We show that joins exist for this special class of lambda-semidirect product in the aforementioned order.


title: Semiparametric analysis of clustered interval-censored survival data using Soft Bayesian Additive Regression Trees (SBART)

abstract: Popular parametric and semiparametric hazards regression models for clustered survival data are inappropriate and inadequate when the unknown effects of different covariates and clustering are complex. This calls for a flexible modeling framework to yield efficient survival prediction. Moreover, for some survival studies involving time to occurrence of some asymptomatic events, survival times are typically interval censored between consecutive clinical inspections. In this article, we propose a robust semiparametric model for clustered interval-censored survival data under a paradigm of Bayesian ensemble learning, called Soft Bayesian Additive Regression Trees or SBART (Linero and Yang, 2018), which combines multiple sparse (soft) decision trees to attain excellent predictive accuracy. We develop a novel semiparametric hazards regression model by modeling the hazard function as a product of a parametric baseline hazard function and a nonparametric component that uses SBART to incorporate clustering, unknown functional forms of the main effects, and interaction effects of various covariates. In addition to being applicable for left-censored, right-censored, and interval-censored survival data, our methodology is implemented using a data augmentation scheme which allows for existing Bayesian backfitting algorithms to be used. We illustrate the practical implementation and advantages of our method via simulation studies and an analysis of a prostate cancer surgery study where dependence on the experience and skill level of the physicians leads to clustering of survival times. We conclude by discussing our method's applicability in studies involving high dimensional data with complex underlying associations.


title: Quest: Practical and Oblivious Mitigation Strategies for COVID-19 using WiFi Datasets

abstract: Contact tracing has emerged as one of the main mitigation strategies to prevent the spread of pandemics such as COVID-19. Recently, several efforts have been initiated to track individuals, their movements, and interactions using technologies, e.g., Bluetooth beacons, cellular data records, and smartphone applications. Such solutions are often intrusive, potentially violating individual privacy rights and are often subject to regulations (e.g., GDPR and CCPR) that mandate the need for opt-in policies to gather and use personal information. In this paper, we introduce Quest, a system that empowers organizations to observe individuals and spaces to implement policies for social distancing and contact tracing using WiFi connectivity data in a passive and privacy-preserving manner. The goal is to ensure the safety of employees and occupants at an organization, while protecting the privacy of all parties. Quest incorporates computationally- and information-theoretically-secure protocols that prevent adversaries from gaining knowledge of an individual's location history (based on WiFi data); it includes support for accurately identifying users who were in the vicinity of a confirmed patient, and then informing them via opt-in mechanisms. Quest supports a range of privacy-enabled applications to ensure adherence to social distancing, monitor the flow of people through spaces, identify potentially impacted regions, and raise exposure alerts. We describe the architecture, design choices, and implementation of the proposed security/privacy techniques in Quest. We, also, validate the practicality of Quest and evaluate it thoroughly via an actual campus-scale deployment at UC Irvine over a very large dataset of over 50M tuples.


title: Bias-Variance Tradeoffs in Joint Spectral Embeddings

abstract: Joint spectral embeddings facilitate analysis of multiple network data by simultaneously mapping vertices in each network to points in Euclidean space where statistical inference is then performed. In this work, we consider one such joint embedding technique, the omnibus embedding of arXiv:1705.09355 , which has been successfully used for community detection, anomaly detection, and hypothesis testing tasks. To date the theoretical properties of this method have only been established under the strong assumption that the networks are conditionally i.i.d. random dot product graphs. Herein, we take a first step in characterizing the theoretical properties of the omnibus embedding in the presence of heterogeneous network data. Under a latent position model, we show the omnibus embedding implicitly regularizes its latent position estimates which induces a finite-sample bias-variance tradeoff for latent position estimation. We establish an explicit bias expression, derive a uniform concentration bound on the residual, and prove a central limit theorem characterizing the distributional properties of these estimates. These explicit bias and variance expressions enable us to state sufficient conditions for exact recovery in community detection tasks and develop a pivotal test statistic to determine whether two graphs share the same set of latent positions; demonstrating that accurate inference is achievable despite the estimator's inconsistency. These results are demonstrated in several experimental settings where statistical procedures utilizing the omnibus embedding are competitive, and oftentimes preferable, to comparable embedding techniques. These observations accentuate the viability of the omnibus embedding for multiple graph inference beyond the homogeneous network setting.


title: The Smallest SU($N$) Hadrons

abstract: If new physics contains new, heavy strongly-interacting particles belonging to irreducible representations of SU(3) different from the adjoint or the (anti)fundamental, it is a non-trivial question to calculate what is the minimum number of quarks/antiquarks/gluons needed to form a color-singlet bound state ("hadron"), or, perturbatively, to form a gauge-invariant operator, with the new particle. Here, I prove that for an SU(3) irreducible representation with Dynkin label $(p,q)$, the minimal number of quarks needed to form a product that includes the (0,0) representation is $2p+q$. I generalize this result to SU($N$), with $N>3$. I also calculate the minimal total number of quarks/antiquarks/gluons that, bound to a new particle in the $(p,q)$ representation, give a color-singlet state, or, equivalently, the smallest-dimensional gauge-invariant operator that includes quark/antiquark/gluon fields and the new strongly-interacting matter field. Finally, I list all possible values of the electric charge of the smallest hadrons containing the new exotic particles, and discuss constraints from asymptotic freedom both for QCD and for grand unification embeddings thereof.


title: A $d = 3$ dimensional model with two $U(1)$ gauge fields coupled via matter fields and BF interaction

abstract: We study a model in $d = 2 + 1$ space-time dimensions with two sectors. One of them, which can be considered as the visible sector, contains just a $U(1)$ gauge field which acts as a probe for the other (hidden) sector, given by a second $U(1)$ gauge field and massive scalar and Dirac fermions. Covariant derivatives of these matter fields and a BF gauge mixing term couple the two sectors. Integration over fermion fields leads to an effective theory with Chern-Simons terms that support vortex like solutions in both sectors even if originally there was no symmetry breaking Higgs scalar in the visible sector. We study numerically the solutions which correspond to electrically charged magnetic vortices except for a critical value of the BF coupling constant at which solely purely magnetic vortices exist.


title: Identifying vortical network connectors for turbulent flow modification

abstract: We introduce a network (graph) theoretic community-based framework to extract vortical structures that serve the role of connectors for the vortical interactions in two- and three-dimensional isotropic turbulence. The present framework represents the vortical interactions on a network, where the vortical elements are viewed as the nodes and the vortical interactions are regarded as edges weighted by induced velocity. We identify closely interacting vortical elements as vortical network communities through community detection algorithms. We show that the inter- and intra-community interactions can be used to decompose the governing equation for the evolution of network nodes. These community-based interactions are used to identify the communities which have the strongest and weakest interactions amongst them. These vortical communities are referred to as connector and peripheral communities, respectively. We demonstrate the influence of the network-based structures to modify the dynamics of a collection of discrete point vortices. Taking advantage of the strong inter-community interactions, connector community can significantly modify the collective dynamics of vortices through the application of multiple impulse perturbations. We then apply the community-based framework to extract influential structures in isotropic turbulence. The connector and peripheral communities extracted from turbulent flows resemble shear-layer and vortex-core like structures, respectively. The influence of the connector structures on the flow field and their neighboring vortical structures is analyzed by adding impulse perturbations to the connectors in direct numerical simulations. The findings are compared with the cases of perturbing the strongest vortex tube and shear-layer regions. We find that perturbing the connector structures enhances local turbulent mixing beyond what are achieved by the other cases.


title: A Metric Space for Point Process Excitations

abstract: A multivariate Hawkes process enables self- and cross-excitations through a triggering matrix that behaves like an asymmetrical covariance structure, characterizing pairwise interactions between the event types. Full-rank estimation of all interactions is often infeasible in empirical settings. Models that specialize on a spatiotemporal application alleviate this obstacle by exploiting spatial locality, allowing the dyadic relationships between events to depend only on separation in time and relative distances in real Euclidean space. Here we generalize this framework to any multivariate Hawkes process, and harness it as a vessel for embedding arbitrary event types in a hidden metric space. Specifically, we propose a Hidden Hawkes Geometry (HHG) model to uncover the hidden geometry between event excitations in a multivariate point process. The low dimensionality of the embedding regularizes the structure of the inferred interactions. We develop a number of estimators and validate the model by conducting several experiments. In particular, we investigate regional infectivity dynamics of COVID-19 in an early South Korean record and recent Los Angeles confirmed cases. By additionally performing synthetic experiments on short records as well as explorations into options markets and the Ebola epidemic, we demonstrate that learning the embedding alongside a point process uncovers salient interactions in a broad range of applications.


title: High-order entropy stable discontinuous Galerkin methods for the shallow water equations: curved triangular meshes and GPU acceleration

abstract: We present a high-order entropy stable discontinuous Galerkin (ESDG) method for the two dimensional shallow water equations (SWE) on curved triangular meshes. The presented scheme preserves a semi-discrete entropy inequality and remains well-balanced for continuous bathymetry profiles. We provide numerical experiments which confirm the high-order accuracy and theoretical properties of the scheme, and compare the presented scheme to an entropy stable scheme based on simplicial summation-by-parts (SBP) finite difference operators. Finally, we report the computational performance of an implementation on Graphics Processing Units (GPUs) and provide comparisons to existing GPU-accelerated implementations of high-order DG methods on quadrilateral meshes.


title: Phonetic and Visual Priors for Decipherment of Informal Romanization

abstract: Informal romanization is an idiosyncratic process used by humans in informal digital communication to encode non-Latin script languages into Latin character sets found on common keyboards. Character substitution choices differ between users but have been shown to be governed by the same main principles observed across a variety of languages---namely, character pairs are often associated through phonetic or visual similarity. We propose a noisy-channel WFST cascade model for deciphering the original non-Latin script from observed romanized text in an unsupervised fashion. We train our model directly on romanized data from two languages: Egyptian Arabic and Russian. We demonstrate that adding inductive bias through phonetic and visual priors on character mappings substantially improves the model's performance on both languages, yielding results much closer to the supervised skyline. Finally, we introduce a new dataset of romanized Russian, collected from a Russian social network website and partially annotated for our experiments.


title: Correction/Addendum to "The Extremal Function for the Complex Ball for Generalized Notions of Degree and Multivariate Polynomial Approximation"

abstract: We correct the calculation of the Monge-Amp\`ere measure of a certain extremal plurisubharmonic function for the complex Euclidean ball in C^2.


title: The Sign of Three: Spin/Charge Density Waves at the Boundaries of Transition Metal Dichalcogenides

abstract: One-dimensional grain boundaries of two-dimensional semiconducting {\MX} (M= Mo,W; X=S,Se) transition metal di-chalcogenides are typically metallic at room temperature. The metallicity has its origin in the lattice polarization, which for these lattices with $D_{3h}$ symmetry is a topological invariant, and leads to one-dimenional boundary states inside the band gap. For boundaries perpendicular to the polarization direction, these states are necessarily 1/3 occupied by electrons or holes, making them susceptible to a metal-insulator transition that triples the translation period. Using density-functional-theory calculations we demonstrate the emergence of combined one-dimensional spin density/charge density waves of that period at the boundary, opening up a small band gap of $\sim 0.1$ eV. This unique electronic structure allows for soliton excitations at the boundary that carry a fractional charge of $\pm 1/3\ e$.


title: Hirzebruch-Zagier classes and rational elliptic curves over quintic fields

abstract: Conditionally on a conjecture on the \'etale cohomology of Hilbert modular surfaces and some minor technical assumptions, we establish new instances of the equivariant BSD-conjecture in rank $0$ with applications to the arithmetic of rational elliptic curves over quintic fields. The key ingredients are a refinement of twisted triple product $p$-adic $L$-functions, the construction of a compatible collection of Hirzebruch-Zagier cycles and an explicit reciprocity law relating the two.


title: A Pipeline for Integrated Theory and Data-Driven Modeling of Genomic and Clinical Data

abstract: High throughput genome sequencing technologies such as RNA-Seq and Microarray have the potential to transform clinical decision making and biomedical research by enabling high-throughput measurements of the genome at a granular level. However, to truly understand causes of disease and the effects of medical interventions, this data must be integrated with phenotypic, environmental, and behavioral data from individuals. Further, effective knowledge discovery methods that can infer relationships between these data types are required. In this work, we propose a pipeline for knowledge discovery from integrated genomic and clinical data. The pipeline begins with a novel variable selection method, and uses a probabilistic graphical model to understand the relationships between features in the data. We demonstrate how this pipeline can improve breast cancer outcome prediction models, and can provide a biologically interpretable view of sequencing data.


title: A note on the groups of finite type and the Hartman-Mycielski construction

abstract: Ando, Matsuzawa, Thom, and T\"ornquist have resolved a problem by Sorin Popa by constructing an example of a Polish group of unitary operators with the strong operator topology, whose left and right uniform structures coincide, but which does not embed into the unitary group of a finite von Neumann algebra. The question remained whether such a group can be connected. Here we observe that a connected (in fact, homeomorphic to the Hilbert space) example is obtained from the example of the above authors via the Hartman--Mycielski construction.


title: Partly Supervised Multitask Learning

abstract: Semi-supervised learning has recently been attracting attention as an alternative to fully supervised models that require large pools of labeled data. Moreover, optimizing a model for multiple tasks can provide better generalizability than single-task learning. Leveraging self-supervision and adversarial training, we propose a novel general purpose semi-supervised, multiple-task model---namely, self-supervised, semi-supervised, multitask learning (S$^4$MTL)---for accomplishing two important tasks in medical imaging, segmentation and diagnostic classification. Experimental results on chest and spine X-ray datasets suggest that our S$^4$MTL model significantly outperforms semi-supervised single task, semi/fully-supervised multitask, and fully-supervised single task models, even with a 50\% reduction of class and segmentation labels. We hypothesize that our proposed model can be effective in tackling limited annotation problems for joint training, not only in medical imaging domains, but also for general-purpose vision tasks.


title: An elementary proof that walk dimension is greater than two for Brownian motion on Sierpi\'{n}ski carpets

abstract: We give an elementary self-contained proof of the fact that the walk dimension of the Brownian motion on an arbitrary generalized Sierpi\'{n}ski carpet is greater than two, no proof of which in this generality had been available in the literature. Our proof is based solely on the self-similarity and hypercubic symmetry of the associated Dirichlet form and on several very basic pieces of functional analysis and the theory of regular symmetric Dirichlet forms. We also present an application of this fact to the singularity of the energy measures with respect to the canonical self-similar measure (uniform distribution) in this case, proved first by M. Hino in [Probab. Theory Related Fields 132 (2005), no. 2, 265-290].


title: Neural-Symbolic Relational Reasoning on Graph Models: Effective Link Inference and Computation from Knowledge Bases

abstract: The recent developments and growing interest in neural-symbolic models has shown that hybrid approaches can offer richer models for Artificial Intelligence. The integration of effective relational learning and reasoning methods is one of the key challenges in this direction, as neural learning and symbolic reasoning offer complementary characteristics that can benefit the development of AI systems. Relational labelling or link prediction on knowledge graphs has become one of the main problems in deep learning-based natural language processing research. Moreover, other fields which make use of neural-symbolic techniques may also benefit from such research endeavours. There have been several efforts towards the identification of missing facts from existing ones in knowledge graphs. Two lines of research try and predict knowledge relations between two entities by considering all known facts connecting them or several paths of facts connecting them. We propose a neural-symbolic graph neural network which applies learning over all the paths by feeding the model with the embedding of the minimal subset of the knowledge graph containing such paths. By learning to produce representations for entities and facts corresponding to word embeddings, we show how the model can be trained end-to-end to decode these representations and infer relations between entities in a multitask approach. Our contribution is two-fold: a neural-symbolic methodology leverages the resolution of relational inference in large graphs, and we also demonstrate that such neural-symbolic model is shown more effective than path-based approaches


title: Broken detailed balance and entropy production in the human brain

abstract: Living systems break detailed balance at small scales, consuming energy and producing entropy in the environment in order to perform molecular and cellular functions. However, it remains unclear how broken detailed balance manifests at macroscopic scales, and how such dynamics support higher-order biological functions. Here we present a framework to quantify broken detailed balance by measuring entropy production in macroscopic systems. We apply our method to the human brain, an organ whose immense metabolic consumption drives a diverse range of cognitive functions. Using whole-brain imaging data, we demonstrate that the brain nearly obeys detailed balance when at rest, but strongly breaks detailed balance when performing physically and cognitively demanding tasks. Using a dynamic Ising model, we show that these large-scale violations of detailed balance can emerge from fine-scale asymmetries in the interactions between elements, a known feature of neural systems. Together, these results suggest that violations of detailed balance are vital for cognition, and provide a general tool for quantifying entropy production in macroscopic systems.


title: ESG2Risk: A Deep Learning Framework from ESG News to Stock Volatility Prediction

abstract: Incorporating environmental, social, and governance (ESG) considerations into systematic investments has drawn numerous attention recently. In this paper, we focus on the ESG events in financial news flow and exploring the predictive power of ESG related financial news on stock volatility. In particular, we develop a pipeline of ESG news extraction, news representations, and Bayesian inference of deep learning models. Experimental evaluation on real data and different markets demonstrates the superior predicting performance as well as the relation of high volatility prediction to stocks with potential high risk and low return. It also shows the prospect of the proposed pipeline as a flexible predicting framework for various textual data and target variables.


title: UV Exoplanet Transmission Spectral Features as Probes of Metals and Rainout

abstract: The low-resolution transmission spectra of ultra-hot Jupiters observed shortward of 0.5 microns indicate strong absorption at short-wavelengths. Previous explanations have included scattering, photochemistry, escaping metals, and disequilibrium chemistry. In this Letter, we show that slopes and features shortward of 0.5 microns can be caused by opacity not commonly considered in atmosphere models of exoplanets but guaranteed to be present if conditions are near chemical equilibrium including Fe I, Fe II, Ti I, Ni I, Ca I, Ca II, and SiO. Even relatively trace species (e.g., Cr I and Mn I) can contribute through strong lines in the UV and blue-optical. Using the PHOENIX atmosphere model, we describe how the short-wavelength transit spectrum varies with equilibrium temperature between 1000 K and 4000 K, as well as the effect that the rainout of condensates has at these wavelengths. We define two spectral indices to quantify the strength of the NUV and blue absorption compared to that in the red-optical, finding that the NUV transit depth will significantly exceed the transit depth from Rayleigh scattering alone for all hot Jupiters down to around 1000 K. In the blue-optical, hot Jupiters warmer than 2000 K will have transit depths larger than that from Rayleigh scattering, but below 2000 K, Rayleigh scattering can dominate, if present. We further show that these spectral indices may be used to trace the effects of rainout. We then compare our simulated transit spectra to existing observations of WASP-12b, WASP-33b, WASP-76b, and WASP-121b.


title: Regarding two conjectures on clique and biclique partitions

abstract: For a graph $G$, let $cp(G)$ denote the minimum number of cliques of $G$ needed to cover the edges of $G$ exactly once. Similarly, let $bp_k(G)$ denote the minimum number of bicliques (i.e. complete bipartite subgraphs of $G$) needed to cover each edge of $G$ exactly $k$ times. We consider two conjectures -- one regarding the maximum possible value of $cp(G) + cp(\overline{G})$ (due to de Caen, Erd\H{o}s, Pullman and Wormald) and the other regarding $bp_k(K_n)$ (due to de Caen, Gregory and Pritikin). We disprove the first, obtaining improved lower and upper bounds on $\max_G cp(G) + cp(\overline{G})$, and we prove an asymptotic version of the second, showing that $bp_k(K_n) = (1+o(1))n$.


title: Approximation Algorithms for Multi-Robot Patrol-Scheduling with Min-Max Latency

abstract: We consider the problem of finding patrol schedules for $k$ robots to visit a given set of $n$ sites in a metric space. Each robot has the same maximum speed and the goal is to minimize the weighted maximum latency of any site, where the latency of a site is defined as the maximum time duration between consecutive visits of that site. The problem is NP-hard, as it has the traveling salesman problem as a special case (when $k=1$ and all sites have the same weight). We present a polynomial-time algorithm with an approximation factor of $O(k^2 \log \frac{w_{\max}}{w_{\min}})$ to the optimal solution, where $w_{\max}$ and $w_{\min}$ are the maximum and minimum weight of the sites respectively. Further, we consider the special case where the sites are in 1D. When all sites have the same weight, we present a polynomial-time algorithm to solve the problem exactly. If the sites may have different weights, we present a $12$-approximate solution, which runs in polynomial time when the number of robots, $k$, is a constant.


title: Characterization of systematic error in Advanced LIGO calibration

abstract: The raw outputs of the detectors within the Advanced Laser Interferometer Gravitational-Wave Observatory need to be calibrated in order to produce the estimate of the dimensionless strain used for astrophysical analyses. The two detectors have been upgraded since the second observing run and finished the year-long third observing run. Understanding, accounting, and/or compensating for the complex-valued response of each part of the upgraded detectors improves the overall accuracy of the estimated detector response to gravitational waves. We describe improved understanding and methods used to quantify the response of each detector, with a dedicated effort to define all places where systematic error plays a role. We use the detectors as they stand in the first half (six months) of the third observing run to demonstrate how each identified systematic error impacts the estimated strain and constrain the statistical uncertainty therein. For this time period, we estimate the upper limit on systematic error and associated uncertainty to be $< 7\%$ in magnitude and $< 4$ deg in phase ($68\%$ confidence interval) in the most sensitive frequency band 20-2000 Hz. The systematic error alone is estimated at levels of $< 2\%$ in magnitude and $< 2$ deg in phase.


title: Asymptotic distributions for estimated expected functionals of general random elements

abstract: We consider an estimation problem of expected functionals of a general random element that values in a metric space. If the functional forms an explicit function of some unknown parameters, we can estimate it by plugging-in a suitable estimator in to the function, and we can find the asymptotic distribution. However, if the functional is implicit in the parameters, it causes a problem of specifying asymptotic distribution. This paper gives a general condition to specify the asymptotic distribution even if the functional is implicit in the parameters, and further investigates it in detail when the random elements are semimartingales.


title: Unlocking Galactic Wolf-Rayet stars with $\textit{Gaia}$ DR2 II: Cluster and Association membership

abstract: Galactic Wolf-Rayet (WR) star membership of star forming regions can be used to constrain the formation environments of massive stars. Here, we utilise $\textit{Gaia}$ DR2 parallaxes and proper motions to reconsider WR star membership of clusters and associations in the Galactic disk, supplemented by recent near-IR studies of young massive clusters. We find that only 18$-$36% of 553 WR stars external to the Galactic Centre region are located in clusters, OB associations or obscured star-forming regions, such that at least 64% of the known disk WR population are isolated, in contrast with only 13% of O stars from the Galactic O star Catalogue. The fraction located in clusters, OB associations or star-forming regions rises to 25$-$41% from a global census of 663 WR stars including the Galactic Centre region. We use simulations to explore the formation processes of isolated WR stars. Neither runaways, nor low mass clusters, are numerous enough to account for the low cluster membership fraction. Rapid cluster dissolution is excluded as mass segregation ensures WR stars remain in dense, well populated environments. Only low density environments consistently produce WR stars that appeared to be isolated during the WR phase. We therefore conclude that a significant fraction of WR progenitors originate in low density association-like surroundings which expand over time. We provide distance estimates to clusters and associations host to WR stars, and estimate cluster ages from isochrone fitting.


title: The Cascade Transformer: an Application for Efficient Answer Sentence Selection

abstract: Large transformer-based language models have been shown to be very effective in many classification tasks. However, their computational complexity prevents their use in applications requiring the classification of a large set of candidates. While previous works have investigated approaches to reduce model size, relatively little attention has been paid to techniques to improve batch throughput during inference. In this paper, we introduce the Cascade Transformer, a simple yet effective technique to adapt transformer-based models into a cascade of rankers. Each ranker is used to prune a subset of candidates in a batch, thus dramatically increasing throughput at inference time. Partial encodings from the transformer model are shared among rerankers, providing further speed-up. When compared to a state-of-the-art transformer model, our approach reduces computation by 37% with almost no impact on accuracy, as measured on two English Question Answering datasets.


title: Arctic Amplification of Anthropogenic Forcing: A Vector Autoregressive Analysis

abstract: On September 15th 2020, Arctic sea ice extent (SIE) ranked second-to-lowest in history and keeps trending downward. The understanding of how feedback loops amplify the effects of external CO2 forcing is still limited. We propose the VARCTIC, which is a Vector Autoregression (VAR) designed to capture and extrapolate Arctic feedback loops. VARs are dynamic simultaneous systems of equations, routinely estimated to predict and understand the interactions of multiple macroeconomic time series. The VARCTIC is a parsimonious compromise between full-blown climate models and purely statistical approaches that usually offer little explanation of the underlying mechanism. Our completely unconditional forecast has SIE hitting 0 in September by the 2060's. Impulse response functions reveal that anthropogenic CO2 emission shocks have an unusually durable effect on SIE -- a property shared by no other shock. We find Albedo- and Thickness-based feedbacks to be the main amplification channels through which CO2 anomalies impact SIE in the short/medium run. Further, conditional forecast analyses reveal that the future path of SIE crucially depends on the evolution of CO2 emissions, with outcomes ranging from recovering SIE to it reaching 0 in the 2050's. Finally, Albedo and Thickness feedbacks are shown to play an important role in accelerating the speed at which predicted SIE is heading towards 0.


title: Alkaline Exospheres of Exoplanet Systems: Evaporative Transmission Spectra

abstract: Hydrostatic equilibrium is an excellent approximation for the dense layers of planetary atmospheres where it has been canonically used to interpret transmission spectra of exoplanets. Here we exploit the ability of high-resolution spectrographs to probe tenuous layers of sodium and potassium gas due to their formidable absorption cross-sections. We present an atmosphere-exosphere degeneracy between optically thick and optically thin mediums, raising the question of whether hydrostatic equilibrium is appropriate for Na I lines observed at exoplanets. To this end we simulate three non-hydrostatic, evaporative, density profiles: (i) escaping, (ii) exomoon, and (iii) torus to examine their imprint on an alkaline exosphere in transmission. By analyzing an evaporative curve of growth we find that equivalent widths of $W_{\mathrm{Na D2}} \sim 1- 10$ mA are naturally driven by evaporation rates $\sim 10^3 - 10^5$ kg/s of pure atomic Na. To break the degeneracy between atmospheric and exospheric absorption, we suggest that if the line ratio is $\mathrm{D2/D1} \gtrsim 1.2$ the gas is optically thin on average and roughly indicating a non-hydrostatic structure of the atmosphere/exosphere. We show this is the case for Na I observations at hot Jupiters WASP-49b and HD189733b and also simulate their K I spectra. Lastly, motivated by the slew of metal detections at ultra-hot Jupiters, we suggest a toroidal atmosphere at WASP-76b and WASP-121b is consistent with the Na I data at present.


title: Conditional Cuckoo Filters

abstract: Bloom filters, cuckoo filters, and other approximate set membership sketches have a wide range of applications. Oftentimes, expensive operations can be skipped if an item is not in a data set. These filters provide an inexpensive, memory efficient way to test if an item is in a set and avoid unnecessary operations. Existing sketches only allow membership testing for single set. However, in some applications such as join processing, the relevant set is not fixed and is determined by a set of predicates. We propose the Conditional Cuckoo Filter, a simple modification of the cuckoo filter that allows for set membership testing given predicates on a pre-computed sketch. This filter also introduces a novel chaining technique that enables cuckoo filters to handle insertion of duplicate keys. We evaluate our methods on a join processing application and show that they significantly reduce the number of tuples that a join must process.


title: RHEOS.jl-A Julia Package for Rheology Data Analysis

abstract: Rheology is the science of deformation and flow, with a focus on materials that do not exhibit simple linear elastic or viscous Newtonian behaviours. Rheology plays an important role in the empirical characterisation of soft viscoelastic materials commonly found in the food and cosmetics industry, as well as in biology and bioengineering. A broad range of theoretical tools exist to extract material parameters and interpret them thanks to data analysis and/or physical modelling. RHEOS (RHEology, Open-Source) is a software package designed to make the analysis of rheological data simpler, faster and more reproducible. RHEOS is currently limited to the broad family of linear viscoelastic models. A particular strength of the library is its ability to handle rheological models containing fractional derivatives which have demonstrable utility for the modelling of biological materials but have hitherto remained in relative obscurity-possibly due to their mathematical and computational complexity. RHEOS is written in Julia, which greatly assists achievement of our aims as it provides excellent computational efficiency and approachable syntax. RHEOS is fully documented and has extensive testing coverage. It should be noted that RHEOS is not an optimisation package. It builds on another optimisation package, NLopt, by adding a large number of abstractions and functionality specific to the exploration of viscoelastic data.


title: Speak to your Parser: Interactive Text-to-SQL with Natural Language Feedback

abstract: We study the task of semantic parse correction with natural language feedback. Given a natural language utterance, most semantic parsing systems pose the problem as one-shot translation where the utterance is mapped to a corresponding logical form. In this paper, we investigate a more interactive scenario where humans can further interact with the system by providing free-form natural language feedback to correct the system when it generates an inaccurate interpretation of an initial utterance. We focus on natural language to SQL systems and construct, SPLASH, a dataset of utterances, incorrect SQL interpretations and the corresponding natural language feedback. We compare various reference models for the correction task and show that incorporating such a rich form of feedback can significantly improve the overall semantic parsing accuracy while retaining the flexibility of natural language interaction. While we estimated human correction accuracy is 81.5%, our best model achieves only 25.1%, which leaves a large gap for improvement in future research. SPLASH is publicly available at https://aka.ms/Splash_dataset.


title: Measuring Adversarial Robustness using a Voronoi-Epsilon Adversary

abstract: Previous studies on robustness have argued that there is a tradeoff between accuracy and adversarial accuracy. The tradeoff can be inevitable even when we neglect generalization. We argue that the tradeoff is inherent to the commonly used definition of adversarial accuracy, which uses an adversary that can construct adversarial points constrained by $\epsilon$-balls around data points. As $\epsilon$ gets large, the adversary may use real data points from other classes as adversarial examples. We propose a Voronoi-epsilon adversary which is constrained both by Voronoi cells and by $\epsilon$-balls. This adversary balances between two notions of perturbation. As a result, adversarial accuracy based on this adversary avoids a tradeoff between accuracy and adversarial accuracy on training data even when $\epsilon$ is large. Finally, we show that a nearest neighbor classifier is the maximally robust classifier against the proposed adversary on the training data.


title: A naked-eye triple system with a nonaccreting black hole in the inner binary

abstract: Several dozen optical echelle spectra demonstrate that HR 6819 is a hierarchical triple. A classical Be star is in a wide orbit with an unconstrained period around an inner 40 d binary consisting of a B3 III star and an unseen companion in a circular orbit. The radial-velocity semi-amplitude of 61.3 km/s of the inner star and its minimum (probable) mass of 5.0 Msun (6.3 +- 0.7 Msun) imply a mass of the unseen object of >= 4.2 Msun (>= 5.0 +- 0.4 Msun), that is, a black hole (BH). The spectroscopic time series is stunningly similar to observations of LB-1. A similar triple-star architecture of LB-1 would reduce the mass of the BH in LB-1 from ~70 Msun to a level more typical of Galactic stellar remnant BHs. The BH in HR 6819 probably is the closest known BH to the Sun, and together with LB-1, suggests a population of quiet BHs. Its embedment in a hierarchical triple structure may be of interest for models of merging double BHs or BH + neutron star binaries. Other triple stars with an outer Be star but without BH are identified; through stripping, such systems may become a source of single Be stars.


title: Interior Estimates for Monge-Amp\`ere Equation in Terms of Modulus of Continuity

abstract: We investigate the Monge-Amp\`ere equation subject to zero boundary value and with a positive right-hand side unction assumed to be continuous or essentially bounded. Interior estimates of the solution's first and second derivatives are obtained in terms of moduli of continuity. We explicate how the estimates depend on various quantities but have them independent of the solution's modulus of convexity. Our main theorem has many useful consequences. One of them is the nonlinear dependence between the H\"older seminorms of the solution and of the right-side function, which confirms the results of Figalli, Jhaveri and Mooney (J. Func. Anal. 2016). Our technique is in part inspired by Jian and Wang (SIAM J. Math. Anal. 2007) which includes using a sequence of so-called sections.


title: Sectional rank and Cohomology II

abstract: We investigate bounds on the dimension of cohomology groups for finite groups acting on an irreducible kG-module for G a finite group of bound sectional p-rank and k an algebraically closed field of characteristic p.


title: AutoScale: Optimizing Energy Efficiency of End-to-End Edge Inference under Stochastic Variance

abstract: Deep learning inference is increasingly run at the edge. As the programming and system stack support becomes mature, it enables acceleration opportunities within a mobile system, where the system performance envelope is scaled up with a plethora of programmable co-processors. Thus, intelligent services designed for mobile users can choose between running inference on the CPU or any of the co-processors on the mobile system, or exploiting connected systems, such as the cloud or a nearby, locally connected system. By doing so, the services can scale out the performance and increase the energy efficiency of edge mobile systems. This gives rise to a new challenge - deciding when inference should run where. Such execution scaling decision becomes more complicated with the stochastic nature of mobile-cloud execution, where signal strength variations of the wireless networks and resource interference can significantly affect real-time inference performance and system energy efficiency. To enable accurate, energy-efficient deep learning inference at the edge, this paper proposes AutoScale. AutoScale is an adaptive and light-weight execution scaling engine built upon the custom-designed reinforcement learning algorithm. It continuously learns and selects the most energy-efficient inference execution target by taking into account characteristics of neural networks and available systems in the collaborative cloud-edge execution environment while adapting to the stochastic runtime variance. Real system implementation and evaluation, considering realistic execution scenarios, demonstrate an average of 9.8 and 1.6 times energy efficiency improvement for DNN edge inference over the baseline mobile CPU and cloud offloading, while meeting the real-time performance and accuracy requirement.


title: Trajectory Prediction for Autonomous Driving based on Multi-Head Attention with Joint Agent-Map Representation

abstract: Predicting the trajectories of surrounding agents is an essential ability for autonomous vehicles navigating through complex traffic scenes. The future trajectories of agents can be inferred using two important cues: the locations and past motion of agents, and the static scene structure. Due to the high variability in scene structure and agent configurations, prior work has employed the attention mechanism, applied separately to the scene and agent configuration to learn the most salient parts of both cues. However, the two cues are tightly linked. The agent configuration can inform what part of the scene is most relevant to prediction. The static scene in turn can help determine the relative influence of agents on each other's motion. Moreover, the distribution of future trajectories is multimodal, with modes corresponding to the agent's intent. The agent's intent also informs what part of the scene and agent configuration is relevant to prediction. We thus propose a novel approach applying multi-head attention by considering a joint representation of the static scene and surrounding agents. We use each attention head to generate a distinct future trajectory to address multimodality of future trajectories. Our model achieves state of the art results on the nuScenes prediction benchmark and generates diverse future trajectories compliant with scene structure and agent configuration.


title: Methods for coherent optical Doppler orbitography

abstract: Doppler orbitography uses the Doppler shift in a transmitted signal to determine the orbital parameters of satellites including range and range-rate (or radial velocity). We describe two techniques for atmospheric-limited optical Doppler orbitography measurements of range-rate. The first determines the Doppler shift directly from a heterodyne measurement of the returned optical signal. The second aims to improve the precision of the first by suppressing atmospheric phase noise imprinted on the transmitted optical signal. We demonstrate the performance of each technique over a 2.2 km horizontal link with a simulated in-line velocity Doppler shift at the far end. A horizontal link of this length has been estimated to exhibit nearly half the total integrated atmospheric turbulence of a vertical link to space. Without stabilisation of the atmospheric effects, we obtained an estimated range rate precision of 17 um/s at 1 s of integration. With active suppression of atmospheric phase noise, this improved by three orders-of-magnitude to an estimated range rate precision of 9.0 nm/s at 1 second of integration, and 1.1 nm/s when integrated over a 60 s. This represents four orders-of-magnitude improvement over the typical performance of operational ground to space X-Band systems in terms of range-rate precision at the same integration time. The performance of this system is a promising proof of concept for coherent optical Doppler orbitography. There are many additional challenges associated with performing these techniques from ground to space, that were not captured within the preliminary experiments presented here. In the future, we aim to progress towards a 10 km horizontal link to replicate the expected atmospheric turbulence for a ground to space link.


title: On Failure Diagnosis of the Storage Stack

abstract: Diagnosing storage system failures is challenging even for professionals. One example is the "When Solid State Drives Are Not That Solid" incident occurred at Algolia data center, where Samsung SSDs were mistakenly blamed for failures caused by a Linux kernel bug. With the system complexity keeps increasing, such obscure failures will likely occur more often. As one step to address the challenge, we present our on-going efforts called X-Ray. Different from traditional methods that focus on either the software or the hardware, X-Ray leverages virtualization to collects events across layers, and correlates them to generate a correlation tree. Moreover, by applying simple rules, X-Ray can highlight critical nodes automatically. Preliminary results based on 5 failure cases shows that X-Ray can effectively narrow down the search space for failures.


title: Quantum black holes in the horizon quantum mechanics model at the Large Hadron Collider

abstract: Quantum black hole production at the Large Hadron Collider is investigated using the horizon quantum mechanics model. This model has novel implications for how black holes might be observed in collider experiments. Black hole production is predicted to be possible below the Planck scale, thus leading to the intriguing possibility that black holes could be produced even if the Planck scale is slightly above the collider centre of mass energy. In addition, the usual anticipated resonance in the black hole mass distribution is significantly widened in this model. For values of the Planck scale above the current lower limits, the shape of the black hole mass distribution is almost independent of the Planck scale and depends more on the number of extra dimensions. These model features suggest the need for alternative search strategies in collider experiments.


title: Birth-Burst in Evolving Networks

abstract: The evolution of complex networks is governed by both growing rules and internal properties. Most evolving network models (e.g. preferential attachment) emphasize on the growing strategy, while neglecting the characteristics of individual nodes. In this study, we analyzed a widely studied network: the evolving protein-protein interaction (PPI) network. We discovered the critical contribution of individual nodes, occurring particularly at their birth. Specifically, a node is born with a fitness value - a measurement of its intrinsic significance. Upon the introduction of a node with a large fitness into the network, a corresponding high birth-degree is determined accordingly, leading to an abrupt increase of connectivity in the network. The degree fraction of these large (hub) nodes does not decay away with the network evolution, while keeping a constant influence over the lifetime. Here we developed the birth-burst model, an adaptation of the fitness model, to simulate degree-burst and phase-transition in the network evolution.


title: A Post-Silicon Trace Analysis Approach for System-on-Chip Protocol Debug

abstract: Reconstructing system-level behavior from silicon traces is a critical problem in post-silicon validation of System-on-Chip designs. Current industrial practice in this area is primarily manual, depending on collaborative insights of the architects, designers, and validators. This paper presents a trace analysis approach that exploits architectural models of the system-level protocols to reconstruct design behavior from partially observed silicon traces in the presence of ambiguous and noisy data. The output of the approach is a set of all potential interpretations of a system's internal executions abstracted to the system-level protocols. To support the trace analysis approach, a companion trace signal selection framework guided by system-level protocols is also presented, and its impacts on the complexity and accuracy of the analysis approach are discussed. That approach and the framework have been evaluated on a multi-core system-on-chip prototype that implements a set of common industrial system-level protocols.


title: CascadePSP: Toward Class-Agnostic and Very High-Resolution Segmentation via Global and Local Refinement

abstract: State-of-the-art semantic segmentation methods were almost exclusively trained on images within a fixed resolution range. These segmentations are inaccurate for very high-resolution images since using bicubic upsampling of low-resolution segmentation does not adequately capture high-resolution details along object boundaries. In this paper, we propose a novel approach to address the high-resolution segmentation problem without using any high-resolution training data. The key insight is our CascadePSP network which refines and corrects local boundaries whenever possible. Although our network is trained with low-resolution segmentation data, our method is applicable to any resolution even for very high-resolution images larger than 4K. We present quantitative and qualitative studies on different datasets to show that CascadePSP can reveal pixel-accurate segmentation boundaries using our novel refinement module without any finetuning. Thus, our method can be regarded as class-agnostic. Finally, we demonstrate the application of our model to scene parsing in multi-class segmentation.


title: Enhancing Intrinsic Adversarial Robustness via Feature Pyramid Decoder

abstract: Whereas adversarial training is employed as the main defence strategy against specific adversarial samples, it has limited generalization capability and incurs excessive time complexity. In this paper, we propose an attack-agnostic defence framework to enhance the intrinsic robustness of neural networks, without jeopardizing the ability of generalizing clean samples. Our Feature Pyramid Decoder (FPD) framework applies to all block-based convolutional neural networks (CNNs). It implants denoising and image restoration modules into a targeted CNN, and it also constraints the Lipschitz constant of the classification layer. Moreover, we propose a two-phase strategy to train the FPD-enhanced CNN, utilizing $\epsilon$-neighbourhood noisy images with multi-task and self-supervised learning. Evaluated against a variety of white-box and black-box attacks, we demonstrate that FPD-enhanced CNNs gain sufficient robustness against general adversarial samples on MNIST, SVHN and CALTECH. In addition, if we further conduct adversarial training, the FPD-enhanced CNNs perform better than their non-enhanced versions.


title: Interpretable Learning-to-Rank with Generalized Additive Models

abstract: Interpretability of learning-to-rank models is a crucial yet relatively under-examined research area. Recent progress on interpretable ranking models largely focuses on generating post-hoc explanations for existing black-box ranking models, whereas the alternative option of building an intrinsically interpretable ranking model with transparent and self-explainable structure remains unexplored. Developing fully-understandable ranking models is necessary in some scenarios (e.g., due to legal or policy constraints) where post-hoc methods cannot provide sufficiently accurate explanations. In this paper, we lay the groundwork for intrinsically interpretable learning-to-rank by introducing generalized additive models (GAMs) into ranking tasks. Generalized additive models (GAMs) are intrinsically interpretable machine learning models and have been extensively studied on regression and classification tasks. We study how to extend GAMs into ranking models which can handle both item-level and list-level features and propose a novel formulation of ranking GAMs. To instantiate ranking GAMs, we employ neural networks instead of traditional splines or regression trees. We also show that our neural ranking GAMs can be distilled into a set of simple and compact piece-wise linear functions that are much more efficient to evaluate with little accuracy loss. We conduct experiments on three data sets and show that our proposed neural ranking GAMs can achieve significantly better performance than other traditional GAM baselines while maintaining similar interpretability.


title: Zero-dimensional models for gravitational and scalar QED decoherence

abstract: We investigate the dynamics of two quantum mechanical oscillator system-bath toy models obtained by truncating to zero spatial dimensions linearized gravity coupled to a massive scalar field and scalar QED. The scalar-gravity toy model maps onto the phase damped oscillator, while the scalar QED toy model approximately maps onto an oscillator system subject to two-photon damping. The toy models provide potentially useful insights into solving for open system quantum dynamics relevant to the full scalar QED and weak gravitational field systems, in particular operational probes of the decoherence for initial scalar field system superposition states.


title: Domes over curves

abstract: A closed piecewise linear curve is called integral if it is comprised of unit intervals. Kenyon's problem asks whether for every integral curve $\gamma$ in $\mathbb{R}^3$, there is a dome over $\gamma$, i.e. whether $\gamma$ is a boundary of a polyhedral surface whose faces are equilateral triangles with unit edge lengths. First, we give an algebraic necessary condition when $\gamma$ is a quadrilateral, thus giving a negative solution to Kenyon's problem in full generality. We then prove that domes exist over a dense set of integral curves. Finally, we give an explicit construction of domes over all regular $n$-gons.


title: Harmonic Functions And Linear Elliptic Dirichlet Problems With Random Boundary Values--Stochastic Extensions Of Some Classical Theorems And Estimates

abstract: Let $\psi:{\mathcal{D}}\rightarrow{\mathbf{R}}$ be a harmonic function such that $\Delta\psi(x)=0$ for all $x\in\mathcal{D}\subset{\mathbf{R}}^{n}$. There are then many well-established classical results:the Dirichlet problem and Poisson formula, Harnack inequality, the Maximum Principle, the Mean Value Property etc. Here, a 'noisy' or random domain is one for which there also exists a classical scalar Gaussian random field (GRF) ${\mathscr{J}(x)}$ defined for all $x\in{\mathcal{D}}$ or $x\in\partial {\mathcal{D}}$ with respect to a probability space $[\Omega,\mathcal{F},{\mathrm{I\!P}}]$. The GRF has vanishing mean value $\mathbf{E}[\![\mathscr{J}(x)]\!] = 0$ and a regulated covariance ${{\mathbf{E}}}[\![{{\mathscr{J}}(x)} \otimes {{\mathscr{J}}(y)}]\!] = \alpha J(x,y;\xi)$ for all $(x,y)\in{\mathcal{D}}$ and/or $(x,y)\in{\partial\mathcal{D}}$, with correlation length $\xi$ and ${{\mathbf{E}}}[\![{{\mathscr{J}}(x)} \otimes {{\mathscr{J}}}(x)]\!] = \alpha<\infty$. The gradient $\nabla{{\mathscr{J}}(x)}$ and integral $\int_{{\mathcal{D}}}{\mathscr{J}}(x) d\mu(x)$ also exist on ${\mathcal{D}}\bigcup\partial\mathcal{D}$. Harmonic functions and potentials can become randomly perturbed GRFs of the form $\overline{\psi(x)}=\psi(x)+\lambda{{\mathscr{J}}}(x)$. Physically, this scenario arises from noisy sources or random fluctuations in mass/charge density, noisy or random boundary/surface data; and introducing turbulence/randomness into smooth fluid flows, steady state diffusions or heat flow. This leads to stochastic modifications of classical theorems for randomly perturbed harmonic functions and Riesz and Newtonian potentials; and to stability estimates and bounds for the growth and decay of their volatility and moments.


title: Crossing Variational Autoencoders for Answer Retrieval

abstract: Answer retrieval is to find the most aligned answer from a large set of candidates given a question. Learning vector representations of questions/answers is the key factor. Question-answer alignment and question/answer semantics are two important signals for learning the representations. Existing methods learned semantic representations with dual encoders or dual variational auto-encoders. The semantic information was learned from language models or question-to-question (answer-to-answer) generative processes. However, the alignment and semantics were too separate to capture the aligned semantics between question and answer. In this work, we propose to cross variational auto-encoders by generating questions with aligned answers and generating answers with aligned questions. Experiments show that our method outperforms the state-of-the-art answer retrieval method on SQuAD.


title: Revisiting Regex Generation for Modeling Industrial Applications by Incorporating Byte Pair Encoder

abstract: Regular expression is important for many natural language processing tasks especially when used to deal with unstructured and semi-structured data. This work focuses on automatically generating regular expressions and proposes a novel genetic algorithm to deal with this problem. Different from the methods which generate regular expressions from character level, we first utilize byte pair encoder (BPE) to extract some frequent items, which are then used to construct regular expressions. The fitness function of our genetic algorithm contains multi objectives and is solved based on evolutionary procedure including crossover and mutation operation. In the fitness function, we take the length of generated regular expression, the maximum matching characters and samples for positive training samples, and the minimum matching characters and samples for negative training samples into consideration. In addition, to accelerate the training process, we do exponential decay on the population size of the genetic algorithm. Our method together with a strong baseline is tested on 13 kinds of challenging datasets. The results demonstrate the effectiveness of our method, which outperforms the baseline on 10 kinds of data and achieves nearly 50 percent improvement on average. By doing exponential decay, the training speed is approximately 100 times faster than the methods without using exponential decay. In summary, our method possesses both effectiveness and efficiency, and can be implemented for the industry application.


title: Observation of evanescent spin waves in the magnetic dipole regime

abstract: We observed spin-wave transmission through an air gap that works as a prohibited region. The spin waves were excited by circularly polarized pump pulses via the inverse Faraday effect, and their spatial propagation was detected through the Faraday effect of probe pulses using a pump-probe imaging technique. The experimentally observed spin-wave transmission was reproduced using numerical calculations with a Green's function method and micromagnetic simulation. We found that the amplitude of the spin waves decays exponentially in the air gap, which indicates the existence of evanescent spin waves in the magnetic dipole regime. This finding will pave the way for controllable amplitudes and phases of spin waves propagating through an artificial magnonic crystal.


title: A super-resolution imaging approach via subwavelength hole resonances

abstract: This work presents a new super-resolution imaging approach by using subwavelength hole resonances. We employ a subwavelength structure in which an array of tiny holes are etched in a metallic slab with the neighboring distance $\ell$ that is smaller than half of the wavelength. By tuning the incident wave at resonant frequencies, the subwavelength structure generates strong illumination patterns that are able to probe both low and high spatial frequency components of the imaging sample sitting above the structure. The image of the sample is obtained by performing stable numerical reconstruction from the far-field measurement of the diffracted wave. It is demonstrated that a resolution of $\ell/2$ can be obtained for reconstructed images, thus one can achieve super-resolution by arranging multiple holes within one wavelength. The proposed approach may find applications in wave-based imaging such as electromagnetic and ultrasound imaging. It attains two advantages that are important for practical realization. It avoids the difficulty to control the distance the between the probe and the sample surface with high precision. In addition, the numerical reconstructed images are very stable against noise by only using the low frequency band of the far-field data in the numerical reconstruction.


title: Multi-task pre-training of deep neural networks for digital pathology

abstract: In this work, we investigate multi-task learning as a way of pre-training models for classification tasks in digital pathology. It is motivated by the fact that many small and medium-size datasets have been released by the community over the years whereas there is no large scale dataset similar to ImageNet in the domain. We first assemble and transform many digital pathology datasets into a pool of 22 classification tasks and almost 900k images. Then, we propose a simple architecture and training scheme for creating a transferable model and a robust evaluation and selection protocol in order to evaluate our method. Depending on the target task, we show that our models used as feature extractors either improve significantly over ImageNet pre-trained models or provide comparable performance. Fine-tuning improves performance over feature extraction and is able to recover the lack of specificity of ImageNet features, as both pre-training sources yield comparable performance.


title: Synthesis of Parallel Synchronous Software

abstract: In typical embedded applications, the precise execution time of the program does not matter, and it is sufficient to meet a real-time deadline. However, modern applications in information security have become much more time-sensitive, due to the risk of timing side-channel leakage. The timing of such programs needs to be data-independent and precise. We describe a parallel synchronous software model, which executes as N parallel threads on a processor with word-length N. Each thread is a single-bit synchronous machine with precise, contention-free timing, while each of the N threads still executes as an independent machine. The resulting software supports fine-grained parallel execution. In contrast to earlier work to obtain precise and repeatable timing in software, our solution does not require modifications to the processor architecture nor specialized instruction scheduling techniques. In addition, all threads run in parallel and without contention, which eliminates the problem of thread scheduling. We use hardware (HDL) semantics to describe a thread as a single-bit synchronous machine. Using logic synthesis and code generation, we derive a parallel synchronous implementation of this design. We illustrate the synchronous parallel programming model with practical examples from cryptography and other applications with precise timing requirements.


title: EDD: Efficient Differentiable DNN Architecture and Implementation Co-search for Embedded AI Solutions

abstract: High quality AI solutions require joint optimization of AI algorithms and their hardware implementations. In this work, we are the first to propose a fully simultaneous, efficient differentiable DNN architecture and implementation co-search (EDD) methodology. We formulate the co-search problem by fusing DNN search variables and hardware implementation variables into one solution space, and maximize both algorithm accuracy and hardware implementation quality. The formulation is differentiable with respect to the fused variables, so that gradient descent algorithm can be applied to greatly reduce the search time. The formulation is also applicable for various devices with different objectives. In the experiments, we demonstrate the effectiveness of our EDD methodology by searching for three representative DNNs, targeting low-latency GPU implementation and FPGA implementations with both recursive and pipelined architectures. Each model produced by EDD achieves similar accuracy as the best existing DNN models searched by neural architecture search (NAS) methods on ImageNet, but with superior performance obtained within 12 GPU-hour searches. Our DNN targeting GPU is 1.40x faster than the state-of-the-art solution reported in Proxyless, and our DNN targeting FPGA delivers 1.45x higher throughput than the state-of-the-art solution reported in DNNBuilder.


title: Branes and moduli spaces of Higgs bundles on smooth projective varieties

abstract: Given a smooth complex projective variety $M$ and a smooth closed curve $X \subset M$ such that the homomorphism of fundamental groups $\pi_1(X) \rightarrow \pi_1(M)$ is surjective, we study the restriction map of Higgs bundles, namely from Higgs bundles on $M$ to those on $X$. In particular, we investigate the interplay between this restriction map and various types of branes contained in the moduli spaces of Higgs bundles on $M$ and $X$. We also consider the set-up where a finite group is acting on $M$ via holomorphic automorphisms or anti-holomorphic involutions, and the curve $X$ is preserved by the action. Branes are studied in this context.


title: Nonlinear Methods for Model Reduction

abstract: The usual approach to model reduction for parametric partial differential equations (PDEs) is to construct a linear space $V_n$ which approximates well the solution manifold $\mathcal{M}$ consisting of all solutions $u(y)$ with $y$ the vector of parameters. This linear reduced model $V_n$ is then used for various tasks such as building an online forward solver for the PDE or estimating parameters from data observations. It is well understood in other problems of numerical computation that nonlinear methods such as adaptive approximation, $n$-term approximation, and certain tree-based methods may provide improved numerical efficiency. For model reduction, a nonlinear method would replace the linear space $V_n$ by a nonlinear space $\Sigma_n$. This idea has already been suggested in recent papers on model reduction where the parameter domain is decomposed into a finite number of cells and a linear space of low dimension is assigned to each cell. Up to this point, little is known in terms of performance guarantees for such a nonlinear strategy. Moreover, most numerical experiments for nonlinear model reduction use a parameter dimension of only one or two. In this work, a step is made towards a more cohesive theory for nonlinear model reduction. Framing these methods in the general setting of library approximation allows us to give a first comparison of their performance with those of standard linear approximation for any general compact set. We then turn to the study these methods for solution manifolds of parametrized elliptic PDEs. We study a very specific example of library approximation where the parameter domain is split into a finite number $N$ of rectangular cells and where different reduced affine spaces of dimension $m$ are assigned to each cell. The performance of this nonlinear procedure is analyzed from the viewpoint of accuracy of approximation versus $m$ and $N$.


title: Global lower mass-bound for critical configuration models in the heavy-tailed regime

abstract: We establish the global lower mass-bound property for the largest connected components in the critical window for the configuration model when the degree distribution has an infinite third moment. The scaling limit of the critical percolation clusters, viewed as measured metric spaces, was established in [7] with respect to the Gromov-weak topology. Our result extends those scaling limit results to the stronger Gromov-Hausdorff-Prokhorov topology under slightly stronger assumptions on the degree distribution. This implies the distributional convergence of global functionals such as the diameter of the largest critical components. Further, our result gives a sufficient condition for compactness of the random metric spaces that arise as scaling limits of critical clusters in the heavy-tailed regime.


title: A Model for Image Segmentation in Retina

abstract: While traditional feed-forward filter models can reproduce the rate responses of retinal ganglion neurons to simple stimuli, they cannot explain why synchrony between spikes is much higher than expected by Poisson firing [6], and can be sometimes rhythmic [25, 16]. Here we investigate the hypothesis that synchrony in periodic retinal spike trains could convey contextual information of the visual input, which is extracted by computations in the retinal network. We propose a computational model for image segmentation consisting of a Kuramoto model of coupled oscillators whose phases model the timing of individual retinal spikes. The phase couplings between oscillators are shaped by the stimulus structure, causing cells to synchronize if the local contrast in their receptive fields is similar. In essence, relaxation in the oscillator network solves a graph clustering problem with the graph representing feature similarity between different points in the image. We tested different model versions on the Berkeley Image Segmentation Data Set (BSDS). Networks with phase interactions set by standard representations of the feature graph (adjacency matrix, Graph Laplacian or modularity) failed to exhibit segmentation performance significantly over the baseline, a model of independent sensors. In contrast, a network with phase interactions that takes into account not only feature similarities but also geometric distances between receptive fields exhibited segmentation performance significantly above baseline.


title: The Hubble PanCET program: Transit and Eclipse Spectroscopy of the Strongly Irradiated Giant Exoplanet WASP-76b

abstract: Ultra-hot Jupiters with equilibrium temperature greater than 2000K are uniquely interesting targets as they provide us crucial insights into how atmospheres behave under extreme conditions. This class of giant planets receives intense radiation from their host star and usually has strongly irradiated and highly inflated atmospheres. At such high temperature, cloud formation is expected to be suppressed and thermal dissociation of water vapor could occur. We observed the ultra-hot Jupiter WASP-76b with 7 transits and 5 eclipses using the Hubble Space Telescope (HST) and $Spitzer$ for a comprehensive study of its atmospheric chemical and physical processes. We detect TiO and H$_2$O absorption in the optical and near-infrared transit spectrum. Additional absorption by a number of neutral and ionized heavy metals like Fe, Ni, Ti, and SiO help explain the short wavelength transit spectrum. The secondary eclipse spectrum shows muted water feature but a strong CO emission feature in Spitzer's 4.5 $\mu$m band indicating an inverted temperature pressure profile. We analyzed both the transit and emission spectrum with a combination of self-consistent PHOENIX models and retrieval models (ATMO $\&$ PLATON). Both spectra are well fitted by the self-consistent PHOENIX forward atmosphere model in chemical and radiative equilibrium at solar metallicity, adding to the growing evidence that both TiO/VO and NUV heavy metals opacity are prominent NUV-optical opacity sources in the stratospheres of ultra-hot Jupiters.


title: Generation of finite groups with cyclic Sylow subgroups

abstract: Slattery (2007) described computational methods to enumerate, construct, and identify finite groups of squarefree order. We generalise Slattery's result to the class of finite groups that have cyclic Sylow subgroups and provide an implementation for the computer algebra system GAP.


title: Proximity effect in a superconductor-topological insulator heterostructure based on first principles

abstract: Superconductor-topological insulator (SC-TI) heterostructures were proposed to be a possible platform to realize and control Majorana zero-modes. Despite experimental signatures indicating their existence, univocal interpretation of the observed features demands theories including realistic electronic structures. To achieve this, we solve the Kohn-Sham-Dirac-Bogoliubov-de Gennes equations for ultrathin Bi$_2$Se$_3$ films on superconductor PdTe, within the fully relativistic Korringa-Kohn-Rostoker method, and investigate quasiparticle spectra as a function of chemical potential and film thickness. We find a strongly momentum-dependent proximity-induced gap feature where the gap sizes highly depend on characteristics of the TI states. The interface TI Dirac state is relevant to the induced gap only when the chemical potential is close to the Dirac-point energy. Otherwise, at a given chemical potential, the largest induced gap arises from the highest-energy quantum-well states, whereas the smallest gap arises from the TI topological surface state with its gap size depending on the TI pairing potential.


title: Identifying Unused RF Channels Using Least Matching Pursuit

abstract: Cognitive radio aims at identifying unused radio-frequency (RF) bands with the goal of re-using them opportunistically for other services. While compressive sensing (CS) has been used to identify strong signals (or interferers) in the RF spectrum from sub-Nyquist measurements, identifying unused frequencies from CS measurements appears to be uncharted territory. In this paper, we propose a novel method for identifying unused RF bands using an algorithm we call least matching pursuit (LMP). We present a sufficient condition for which LMP is guaranteed to identify unused frequency bands and develop an improved algorithm that is inspired by our theoretical result. We perform simulations for a CS-based RF whitespace detection task in order to demonstrate that LMP is able to outperform black-box approaches that build on deep neural networks.


title: Artificial intelligence real-time prediction and physical interpretation of atomic binding energies in nano-scale metal clusters

abstract: Single atomic sites often determine the functionality and performance of materials, such as catalysts, semi-conductors or enzymes. Computing and understanding the properties of such sites is therefore a crucial component of the rational materials design process. Because of complex electronic effects at the atomic level, atomic site properties are conventionally derived from computationally expensive first-principle calculations, as this level of theory is required to achieve relevant accuracy. In this study, we present a widely applicable machine learning (ML) approach to compute atomic site properties with high accuracy in real time. The approach works well for complex non-crystalline atomic structures and therefore opens up the possibility for high-throughput screenings of nano-materials, amorphous systems and materials interfaces. Our approach includes a robust featurization scheme to transform atomic structures into features which can be used by common machine learning models. Performing a genetic algorithm (GA) based feature selection, we show how to establish an intuitive physical interpretation of the structure-property relations implied by the ML models. With this approach, we compute atomic site stabilities of metal nanoparticles ranging from 3-55 atoms with mean absolute errors in the range of 0.11-0.14 eV in real time. We also establish the chemical identity of the site as most important factor in determining atomic site stabilities, followed by structural features like bond distances and angles. Both, the featurization and GA feature selection functionality are published in open-source python modules. With this method, we enable the efficient rational design of highly specialized real-world nano-catalysts through data-driven materials screening.


title: Probing the Natural Language Inference Task with Automated Reasoning Tools

abstract: The Natural Language Inference (NLI) task is an important task in modern NLP, as it asks a broad question to which many other tasks may be reducible: Given a pair of sentences, does the first entail the second? Although the state-of-the-art on current benchmark datasets for NLI are deep learning-based, it is worthwhile to use other techniques to examine the logical structure of the NLI task. We do so by testing how well a machine-oriented controlled natural language (Attempto Controlled English) can be used to parse NLI sentences, and how well automated theorem provers can reason over the resulting formulae. To improve performance, we develop a set of syntactic and semantic transformation rules. We report their performance, and discuss implications for NLI and logic-based NLP.


title: Anticipative Tracking with the Short-Term Synaptic Plasticity of Spintronic Devices

abstract: Real-time tracking of high-speed objects in cognitive tasks is challenging in the present artificial intelligence techniques because the data processing and computation are time-consuming resulting in impeditive time delays. A brain-inspired continuous attractor neural network (CANN) can be used to track quickly moving targets, where the time delays are intrinsically compensated if the dynamical synapses in the network have the short-term plasticity. Here, we show that synapses with short-term depression can be realized by a magnetic tunnel junction, which perfectly reproduces the dynamics of the synaptic weight in a widely applied mathematical model. Then, these dynamical synapses are incorporated into one-dimensional and two-dimensional CANNs, which are demonstrated to have the ability to predict a moving object via micromagnetic simulations. This portable spintronics-based hardware for neuromorphic computing needs no training and is therefore very promising for the tracking technology for moving targets.


title: Active Preference-Based Gaussian Process Regression for Reward Learning

abstract: Designing reward functions is a challenging problem in AI and robotics. Humans usually have a difficult time directly specifying all the desirable behaviors that a robot needs to optimize. One common approach is to learn reward functions from collected expert demonstrations. However, learning reward functions from demonstrations introduces many challenges: some methods require highly structured models, e.g. reward functions that are linear in some predefined set of features, while others adopt less structured reward functions that on the other hand require tremendous amount of data. In addition, humans tend to have a difficult time providing demonstrations on robots with high degrees of freedom, or even quantifying reward values for given demonstrations. To address these challenges, we present a preference-based learning approach, where as an alternative, the human feedback is only in the form of comparisons between trajectories. Furthermore, we do not assume highly constrained structures on the reward function. Instead, we model the reward function using a Gaussian Process (GP) and propose a mathematical formulation to actively find a GP using only human preferences. Our approach enables us to tackle both inflexibility and data-inefficiency problems within a preference-based learning framework. Our results in simulations and a user study suggest that our approach can efficiently learn expressive reward functions for robotics tasks.


title: Towards Concise, Machine-discovered Proofs of G\"odel's Two Incompleteness Theorems

abstract: There is an increasing interest in applying recent advances in AI to automated reasoning, as it may provide useful heuristics in reasoning over formalisms in first-order, second-order, or even meta-logics. To facilitate this research, we present MATR, a new framework for automated theorem proving explicitly designed to easily adapt to unusual logics or integrate new reasoning processes. MATR is formalism-agnostic, highly modular, and programmer-friendly. We explain the high-level design of MATR as well as some details of its implementation. To demonstrate MATR's utility, we then describe a formalized metalogic suitable for proofs of G\"odel's Incompleteness Theorems, and report on our progress using our metalogic in MATR to semi-autonomously generate proofs of both the First and Second Incompleteness Theorems.


title: Fluid Guided CVD Growth for Large-scale Monolayer Two-dimensional Materials

abstract: Atmospheric pressure chemical vapor deposition (APCVD) has been used extensively for synthesizing two-dimensional (2D) materials, due to its low cost and promise for high-quality monolayer crystal synthesis. However, the understanding of the reaction mechanism and the key parameters affecting the APCVD processes is still in its embryonic stage. Hence, the scalability of the APCVD method in achieving large scale continuous film remains very poor. Here, we use MoSe2 as a model system and present a fluid guided growth strategy for understanding and controlling the growth of 2D materials. Through the integration of experiment and computational fluid dynamics (CFD) analysis in the full-reactor scale, we identified three key parameters: precursor mixing, fluid velocity and shear stress, which play a critical role in the APCVD process. By modifying the geometry of the growth setup, to enhance precursor mixing and decrease nearby velocity shear rate and adjusting flow direction, we have successfully obtained inch-scale monolayer MoSe2. This unprecedented success of achieving scalable 2D materials through fluidic design lays the foundation for designing new CVD systems to achieve the scalable synthesis of nanomaterials.


title: Differentiable Greedy Submodular Maximization: Guarantees, Gradient Estimators, and Applications

abstract: Motivated by, e.g., sensitivity analysis and end-to-end learning, the demand for differentiable optimization algorithms has been significantly increasing. In this paper, we establish a theoretically guaranteed versatile framework that makes the greedy algorithm for monotone submodular function maximization differentiable. We smooth the greedy algorithm via randomization, and prove that it almost recovers original approximation guarantees in expectation for the cases of cardinality and $\kappa$-extensible system constrains. We also show how to efficiently compute unbiased gradient estimators of any expected output-dependent quantities. We demonstrate the usefulness of our framework by instantiating it for various applications.


title: Similarity and delay between two non-narrow-band time signals

abstract: Correlation coefficient is usually used to measure the correlation degree between two time signals. However, its performance will drop or even fail if the signals are noised. Based on the time-frequency phase spectrum (TFPS) provided by normal time-frequency transform (NTFT), similarity coefficient is proposed to measure the similarity between two non-narrow-band time signals, even if the signals are noised. The basic idea of the similarity coefficient is to translate the interest part of signal f1(t)'s TFPS along the time axis to couple with signal f2(t)'s TFPS. Such coupling would generate a maximum if f1(t)and f2(t) are really similar to each other in time-frequency structure. The maximum, if normalized, is called similarity coefficient. The location of the maximum indicates the time delay between f1(t) and f2(t). Numerical results show that the similarity coefficient is better than the correlation coefficient in measuring the correlation degree between two noised signals. Precision and accuracy of the time delay estimation (TDE) based on the similarity analysis are much better than those based on cross-correlation (CC) method and generalized CC (GCC) method under low SNR.


title: Compact Device Models for FinFET and Beyond

abstract: Compact device models play a significant role in connecting device technology and circuit design. BSIM-CMG and BSIM-IMG are industry standard compact models suited for the FinFET and UTBB technologies, respectively. Its surface potential based modeling framework and symmetry preserving properties make them suitable for both analog/RF and digital design. In the era of artificial intelligence / deep learning, compact models further enhanced our ability to explore RRAM and other NVM-based neuromorphic circuits. We have demonstrated simulation of RRAM neuromorphic circuits with Verilog-A based compact model at NCKU. Further abstraction with macromodels is performed to enable larger scale machine learning simulation.


title: Characterizing traces on crossed products of noncommutative C*-algebras

abstract: We give complete descriptions of the tracial states on both the universal and reduced crossed products of a C*-dynamical system consisting of a unital C*-algebra and a discrete group. In particular, we also answer the question of when the tracial states are in canonical bijection with the invariant tracial states on the original C*-algebra. This generalizes the unique trace property for discrete groups. The analysis simplifies greatly in various cases, for example when the conjugacy classes of the original group are all finite, and in other cases gives previously known results, for example when the original C*-algebra is commutative. We also obtain results and examples in the case of abelian groups that contradict existing results in the literature of B\'{e}dos and Thomsen. Specifically, we give a finite-dimensional counterexample, and provide a correction to the result of Thomsen.


title: Understanding the Curious Magnetic State of Sr$_{3}$OsO$_{6}$

abstract: Motivated by the recent report on high T$_c$ ferromagnetic insulating state of single transition metal containing double perovskite compound, Sr$_3$OsO$_6$ (Wakabayashi et. al., Nature Commun {\bf 10} 535, 2019), we study this curious behavior by employing first-principles calculations in conjunction with exact diagonalization of full $t_{2g}$ multiplet problem of two Os sites. Our analysis highlights the fact that stabilization of Sr$_3$OsO$_6$ in the cubic phase in epitaxially grown thin film is the key to both ferromagnetic correlation and high temperature scale associated to it. This also provides a natural explanation for the sister compound, Ca$_3$OsO$_6$ to exhibit low T$_N$ antiferromagnetism in its monoclinic structure. Further the insulating property is found to be driven by opening of Mott gap in the half filled spin-orbit coupled $j=3/2$ manifold of $d^{2}$ Os. We point out that Sr$_2$CaOsO$_6$ which naturally forms in the cubic phase would be worthwhile to explore as a future candidate to exhibit high T$_c$ ferromagnetic insulating state in bulk form.


title: Finite $W$-superalgebras and quadratic spacetime supersymmetries

abstract: We consider Lie superalgebras under constraints of Hamiltonian reduction, yielding finite $W$-superalgebras which provide candidates for quadratic spacetime superalgebras. These have an undeformed bosonic symmetry algebra (even generators) graded by a fermionic sector (supersymmetry generators) with anticommutator brackets which are quadratic in the even generators. We analyze the reduction of several Lie superalgebras of type $gl(M|N)$ or $osp(M|2N)$ at the classical (Poisson bracket) level, and also establish their quantum (Lie bracket) equivalents. Purely bosonic extensions are also considered. As a special case we recover a recently identified quadratic superconformal algebra, certain of whose unitary irreducible massless representations (in four dimensions) are "zero-step" multiplets, with no attendant superpartners. Other cases studied include a six dimensional quadratic superconformal algebra with vectorial odd generators, and a variant quadratic superalgebra with undeformed $osp(1|2N)$ singleton supersymmetry, and a triplet of spinorial supercharges.