title: Wertheim's thermodynamic perturbation theory with double-bond association and its application to colloid-linker mixtures

abstract: We extend Wertheim's thermodynamic perturbation theory to derive the association free energy of a multicomponent mixture for which double bonds can form between any two pairs of the molecules' arbitrary number of bonding sites. This generalization reduces in limiting cases to prior theories that restrict double bonding to at most one pair of sites per molecule. We apply the new theory to an associating mixture of colloidal particles ("colloids") and flexible chain molecules ("linkers"). The linkers have two functional end groups, each of which may bond to one of several sites on the colloids. Due to their flexibility, a significant fraction of linkers can "loop" with both ends bonding to sites on the same colloid instead of bridging sites on different colloids. We use the theory to show that the fraction of linkers in loops depends sensitively on the linker end-to-end distance relative to the colloid bonding-site distance, which suggests strategies for mitigating the loop formation that may otherwise hinder linker-mediated colloidal assembly.


title: The measure of model risk in credit capital requirements

abstract: Credit capital requirements in Internal Rating Based approaches require the calibration of two key parameters: the probability of default and the loss-given-default. This letter considers the uncertainty about these two parameters and models this uncertainty in an elementary way: it shows how this estimation risk can be computed and properly taken into account in regulatory capital. We analyse two standard real datasets: one composed by all corporates rated by Moody's and one limited only to the speculative grade ones. We statistically test model hypotheses on both marginal distributions and parameter dependency. We compute the estimation risk impact and observe that parameter dependency raises substantially the tail risk in capital requirements. The results are striking with a required increase in regulatory capital in the range $38\%$-$66\%$.


title: Non-saturating GAN training as divergence minimization

abstract: Non-saturating generative adversarial network (GAN) training is widely used and has continued to obtain groundbreaking results. However so far this approach has lacked strong theoretical justification, in contrast to alternatives such as f-GANs and Wasserstein GANs which are motivated in terms of approximate divergence minimization. In this paper we show that non-saturating GAN training does in fact approximately minimize a particular f-divergence. We develop general theoretical tools to compare and classify f-divergences and use these to show that the new f-divergence is qualitatively similar to reverse KL. These results help to explain the high sample quality but poor diversity often observed empirically when using this scheme.


title: Cooperative-Competitive Reinforcement Learning with History-Dependent Rewards

abstract: Consider a typical organization whose worker agents seek to collectively cooperate for its general betterment. However, each individual agent simultaneously seeks to act to secure a larger chunk than its co-workers of the annual increment in compensation, which usually comes from a {\em fixed} pot. As such, the individual agent in the organization must cooperate and compete. Another feature of many organizations is that a worker receives a bonus, which is often a fraction of previous year's total profit. As such, the agent derives a reward that is also partly dependent on historical performance. How should the individual agent decide to act in this context? Few methods for the mixed cooperative-competitive setting have been presented in recent years, but these are challenged by problem domains whose reward functions do not depend on the current state and action only. Recent deep multi-agent reinforcement learning (MARL) methods using long short-term memory (LSTM) may be used, but these adopt a joint perspective to the interaction or require explicit exchange of information among the agents to promote cooperation, which may not be possible under competition. In this paper, we first show that the agent's decision-making problem can be modeled as an interactive partially observable Markov decision process (I-POMDP) that captures the dynamic of a history-dependent reward. We present an interactive advantage actor-critic method (IA2C$^+$), which combines the independent advantage actor-critic network with a belief filter that maintains a belief distribution over other agents' models. Empirical results show that IA2C$^+$ learns the optimal policy faster and more robustly than several other baselines including one that uses a LSTM, even when attributed models are incorrect.


title: QReLU and m-QReLU: Two novel quantum activation functions to aid medical diagnostics

abstract: The ReLU activation function (AF) has been extensively applied in deep neural networks, in particular Convolutional Neural Networks (CNN), for image classification despite its unresolved dying ReLU problem, which poses challenges to reliable applications. This issue has obvious important implications for critical applications, such as those in healthcare. Recent approaches are just proposing variations of the activation function within the same unresolved dying ReLU challenge. This contribution reports a different research direction by investigating the development of an innovative quantum approach to the ReLU AF that avoids the dying ReLU problem by disruptive design. The Leaky ReLU was leveraged as a baseline on which the two quantum principles of entanglement and superposition were applied to derive the proposed Quantum ReLU (QReLU) and the modified-QReLU (m-QReLU) activation functions. Both QReLU and m-QReLU are implemented and made freely available in TensorFlow and Keras. This original approach is effective and validated extensively in case studies that facilitate the detection of COVID-19 and Parkinson Disease (PD) from medical images. The two novel AFs were evaluated in a two-layered CNN against nine ReLU-based AFs on seven benchmark datasets, including images of spiral drawings taken via graphic tablets from patients with Parkinson Disease and healthy subjects, and point-of-care ultrasound images on the lungs of patients with COVID-19, those with pneumonia and healthy controls. Despite a higher computational cost, results indicated an overall higher classification accuracy, precision, recall and F1-score brought about by either quantum AFs on five of the seven bench-mark datasets, thus demonstrating its potential to be the new benchmark or gold standard AF in CNNs and aid image classification tasks involved in critical applications, such as medical diagnoses of COVID-19 and PD.


title: A sparsity-constrained sampling method with applications to communications and inverse scattering

abstract: We introduce the sparse direct sampling method (DSM) to estimate properties of a region from signals that probe the region. We demonstrate the sparse-DSM on two separate problems: estimating both the angle-of-arrival of a radio wave impinging on an array and the location and shape of an inhomogeneity from scattered acoustic waves. The sparse-DSM is qualitative in nature, so it does not require the simulation of a forward problem to solve the inverse problem. The method generalizes of two older qualitative methods, one which has low-resolution reconstructions but uses few measurements and one which is high-resolution but has higher measurement cost. The sparse-DSM inherits positive qualities from both. We demonstrate the technique on measured and simulated examples.


title: Background risk and small-stakes risk aversion

abstract: We show that under plausible levels of background risk, no theory of choice under risk -- such as expected utility theory, prospect theory, or rank dependent utility -- can simultaneously satisfy the following three economic postulates: (i) Decision makers are risk-averse over small gambles, (ii) they respect stochastic dominance, and (iii) they account for background risk.


title: Overfitting or Underfitting? Understand Robustness Drop in Adversarial Training

abstract: Our goal is to understand why the robustness drops after conducting adversarial training for too long. Although this phenomenon is commonly explained as overfitting, our analysis suggest that its primary cause is perturbation underfitting. We observe that after training for too long, FGSM-generated perturbations deteriorate into random noise. Intuitively, since no parameter updates are made to strengthen the perturbation generator, once this process collapses, it could be trapped in such local optima. Also, sophisticating this process could mostly avoid the robustness drop, which supports that this phenomenon is caused by underfitting instead of overfitting. In the light of our analyses, we propose APART, an adaptive adversarial training framework, which parameterizes perturbation generation and progressively strengthens them. Shielding perturbations from underfitting unleashes the potential of our framework. In our experiments, APART provides comparable or even better robustness than PGD-10, with only about 1/4 of its computational cost.


title: Finiteness Properties of Locally Defined Groups

abstract: Let $X$ be a set and let $S$ be an inverse semigroup of partial bijections of $X$. Thus, an element of $S$ is a bijection between two subsets of $X$, and the set $S$ is required to be closed under the operations of taking inverses and compositions of functions. We define $\Gamma_{S}$ to be the set of self-bijections of $X$ in which each $\gamma \in \Gamma_{S}$ is expressible as a union of finitely many members of $S$. This set is a group with respect to composition. The groups $\Gamma_{S}$ form a class containing numerous widely studied groups, such as Thompson's group $V$, the Nekrashevych-R\"{o}ver groups, Houghton's groups, and the Brin-Thompson groups $nV$, among many others. We offer a unified construction of geometric models for $\Gamma_{S}$ and a general framework for studying the finiteness properties of these groups.


title: State-Based Confidence Bounds for Data-Driven Stochastic Reachability Using Hilbert Space Embeddings

abstract: In this paper, we compute finite sample bounds for data-driven approximations of the solution to stochastic reachability problems. Our approach uses a nonparametric technique known as kernel distribution embeddings, and provides probabilistic assurances of safety for stochastic systems in a model-free manner. By implicitly embedding the stochastic kernel of a Markov control process in a reproducing kernel Hilbert space, we can approximate the safety probabilities for stochastic systems with arbitrary stochastic disturbances as simple matrix operations and inner products. We present finite sample bounds for point-based approximations of the safety probabilities through construction of probabilistic confidence bounds that are state- and input-dependent. One advantage of this approach is that the bounds are responsive to non-uniformly sampled data, meaning that tighter bounds are feasible in regions of the state- and input-space with more observations. We numerically evaluate the approach, and demonstrate its efficacy on a neural network-controlled pendulum system.


title: How to Sell Hard Information

abstract: The seller of an asset has the option to buy hard information about the value of the asset from an intermediary. The seller can then disclose the acquired information before selling the asset in a competitive market. We study how the intermediary designs and sells hard information to robustly maximize her revenue across all equilibria. Even though the intermediary could use an accurate test that reveals the asset's value, we show that robust revenue maximization leads to a noisy test with a continuum of possible scores that are distributed exponentially. In addition, the intermediary always charges the seller for disclosing the test score to the market, but not necessarily for running the test. This enables the intermediary to robustly appropriate a significant share of the surplus resulting from the asset sale even though the information generated by the test provides no social value.


title: Why Layer-Wise Learning is Hard to Scale-up and a Possible Solution via Accelerated Downsampling

abstract: Layer-wise learning, as an alternative to global back-propagation, is easy to interpret, analyze, and it is memory efficient. Recent studies demonstrate that layer-wise learning can achieve state-of-the-art performance in image classification on various datasets. However, previous studies of layer-wise learning are limited to networks with simple hierarchical structures, and the performance decreases severely for deeper networks like ResNet. This paper, for the first time, reveals the fundamental reason that impedes the scale-up of layer-wise learning is due to the relatively poor separability of the feature space in shallow layers. This argument is empirically verified by controlling the intensity of the convolution operation in local layers. We discover that the poorly-separable features from shallow layers are mismatched with the strong supervision constraint throughout the entire network, making the layer-wise learning sensitive to network depth. The paper further proposes a downsampling acceleration approach to weaken the poor learning of shallow layers so as to transfer the learning emphasis to deep feature space where the separability matches better with the supervision restraint. Extensive experiments have been conducted to verify the new finding and demonstrate the advantages of the proposed downsampling acceleration in improving the performance of layer-wise learning.


title: Geometry of Sample Spaces

abstract: In statistics, independent, identically distributed random samples do not carry a natural ordering, and their statistics are typically invariant with respect to permutations of their order. Thus, an $n$-sample in a space $M$ can be considered as an element of the quotient space of $M^n$ modulo the permutation group. The present paper takes this definition of sample space and the related concept of orbit types as a starting point for developing a geometric perspective on statistics. We aim at deriving a general mathematical setting for studying the behavior of empirical and population means in spaces ranging from smooth Riemannian manifolds to general stratified spaces. We fully describe the orbifold and path-metric structure of the sample space when $M$ is a manifold or path-metric space, respectively. These results are non-trivial even when $M$ is Euclidean. We show that the infinite sample space exists in a Gromov-Hausdorff type sense and coincides with the Wasserstein space of probability distributions on $M$. We exhibit Fr\'echet means and $k$-means as metric projections onto 1-skeleta or $k$-skeleta in Wasserstein space, and we define a new and more general notion of polymeans. This geometric characterization via metric projections applies equally to sample and population means, and we use it to establish asymptotic properties of polymeans such as consistency and asymptotic normality.


title: Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization

abstract: An autotuning is an approach that explores a search space of possible implementations/configurations of a kernel or an application by selecting and evaluating a subset of implementations/configurations on a target platform and/or use models to identify a high performance implementation/configuration. In this paper, we develop an autotuning framework that leverages Bayesian optimization to explore the parameter space search. We select six of the most complex benchmarks from the application domains of the PolyBench benchmarks (syr2k, 3mm, heat-3d, lu, covariance, and Floyd-Warshall) and apply the newly developed LLVM Clang/Polly loop optimization pragmas to the benchmarks to optimize them. We then use the autotuning framework to optimize the pragma parameters to improve their performance. The experimental results show that our autotuning approach outperforms the other compiling methods to provide the smallest execution time for the benchmarks syr2k, 3mm, heat-3d, lu, and covariance with two large datasets in 200 code evaluations for effectively searching the parameter spaces with up to 170,368 different configurations. We compare four different supervised learning methods within Bayesian optimization and evaluate their effectiveness. We find that the Floyd-Warshall benchmark did not benefit from autotuning because Polly uses heuristics to optimize the benchmark to make it run much slower. To cope with this issue, we provide some compiler option solutions to improve the performance.


title: Kilonova rates from spherical and axisymmetrical models

abstract: Detecting the thermal emission from double neutron star merger events is a challenging task because of the quick fading of the observed flux. In order to create an efficient observing strategy for their observing method it is crucial to know their intrinsic rate. Unfortunately, the numerous models existing today predict this rate on a vary wide range. Hence, our goal in this paper is to investigate the effect of different level of approximations on the relative rate predictions. Also, we study the effect of distinct ejecta mass lay-outs on the light curve. We find that the ratio of the expected kilonova detections of the spherical to axisymmetrical models is 6:1 (or 2:1, depending on the input parameter set applied in our work). Nevertheless, the light curve shape is only slightly affected by the various ejecta alignments. This means that different ejecta layouts can produce light curves with similar shapes making it a challenging task to infer the structure of the matter outflow. Thus, we conclude that the uncertainty in the rate predictions arising from the various ejecta mass distribution models is negligible compared to the errors present in other input parameters (e.g. binary neutron star merger rate). In addition, we show that up to moderate redshifts (z < 0.2) the redshift distribution type (observed or uniform in volume) does not affect the expected relative rate estimations.


title: Ranked enumeration of MSO logic on words

abstract: In the last years, enumeration algorithms with bounded delay have attracted a lot of attention for several data management tasks. Given a query and the data, the task is to preprocess the data and then enumerate all the answers to the query one by one and without repetitions. This enumeration scheme is typically useful when the solutions are treated on the fly or when we want to stop the enumeration once the pertinent solutions have been found. However, with the current schemes, there is no restriction on the order how the solutions are given and this order usually depends on the techniques used and not on the relevance for the user. In this paper we study the enumeration of monadic second order logic (MSO) over words when the solutions are ranked. We present a framework based on MSO cost functions that allows to express MSO formulae on words with a cost associated with each solution. We then demonstrate the generality of our framework which subsumes, for instance, document spanners and regular complex event processing queries and adds ranking to them. The main technical result of the paper is an algorithm for enumerating all the solutions of formulae in increasing order of cost efficiently, namely, with a linear preprocessing phase and logarithmic delay between solutions. The novelty of this algorithm is based on using functional data structures, in particular, by extending functional Brodal queues to suit with the ranked enumeration of MSO on words.


title: An ordinary state-based peridynamic elastoplastic 2D model consistent with J2 plasticity

abstract: We present a new ordinary state-based peridynamic model (OSB-PD) in 2D consistent with J2 plasticity using a novel decomposition for force and extension states. A new strategy for testing the consistency of an OSB-PD formulation for elastoplasticity is introduced. In contrast with other similar models, the new elasto-plastic OSB-PD model is objective and works for large rotations. We formulate two rate-independent yield functions equivalent to J2 plasticity with associated flow rules, based on force states and on the strain energy density. An efficient return mapping algorithm for peridynamic formulations in plasticity is proposed. We verify the model against results obtained with Abaqus for the classical formulation using two examples, one featuring plastic deformations under large rotations. The evolution of the plastic zone computed with the new model matches that from the classical model found with Abaqus.


title: On the Representation and Construction of Equitable Social Welfare Orders

abstract: This paper examines the representation and explicit description of social welfare orders on infinite utility streams. It is assumed that the social welfare orders under investigation satisfy upper asymptotic Pareto and anonymity axioms. We prove that there exists no real-valued representation of such social welfare orders. In addition, we establish that the existence of a social welfare order satisfying the anonymity and upper asymptotic Pareto axioms implies the existence of a non-Ramsey set, which is a non-constructive object. Thus, we conclude that the social welfare orders under study do not admit explicit description.


title: Revisiting Optical Flow Estimation in 360 Videos

abstract: Nowadays 360 video analysis has become a significant research topic in the field since the appearance of high-quality and low-cost 360 wearable devices. In this paper, we propose a novel LiteFlowNet360 architecture for 360 videos optical flow estimation. We design LiteFlowNet360 as a domain adaptation framework from perspective video domain to 360 video domain. We adapt it from simple kernel transformation techniques inspired by Kernel Transformer Network (KTN) to cope with inherent distortion in 360 videos caused by the sphere-to-plane projection. First, we apply an incremental transformation of convolution layers in feature pyramid network and show that further transformation in inference and regularization layers are not important, hence reducing the network growth in terms of size and computation cost. Second, we refine the network by training with augmented data in a supervised manner. We perform data augmentation by projecting the images in a sphere and re-projecting to a plane. Third, we train LiteFlowNet360 in a self-supervised manner using target domain 360 videos. Experimental results show the promising results of 360 video optical flow estimation using the proposed novel architecture.


title: Inclination Dynamics of Resonant Planets under the Influence of an Inclined External Companion

abstract: Recent observations suggest that a large fraction of Kepler super-Earth systems have external giant planet companions (cold Jupiters), which can shape the architecture of the inner planets, in particular their mutual inclinations. The dynamical perturbation from cold Jupiters may account for the population of misaligned planets in the Kepler data. The effectiveness of this mechanism can be hindered by a strong planet--planet coupling in the inner system. In this paper, we study how mean-motion resonances (MMRs) affect this coupling and the expected misalignment. We derive approximate analytical expressions for the mutual inclination excitations in the inner planet system induced by an inclined companion, for various period ratios and perturber properties. In most cases, the mutual inclination is proportional to a dimensionless parameter that characterizes the strength of the perturber relative to the coupling in the inner system. We show that the MMR strengthens the inner coupling, reducing the mutual inclination induced by the perturber by a factor of a few. We find that the resonance is resilient to the perturbation, and derive a criterion for the libration of the resonant angle. Our results have applications for constraining unseen planetary perturbers, and for understanding the architecture of multiplanet systems.


title: Orbital MCMC

abstract: Markov Chain Monte Carlo (MCMC) algorithms ubiquitously employ complex deterministic transformations to generate proposal points that are then filtered by the Metropolis-Hastings-Green (MHG) test. However, the condition of the target measure invariance puts restrictions on the design of these transformations. In this paper, we first derive the acceptance test for the stochastic Markov kernel considering arbitrary deterministic maps as proposal generators. When applied to the transformations with orbits of period two (involutions), the test reduces to the MHG test. Based on the derived test we propose two practical algorithms: one operates by constructing periodic orbits from any diffeomorphism, another on contractions of the state space (such as optimization trajectories). Finally, we perform an empirical study demonstrating the practical advantages of both kernels.


title: Decision Making Problems with Funnel Structure: A Multi-Task Learning Approach with Application to Email Marketing Campaigns

abstract: This paper studies the decision making problem with Funnel Structure. Funnel structure, a well-known concept in the marketing field, occurs in those systems where the decision maker interacts with the environment in a layered manner receiving far fewer observations from deep layers than shallow ones. For example, in the email marketing campaign application, the layers correspond to Open, Click and Purchase events. Conversions from Click to Purchase happen very infrequently because a purchase cannot be made unless the link in an email is clicked on. We formulate this challenging decision making problem as a contextual bandit with funnel structure and develop a multi-task learning algorithm that mitigates the lack of sufficient observations from deeper layers. We analyze both the prediction error and the regret of our algorithms. We verify our theory on prediction errors through a simple simulation. Experiments on both a simulated environment and an environment based on real-world data from a major email marketing company show that our algorithms offer significant improvement over previous methods.


title: Anti-classification results for groups acting freely on the line

abstract: We explore countable ordered Archimedean groups from the point of view of descriptive set theory. We introduce the space of Archimedean left-orderings $\mathrm{Ar}(G)$ for a given countable group $G$, and prove that the equivalence relation induced by the natural action of $\mathrm{GL}_2(\mathbb{Q})$ on $\mathrm{Ar}(\mathbb{Q}^2)$ is not concretely classifiable. Then we analyze the isomorphism relation for countable ordered Archimedean groups, and pin its complexity in terms of the hierarchy of Hjorth, Kechris and Louveau. In particular, we show that its potential class is not $\boldsymbol{\Pi}^0_3$. This topological constraint prevents classifying Archimedean groups using countable subsets of reals. We obtain analogous results for the bi-embeddability relation, and we consider similar problems for circularly ordered groups, and o-minimal structures such as ordered divisible Abelian groups, and real closed fields. Our proofs combine classical results on Archimedean groups, the theory of Borel equivalence relations, and analyzing definable sets in the basic Cohen model and other models of Zermelo-Fraenkel set theory without choice.


title: Hubble Space Telescope Observations of [O~III] Emission in Nearby QSO2s: Physical Properties of the Ionised Outflows

abstract: We use Hubble Space Telescope (HST)/ Space Telescope Imaging Spectrograph (STIS) long-slit G430M and G750M spectra to analyse the extended [O~III] 5007A emission in a sample of twelve nearby (z < 0.12) luminous (L_bol > 1.6 x 10^45 erg s^-1) QSO2s. The purpose of the study is to determine the properties of the mass outflows of ionised gas and their role in AGN feedback. We measure fluxes and velocities as functions of radial distances. Using Cloudy models and ionising luminosities derived from [O~III] 5007A, we are able to estimate the densities for the emission-line gas. From these results, we derive masses of [O~III]-emitting gas, mass outflow rates, kinetic energies, kinetic luminosities, momenta and momentum flow rates as a function of radial distance for each of the targets. For the sample, masses are several times 10^3 - 10^7 solar masses and peak outflow rates are 9.3 x 10^-3 Msun/yr to 10.3 Msun/yr. The peak kinetic luminosities are 3.4 x 10^-8 to 4.9 x 10^-4 of the bolometric luminosity, which does not approach the 5.0 x 10^-3 - 5.0 x 10^-2 range required by some models for efficient feedback. For Mrk 34, which has the largest kinetic luminosity of our sample, in order to produce efficient feedback there would have to be 10 times more [O~III]-emitting gas than we detected at its position of maximum kinetic luminosity. Three targets show extended [O~III] emission, but compact outflow regions. This may be due to different mass profiles or different evolutionary histories.


title: Program Equivalence for Assisted Grading of Functional Programs (Extended Version)

abstract: In courses that involve programming assignments, giving meaningful feedback to students is an important challenge. Human beings can give useful feedback by manually grading the programs but this is a time-consuming, labor intensive, and usually boring process. Automatic graders can be fast and scale well but they usually provide poor feedback. Although there has been research on improving automatic graders, research on scaling and improving human grading is limited. We propose to scale human grading by augmenting the manual grading process with an equivalence algorithm that can identify the equivalences between student submissions. This enables human graders to give targeted feedback for multiple student submissions at once. Our technique is conservative in two aspects. First, it identifies equivalence between submissions that are algorithmically similar, e.g., it cannot identify the equivalence between quicksort and mergesort. Second, it uses formal methods instead of clustering algorithms from the machine learning literature. This allows us to prove a soundness result that guarantees that submissions will never be clustered together in error. Despite only reporting equivalence when there is algorithmic similarity and the ability to formally prove equivalence, we show that our technique can significantly reduce grading time for thousands of programming submissions from an introductory functional programming course.


title: A Learning Approach to Robot-Agnostic Force-Guided High Precision Assembly

abstract: In this work we propose a learning approach to high-precision robotic assembly problems. We focus on the contact-rich phase, where the assembly pieces are in close contact with each other. Unlike many learning-based approaches that heavily rely on vision or spatial tracking, our approach takes force/torque in task space as the only observation. Our training environment is robotless, as the end-effector is not attached to any specific robot. Trained policies can then be applied to different robotic arms without re-training. This approach can greatly reduce complexity to perform contact-rich robotic assembly in the real world, especially in unstructured settings such as in architectural construction. To achieve it, we have developed a new distributed RL agent, named Recurrent Distributed DDPG (RD2), which extends Ape-X DDPG with recurrency and makes two structural improvements on prioritized experience replay. Our results show that RD2 is able to solve two fundamental high-precision assembly tasks, lap-joint and peg-in-hole, and outperforms two state-of-the-art algorithms, Ape-X DDPG and PPO with LSTM. We have successfully evaluated our robot-agnostic policies on three robotic arms, Kuka KR60, Franka Panda, and UR10, in simulation. The video presenting our experiments is available at https://sites.google.com/view/rd2-rl


title: QDLC -- The Quantum Development Life Cycle

abstract: The magnificence grandeur of quantum computing lies in the inherent nature of quantum particles to exhibit true parallelism, which can be realized by indubitably fascinating theories of quantum physics. The possibilities opened by quantum computation (QC) is no where analogous to any classical simulation as quantum computers can efficiently simulate the complex dynamics of strongly correlated inter-facial systems. But, unfolding mysteries and leading to revolutionary breakthroughs in quantum computing are often challenged by lack of research and development potential in developing qubits with longer coherence interval, scaling qubit count, incorporating quantum error correction to name a few. Putting the first footstep into explorative quantum research by researchers and developers is also inherently ambiguous - due to lack of definitive steps in building up a quantum enabled customized computing stack. Difference in behavioral pattern of underlying system, early-stage noisy device, implementation barriers and performance metric cause hindrance in full adoption of existing classical SDLC suites for quantum product development. This in turn, necessitates to devise systematic and cost-effective techniques to quantum software development through a Quantum Development Life Cycle (QDLC) model, specifying the distinguished features and functionalities of quantum feasibility study, quantum requirement specification, quantum system design, quantum software coding and implementation, quantum testing and quantum software quality management.


title: Pose Estimation for Robot Manipulators via Keypoint Optimization and Sim-to-Real Transfer

abstract: Keypoint detection is an essential building block for many robotic applications like motion capture and pose estimation. Historically, keypoints are detected using uniquely engineered markers such as checkerboards or fiducials. More recently, deep learning methods have been explored as they have the ability to detect user-defined keypoints in a marker-less manner. However, different manually selected keypoints can have uneven performance when it comes to detection and localization. An example of this can be found on symmetric robotic tools where DNN detectors cannot solve the correspondence problem correctly. In this work, we propose a new and autonomous way to define the keypoint locations that overcomes these challenges. The approach involves finding the optimal set of keypoints on robotic manipulators for robust visual detection and localization. Using a robotic simulator as a medium, our algorithm utilizes synthetic data for DNN training, and the proposed algorithm is used to optimize the selection of keypoints through an iterative approach. The results show that when using the optimized keypoints, the detection performance of the DNNs improved significantly. We further use the optimized keypoints for real robotic applications by using domain randomization to bridge the reality gap between the simulator and the physical world. The physical world experiments show how the proposed method can be applied to the wide-breadth of robotic applications that require visual feedback, such as camera-to-robot calibration, robotic tool tracking, and end-effector pose estimation.


title: Egok360: A 360 Egocentric Kinetic Human Activity Video Dataset

abstract: Recently, there has been a growing interest in wearable sensors which provides new research perspectives for 360 {\deg} video analysis. However, the lack of 360 {\deg} datasets in literature hinders the research in this field. To bridge this gap, in this paper we propose a novel Egocentric (first-person) 360{\deg} Kinetic human activity video dataset (EgoK360). The EgoK360 dataset contains annotations of human activity with different sub-actions, e.g., activity Ping-Pong with four sub-actions which are pickup-ball, hit, bounce-ball and serve. To the best of our knowledge, EgoK360 is the first dataset in the domain of first-person activity recognition with a 360{\deg} environmental setup, which will facilitate the egocentric 360 {\deg} video understanding. We provide experimental results and comprehensive analysis of variants of the two-stream network for 360 egocentric activity recognition. The EgoK360 dataset can be downloaded from https://egok360.github.io/.


title: IoT Platform for COVID-19 Prevention and Control: A Survey

abstract: As a result of the worldwide transmission of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2), coronavirus disease 2019 (COVID-19) has evolved into an unprecedented pandemic. Currently, with unavailable pharmaceutical treatments and vaccines, this novel coronavirus results in a great impact on public health, human society, and global economy, which is likely to last for many years. One of the lessons learned from the COVID-19 pandemic is that a long-term system with non-pharmaceutical interventions for preventing and controlling new infectious diseases is desirable to be implemented. Internet of things (IoT) platform is preferred to be utilized to achieve this goal, due to its ubiquitous sensing ability and seamless connectivity. IoT technology is changing our lives through smart healthcare, smart home, and smart city, which aims to build a more convenient and intelligent community. This paper presents how the IoT could be incorporated into the epidemic prevention and control system. Specifically, we demonstrate a potential fog-cloud combined IoT platform that can be used in the systematic and intelligent COVID-19 prevention and control, which involves five interventions including COVID-19 Symptom Diagnosis, Quarantine Monitoring, Contact Tracing & Social Distancing, COVID-19 Outbreak Forecasting, and SARS-CoV-2 Mutation Tracking. We investigate and review the state-of-the-art literatures of these five interventions to present the capabilities of IoT in countering against the current COVID-19 pandemic or future infectious disease epidemics.


title: Error-robust quantum logic optimization using a cloud quantum computer interface

abstract: We describe an experimental effort designing and deploying error-robust single-qubit operations using a cloud-based quantum computer and analog-layer programming access. We design numerically-optimized pulses that implement target operations and exhibit robustness to various error processes including dephasing noise, instabilities in control amplitudes, and crosstalk. Pulse optimization is performed using a flexible optimization package incorporating a device model and physically-relevant constraints (e.g. bandwidth limits on the transmission lines of the dilution refrigerator housing IBM Quantum hardware). We present techniques for conversion and calibration of physical Hamiltonian definitions to pulse waveforms programmed via Qiskit Pulse and compare performance against hardware default DRAG pulses on a five-qubit device. Experimental measurements reveal default DRAG pulses exhibit coherent errors an order of magnitude larger than tabulated randomized-benchmarking measurements; solutions designed to be robust against these errors outperform hardware-default pulses for all qubits across multiple metrics. Experimental measurements demonstrate performance enhancements up to: $\sim10\times$ single-qubit gate coherent-error reduction; $\sim5\times$ average coherent-error reduction across a five qubit system; $\sim10\times$ increase in calibration window to one week of valid pulse calibration; $\sim12\times$ reduction gate-error variability across qubits and over time; and up to $\sim9\times$ reduction in single-qubit gate error (including crosstalk) in the presence of fully parallelized operations. Randomized benchmarking reveals error rates for Clifford gates constructed from optimized pulses consistent with tabulated $T_{1}$ limits, and demonstrates a narrowing of the distribution of outcomes over randomizations associated with suppression of coherent-errors.


title: Ternary Nitride Materials: Fundamentals and Emerging Device Applications

abstract: Interest in inorganic ternary nitride materials has grown rapidly over the past few decades, as their diversity of chemistries and structures make them appealing for a variety of applications. Due to synthetic challenges posed by the stability of N2, the number of predicted nitride compounds dwarfs those that have been synthesized, offering a breadth of opportunity for exploration. This review summarizes the fundamental properties and structural chemistry of ternary nitrides, leveraging metastability and the impact of nitrogen chemical potential. A discussion of prevalent defects, both detrimental and beneficial, is followed by a survey of synthesis techniques and their interplay with metastability. Throughout the review, we highlight applications (such as solid-state lighting, electrochemical energy storage, and electronic devices) in which ternary nitrides show particular promise.


title: Gradient estimates for a class of elliptic and parabolic equations on Riemannian manifolds

abstract: Let $(N, g)$ be a complete noncompact Riemannian manifold with Ricci curvature bounded from below. In this paper, we study the gradient estimates of positive solutions to a class of nonlinear elliptic equations $$\Delta u(x)+a(x)u(x)\log u(x)+b(x)u(x)=0$$ on $N$ where $a(x)$ is $C^{2}$-smooth while $b(x)$ is $C^{1}$ and its parabolic counterparts $$(\Delta-\frac{\partial}{\partial t})u(x,t)+a(x,t)u(x,t)\log u(x,t) + b(x,t)u(x,t)=0$$ on $N\times[0, \infty)$ where $a(x,t)$ and $b(x,t)$ are $C^{2} $ with respect to $x\in N$ while are $C^{1}$ with respect to the time $t$. In contrast with lots of similar results, here we do not assume the coefficients of equations are constant, so our results can be viewed as extensions to several classical estimates.


title: Disorder-Enhanced and Disorder-Independent Transport with Long-Range Hopping: Application to Molecular Chains in Optical Cavities

abstract: Overcoming the detrimental effect of disorder at the nanoscale is very hard since disorder induces localization and an exponential suppression of transport efficiency. Here we unveil novel and robust quantum transport regimes achievable in nanosystems by exploiting long-range hopping. We demonstrate that in a 1D disordered nanostructure in the presence of long-range hopping, transport efficiency, after decreasing exponentially with disorder at first, is then enhanced by disorder [disorder-enhanced transport (DET) regime] until, counterintuitively, it reaches a disorder-independent transport (DIT) regime, persisting over several orders of disorder magnitude in realistic systems. To enlighten the relevance of our results, we demonstrate that an ensemble of emitters in a cavity can be described by an effective long-range Hamiltonian. The specific case of a disordered molecular wire placed in an optical cavity is discussed, showing that the DIT and DET regimes can be reached with state-of-the-art experimental setups.


title: Stochastic Bandits with Vector Losses: Minimizing $\ell^\infty$-Norm of Relative Losses

abstract: Multi-armed bandits are widely applied in scenarios like recommender systems, for which the goal is to maximize the click rate. However, more factors should be considered, e.g., user stickiness, user growth rate, user experience assessment, etc. In this paper, we model this situation as a problem of $K$-armed bandit with multiple losses. We define relative loss vector of an arm where the $i$-th entry compares the arm and the optimal arm with respect to the $i$-th loss. We study two goals: (a) finding the arm with the minimum $\ell^\infty$-norm of relative losses with a given confidence level (which refers to fixed-confidence best-arm identification); (b) minimizing the $\ell^\infty$-norm of cumulative relative losses (which refers to regret minimization). For goal (a), we derive a problem-dependent sample complexity lower bound and discuss how to achieve matching algorithms. For goal (b), we provide a regret lower bound of $\Omega(T^{2/3})$ and provide a matching algorithm.


title: Design and Fabrication of Elastic Geodesic Grid Structures

abstract: Elastic geodesic grids (EGG) are lightweight structures that can be easily deployed to approximate designer provided free-form surfaces. In the initial configuration the grids are perfectly flat, during deployment, though, curvature is induced to the structure, as grid elements bend and twist. Their layout is found geometrically, it is based on networks of geodesic curves on free-form design-surfaces. Generating a layout with this approach encodes an elasto-kinematic mechanism to the grid that creates the curved shape during deployment. In the final state the grid can be fixed to supports and serve for all kinds of purposes like free-form sub-structures, paneling, sun and rain protectors, pavilions, etc. However, so far these structures have only been investigated using small-scale desktop models. We investigate the scalability of such structures, presenting a medium sized model. It was designed by an architecture student without expert knowledge on elastic structures or differential geometry, just using the elastic geodesic grids design-pipeline. We further present a fabrication-process for EGG-models. They can be built quickly and with a small budget.


title: APF-PF: Probabilistic Depth Perception for 3D Reactive Obstacle Avoidance

abstract: This paper proposes a framework for 3D obstacle avoidance in the presence of partial observability of environment obstacles. The method focuses on the utility of the Artificial Potential Function (APF) controller in a practical setting where noisy and incomplete information about the proximity is inevitable. We propose a Particle Filter (PF) approach to estimate potential obstacle locations in an input depth image stream. The probable candidates are then used to generate an action that maneuvers the robot towards the negative gradient of potential at each time instant. Rigorous experimental validation on a quadrotor UAV highlights the robustness and reliability of the method when robot's sensitivity to incorrect perception information can be concerning. The proposed perception and control stack is run onboard the UAV, demonstrating the computational feasibility for real-time applications and agile robots.


title: Coarse $\mathcal{Z}$-Boundaries for Groups

abstract: We generalize Bestvina's notion of a $\mathcal{Z}$-boundary for a group to that of a "coarse $\mathcal{Z}$-boundary." We show that established theorems about $\mathcal{Z}$-boundaries carry over nicely to the more general theory, and that some wished-for properties of $\mathcal{Z}$-boundaries become theorems when applied to coarse $\mathcal{Z}$-boundaries. Most notably, the property of admitting a coarse $\mathcal{Z}$-boundary is a pure quasi-isometry invariant. In the process, we streamline both new and existing definitions by introducing the notion of a "model $\mathcal{Z}$-geometry." In accordance with the existing theory, we also develop an equivariant version of the above -- that of a "coarse $E\mathcal{Z}$-boundary."


title: FPRaker: A Processing Element For Accelerating Neural Network Training

abstract: We present FPRaker, a processing element for composing training accelerators. FPRaker processes several floating-point multiply-accumulation operations concurrently and accumulates their result into a higher precision accumulator. FPRaker boosts performance and energy efficiency during training by taking advantage of the values that naturally appear during training. Specifically, it processes the significand of the operands of each multiply-accumulate as a series of signed powers of two. The conversion to this form is done on-the-fly. This exposes ineffectual work that can be skipped: values when encoded have few terms and some of them can be discarded as they would fall outside the range of the accumulator given the limited precision of floating-point. We demonstrate that FPRaker can be used to compose an accelerator for training and that it can improve performance and energy efficiency compared to using conventional floating-point units under ISO-compute area constraints. We also demonstrate that FPRaker delivers additional benefits when training incorporates pruning and quantization. Finally, we show that FPRaker naturally amplifies performance with training methods that use a different precision per layer.


title: TextMage: The Automated Bangla Caption Generator Based On Deep Learning

abstract: Neural Networks and Deep Learning have seen an upsurge of research in the past decade due to the improved results. Generates text from the given image is a crucial task that requires the combination of both sectors which are computer vision and natural language processing in order to understand an image and represent it using a natural language. However existing works have all been done on a particular lingual domain and on the same set of data. This leads to the systems being developed to perform poorly on images that belong to specific locales' geographical context. TextMage is a system that is capable of understanding visual scenes that belong to the Bangladeshi geographical context and use its knowledge to represent what it understands in Bengali. Hence, we have trained a model on our previously developed and published dataset named BanglaLekhaImageCaptions. This dataset contains 9,154 images along with two annotations for each image. In order to access performance, the proposed model has been implemented and evaluated.


title: Montague Grammar Induction

abstract: We propose a computational modeling framework for inducing combinatory categorial grammars from arbitrary behavioral data. This framework provides the analyst fine-grained control over the assumptions that the induced grammar should conform to: (i) what the primitive types are; (ii) how complex types are constructed; (iii) what set of combinators can be used to combine types; and (iv) whether (and to what) the types of some lexical items should be fixed. In a proof-of-concept experiment, we deploy our framework for use in distributional analysis. We focus on the relationship between s(emantic)-selection and c(ategory)-selection, using as input a lexicon-scale acceptability judgment dataset focused on English verbs' syntactic distribution (the MegaAcceptability dataset) and enforcing standard assumptions from the semantics literature on the induced grammar.


title: Electrolytes for Li-ion all-solid-state batteries: a first-principles comparative study of Li10GeP2O12 and Li10GeP2S12 in the LISICON and LGPS phases

abstract: In this work we address Li-ion diffusion in thio-LISICON materials and in their oxide counterparts, exploring both the orthorhombic and tetragonal phases of Li10GeP2S12(LGPS) and Li10GeP2O12(LGPO) through extended Car-Parrinello molecular dynamics in the canonical and isobaric-isothermal ensemble. The (quasi-)orthorhombic and tetragonal phases are studied both for the oxide and for the sulfide, with the aim of comparing their conductivity with the same approach; out of these four case studies, tetragonal LGPO has not been reported and, while dynamically stable, it sits (0.04 Ha/formula unit) above orthorhombic LGPO. We calculate activation energies for diffusion of 0.18 eV and 0.23 eV for tetragonal and orthorhombic LGPS, and of 0.22 eV and 0.34eV for tetragonal and orthorhombic LGPO. In line with experiments, we find orthorhombic LGPO orders of magnitude less conductive, at room temperature, than the two sulfide systems. However, this is not the case for tetragonal LGPO, which, although less stable than its orthorhombic allotrope, shows at room temperature a conductivity comparable to orthorhombic and tetragonal LGPS, and, if synthesized, could make a very attractive Li-ion conductor.


title: Optimal control and stablilization for linear continuous-time mean-field systems with delay

abstract: This paper studies optimal control and stabilization problems for continuous-time mean-field systems with input delay, which are the fundamental development of control and stabilization problems for mean-field systems. There are two main contributions: 1) To the best of our knowledge, the present paper is first to establish the necessary and sufficient solvability condition for this kind of optimal control problem with delay, and to derive an optimal controller through overcoming the obstacle that separation principle no longer holds for multiplicative-noise systems; 2) For the stabilization problem, under the assumption of exact observability, we strictly prove thatthe system is stabilizable if and only if the algebraic Riccati equation has a unique positive definite solution.


title: Analysis of a Reduced-Order Model for the Simulation of Elastic Geometric Zigzag-Spring Meta-Materials

abstract: We analyze the performance of a reduced-order simulation of geometric meta-materials based on zigzag patterns using a simplified representation. As geometric meta-materials we denote planar cellular structures which can be fabricated in 2d and bent elastically such that they approximate doubly-curved 2-manifold surfaces in 3d space. They obtain their elasticity attributes mainly from the geometry of their cellular elements and their connections. In this paper we focus on cells build from so-called zigzag springs. The physical properties of the base material (i.e., the physical substance) influence the behavior as well, but we essentially factor them out by keeping them constant. The simulation of such complex geometric structures comes with a high computational cost, thus we propose an approach to reduce it by abstracting the zigzag cells by a simpler model and by learning the properties of their elastic deformation behavior. In particular, we analyze the influence of the sampling of the full parameter space and the expressiveness of the reduced model compared to the full model. Based on these observations, we draw conclusions on how to simulate such complex meso-structures with simpler models.


title: Shrinkage Estimation for the Diagonal Multivariate Exponential Families

abstract: We study shrinkage estimation of the mean parameters of a class of multivariate distributions for which the diagonal entries of the corresponding covariance matrix are certain quadratic functions of the mean parameter. This class of distributions includes the diagonal multivariate natural exponential families. We propose two classes of semi-parametric shrinkage estimators for the mean and construct unbiased estimators of the corresponding risk. We establish the asymptotic consistency and convergence rates for these shrinkage estimators under squared error loss as both $n$, the sample size, and $p$, the dimension, tend to infinity. Next, we specialize these results to the diagonal multivariate natural exponential families, which have been classified as consisting of the normal, Poisson, gamma, multinomial, negative multinomial, and hybrid classes of distributions. We establish the consistency of our estimators in the normal, gamma, and negative multinomial cases subject to the condition that $p n^{-1/3} (\log{n})^{4/3} \to 0$, and in the Poisson and multinomial cases if $p n^{-1/2} \to 0$, as $n,p \to \infty$. Simulation studies are provided to evaluate the performance of our estimators and we illustrate that, in the gamma and Poisson cases, our estimators achieve lower risk than the maximum likelihood estimator, thereby demonstrating the superiority of our estimators over the maximum likelihood estimator.


title: Estimates for the empirical distribution along a geodesic in first-passage percolation

abstract: In first-passage percolation, we assign i.i.d.~nonnegative weights $(t_e)$ to the nearest-neighbor edges of $\mathbb{Z}^d$ and study the induced pseudometric $T = T(x,y)$. In this paper, we focus on geodesics, or optimal paths for $T$, and estimate the empirical distribution of weights along them. We prove an upper bound for the expected number of edges with weight $\geq M$ in the union of all geodesics from $0$ to $x$ of the form $q(M) \mathbb{P}(t_e \geq M)|x|$, where $q(M) \leq e^{-cM}$. This shows that the tail of the expected empirical distribution along a geodesic is lighter than that of the original weight distribution by an exponential factor. We also give a lower bound for the expected minimal number of edges with weight $\geq M$ in any geodesic from $0$ to $x$ in terms of $\mathbb{P}(t_e \geq M)$ and $\mathbb{P}(t_e \in [M,2M])$. For example, these two imply that if $t_e$ has a power law tail of the form $\mathbb{P}(t_e \geq M) \sim M^{-\alpha}$, then the tail of the expected empirical distribution asymptotically lies between $e^{-CM \log M}$ and $e^{-cM}$. We also provide estimates for the expected number of edges in a geodesic with weight in a set $A$ for (a) arbitrary $A$, (b) $A$ an interval separated from the infimum of the support of $t_e$ and (c) $A=[0,a]$ for some $a \geq 0$.


title: On Gluck's conjecture

abstract: This paper presents the best known bounds for a conjecture of Gluck and a conjecture of Navarro.


title: Cyclic sieving and orbit harmonics

abstract: Orbit harmonics is a tool in combinatorial representation theory which promotes the (ungraded) action of a linear group $G$ on a finite set $X$ to a graded action of $G$ on a polynomial ring quotient by viewing $X$ as a $G$-stable point locus in $\mathbb{C}^n$. The cyclic sieving phenomenon is a notion in enumerative combinatorics which encapsulates the fixed-point structure of the action of a finite cyclic group $C$ on a finite set $X$ in terms of root-of-unity evaluations of an auxiliary polynomial $X(q)$. We apply orbit harmonics to prove cyclic sieving results.


title: Stability and Robustness of the Disturbance Observer-based Motion Control Systems in Discrete-Time Domain

abstract: This paper analyses the robust stability and performance of the Disturbance Observer- (DOb-) based digital motion control systems in discrete-time domain. It is shown that the phase margin and the robustness of the digital motion controller can be directly adjusted by tuning the nominal plant model and the bandwidth of the observer. However, they have upper and lower bounds due to robust stability and performance constraints as well as noise-sensitivity. The constraints on the design parameters of the DOb change when the digital motion controller is synthesised by measuring different states of a servo system. For example, the bandwidth of the DOb is limited by noise-sensitivity and waterbed effect when velocity and position measurements are employed in the digital robust motion controller synthesis. The robustness constraint due to the waterbed effect is removed when the DOb is implemented by acceleration measurement. The design constraints on the nominal plant model and the bandwidth of the observer are analytically derived by employing the generalised Bode Integral Theorem in discrete-time. The proposed design constraints allow one to systematically synthesise a high-performance DOb-based digital robust motion controller. Experimental results are given to verify the proposed analysis and synthesis methods.


title: Learning Social Networks from Text Data using Covariate Information

abstract: Describing and characterizing the impact of historical figures can be challenging, but unraveling their social structures perhaps even more so. Historical social network analysis methods can help and may also illuminate people who have been overlooked by historians but turn out to be influential social connection points. Text data, such as biographies, can be a useful source of information about the structure of historical social networks but can also introduce challenges in identifying links. The Local Poisson Graphical Lasso model leverages the number of co-mentions in the text to measure relationships between people and uses a conditional independence structure to model a social network. This structure will reduce the tendency to overstate the relationship between "friends of friends", but given the historical high frequency of common names, without additional distinguishing information, we can still introduce incorrect links. In this work, we extend the Local Poisson Graphical Lasso model with a (multiple) penalty structure that incorporates covariates giving increased link probabilities to people with shared covariate information. We propose both greedy and Bayesian approaches to estimate the penalty parameters. We present results on data simulated with characteristics of historical networks and show that this type of penalty structure can improve network recovery as measured by precision and recall. We also illustrate the approach on biographical data of individuals who lived in early modern Britain, targeting the period from 1500 to 1575.


title: Characteristic determinant and Manakov triple for the double elliptic integrable system

abstract: Using the intertwining matrix of the IRF-Vertex correspondence we propose a determinant representation for the generating function of the commuting Hamiltonians of the double elliptic integrable system. More precisely, it is a ratio of the normally ordered determinants, which turns into a single determinant in the classical case. With its help we reproduce the recently suggested expression for the eigenvalues of the Hamiltonians for the dual to elliptic Ruijsenaars model. Next, we study the classical counterpart of our construction, which gives expression for the spectral curve and the corresponding $L$-matrix. This matrix is obtained explicitly as a weighted average of the Ruijsenaars and/or Sklyanin type Lax matrices with the weights as in the theta function series definition. By construction the $L$-matrix satisfies the Manakov triple representation instead of the Lax equation. Finally, we discuss the factorized structure of the $L$-matrix.


title: Synthesis of narrow SnTe nanowires using alloy nanoparticles

abstract: Topological crystalline insulator tin telluride (SnTe) provides a rich playground to examine interactions of correlated electronic states, such as ferroelectricity, topological surface states, and superconductivity. Making SnTe into nanowires further induces novel electronic states due to one-dimensional (1D) confinement effects. Thus, for transport measurements, SnTe nanowires must be made narrow in their diameters to ensure the 1D confinement and phase coherence of the topological surface electrons. This study reports a facile growth method to produce narrow SnTe nanowires with a high yield using alloy nanoparticles as growth catalysts. The average diameter of the SnTe nanowires grown using the alloy nanoparticles is 85 nm, nearly a factor of three reduction from the previous average diameter of 240 nm using gold nanoparticles as growth catalysts. Transport measurements reveal the effect of the nanowire diameter on the residual resistance ratio and magnetoresistance. Particularly, the ferroelectric transition temperature for SnTe is observed to change systematically with the nanowire diameter. In situ cryogenic cooling of narrow SnTe nanowires in a transmission electron microscope directly reveals the cubic to rhombohedral structural transition, which is associated with the ferroelectric transition. Thus, these narrow SnTe nanowires represent a model system to study electronic states arising from the 1D confinement, such as 1D topological superconductivity as well as a potential multi-band superconductivity.


title: Revisiting Shao and Sokal's $B_2$ index of phylogenetic balance

abstract: Measures of phylogenetic balance, such as the Colless and Sackin indices, play an important role in phylogenetics. Unfortunately, these indices are specifically designed for phylogenetic trees, and do not extend naturally to phylogenetic networks (which are increasingly used to describe reticulate evolution). This led us to consider a lesser-known balance index, whose definition is based on a probabilistic interpretation that is equally applicable to trees and to networks. This index, known as the $B_2$ index, was first proposed by Shao and Sokal in 1990. Surprisingly, it does not seem to have been studied mathematically since. Likewise, it is used only sporadically in the biological literature, where it tends to be viewed as arcane. In this paper, we study mathematical properties of $B_2$ such as its expectation and variance under the most common models of random trees and its extremal values over various classes of phylogenetic networks. We also assess its relevance in biological applications, and find it to be comparable to that of the Colless and Sackin indices. Altogether, our results call for a reevaluation of the status of this somewhat forgotten measure of phylogenetic balance.


title: Global existence of weak solutions to the Navier-Stokes equations with temperature-depending viscosity coefficient

abstract: In this paper, the initial-boundary value problem to the three-dimensional inhomogeneous, incompressible and heat-conducting Navier-Stokes equations with temperature-depending viscosity coefficient is considered in a bounded domain. The viscosity coefficient is degenerate and may vanish in the region of absolutely zero temperature. Global existence of weak solutions to such a system is established for the large initial data. The proof is based on a three-level approximate scheme, the De Giorgi's method and compactness arguments.


title: Time-dependent quantum harmonic oscillator: a continuous route from adiabatic to sudden changes

abstract: In this work, we provide an answer to the question: how sudden or adiabatic is a change in the frequency of a quantum harmonic oscillator (HO)? To do this, we investigate the behavior of a HO, initially in its fundamental state, by making a frequency transition that we can control how fast it occurs. The resulting state of the system is shown to be a vacuum squeezed state in two bases related by Bogoliubov transformations. We characterize the time evolution of the squeezing parameter in both bases and discuss its relation with adiabaticity by changing the rate of the frequency transition from sudden to adiabatic. Finally, we obtain an analytical approximate expression that relates squeezing to the transition rate as well as the initial and final frequencies. Our results shed some light on subtleties and common inaccuracies in the literature related to the interpretation of the adiabatic theorem for this system.


title: Nonparametric iterated-logarithm extensions of the sequential generalized likelihood ratio test

abstract: We develop a nonparametric extension of the sequential generalized likelihood ratio (GLR) test and corresponding time-uniform confidence sequences for the mean of a univariate distribution. By utilizing a geometric interpretation of the GLR statistic, we derive a simple analytic upper bound on the probability that it exceeds any prespecified boundary; these are intractable to approximate via simulations due to infinite horizon of the tests and the composite nonparametric nulls under consideration. Using time-uniform boundary-crossing inequalities, we carry out a unified nonasymptotic analysis of expected sample sizes of one-sided and open-ended tests over nonparametric classes of distributions (including sub-Gaussian, sub-exponential, sub-gamma, and exponential families). Finally, we present a flexible and practical method to construct time-uniform confidence sequences that are easily tunable to be uniformly close to the pointwise Chernoff bound over any target time interval.


title: Near-Linear Time Homomorphism Counting in Bounded Degeneracy Graphs: The Barrier of Long Induced Cycles

abstract: Counting homomorphisms of a constant sized pattern graph $H$ in an input graph $G$ is a fundamental computational problem. There is a rich history of studying the complexity of this problem, under various constraints on the input $G$ and the pattern $H$. Given the significance of this problem and the large sizes of modern inputs, we investigate when near-linear time algorithms are possible. We focus on the case when the input graph has bounded degeneracy, a commonly studied and practically relevant class for homomorphism counting. It is known from previous work that for certain classes of $H$, $H$-homomorphisms can be counted exactly in near-linear time in bounded degeneracy graphs. Can we precisely characterize the patterns $H$ for which near-linear time algorithms are possible? We completely resolve this problem, discovering a clean dichotomy using fine-grained complexity. Let $m$ denote the number of edges in $G$. We prove the following: if the largest induced cycle in $H$ has length at most $5$, then there is an $O(m\log m)$ algorithm for counting $H$-homomorphisms in bounded degeneracy graphs. If the largest induced cycle in $H$ has length at least $6$, then (assuming standard fine-grained complexity conjectures) there is a constant $\gamma > 0$, such that there is no $o(m^{1+\gamma})$ time algorithm for counting $H$-homomorphisms.


title: Bound states in the B-matrix formalism for the three-body scattering

abstract: We consider a model of relativistic three-body scattering with a bound state in the two-body sub-channel. We show that the na\"ive K-matrix type parametrization, here referred to as the B-matrix, has nonphysical singularities near the physical region. We show how to eliminate such singularities by using dispersion relations and also show how to reproduce unitarity relations by taking into account all relevant open channels.


title: On binomial coefficients associated with Sierpi\'{n}ski and Riesel numbers

abstract: In this paper, we investigate the existence of Sierpi\'{n}ski numbers and Riesel numbers as binomial coefficients. We show that for any odd positive integer $r$, there exist infinitely many Sierpi\'{n}ski numbers and Riesel numbers of the form $\binom{k}{r}$. Let $S(x)$ be the number of positive integers $r$ satisfying $1\leq r\leq x$ for which $\binom{k}{r}$ is a Sierpi\'{n}ski number for infinitely many $k$. We further show that the value $S(x)/x$ gets arbitrarily close to 1 as $x$ tends to infinity. Generalizations to base $a$-Sierpi\'{n}ski numbers and base $a$-Riesel numbers are also considered. In particular, we prove that there exist infinitely many positive integers $r$ such that $\binom{k}{r}$ is simultaneously a base $a$-Sierpi\'{n}ski and base $a$-Riesel number for infinitely many $k$.


title: Global, Non-scattering solutions to the energy critical wave maps equation

abstract: We consider the 1-equivariant energy critical wave maps problem with two-sphere target. Using a method based on matched asymptotic expansions, we construct infinite time relaxation, blow-up, and intermediate types of solutions that have topological degree one. More precisely, for a symbol class of admissible, time-dependent length scales, we construct solutions which can be decomposed as a ground state harmonic map (soliton) re-scaled by an admissible length scale, plus radiation, and small corrections which vanish (in a suitable sense) as time approaches infinity. Our class of admissible length scales includes positive and negative powers of t, with exponents sufficiently small in absolute value. In addition, we obtain solutions with soliton length scale undergoing damped or undamped oscillations in a bounded set, or undergoing unbounded oscillations, for all sufficiently large t.


title: Performance evaluation and application of computation based low-cost homogeneous machine learning model algorithm for image classification

abstract: The image classification machine learning model was trained with the intention to predict the category of the input image. While multiple state-of-the-art ensemble model methodologies are openly available, this paper evaluates the performance of a low-cost, simple algorithm that would integrate seamlessly into modern production-grade cloud-based applications. The homogeneous models, trained with the full instead of subsets of data, contains varying hyper-parameters and neural layers from one another. These models' inferences will be processed by the new algorithm, which is loosely based on conditional probability theories. The final output will be evaluated.


title: Extension of the Bessmertnyi Realization Theorem for Rational Functions of Several Complex Variables

abstract: We prove a realization theorem for rational functions of several complex variables which extends the main theorem of M. Bessmertnyi, "On realizations of rational matrix functions of several complex variables," in Vol. 134 of Oper. Theory Adv. Appl., pp. 157-185, Birkh\"{a}user Verlag, Basel, 2002. In contrast to Bessmertnyi's approach of solving large systems of linear equations, we use an operator theoretical approach based on the theory of Schur complements. This leads to a simpler and more "natural" construction to solving the realization problem as we need only apply elementary algebraic operations to Schur complements such as sums, products, inverses, and compositions. A novelty of our approach is the use of Kronecker product as opposed to the matrix product in the realization problem. As such our synthetic approach leads to a solution of the realization problem that has potential for further extensions and applications within multidimensional systems theory especially for those linear models associated with electric circuits, networks, and composites.


title: Self-consistent calculation of localized orbital scaling correction for correct electron densities and energy level alignment in density functional theory

abstract: The recently developed localized orbital scaling correction (LOSC) method shows the ability to systematically and size-consistently reduce the delocalization error existing in conventional density functional approximations (DFAs). Applying LOSC to conventional DFAs (LOSC-DFAs) gives much improvement for the description of related properties, including band gaps, total energies and photoemission spectra. However, concern and issue remain: the application of LOSC to DFAs is mainly through a post self-consistent field (SCF) manner, and few results from applying LOSC to DFAs with a SCF manner have been reported. The reason is the originally proposed SCF approach for SCF-LOSC calculation uses an approximate Hamiltonian and encounters convergence problems easily in practice. In this work, we develop a new SCF approach with a correct Hamiltonian and achieve reliable SCF-LOSC calculations. We demonstrate the capability of the new SCF approach for SCF-LOSC to correctly describe the electron densities, total energies and energy level alignment for the molecular dissociation process, while conventional DFAs or LOSC-DFAs with post-SCF calculations show large errors. This work demonstrates that the new SCF approach for SCF-LOSC would be a promising method to study problems for correct electron densities and energy level alignment in large systems.


title: Inferring symmetry in natural language

abstract: We present a methodological framework for inferring symmetry of verb predicates in natural language. Empirical work on predicate symmetry has taken two main approaches. The feature-based approach focuses on linguistic features pertaining to symmetry. The context-based approach denies the existence of absolute symmetry but instead argues that such inference is context dependent. We develop methods that formalize these approaches and evaluate them against a novel symmetry inference sentence (SIS) dataset comprised of 400 naturalistic usages of literature-informed verbs spanning the spectrum of symmetry-asymmetry. Our results show that a hybrid transfer learning model that integrates linguistic features with contextualized language models most faithfully predicts the empirical data. Our work integrates existing approaches to symmetry in natural language and suggests how symmetry inference can improve systematicity in state-of-the-art language models.


title: PiRhDy: Learning Pitch-, Rhythm-, and Dynamics-aware Embeddings for Symbolic Music

abstract: Definitive embeddings remain a fundamental challenge of computational musicology for symbolic music in deep learning today. Analogous to natural language, music can be modeled as a sequence of tokens. This motivates the majority of existing solutions to explore the utilization of word embedding models to build music embeddings. However, music differs from natural languages in two key aspects: (1) musical token is multi-faceted -- it comprises of pitch, rhythm and dynamics information; and (2) musical context is two-dimensional -- each musical token is dependent on both melodic and harmonic contexts. In this work, we provide a comprehensive solution by proposing a novel framework named PiRhDy that integrates pitch, rhythm, and dynamics information seamlessly. PiRhDy adopts a hierarchical strategy which can be decomposed into two steps: (1) token (i.e., note event) modeling, which separately represents pitch, rhythm, and dynamics and integrates them into a single token embedding; and (2) context modeling, which utilizes melodic and harmonic knowledge to train the token embedding. A thorough study was made on each component and sub-strategy of PiRhDy. We further validate our embeddings in three downstream tasks -- melody completion, accompaniment suggestion, and genre classification. Results indicate a significant advancement of the neural approach towards symbolic music as well as PiRhDy's potential as a pretrained tool for a broad range of symbolic music applications.


title: Human Segmentation with Dynamic LiDAR Data

abstract: Consecutive LiDAR scans compose dynamic 3D sequences, which contain more abundant information than a single frame. Similar to the development history of image and video perception, dynamic 3D sequence perception starts to come into sight after inspiring research on static 3D data perception. This work proposes a spatio-temporal neural network for human segmentation with the dynamic LiDAR point clouds. It takes a sequence of depth images as input. It has a two-branch structure, i.e., the spatial segmentation branch and the temporal velocity estimation branch. The velocity estimation branch is designed to capture motion cues from the input sequence and then propagates them to the other branch. So that the segmentation branch segments humans according to both spatial and temporal features. These two branches are jointly learned on a generated dynamic point cloud dataset for human recognition. Our works fill in the blank of dynamic point cloud perception with the spherical representation of point cloud and achieves high accuracy. The experiments indicate that the introduction of temporal feature benefits the segmentation of dynamic point cloud.


title: Saddle-point scrambling without thermalisation

abstract: Out-of-time-order correlators (OTOCs) have proven to be a useful tool for studying thermalisation in quantum systems. In particular, the exponential growth of OTOCS, or scrambling, is sometimes taken as an indicator of chaos in quantum systems, despite the fact that saddle points in integrable systems can also drive rapid growth in OTOCs. By analysing the Dicke model and a driven Bose-Hubbard dimer, we demonstrate that the OTOC growth driven by chaos can, nonetheless, be distinguished from that driven by saddle points through the long-term behaviour. Besides quantitative differences in the long-term average, the saddle point gives rise to large oscillations not observed in the chaotic case. The differences are also highlighted by entanglement entropy, which in the chaotic driven dimer matches a Page curve prediction. These results illustrate additional markers that can be used to distinguish chaotic behaviour in quantum systems, beyond the initial exponential growth in OTOCs.


title: Smart Grid: A Survey of Architectural Elements, Machine Learning and Deep Learning Applications and Future Directions

abstract: The Smart grid (SG), generally known as the next-generation power grid emerged as a replacement for ill-suited power systems in the 21st century. It is in-tegrated with advanced communication and computing capabilities, thus it is ex-pected to enhance the reliability and the efficiency of energy distribution with minimum effects. With the massive infrastructure it holds and the underlying communication network in the system, it introduced a large volume of data that demands various techniques for proper analysis and decision making. Big data analytics, machine learning (ML), and deep learning (DL) plays a key role when it comes to the analysis of this massive amount of data and generation of valuable insights. This paper explores and surveys the Smart grid architectural elements, machine learning, and deep learning-based applications and approaches in the context of the Smart grid. In addition in terms of machine learning-based data an-alytics, this paper highlights the limitations of the current research and highlights future directions as well.


title: Prestacks of Tate type

abstract: This paper introduces the notion of prestacks of Tate type and studies natural geometric conditions on them. We also develop a formalism of Tate-coherent sheaves and define a dualizing gerbe for Tate schemes locally almost of finite type.


title: $L$-functions for families of generalized Kloosterman sums and $p$-adic differential equations

abstract: In this paper, we focus on a family of generalized Kloosterman sums over the torus. With a few changes to Haessig and Sperber's construction, we derive some relative $p$-adic cohomologies corresponding to the $L$-functions. We present explicit forms of bases of top dimensional cohomology spaces, so to obtain a concrete method to compute lower bounds of Newton polygons of the $L$-functions. Using the theory of GKZ system, we derive the Dwork's deformation equation for our family. Furthermore, with the help of Dwork's dual theory and deformation theory, the strong Frobenius structure of this equation is established. Our work adds some new evidences for Dwork's conjecture.


title: Consistent Feature Selection for Analytic Deep Neural Networks

abstract: One of the most important steps toward interpretability and explainability of neural network models is feature selection, which aims to identify the subset of relevant features. Theoretical results in the field have mostly focused on the prediction aspect of the problem with virtually no work on feature selection consistency for deep neural networks due to the model's severe nonlinearity and unidentifiability. This lack of theoretical foundation casts doubt on the applicability of deep learning to contexts where correct interpretations of the features play a central role. In this work, we investigate the problem of feature selection for analytic deep networks. We prove that for a wide class of networks, including deep feed-forward neural networks, convolutional neural networks, and a major sub-class of residual neural networks, the Adaptive Group Lasso selection procedure with Group Lasso as the base estimator is selection-consistent. The work provides further evidence that Group Lasso might be inefficient for feature selection with neural networks and advocates the use of Adaptive Group Lasso over the popular Group Lasso.


title: Agile Robot Navigation through Hallucinated Learning and Sober Deployment

abstract: Learning from Hallucination (LfH) is a recent machine learning paradigm for autonomous navigation, which uses training data collected in completely safe environments and adds numerous imaginary obstacles to make the environment densely constrained, to learn navigation planners that produce feasible navigation even in highly constrained (more dangerous) spaces. However, LfH requires hallucinating the robot perception during deployment to match with the hallucinated training data, which creates a need for sometimes-infeasible prior knowledge and tends to generate very conservative planning. In this work, we propose a new LfH paradigm that does not require runtime hallucination -- a feature we call "sober deployment" -- and can therefore adapt to more realistic navigation scenarios. This novel Hallucinated Learning and Sober Deployment (HLSD) paradigm is tested in a benchmark testbed of 300 simulated navigation environments with a wide range of difficulty levels, and in the real-world. In most cases, HLSD outperforms both the original LfH method and a classical navigation planner.


title: Self-organized wavy infection curve of COVID-19

abstract: Exploiting the SIQR model for COVID-19, I show that the wavy infection curve in Japan is the result of fluctuation of policy on isolation measure imposed by the government and obeyed by citizens. Assuming the infection coefficient be a two-valued function of the number of daily confirmed new cases, I show that when the removal rate of infected individuals is between these two values, the wavy infection curve is self-organized. On the basis of the infection curve, I classify the outbreak of COVID-19 into five types and show that these differences can be related to the relative magnitude of the transmission coefficient and the quarantine rate of infected individuals.


title: When Virtual Therapy and Art Meet: A Case Study of Creative Drawing Game in Virtual Environments

abstract: There have been a resurge lately on virtual therapy and other virtual- and tele-medicine services due to the new normal of practicing 'shelter at home'. In this paper, we propose a creative drawing game for virtual therapy and investigate user's comfort and movement freedom in a pilot study. In a mixed-design study, healthy participants (N=16, 8 females) completed one of the easy or hard trajectories of the virtual therapy game in standing and seated arrangements using a virtual-reality headset. The results from participants' movement accuracy, task completion time, and usability questionnaires indicate that participants had significant performance differences on two levels of the game based on its difficulty (between-subjects factor), but no difference in seated and standing configurations (within-subjects factor). Also, the hard mode was more favorable among participants. This work offers implications on virtual reality and 3D-interactive systems, with specific contributions to virtual therapy, and serious games for healthcare applications.


title: Modeling Token-level Uncertainty to Learn Unknown Concepts in SLU via Calibrated Dirichlet Prior RNN

abstract: One major task of spoken language understanding (SLU) in modern personal assistants is to extract semantic concepts from an utterance, called slot filling. Although existing slot filling models attempted to improve extracting new concepts that are not seen in training data, the performance in practice is still not satisfied. Recent research collected question and answer annotated data to learn what is unknown and should be asked, yet not practically scalable due to the heavy data collection effort. In this paper, we incorporate softmax-based slot filling neural architectures to model the sequence uncertainty without question supervision. We design a Dirichlet Prior RNN to model high-order uncertainty by degenerating as softmax layer for RNN model training. To further enhance the uncertainty modeling robustness, we propose a novel multi-task training to calibrate the Dirichlet concentration parameters. We collect unseen concepts to create two test datasets from SLU benchmark datasets Snips and ATIS. On these two and another existing Concept Learning benchmark datasets, we show that our approach significantly outperforms state-of-the-art approaches by up to 8.18%. Our method is generic and can be applied to any RNN or Transformer based slot filling models with a softmax layer.


title: Estimating Sleep & Work Hours from Alternative Data by Segmented Functional Classification Analysis (SFCA)

abstract: Alternative data is increasingly adapted to predict human and economic behaviour. This paper introduces a new type of alternative data by re-conceptualising the internet as a data-driven insights platform at global scale. Using data from a unique internet activity and location dataset drawn from over 1.5 trillion observations of end-user internet connections, we construct a functional dataset covering over 1,600 cities during a 7 year period with temporal resolution of just 15min. To predict accurate temporal patterns of sleep and work activity from this data-set, we develop a new technique, Segmented Functional Classification Analysis (SFCA), and compare its performance to a wide array of linear, functional, and classification methods. To confirm the wider applicability of SFCA, in a second application we predict sleep and work activity using SFCA from US city-wide electricity demand functional data. Across both problems, SFCA is shown to out-perform current methods.


title: Physics-informed GANs for Coastal Flood Visualization

abstract: As climate change increases the intensity of natural disasters, society needs better tools for adaptation. Floods, for example, are the most frequent natural disaster, but during hurricanes the area is largely covered by clouds and emergency managers must rely on nonintuitive flood visualizations for mission planning. To assist these emergency managers, we have created a deep learning pipeline that generates visual satellite images of current and future coastal flooding. We advanced a state-of-the-art GAN called pix2pixHD, such that it produces imagery that is physically-consistent with the output of an expert-validated storm surge model (NOAA SLOSH). By evaluating the imagery relative to physics-based flood maps, we find that our proposed framework outperforms baseline models in both physical-consistency and photorealism. While this work focused on the visualization of coastal floods, we envision the creation of a global visualization of how climate change will shape our earth.


title: On statistical deficiency: Why the test statistic of the matching method is hopelessly underpowered and uniquely informative

abstract: The random variate m is, in combinatorics, a basis for comparing permutations, as well as the solution to a centuries-old riddle involving the mishandling of hats. In statistics, m is the test statistic for a disused null hypothesis statistical test (NHST) of association, the matching method. In this paper, I show that the matching method has an absolute and relatively low limit on its statistical power. I do so first by reinterpreting Rae's theorem, which describes the joint distributions of m with several rank correlation statistics under a true null. I then derive this property solely from m's unconditional sampling distribution, on which basis I develop the concept of a deficient statistic: a statistic that is insufficient and inconsistent and inefficient with respect to its parameter. Finally, I demonstrate an application for m that makes use of its deficiency to qualify the sampling error in a jointly estimated sample correlation.


title: CentOS Linux for the ATLAS MUCTPI Upgrade

abstract: A new Muon-to-Central-Trigger Processor Interface (MUCTPI) was built as part of the upgrade of the ATLAS Level-1 trigger system for the next Run of the Large Hadron Collider at CERN. The MUCTPI has 208 high-speed optical serial links for receiving muon candidates from the muon trigger detectors. Three high-end FPGAs are used for real-time processing of the muon candidates, for sending trigger information to other parts of the trigger system, and for sending summary information to the data acquisition and monitoring system. A System-on-Chip (SoC) is used for the control, configuration and monitoring of the hardware and the operation of the MUCTPI. The SoC consists of an FPGA part and a processor system. The FPGA part provides communication with the processing FPGAs, while the processor system runs software for communication with the run-control system of the ATLAS experiment. In this paper we will describe our experience with running CentOS Linux on the SoC. Cross-compilation together with the existing framework for building of the ATLAS trigger and data acquisition (TDAQ) software is being used in order to allow the deployment of the TDAQ software directly on the SoC.


title: Improving Calibration of the Large Low-Background Proportional Counter

abstract: The study of low-yield effects requires not only good quality of the original data but also puts high requirements for their processing procedures to increase the efficiency of the selection of useful events. The exploiting of the large cylindrical proportional counter's electrostatic topology allows improving the extrapolation of information about the primary ionization of a multipoint event. Long-term calibration measurements with an external $^{109}$Cd-source allowed the development of a new method for analyzing the pulse shape from a sizeable proportional counter. Optimized analysis of the current's pulse shape from the electron cloud of primary ionization in the counter improved the resolution and energy calibration. As a result, the efficiency of selecting useful events was increased by 25\%.


title: Searching for Scalar Dark Matter via Coupling to Fundamental Constants with Photonic, Atomic and Mechanical Oscillators

abstract: We present a way to search for light scalar dark matter (DM), seeking to exploit putative coupling between dark matter scalar fields and fundamental constants, by searching for frequency modulations in direct comparisons between frequency stable oscillators. Specifically we compare a Cryogenic Sapphire Oscillator (CSO), Hydrogen Maser (HM) atomic oscillator and a bulk acoustic wave quartz oscillator (OCXO). This work includes the first calculation of the dependence of acoustic oscillators on variations of the fundamental constants, and demonstration that they can be a sensitive tool for scalar DM experiments. Results are presented based on 16 days of data in comparisons between the HM and OCXO, and 2 days of comparison between the OCXO and CSO. No evidence of oscillating fundamental constants consistent with a coupling to scalar dark matter is found, and instead limits on the strength of these couplings as a function of the dark matter mass are determined. We constrain the dimensionless coupling constant $d_e$ and combination $|d_{m_e}-d_g|$ across the mass band $4.4\times10^{-19}\lesssim m_\varphi \lesssim 6.8\times10^{-14}\:\text{eV} c^{-2}$, with most sensitive limits $d_e\gtrsim1.59\times10^{-1}$, $|d_{m_e}-dg|\gtrsim6.97\times10^{-1}$. Notably, these limits do not rely on Maximum Reach Analysis (MRA), instead employing the more general coefficient separation technique. This experiment paves the way for future, highly sensitive experiments based on state-of-the-art acoustic oscillators, and we show that these limits can be competitive with the best current MRA-based exclusion limits.


title: Abelian and Non-Abelian Monopole Configuration in Condensed Matters

abstract: We discuss the Abelian and non-Abelian monopoles which could exist in condensed matters. We show how the Dirac monopole can be regularized by the charge screening, and argue that the Dirac monopole of mass of hundred meVs could exist in dielectric condensed matters. Moreover, we generalize this result to non-Abelian condensed matters to show the existence of the non-Abelian monopole configuration in two-gap condensed matters, and present explicit monopole solutions.


title: Self-assembly of coated microdroplets at the sudden expansion of a microchannel

abstract: We report observations of the self-assembly of coated droplets into regular clusters at the sudden expansion of a microfluidic channel. A double emulsion consisting of a regular train of coated microdroplets was created upstream of the channel expansion, so that the inter-drop distance, droplet length, velocity and coating thickness could be varied by imposing different inlet pressures, albeit not independently. Provided that the enlarged channel remains sufficiently confined to prohibit propagation in double file, droplets can assemble sequentially into regular linear clusters at the expansion. Droplets join a cluster via the coalescence of their coating film with that of the group ahead. This coalescence occurs when the droplets approach each other to within a critical distance at the expansion, enabled by hydrodynamic interactions within the train. Clusters comprising a finite number of droplets are obtained because reconfiguration of the droplet assembly during coalescence increases the distance to the following droplet. Decreasing the inter-drop distance increases the cluster size up to a maximum value beyond which continuous clusters form. Formalising these observations in a simple model reveals that clusters of any size are possible but that they occur for increasingly narrow ranges of parameter values. Our experimental observations suggests that background experimental fluctuations limit the maximum discrete cluster size in practice. This method of self-assembly offers a robust alternative to flow focusing for encapsulating multiple cores in a single coating film and the potential to build more complex colloidal building blocks by de-confining the clusters.