title: Robust Counterfactual Explanations on Graph Neural Networks

abstract: Massive deployment of Graph Neural Networks (GNNs) in high-stake applications generates a strong demand for explanations that are robust to noise and align well with human intuition. Most existing methods generate explanations by identifying a subgraph of an input graph that has a strong correlation with the prediction. These explanations are not robust to noise because independently optimizing the correlation for a single input can easily overfit noise. Moreover, they do not align well with human intuition because removing an identified subgraph from an input graph does not necessarily change the prediction result. In this paper, we propose a novel method to generate robust counterfactual explanations on GNNs by explicitly modelling the common decision logic of GNNs on similar input graphs. Our explanations are naturally robust to noise because they are produced from the common decision boundaries of a GNN that govern the predictions of many similar input graphs. The explanations also align well with human intuition because removing the set of edges identified by an explanation from the input graph changes the prediction significantly. Exhaustive experiments on many public datasets demonstrate the superior performance of our method.


title: Martingale representations in progressive enlargement by multivariate point processes

abstract: We show that all local martingales with respect to the initially enlarged natural filtration of a vector of multivariate point processes can be weakly represented up to the minimum among the explosion times of the components. We also prove that a strong representation holds if any multivariate point process of the vector has almost surely infinite explosion time and discrete mark's space. Then we provide a condition under which the components of the multidimensional local martingale driving the strong representation are pairwise orthogonal.


title: New extremal inclusions and their applications to two-phase composites

abstract: In this paper, we find a class of special inclusions that have the same property with respect to second order linear partial differential equations as holds for ellipsoids. That is, in the simplest case and in physical terms, constant magnetization of the inclusion implies constant magnetic field on the inclusion. The special inclusions are found as solutions of a simple variational inequality. This variational inequality allows us to prescribe the connectivity and periodicity properties of the inclusions. For example we find periodic arrays of inclusions in two and three dimensions for which constant magnetization of the inclusions implies constant magnetic field on the inclusions. The volume fraction of the inclusions can be any number between zero and one. We find such inclusions with any finite number of components and components that are multiply connected. These special inclusions enjoy many useful properties with respect to homogenization and energy minimization. For example, we use them to give new results on a) the effective properties of two-phase composites and b) optimal bounds and optimal microstructures for two-phase composites.


title: On Enriques-Fano threefolds and a conjecture of Castelnuovo

abstract: Let $W\subset \mathbb{P}^{13}$ be the image of the rational map defined by the linear system of the sextic surfaces of $\mathbb{P}^3$ having double points along the edges of a tetrahedron. Let $\mathcal{L}$ be the linear system of the hyperplane sections of $W$. It is known that a general $S\in \mathcal{L}$ is an Enriques surface. The aim of this paper is to study the sublinear system $\mathcal{L}_{\bullet}\subset \mathcal{L}$ of the hyperplane sections of $W$ having a triple point at a general point $w \in W$. We will show that a general element of $\mathcal{L}_{\bullet}$ is birational to an elliptic ruled surface and that the image of $W$ via the rational map defined by $\mathcal{L}_{\bullet}$ is a cubic Del Pezzo surface $\Delta\subset \mathbb{P}^3$ with $4$ nodes. Interestingly, this fact appears to be related to a conjecture of Castelnuovo.


title: Weighted Norm Inequalities for the Opdam--Cherednik Transform

abstract: In this paper, we study several weighted norm inequalities for the Opdam--Cherednik transform. We establish different versions of the Heisenberg--Pauli--Weyl inequality for this transform. In particular, we give an extension of this inequality using weights with different exponents and present a variation of the inequality that incorporates $L^p$-norms for the Opdam--Cherednik transform. Also, we prove a version of the Hardy--Littlewood inequality for this transform. Finally, we give other variations of the Heisenberg--Pauli--Weyl inequality such as the Nash-type and Clarkson-type inequalities for the Opdam--Cherednik transform.


title: Ensembles of Randomized NNs for Pattern-based Time Series Forecasting

abstract: In this work, we propose an ensemble forecasting approach based on randomized neural networks. Improved randomized learning streamlines the fitting abilities of individual learners by generating network parameters in accordance with the data and target function features. A pattern-based representation of time series makes the proposed approach suitable for forecasting time series with multiple seasonality. We propose six strategies for controlling the diversity of ensemble members. Case studies conducted on four real-world forecasting problems verified the effectiveness and superior performance of the proposed ensemble forecasting approach. It outperformed statistical models as well as state-of-the-art machine learning models in terms of forecasting accuracy. The proposed approach has several advantages: fast and easy training, simple architecture, ease of implementation, high accuracy and the ability to deal with nonstationarity and multiple seasonality in time series.


title: Even Faster SNN Simulation with Lazy+Event-driven Plasticity and Shared Atomics

abstract: We present two novel optimizations that accelerate clock-based spiking neural network (SNN) simulators. The first one targets spike timing dependent plasticity (STDP). It combines lazy- with event-driven plasticity and efficiently facilitates the computation of pre- and post-synaptic spikes using bitfields and integer intrinsics. It offers higher bandwidth than event-driven plasticity alone and achieves a 1.5x-2x speedup over our closest competitor. The second optimization targets spike delivery. We partition our graph representation in a way that bounds the number of neurons that need be updated at any given time which allows us to perform said update in shared memory instead of global memory. This is 2x-2.5x faster than our closest competitor. Both optimizations represent the final evolutionary stages of years of iteration on STDP and spike delivery inside "Spice" (/spaIk/), our state of the art SNN simulator. The proposed optimizations are not exclusive to our graph representation or pipeline but are applicable to a multitude of simulator designs. We evaluate our performance on three well-established models and compare ourselves against three other state of the art simulators.


title: Estimates for entropy numbers of multiplier operators of multiple series

abstract: The asymptotic behavior for entropy numbers of general Fourier multiplier operators of multiple series with respect to an abstract complete orthonormal system $\{\phi_{\textbf{m}}\}_{\textbf{m}\in \mathbb{N}^d_0}$ on a probability space and bounded in $L^{\infty}$, is studied. The orthonormal system can be of the type $\phi_{\textbf{m}}(\textbf{x}) = \phi_{m_1}^{(1)}(x_1)\cdots \phi_{m_d}^{(d)}(x_d)$, where each $\left\{\phi_{l}^{(j)}\right\}_{l\in \mathbb{N}_0}$ is an orthonormal system, that can be different for each $j$, for example, it can be a Vilenkin system, a Walsh system on a real sphere or the trigonometric system on the unit circle. General upper and lower bounds for the entropy numbers are established by using Levy means of norms constructed using the orthonormal system. These results are applied to get upper and lower bounds for entropy numbers of specific multiplier operators, which generate, in particular cases, sets of finitely and infinitely differentiable functions, in the usual sense and in the dyadic sense. It is shown that these estimates have order sharp in various important cases.


title: Robust Control Barrier Functions under High Relative Degree and Input Constraints for Satellite Trajectories

abstract: This paper presents methodologies for constructing Control Barrier Functions (CBFs) for nonlinear, control-affine systems, in the presence of input constraints and bounded disturbances. More specifically, given a constraint function with high-relative-degree with respect to the system dynamics, the paper considers three methodologies, two for relative-degree 2 and one for higher relative-degrees, for creating CBFs whose zero sublevel sets are subsets of the constraint function's zero sublevel set. Three special forms of Robust CBFs (RCBFs) are developed as functions of the input constraints, system dynamics, and disturbance bounds, such that the resultant RCBF condition on the control input is always feasible for states in the RCBF zero sublevel set. The RCBF condition is then enforced in a switched fashion, which allows the system to operate safely without enforcing the RCBF condition when far from the safe set boundary and allows tuning of how closely trajectories approach the safe set boundary. The proposed methods are verified in simulations demonstrating the developed RCBFs in an asteroid flyby scenario for a satellite with low-thrust actuators, and in asteroid proximity operations for a satellite with high-thrust actuators.


title: Nonreciprocal magnon fluxonics upon ferromagnet/superconductor hybrids

abstract: Ferromagnet/superconductor heterostructures allow for the combination of unique physical phenomena offered by the both fields of magnetism and superconductivity. It was shown recently that spin waves can be efficiently scattered in such structures by a lattice of static or moving magnetic flux quanta (Abrikosov vortices), resulting in bandgaps in the spin-wave spectra. Here, we realize a nonreciprocal motion of a vortex lattice in nanoengineered symmetric and asymmetric pinning landscapes and investigate the non-reciprocal scattering of magnons on fluxons. We demonstrate that the magnon bandgap frequencies can be tuned by the application of a low-dissipative transport current and by its polarity reversal. Furthermore, we exploit the rectifying (vortex diode or ratchet) effect by the application of a 100 MHz-frequency ac current to deliberately realize bandgap up- or downshifts during one ac halfwave while keeping the bandgap frequency constant during the other ac halfwave. The investigated phenomena allow for the realization of energy-efficient hybrid magnonic devices, such as microwave filters with an ultra-high bandgap tunability of 10 GHz/mA and a fast modulation of the transmission characteristics on the 10 ns time scale.


title: Electronic Mechanism that Quenches Field-Driven Heating as Illustrated with the Static Holstein Model

abstract: Time-dependent driving of quantum systems has emerged as a powerful tool to engineer exotic phases far from thermal equilibrium, but in the presence of many-body interactions it also leads to runaway heating, so that generic systems are believed to heat up until they reach a featureless infinite-temperature state. Understanding the mechanisms by which such a heat death can be slowed down or even avoided is a major goal -- one such mechanism is to drive toward an even distribution of electrons in momentum space. Here we show how such a mechanism avoids runaway heating for an interacting charge-density-wave chain with a macroscopic number of conserved quantities when driven by a strong dc electric field; minibands with nontrivial distribution functions develop as the current is prematurely driven to zero. Moreover, when approaching a zero-temperature resonance, the field strength can tune between positive, negative, or close-to-infinite effective temperatures for each miniband. Our results suggest that nontrivial metastable distribution functions should be realized in the prethermal regime of quantum systems coupled to slow bosonic modes.


title: Decomposition algorithms for tensors and polynomials

abstract: We give algorithms to compute decompositions of a given polynomial, or more generally mixed tensor, as sum of rank one tensors, and to establish whether such a decomposition is unique. In particular, we present methods to compute the decomposition of a general plane quintic in seven powers, and of a general space cubic in five powers; the two decompositions of a general plane sextic of rank nine, and the five decompositions of a general plane septic. Furthermore, we give Magma implementations of all our algorithms.


title: Centralized Matching with Incomplete Information

abstract: We study the impacts of incomplete information on centralized one-to-one matching markets. We focus on the commonly used Deferred Acceptance mechanism (Gale and Shapley, 1962). We show that many complete-information results are fragile to a small infusion of uncertainty about others' preferences.


title: CASPIANET++: A Multidimensional Channel-Spatial Asymmetric Attention Network with Noisy Student Curriculum Learning Paradigm for Brain Tumor Segmentation

abstract: Convolutional neural networks (CNNs) have been used quite successfully for semantic segmentation of brain tumors. However, current CNNs and attention mechanisms are stochastic in nature and neglect the morphological indicators used by radiologists to manually annotate regions of interest. In this paper, we introduce a channel and spatial wise asymmetric attention (CASPIAN) by leveraging the inherent structure of tumors to detect regions of saliency. To demonstrate the efficacy of our proposed layer, we integrate this into a well-established convolutional neural network (CNN) architecture to achieve higher Dice scores, with less GPU resources. Also, we investigate the inclusion of auxiliary multiscale and multiplanar attention branches to increase the spatial context crucial in semantic segmentation tasks. The resulting architecture is the new CASPIANET++, which achieves Dice Scores of 91.19% whole tumor, 87.6% for tumor core and 81.03% for enhancing tumor. Furthermore, driven by the scarcity of brain tumor data, we investigate the Noisy Student method for segmentation tasks. Our new Noisy Student Curriculum Learning paradigm, which infuses noise incrementally to increase the complexity of the training images exposed to the network, further boosts the enhancing tumor region to 81.53%. Additional validation performed on the BraTS2020 data shows that the Noisy Student Curriculum Learning method works well without any additional training or finetuning.


title: SoS certification for symmetric quadratic functions and its connection to constrained Boolean hypercube optimization

abstract: We study the rank of the Sum of Squares (SoS) hierarchy over the Boolean hypercube for Symmetric Quadratic Functions (SQFs) in $n$ variables with roots placed in points $k-1$ and $k$. Functions of this type have played a central role in deepening the understanding of the performance of the SoS method for various unconstrained Boolean hypercube optimization problems, including the Max Cut problem. Recently, Lee, Prakash, de Wolf, and Yuen proved a lower bound on the SoS rank for SQFs of $\Omega(\sqrt{k(n-k)})$ and conjectured the lower bound of $\Omega(n)$ by similarity to a polynomial representation of the $n$-bit OR function. Using Chebyshev polynomials, we refute the Lee -- Prakash -- de~Wolf -- Yuen conjecture and prove that the SoS rank for SQFs is at most $O(\sqrt{nk}\log(n))$. We connect this result to two constrained Boolean hypercube optimization problems. First, we provide a degree $O( \sqrt{n})$ SoS certificate that matches the known SoS rank lower bound for an instance of Min Knapsack, a problem that was intensively studied in the literature. Second, we study an instance of the Set Cover problem for which Bienstock and Zuckerberg conjectured an SoS rank lower bound of $n/4$. We refute the Bienstock -- Zuckerberg conjecture and provide a degree $O(\sqrt{n}\log(n))$ SoS certificate for this problem.


title: Inertia Pricing in Stochastic Electricity Markets

abstract: Maintaining the stability of renewable-dominant power systems requires the procurement of virtual inertia services from non-synchronous resources (e.g., batteries, wind turbines) in addition to inertia traditionally provided by synchronous resources (e.g., thermal generators). However, the pricing of inertia provision has not been studied in a stochastic electricity market, where the uncertainty characteristics of renewable energy sources (RES) are considered. To fill in this research gap, this paper formulates a chance-constrained stochastic unit commitment model with inertia requirements and computes equilibrium energy, reserve and inertia prices using convex duality. Numerical experiments on an illustrative system and a modified IEEE 118-bus system show the performance of the proposed pricing mechanism. By allowing new virtual inertia providers to contribute to system inertia requirements, the total operating cost reduces. Moreover, the proposed stochastic electricity market internalizes RES uncertainty, which yields additional cost reductions by co-optimizing energy, reserve and inertia procurement.


title: Splitting ring extensions

abstract: The paper deals with ring extensions $R\subseteq S$ and their lattices $[R,S]$ of subextensions and is mainly devoted to FCP extensions (extensions whose lattices are Artinian and Noetherian). The object of the paper is the introduction and the study of elements of the lattices that split in some sense ring extensions. The reason why is that this splitting was used in earlier paper without their common nature being recognized. There are some favorable cases allowing to build splitters, mainly when we are dealing with $\mathcal B$-extensions, for example integral extensions. Integral closures and Prufer hulls of extensions play a dual role. The paper gives many combinatorics results with the explicit computation of the Prufer hull of an FCP extension. We show that a split extension cannot be pinched, except trivially.


title: Multiscale genesis of a tiny giant for percolation on scale-free random graphs

abstract: We study the critical behavior for percolation on inhomogeneous random networks on $n$ vertices, where the weights of the vertices follow a power-law distribution with exponent $\tau \in (2,3)$. Such networks, often referred to as scale-free networks, exhibit critical behavior when the percolation probability tends to zero at an appropriate rate, as $n\to\infty$. We identify the critical window for a host of scale-free random graph models such as the Norros-Reittu model, Chung-Lu model and generalized random graphs. Surprisingly, there exists a finite time inside the critical window, after which, we see a sudden emergence of a tiny giant component. This is a novel behavior which is in contrast with the critical behavior in other known universality classes with $\tau \in (3,4)$ and $\tau >4$. Precisely, for edge-retention probabilities $\pi_n = \lambda n^{-(3-\tau)/2}$, there is an explicitly computable $\lambda_c>0$ such that the critical window is of the form $\lambda \in (0,\lambda_c),$ where the largest clusters have size of order $n^{\beta}$ with $\beta=(\tau^2-4\tau+5)/[2(\tau-1)]\in[\sqrt{2}-1, \tfrac{1}{2})$ and have non-degenerate scaling limits, while in the supercritical regime $\lambda > \lambda_c$, a unique `tiny giant' component of size $\sqrt{n}$ emerges. For $\lambda \in (0,\lambda_c),$ the scaling limit of the maximum component sizes can be described in terms of components of a one-dimensional inhomogeneous percolation model on $\mathbb{Z}_+$ studied in a seminal work by Durrett and Kesten. For $\lambda>\lambda_c$, we prove that the sudden emergence of the tiny giant is caused by a phase transition inside a smaller core of vertices of weight $\Omega(\sqrt{n})$.


title: Higher dimensional analogon of Borcea-Voisin Calabi-Yau manifolds, their Hodge numbers and $L$-functions

abstract: We construct a series of examples of Calabi-Yau manifolds in an arbitrary dimension and compute the main invariants. In particular, we give higher dimensional generalization of Borcea-Voisin Calabi-Yau threefolds. We give a method to compute a local zeta function using the Frobenius morphism for orbifold cohomology introduced by Rose. We compute Hodge numbers of the constructed examples using orbifold Chen-Ruan cohomology.


title: On the singularities and on the projective normality of some Enriques-Fano threefolds

abstract: In order to find useful information to complete the classification of Enriques-Fano threefolds, we will computationally study the singularities of some known Enriques-Fano threefolds of genus 6, 7, 8, 9, 10, 13 and 17. We will also deduce the projective normality of these threefolds.


title: Barely supercritical percolation on Poissonian scale-free networks

abstract: We study the giant component problem slightly above the critical regime for percolation on Poissonian random graphs in the scale-free regime, where the vertex weights and degrees have a diverging second moment. Critical percolation on scale-free random graphs have been observed to have incredibly subtle features that are markedly different compared to those in random graphs with converging second moment. In particular, the critical window for percolation depends sensitively on whether we consider single- or multi-edge versions of the Poissonian random graph. In this paper, and together with our companion paper with Bhamidi, we build a bridge between these two cases. Our results characterize the part of the barely supercritical regime where the size of the giant components are approximately same for the single- and multi-edge settings. The methods for establishing concentration of giant for the single- and multi-edge versions are quite different. While the analysis in the multi-edge case is based on scaling limits of exploration processes, the single-edge setting requires identification of a core structure inside certain high-degree vertices that forms the giant component.


title: On the rational Enriques-Fano threefolds discovered by Fano

abstract: It was Fano who first classified Enriques-Fano threefolds. However his arguments appear to contain several gaps. In this paper, we will verify some of his assertions through the use of modern techniques.


title: An Integer Linear Programming Model for Tilings

abstract: In this paper, we propose an Integer Linear Model whose solutions are the aperiodic rhythms tiling with a given rhythm A. We show how this model can be used to efficiently check the necessity of the Coven-Meyerowitz's $(T2)$ condition and also to define an iterative algorithm that finds all the possible tilings of the rhythm A. To conclude, we run several experiments to validate the time efficiency of this model.


title: Quantum Local Search with the Quantum Alternating Operator Ansatz

abstract: We present a new hybrid, local search algorithm for quantum approximate optimization of constrained combinatorial optimization problems. We focus on the Maximum Independent Set problem and demonstrate the ability of quantum local search to solve large problem instances on quantum devices with few qubits. This hybrid algorithm iteratively finds independent sets over carefully constructed neighborhoods and combines these solutions to obtain a global solution. We study the performance of this algorithm on 3-regular, Community, and Erd\H{o}s-R\'{e}nyi graphs with up to 100 nodes.


title: Prospects for single photon sideband cooling of optically trapped neutral atoms

abstract: We propose a novel cooling scheme for realising single photon sideband cooling on particles trapped in a state-dependent optical potential. We develop a master rate equation from an ab-initio model and find that in experimentally feasible conditions it is possible to drastically reduce the average occupation number of the vibrational levels by applying a frequency sweep on the cooling laser that sequentially cools all the motional states. Notably, this cooling scheme works also when a particle experiences a deeper trap in its internal ground state than in its excited state, a condition for which conventional single photon sideband cooling does not work. In our analysis, we consider two cases: a two-level particle confined in an optical tweezer and Li atoms confined in an optical lattice, and find conditions for efficient cooling in both cases. The results from the model are confirmed by a full quantum Monte Carlo simulation of the system Hamiltonian. Our findings provide an alternative cooling scheme that can be applied in principle to any particle, e.g. atoms, molecules or ions, confined in a state-dependent optical potential.


title: Totaro's inequality for classifying spaces

abstract: For a complex Lie group G and a prime number p, Totaro had conjectured that the dimension of the singular cohomology with Z/p-coefficients of classifying space of G is bounded above by that of the de Rham cohomology of the classifying stack of (the split form of) G in characteristic p. This conjecture was recently proven by Kubrak--Prikhodko. In this note, we give a shorter proof.


title: Iterated Medial Triangle Subdivision in Surfaces of Constant Curvature

abstract: Consider a geodesic triangle on a surface of constant curvature and subdivide it recursively into 4 triangles by joining the midpoints of its edges. We show the existence of a uniform $\delta>0$ such that, at any step of the subdivision, all the triangle angles lie in the interval $(\delta, \pi -\delta)$. Additionally, we exhibit stabilising behaviours for both angles and lengths as this subdivision progresses.


title: Birational maps with transcendental dynamical degree

abstract: We give examples of birational selfmaps of $\mathbb{P}^d, d \geq 3$, whose dynamical degree is a transcendental number. This contradicts a conjecture by Bellon and Viallet. The proof uses a combination of techniques from algebraic dynamics and diophantine approximation.


title: Playing Atari with Hybrid Quantum-Classical Reinforcement Learning

abstract: Despite the successes of recent works in quantum reinforcement learning, there are still severe limitations on its applications due to the challenge of encoding large observation spaces into quantum systems. To address this challenge, we propose using a neural network as a data encoder, with the Atari games as our testbed. Specifically, the neural network converts the pixel input from the games to quantum data for a Quantum Variational Circuit (QVC); this hybrid model is then used as a function approximator in the Double Deep Q Networks algorithm. We explore a number of variations of this algorithm and find that our proposed hybrid models do not achieve meaningful results on two Atari games - Breakout and Pong. We suspect this is due to the significantly reduced sizes of the hybrid quantum-classical systems.


title: Confining photonic nanojet in a microwell on microsphere lens for highly efficient light focusing, signal amplification and quantitative detection

abstract: Dielectric microspheres or microbeads can squeeze light into the subwavelength scale via photonic nanojet (PNJ) focusing. This enables strong light-matter interactions within its focus and induces extraordinary effects such as enhancements in light emission, signal collection and various other applications. However, critical challenges exist on how to efficiently and precisely loading the studied objects into the desired location of the PNJ focusing, and subsequently measure the field and signal of interests precisely and reliably. Such technique is currently missing. We present for the first time a unique microwell-decorated microsphere lens (u-well lens), with a semi-open microwell sample compartment directly fabricated on top of the microsphere lens. The u-well lens confines PNJ in a semi-open microwell and allows passive trapping of individual micro-object into the PNJ focusing area with high efficiency and spatial accuracy. We demonstrate that individual fluorescent microsphere of different sizes can be readily introduced to the designated location with loading efficiency >70% and generates reproducible enhanced fluorescence signals with standard deviation better than that can be quantitatively measured. A comprehensive analysis on the optical properties of the u-well lens reveals the synergistic effect of field enhancement and collection efficiency on the optical enhancement. We finally employ this special microsphere lens for fluorescent-bead-based biotin concentration analysis. The results suggest a greatly enhanced sensitivity and highly improved detection limit, opening the door for its application in highly sensitive and quantitative detection.


title: Electron and muon magnetic moments and implications for dark matter and model characterisation in non-universal $U(1)^\prime$ supersymmetric models

abstract: We attribute deviations of the muon and electron magnetic moments from the theoretical predictions to the presence of an additional $U(1)^\prime$ supersymmetric model. We interpret the discrepancies between the muon and electron anomalous magnetic moments to be due to the presence of non-universal $U(1)^\prime$ charges. In a minimally extended model, we show that requiring both deviations to be satisfied imposes constraints on the spectrum of the model, in particular on dark matter candidates and slepton masses and ordering. Choosing three benchmarks with distinct dark matter features, we study implications of the model at colliders, concentrating on variables that can distinguish our non-universal scenario from other $U(1)^\prime$ implementations.


title: Crowd Sensing and Living Lab Outdoor Experimentation Made Easy

abstract: Living lab outdoor experimentation using pervasive computing provides new opportunities: higher realism, external validity and socio-spatio-temporal observations in large scale. However, experimentation `in the wild' is complex and costly. Noise, biases, privacy concerns, compliance with standards of ethical review boards, remote moderation, control of experimental conditions and equipment perplex the collection of high-quality data for causal inference. This article introduces Smart Agora, a novel open-source software platform for rigorous systematic outdoor experimentation. Without writing a single line of code, highly complex experimental scenarios are visually designed and automatically deployed to smart phones. Novel geolocated survey and sensor data are collected subject of participants verifying desired experimental conditions, for instance, their localization at certain urban spots. This new approach drastically improves the quality and purposefulness of crowd sensing, tailored to conditions that confirm/reject hypotheses. The features that support this innovative functionality and the broad spectrum of its applicability are demonstrated.


title: OCDE: Odds Conditional Density Estimator

abstract: Conditional density estimation (CDE) models can be useful for many statistical applications, especially because the full conditional density is estimated instead of traditional regression point estimates, revealing more information about the uncertainty of the random variable of interest. In this paper, we propose a new methodology called Odds Conditional Density Estimator (OCDE) to estimate conditional densities in a supervised learning scheme. The main idea is that it is very difficult to estimate $p_{x,y}$ and $p_{x}$ in order to estimate the conditional density $p_{y|x}$, but by introducing an instrumental distribution, we transform the CDE problem into a problem of odds estimation, or similarly, training a binary probabilistic classifier. We demonstrate how OCDE works using simulated data and then test its performance against other known state-of-the-art CDE methods in real data. Overall, OCDE is competitive compared with these methods in real datasets.


title: Quantitative Evaluation of Explainable Graph Neural Networks for Molecular Property Prediction

abstract: Advances in machine learning have led to graph neural network-based methods for drug discovery, yielding promising results in molecular design, chemical synthesis planning, and molecular property prediction. However, current graph neural networks (GNNs) remain of limited acceptance in drug discovery is limited due to their lack of interpretability. Although this major weakness has been mitigated by the development of explainable artificial intelligence (XAI) techniques, the "ground truth" assignment in most explainable tasks ultimately rests with subjective judgments by humans so that the quality of model interpretation is hard to evaluate in quantity. In this work, we first build three levels of benchmark datasets to quantitatively assess the interpretability of the state-of-the-art GNN models. Then we implemented recent XAI methods in combination with different GNN algorithms to highlight the benefits, limitations, and future opportunities for drug discovery. As a result, GradInput and IG generally provide the best model interpretability for GNNs, especially when combined with GraphNet and CMPNN. The integrated and developed XAI package is fully open-sourced and can be used by practitioners to train new models on other drug discovery tasks.


title: The peak absorbance wavelength of photosynthetic pigments around other stars from spectral optimization

abstract: In the search for life on other planets, the presence of photosynthetic vegetation may be detectable from the colors of light it reflects. On the modern Earth, this spectral reflectance is characterized by an increase in reflectance between the red and near-infrared wavelengths, a "red edge". On planets orbiting different stellar types, red edge analogs may occur at other colors than red. Thus, knowing the wavelengths at which photosynthetic organisms preferentially absorb and reflect photons is necessary to detect red edge analogs on other planets. Using a numerical model that predicts the absorbance spectrum of extant photosynthetic pigments on Earth from Marosv\"olgyi and van Gorkom (2010), we calculate the absorbance spectrum for pigments on an Earth-like planet around F through late M type stars that are adapted for maximal energy production. In this model, cellular energy production is maximized when pigments are tuned to absorb at the wavelength that maximizes energy input from incident photons while minimizing thermal emission and costs to build the photosynthetic apparatus. We find that peak photon absorption for photosynthetic organisms around F type stars tends to be in the blue while for G, K, and early M type stars, red or just beyond is preferred. Around the coolest M type stars, these organisms may preferentially absorb in the near-infrared, possibly past one micron. These predictions are consistent with previous, qualitative estimates of pigment absorptance. Our predicted pigment absorbance spectra depend on both the stellar type and planetary atmospheric composition, especially atmospheric water vapor concentrations, which alter the availability of surface photons and thus the predicted pigment absorption. By constraining the absorbance spectra of alien, photosynthetic organisms, future observations may be better equipped to detect red edge analogs.


title: Fast Evaluation of Finite Element Weak Forms Using Python Tensor Contraction Packages

abstract: In finite element calculations, the integral forms are usually evaluated using nested loops over elements, and over quadrature points. Many such forms (e.g. linear or multi-linear) can be expressed in a compact way, without the explicit loops, using a single tensor contraction expression by employing the Einstein summation convention. To automate this process and leverage existing high performance codes, we first introduce a notation allowing trivial differentiation of multi-linear finite element forms. Based on that we propose and describe a new transpiler from Einstein summation based expressions, augmented to allow defining multi-linear finite element weak forms, to regular tensor contraction expressions. The resulting expressions are compatible with a number of Python scientific computing packages, that implement, optimize and in some cases parallelize the general tensor contractions. We assess the performance of those packages, as well as the influence of operand memory layouts and tensor contraction paths optimizations on the elapsed time and memory requirements of the finite element form evaluations. We also compare the efficiency of the transpiled weak form implementations to the C-based functions available in the finite element package SfePy.


title: A List of Integral Representations for Diagonals of Power Series of Rational Functions

abstract: In this article, we present the integral representations of the power series diagonals. Such representations are obtained by lowering the integration multiplicity for the previously known integral representation. The procedure is carried out within the framework of Leray's residue theory. The concept of the amoeba of the complex analytical hypersurface plays an essential role in the construction of new integral representations.


title: Efficient topology optimization using compatibility projection in micromechanical homogenization

abstract: The adjoint method allows efficient calculation of the gradient with respect to the design variables of a topology optimization problem. This method is almost exclusively used in combination with traditional Finite-Element-Analysis, whereas Fourier-based solvers have recently shown large efficiency gains for homogenization problems. In this paper, we derive the discrete adjoint method for Fourier-based solvers that employ compatibility projection. We demonstrate the method on the optimization of composite materials and auxetic metamaterials, where void regions are modelled with zero stiffness.


title: PAC: Partial Area Cluster for adjusting the distribution of transportation platforms in modern cities

abstract: In the modern city, the utilization rate of public transportation attached importance to the efficiency of public traffic. However, the unreasonable distribution of transportation platforms results in a low utilization rate. In this paper, we researched and evaluated the distribution of platforms -- bus and subway -- and proposed a method, called "partial area cluster" (PAC), to improve the utilization by changing and renewing the original distribution. The novel method was based on the K-means algorithm in the field of machine learning. PAC worked to search the suitable bus platforms as the center and modified the original one to the subway. Experience has shown that the use of public transport resources has increased by 20%. The study uses a similar cluster algorithm to solve transport networks' problems in a novel but practical term. As a result, the PAC is expected to be used extensively in the transportation system construction process.


title: The Multi-phase spatial meta-heuristic algorithm for public health emergency transportation

abstract: The delivery of Medical Countermeasures(MCMs) for mass prophylaxis in the case of a bio-terrorist attack is an active research topic that has interested the research community over the past decades. The objective of this study is to design an efficient algorithm for the Receive Reload and Store Problem(RSS) in which we aim to find feasible routes to deliver MCMs to a target population considering time, physical, and human resources, and capacity limitations. For doing this, we adapt the p-median problem to the POD-based emergency response planning procedures and propose an efficient algorithm solution to perform the p-median in reasonable computational time. We present RE-PLAN, the Response PLan Analyzer system that contains some RSS solutions developed at The Center for Computational Epidemiology and Response Analysis (CeCERA) at the University of North Texas. Finally, we analyze a study case where we show how the computational performance of the algorithm can impact the process of decision making and emergency planning in the short and long terms.


title: Many Objective Bayesian Optimization

abstract: Some real problems require the evaluation of expensive and noisy objective functions. Moreover, the analytical expression of these objective functions may be unknown. These functions are known as black-boxes, for example, estimating the generalization error of a machine learning algorithm and computing its prediction time in terms of its hyper-parameters. Multi-objective Bayesian optimization (MOBO) is a set of methods that has been successfully applied for the simultaneous optimization of black-boxes. Concretely, BO methods rely on a probabilistic model of the objective functions, typically a Gaussian process. This model generates a predictive distribution of the objectives. However, MOBO methods have problems when the number of objectives in a multi-objective optimization problem are 3 or more, which is the many objective setting. In particular, the BO process is more costly as more objectives are considered, computing the quality of the solution via the hyper-volume is also more costly and, most importantly, we have to evaluate every objective function, wasting expensive computational, economic or other resources. However, as more objectives are involved in the optimization problem, it is highly probable that some of them are redundant and not add information about the problem solution. A measure that represents how similar are GP predictive distributions is proposed. We also propose a many objective Bayesian optimization algorithm that uses this metric to determine whether two objectives are redundant. The algorithm stops evaluating one of them if the similarity is found, saving resources and not hurting the performance of the multi-objective BO algorithm. We show empirical evidence in a set of toy, synthetic, benchmark and real experiments that GPs predictive distributions of the effectiveness of the metric and the algorithm.


title: Multitask Multi-database Emotion Recognition

abstract: In this work, we introduce our submission to the 2nd Affective Behavior Analysis in-the-wild (ABAW) 2021 competition. We train a unified deep learning model on multi-databases to perform two tasks: seven basic facial expressions prediction and valence-arousal estimation. Since these databases do not contains labels for all the two tasks, we have applied the distillation knowledge technique to train two networks: one teacher and one student model. The student model will be trained using both ground truth labels and soft labels derived from the pretrained teacher model. During the training, we add one more task, which is the combination of the two mentioned tasks, for better exploiting inter-task correlations. We also exploit the sharing videos between the two tasks of the AffWild2 database that is used in the competition, to further improve the performance of the network. Experiment results shows that the network have achieved promising results on the validation set of the AffWild2 database. Code and pretrained model are publicly available at https://github.com/glmanhtu/multitask-abaw-2021


title: Evolution of Target Localization in Wireless Sensor Network (WSN): A Review

abstract: Wireless Sensor Network holds a pivotal position and gained a lot of attention from researchers in recent years. Sensor nodes have been used in vast applications such as environment monitoring, security purpose applications, and target tracking. This latter comprises of detection and monitoring of the target movement. In this paper, we explore in detail well-known target tracking techniques. The existing techniques are evaluated using metrics such as network topology, target recovery, energy efficiency, and security. We also discuss some of the challenges that affect the performance of tracking schemes. Furthermore, a thorough analysis is performed on existing techniques and future directions are explored.


title: Fedlearn-Algo: A flexible open-source privacy-preserving machine learning platform

abstract: In this paper, we present Fedlearn-Algo, an open-source privacy preserving machine learning platform. We use this platform to demonstrate our research and development results on privacy preserving machine learning algorithms. As the first batch of novel FL algorithm examples, we release vertical federated kernel binary classification model and vertical federated random forest model. They have been tested to be more efficient than existing vertical federated learning models in our practice. Besides the novel FL algorithm examples, we also release a machine communication module. The uniform data transfer interface supports transferring widely used data formats between machines. We will maintain this platform by adding more functional modules and algorithm examples. The code is available at https://github.com/fedlearnAI/fedlearn-algo.


title: Stability of a Bose condensed mixture on a bubble trap

abstract: Stability and dynamical behavior of binary Bose-Einstein condensed mixtures trapped on the surface of a rigid spherical shell are investigated in the mean-field level, exploring the miscibility with and without vortex charges, considering repulsive and attractive interactions. In order to compute the critical points for the stability, we follow the Bogoliubov-de Gennes method for the analysis of perturbed solutions, with the constraint that initially the stationary states are in a complete miscible configuration. For the perturbed equal density mixture, of a homogeneous uniform gas and when hidden vorticity is verified, with the species having opposite azimuthal circulation, we consider small perturbation analysis for each unstable mode, providing a complete diagram with the intra- and inter-species interaction role on the stability of the miscible system. Finally, beyond small perturbation analysis, we explore the dynamics of some repulsive and attractive inter-species states by full numerical solutions of the time-dependent Gross-Pitaevskii equation.


title: Probing hundreds of individual quantum defects in polycrystalline and amorphous alumina

abstract: Quantum two-level systems (TLSs) are present in the materials of qubits and are considered defects because they limit qubit coherence. For superconducting qubits, the quintessential Josephson junction barrier is made of amorphous alumina, which hosts TLSs. However, TLSs are not understood generally -- either structurally or in atomic composition. In this study, we greatly extend the quantitative data available on TLSs by reporting on the physical dipole moment in two alumina types: polycrystalline $\mathrm{\mathrm{\gamma-Al}_{2}\mathrm{O}_{3}}$ and amorphous $\mathrm{a-Al}\mathrm{O_{x}}$. To obtain the dipole moments $p_z$, rather from the less-structural coupling parameter g, we tune individual TLSs with an external electric field to extract the $p_z$ of the TLSs in a cavity QED system. We find a clear difference in the dipole moment distribution from the film types, indicating a difference in TLS structures. A large sample of approximately 400 individual TLSs are analyzed from the polycrystalline film type. Their dipoles along the growth direction $p_z$ have a mean value of 2.6$\pm$0.3 Debye (D) and standard deviation $\sigma$ = 1.6$\pm$0.2 D . The material distribution fits well to a single Gaussian function. Approximately 200 individual TLSs are analyzed from amorphous films. Both the mean $p_z$ =4.6$\pm$0.5 D and $\sigma$ =2.5$\pm$0.3 D are larger. Amorphous alumina also has some very large $p_z$, > 8.6 D, in contrast to polycrystalline which has none of this moment. These large moments agree only with oxygen-based TLS models. Based on data and the candidate models (delocalized O and hydrogen-based TLSs), we find polycrystalline alumina has smaller ratio of O-based to H-based TLS than amorphous alumina.


title: A Systematic Survey of Text Worlds as Embodied Natural Language Environments

abstract: Text Worlds are virtual environments for embodied agents that, unlike 2D or 3D environments, are rendered exclusively using textual descriptions. These environments offer an alternative to higher-fidelity 3D environments due to their low barrier to entry, providing the ability to study semantics, compositional inference, and other high-level tasks with rich high-level action spaces while controlling for perceptual input. This systematic survey outlines recent developments in tooling, environments, and agent modeling for Text Worlds, while examining recent trends in knowledge graphs, common sense reasoning, transfer learning of Text World performance to higher-fidelity environments, as well as near-term development targets that, once achieved, make Text Worlds an attractive general research paradigm for natural language processing.


title: Effectiveness of State-of-the-Art Super Resolution Algorithms in Surveillance Environment

abstract: Image Super Resolution (SR) finds applications in areas where images need to be closely inspected by the observer to extract enhanced information. One such focused application is an offline forensic analysis of surveillance feeds. Due to the limitations of camera hardware, camera pose, limited bandwidth, varying illumination conditions, and occlusions, the quality of the surveillance feed is significantly degraded at times, thereby compromising monitoring of behavior, activities, and other sporadic information in the scene. For the proposed research work, we have inspected the effectiveness of four conventional yet effective SR algorithms and three deep learning-based SR algorithms to seek the finest method that executes well in a surveillance environment with limited training data op-tions. These algorithms generate an enhanced resolution output image from a sin-gle low-resolution (LR) input image. For performance analysis, a subset of 220 images from six surveillance datasets has been used, consisting of individuals with varying distances from the camera, changing illumination conditions, and complex backgrounds. The performance of these algorithms has been evaluated and compared using both qualitative and quantitative metrics. These SR algo-rithms have also been compared based on face detection accuracy. By analyzing and comparing the performance of all the algorithms, a Convolutional Neural Network (CNN) based SR technique using an external dictionary proved to be best by achieving robust face detection accuracy and scoring optimal quantitative metric results under different surveillance conditions. This is because the CNN layers progressively learn more complex features using an external dictionary.


title: On a New Class of Fractional Calculus of Variations and Related Fractional Differential Equations

abstract: This paper is concerned with analyzing a class of fractional calculus of variations problems and their associated Euler-Lagrange (fractional differential) equations. Unlike the existing fractional calculus of variations which is based on the classical notion of fractional derivatives, the fractional calculus of variations considered in this paper is based on a newly developed notion of weak fractional derivatives and their associated fractional order Sobolev spaces. Since fractional derivatives are direction-dependent, using one-sided fractional derivatives and their combinations leads to new types of calculus of variations and fractional differential equations as well as nonstandard Neumann boundary operators. The primary objective of this paper is to establish the well-posedness and regularities for a class of fractional calculus of variations problems and their Euler-Lagrange (fractional differential) equations. This is achieved first for one-sided Dirichlet energy functionals which lead to one-sided fractional Laplace equations, then for more general energy functionals which give rise to more general fractional differential equations.


title: Circadian Rhythms are Not Captured Equal: Exploring Circadian Metrics Extracted by Different Computational Methods from Smartphone Accelerometer and GPS Sensors in Daily Life Tracking

abstract: Circadian rhythm is the natural biological cycle manifested in human daily routines. A regular and stable rhythm is found to be correlated with good physical and mental health. With the wide adoption of mobile and wearable technology, many types of sensor data, such as GPS and actigraphy, provide evidence for researchers to objectively quantify the circadian rhythm of a user and further use these quantified metrics of circadian rhythm to infer the user's health status. Researchers in computer science and psychology have investigated circadian rhythm using various mobile and wearable sensors in ecologically valid human sensing studies, but questions remain whether and how different data types produce different circadian rhythm results when simultaneously used to monitor a user. We hypothesize that different sensor data reveal different aspects of the user's daily behavior, thus producing different circadian rhythm patterns. In this paper we focus on two data types: GPS and accelerometer data from smartphones. We used smartphone data from 225 college student participants and applied four circadian rhythm characterization methods. We found significant and interesting discrepancies in the rhythmic patterns discovered among sensors, which suggests circadian rhythms discovered from different personal tracking sensors have different levels of sensitivity to device usage and aspects of daily behavior.


title: Diagonal Nonlinear Transformations Preserve Structure in Covariance and Precision Matrices

abstract: For a multivariate normal distribution, the sparsity of the covariance and precision matrices encodes complete information about independence and conditional independence properties. For general distributions, the covariance and precision matrices reveal correlations and so-called partial correlations between variables, but these do not, in general, have any correspondence with respect to independence properties. In this paper, we prove that, for a certain class of non-Gaussian distributions, these correspondences still hold, exactly for the covariance and approximately for the precision. The distributions -- sometimes referred to as "nonparanormal" -- are given by diagonal transformations of multivariate normal random variables. We provide several analytic and numerical examples illustrating these results.


title: Exploring Post COVID-19 Outbreak Intradaily Mobility Pattern Change in College Students: a GPS-focused Smartphone Sensing Study

abstract: With the outbreak of the COVID-19 pandemic in 2020, most colleges and universities move to restrict campus activities, reduce indoor gatherings and move instruction online. These changes required that students adapt and alter their daily routines accordingly. To investigate patterns associated with these behavioral changes, we collected smartphone sensing data using the Beiwe platform from two groups of undergraduate students at a major North American university, one from January to March of 2020 (74 participants), the other from May to August (52 participants), to observe the differences in students' daily life patterns before and after the start of the pandemic. In this paper, we focus on the mobility patterns evidenced by GPS signal tracking from the students' smartphones and report findings using several analytical methods including principal component analysis, circadian rhythm analysis, and predictive modeling of perceived sadness levels using mobility-based digital metrics. Our findings suggest that compared to the pre-COVID group, students in the mid-COVID group generally (1) registered a greater amount of midday movement than movement in the morning (8-10am) and in the evening (7-9pm), as opposed to the other way around; (2) exhibited significantly less intradaily variability in their daily movement, and (3) had a significant lower correlation between their mobility patterns and negative mood.


title: The Simons Observatory: HoloSim-ML: machine learning applied to the efficient analysis of radio holography measurements of complex optical systems

abstract: Near-field radio holography is a common method for measuring and aligning mirror surfaces for millimeter and sub-millimeter telescopes. In instruments with more than a single mirror, degeneracies arise in the holography measurement, requiring multiple measurements and new fitting methods. We present HoloSim-ML, a Python code for beam simulation and analysis of radio holography data from complex optical systems. This code uses machine learning to efficiently determine the position of hundreds of mirror adjusters on multiple mirrors with few micron accuracy. We apply this approach to the example of the Simons Observatory 6m telescope.


title: Learning to Delegate for Large-scale Vehicle Routing

abstract: Vehicle routing problems (VRPs) form a class of combinatorial problems with wide practical applications. While previous heuristic or learning-based works achieve decent solutions on small problem instances of up to 100 cities, their performance deteriorates in large problems. This article presents a novel learning-augmented local search framework to solve large-scale VRP. The method iteratively improves the solution by identifying appropriate subproblems and $\textit{delegating}$ their improvement to a black box subsolver. At each step, we leverage spatial locality to consider only a linear number of subproblems, rather than exponential. We frame subproblem selection as regression and train a Transformer on a generated training set of problem instances. Our method accelerates state-of-the-art VRP solvers by 10x to 100x while achieving competitive solution qualities for VRPs with sizes ranging from 500 to 3000. Learned subproblem selection offers a 1.5x to 2x speedup over heuristic or random selection. Our results generalize to a variety of VRP distributions, variants, and solvers.


title: First-Generation Inference Accelerator Deployment at Facebook

abstract: In this paper, we provide a deep dive into the deployment of inference accelerators at Facebook. Many of our ML workloads have unique characteristics, such as sparse memory accesses, large model sizes, as well as high compute, memory and network bandwidth requirements. We co-designed a high-performance, energy-efficient inference accelerator platform based on these requirements. We describe the inference accelerator platform ecosystem we developed and deployed at Facebook: both hardware, through Open Compute Platform (OCP), and software framework and tooling, through Pytorch/Caffe2/Glow. A characteristic of this ecosystem from the start is its openness to enable a variety of AI accelerators from different vendors. This platform, with six low-power accelerator cards alongside a single-socket host CPU, allows us to serve models of high complexity that cannot be easily or efficiently run on CPUs. We describe various performance optimizations, at both platform and accelerator level, which enables this platform to serve production traffic at Facebook. We also share deployment challenges, lessons learned during performance optimization, as well as provide guidance for future inference hardware co-design.


title: Distributed formation control for manipulator end-effectors

abstract: We present three classes of distributed formation controllers for achieving and maintaining the 2D/3D formation shape of manipulator end-effectors to cope with different scenarios due to availability of modeling parameters. We firstly present a distributed formation controller for manipulators whose system parameters are perfectly known. The formation control objective is achieved by assigning virtual springs between end-effectors and by adding damping terms at joints, which provides a clear physical interpretation of the proposed solution. Subsequently, we extend it to the case where manipulator kinematic and system parameters are not exactly known. An extra integrator and an adaptive estimator are introduced for gravitational compensation and stabilization, respectively. Simulation results with planar manipulators and with seven degree-of-freedom humanoid manipulator arms are presented to illustrate the effectiveness of the proposed approach.


title: First-order formalism for thick branes in $f(T,\mathcal{T})$ gravity

abstract: In this paper, we study the thick brane scenario constructed in the recently proposed $f(T,\mathcal{T})$ theories of gravity, where $T$ is called the torsion scalar, and $\mathcal{T}$ is the trace of the energy-momentum tensor. We use the first-order formalism to find analytical solutions for models that include a scalar field as a source. In particular, we describe two interesting cases in which, in the first, we obtain a double-kink solution, which generates a splitting in the brane. In the second case, proper management of a kink solution obtained generates a splitting in the brane intensified by the torsion parameter, evinced by the energy density components satisfying the weak and strong energy conditions. In addition, we investigate the behavior of the gravitational perturbations in this scenario. The parameters that control the torsion and the trace of the energy-momentum tensor tend to shift the massive modes to the core of the brane, keeping a gapless non-localizable and stable tower of massive modes and producing more localized massless modes.


title: Ultra-Thin All-Epitaxial Plasmonic Detectors

abstract: We present an infrared photodetector leveraging an all-epitaxial device architecture consisting of a 'designer' plasmonic metal integrated with a quantum-engineered detector structure, all in a mature III-V semiconductor material system. Incident light is coupled into surface plasmon-polariton modes at the detector/'designer' metal interface, and the strong confinement of these modes allows for a sub-diffractive ($\sim \lambda_0 / 33$) detector absorber layer thickness, effectively decoupling the detector's absorption efficiency and dark current. We demonstrate high-performance detectors operating at non-cryogenic temperatures (T = 195 K), without sacrificing external quantum efficiency, and superior to well established and commercially-available detectors. This work provides a practical and scalable plasmonic optoelectronic device architecture with real world mid-infrared applications.


title: Does Form Follow Function? An Empirical Exploration of the Impact of Deep Neural Network Architecture Design on Hardware-Specific Acceleration

abstract: The fine-grained relationship between form and function with respect to deep neural network architecture design and hardware-specific acceleration is one area that is not well studied in the research literature, with form often dictated by accuracy as opposed to hardware function. In this study, a comprehensive empirical exploration is conducted to investigate the impact of deep neural network architecture design on the degree of inference speedup that can be achieved via hardware-specific acceleration. More specifically, we empirically study the impact of a variety of commonly used macro-architecture design patterns across different architectural depths through the lens of OpenVINO microprocessor-specific and GPU-specific acceleration. Experimental results showed that while leveraging hardware-specific acceleration achieved an average inference speed-up of 380%, the degree of inference speed-up varied drastically depending on the macro-architecture design pattern, with the greatest speedup achieved on the depthwise bottleneck convolution design pattern at 550%. Furthermore, we conduct an in-depth exploration of the correlation between FLOPs requirement, level 3 cache efficacy, and network latency with increasing architectural depth and width. Finally, we analyze the inference time reductions using hardware-specific acceleration when compared to native deep learning frameworks across a wide variety of hand-crafted deep convolutional neural network architecture designs as well as ones found via neural architecture search strategies. We found that the DARTS-derived architecture to benefit from the greatest improvement from hardware-specific software acceleration (1200%) while the depthwise bottleneck convolution-based MobileNet-V2 to have the lowest overall inference time of around 2.4 ms.


title: Intelligent Link Adaptation for Grant-Free Access Cellular Networks: A Distributed Deep Reinforcement Learning Approach

abstract: With the continuous growth of machine-type devices (MTDs), it is expected that massive machine-type communication (mMTC) will be the dominant form of traffic in future wireless networks. Applications based on this technology, have fundamentally different traffic characteristics from human-to-human (H2H) communication, which involves a relatively small number of devices transmitting large packets consistently. Conversely, in mMTC applications, a very large number of MTDs transmit small packets sporadically. Therefore, conventional grant-based access schemes commonly adopted for H2H service, are not suitable for mMTC, as they incur in a large overhead associated with the channel request procedure. We propose three grant-free distributed optimization architectures that are able to significantly minimize the average power consumption of the network. The problem of physical layer (PHY) and medium access control (MAC) optimization in grant-free random access transmission is is modeled as a partially observable stochastic game (POSG) aimed at minimizing the average transmit power under a per-device delay constraint. The results show that the proposed architectures are able to achieve significantly less average latency than a baseline, while spending less power. Moreover, the proposed architectures are more robust than the baseline, as they present less variance in the performance for different system realizations.


title: Charge Transport in Electronic Devices Printed with Inks of Quasi-1D van der Waals Materials

abstract: We report on fabrication and characterization of electronic devices printed with inks of quasi-1D van der Waals materials. The quasi-1D van der Waals materials are characterized by 1D motifs in their crystal structure, which allows for their exfoliation into bundles of atomic chains. The ink was prepared by the liquid-phase exfoliation of crystals of TiS3 semiconductor into quasi-1D nanoribbons dispersed in a mixture of ethanol and ethylene glycol. The temperature dependent electrical measurements indicate that electron transport in the printed devices is dominated by the electron hopping mechanisms. The low-frequency electronic noise in the printed devices is of 1/f type near room temperature (f is the frequency). The abrupt changes in the temperature dependence of the noise spectral density and the spectrum itself can be indicative of the phase transition in individual TiS3 nanoribbons as well as modifications in the hopping transport regime. The obtained results attest to the potential of quasi-1D van der Waals materials for applications in printed electronics.


title: A cavity entanglement and state swapping method to accelerate the search for axion dark matter

abstract: In cavity-based axion dark matter detectors, quantum noise remains a primary barrier to achieving the scan rate necessary for a comprehensive search of axion parameter space. Here we introduce a method of scan rate enhancement in which an axion-sensitive cavity is coupled to an auxiliary resonant circuit through simultaneous two-mode squeezing (entangling) and state swapping interactions. We show analytically that when combined, these interactions can amplify an axion signal before it becomes polluted by vacuum noise introduced by measurement. This internal amplification yields a wider bandwidth of axion sensitivity, increasing the rate at which the detector can search through frequency space. With interaction rates predicted by circuit simulations of this system, we show that this technique can increase the scan rate up to 15-fold relative to the scan rate of a detector limited by vacuum noise.


title: Fractional powers approach of operators for higher order abstract Cauchy problems

abstract: In this paper we explore the theory of fractional powers of non-negative (and not necessarily self-adjoint) operators and its amazing relationship with the Chebyshev polynomials of the second kind to obtain results of existence, regularity and behavior asymptotic of solutions for linear abstract evolution equations of $n$-th order in time, where $n\geqslant3$. We also prove generalizations of classical results on structural damping for linear systems of differential equations.


abstract: In this short paper, we review the Euler-Rodrigues formula for three-dimensional rotation via fractional powers of matrices. We derive the rotations by any angle through the spectral behavior of the fractional powers of the rotation matrix by $\frac{\pi}{2}$ in $\mathbb{R}^3$ about some axis.


title: MCMC Variational Inference via Uncorrected Hamiltonian Annealing

abstract: Given an unnormalized target distribution we want to obtain approximate samples from it and a tight lower bound on its (log) normalization constant log Z. Annealed Importance Sampling (AIS) with Hamiltonian MCMC is a powerful method that can be used to do this. Its main drawback is that it uses non-differentiable transition kernels, which makes tuning its many parameters hard. We propose a framework to use an AIS-like procedure with Uncorrected Hamiltonian MCMC, called Uncorrected Hamiltonian Annealing. Our method leads to tight and differentiable lower bounds on log Z. We show empirically that our method yields better performances than other competing approaches, and that the ability to tune its parameters using reparameterization gradients may lead to large performance improvements.


title: Passive sub-ambient cooling: radiative cooling versus evaporative cooling

abstract: Day-and-night radiative sky cooling has emerged as a potential alternative to conventional cooling technologies such as refrigeration-based air conditioning and evaporative wet cooling. Both radiative cooling and evaporative cooling can passively achieve sub-ambient cooling without consuming electricity. Although both cooling techniques are subject to impacts from various weather conditions, the extents of the impacts under the same conditions are not well understood. In this work, we experimentally and theoretically study the thermal performances of a passive radiative cooler and a passive evaporative cooler when exposed to a clear night sky. We show that evaporative cooling is better suited for high-temperature and low-humidity weather conditions, with the measured sub-ambient temperatures of the radiative and evaporative coolers being -13.5{\deg}C and -15.0{\deg}C, respectively, at a low relative humidity of 13% and a high ambient temperature of 26.0{\deg}C. On the other hand, radiative cooling is relatively more resilient than evaporative cooling under high-humidity and/or low-temperature weather conditions, with the measured sub-ambient temperatures of the coolers being -11.5{\deg}C and -10.5{\deg}C, respectively, at a slightly higher relative humidity of 32.0% and a slightly lower ambient temperature of 17.0{\deg}C. Depending on water availability and weather conditions, both evaporative cooling and radiative cooling can be adopted as mutually supplemental cooling technologies.


title: Levi Graph AMR Parser using Heterogeneous Attention

abstract: Coupled with biaffine decoders, transformers have been effectively adapted to text-to-graph transduction and achieved state-of-the-art performance on AMR parsing. Many prior works, however, rely on the biaffine decoder for either or both arc and label predictions although most features used by the decoder may be learned by the transformer already. This paper presents a novel approach to AMR parsing by combining heterogeneous data (tokens, concepts, labels) as one input to a transformer to learn attention, and use only attention matrices from the transformer to predict all elements in AMR graphs (concepts, arcs, labels). Although our models use significantly fewer parameters than the previous state-of-the-art graph parser, they show similar or better accuracy on AMR 2.0 and 3.0.


title: A Spectroscopic Analysis of the California-Kepler Survey Sample: II. Correlations of Stellar Metallicities with Planetary Architectures

abstract: We present independent and self-consistent metallicities for a sample of 807 planet-hosting stars from the California-Kepler Survey from an LTE spectroscopic analysis using a selected sample of Fe I and Fe II lines. Correlations between host-star metallicities, planet radii, and planetary architecture (orbital periods - warm or hot - and multiplicity - single or multiple), were investigated using non-parametric statistical tests. In addition to confirming previous results from the literature, e.g., that overall host star metallicity distributions differ between hot and warm planetary systems of all types, we report on a new finding that when comparing the median metallicities of hot versus warm systems, the difference for multiple Super-Earths is considerably larger when compared to that difference in single Super-Earths. The metallicity CDFs of hot single Super-Earths versus warm single Super-Earths indicate different parent stellar populations, while for Sub-Neptunes this is not the case. The transition radius between Sub-Neptunes and Sub-Saturns was examined by comparing the APOGEE metallicity distribution for the Milky Way thin disk in the solar neighborhood with metallicity distributions of host stars segregated based upon the largest known planet in their system. These comparisons reveal increasingly different metallicity distributions as the radius of the largest planet in the systems increases, with the parent stellar metallicities becoming significantly different for R$_{p}>$ 2.7 R$_{\oplus}$. The behavior of the p-values as a function of planet radius undergoes a large slope change at R$_{p}$ = 4.4 $\pm$ 0.5 R$_{\oplus}$, indicating the radius boundary between small and large planets.


title: On lattice-free boosted MMI training of HMM and CTC-based full-context ASR models

abstract: Hybrid automatic speech recognition (ASR) models are typically sequentially trained with CTC or LF-MMI criteria. However, they have vastly different legacies and are usually implemented in different frameworks. In this paper, by decoupling the concepts of modeling units and label topologies and building proper numerator/denominator graphs accordingly, we establish a generalized framework for hybrid acoustic modeling (AM). In this framework, we show that LF-MMI is a powerful training criterion applicable to both limited-context and full-context models, for wordpiece/mono-char/bi-char/chenone units, with both HMM/CTC topologies. From this framework, we propose three novel training schemes: chenone(ch)/wordpiece(wp)-CTC-bMMI, and wordpiece(wp)-HMM-bMMI with different advantages in training performance, decoding efficiency and decoding time-stamp accuracy. The advantages of different training schemes are evaluated comprehensively on Librispeech, and wp-CTC-bMMI and ch-CTC-bMMI are evaluated on two real world ASR tasks to show their effectiveness. Besides, we also show bi-char(bc) HMM-MMI models can serve as better alignment models than traditional non-neural GMM-HMMs.


title: Necessary conditions for blow-up solutions to the restricted Euler--Poisson equations

abstract: In this work, we study the behavior of blow-up solutions to the multidimensional restricted Euler--Poisson equations which are the localized version of the full Euler--Poisson system. We provide necessary conditions for the existence of finite-time blow-up solutions in terms of the initial data, and describe the asymptotic behavior of the solutions near blow up times. We also identify a rich set of the initial data which yields global bounded solutions.


title: Theory of Vibrational Polariton Chemistry in the Collective Coupling Regime

abstract: We theoretically demonstrate that chemical reaction rate constant can be significantly suppressed by coupling molecular vibrations with an optical cavity, exhibiting both the collective coupling effect and the cavity-frequency modification of the rate constant. When a reaction coordinate is strongly coupled to the solvent molecules, the reaction rate constant is reduced due to the dynamical caging effect. We demonstrate that collectively coupling the solvent to the cavity can further enhance this dynamical caging effect, leading to additional suppression of the chemical kinetics. This effect is further amplified when cavity loss is considered.

categories: physics.chem-ph cond-mat.other physics.optics quant-ph


title: The energy conservation and regularity for the Navier-Stokes equations

abstract: In this paper, we consider the energy conservation and regularity of the weak solution $u$ to the Navier-Stokes equations in the endpoint case. We first construct a divergence-free field $u(t,x)$ which satisfies $\lim_{t\to T}\sqrt{T-t}||u(t)||_{BMO}<\infty$ and $\lim_{t\to T}\sqrt{T-t}||u(t)||_{L^\infty}=\infty$ to demonstrate that the Type II singularity is admissible in the endpoint case $u\in L^{2,\infty}(BMO)$. Secondly, we prove that if a suitable weak solution $u(t,x)$ satisfying $||u||_{L^{2,\infty}([0,T];BMO(\Omega))}<\infty$ for arbitrary $\Omega\subseteq\mathbb{R}^3$ then the local energy equality is valid on $[0,T]\times\Omega$. As a corollary, we also prove $||u||_{L^{2,\infty}([0,T];BMO(\mathbb{R}^3))}<\infty$ implies the global energy equality on $[0,T]$. Thirdly, we show that as the solution $u$ approaches a finite blowup time $T$, the norm $||u(t)||_{BMO}$ must blow up at a rate faster than $\frac{c}{\sqrt{T-t}}$ with some absolute constant $c>0$. Furthermore, we prove that if $||u_3||_{L^{2,\infty}([0,T];BMO(\mathbb{R}^3))}=M<\infty$ then there exists a small constant $c_M$ depended on $M$ such that if $||u_h||_{L^{2,\infty}([0,T];BMO(\mathbb{R}^3))}\leq c_M$ then $u$ is regular on $(0,T]\times\mathbb{R}^3$.


title: FORCAST imaging of two small nearby Clusters: The Coronet and B59

abstract: We present mid infrared imaging of two young clusters, the Coronet in the CrA cloud core and B59 in the Pipe Nebula, using the FORCAST camera on the Stratospheric Observatory for Infrared Astronomy. We also analyze Herschel Space Observatory PACS and SPIRE images of the associated clouds. The two clusters are at similar, and very close, distances. Star formation is ongoing in the Coronet, which hosts at least one Class 0 source and several pre-stellar cores, which may collapse and form stars. The B59 cluster is older, although it still has a few Class I sources, and is less compact. The CrA cloud has a diameter of about 0.16 pc, and we determine a dust temperature of 15.7 K and a star formation efficiency of about 27 %, while the B59 core is approximately twice as large, has a dust temperature of about 11.4 K and a star formation efficiency of about 14 %. We infer that the gas densities are much higher in the Coronet, which has also formed intermediate mass stars, while B59 has only formed low-mass stars.


title: Flocking formation and stabilizer of boosted cooperative control on a sphere

abstract: The purpose of this paper is to consider flocking formations of a second order dynamic system on a sphere with a Cucker-Smale type flocking operator and cooperative control. The flocking operator consists of a weighted control parameter and a natural relative velocity. The cooperative control law is given by a combination of attractive and repulsive forces. We prove that the solution to this system converges to an asymptotic spherical configuration depending on the control parameters of the cooperative control law. All possible asymptotic configurations for this system are classified and sufficient conditions for rendezvous, deployment, and local deployment, respectively, are presented. In addition, we provide several numerical simulations to confirm our analytic results. We numerically verify that the solution to this system converges to a formation flight with a nonzero constant speed if we add a boost term. The flocking operator acts as a stabilizer on the spherical cooperative control laws.


title: Valley-dependent time evolution of coherent electron states in tilted anisotropic Dirac materials

abstract: The effect of the Dirac cone tilt of anisotropic two-dimensional materials on the time evolution of coherent electron states in the presence of electric and magnetic fields is studied. We propose a canonical transformation that maps the anisotropic Dirac-Weyl Hamiltonian with tilted Dirac cones to an effective and isotropic Dirac Hamiltonian under these fields. In this way, the well-known Landau-level spectra and wave functions allow calculating the Wigner matrix representation of Landau and coherent states. We found a valley dependency in the behavior of the Wigner function for both Landau and coherent electron states. The time evolution shows that the interplay of the Dirac cone tilt and the electric field keeps the uncertainties of both position and momentum in one valley significantly lower than in the other valley. The increment of quantum noise correlates with the emergence of negative values in the Wigner function. These results may help us to understand the generation of coherent electron states under the interaction with electromagnetic fields. The reported valley-dependent signatures in the Wigner function of materials with tilted Dirac cones may be revealed by quantum tomography experiments, even in the absence of electric fields.


title: Multi-agent system for target tracking on a sphere and its asymptotic behavior

abstract: We propose a second-order multi-agent system for target tracking on a sphere. The model contains a centripetal force, a bonding force, a velocity alignment operator to the target, and cooperative control between flocking agents. We propose an appropriate regularized rotation operator instead of Rodrigues' rotation operator to derive the velocity alignment operator for target tracking. By the regularized rotation operator, we can decompose the phase of agents into translational and structural parts. By analyzing the translational part of this reference frame decomposition, we can obtain rendezvous results to the given target. If the multi-agent system can obtain the target's position, velocity, and acceleration vectors, then the complete rendezvous occurs. Even in the absence of the target's acceleration information, if the coefficients are sufficiently large enough, then the practical rendezvous occurs.


title: Ultrafast Coherence Delocalization in Real Space Simulated by Polaritons

abstract: We investigated coherence delocalization on a coupled-cavity molecular polariton platform in time, frequency, and spatial domains, enabled by ultrafast two-dimensional infrared hyperspectral imaging. Unidirectional coherence delocalization (coherence prepared in one cavity transfer to another cavity) was observed in frequency and real spaces. This directionality was enabled by dissipation of delocalized photon from high-energy to low-energy modes, described by Lindblad dynamics. Further experiments showed that when coherences were directly prepared across cavities (superpositions between polaritons from different cavities), only energetically nearby polaritons could form coherences that survived the long-range environmental fluctuation. Together with the Lindblad dynamics, this result implied that coherences delocalized through a one-step mechanism where photons transferred from one cavity to another, shedding lights to coherence evolution in natural and artificial quantum systems. This work also demonstrated a way of combining photon and molecular modes to simulate coherence dynamics.


title: Towards Robust Active Feature Acquisition

abstract: Truly intelligent systems are expected to make critical decisions with incomplete and uncertain data. Active feature acquisition (AFA), where features are sequentially acquired to improve the prediction, is a step towards this goal. However, current AFA models all deal with a small set of candidate features and have difficulty scaling to a large feature space. Moreover, they are ignorant about the valid domains where they can predict confidently, thus they can be vulnerable to out-of-distribution (OOD) inputs. In order to remedy these deficiencies and bring AFA models closer to practical use, we propose several techniques to advance the current AFA approaches. Our framework can easily handle a large number of features using a hierarchical acquisition policy and is more robust to OOD inputs with the help of an OOD detector for partially observed data. Extensive experiments demonstrate the efficacy of our framework over strong baselines.


title: Parallel and Multi-Objective Falsification with Scenic and VerifAI

abstract: Falsification has emerged as an important tool for simulation-based verification of autonomous systems. In this paper, we present extensions to the Scenic scenario specification language and VerifAI toolkit that improve the scalability of sampling-based falsification methods by using parallelism and extend falsification to multi-objective specifications. We first present a parallelized framework that is interfaced with both the simulation and sampling capabilities of Scenic and the falsification capabilities of VerifAI, reducing the execution time bottleneck inherently present in simulation-based testing. We then present an extension of VerifAI's falsification algorithms to support multi-objective optimization during sampling, using the concept of rulebooks to specify a preference ordering over multiple metrics that can be used to guide the counterexample search process. Lastly, we evaluate the benefits of these extensions with a comprehensive set of benchmarks written in the Scenic language.


title: Being Together in Place as a Catalyst for Scientific Advance

abstract: The COVID-19 pandemic necessitated social distancing at every level of society, including universities and research institutes, raising essential questions concerning the continuing importance of physical proximity for scientific and scholarly advance. Using customized author surveys about the intellectual influence of referenced work on scientists' own papers, combined with precise measures of geographical and semantic distance between focal and referenced works, we find that being at the same institution is strongly associated with intellectual influence on scientists' and scholars' published work. However, this influence increases with intellectual distance: the more different the referenced work done by colleagues at one's institution, the more influential it is on one's own. Universities worldwide constitute places where people doing very different work engage in sustained interactions through departments, committees, seminars, and communities. These interactions come to uniquely influence their published research, suggesting the need to replace rather than displace diverse engagements for sustainable advance.


title: On pure MDS asymmetric entanglement-assisted quantum error-correcting codes

abstract: Recently, Galindo et al. introduced the concept of asymmetric entanglement-assisted quantum error-correcting codes (AEAQECCs) from Calderbank-Shor-Steane (CSS) construction. In general, it's difficult to determine the required number of maximally entangled states of an AEAQECC, which is associated with the dimension of the intersection of the two corresponding linear codes. Two linear codes are said to be a linear l-intersection pair if their intersection has dimension l. In this paper, all possible linear l-intersection pairs of MDS codes are given. As an application, we give a complete characterization of pure MDS AEAQECCs for all possible parameters.


title: Extremal graphs without exponentially-small bicliques

abstract: The Tur\'an problem asks for the largest number of edges in an $n$-vertex graph not containing a fixed forbidden subgraph $F$. We construct a new family of graphs not containing $K_{s,t}$, for $t= C^s$, with $\Omega(n^{2-1/s})$ edges matching the upper bound of K\"ov\'ari, S\'os and Tur\'an.


title: Blow-up algebras of secant varieties of rational normal scrolls

abstract: In this paper, we are mainly concerned with the blow-up algebras of the secant varieties of balanced rational normal scrolls. In the first part, we give implicit defining equations of their associated Rees algebras and fiber cones. Consequently, we can tell that the fiber cones are Cohen--Macaulay normal domains. Meanwhile, these fiber cones have rational singularities in characteristic zero, and are $F$-rational in positive characteristic. The Gorensteinness of the fiber cones can also be characterized. In the second part, we compute the Castelnuovo--Mumford regularities and $\mathbf{a}$-invariants of the fiber cones. We also present the reduction numbers of the ideals defined by the secant varieties.


title: Safe Learning of Lifted Action Models

abstract: Creating a domain model, even for classical, domain-independent planning, is a notoriously hard knowledge-engineering task. A natural approach to solve this problem is to learn a domain model from observations. However, model learning approaches frequently do not provide safety guarantees: the learned model may assume actions are applicable when they are not, and may incorrectly capture actions' effects. This may result in generating plans that will fail when executed. In some domains such failures are not acceptable, due to the cost of failure or inability to replan online after failure. In such settings, all learning must be done offline, based on some observations collected, e.g., by some other agents or a human. Through this learning, the task is to generate a plan that is guaranteed to be successful. This is called the model-free planning problem. Prior work proposed an algorithm for solving the model-free planning problem in classical planning. However, they were limited to learning grounded domains, and thus they could not scale. We generalize this prior work and propose the first safe model-free planning algorithm for lifted domains. We prove the correctness of our approach, and provide a statistical analysis showing that the number of trajectories needed to solve future problems with high probability is linear in the potential size of the domain model. We also present experiments on twelve IPC domains showing that our approach is able to learn the real action model in all cases with at most two trajectories.


title: Brauer and Jones tied monoids

abstract: We introduce a ramified monoid, attached to each Brauer--type monoid, that is, to the symmetric group, to the Jones and Brauer monoids among others. Ramified monoids correspond to a class of tied monoids which arise from knot theory and are interesting in itself. The ramified monoid attached to the symmetric group is the Coxeter-like version of the so--called tied braid monoid. We give a presentation of the ramified monoid attached to the Brauer monoid. Also, we introduce and studied two tied-like monoids that cannot be described as ramified monoids. However, these monoids can also be regarded as tied versions of the Jones and Brauer monoids.


title: Excavation Learning for Rigid Objects in Clutter

abstract: Autonomous excavation for hard or compact materials, especially irregular rigid objects, is challenging due to high variance of geometric and physical properties of objects, and large resistive force during excavation. In this paper, we propose a novel learning-based excavation planning method for rigid objects in clutter. Our method consists of a convolutional neural network to predict the excavation success and a sampling-based optimization method for planning high-quality excavation trajectories leveraging the learned prediction model. To reduce the sim2real gap for excavation learning, we propose a voxel-based representation of the excavation scene. We perform excavation experiments in both simulation and real world to evaluate the learning-based excavation planners. We further compare with two heuristic baseline excavation planners and one data-driven scene-independent planner. The experimental results show that our method can plan high-quality excavations for rigid objects in clutter and outperforms the baseline methods by large margins. As far as we know, our work presents the first learning-based excavation planner for cluttered and irregular rigid objects.


title: Experiences with Integrating Custos SecurityServices

abstract: Science gateways are user-facing cyberinfrastruc-ture that provide researchers and educators with Web-basedaccess to scientific software, computing, and data resources.Managing user identities, accounts, and permissions are essentialtasks for science gateways, and gateways likewise must man-age secure connections between their middleware and remoteresources. The Custos project is an effort to build open sourcesoftware that can be operated as a multi-tenanted service thatprovides reliable implementations of common science gatewaycybersecurity needs, including federated authentication, iden-tity management, group and authorization management, andresource credential management. Custos aims further to provideintegrated solutions through these capabilities, delivering end-to-end support for several science gateway usage scenarios. Thispaper examines four deployment scenarios using Custos andassociated extensions beyond previously described work. Thefirst capability illustrated by these scenarios is the need forCustos to provide hierarchical tenant management that allowsmultiple gateway deployments to be federated together andalso to support consolidated, hosted science gateway platformservices. The second capability illustrated by these scenarios is theneed to support service accounts that can support non-browserapplications and agent applications that can act on behalf ofusers on edge resources. We illustrate how the latter can be builtusing Web security standards combined with Custos permissionmanagement mechanisms.


title: Demonstration of hybrid high-Q hexagonal boron nitride microresonators

abstract: Hexagonal boron nitride (hBN) is a wide bandgap van der Waals material that is emerging as a powerful platform for quantum optics and nanophotonics. In this work, we demonstrate whispering gallery mode silica microresonators hybridized with thin layers of epitaxially grown hBN that exhibit high optical quality factor $> 7 \times 10^5$. Measurements of the effect of hBN thickness on optical $Q$ and comparison with a theoretical model allows the linear optical absorption coefficient of the hBN films to be estimated. These high-$Q$ devices will be useful for applications in quantum and nonlinear optics, and their hybridized geometry provides a sensitive platform for evaluating losses in hBN and other 2D materials.


title: EasyCom: An Augmented Reality Dataset to Support Algorithms for Easy Communication in Noisy Environments

abstract: Augmented Reality (AR) as a platform has the potential to facilitate the reduction of the cocktail party effect. Future AR headsets could potentially leverage information from an array of sensors spanning many different modalities. Training and testing signal processing and machine learning algorithms on tasks such as beam-forming and speech enhancement require high quality representative data. To the best of the author's knowledge, as of publication there are no available datasets that contain synchronized egocentric multi-channel audio and video with dynamic movement and conversations in a noisy environment. In this work, we describe, evaluate and release a dataset that contains over 5 hours of multi-modal data useful for training and testing algorithms for the application of improving conversations for an AR glasses wearer. We provide speech intelligibility, quality and signal-to-noise ratio improvement results for a baseline method and show improvements across all tested metrics. The dataset we are releasing contains AR glasses egocentric multi-channel microphone array audio, wide field-of-view RGB video, speech source pose, headset microphone audio, annotated voice activity, speech transcriptions, head bounding boxes, target of speech and source identification labels. We have created and are releasing this dataset to facilitate research in multi-modal AR solutions to the cocktail party problem.


title: A Survey on RISC-V Security: Hardware and Architecture

abstract: The Internet of Things (IoT) is an ongoing technological revolution. Embedded processors are the processing engines of smart IoT devices. For decades, these processors were mainly based on the Arm instruction set architecture (ISA). In recent years, the free and open RISC-V ISA standard has attracted the attention of industry and academia and is becoming the mainstream. Data security and user privacy protection are common challenges faced by all IoT devices. In order to deal with foreseeable security threats, the RISC-V community is studying security solutions aimed at achieving a root of trust (RoT) and ensuring that sensitive information on RISC-V devices is not tampered with or leaked. Many RISC-V security research projects are underway, but the academic community has not yet conducted a comprehensive survey of RISC-V security solutions. In order to fill this research gap, this paper presents an in-depth survey on RISC-V security technologies. This paper summarizes the representative security mechanisms of RISC-V hardware and architecture. Based on our survey, we predict the future research and development directions of RISC-V security. We hope that our research can inspire RISC-V researchers and developers.