title: Factorizing time evolution into elementary steps

abstract: We propose an approach to factorize the time-evolution operator of a quantum system through a (finite) sequence of elementary operations that are time-ordered. Our proposal borrows from previous approaches based on Lie algebra techniques and other factorization procedures, and requires a set of optimization operations that provide the final result. Concretely, the algorithm produces at each step three optimal quantities, namely the optimal duration of the desired unitary operation, the optimal functional dependence of the driving function on the optimal time, and the optimal elementary Hermitian operation that induces the additional unitary operation to be implemented. The resulting sequence of unitary operations that is obtained this way is sequential with time. We compare our proposal with existing approaches, and highlight which key assumptions can be relaxed for practical implementations.


title: Enhancing WiFi Multiple Access Performance with Federated Deep Reinforcement Learning

abstract: Carrier sensing multiple access/collision avoidance (CSMA/CA) is the backbone MAC protocol for IEEE 802.11 networks. However, tuning the binary exponential back-off (BEB) mechanism of CSMA/CA in user-dense scenarios so as to maximize aggregate throughput still remains a practically essential and challenging problem. In this paper, we propose a new and enhanced multiple access mechanism based on the application of deep reinforcement learning (DRL) and Federated learning (FL). A new Monte Carlo (MC) reward updating method for DRL training is proposed and the access history of each station is used to derive a DRL-based MAC protocol that improves the network throughput vis-a-vis the traditional distributed coordination function (DCF). Further, federated learning (FL) is applied to achieve fairness among users. The simulation results showcase that the proposed federated reinforcement multiple access (FRMA) performs better than basic DCF by 20% and DCF with request-to-send/clear-to-send (RTS/CTS) by 5% while guaranteeing the fairness in user-dense scenarios.


title: Understanding Bounding Functions in Safety-Critical UAV Software

abstract: Unmanned Aerial Vehicles (UAVs) are an emerging computation platform known for their safety-critical need. In this paper, we conduct an empirical study on a widely used open-source UAV software framework, Paparazzi, with the goal of understanding the safety-critical concerns of UAV software from a bottom-up developer-in-the-field perspective. We set our focus on the use of Bounding Functions (BFs), the runtime checks injected by Paparazzi developers on the range of variables. Through an in-depth analysis on BFs in the Paparazzi autopilot software, we found a large number of them (109 instances) are used to bound safety-critical variables essential to the cyber-physical nature of the UAV, such as its thrust, its speed, and its sensor values. The novel contributions of this study are two fold. First, we take a static approach to classify all BF instances, presenting a novel datatype-based 5-category taxonomy with fine-grained insight on the role of BFs in ensuring the safety of UAV systems. Second, we dynamically evaluate the impact of the BF uses through a differential approach, establishing the UAV behavioral difference with and without BFs. The two-pronged static and dynamic approach together illuminates a rarely studied design space of safety-critical UAV software systems.


title: Accumulation and control of spin waves in magnonic dielectric microresonators by a comb of ultrashort laser pulses

abstract: Spin waves in magnetic microresonators are at the core of modern magnonics. Here we demonstrate a new method of tunable excitation of different spin wave modes in magnetic microdisks by using a train of laser pulses coming at a repetition rate higher than the decay rate of spin precession. The microdisks are etched in a transparent bismuth iron garnet film and the light pulses influence the spins nonthermally through the inverse Faraday effect. The high repetition rate of the laser stimulus of 10 GHz establishes an interplay between the spin wave resonances in the frequency and momentum domains. As a result, scanning of the focused laser spot near the disk boarder changes interference pattern of the magnons and leads to a resonant dependence of the spin wave amplitude on the external magnetic field. Apart from that, we achieved a switching between volume and surface spin waves by a small variation of the external magnetic field.


title: Towards reliable and transparent vaccine phase III trials with smart contracts

abstract: Transforming a vaccine concept into a real vaccine product is a complicated process and includes finding suitable antigens and regulatory, technical, and manufacturing obstacles. A relevant issue within this scope is the clinical trial process. Monitoring and ensuring the integrity of trial data using the traditional system is not always feasible. The search for a vaccine against the coronavirus SARS-CoV-2 illustrates this situation. The scientific credibility of findings from several vaccines' clinical trials contributed to distorted perceptions concerning the benefits and risks of the drug. This scenario is ideal for applying technologies such as Blockchain and Smart Contracts in healthcare issues. This paper proposes a protocol based on Smart Contracts, named VaccSC, to enable transparency, accounting, and confidentiality to Phase III of vaccine experiments. The protocol was implemented in Solidity language, and results show that the VaccSC enables double-blindness, randomization, and the auditability of clinical data, even in the presence of dishonest participants.


title: Performance Analysis and Improvement on DSRC Application for V2V Communication

abstract: In this paper, we focus on the performance of vehicle-to-vehicle (V2V) communication adopting the Dedicated Short Range Communication (DSRC) application in periodic broadcast mode. An analytical model is studied and a fixed point method is used to analyze the packet delivery ratio (PDR) and mean delay based on the IEEE 802.11p standard in a fully connected network under the assumption of perfect PHY performance. With the characteristics of V2V communication, we develop the Semi-persistent Contention Density Control (SpCDC) scheme to improve the DSRC performance. We use Monte Carlo simulation to verify the results obtained by the analytical model. The simulation results show that the packet delivery ratio in SpCDC scheme increases more than 10% compared with IEEE 802.11p in heavy vehicle load scenarios. Meanwhile, the mean reception delay decreases more than 50%, which provides more reliable road safety.


title: Interactive Learning from Activity Description

abstract: We present a novel interactive learning protocol that enables training request-fulfilling agents by verbally describing their activities. Unlike imitation learning (IL), our protocol allows the teaching agent to provide feedback in a language that is most appropriate for them. Compared with reward in reinforcement learning (RL), the description feedback is richer and allows for improved sample complexity. We develop a probabilistic framework and an algorithm that practically implements our protocol. Empirical results in two challenging request-fulfilling problems demonstrate the strengths of our approach: compared with RL baselines, it is more sample-efficient; compared with IL baselines, it achieves competitive success rates without requiring the teaching agent to be able to demonstrate the desired behavior using the learning agent's actions. Apart from empirical evaluation, we also provide theoretical guarantees for our algorithm under certain assumptions about the teacher and the environment.


title: Segre-Degenerate Points Form a Semianalytic Set

abstract: We prove that the set of Segre-degenerate points of a real-analytic subvariety $X$ in ${\mathbb{C}}^n$ is a closed semianalytic set. It is a subvariety if $X$ is coherent. More precisely, the set of points where the germ of the Segre variety is of dimension $k$ or greater is a closed semianalytic set in general, and for a coherent $X$, it is a real-analytic subvariety of $X$. For a hypersurface $X$ in ${\mathbb{C}}^n$, the set of Segre-degenerate points, $X_{[n]}$, is a semianalytic set of dimension at most $2n-4$. If $X$ is coherent, then $X_{[n]}$ is a complex subvariety of (complex) dimension $n-2$. Example hypersurfaces are given showing that $X_{[n]}$ need not be a subvariety and that it also needs not be complex; $X_{[n]}$ can, for instance, be a real line.


title: On a Single Server Queue Fed by a Scheduled Traffic with Pareto Perturbations

abstract: A "scheduled" arrival process is one in which the n th arrival is scheduled for time n, but instead occurs at a different time. The difference between the scheduled time and the arrival time is called the perturbation. The sequence of perturbations is assumed to be iid. We describe here the behavior of a single server queue fed by such traffic in which the processing times are deterministic. A particular focus is on perturbation with Pareto-like tails but with finite mean. We obtain tail approximations for the steady-state workload in both cases where the queue is critically loaded and under a heavy-traffic regime. A key to our approach is our analysis of the tail behavior of a sum of independent Bernoulli random variables with success probability following a power law with parameter strictly larger than 1.


title: Mixed tensor products and Capelli-type determinants

abstract: In this paper we study properties of a homomorphism $\rho$ from the universal enveloping algebra $U=U(\mathfrak{gl}(n+1))$ to a tensor product of an algebra $\mathcal D'(n)$ of differential operators and $U(\mathfrak{gl}(n))$. We find a formula for the image of the Capelli determinant of $\mathfrak{gl}(n+1)$ under $\rho$, and, in particular, of the images under $\rho$ of the Gelfand generators of the center $Z(\mathfrak{gl}(n+1))$ of $U$. This formula is proven by relating $\rho$ to the corresponding Harish-Chandra isomorphisms, and, alternatively, by using a purely computational approach. Furthermore, we define a homomorphism from $\mathcal D'(n) \otimes U(\mathfrak{gl}(n))$ to an algebra containing $U$ as a subalgebra, so that $\sigma (\rho (u)) - u \in G_1 U$, for all $u \in U$, where $G_1 = \sum_{i=0}^{n} E_{ii}$.


title: ThetA -- fast and robust clustering via a distance parameter

abstract: Clustering is a fundamental problem in machine learning where distance-based approaches have dominated the field for many decades. This set of problems is often tackled by partitioning the data into K clusters where the number of clusters is chosen apriori. While significant progress has been made on these lines over the years, it is well established that as the number of clusters or dimensions increase, current approaches dwell in local minima resulting in suboptimal solutions. In this work, we propose a new set of distance threshold methods called Theta-based Algorithms (ThetA). Via experimental comparisons and complexity analyses we show that our proposed approach outperforms existing approaches in: a) clustering accuracy and b) time complexity. Additionally, we show that for a large class of problems, learning the optimal threshold is straightforward in comparison to learning K. Moreover, we show how ThetA can infer the sparsity of datasets in higher dimensions.


title: On the supersolvability of a finite group by the sum of subgroup orders

abstract: Let $G$ be a finite group and $\sigma_1(G)=\frac{1}{|G|}\sum_{H\leq G}\,|H|$. In this paper, we prove that if $\sigma_1(G)<2+\frac{11}{|G|}$\,, then $G$ is supersolvable. In particular, some new characterizations of the well-known groups $\mathbb{Z}_2\times\mathbb{Z}_4$ and $A_4$ are obtained. We also show that $\sigma_1(G)<c$ does not imply the supersolvability of $G$ for no constant $c\in(2,\infty)$.


title: Diffusion Approximations for a Class of Sequential Testing Problems

abstract: We consider a decision maker who must choose an action in order to maximize a reward function that depends also on an unknown parameter {\Theta}. The decision maker can delay taking the action in order to experiment and gather additional information on {\Theta}. We model the decision maker's problem using a Bayesian sequential experimentation framework and use dynamic programming and diffusion-asymptotic analysis to solve it. For that, we scale our problem in a way that both the average number of experiments that is conducted per unit of time is large and the informativeness of each individual experiment is low. Under such regime, we derive a diffusion approximation for the sequential experimentation problem, which provides a number of important insights about the nature of the problem and its solution. Our solution method also shows that the complexity of the problem grows only quadratically with the cardinality of the set of actions from which the decision maker can choose. We illustrate our methodology and results using a concrete application in the context of assortment selection and new product introduction. Specifically, we study the problem of a seller who wants to select an optimal assortment of products to launch into the marketplace and is uncertain about consumers' preferences. Motivated by emerging practices in e-commerce, we assume that the seller is able to use a crowdvoting system to learn these preferences before a final assortment decision is made. In this context, we undertake an extensive numerical analysis to assess the value of learning and demonstrate the effectiveness and robustness of the heuristics derived from the diffusion approximation.


title: Sagittarius B1 -- A Patchwork of H II Regions and PhotoDissociation Regions

abstract: Sgr B1 is a luminous H II region in the Galactic Center immediately next to the massive star-forming giant molecular cloud Sgr B2 and apparently connected to it from their similar radial velocities. In 2018 we showed from SOFIA FIFI-LS observations of the [O III] 52 and 88 micron lines that there is no central exciting star cluster and that the ionizing stars must be widely spread throughout the region. Here we present SOFIA FIFI-LS observations of the [O I] 146 and [C II] 158 micron lines formed in the surrounding photodissociation regions (PDRs). We find that these lines correlate neither with each other nor with the [O III] lines although together they correlate better with the 70 micron Herschel PACS images from Hi-GAL. We infer from this that Sgr B1 consists of a number of smaller H II regions plus their associated PDRs, some seen face-on and the others seen more or less edge-on. We used the PDR Toolbox to estimate densities and the far-ultraviolet intensities exciting the PDRs. Using models computed with Cloudy, we demonstrate possible appearances of edge-on PDRs and show that the density difference between the PDR densities and the electron densities estimated from the [O III] line ratios is incompatible with pressure equilibrium unless there is a substantial pressure contribution from either turbulence or magnetic field or both. We likewise conclude that the hot stars exciting Sgr B1 are widely spaced throughout the region at substantial distances from the gas with no evidence of current massive star formation.


title: Large deviations of Schramm-Loewner evolutions: A survey

abstract: These notes survey the first results on large deviations of Schramm-Loewner evolutions (SLE) with emphasis on interrelations between rate functions and applications to complex analysis. More precisely, we describe the large deviations of SLE$_\kappa$ when the $\kappa$ parameter goes to zero in the chordal and multichordal case and to infinity in the radial case. The rate functions, namely Loewner and Loewner-Kufarev energies, are closely related to the Weil-Petersson class of quasicircles and real rational functions.


title: PAQ: 65 Million Probably-Asked Questions and What You Can Do With Them

abstract: Open-domain Question Answering models which directly leverage question-answer (QA) pairs, such as closed-book QA (CBQA) models and QA-pair retrievers, show promise in terms of speed and memory compared to conventional models which retrieve and read from text corpora. QA-pair retrievers also offer interpretable answers, a high degree of control, and are trivial to update at test time with new knowledge. However, these models lack the accuracy of retrieve-and-read systems, as substantially less knowledge is covered by the available QA-pairs relative to text corpora like Wikipedia. To facilitate improved QA-pair models, we introduce Probably Asked Questions (PAQ), a very large resource of 65M automatically-generated QA-pairs. We introduce a new QA-pair retriever, RePAQ, to complement PAQ. We find that PAQ preempts and caches test questions, enabling RePAQ to match the accuracy of recent retrieve-and-read models, whilst being significantly faster. Using PAQ, we train CBQA models which outperform comparable baselines by 5%, but trail RePAQ by over 15%, indicating the effectiveness of explicit retrieval. RePAQ can be configured for size (under 500MB) or speed (over 1K questions per second) whilst retaining high accuracy. Lastly, we demonstrate RePAQ's strength at selective QA, abstaining from answering when it is likely to be incorrect. This enables RePAQ to ``back-off" to a more expensive state-of-the-art model, leading to a combined system which is both more accurate and 2x faster than the state-of-the-art model alone.


title: Can different black holes cast the same shadow?

abstract: We consider the following question: may two different black holes (BHs) cast exactly the same shadow? In spherical symmetry, we show the necessary and sufficient condition for a static BH to be shadow-degenerate with Schwarzschild is that the dominant photonsphere of both has the same impact parameter, when corrected for the (potentially) different redshift of comparable observers in the different spacetimes. Such shadow-degenerate geometries are classified into two classes. The first shadow-equivalent class contains metrics whose constant (areal) radius hypersurfaces are isometric to those of the Schwarzschild geometry, which is illustrated by the Simpson and Visser (SV) metric. The second shadow-degenerate class contains spacetimes with different redshift profiles and an explicit family of metrics within this class is presented. In the stationary, axi-symmetric case, we determine a sufficient condition for the metric to be shadow degenerate with Kerr for far-away observers. Again we provide two classes of examples. The first class contains metrics whose constant (Boyer-Lindquist-like) radius hypersurfaces are isometric to those of the Kerr geometry, which is illustrated by a rotating generalization of the SV metric, obtained by a modified Newman-Janis algorithm. The second class of examples pertains BHs that fail to have the standard north-south $\mathbb{Z}_2$ symmetry, but nonetheless remain shadow degenerate with Kerr. The latter provides a sharp illustration that the shadow is not a probe of the horizon geometry. These examples illustrate that nonisometric BH spacetimes can cast the same shadow, albeit the lensing is generically different.


title: Model-free Representation Learning and Exploration in Low-rank MDPs

abstract: The low rank MDP has emerged as an important model for studying representation learning and exploration in reinforcement learning. With a known representation, several model-free exploration strategies exist. In contrast, all algorithms for the unknown representation setting are model-based, thereby requiring the ability to model the full dynamics. In this work, we present the first model-free representation learning algorithms for low rank MDPs. The key algorithmic contribution is a new minimax representation learning objective, for which we provide variants with differing tradeoffs in their statistical and computational properties. We interleave this representation learning step with an exploration strategy to cover the state space in a reward-free manner. The resulting algorithms are provably sample efficient and can accommodate general function approximation to scale to complex environments.


title: EEGs disclose significant brain activity correlated with synaptic fickleness

abstract: We here study a network of synaptic relations mingling excitatory and inhibitory neuron nodes that displays oscillations quite similar to electroencephalogram (EEG) brain waves, and identify abrupt variations brought about by swift synaptic mediations. We thus conclude that corresponding changes in EEG series surely come from the slowdown of the activity in neuron populations due to synaptic restrictions. The latter happens to generate an imbalance between excitation and inhibition causing a quick explosive increase of excitatory activity, which turns out to be a (first-order) transition among dynamic mental phases. Besides, near this phase transition, our model system exhibits waves with a strong component in the so-called \textit{delta-theta domain} that coexist with fast oscillations. These findings provide a simple explanation for the observed \textit{delta-gamma} and \textit{theta-gamma modulation} in actual brains, and open a serious and versatile path to understand deeply large amounts of apparently erratic, easily accessible brain data.


title: Robust Lane Detection via Expanded Self Attention

abstract: The image-based lane detection algorithm is one of the key technologies in autonomous vehicles. Modern deep learning methods achieve high performance in lane detection, but it is still difficult to accurately detect lanes in challenging situations such as congested roads and extreme lighting conditions. To be robust on these challenging situations, it is important to extract global contextual information even from limited visual cues. In this paper, we propose a simple but powerful self-attention mechanism optimized for lane detection called the Expanded Self Attention (ESA) module. Inspired by the simple geometric structure of lanes, the proposed method predicts the confidence of a lane along the vertical and horizontal directions in an image. The prediction of the confidence enables estimating occluded locations by extracting global contextual information. ESA module can be easily implemented and applied to any encoder-decoder-based model without increasing the inference time. The performance of our method is evaluated on three popular lane detection benchmarks (TuSimple, CULane and BDD100K). We achieve state-of-the-art performance in CULane and BDD100K and distinct improvement on TuSimple dataset. The experimental results show that our approach is robust to occlusion and extreme lighting conditions.


title: Lump chains in the KP-I equation

abstract: We construct a broad class of solutions of the KP-I equation by using a reduced version of the Grammian form of the $\tau$-function. The basic solution is a linear periodic chain of lumps propagating with distinct group and wave velocities. More generally, our solutions are evolving linear arrangements of lump chains, and can be viewed as the KP-I analogues of the family of line-soliton solutions of KP-II. However, the linear arrangements that we construct for KP-I are more general, and allow degenerate configurations such as parallel or superimposed lump chains. We also construct solutions describing interactions between lump chains and individual lumps, and discuss the relationship between the solutions obtained using the reduced and regular Grammian forms.


title: FaSTrack: a Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking

abstract: Real-time, guaranteed safe trajectory planning is vital for navigation in unknown environments. However, real-time navigation algorithms typically sacrifice robustness for computation speed. Alternatively, provably safe trajectory planning tends to be too computationally intensive for real-time replanning. We propose FaSTrack, Fast and Safe Tracking, a framework that achieves both real-time replanning and guaranteed safety. In this framework, real-time computation is achieved by allowing any trajectory planner to use a simplified \textit{planning model} of the system. The plan is tracked by the system, represented by a more realistic, higher-dimensional \textit{tracking model}. We precompute the tracking error bound (TEB) due to mismatch between the two models and due to external disturbances. We also obtain the corresponding tracking controller used to stay within the TEB. The precomputation does not require prior knowledge of the environment. We demonstrate FaSTrack using Hamilton-Jacobi reachability for precomputation and three different real-time trajectory planners with three different tracking-planning model pairs.


title: INGRID: an interactive grid generator for 2D edge plasma modeling

abstract: A fusion boundary-plasma domain is defined by axisymmetric magnetic surfaces where the geometry is often complicated by the presence of one or more X-points; and modeling boundary plasmas usually relies on computational grids that account for the magnetic field geometry. The new grid generator INGRID (Interactive Grid Generator) presented here is a Python-based code for calculating grids for fusion boundary plasma modeling, for a variety of configurations with one or two X-points in the domain. Based on a given geometry of the magnetic field, INGRID first calculates a skeleton grid which consists of a small number of quadrilateral patches; then it puts a subgrid on each of the patches, and joins them in a global grid. This domain partitioning strategy makes possible a uniform treatment of various configurations with one or two X-points in the domain. This includes single-null, double-null, and other configurations with two X-points in the domain. The INGRID design allows generating grids either interactively, via a parameter-file driven GUI, or using a non-interactive script-controlled workflow. Results of testing demonstrate that INGRID is a flexible, robust, and user-friendly grid-generation tool for fusion boundary-plasma modeling.


title: Ray-Optical Evaluation of Scattering from Electrically Large Metasurfaces Characterized by Locally Periodic Surface Susceptibilities

abstract: This work continues the development of the raytracing method of [1] for computing the scattered fields from metasurfaces characterized by locally periodic reflection and transmission coefficients. In this work, instead of describing the metasurface in terms of scattering coefficients that depend on the incidence direction, its scattering behavior is characterized by the surface susceptibility tensors that appear in the generalized sheet transition conditions (GSTCs). As the latter quantities are constitutive parameters, they do not depend on the incident field and thus enable a more compact and physically motivated description of the surface. The locally periodic susceptibility profile is expanded into a Fourier series, and the GSTCs are rewritten in a form that enables them to be numerically solved for in terms of the reflected and transmitted surface fields. The scattered field at arbitrary detector locations is constructed by evaluating critical-point contributions of the first and second kinds using a Forward Ray Tracing (FRT) scheme. The accuracy of the resulting framework has been verified with an Integral Equation based Boundary Element Method (BEM)-GSTC full-wave solver for a variety of examples such as a periodically modulated metasurface, a metasurface diffuser and a beam collimator.


title: Higher dualizability and singly-generated Grothendieck categories

abstract: Let $k$ be a field. We show that locally presentable, $k$-linear categories $\mathcal{C}$ dualizable in the sense that the identity functor can be recovered as $\coprod_i x_i\otimes f_i$ for objects $x_i\in \mathcal{C}$ and left adjoints $f_i$ from $\mathcal{C}$ to $\mathrm{Vect}_k$ are products of copies of $\mathrm{Vect}_k$. This partially confirms a conjecture by Brandenburg, the author and T. Johnson-Freyd. Motivated by this, we also characterize the Grothendieck categories containing an object $x$ with the property that every object is a copower of $x$: they are precisely the categories of non-singular injective right modules over simple, regular, right self-injective rings of type I or III.


title: Reasoning Over Virtual Knowledge Bases With Open Predicate Relations

abstract: We present the Open Predicate Query Language (OPQL); a method for constructing a virtual KB (VKB) trained entirely from text. Large Knowledge Bases (KBs) are indispensable for a wide-range of industry applications such as question answering and recommendation. Typically, KBs encode world knowledge in a structured, readily accessible form derived from laborious human annotation efforts. Unfortunately, while they are extremely high precision, KBs are inevitably highly incomplete and automated methods for enriching them are far too inaccurate. Instead, OPQL constructs a VKB by encoding and indexing a set of relation mentions in a way that naturally enables reasoning and can be trained without any structured supervision. We demonstrate that OPQL outperforms prior VKB methods on two different KB reasoning tasks and, additionally, can be used as an external memory integrated into a language model (OPQL-LM) leading to improvements on two open-domain question answering tasks.


title: Photon Conversion in Thin-film Lithium Niobate Nanowaveguides: A Noise Analysis

abstract: Wavelength transduction of single-photon signals is indispensable to networked quantum applications, particularly those incorporating quantum memories. Lithium niobate nanophotonic devices have demonstrated favorable linear, nonlinear, and electro-optical properties to deliver this crucial function while offering superiror efficiency, integrability, and scalability. Yet, their quantum noise level--an crucial metric for any single-photon based application--has yet to be understood. In this work, we report the first study with the focus on telecom to near-visible conversion driven by a telecom pump of small detuning, for practical considerations in distributed quantum processing over fiber networks. Our results find the noise level to be on the order of $10^{-4}$ photons per time-frequency mode for high conversion, allowing faithful pulsed operations. Through carefully analyzing the origins of such noise and each's dependence on the pump power and wavelength detuning, we have also identified a formula for noise suppression to $10^{-5}$ photons per mode. Our results assert a viable, low-cost, and modular approach to networked quantum processing and beyond using lithium niobate nanophotonics.


title: Optimizing Electronic Structure Simulations on a Trapped-ion Quantum Computer using Problem Decomposition

abstract: Quantum computers have the potential to advance material design and drug discovery by performing costly electronic structure calculations. A critical aspect of this application requires optimizing the limited resources of the quantum hardware. Here, we experimentally demonstrate an end-to-end pipeline that focuses on minimizing quantum resources while maintaining accuracy. Using density matrix embedding theory as a problem decomposition technique, and an ion-trap quantum computer, we simulate a ring of 10 hydrogen atoms without freezing any electrons. The originally 20-qubit system is decomposed into 10 two-qubit problems, making it amenable to currently available hardware. Combining this decomposition with a qubit coupled cluster circuit ansatz, circuit optimization, and density matrix purification, we accurately reproduce the potential energy curve in agreement with the full configuration interaction energy in the minimal basis set. Our experimental results are an early demonstration of the potential for problem decomposition to accurately simulate large molecules on quantum hardware.


title: High resolution, High contrast optical interface for defect qubits

abstract: Point defects in crystals provide important building blocks for quantum applications. To initialize, control, and read-out their quantum states, an efficient optical interface for addressing defects with photons is required. However, conventional confocal fluorescence microscopy with high refractive index crystals has limited photon collection efficiency and spatial resolution. Here, we demonstrate high resolution, high contrast imaging for defects qubits using microsphere-assisted confocal microscopy. A microsphere provides an excellent optical interface for point defects with a magnified virtual image that improves spatial resolution up to ~${\lambda}$/5 as well as an optical signal-to-noise ratio by four times. These features enable individual optical addressing of single photons and single spins of spatially-unresolved defects in conventional confocal microscopy with improved signal contrast. The combined optical tweezers show the possibility of positioning or scanning the microspheres for deterministic coupling and wide-field imaging of defects. The approach does not require any complicated fabrication and additional optical system but uses simple micro-optics off-the-shelf. From these distinctive advantages of the microspheres, our approach can provide an efficient way for imaging and addressing closely-spaced defects with higher resolution and sensitivity.


title: Adversarial defense for automatic speaker verification by cascaded self-supervised learning models

abstract: Automatic speaker verification (ASV) is one of the core technologies in biometric identification. With the ubiquitous usage of ASV systems in safety-critical applications, more and more malicious attackers attempt to launch adversarial attacks at ASV systems. In the midst of the arms race between attack and defense in ASV, how to effectively improve the robustness of ASV against adversarial attacks remains an open question. We note that the self-supervised learning models possess the ability to mitigate superficial perturbations in the input after pretraining. Hence, with the goal of effective defense in ASV against adversarial attacks, we propose a standard and attack-agnostic method based on cascaded self-supervised learning models to purify the adversarial perturbations. Experimental results demonstrate that the proposed method achieves effective defense performance and can successfully counter adversarial attacks in scenarios where attackers may either be aware or unaware of the self-supervised learning models.


title: Connecting Interpretability and Robustness in Decision Trees through Separation

abstract: Recent research has recognized interpretability and robustness as essential properties of trustworthy classification. Curiously, a connection between robustness and interpretability was empirically observed, but the theoretical reasoning behind it remained elusive. In this paper, we rigorously investigate this connection. Specifically, we focus on interpretation using decision trees and robustness to $l_{\infty}$-perturbation. Previous works defined the notion of $r$-separation as a sufficient condition for robustness. We prove upper and lower bounds on the tree size in case the data is $r$-separated. We then show that a tighter bound on the size is possible when the data is linearly separated. We provide the first algorithm with provable guarantees both on robustness, interpretability, and accuracy in the context of decision trees. Experiments confirm that our algorithm yields classifiers that are both interpretable and robust and have high accuracy. The code for the experiments is available at https://github.com/yangarbiter/interpretable-robust-trees .


title: Eigenstates of C*-Algebras

abstract: We introduce the notion of eigenstate of an operator in an abstract C*-algebra, and prove several properties. Most significantly, if the operator is self-adjoint, then every element of its spectrum has a corresponding eigenstate.


title: Unusual exchange couplings and intermediate temperature Weyl state in Co3Sn2S2

abstract: Understanding the magnetism and its possible correlations to the topological properties has emerged as a forefront and difficult topic in studying magnetic Weyl semimetals. Co$_{3}$Sn$_{2}$S$_{2}$ is a newly discovered magnetic Weyl semimetal with a kagome lattice of cobalt ions and has triggered intense interest for rich fantastic phenomena. Here, we report the magnetic exchange couplings of Co$_{3}$Sn$_{2}$S$_{2}$ using inelastic neutron scattering and two density functional theory (DFT) based methods: constrained magnetism and multiple-scattering Green's function methods. Co$_{3}$Sn$_{2}$S$_{2}$ exhibits highly anisotropic magnon dispersions and linewidths below $T_{C}$, and paramagnetic excitations above $T_{C}$. The spin-wave spectra in the ferromagnetic ground state is well described by the dominant third-neighbor "across-hexagon" $J_{d}$ model. Our density functional theory calculations reveal that both the symmetry-allowed 120$^\circ$ antiferromagnetic orders support Weyl points in the intermediate temperature region, with distinct numbers and the locations of Weyl points. Our study highlights the important role Co$_{3}$Sn$_{2}$S$_{2}$ can play in advancing our understanding of kagome physics and exploring the interplay between magnetism and band topology.


title: Maximum Energy Growth Rate in Dilute Quantum Gases

abstract: In this letter we study how fast the energy density of a quantum gas can increase in time, when the inter-atomic interaction characterized by the $s$-wave scattering length $a_\text{s}$ is increased from zero with arbitrary time dependence. We show that, at short time, the energy density can at most increase as $\sqrt{t}$, which can be achieved when the time dependence of $a_\text{s}$ is also proportional to $\sqrt{t}$, and especially, a universal maximum energy growth rate can be reached when $a_\text{s}$ varies as $2\sqrt{\hbar t/(\pi m)}$. If $a_\text{s}$ varies faster or slower than $\sqrt{t}$, it is respectively proximate to the quench process and the adiabatic process, and both result in a slower energy growth rate. These results are obtained by analyzing the short time dynamics of the short-range behavior of the many-body wave function characterized by the contact, and are also confirmed by numerical solving an example of interacting bosons with time-dependent Bogoliubov theory. These results can also be verified experimentally in ultracold atomic gases.


title: An Evolutionary Study of Configuration Design and Implementation in Cloud Systems

abstract: Many techniques were proposed for detecting software misconfigurations in cloud systems and for diagnosing unintended behavior caused by such misconfigurations. Detection and diagnosis are steps in the right direction: misconfigurations cause many costly failures and severe performance issues. But, we argue that continued focus on detection and diagnosis is symptomatic of a more serious problem: configuration design and implementation are not yet first-class software engineering endeavors in cloud systems. Little is known about how and why developers evolve configuration design and implementation, and the challenges that they face in doing so. This paper presents a source-code level study of the evolution of configuration design and implementation in cloud systems. Our goal is to understand the rationale and developer practices for revising initial configuration design/implementation decisions, especially in response to consequences of misconfigurations. To this end, we studied 1178 configuration-related commits from a 2.5 year version-control history of four large-scale, actively-maintained open-source cloud systems (HDFS, HBase, Spark, and Cassandra). We derive new insights into the software configuration engineering process. Our results motivate new techniques for proactively reducing misconfigurations by improving the configuration design and implementation process in cloud systems. We highlight a number of future research directions.


title: Linear Convergence in Federated Learning: Tackling Client Heterogeneity and Sparse Gradients

abstract: We consider a standard federated learning (FL) architecture where a group of clients periodically coordinate with a central server to train a statistical model. We develop a general algorithmic framework called FedLin to tackle some of the key challenges intrinsic to FL, namely objective heterogeneity, systems heterogeneity, and infrequent and imprecise communication. Our framework is motivated by the observation that under these challenges, various existing FL algorithms suffer from a fundamental speed-accuracy conflict: they either guarantee linear convergence but to an incorrect point, or convergence to the global minimum but at a sub-linear rate, i.e., fast convergence comes at the expense of accuracy. In contrast, when the clients' local loss functions are smooth and strongly convex, we show that FedLin guarantees linear convergence to the global minimum, despite arbitrary objective and systems heterogeneity. We then establish matching upper and lower bounds on the convergence rate of FedLin that highlight the effects of intermittent communication. Finally, we show that FedLin preserves linear convergence rates under aggressive gradient sparsification, and quantify the effect of the compression level on the convergence rate. Our work is the first to provide tight linear convergence rate guarantees, and constitutes the first comprehensive analysis of gradient sparsification in FL.


title: Inverted Vocal Tract Variables and Facial Action Units to Quantify Neuromotor Coordination in Schizophrenia

abstract: This study investigates the speech articulatory coordination in schizophrenia subjects exhibiting strong positive symptoms (e.g.hallucinations and delusions), using a time delay embedded correlation analysis. We show that the schizophrenia subjects with strong positive symptoms and who are markedly ill pose complex coordination patterns in facial and speech gestures than what is observed in healthy subjects. This observation is in contrast to what previous studies have shown in Major Depressive Disorder (MDD), where subjects with MDD show a simpler coordination pattern with respect to healthy controls or subjects in remission. This difference is not surprising given MDD is necessarily accompanied by Psychomotor slowing (i.e.,negative symptoms) which affects speech, ideation and motility. With respect to speech, psychomotor slowing results in slowed speech with more and longer pauses than what occurs in speech from the same speaker when they are in remission and from a healthy subject. Time delay embedded correlation analysis has been used to quantify the differences in coordination patterns of speech articulation. The current study is based on 17 Facial Action Units (FAUs) extracted from video data and 6 Vocal Tract Variables (TVs) obtained from simultaneously recorded audio data. The TVs are extracted using a speech inversion system based on articulatory phonology that maps the acoustic signal to vocal tract variables. The high-level time delay embedded correlation features computed from TVs and FAUs are used to train a stacking ensemble classifier fusing audio and video modalities. The results show that there is a promising distinction between healthy and schizophrenia subjects (with strong positive symptoms) in terms of neuromotor coordination in speech.


title: Experimental quantum simulation of superradiant phase transition beyond no-go theorem via antisqueezing

abstract: Superradiant phase transition (SPT) in thermal equilibrium, as a fundamental concept bridging the statistical physics and electrodynamics, can offer the key resources for quantum information science. Notwithstanding its fundamental and practical significances, equilibrium SPT has never been observed in experiments since the first proposal in the 1970s. Furthermore, the existence of equilibrium SPT in the cavity quantum electrodynamics (QED) systems is still subject of ongoing debates, due to the no-go theorem induced by the so-called A2 term. Based on the platform of nuclear magnetic resonance (NMR), here we experimentally demonstrate the occurrence of equilibrium SPT beyond no-go theorem by introducing the antisqueezing effect. The mechanism relies on the antisqueezing that recovers the singularity of the ground state via exponentially enhancing the zero point fluctuation (ZPF) of system. The strong entanglement and squeezed Schrodinger cat states of spins are achieved experimentally in the superradiant phase, which may play an important role in fundamental tests of quantum theory, implementing quantum metrology and high-efficient quantum information processing. Our experiment also shows the antisqueezing-enhanced signal-to-noise rate (SNR) of NMR spectrum, providing a general method for implementing high-precision NMR experiments.


title: Experimental Adiabatic Quantum Metrology with the Heisenberg scaling

abstract: The critical quantum metrology, which exploits the quantum phase transition for high precision measurement, has gained increasing attention recently. The critical quantum metrology with the continuous quantum phase transition, however, is experimentally very challenging since the continuous quantum phase transition only exists at the thermal dynamical limit. Here, we propose an adiabatic scheme on a perturbed Ising spin model with the first order quantum phase transition. By employing the Landau-Zener anticrossing, we can not only encode the unknown parameter in the ground state but also tune the energy gap to control the evolution time of the adiabatic passage. We experimentally implement the adiabatic scheme on the nuclear magnetic resonance and show that the achieved precision attains the Heisenberg scaling. The advantages of the scheme-easy implementation, robust against the decay, tunable energy gap-are critical for practical applications of quantum metrology.


title: Learning Intents behind Interactions with Knowledge Graph for Recommendation

abstract: Knowledge graph (KG) plays an increasingly important role in recommender systems. A recent technical trend is to develop end-to-end models founded on graph neural networks (GNNs). However, existing GNN-based models are coarse-grained in relational modeling, failing to (1) identify user-item relation at a fine-grained level of intents, and (2) exploit relation dependencies to preserve the semantics of long-range connectivity. In this study, we explore intents behind a user-item interaction by using auxiliary item knowledge, and propose a new model, Knowledge Graph-based Intent Network (KGIN). Technically, we model each intent as an attentive combination of KG relations, encouraging the independence of different intents for better model capability and interpretability. Furthermore, we devise a new information aggregation scheme for GNN, which recursively integrates the relation sequences of long-range connectivity (i.e., relational paths). This scheme allows us to distill useful information about user intents and encode them into the representations of users and items. Experimental results on three benchmark datasets show that, KGIN achieves significant improvements over the state-of-the-art methods like KGAT, KGNN-LS, and CKAN. Further analyses show that KGIN offers interpretable explanations for predictions by identifying influential intents and relational paths. The implementations are available at https://github.com/huangtinglin/Knowledge_Graph_based_Intent_Network.


title: A re-assessment of strong line metallicity conversions in the machine learning era

abstract: Strong line metallicity calibrations are widely used to determine the gas phase metallicities of individual HII regions and entire galaxies. Over a decade ago, based on the Sloan Digital Sky Survey Data Release 4 (SDSS DR4), Kewley \& Ellison published the coefficients of third-order polynomials that can be used to convert between different strong line metallicity calibrations for global galaxy spectra. Here, we update the work of Kewley \& Ellison in three ways. First, by using a newer data release (DR7), we approximately double the number of galaxies used in polynomial fits, providing statistically improved polynomial coefficients. Second, we include in the calibration suite five additional metallicity diagnostics that have been proposed in the last decade and were not included by Kewley \& Ellison. Finally, we develop a new machine learning approach for converting between metallicity calibrations. The random forest algorithm is non-parametric and therefore more flexible than polynomial conversions, due to its ability to capture non-linear behaviour in the data. The random forest method yields the same accuracy as the (updated) polynomial conversions, but has the significant advantage that a single model can be applied over a wide range of metallicities, without the need to distinguish upper and lower branches in $R_{23}$ calibrations. The trained random forest is made publicly available for use in the community.


title: On stress concentration in nanotwinned metals

abstract: In their papers, Lu et al. analysed experimental data from in-situ transmission electron microscopy (TEM) and concluded that local stress concentration at grain boundary-twin boundary (GB-TB) intersections in nanotwinned (nt-) metals increases as the TB thicknesses is reduced (below ${\lambda}$ $\leq$ 18 nm). However, here, by analysing the raw experimental data in Lu et al. together with finite element simulations and dimensional analysis, we show that the measurement of local stress concentration in a nt-material is highly sensitive to the adopted averaging box size due to the high stress gradient near GB-TB intersections as well as to the TB location in the nt-grain. By careful analysis of the raw data, a completely reverse trend, which is consistent with well-established laws of continuum mechanics, can be captured.


title: Achieving Efficiency in Black Box Simulation of Distribution Tails with Self-structuring Importance Samplers

abstract: This paper presents a novel Importance Sampling (IS) scheme for estimating distribution tails of performance measures modeled with a rich set of tools such as linear programs, integer linear programs, piecewise linear/quadratic objectives, feature maps specified with deep neural networks, etc. The conventional approach of explicitly identifying efficient changes of measure suffers from feasibility and scalability concerns beyond highly stylized models, due to their need to be tailored intricately to the objective and the underlying probability distribution. This bottleneck is overcome in the proposed scheme with an elementary transformation which is capable of implicitly inducing an effective IS distribution in a variety of models by replicating the concentration properties observed in less rare samples. This novel approach is guided by developing a large deviations principle that brings out the phenomenon of self-similarity of optimal IS distributions. The proposed sampler is the first to attain asymptotically optimal variance reduction across a spectrum of multivariate distributions despite being oblivious to the specifics of the underlying model. Its applicability is illustrated with contextual shortest path and portfolio credit risk models informed by neural networks


title: Query-by-Example Keyword Spotting system using Multi-head Attention and Softtriple Loss

abstract: This paper proposes a neural network architecture for tackling the query-by-example user-defined keyword spotting task. A multi-head attention module is added on top of a multi-layered GRU for effective feature extraction, and a normalized multi-head attention module is proposed for feature aggregation. We also adopt the softtriple loss - a combination of triplet loss and softmax loss - and showcase its effectiveness. We demonstrate the performance of our model on internal datasets with different languages and the public Hey-Snips dataset. We compare the performance of our model to a baseline system and conduct an ablation study to show the benefit of each component in our architecture. The proposed work shows solid performance while preserving simplicity.


title: Inverse random potential scattering for elastic waves

abstract: This paper is concerned with the inverse elastic scattering problem for a random potential in three dimensions. Interpreted as a distribution, the potential is assumed to be a microlocally isotropic Gaussian random field whose covariance operator is a classical pseudo-differential operator. Given the potential, the direct scattering problem is shown to be well-posed in the distribution sense by studying the equivalent Lippmann--Schwinger integral equation. For the inverse scattering problem, we demonstrate that the microlocal strength of the random potential can be uniquely determined with probability one by a single realization of the high frequency limit of the averaged compressional or shear backscattered far-field pattern of the scattered wave. The analysis employs the integral operator theory, the Born approximation in the high frequency regime, the microlocal analysis for the Fourier integral operators, and the ergodicity of the wave field.


title: The Relativistic Spherical Top as a Massive Twistor

abstract: We prove the equivalence between two traditional approaches to the classical mechanics of a massive spinning particle in special relativity. One is the spherical top model of Hanson and Regge, recast in a Hamiltonian formulation with improved treatment of covariant spin constraints. The other is the massive twistor model, slightly generalized to incorporate the Regge trajectory relating the mass to the total spin angular momentum. We establish the equivalence by computing the Dirac brackets of the physical phase space carrying three translation and three rotation degrees of freedom. Lorentz covariance and little group covariance uniquely determine the structure of the physical phase space. The Regge trajectory does not affect the phase space but enters the equations of motion. Upon quantization, the twistor model produces a spectrum that agrees perfectly with the massive spinor-helicity description proposed by Arkani-Hamed, Huang and Huang for scattering amplitudes for all masses and spins.


title: NeRF--: Neural Radiance Fields Without Known Camera Parameters

abstract: Considering the problem of novel view synthesis (NVS) from only a set of 2D images, we simplify the training process of Neural Radiance Field (NeRF) on forward-facing scenes by removing the requirement of known or pre-computed camera parameters, including both intrinsics and 6DoF poses. To this end, we propose NeRF$--$, with three contributions: First, we show that the camera parameters can be jointly optimised as learnable parameters with NeRF training, through a photometric reconstruction; Second, to benchmark the camera parameter estimation and the quality of novel view renderings, we introduce a new dataset of path-traced synthetic scenes, termed as Blender Forward-Facing Dataset (BLEFF); Third, we conduct extensive analyses to understand the training behaviours under various camera motions, and show that in most scenarios, the joint optimisation pipeline can recover accurate camera parameters and achieve comparable novel view synthesis quality as those trained with COLMAP pre-computed camera parameters. Our code and data are available at https://nerfmm.active.vision.


title: The Wolf-Rayet + Black Hole Binary NGC 300 X-1: What is the Mass of the Black Hole?

abstract: We present new X-ray and UV observations of the Wolf-Rayet + black hole binary system NGC 300 X-1 with the Chandra X-ray Observatory and the Hubble Space Telescope Cosmic Origins Spectrograph. When combined with archival X-ray observations, our X-ray and UV observations sample the entire binary orbit, providing clues to the system geometry and interaction between the black hole accretion disk and the donor star wind. We measure a binary orbital period of 32.7921$\pm$0.0003 hr, in agreement with previous studies, and perform phase-resolved spectroscopy using the X-ray data. The X-ray light curve reveals a deep eclipse, consistent with inclination angles of $i=60-75^{\circ}$, and a pre-eclipse excess consistent with an accretion stream impacting the disk edge. We further measure radial velocity variations for several prominent FUV spectral lines, most notably He II $\lambda$1640 and C IV $\lambda$1550. We find that the He II emission lines systematically lag the expected Wolf-Rayet star orbital motion by a phase difference $\Delta \phi\sim0.3$, while C IV $\lambda$1550 matches the phase of the anticipated radial velocity curve of the Wolf-Rayet donor. We assume the C IV $\lambda$1550 emission line follows a sinusoidal radial velocity curve (semi-amplitude = 250 km s$^{-1}$) and infer a BH mass of 17$\pm$4 M$_{\odot}$. Our observations are consistent with the presence of a wind-Roche lobe overflow accretion disk, where an accretion stream forms from gravitationally focused wind material and impacts the edge of the black hole accretion disk.


title: Acoustic response of turbulent cavity flow using resolvent analysis

abstract: The decomposition of hydrodynamic and acoustic components of cavity flows can aid the understanding of the flow-acoustic interaction, which produces a variety of adverse effects in applications. We apply the approach of combining the resolvent analysis and Doak's momentum potential theory to examine the input-output flow-acoustic characteristics of compressible flow over an open cavity at Re=10,000. The methodology can decompose hydrodynamic and acoustic components from an input-output framework. We further localize the forcing at the leading-edge and front wall of the cavity and filter with a single component of velocity, density, and temperature forcing. For the subsonic flow at M=0.6, The strong acoustic component appears at the trailing edge of the cavity at a lower frequency. while as the frequency increases, the intense acoustic structure moves close to upstream and overlap with the hydrodynamic component. This tendency is also observed in the supersonic flow condition M=1.4. Compared to different types of forcing, the streamwise velocity forcing achieves the largest energy amplification. However, it substantially reduces by moving the forcing location from the leading-edge to the front wall of the cavity. This work provides an alternative approach to examine input-output flow-acoustic characteristics where resonance is dominant and provides guidance for the development of flow control strategies.


title: Fast Monocular Hand Pose Estimation on Embedded Systems

abstract: Hand pose estimation is a fundamental task in many human-robot interaction-related applications. However, previous approaches suffer from unsatisfying hand landmark predictions in real-world scenes and high computation burden. This paper proposes a fast and accurate framework for hand pose estimation, dubbed as "FastHand". Using a lightweight encoder-decoder network architecture, FastHand fulfills the requirements of practical applications running on embedded devices. The encoder consists of deep layers with a small number of parameters, while the decoder makes use of spatial location information to obtain more accurate results. The evaluation took place on two publicly available datasets demonstrating the improved performance of the proposed pipeline compared to other state-of-the-art approaches. FastHand offers high accuracy scores while reaching a speed of 25 frames per second on an NVIDIA Jetson TX2 graphics processing unit.


title: A Forward Backward Greedy approach for Sparse Multiscale Learning

abstract: Multiscale Models are known to be successful in uncovering and analyzing the structures in data at different resolutions. In the current work we propose a feature driven Reproducing Kernel Hilbert space (RKHS), for which the associated kernel has a weighted multiscale structure. For generating approximations in this space, we provide a practical forward-backward algorithm that is shown to greedily construct a set of basis functions having a multiscale structure, while also creating sparse representations from the given data set, making representations and predictions very efficient. We provide a detailed analysis of the algorithm including recommendations for selecting algorithmic hyper-parameters and estimating probabilistic rates of convergence at individual scales. Then we extend this analysis to multiscale setting, studying the effects of finite scale truncation and quality of solution in the inherent RKHS. In the last section, we analyze the performance of the approach on a variety of simulation and real data sets, thereby justifying the efficiency claims in terms of model quality and data reduction.


title: Convergence Rates in Uniform Ergodicity by Hitting Times and $L^2$-exponential Convergence Rates

abstract: Generally the convergence rate in exponential ergodicity $\lambda$ is an upper bound for the convergence rate $\kappa$ in uniform ergodicity for a Markov process, that is $\lambda\geqslant\kappa$. In this paper, we prove that $\kappa\geqslant \inf \{lambda,1/M_H\}$, where $M_H$ is a uniform bound on the moment of the hitting time to a "compact" set $H$. In the case where $M_H$ can be made arbitrarily small for $H$ large enough, we obtain that $\lambda=\kappa$. The general results are applied to Markov chains, diffusion processes and solutions to SDEs driven by symmetric stable processes.


title: Deconstructing Categorization in Visualization Recommendation: A Taxonomy and Comparative Study

abstract: Visualization recommendation (VisRec) systems provide users with suggestions for potentially interesting and useful next steps during exploratory data analysis. These recommendations are typically organized into categories based on their analytical actions, i.e., operations employed to transition from the current exploration state to a recommended visualization. However, despite the emergence of a plethora of VisRec systems in recent work, the utility of the categories employed by these systems in analytical workflows has not been systematically investigated. Our paper explores the efficacy of recommendation categories by formalizing a taxonomy of common categories and developing a system, Frontier, that implements these categories. Using Frontier, we evaluate workflow strategies adopted by users and how categories influence those strategies. Participants found recommendations that add attributes to enhance the current visualization and recommendations that filter to sub-populations to be comparatively most useful during data exploration. Our findings pave the way for next-generation VisRec systems that are adaptive and personalized via carefully chosen, effective recommendation categories.


title: Doping: A technique for efficient compression of LSTM models using sparse structured additive matrices

abstract: Structured matrices, such as those derived from Kronecker products (KP), are effective at compressing neural networks, but can lead to unacceptable accuracy loss when applied to large models. In this paper, we propose the notion of doping -- addition of an extremely sparse matrix to a structured matrix. Doping facilitates additional degrees of freedom for a small number of parameters, allowing them to independently diverge from the fixed structure. To train LSTMs with doped structured matrices, we introduce the additional parameter matrix while slowly annealing its sparsity level. However, we find that performance degrades as we slowly sparsify the doping matrix, due to co-matrix adaptation (CMA) between the structured and the sparse matrices. We address this over dependence on the sparse matrix using a co-matrix dropout regularization (CMR) scheme. We provide empirical evidence to show that doping, CMA and CMR are concepts generally applicable to multiple structured matrices (Kronecker Product, LMF, Hybrid Matrix Decomposition). Additionally, results with doped kronecker product matrices demonstrate state-of-the-art accuracy at large compression factors (10 - 25x) across 4 natural language processing applications with minor loss in accuracy. Doped KP compression technique outperforms previous state-of-the art compression results by achieving 1.3 - 2.4x higher compression factor at a similar accuracy, while also beating strong alternatives like pruning and low-rank methods by a large margin (8% or more). Additionally, we show that doped KP can be deployed on commodity hardware using the current software stack and achieve 2.5 - 5.5x inference run-time speed-up over baseline.


title: Im$\{\chi^{(3)}\}$ spectra of 110-cut GaAs, GaP, and Si near the two-photon absorption band edge

abstract: Spectra of the degenerate two-photon absorption coefficient $\beta(\omega)$, anisotropy parameter $\sigma(\omega)$, and dichroism parameter $\delta(\omega) = \big[\sigma(\omega) + 2\eta(\omega)\big]/2$ of crystalline 110-cut GaAs, GaP, and Si at 300 K were measured using femtosecond pump-probe modulation spectroscopy over an excitation range in the vicinity of each material's half-band gap $E_g/2$ (overall $0.62 < \hbar \omega < 1.91$ eV, or $2000 > \lambda > 650$ nm). Together these three parameters completely characterize the three independent components of the imaginary part of the degenerate third-order nonlinear optical susceptibility tensor $\mathrm{Im}\{\chi^{(3)}_{abcd}(\omega)\}$. In direct-gap GaAs, these components peak at $\hbar \omega \approx 0.78 E_g$ which is close to the peak at $\hbar \omega = 0.71 E_g$ predicted by the Jones-Reiss phenomenological model. The dispersion is comparable to ab initio calculations. In indirect-gap GaP and Si, these components tend to increase with $\hbar \omega$ over our tuning range. In Si, the dispersion differs significantly from predictions of semi-empirical models and ab initio calculations do not account for transitions below the two-photon direct band gap, motivating further investigation. Kleinman symmetry was observed to be broken in all three materials. We also note anomalies observed and their possible origins, emphasizing the advantages of a 2-beam experiment in identifying the contribution of various nonlinear effects.


title: Costly Features Classification using Monte Carlo Tree Search

abstract: We consider the problem of costly feature classification, where we sequentially select the subset of features to make a balance between the classification error and the feature cost. In this paper, we first cast the task into a MDP problem and use Advantage Actor Critic algorithm to solve it. In order to further improve the agent's performance and make the policy explainable, we employ the Monte Carlo Tree Search to update the policy iteratively. During the procedure, we also consider its performance on the unbalanced dataset and its sensitivity to the missing value. We evaluate our model on multiple datasets and find it outperforms other methods.


title: TransGAN: Two Pure Transformers Can Make One Strong GAN, and That Can Scale Up

abstract: The recent explosive interest on transformers has suggested their potential to become powerful "universal" models for computer vision tasks, such as classification, detection, and segmentation. While those attempts mainly study the discriminative models, we explore transformers on some more notoriously difficult vision tasks, e.g., generative adversarial networks (GANs). Our goal is to conduct the first pilot study in building a GAN completely free of convolutions, using only pure transformer-based architectures. Our vanilla GAN architecture, dubbed TransGAN, consists of a memory-friendly transformer-based generator that progressively increases feature resolution, and correspondingly a multi-scale discriminator to capture simultaneously semantic contexts and low-level textures. On top of them, we introduce the new module of grid self-attention for alleviating the memory bottleneck further, in order to scale up TransGAN to high-resolution generation. We also develop a unique training recipe including a series of techniques that can mitigate the training instability issues of TransGAN, such as data augmentation, modified normalization, and relative position encoding. Our best architecture achieves highly competitive performance compared to current state-of-the-art GANs using convolutional backbones. Specifically, TransGAN sets new state-of-the-art inception score of 10.43 and FID of 18.28 on STL-10, outperforming StyleGAN-V2. When it comes to higher-resolution (e.g. 256 x 256) generation tasks, such as on CelebA-HQ and LSUN-Church, TransGAN continues to produce diverse visual examples with high fidelity and impressive texture details. In addition, we dive deep into the transformer-based generation models to understand how their behaviors differ from convolutional ones, by visualizing training dynamics. The code is available at https://github.com/VITA-Group/TransGAN.


title: Intermittent Status Updating Through Joint Scheduling of Sensing and Retransmissions

abstract: Consider an energy harvesting node where generation of a status update message takes non-negligible time due to sensing, computing and analytics operations performed before making update transmissions. The node has to harmonize its (re)transmission strategy with the sensing/computing. We call this general set of problems intermittent status updating. In this paper, we consider intermittent status updating through non-preemptive sensing/computing (S/C) and transmission (Tx) operations, each costing a single energy recharge of the node, through an erasure channel with (a) perfect channel feedback and (b) no channel feedback. The S/C time for each update is independent with a general distribution. The Tx queue has a single data buffer to save the latest packet generated after the S/C operation and a single transmitter where transmission time is deterministic. Once energy is harvested, the node has to decide whether to activate S/C to generate a new update or to (re)send the existing update (if any) to the receiver. We prove that when feedback is available average peak age of information (AoI) at the receiver is minimized by a threshold-based policy that allows only young packets to be (re)sent or else generates a new update. We additionally propose window based and probabilistic retransmission schemes for both cases (a) and (b) and obtain closed form average peak AoI expressions. Our numerical results show average peak AoI performance comparisons and improvements.


title: Tight lower bounds for Dynamic Time Warping

abstract: Dynamic Time Warping (DTW) is a popular similarity measure for aligning and comparing time series. Due to DTW's high computation time, lower bounds are often employed to screen poor matches. Many alternative lower bounds have been proposed, providing a range of different trade-offs between tightness and computational efficiency. LB Keogh provides a useful trade-off in many applications. Two recent lower bounds, LB Improved and LB Enhanced, are substantially tighter than LB Keogh. All three have the same worst case computational complexity - linear with respect to series length and constant with respect to window size. We present four new DTW lower bounds in the same complexity class. LB Petitjean is substantially tighter than LB Improved, with only modest additional computational overhead. LB Webb is more efficient than LB Improved, while often providing a tighter bound. LB Webb is always tighter than LB Keogh. The parameter free LB Webb is usually tighter than LB Enhanced. A parameterized variant, LB Webb Enhanced, is always tighter than LB Enhanced. A further variant, LB Webb*, is useful for some constrained distance functions. In extensive experiments, LB Webb proves to be very effective for nearest neighbor search.


title: Model-Agnostic Graph Regularization for Few-Shot Learning

abstract: In many domains, relationships between categories are encoded in the knowledge graph. Recently, promising results have been achieved by incorporating knowledge graph as side information in hard classification tasks with severely limited data. However, prior models consist of highly complex architectures with many sub-components that all seem to impact performance. In this paper, we present a comprehensive empirical study on graph embedded few-shot learning. We introduce a graph regularization approach that allows a deeper understanding of the impact of incorporating graph information between labels. Our proposed regularization is widely applicable and model-agnostic, and boosts the performance of any few-shot learning model, including fine-tuning, metric-based, and optimization-based meta-learning. Our approach improves the performance of strong base learners by up to 2% on Mini-ImageNet and 6.7% on ImageNet-FS, outperforming state-of-the-art graph embedded methods. Additional analyses reveal that graph regularizing models result in a lower loss for more difficult tasks, such as those with fewer shots and less informative support examples.


title: Exploiting Shared Representations for Personalized Federated Learning

abstract: Deep neural networks have shown the ability to extract universal feature representations from data such as images and text that have been useful for a variety of learning tasks. However, the fruits of representation learning have yet to be fully-realized in federated settings. Although data in federated settings is often non-i.i.d. across clients, the success of centralized deep learning suggests that data often shares a global feature representation, while the statistical heterogeneity across clients or tasks is concentrated in the labels. Based on this intuition, we propose a novel federated learning framework and algorithm for learning a shared data representation across clients and unique local heads for each client. Our algorithm harnesses the distributed computational power across clients to perform many local-updates with respect to the low-dimensional local parameters for every update of the representation. We prove that this method obtains linear convergence to the ground-truth representation with near-optimal sample complexity in a linear setting, demonstrating that it can efficiently reduce the problem dimension for each client. This result is of interest beyond federated learning to a broad class of problems in which we aim to learn a shared low-dimensional representation among data distributions, for example in meta-learning and multi-task learning. Further, extensive experimental results show the empirical improvement of our method over alternative personalized federated learning approaches in federated environments with heterogeneous data.


title: Quantum metrology with precision reaching beyond-$1/N$ scaling through $N$-probe entanglement generating interactions

abstract: Nonlinear interactions are recognized as potential resources for quantum metrology, facilitating parameter estimation precisions that scale as the exponential Heisenberg limit of $2^{-N}$. We explore such nonlinearity and propose an associated quantum measurement scenario based on the nonlinear interaction of $N$-probe entanglement generating form. This scenario provides an enhanced precision scaling of $D^{-N}/(N-1)!$ with $D > 2$ a tunable parameter. In addition, it can be readily implemented in a variety of experimental platforms and applied to measurements of a wide range of quantities, including local gravitational acceleration $g$, magnetic field, and its higher-order gradients.


title: Multiplicities of Jumping Numbers

abstract: We study multiplicities of jumping numbers of multiplier ideals in a smooth variety of arbitrary dimension. We prove that the multiplicity function is a quasi-polynomial, hence proving that the Poincar\'e series is a rational function. We further study when the various components of the quasi-polynomial have the highest possible degree and relate it to jumping numbers contributed by Rees valuations. Finally, we study the special case of monomial ideals.


title: From Proper Scoring Rules to Max-Min Optimal Forecast Aggregation

abstract: This paper forges a strong connection between two seemingly unrelated forecasting problems: incentive-compatible forecast elicitation and forecast aggregation. Proper scoring rules are the well-known solution to the former problem. To each such rule $s$ we associate a corresponding method of aggregation, mapping expert forecasts and expert weights to a "consensus forecast," which we call *quasi-arithmetic (QA) pooling* with respect to $s$. We justify this correspondence in several ways: - QA pooling with respect to the two most well-studied scoring rules (quadratic and logarithmic) corresponds to the two most well-studied forecast aggregation methods (linear and logarithmic). - Given a scoring rule $s$ used for payment, a forecaster agent who sub-contracts several experts, paying them in proportion to their weights, is best off aggregating the experts' reports using QA pooling with respect to $s$, meaning this strategy maximizes its worst-case profit (over the possible outcomes). - The score of an aggregator who uses QA pooling is concave in the experts' weights. As a consequence, online gradient descent can be used to learn appropriate expert weights from repeated experiments with low regret. - The class of all QA pooling methods is characterized by a natural set of axioms (generalizing classical work by Kolmogorov on quasi-arithmetic means).


title: Heavy quark transport in an anisotropic hot QCD medium: Collisional and Radiative processes

abstract: The impact of momentum anisotropy on the heavy quark transport coefficients due to collisional and radiative processes in the QCD medium has been studied within the ambit of kinetic theory. Anisotropic aspects (momentum) are incorporated into the heavy quark dynamics through the non-equilibrium momentum distribution function of quarks, antiquarks, and gluons. These non-equilibrium distribution functions that encode the physics of momentum anisotropy and turbulent chromo-fields have been obtained by solving the ensemble-averaged diffusive Vlasov-Boltzmann equation. The momentum dependence of heavy quark transport coefficients in the medium is seen to be sensitive to the strength of the anisotropy for both collisional and radiative processes. In addition, the collisional and radiative energy loss of the heavy quark in the anisotropic hot QCD medium have been analyzed. The effects of anisotropy on the drag and diffusion coefficients are observed to have a visible impact on the nuclear suppression factor both at the RHIC and LHC.


title: Semicomplete Arithmetic Sequences, Division of Hypercubes, and the Pell Constant

abstract: In this paper we produce a few continuations of our previous work on partitions into fractions. Specifically, we study strictly increasing integer sequences $\{n_j\}$ such that there are partitions for all integers less than the floor of $G$, where $G=\frac{n_1}{j} + \frac{n_2}{j} + \cdots + \frac{n_{j-1}}{j}+\frac{n_j}{j}$, and all summands are distinct terms drawn from $\frac{n_1}{j} + \frac{n_2}{j} + \cdots + \frac{n_{j-1}}{j}+\frac{n_j}{j}$. We call such sequences \enquote{semicomplete}. We find that there are only three semicomplete arithmetic sequences. We also study sequences that give the maximum number of pieces that an $M$ dimensional hypercube can be cut into using $N-1$ hyperplanes. We find that these are semicomplete in one, two, three, and four dimensions. As an aside, we use one of our generating functions to produce what appears to be a new identity for the Pell constant, a number which is closely connected to the density of solutions to the negative Pell equation.


title: Configuration-interaction approach to nuclear fission

abstract: We propose a configuration-interaction (CI) representation to calculate induced nuclear fission with explicit inclusion of nucleon-nucleon interactions in the Hamiltonian. The framework is designed for easy modeling of schematic interactions but still permits a straightforward extension to realistic ones. As a first application, the model is applied to branching ratios between fission and capture in the decay modes of excited fissile nuclei. The ratios are compared with the Bohr-Wheeler transition-state theory to explore its domain of validity. The Bohr-Wheeler theory assumes that the rates are insensitive to the final-state scission dynamics; the insensitivity is rather easily achieved in the CI parameterizations. The CI modeling is also capable of reproducing the branching ratios of the transition-state hypothesis which is one of the key ingredients in the present-day theory of induced fission.


title: Light Field Reconstruction via Deep Adaptive Fusion of Hybrid Lenses

abstract: This paper explores the problem of reconstructing high-resolution light field (LF) images from hybrid lenses, including a high-resolution camera surrounded by multiple low-resolution cameras. The performance of existing methods is still limited, as they produce either blurry results on plain textured areas or distortions around depth discontinuous boundaries. To tackle this challenge, we propose a novel end-to-end learning-based approach, which can comprehensively utilize the specific characteristics of the input from two complementary and parallel perspectives. Specifically, one module regresses a spatially consistent intermediate estimation by learning a deep multidimensional and cross-domain feature representation, while the other module warps another intermediate estimation, which maintains the high-frequency textures, by propagating the information of the high-resolution view. We finally leverage the advantages of the two intermediate estimations adaptively via the learned attention maps, leading to the final high-resolution LF image with satisfactory results on both plain textured areas and depth discontinuous boundaries. Besides, to promote the effectiveness of our method trained with simulated hybrid data on real hybrid data captured by a hybrid LF imaging system, we carefully design the network architecture and the training strategy. Extensive experiments on both real and simulated hybrid data demonstrate the significant superiority of our approach over state-of-the-art ones. To the best of our knowledge, this is the first end-to-end deep learning method for LF reconstruction from a real hybrid input. We believe our framework could potentially decrease the cost of high-resolution LF data acquisition and benefit LF data storage and transmission.


title: Generalizations of Jacobsthal sums and hypergeometric series over finite fields

abstract: For non-negative integers $l_{1}, l_{2},\ldots, l_{n}$, we define character sums $\varphi_{(l_{1}, l_{2},\ldots, l_{n})}$ and $\psi_{(l_{1}, l_{2},\ldots, l_{n})}$ over a finite field which are generalizations of Jacobsthal and modified Jacobsthal sums, respectively. We express these character sums in terms of Greene's finite field hypergeometric series. We then express the number of points on the hyperelliptic curves $y^2=(x^m+a)(x^m+b)(x^m+c)$ and $y^2=x(x^m+a)(x^m+b)(x^m+c)$ over a finite field in terms of the character sums $\varphi_{(l_{1}, l_{2}, l_{3})}$ and $\psi_{(l_{1}, l_{2}, l_{3})}$, and finally obtain expressions in terms of the finite field hypergeometric series.


title: Survey on Aerial Radio Access Networks: Toward a Comprehensive 6G Access Infrastructure

abstract: Current network access infrastructures are characterized by heterogeneity, low latency, high throughput, and high computational capability, enabling massive concurrent connections and various services. Unfortunately, this design does not pay significant attention to mobile services in underserved areas. In this context, the use of aerial radio access networks (ARANs) is a promising strategy to complement existing terrestrial communication systems. Involving airborne components such as unmanned aerial vehicles, drones, and satellites, ARANs can quickly establish a flexible access infrastructure on demand. ARANs are expected to support the development of seamless mobile communication systems toward a comprehensive sixth-generation (6G) global access infrastructure. This paper provides an overview of recent studies regarding ARANs in the literature. First, we investigate related work to identify areas for further exploration in terms of recent knowledge advancements and analyses. Second, we define the scope and methodology of this study. Then, we describe ARAN architecture and its fundamental features for the development of 6G networks. In particular, we analyze the system model from several perspectives, including transmission propagation, energy consumption, communication latency, and network mobility. Furthermore, we introduce technologies that enable the success of ARAN implementations in terms of energy replenishment, operational management, and data delivery. Subsequently, we discuss application scenarios envisioned for these technologies. Finally, we highlight ongoing research efforts and trends toward 6G ARANs.


title: Dark sky tourism and sustainable development in Namibia

abstract: Namibia is world-renowned for its incredibly dark skies by the astronomy community, and yet, the country is not well recognised as a dark sky destination by tourists and travellers. Forged by a collaboration between the Universities of Oxford and Namibia, together we are using astronomy as a means for capacity-building and sustainable socio-economic growth via educating tour guides and promoting dark sky tourism to relevant stakeholders.


title: Simple vertex coloring algorithms

abstract: Given a graph $G$ with $n$ vertices and maximum degree $\Delta$, it is known that $G$ admits a vertex coloring with $\Delta + 1$ colors such that no edge of $G$ is monochromatic. This can be seen constructively by a simple greedy algorithm, which runs in time $O(n\Delta)$. Very recently, a sequence of results (e.g., [Assadi et. al. SODA'19, Bera et. al. ICALP'20, Alon Assadi Approx/Random'20]) show randomized algorithms for $(\epsilon + 1)\Delta$-coloring in the query model making $\tilde{O}(n\sqrt{n})$ queries, improving over the greedy strategy on dense graphs. In addition, a lower bound of $\Omega(n\sqrt n)$ for any $O(\Delta)$-coloring is established on general graphs. In this work, we give a simple algorithm for $(1 + \epsilon)\Delta$-coloring. This algorithm makes $O(\epsilon^{-1/2}n\sqrt{n})$ queries, which matches the best existing algorithms as well as the classical lower bound for sufficiently large $\epsilon$. Additionally, it can be readily adapted to a quantum query algorithm making $\tilde{O}(\epsilon^{-1}n^{4/3})$ queries, bypassing the classical lower bound. Complementary to these algorithmic results, we show a quantum lower bound of $\Omega(n)$ for $O(\Delta)$-coloring.


title: New methods for metastimuli: architecture, embeddings, and neural network optimization

abstract: Six significant new methodological developments of the previously-presented "metastimuli architecture" for human learning through machine learning of spatially correlated structural position within a user's personal information management system (PIMS), providing the basis for haptic metastimuli, are presented. These include architectural innovation, recurrent (RNN) artificial neural network (ANN) application, a variety of atom embedding techniques (including a novel technique we call "nabla" embedding inspired by linguistics), ANN hyper-parameter (one that affects the network but is not trained, e.g. the learning rate) optimization, and meta-parameter (one that determines the system performance but is not trained and not a hyper-parameter, e.g. the atom embedding technique) optimization for exploring the large design space. A technique for using the system for automatic atom categorization in a user's PIMS is outlined. ANN training and hyper- and meta-parameter optimization results are presented and discussed in service of methodological recommendations.


title: Decentralized Riemannian Gradient Descent on the Stiefel Manifold

abstract: We consider a distributed non-convex optimization where a network of agents aims at minimizing a global function over the Stiefel manifold. The global function is represented as a finite sum of smooth local functions, where each local function is associated with one agent and agents communicate with each other over an undirected connected graph. The problem is non-convex as local functions are possibly non-convex (but smooth) and the Steifel manifold is a non-convex set. We present a decentralized Riemannian stochastic gradient method (DRSGD) with the convergence rate of $\mathcal{O}(1/\sqrt{K})$ to a stationary point. To have exact convergence with constant stepsize, we also propose a decentralized Riemannian gradient tracking algorithm (DRGTA) with the convergence rate of $\mathcal{O}(1/K)$ to a stationary point. We use multi-step consensus to preserve the iteration in the local (consensus) region. DRGTA is the first decentralized algorithm with exact convergence for distributed optimization on Stiefel manifold.


title: Learning Self-Similarity in Space and Time as Generalized Motion for Video Action Recognition

abstract: Spatio-temporal convolution often fails to learn motion dynamics in videos and thus an effective motion representation is required for video understanding in the wild. In this paper, we propose a rich and robust motion representation based on spatio-temporal self-similarity (STSS). Given a sequence of frames, STSS represents each local region as similarities to its neighbors in space and time. By converting appearance features into relational values, it enables the learner to better recognize structural patterns in space and time. We leverage the whole volume of STSS and let our model learn to extract an effective motion representation from it. The proposed neural block, dubbed SELFY, can be easily inserted into neural architectures and trained end-to-end without additional supervision. With a sufficient volume of the neighborhood in space and time, it effectively captures long-term interaction and fast motion in the video, leading to robust action recognition. Our experimental analysis demonstrates its superiority over previous methods for motion modeling as well as its complementarity to spatio-temporal features from direct convolution. On the standard action recognition benchmarks, Something-Something-V1 & V2, Diving-48, and FineGym, the proposed method achieves the state-of-the-art results.


title: Optimal designs for the development of personalized treatment rules

abstract: We study the design of multi-armed parallel group clinical trials to estimate personalized treatment rules that identify the best treatment for a given patient with given covariates. Assuming that the outcomes in each treatment arm are given by a homoscedastic linear model, with possibly different variances between treatment arms, and that the trial subjects form a random sample from an unselected overall population, we optimize the (possibly randomized) treatment allocation allowing the allocation rates to depend on the covariates. We find that, for the case of two treatments, the approximately optimal allocation rule does not depend on the value of the covariates but only on the variances of the responses. In contrast, for the case of three treatments or more, the optimal treatment allocation does depend on the values of the covariates as well as the true regression coefficients. The methods are illustrated with a recently published dietary clinical trial.


title: Modeling spatial tail dependence with Cauchy convolution processes

abstract: We study the class of dependence models for spatial data obtained from Cauchy convolution processes based on different types of kernel functions. We show that the resulting spatial processes have appealing tail dependence properties, such as tail dependence at short distances and independence at long distances with suitable kernel functions. We derive the extreme-value limits of these processes, study their smoothness properties, and detail some interesting special cases. To get higher flexibility at sub-asymptotic levels and separately control the bulk and the tail dependence properties, we further propose spatial models constructed by mixing a Cauchy convolution process with a Gaussian process. We demonstrate that this framework indeed provides a rich class of models for the joint modeling of the bulk and the tail behaviors. Our proposed inference approach relies on matching model-based and empirical summary statistics, and an extensive simulation study shows that it yields accurate estimates. We demonstrate our new methodology by application to a temperature dataset measured at 97 monitoring stations in the state of Oklahoma, US. Our results indicate that our proposed model provides a very good fit to the data, and that it captures both the bulk and the tail dependence structures accurately.


title: Noncommutative Differential Calculus Structure on Secondary Hochschild (co)homology

abstract: Let $B$ be a commutative algebra and $A$ be a $B$-algebra (determined by an algebra homomorphism $\varepsilon:B\rightarrow A$). M. D. Staic introduced a Hochschild like cohomology $H^{\bullet}((A,B,\varepsilon);A)$ called secondary Hochschild cohomology, to describe the non-trivial $B$-algebra deformations of $A$. J. Laubacher et al later obtained a natural construction of a new chain (and cochain) complex $\overline{C}_{\bullet}(A,B,\varepsilon)$ (resp. $\overline{C}^{\bullet}(A,B,\varepsilon)$) in the process of introducing the secondary cyclic (co)homology. It turns out that unlike the classical case of associative algebras (over a field), there exist different (co)chain complexes for the $B$-algebra $A$. In this paper, we establish a connection between the two (co)homology theories for $B$-algebra $A$. We show that the pair $\big(H^{\bullet}((A,B,\varepsilon);A),HH_{\bullet}(A,B,\varepsilon)\big)$ forms a non-commutative differential calculus, where $HH_{\bullet}(A,B,\varepsilon)$ denotes the homology of the complex $\overline{C}_{\bullet}(A,B,\varepsilon)$.


title: On the unsteady dynamics of partially shrouded compressible jets

abstract: We experimentally investigate a partially shrouded sonic jet (a sonic free-jet shielded by a solid wall-extension on one side) exiting from a planar nozzle at two different nozzle pressure ratio ($\zeta=4$ and $5$). We experimentally show that the inherent jet unsteadiness from the shock-induced flow separation on the wall and the emitted noise in the far-field is strongly coupled through a series of experiments like high-speed schlieren, wall-static pressure, unsteady pressure spectra, and microphone measurements. The partially shrouded jet's lateral free expansion is also identified to be complicated, three-dimensional, and the produced noise is directional. The emitted acoustic pulses from the flapping-jet, the radiated noise from the shock-induced separation on the wall, and the shock-shear layer interaction on the other side of the wall are responsible for the generated acoustic disturbances. The non-uniform aeroacoustic forcing on the top and bottom portion of the partially wall-bounded jet shear layer leads to a self-sustained jet oscillation and a discrete sound emission. The vital features are identified through the proper orthogonal decomposition of high-speed schlieren images and supplemented by other measurements.


title: Domain Adversarial Reinforcement Learning

abstract: We consider the problem of generalization in reinforcement learning where visual aspects of the observations might differ, e.g. when there are different backgrounds or change in contrast, brightness, etc. We assume that our agent has access to only a few of the MDPs from the MDP distribution during training. The performance of the agent is then reported on new unknown test domains drawn from the distribution (e.g. unseen backgrounds). For this "zero-shot RL" task, we enforce invariance of the learned representations to visual domains via a domain adversarial optimization process. We empirically show that this approach allows achieving a significant generalization improvement to new unseen domains.


title: Learning a Product Relevance Model from Click-Through Data in E-Commerce

abstract: The search engine plays a fundamental role in online e-commerce systems, to help users find the products they want from the massive product collections. Relevance is an essential requirement for e-commerce search, since showing products that do not match search query intent will degrade user experience. With the existence of vocabulary gap between user language of queries and seller language of products, measuring semantic relevance is necessary and neural networks are engaged to address this task. However, semantic relevance is different from click-through rate prediction in that no direct training signal is available. Most previous attempts learn relevance models from user click-through data that are cheap and abundant. Unfortunately, click behavior is noisy and misleading, which is affected by not only relevance but also factors including price, image and attractive titles. Therefore, it is challenging but valuable to learn relevance models from click-through data. In this paper, we propose a new relevance learning framework that concentrates on how to train a relevance model from the weak supervision of click-through data. Different from previous efforts that treat samples as either relevant or irrelevant, we construct more fine-grained samples for training. We propose a novel way to consider samples of different relevance confidence, and come up with a new training objective to learn a robust relevance model with desirable score distribution. The proposed model is evaluated on offline annotated data and online A/B testing, and it achieves both promising performance and high computational efficiency. The model has already been deployed online, serving the search traffic of Taobao for over a year.