title: Self-Adaptive Swarm System (SASS)

abstract: Distributed artificial intelligence (DAI) studies artificial intelligence entities working together to reason, plan, solve problems, organize behaviors and strategies, make collective decisions and learn. This Ph.D. research proposes a principled Multi-Agent Systems (MAS) cooperation framework -- Self-Adaptive Swarm System (SASS) -- to bridge the fourth level automation gap between perception, communication, planning, execution, decision-making, and learning.


title: Ouroboros Functionals, Families of Ouroboros Functions, and Their Relationship to Partial Differential Equations and Probability Theory

abstract: Previously, we have introduced a very small number of examples of what we call Ouroboros functions. Using our already established theory of Ouroboros spaces and their functions, we will provide a set of families of Ouroboros functions that bolster our overall understanding of the Ouroboros spaces. From here, we extend the theory of Ouroboros functions by introducing Ouroboros functionals and Ouroboros functional spaces. Furthermore, we re-frame the expected value of a random variable as an Ouroboros functional, which proves to be more intuitive in view of probabilistic measure theory. We then show that these Ouroboros functions have additional applications, as they are general solutions to certain elementary linear first order partial differential equations (PDEs). We conclude by elaborating upon this connection and discussing future endeavors, which will be centered on answering a given hypothesis.


title: Data Expansion using Back Translation and Paraphrasing for Hate Speech Detection

abstract: With proliferation of user generated contents in social media platforms, establishing mechanisms to automatically identify toxic and abusive content becomes a prime concern for regulators, researchers, and society. Keeping the balance between freedom of speech and respecting each other dignity is a major concern of social media platform regulators. Although, automatic detection of offensive content using deep learning approaches seems to provide encouraging results, training deep learning-based models requires large amounts of high-quality labeled data, which is often missing. In this regard, we present in this paper a new deep learning-based method that fuses a Back Translation method, and a Paraphrasing technique for data augmentation. Our pipeline investigates different word-embedding-based architectures for classification of hate speech. The back translation technique relies on an encoder-decoder architecture pre-trained on a large corpus and mostly used for machine translation. In addition, paraphrasing exploits the transformer model and the mixture of experts to generate diverse paraphrases. Finally, LSTM, and CNN are compared to seek enhanced classification results. We evaluate our proposal on five publicly available datasets; namely, AskFm corpus, Formspring dataset, Warner and Waseem dataset, Olid, and Wikipedia toxic comments dataset. The performance of the proposal together with comparison to some related state-of-art results demonstrate the effectiveness and soundness of our proposal.


title: Bayesian Optimization over Hybrid Spaces

abstract: We consider the problem of optimizing hybrid structures (mixture of discrete and continuous input variables) via expensive black-box function evaluations. This problem arises in many real-world applications. For example, in materials design optimization via lab experiments, discrete and continuous variables correspond to the presence/absence of primitive elements and their relative concentrations respectively. The key challenge is to accurately model the complex interactions between discrete and continuous variables. In this paper, we propose a novel approach referred as Hybrid Bayesian Optimization (HyBO) by utilizing diffusion kernels, which are naturally defined over continuous and discrete variables. We develop a principled approach for constructing diffusion kernels over hybrid spaces by utilizing the additive kernel formulation, which allows additive interactions of all orders in a tractable manner. We theoretically analyze the modeling strength of additive hybrid kernels and prove that it has the universal approximation property. Our experiments on synthetic and six diverse real-world benchmarks show that HyBO significantly outperforms the state-of-the-art methods.


title: General Rough Modeling of Cluster Analysis

abstract: In this research, a general theoretical framework for clustering is proposed over specific partial algebraic systems by the present author. Her theory helps in isolating minimal assumptions necessary for different concepts of clustering information in any form to be realized in a situation (and therefore in a semantics). \emph{It is well-known that of the limited number of proofs in the theory of hard and soft clustering that are known to exist, most involve statistical assumptions}. Many methods seem to work because they seem to work in specific empirical practice. A new general rough method of analyzing clusterings is invented, and this opens the subject to clearer conceptions and contamination-free theoretical proofs. Numeric ideas of validation are also proposed to be replaced by those based on general rough approximation. The essence of the approach is explained in brief and supported by an example.


title: Explainable AI for medical imaging: Explaining pneumothorax diagnoses with Bayesian Teaching

abstract: Limited expert time is a key bottleneck in medical imaging. Due to advances in image classification, AI can now serve as decision-support for medical experts, with the potential for great gains in radiologist productivity and, by extension, public health. However, these gains are contingent on building and maintaining experts' trust in the AI agents. Explainable AI may build such trust by helping medical experts to understand the AI decision processes behind diagnostic judgements. Here we introduce and evaluate explanations based on Bayesian Teaching, a formal account of explanation rooted in the cognitive science of human learning. We find that medical experts exposed to explanations generated by Bayesian Teaching successfully predict the AI's diagnostic decisions and are more likely to certify the AI for cases when the AI is correct than when it is wrong, indicating appropriate trust. These results show that Explainable AI can be used to support human-AI collaboration in medical imaging.


title: First simultaneous in situ measurements of a coronal mass ejection by Parker Solar Probe and STEREO-A

abstract: We present the first PSP-observed CME that hits a second spacecraft before the end of the PSP encounter, providing an excellent opportunity to study short-term CME evolution. The CME was launched from the Sun on 10 October 2019 and was measured in situ at PSP on 13 October 2019 and at STEREO-A on 14 October 2019. The small, but not insignificant, radial (~0.15 au) and longitudinal (~8 deg) separation between PSP and STEREO-A at this time allows for observations of both short-term radial evolution as well as investigation of the global CME structure in longitude. Although initially a slow CME, magnetic field and plasma observations indicate that the CME drove a shock at STEREO-A and also exhibited an increasing speed profile through the CME (i.e. evidence for compression). We find that the presence of the shock and other compression signatures at 1 au are due to the CME having been overtaken and accelerated by a high speed solar wind stream (HSS). We estimate the minimum interaction time between the CME and the HSS to be about 2.5 days, indicating the interaction started well before the CME arrival at PSP and STEREO-A. Despite alterations of the CME by the HSS, we find that the CME magnetic field structure is similar between the vantage points, with overall the same flux rope classification and the same field distortions present. These observations are consistent with the fact that coherence in the magnetic structure is needed for steady and continued acceleration of the CME.


title: Mitigating Current Variation in Particle Beam Microscopy

abstract: Particle beam microscopy uses a scanning beam of charged particles to create images of samples, and the quality of image reconstruction suffers when this beam current varies over time. Neither conventional reconstruction methods nor time-resolved sensing acknowledges beam current variation, although through sensitivity analysis, my project demonstrates that when the beam current variation is appreciable, time-resolved sensing has significant improvement compared to conventional methods in terms of image reconstruction quality, specifically mean-squared error (MSE). To more actively combat this unknown varying beam current's effects, my project further focuses on designing an algorithm that uses time-resolved sensing for even better image reconstruction quality in the presence of beam current variation. This algorithm works by simultaneously estimating the unknown beam current variation in addition to the underlying image, offering an alternative to more conventional methods, which exploit statistical assumptions of the image content without explicitly estimating the beam current. Using a concept of excess MSE due to beam current variation, this algorithm provides a factor of 7 improvement on average, which could lead to less expensive equipment in the future. Beyond improving the image estimation, this algorithm offers a novel estimation of the beam current, potentially providing more control in manufacturing and fabrication processes.


title: Does class size matter? An in-depth assessment of the effect of class size in software defect prediction

abstract: In the past 20 years, defect prediction studies have generally acknowledged the effect of class size on software prediction performance. To quantify the relationship between object-oriented (OO) metrics and defects, modelling has to take into account the direct, and potentially indirect, effects of class size on defects. However, some studies have shown that size cannot be simply controlled or ignored, when building prediction models. As such, there remains a question whether, and when, to control for class size. This study provides a new in-depth examination of the impact of class size on the relationship between OO metrics and software defects or defect-proneness. We assess the impact of class size on the number of defects and defect-proneness in software systems by employing a regression-based mediation (with bootstrapping) and moderation analysis to investigate the direct and indirect effect of class size in count and binary defect prediction. Our results show that the size effect is not always significant for all metrics. Of the seven OO metrics we investigated, size consistently has significant mediation impact only on the relationship between Coupling Between Objects (CBO) and defects/defect-proneness, and a potential moderation impact on the relationship between Fan-out and defects/defect-proneness. Based on our results we make three recommendations. One, we encourage researchers and practitioners to examine the impact of class size for the specific data they have in hand and through the use of the proposed statistical mediation/moderation procedures. Two, we encourage empirical studies to investigate the indirect effect of possible additional variables in their models when relevant. Three, the statistical procedures adopted in this study could be used in other empirical software engineering research to investigate the influence of potential mediators/moderators.


title: Cartographic Design of Cultural Maps

abstract: Throughout history, maps have been used as a tool to explore cities. They visualize a city's urban fabric through its streets, buildings, and points of interest. Besides purely navigation purposes, street names also reflect a city's culture through its commemorative practices. Therefore, cultural maps that unveil socio-cultural characteristics encoded in street names could potentially raise citizens' historical awareness. But designing effective cultural maps is challenging, not only due to data scarcity but also due to the lack of effective approaches to engage citizens with data exploration. To address these challenges, we collected a dataset of 5,000 streets across the cities of Paris, Vienna, London, and New York, and built their cultural maps grounded on cartographic storytelling techniques. Through data exploration scenarios, we demonstrated how cultural maps engage users and allow them to discover distinct patterns in the ways these cities are gender-biased, celebrate various professions, and embrace foreign cultures.


title: Learning to Price Against a Moving Target

abstract: In the Learning to Price setting, a seller posts prices over time with the goal of maximizing revenue while learning the buyer's valuation. This problem is very well understood when values are stationary (fixed or iid). Here we study the problem where the buyer's value is a moving target, i.e., they change over time either by a stochastic process or adversarially with bounded variation. In either case, we provide matching upper and lower bounds on the optimal revenue loss. Since the target is moving, any information learned soon becomes out-dated, which forces the algorithms to keep switching between exploring and exploiting phases.


title: Handcrafted Backdoors in Deep Neural Networks

abstract: When machine learning training is outsourced to third parties, $backdoor$ $attacks$ become practical as the third party who trains the model may act maliciously to inject hidden behaviors into the otherwise accurate model. Until now, the mechanism to inject backdoors has been limited to $poisoning$. We argue that a supply-chain attacker has more attack techniques available by introducing a $handcrafted$ attack that directly manipulates a model's weights. This direct modification gives our attacker more degrees of freedom compared to poisoning, and we show it can be used to evade many backdoor detection or removal defenses effectively. Across four datasets and four network architectures our backdoor attacks maintain an attack success rate above 96%. Our results suggest that further research is needed for understanding the complete space of supply-chain backdoor attacks.


title: Completions of period mappings: progress report

abstract: We give an informal, expository account of a project to construct completions of period maps.


title: Provably Faster Algorithms for Bilevel Optimization

abstract: Bilevel optimization has been widely applied in many important machine learning applications such as hyperparameter optimization and meta-learning. Recently, several momentum-based algorithms have been proposed to solve bilevel optimization problems faster. However, those momentum-based algorithms do not achieve provably better computational complexity than $\mathcal{\widetilde O}(\epsilon^{-2})$ of the SGD-based algorithm. In this paper, we propose two new algorithms for bilevel optimization, where the first algorithm adopts momentum-based recursive iterations, and the second algorithm adopts recursive gradient estimations in nested loops to decrease the variance. We show that both algorithms achieve the complexity of $\mathcal{\widetilde O}(\epsilon^{-1.5})$, which outperforms all existing algorithms by the order of magnitude. Our experiments validate our theoretical results and demonstrate the superior empirical performance of our algorithms in hyperparameter applications.


title: On the Evolution of Neuron Communities in a Deep Learning Architecture

abstract: Deep learning techniques are increasingly being adopted for classification tasks over the past decade, yet explaining how deep learning architectures can achieve state-of-the-art performance is still an elusive goal. While all the training information is embedded deeply in a trained model, we still do not understand much about its performance by only analyzing the model. This paper examines the neuron activation patterns of deep learning-based classification models and explores whether the models' performances can be explained through neurons' activation behavior. We propose two approaches: one that models neurons' activation behavior as a graph and examines whether the neurons form meaningful communities, and the other examines the predictability of neurons' behavior using entropy. Our comprehensive experimental study reveals that both the community quality and entropy can provide new insights into the deep learning models' performances, thus paves a novel way of explaining deep learning models directly from the neurons' activation pattern.


title: Exponentially-Weighted Energy Dispersion Index for the Nonlinear Interference Analysis of Finite-Blocklength Shaping

abstract: A metric called exponentially-weighted energy dispersion index (EEDI) is proposed to explain the blocklength-dependent effective signal-to-noise ratio (SNR) in probabilistically shaped fiber-optic systems. EEDI is better than energy dispersion index (EDI) at capturing the dependency of the effective SNR on the blocklength for long-distance transmission.


title: A tipping point for open citation data

abstract: Open citation data can improve the transparency and robustness of scientific portfolio analysis, improve science policy decision-making, stimulate downstream commercial activity, and increase the discoverability of scientific articles. Once sparsely populated, public-domain citation databases crossed a threshold of one billion citations in February 2021, during the COVID-19 pandemic. Shortly thereafter, the threshold of one billion public-domain citations from the Crossref database alone. Since the relative advantage of withholding data in closed databases has diminished with the flood of public-domain data, this likely constitutes an irreversible change in the citation data ecosystem. The successes of this movement can guide future open data efforts.


title: Curriculum Design for Teaching via Demonstrations: Theory and Applications

abstract: We consider the problem of teaching via demonstrations in sequential decision-making settings. In particular, we study how to design a personalized curriculum over demonstrations to speed up the learner's convergence. We provide a unified curriculum strategy for two popular learner models: Maximum Causal Entropy Inverse Reinforcement Learning (MaxEnt-IRL) and Cross-Entropy Behavioral Cloning (CrossEnt-BC). Our unified strategy induces a ranking over demonstrations based on a notion of difficulty scores computed w.r.t. the teacher's optimal policy and the learner's current policy. Compared to the state of the art, our strategy doesn't require access to the learner's internal dynamics and still enjoys similar convergence guarantees under mild technical conditions. Furthermore, we adapt our curriculum strategy to the setting where no teacher agent is present using task-specific difficulty scores. Experiments on a synthetic car driving environment and navigation-based environments demonstrate the effectiveness of our curriculum strategy.


title: Towards Scalable Uncertainty Aware DNN-based Wireless Localisation

abstract: Existing deep neural network (DNN) based wireless localization approaches typically do not capture uncertainty inherent in their estimates. In this work, we propose and evaluate variational and scalable DNN approaches to measure the uncertainty as a result of changing propagation conditions and the finite number of training samples. Furthermore, we show that data uncertainty is sufficient to capture the uncertainty due to non-line-of-sight (NLOS) and, model uncertainty improves the overall reliability. To assess the robustness due to channel conditions and out-of-set regions, we evaluate the methods on challenging massive multiple-input multiple-output (MIMO) scenarios.


title: Edge Disorder in Bottom-Up Zigzag Graphene Nanoribbons: Implications for Magnetism and Quantum Electronic Transport

abstract: We unveil the nature of the structural disorder in bottom-up zigzag graphene nanoribbons along with its effect on the magnetism and electronic transport on the basis of scanning probe microscopies and first-principles calculations. We find that edge-missing m-xylene units emerging during the cyclodehydrogenation step of the on-surface synthesis are the most common point defects. These "bite'' defects act as spin-1 paramagnetic centers, severely disrupt the conductance spectrum around the band extrema, and give rise to spin-polarized charge transport. We further show that the electronic conductance across graphene nanoribbons is more sensitive to "bite" defects forming at the zigzag edges than at the armchair ones. Our work establishes a comprehensive understanding of the low-energy electronic properties of disordered bottom-up graphene nanoribbons.


title: Network Topologies for Composable Data Centres

abstract: Suitable composable data center networks (DCNs) are essential to support the disaggregation of compute components in highly efficient next generation data centers (DCs). However, designing such composable DCNs can be challenging. A composable DCN that adopts a full mesh backplane between disaggregated compute components within a rack and employs dedicated interfaces on each point-to-point link is wasteful and expensive. In this paper, we propose and describe two (i.e., electrical, and electrical-optical) variants of a network for composable DC (NetCoD). NetCoD adopts a targeted design to reduce the number of transceivers required when a mesh physical backplane is deployed between disaggregated compute components in the same rack. The targeted design leverages optical communication techniques and components to achieve this with minimal or no network performance degradation. We formulate a MILP model to evaluate the performance of both variants of NetCoD in rack-scale composable DCs that implement different forms of disaggregation. The electrical-optical variant of NetCoD achieves similar performance as a reference network while utilizing fewer transceivers per compute node. The targeted adoption of optical technologies by both variants of NetCoD achieves greater (4 - 5 times greater) utilization of available network throughput than the reference network which implements a generic design. Under the various forms of disaggregation considered, both variant of NetCoD achieve near-optimal compute energy efficiency in the composable DC while satisfying both compute and network constraints. This is because marginal concession of optimal compute energy efficiency is often required to achieve overall optimal energy efficiency in composable DCs.


title: Scale Free Adversarial Multi Armed Bandits

abstract: We consider the Scale-Free Adversarial Multi Armed Bandits(MAB) problem. At the beginning of the game, the player only knows the number of arms $n$. It does not know the scale and magnitude of the losses chosen by the adversary or the number of rounds $T$. In each round, it sees bandit feedback about the loss vectors $l_1,\dots, l_T \in \mathbb{R}^n$. The goal is to bound its regret as a function of $n$ and norms of $l_1,\dots, l_T$. We design a bandit Follow The Regularized Leader (FTRL) algorithm, that uses an adaptive learning rate and give two different regret bounds, based on the exploration parameter used. With non-adaptive exploration, our algorithm has a regret of $\tilde{\mathcal{O}}(\sqrt{nL_2} + L_\infty\sqrt{nT})$ and with adaptive exploration, it has a regret of $\tilde{\mathcal{O}}(\sqrt{nL_2} + L_\infty\sqrt{nL_1})$. Here $L_\infty = \sup_t \| l_t\|_\infty$, $L_2 = \sum_{t=1}^T \|l_t\|_2^2$, $L_1 = \sum_{t=1}^T \|l_t\|_1$ and the $\tilde{\mathcal{O}}$ notation suppress logarithmic factors. These are the first MAB bounds that adapt to the $\|\cdot\|_2$, $\|\cdot\|_1$ norms of the losses. The second bound is the first data-dependent scale-free MAB bound as $T$ does not directly appear in the regret. We also develop a new technique for obtaining a rich class of local-norm lower-bounds for Bregman Divergences. This technique plays a crucial role in our analysis for controlling the regret when using importance weighted estimators of unbounded losses. This technique could be of independent interest.


title: Atomic iron and nickel in the coma of C/1996 B2 (Hyakutake): production rates, emission mechanisms, and possible parents

abstract: Two papers recently reported the detection of gaseous nickel and iron in the comae of over 20 comets from observations collected over two decades, including interstellar comet 2I/Borisov. To evaluate the state of the laboratory data in support of these identifications, we re-analyzed archived spectra of comet C/1996 B2 (Hyakutake), one of the nearest and brightest comets of the last century, using a combined experimental and computational approach. We developed a new, many-level fluorescence model that indicates that the fluorescence emission of Fe I and Ni I vary greatly with heliocentric velocity. Combining this model with laboratory spectra of an Fe-Ni plasma, we identified 22 lines of Fe I and 14 lines of Ni I in the spectrum of Hyakutake. Using Haser models, we estimate the nickel and iron production rates as Q(Ni) = 2.6 - 4.1 x 10^22 s^-1 and Q(Fe) = 0.4 - 2.8 x 10^23 s^-1. From derived column densities, the Ni/Fe abundance ratio log10[Ni/Fe] = -0.15 +/- 0.07 deviates significantly from solar abundance ratios, and it is consistent with the ratios observed in solar system comets. Possible production and emission mechanisms are analyzed in context of existing laboratory measurements. Based on the observed spatial distributions, excellent fluorescence model agreement, and Ni/Fe ratio, our findings support an origin consisting of a short-lived unknown parent followed by fluorescence emission. Our models suggest that the strong heliocentric velocity dependence of the fluorescence efficiencies can provide a meaningful test of the physical process responsible for the Fe I and Ni I emission.


title: Existence, comparison, and convergence results for a class of elliptic hemivariational inequalities

abstract: In this paper we study a class of elliptic boundary hemivariational inequalities which originates in the steady-state heat conduction problem with nonmonotone multivalued subdifferential boundary condition on a portion of the boundary described by the Clarke generalized gradient of a locally Lipschitz function. First, we prove a new existence result for the inequality employing the theory of pseudomonotone operators. Next, we give a result on comparison of solutions, and provide sufficient conditions that guarantee the asymptotic behavior of solution, when the heat transfer coefficient tends to infinity. Further, we show a result on the continuous dependence of solution on the internal energy and heat flux. Finally, some examples of convex and nonconvex potentials illustrate our hypotheses.


title: Categorical Data Structures for Technical Computing

abstract: Many mathematical objects can be represented as functors from finitely-presented categories $\mathsf{C}$ to $\mathsf{Set}$. For instance, graphs are functors to $\mathsf{Set}$ from the category with two parallel arrows. Such functors are known informally as $\mathsf{C}$-sets. In this paper, we describe and implement an extension of $\mathsf{C}$-sets having data attributes with fixed types, such as graphs with labeled vertices or real-valued edge weights. We call such structures "acsets," short for "attributed $\mathsf{C}$-sets." Derived from previous work on algebraic databases, acsets are a joint generalization of graphs and data frames. They also encompass more elaborate graph-like objects such as wiring diagrams and Petri nets with rate constants. We develop the mathematical theory of acsets and then describe a generic implementation in the Julia programming language, which uses advanced language features to achieve performance comparable with specialized data structures.


title: Pricing Ordered Items

abstract: We study the revenue guarantees and approximability of item pricing. Recent work shows that with $n$ heterogeneous items, item-pricing guarantees an $O(\log n)$ approximation to the optimal revenue achievable by any (buy-many) mechanism, even when buyers have arbitrarily combinatorial valuations. However, finding good item prices is challenging -- it is known that even under unit-demand valuations, it is NP-hard to find item prices that approximate the revenue of the optimal item pricing better than $O(\sqrt{n})$. Our work provides a more fine-grained analysis of the revenue guarantees and computational complexity in terms of the number of item ``categories'' which may be significantly fewer than $n$. We assume the items are partitioned in $k$ categories so that items within a category are totally-ordered and a buyer's value for a bundle depends only on the best item contained from every category. We show that item-pricing guarantees an $O(\log k)$ approximation to the optimal (buy-many) revenue and provide a PTAS for computing the optimal item-pricing when $k$ is constant. We also provide a matching lower bound showing that the problem is (strongly) NP-hard even when $k=1$. Our results naturally extend to the case where items are only partially ordered, in which case the revenue guarantees and computational complexity depend on the width of the partial ordering, i.e. the largest set for which no two items are comparable.


title: Calibrating COVID-19 SEIR models with time-varying effective contact rates

abstract: We describe the population-based SEIR (susceptible, exposed, infected, removed) model developed by the Irish Epidemiological Modelling Advisory Group (IEMAG), which advises the Irish government on COVID-19 responses. The model assumes a time-varying effective contact rate (equivalently, a time-varying reproduction number) to model the effect of non-pharmaceutical interventions. A crucial technical challenge in applying such models is their accurate calibration to observed data, e.g., to the daily number of confirmed new cases, as the past history of the disease strongly affects predictions of future scenarios. We demonstrate an approach based on inversion of the SEIR equations in conjunction with statistical modelling and spline-fitting of the data, to produce a robust methodology for calibration of a wide class of models of this type.


title: The Zero Set of an Electrical Field from a Finite Number of Point Charges: One, Two, and Three Dimensions

abstract: We study the structure of the zero set of a finite point charge electrical field $F = (X,Y,Z)$ in $\mathbb R^3$. Indeed, mostly we focus on a finite point charge electrical field $F =(X,Y)$ in $\mathbb R^2$. The well-known conjecture is that the zero set of $F = (X,Y)$ is finite. We show that this is true in a Special Case: when the point charges for $F = (X,Y)$ lie on a line. In addition, we give fairly complete structural information about the zero sets of $X$ and $Y$ for $F = (X,Y)$ in the Special Case. A highlight of the paper states that in the Special Case the zero set of $F = (X,Y)$ contains at most $9M^24^M$ points, where $M$ is the number of point charges.


title: Job Dispatching Policies for Queueing Systems with Unknown Service Rates

abstract: In multi-server queueing systems where there is no central queue holding all incoming jobs, job dispatching policies are used to assign incoming jobs to the queue at one of the servers. Classic job dispatching policies such as join-the-shortest-queue and shortest expected delay assume that the service rates and queue lengths of the servers are known to the dispatcher. In this work, we tackle the problem of job dispatching without the knowledge of service rates and queue lengths, where the dispatcher can only obtain noisy estimates of the service rates by observing job departures. This problem presents a novel exploration-exploitation trade-off between sending jobs to all the servers to estimate their service rates, and exploiting the currently known fastest servers to minimize the expected queueing delay. We propose a bandit-based exploration policy that learns the service rates from observed job departures. Unlike the standard multi-armed bandit problem where only one out of a finite set of actions is optimal, here the optimal policy requires identifying the optimal fraction of incoming jobs to be sent to each server. We present a regret analysis and simulations to demonstrate the effectiveness of the proposed bandit-based exploration policy.


title: Boolean Matrix Factorization via Nonnegative Auxiliary Optimization

abstract: A novel approach to Boolean matrix factorization (BMF) is presented. Instead of solving the BMF problem directly, this approach solves a nonnegative optimization problem with the constraint over an auxiliary matrix whose Boolean structure is identical to the initial Boolean data. Then the solution of the nonnegative auxiliary optimization problem is thresholded to provide a solution for the BMF problem. We provide the proofs for the equivalencies of the two solution spaces under the existence of an exact solution. Moreover, the nonincreasing property of the algorithm is also proven. Experiments on synthetic and real datasets are conducted to show the effectiveness and complexity of the algorithm compared to other current methods.


title: Optical lattice for tripod-like atomic level structure

abstract: Standard optical potentials use off-resonant laser standing wave induced AC-Stark shift. In a recent development [Phys. Rev. Lett. {\bf 117}, 233001 (2016)] a three-level scheme in $\Lambda$ configuration coupled coherently by resonant laser fields was introduced leading to an effective lattice with subwavelength potential peaks. Here as an extension of that work to a four level atomic setup in the tripod configuration is used to create spin $1/2$-like two-dimensional dark-space with 1D motion and the presence of external gauge fields. Most interestingly for a possible application, the lifetime for a dark subspace motion is up to two orders of magnitude larger than for a similar $\Lambda$ system. The model is quite flexible leading to lattices with significant nearest, next-nearest, or next-next-nearest hopping rates, $J_1,J_2,J_3$ opening up new intriguing possibilities to study, e.g. frustrated systems. The characteristic Wannier functions lead also to new type of inter-site interactions not realizable in typical optical lattices.


title: Topological Hall effect in the antiferromagnetic Dirac semimetal EuAgAs

abstract: The non-trivial magnetic texture in real space gives rise to the intriguing phenomenon of topological Hall effect (THE), which is relatively less explored in topological semimetals. Here, we report large THE in the antiferromagnetic (AFM) state in single crystals of EuAgAs, an AFM Dirac semimetal. EuAgAs hosts AFM ground state below $T_N$ = 12 K with a weak ferromagnetic component. The in-plane isothermal magnetization below $T_N$ exhibits a weak metamagnetic transition. We also observe chiral anomaly induced positive longitudinal magnetoconductivity which indicates a Weyl fermion state under applied magnetic field. The first-principles calculations reveal that EuAgAs is an AFM Dirac semimetal with a pair of Dirac cones, and therefore, a Weyl semimetailic state can be realized under time-reversal symmetry breaking via an applied magnetic field. Our study establishes that EuAgAs is a novel system for exploiting the interplay of band topology and the topology of the magnetic texture.


title: On co-$\sigma$-porosity of the parameters with dense critical orbits for skew tent maps and matching on generalized $\beta$-transformations

abstract: We prove that the critical point and the point $1$ have dense orbits for Lebesgue-a.e., parameter pairs in the two-parameter skew-tent family and generalised $\beta$-transformations. As an application, we show that for the generalised $\beta$-transformation with the tribonacci number as slope, there is matching (i.e., $T^n(0)=T^n(1)$ for some $n \geq 1$) for Lebesgue-a.e. translation parameter.


title: Fermions on wobbling kinks: normal versus quasinormal modes

abstract: The system consisting of a fermion in the background of a wobbling kink is studied in this paper. To investigate the impact of the wobbling on the fermion-kink interaction, we employ the time-dependent perturbation theory formalism in quantum mechanics. To do so, we compute the transition probabilities between states given in terms of the Bogoliubov coefficients. We derive Fermi's golden rule for the model, which allows the transition to the continuum at a constant rate if the fermion-kink coupling constant is smaller than the wobbling frequency. Moreover, we study the system replacing the shape mode with a quasinormal mode. In this case, the transition rate to continuum decays in time due to the leakage of the mode, and the final transition probability decreases sharply for large coupling constants in a way that is analogous to Fermi's golden rule. Throughout the paper, we compare the perturbative results with numerical simulations and show that they are in good agreement.


title: High electrical conduction of Sb square net in anti-ThCr$_2$Si$_2$ type La$_2$O$_2$Sb thin film grown by multilayer solid-phase epitaxy

abstract: Anti-ThCr$_2$Si$_2$ type $RE_2$O$_2$Sb ($RE$ = rare earth) with Sb square net has shown insulating conduction so far. Here we report the synthesis of La$_2$O$_2$Sb epitaxial thin films for the first time by multilayer solid-phase epitaxy. The valence state of Sb was about -2 evaluated from X-ray photoemission spectroscopy measurement, and the indirect band gap of 0.17 eV was observed. The La$_2$O$_2$Sb epitaxial thin film showed unexpectedly high electrical conduction as a narrow gap semiconductor, whose resistivity at room temperature was approximately ten-thousand-fold lower than that of La$_2$O$_2$Sb bulk polycrystal, attributed to increased carrier mobility probably due to suppressed Sb dimerization.


title: NRGNN: Learning a Label Noise-Resistant Graph Neural Network on Sparsely and Noisily Labeled Graphs

abstract: Graph Neural Networks (GNNs) have achieved promising results for semi-supervised learning tasks on graphs such as node classification. Despite the great success of GNNs, many real-world graphs are often sparsely and noisily labeled, which could significantly degrade the performance of GNNs, as the noisy information could propagate to unlabeled nodes via graph structure. Thus, it is important to develop a label noise-resistant GNN for semi-supervised node classification. Though extensive studies have been conducted to learn neural networks with noisy labels, they mostly focus on independent and identically distributed data and assume a large number of noisy labels are available, which are not directly applicable for GNNs. Thus, we investigate a novel problem of learning a robust GNN with noisy and limited labels. To alleviate the negative effects of label noise, we propose to link the unlabeled nodes with labeled nodes of high feature similarity to bring more clean label information. Furthermore, accurate pseudo labels could be obtained by this strategy to provide more supervision and further reduce the effects of label noise. Our theoretical and empirical analysis verify the effectiveness of these two strategies under mild conditions. Extensive experiments on real-world datasets demonstrate the effectiveness of the proposed method in learning a robust GNN with noisy and limited labels.


title: Measurable Monte Carlo Search Error Bounds

abstract: Monte Carlo planners can often return sub-optimal actions, even if they are guaranteed to converge in the limit of infinite samples. Known asymptotic regret bounds do not provide any way to measure confidence of a recommended action at the conclusion of search. In this work, we prove bounds on the sub-optimality of Monte Carlo estimates for non-stationary bandits and Markov decision processes. These bounds can be directly computed at the conclusion of the search and do not require knowledge of the true action-value. The presented bound holds for general Monte Carlo solvers meeting mild convergence conditions. We empirically test the tightness of the bounds through experiments on a multi-armed bandit and a discrete Markov decision process for both a simple solver and Monte Carlo tree search.


title: Labeled Data Generation with Inexact Supervision

abstract: The recent advanced deep learning techniques have shown the promising results in various domains such as computer vision and natural language processing. The success of deep neural networks in supervised learning heavily relies on a large amount of labeled data. However, obtaining labeled data with target labels is often challenging due to various reasons such as cost of labeling and privacy issues, which challenges existing deep models. In spite of that, it is relatively easy to obtain data with \textit{inexact supervision}, i.e., having labels/tags related to the target task. For example, social media platforms are overwhelmed with billions of posts and images with self-customized tags, which are not the exact labels for target classification tasks but are usually related to the target labels. It is promising to leverage these tags (inexact supervision) and their relations with target classes to generate labeled data to facilitate the downstream classification tasks. However, the work on this is rather limited. Therefore, we study a novel problem of labeled data generation with inexact supervision. We propose a novel generative framework named as ADDES which can synthesize high-quality labeled data for target classification tasks by learning from data with inexact supervision and the relations between inexact supervision and target classes. Experimental results on image and text datasets demonstrate the effectiveness of the proposed ADDES for generating realistic labeled data from inexact supervision to facilitate the target classification task.


title: Increased hole mobility in anti-ThCr$_2$Si$_2$-type La$_2$O$_2$Bi co-sintered with alkaline earth metal oxides for oxygen intercalation and hole carrier doping

abstract: Metallic anti-ThCr$_2$Si$_2$-type $RE_2$O$_2$Bi ($RE$ = rare earth) with Bi square nets show superconductivity while insulating La$_2$O$_2$Bi shows high hole mobility, by expanding the c-axis length through oxygen intercalation. In this study, alkaline earth metal oxides (CaO, SrO, and BaO) were co-sintered with La$_2$O$_2$Bi. CaO and BaO served as oxygen intercalants without incorporation of Ca and Ba in La$_2$O$_2$Bi. On the other hand, SrO served as not only oxygen intercalant but also hole dopant via Sr substitution with La in La$_2$O$_2$Bi. The oxygen intercalation and hole doping resulted in expansion of the c-axis length, contributing to improved electrical conduction. In addition, the hole mobility was enhanced up to 150 cm$^2$V$^{-1}$s$^{-1}$ in La$_2$O$_2$Bi, which almost doubles the mobility in previous study.


title: FastSeq: Make Sequence Generation Faster

abstract: Transformer-based models have made tremendous impacts in natural language generation. However the inference speed is a bottleneck due to large model size and intensive computing involved in auto-regressive decoding process. We develop FastSeq framework to accelerate sequence generation without accuracy loss. The proposed optimization techniques include an attention cache optimization, an efficient algorithm for detecting repeated n-grams, and an asynchronous generation pipeline with parallel I/O. These optimizations are general enough to be applicable to Transformer-based models (e.g., T5, GPT2, and UniLM). Our benchmark results on a set of widely used and diverse models demonstrate 4-9x inference speed gain. Additionally, FastSeq is easy to use with a simple one-line code change. The source code is available at https://github.com/microsoft/fastseq.


title: Tunable spin-orbit coupling in two-dimensional InSe

abstract: We demonstrate that spin-orbit coupling (SOC) strength for electrons near the conduction band edge in few-layer $\gamma$-InSe films can be tuned over a wide range. This tunability is the result of a competition between film-thickness-dependent intrinsic and electric-field-induced SOC, potentially, allowing for electrically switchable spintronic devices. Using a hybrid $\mathbf{k\cdot p}$ tight-binding model, fully parameterized with the help of density functional theory computations, we quantify SOC strength for various geometries of InSe-based field-effect transistors. The theoretically computed SOC strengths are compared with the results of weak antilocalization measurements on dual-gated multilayer InSe films, interpreted in terms of Dyakonov-Perel spin relaxation due to SOC, showing a good agreement between theory and experiment.


title: Analysis of Attacker Behavior in Compromised Hosts During Command and Control

abstract: Traditional reactive approach of blacklisting botnets fails to adapt to the rapidly evolving landscape of cyberattacks. An automated and proactive approach to detect and block botnet hosts will immensely benefit the industry. Behavioral analysis of botnet is shown to be effective against a wide variety of attack types. Current works, however, focus solely on analyzing network traffic from and to the bots. In this work we take a different approach of analyzing the chain of commands input by attackers in a compromised host. We have deployed several honeypots to simulate Linux shells and allowed attackers access to the shells to collect a large dataset of commands. We have further developed an automated mechanism to analyze these data. For the automation we have developed a system called CYbersecurity information Exchange with Privacy (CYBEX-P). Finally, we have done a sequential analysis on the dataset to show that we can successfully predict attacker behavior from the shell commands without analyzing network traffic like previous works.


title: Hitting Time of Rapid Intensification Onset in Hurricane-like Vortices

abstract: Predicting tropical cyclone (TC) rapid intensification (RI) is an important yet challenging task in current operational forecast due to our incomplete understanding of TC nonlinear processes. This study examines the variability of RI onset, including the probability of RI occurrence and the timing of RI onset, using a low-order stochastic model for TC development. Defining RI onset time as the first hitting time in the model for a given subset in the TC-scale state space, we quantify the probability of the occurrence of RI onset and the distribution of the timing of RI onset for a range of initial conditions and model parameters. Based on asymptotic analysis for stochastic differential equations, our results show that RI onset occurs later, along with a larger variance of RI onset timing, for weaker vortex initial condition and stronger noise amplitude. In the small noise limit, RI onset probability approaches one and the RI onset timing has less uncertainty (i.e., a smaller variance), consistent with observation of TC development under idealized environment. Our theoretical results are verified against Monte-Carlo simulations and compared with explicit results for a general 1-dimensional system, thus providing new insights into the variability of RI onset and helping better quantify the uncertainties of RI variability for practical applications.


title: Pauli Blockade of Tunable Two-Electron Spin and Valley States in Graphene Quantum Dots

abstract: Pauli blockade mechanisms -- whereby carrier transport through quantum dots is blocked due to selection rules even when energetically allowed -- are a direct manifestation of the Pauli exclusion principle, as well as a key mechanism for manipulating and reading out spin qubits. Pauli spin blockade is well established for systems such as GaAs QDs, but is to be further explored for systems with additional degrees of freedom, such as the valley quantum numbers in carbon-based materials or silicon. Here we report experiments on coupled bilayer graphene double quantum dots, in which the spin and valley states are precisely controlled, enabling the observation of the two-electron combined blockade physics. We demonstrate that the doubly occupied single dot switches between two different ground states with gate and magnetic-field tuning, allowing for the switching of selection rules: with a spin-triplet--valley-singlet ground state, valley-blockade is observed; and with the spin-singlet--valley-triplet ground state, robust spin blockade is shown.


title: OODIn: An Optimised On-Device Inference Framework for Heterogeneous Mobile Devices

abstract: Radical progress in the field of deep learning (DL) has led to unprecedented accuracy in diverse inference tasks. As such, deploying DL models across mobile platforms is vital to enable the development and broad availability of the next-generation intelligent apps. Nevertheless, the wide and optimised deployment of DL models is currently hindered by the vast system heterogeneity of mobile devices, the varying computational cost of different DL models and the variability of performance needs across DL applications. This paper proposes OODIn, a framework for the optimised deployment of DL apps across heterogeneous mobile devices. OODIn comprises a novel DL-specific software architecture together with an analytical framework for modelling DL applications that: (1) counteract the variability in device resources and DL models by means of a highly parametrised multi-layer design; and (2) perform a principled optimisation of both model- and system-level parameters through a multi-objective formulation, designed for DL inference apps, in order to adapt the deployment to the user-specified performance requirements and device capabilities. Quantitative evaluation shows that the proposed framework consistently outperforms status-quo designs across heterogeneous devices and delivers up to 4.3x and 3.5x performance gain over highly optimised platform- and model-aware designs respectively, while effectively adapting execution to dynamic changes in resource availability.


title: A space-time Trefftz discontinuous Galerkin method for the linear Schr\"odinger equation

abstract: A space-time Trefftz discontinuous Galerkin method for the Schr\"odinger equation with piecewise-constant potential is proposed and analyzed. Following the spirit of Trefftz methods, trial and test spaces are spanned by non-polynomial complex wave functions that satisfy the Schro\"odinger equation locally on each element of the space-time mesh. This allows for a significant reduction in the number of degrees of freedom in comparison with full polynomial spaces. We prove well-posedness and stability of the method, and, for the one- and two- dimensional cases, optimal, high-order, h-convergence error estimates in a skeleton norm. Some numerical experiments validate the theoretical results presented.


title: Detection of a Multi-Phase Ultra-Fast Wind in the Narrow-Line Seyfert 1 Galaxy Mrk 1044

abstract: We present a detailed analysis of XMM-Newton X-ray spectra of the Narrow-Line Seyfert 1 galaxy Mrk 1044. We find robust evidence for a multi-phase, ultra-fast outflow, traced by four separate components in the grating spectrum. One component has high column density and ionization state, and is outflowing at 0.15c. The other three wind components have lower temperature, lower column density, and have outflow velocities 0.08c. This wind structure is strikingly similar to that found in IRAS 17020+4544, suggesting that stratified winds may be a common feature of ultra-fast outflows. Such structure is likely produced by fluid instabilities that form when the nuclear wind shocks the ambient medium. We show that in an energy-driven wind scenario, the wind in Mrk 1044 might carry enough energy to produce significant feedback on its host galaxy. We further discuss the implications of the presence of a fast wind in yet another NLS1 galaxy with high Eddington ratio.


title: Tiplines to Combat Misinformation on Encrypted Platforms: A Case Study of the 2019 Indian Election on WhatsApp

abstract: There is currently no easy way to fact-check content on WhatsApp and other end-to-end encrypted platforms at scale. In this paper, we analyze the usefulness of a crowd-sourced "tipline" through which users can submit content ("tips") that they want fact-checked. We compare the tips sent to a WhatsApp tipline run during the 2019 Indian national elections with the messages circulating in large, public groups on WhatsApp and other social media platforms during the same period. We find that tiplines are a very useful lens into WhatsApp conversations: a significant fraction of messages and images sent to the tipline match with the content being shared on public WhatsApp groups and other social media. Our analysis also shows that tiplines cover the most popular content well, and a majority of such content is often shared to the tipline before appearing in large, public WhatsApp groups. Overall, our findings suggest tiplines can be an effective source for discovering content to fact-check.


title: ParChain: A Framework for Parallel Hierarchical Agglomerative Clustering using Nearest-Neighbor Chain

abstract: This paper studies the hierarchical clustering problem, where the goal is to produce a dendrogram that represents clusters at varying scales of a data set. We propose the ParChain framework for designing parallel hierarchical agglomerative clustering (HAC) algorithms, and using the framework we obtain novel parallel algorithms for the complete linkage, average linkage, and Ward's linkage criteria. Compared to most previous parallel HAC algorithms, which require quadratic memory, our new algorithms require only linear memory, and are scalable to large data sets. ParChain is based on our parallelization of the nearest-neighbor chain algorithm, and enables multiple clusters to be merged on every round. We introduce two key optimizations that are critical for efficiency: a range query optimization that reduces the number of distance computations required when finding nearest neighbors of clusters, and a caching optimization that stores a subset of previously computed distances, which are likely to be reused. Experimentally, we show that our highly-optimized implementations using 48 cores with two-way hyper-threading achieve 5.8--110.1x speedup over state-of-the-art parallel HAC algorithms and achieve 13.75--54.23x self-relative speedup. Compared to state-of-the-art algorithms, our algorithms require up to 237.3x less space. Our algorithms are able to scale to data set sizes with tens of millions of points, which existing algorithms are not able to handle.


title: Notes on algebraic structure of truth tables of bracketed formulae connected by implications

abstract: In this paper we investigate the algebraic structure of the truth tables of all bracketed formulae with n distinct variables connected by the binary connective of implication.


title: A Markov Decision Process Approach for Managing Medical Drone Deliveries

abstract: We consider the problem of optimizing the distribution operations at a drone hub that dispatches drones to different geographic locations generating stochastic demands for medical supplies. Drone delivery is an innovative method that introduces many benefits, such as low-contact delivery, thereby reducing the spread of pandemic and vaccine-preventable diseases. While we focus on medical supply delivery for this work, drone delivery is suitable for many other items, including food, postal parcels, and e-commerce. In this paper, our goal is to address drone delivery challenges related to the stochastic demands of different geographic locations. We consider different classes of demand related to geographic locations that require different flight ranges, which is directly related to the amount of charge held in a drone battery. We classify the stochastic demands based on their distance from the drone hub, use a Markov decision process to model the problem, and perform computational tests using realistic data representing a prominent drone delivery company. We solve the problem using a reinforcement learning method and show its high performance compared with the exact solution found using dynamic programming. Finally, we analyze the results and provide insights for managing the drone hub operations.


title: Spectral Shaping with Integrated Self-Coupled Sagnac Loop Reflectors

abstract: We propose and theoretically investigate integrated photonic filters based on coupled Sagnac loop reflectors (SLRs) formed by a self-coupled wire waveguide. By tailoring coherent mode interference in the device, three different filter functions are achieved, including Fano-like resonances, wavelength interleaving, and varied resonance mode splitting. For each function, the impact of device structural parameters is analyzed to facilitate optimized performance. Our results theoretically verify the proposed device as a compact multi-functional integrated photonic filter for flexible spectral shaping.


title: 5d/6d Wilson loops from blowups

abstract: We generalize Nakajima-Yoshioka's blowup formula to calculate the partition functions counting the spectrum of bound states to half-BPS Wilson loop operators in 5d (and 6d) supersymmetric field theories. The partition function in the presence of a Wilson loop operator on the $\Omega$-background is factorized when put on the blowup $\hat{\mathbb{C}}^2$ into two Wilson loop partition functions under the localization. This structure provides a set of blowup equations for Wilson loop operators. We explain how to formulate the blowup equations and solve them to compute the partition functions of Wilson loop operators. We test this idea by explicitly calculating the Wilson loop partition functions in various 5d/6d field theories and comparing them against known results and expected dualities.


title: AdaMatch: A Unified Approach to Semi-Supervised Learning and Domain Adaptation

abstract: We extend semi-supervised learning to the problem of domain adaptation to learn significantly higher-accuracy models that train on one data distribution and test on a different one. With the goal of generality, we introduce AdaMatch, a method that unifies the tasks of unsupervised domain adaptation (UDA), semi-supervised learning (SSL), and semi-supervised domain adaptation (SSDA). In an extensive experimental study, we compare its behavior with respective state-of-the-art techniques from SSL, SSDA, and UDA on vision classification tasks. We find AdaMatch either matches or significantly exceeds the state-of-the-art in each case using the same hyper-parameters regardless of the dataset or task. For example, AdaMatch nearly doubles the accuracy compared to that of the prior state-of-the-art on the UDA task for DomainNet and even exceeds the accuracy of the prior state-of-the-art obtained with pre-training by 6.4% when AdaMatch is trained completely from scratch. Furthermore, by providing AdaMatch with just one labeled example per class from the target domain (i.e., the SSDA setting), we increase the target accuracy by an additional 6.1%, and with 5 labeled examples, by 13.6%.


title: $N$-dimensional Smorodinsky-Winternitz model and related higher rank quadratic algebra ${\cal SW}(N)$

abstract: The $N$-dimensional Smorodinsky-Winternitz system is a maximally superintegrable and exactly solvable model, being subject of study from different approaches. The model has been demonstrated to be multiseparable with wavefunctions given by Laguerre and Jacobi polynomials. In this paper we present the complete symmetry algebra ${\cal SW}(N)$ of the system, which it is a higher-rank quadratic one containing the recently discovered Racah algebra ${\cal R}(N)$ as subalgebra. The substructures of distinct quadratic ${\cal Q}(3)$ algebras and their related Casimirs are also studied. In this way, from the constraints on the oscillator realizations of these substructures, the energy spectrum of the $N$-dimensional Smorodinsky-Winternitz system is obtained. We show that ${\cal SW}(N)$ allows different set of substructures based on the Racah algebra ${\cal R}({ N})$ which can be applied independently to algebraically derive the spectrum of the system.


title: Intrinsic time resolution and efficiency characterization for two size of BC-404 plastic scintillators studies in Geant4

abstract: The time resolution (TR) is one of the most important characteristic of a detector. For the case of a scintillator, the collection of light also is important, it depends of the effective area of the photo-sensor (\textit{Scorer}). The Photomultipliers Tubes (PMTs), normally, have an effective area greater than the Silicon Photomultipliers (SiPMs), however, due to its voltage of operation, their size or cost, in some cases it can be difficult to work with them. In which case, it is preferable to use SiPMs. The value of TR also depends of the size and geometry of the scintillator, number of photo-sensors and the electronic part.\\ In this work, we study the mean optical photon arrival time distribution (AT) to a Scorer from a SiPM of 6$\times$6~mm$^2$. We define the variation of AT as \textit{the intrinsic time resolution} (ITR). In Geant4, we simulated two different geometries: square and hexagonal, for a BC-404 plastic scintillator coupled to one Scorer. The sources simulated were Sr$^{90}$, Co$^{60}$, Cs$^{137}$, Na$^{22}$ and $\mu^-$ of 1~GeV. It is shown that AT and ITR depends of the geometry and size of the plastic scintillator, the location of the Scorer, the incident particle and its energy. Then, the ITR and therefore the TR is not a constant for a detector. Finally, we show the relation between AT and the deposited energy by the particle incident, which are related in the experiment to the response time event of the detector and the deposited charge by the incident particle, respectively.


title: Validating Static Warnings via Testing Code Fragments

abstract: Static analysis is an important approach for finding bugs and vulnerabilities in software. However, inspecting and confirming static warnings are challenging and time-consuming. In this paper, we present a novel solution that automatically generates test cases based on static warnings to validate true and false positives. We designed a syntactic patching algorithm that can generate syntactically valid, semantic preserving executable code fragments from static warnings. We developed a build and testing system to automatically test code fragments using fuzzers, KLEE and Valgrind. We evaluated our techniques using 12 real-world C projects and 1955 warnings from two commercial static analysis tools. We successfully built 68.5% code fragments and generated 1003 test cases. Through automatic testing, we identified 48 true positives and 27 false positives, and 205 likely false positives. We matched 4 CVE and real-world bugs using Helium, and they are only triggered by our tool but not other baseline tools. We found that testing code fragments is scalable and useful; it can trigger bugs that testing entire programs or testing procedures failed to trigger.


title: Analysis of Hybrid Gas-Dust Outbursts Observed at 67P/Churyumov-Gerasimenko

abstract: Cometary outbursts offer a valuable window into the composition of comet nuclei with their forceful ejection of dust and volatiles in explosive events, revealing the interior components of the comet. Understanding how different types of outbursts influence the dust properties and volatile abundances to better interpret what signatures can be attributed to primordial composition and what features are the result of processing is an important task best undertaken with a multi-instrument approach. The European Space Agency \textit{Rosetta} mission to 67P/Churyumov-Gerasimenko carried a suite of instruments capable of carrying out this task in the near-nucleus coma with unprecedented spatial and spectral resolution. In this work we discuss two outbursts that occurred November 7 2015 and were observed by three instruments on board: the Alice ultraviolet spectrograph, the Visual Infrared and Thermal Imaging Spectrometer (VIRTIS), and the Optical, Spectroscopic, and Infrared Remote Imaging System (OSIRIS). Together the observations show that mixed gas and dust outbursts can have different spectral signatures representative of their initiating mechanisms, with the first outburst showing indicators of a cliff collapse origin and the second more representative of fresh volatiles being exposed via a deepening fracture. This analysis opens up the possibility of remote spectral classification of cometary outbursts with future work.


title: Spatial Distribution of Ultraviolet Emission from Cometary Activity at 67P/Churyumov-Gerasimenko

abstract: The Alice ultraviolet spectrograph on board the \textit{Rosetta} orbiter provided the first near-nucleus ultraviolet observations of a cometary coma from arrival at comet 67P/Churyumov-Gerasimenko in 2014 August through 2016 September. The characterization of atomic and molecular emissions in the coma revealed the unexpected contribution of dissociative electron impact emission at large heliocentric distances and during some outbursts. This mechanism also proved useful for compositional analysis, and Alice observed many cases that suggested elevated levels of the supervolatile \ce{O2}, identifiable in part to their emissions resulting from dissociative electron impact. In this paper we present the first two-dimensional UV maps constructed from Alice observations of atomic emission from 67P during an increase in cometary activity on 2015 November 7-8. Comparisons to observations of background coma and of an earlier collimated jet are used to describe possible changes to the near-nucleus coma and plasma. To verify the mapping method and place the Alice observations in context, comparisons to images derived from the MIRO and VIRTIS-H instruments are made. The spectra and maps we present show an increase in dissociative electron impact emission and an \ce{O2}/\ce{H2O} ratio of $\sim$0.3 for the activity; these characteristics have been previously identified with cometary outbursts seen in Alice data. Further, UV maps following the increases in activity show the spatial extent and emission variation experienced by the near-nucleus coma, informing future UV observations of comets that lack the same spatial resolution.


title: Optical Networks for Composable Data Centers

abstract: Composable data centers (DCs) have been proposed to enable greater efficiencies as the uptake of on-demand computing services grows. In this article we give an overview of composable DCs by discussing their enabling technologies, benefits, challenges, and research directions. We then describe a network for composable DCs that leverages optical communication technologies and components to implement a targeted design. Relative to the implementation of a generic design that requires a (high capacity) dedicated transceiver on each point-to-point link on a mesh optical fabric in a composable DC rack, the targeted design can significantly reduce capital expenditure (by up to 34 times) because fewer transceivers are used. This is achieved with little or no degradation of expected performance in composable DCs.


title: Learning subtree pattern importance for Weisfeiler-Lehmanbased graph kernels

abstract: Graph is an usual representation of relational data, which are ubiquitous in manydomains such as molecules, biological and social networks. A popular approach to learningwith graph structured data is to make use of graph kernels, which measure the similaritybetween graphs and are plugged into a kernel machine such as a support vector machine.Weisfeiler-Lehman (WL) based graph kernels, which employ WL labeling scheme to extract subtree patterns and perform node embedding, are demonstrated to achieve great performance while being efficiently computable. However, one of the main drawbacks of ageneral kernel is the decoupling of kernel construction and learning process. For moleculargraphs, usual kernels such as WL subtree, based on substructures of the molecules, consider all available substructures having the same importance, which might not be suitable inpractice. In this paper, we propose a method to learn the weights of subtree patterns in the framework of WWL kernels, the state of the art method for graph classification task [14]. To overcome the computational issue on large scale data sets, we present an efficient learning algorithm and also derive a generalization gap bound to show its convergence. Finally, through experiments on synthetic and real-world data sets, we demonstrate the effectiveness of our proposed method for learning the weights of subtree patterns.


title: Automated Design of Pulse Sequences for Magnetic Resonance Fingerprinting using Physics-Inspired Optimization

abstract: Magnetic Resonance Fingerprinting (MRF) is a method to extract quantitative tissue properties such as T1 and T2 relaxation rates from arbitrary pulse sequences using conventional magnetic resonance imaging hardware. MRF pulse sequences have thousands of tunable parameters which can be chosen to maximize precision and minimize scan time. Here we perform de novo automated design of MRF pulse sequences by applying physics-inspired optimization heuristics. Our experimental data suggests systematic errors dominate over random errors in MRF scans under clinically-relevant conditions of high undersampling. Thus, in contrast to prior optimization efforts, which focused on statistical error models, we use a cost function based on explicit first-principles simulation of systematic errors arising from Fourier undersampling and phase variation. The resulting pulse sequences display features qualitatively different from previously used MRF pulse sequences and achieve fourfold shorter scan time than prior human-designed sequences of equivalent precision in T1 and T2. Furthermore, the optimization algorithm has discovered the existence of MRF pulse sequences with intrinsic robustness against shading artifacts due to phase variation.


title: Marginalizable Density Models

abstract: Probability density models based on deep networks have achieved remarkable success in modeling complex high-dimensional datasets. However, unlike kernel density estimators, modern neural models do not yield marginals or conditionals in closed form, as these quantities require the evaluation of seldom tractable integrals. In this work, we present the Marginalizable Density Model Approximator (MDMA), a novel deep network architecture which provides closed form expressions for the probabilities, marginals and conditionals of any subset of the variables. The MDMA learns deep scalar representations for each individual variable and combines them via learned hierarchical tensor decompositions into a tractable yet expressive CDF, from which marginals and conditional densities are easily obtained. We illustrate the advantage of exact marginalizability in several tasks that are out of reach of previous deep network-based density estimation models, such as estimating mutual information between arbitrary subsets of variables, inferring causality by testing for conditional independence, and inference with missing data without the need for data imputation, outperforming state-of-the-art models on these tasks. The model also allows for parallelized sampling with only a logarithmic dependence of the time complexity on the number of variables.


title: Orbitally Selective Resonant Photodoping to Enhance Superconductivity

abstract: Signatures of superconductivity at elevated temperatures above $T_c$ in high temperature superconductors have been observed near 1/8 hole doping for photoexcitation with infrared or optical light polarized either in the CuO$_2$-plane or along the $c$-axis. While the use of in-plane polarization has been effective for incident energies aligned to specific phonons, $c$-axis laser excitation in a broad range between 5 $\mu$m and 400 nm was found to affect the superconducting dynamics in striped La$_{1.885}$Ba$_{0.115}$CuO$_4$, with a maximum enhancement in the $1/\omega$ dependence to the conductivity observed at 800 nm. This broad energy range, and specifically 800 nm, is not resonant with any phonon modes, yet induced electronic excitations appear to be connected to superconductivity at energy scales well above the typical gap energies in the cuprates. A critical question is what can be responsible for such an effect at 800 nm? Using time-dependent exact diagonalization, we demonstrate that the holes in the CuO$_2$ plane can be photoexcited into the charge reservoir layers at resonant wavelengths within a multi-band Hubbard model. This orbitally selective photoinduced charge transfer effectively changes the in-plane doping level, which can lead to an enhancement of $T_c$ near the 1/8 anomaly.


title: DCA based Algorithm with Extrapolation for Nonconvex Nonsmooth Optimization

abstract: In this paper, we focus on the problem of minimizing the sum of a nonconvex differentiable function and a DC (Difference of Convex functions) function, where the differentiable function is not restricted to the global Lipschitz gradient continuity assumption. This problem covers a broad range of applications in machine learning and statistics such as compressed sensing, signal recovery, sparse dictionary learning, and matrix factorization, etc. We take inspiration from the Nesterov's acceleration technique and the DC algorithm to develop a novel algorithm for the considered problem. Analyzing the convergence, we study the subsequential convergence of our algorithm to a critical point. Furthermore, we justify the global convergence of the whole sequence generated by our algorithm to a critical point and establish its convergence rate under the Kurdyka-Lojasiewicz condition. Numerical experiments on the nonnegative matrix completion problem are performed to demonstrate the efficiency of our algorithm and its superiority over well-known methods.


title: Gradient expansion technique for inhomogeneous, magnetized quark matter

abstract: A quark-magnetic Ginzburg-Landau (qHGL) gradient expansion of the free energy of two-flavor inhomogeneous quark matter in a magnetic field $H$ is derived analytically. It can be applied away from the Lifshitz point, generalizing standard Ginzburg-Landau techniques. The thermodynamic potential is written as a sum of the thermal contribution, the non-thermal lowest Landau level contribution, and the non-thermal qHGL functional, which handles any arbitrary position-dependent periodic modulation of the chiral condensate as an input. The qHGL approximation has two main practical features: (1) it is fast to compute; (2) it applies to non-plane-wave modulations such as solitons even when the amplitude of the condensate and its gradients are large (unlike standard Ginzburg-Landau techniques). It agrees with the output of numerical techniques based on standard regularization schemes and reduces to known results at zero temperature ($T = 0$) in benchmark studies. It is found that the region of the $\mu$-$T$ plane (where $\mu$ is the chemical potential) occupied by the inhomogeneous phase expands, as $H$ increases and $T$ decreases.


title: Evaluation of diffuse mismatch model for phonon scattering at disordered interfaces

abstract: Diffuse phonon scattering strongly affects the phonon transport through a disordered interface. The often-used diffuse mismatch model assumes that phonons lose memory of their origin after being scattered by the interface. Using mode-resolved atomic Green's function simulation, we demonstrate that diffuse phonon scattering by a single disordered interface cannot make a phonon lose its memory and thus the applicability of diffusive mismatch model is limited. An analytical expression for diffuse scattering probability based on the continuum approximation is also derived and shown to work reasonably well at low frequencies.


title: Comprehensive Laboratory Measurements Resolving the LMM Dielectronic Recombination Satellite Lines in Ne-like Fe XVII Ions

abstract: We investigated experimentally and theoretically dielectronic recombination (DR) populating doubly excited configurations $3l3l'$ (LMM) in Fe XVII, the strongest channel for soft X-ray line formation in this ubiquitous species. We used two different electron beam ion traps and two complementary measurement schemes for preparing the Fe XVII samples and evaluating their purity, observing negligible contamination effects. This allowed us to diagnose the electron density in both EBITs. We compared our experimental resonant energies and strengths with those of previous independent work at a storage ring as well as those of configuration interaction, multiconfiguration Dirac-Fock calculations, and many-body perturbation theory. This last approach showed outstanding predictive power in the comparison with the combined independent experimental results. From these we also inferred DR rate coefficients, unveiling discrepancies from those compiled in the OPEN-ADAS and AtomDB databases.


title: A Review of Human Evaluation for Style Transfer

abstract: This paper reviews and summarizes human evaluation practices described in 97 style transfer papers with respect to three main evaluation aspects: style transfer, meaning preservation, and fluency. In principle, evaluations by human raters should be the most reliable. However, in style transfer papers, we find that protocols for human evaluations are often underspecified and not standardized, which hampers the reproducibility of research in this field and progress toward better human and automatic evaluation methods.


title: Online Optimization in Games via Control Theory: Connecting Regret, Passivity and Poincar\'e Recurrence

abstract: We present a novel control-theoretic understanding of online optimization and learning in games, via the notion of passivity. Passivity is a fundamental concept in control theory, which abstracts energy conservation and dissipation in physical systems. It has become a standard tool in analysis of general feedback systems, to which game dynamics belong. Our starting point is to show that all continuous-time Follow-the-Regularized-Leader (FTRL) dynamics, which include the well-known Replicator Dynamic, are lossless, i.e. it is passive with no energy dissipation. Interestingly, we prove that passivity implies bounded regret, connecting two fundamental primitives of control theory and online optimization. The observation of energy conservation in FTRL inspires us to present a family of lossless learning dynamics, each of which has an underlying energy function with a simple gradient structure. This family is closed under convex combination; as an immediate corollary, any convex combination of FTRL dynamics is lossless and thus has bounded regret. This allows us to extend the framework of Fox and Shamma [Games, 2013] to prove not just global asymptotic stability results for game dynamics, but Poincar\'e recurrence results as well. Intuitively, when a lossless game (e.g. graphical constant-sum game) is coupled with lossless learning dynamics, their feedback interconnection is also lossless, which results in a pendulum-like energy-preserving recurrent behavior, generalizing the results of Piliouras and Shamma [SODA, 2014] and Mertikopoulos, Papadimitriou and Piliouras [SODA, 2018].


title: ArQTiC: A full-stack software package for simulating materials on quantum computers

abstract: ArQTiC is an open-source, full-stack software package built for the simulations of materials on quantum computers. It currently can simulate materials that can be modeled by any Hamiltonian derived from a generic, one-dimensional, time-dependent Heisenberg Hamiltonain. ArQTiC includes modules for generating quantum programs for real- and imaginary-time evolution, quantum circuit optimization, connection to various quantum backends via the cloud, and post-processing of quantum results. By enabling users to seamlessly perform and analyze materials simulations on quantum computers by simply providing a minimal input text file, ArQTiC opens this field to a broader community of scientists from a wider range of scientific domains.


title: Cooperative Beamforming for Wireless Fronthaul and Access Links in Ultra-Dense C-RANs with SWIPT: A First-Order Approach

abstract: This work studies multigroup multicasting transmission in cloud radio access networks (C-RANs) with simultaneous wireless information and power transfer, where densely packed remote radio heads (RRHs) cooperatively provide information and energy services for information users (IUs) and energy users (EUs), respectively. To maximize the weighted sum rate (WSR) of information services while satisfying the energy harvesting levels at EUs, an optimization of joint beamforming design for the fronthaul and access links is formulated, which is however neither smooth nor convex and is indeed NP-hard. To tackle this difficulty, the smooth and successive convex approximations are used to transform the original problem into a sequence of convex problems, and two first-order algorithms are developed to find the initial feasible point and the nearly optimal solution, respectively. Moreover, an accelerated algorithm is designed to improve the convergence speed by exploiting both Nesterov and heavy-ball momentums. Numerical results demonstrate that the proposed first-order algorithms achieve almost the same WSR as that of traditional second-order approaches yet with much lower computational complexity, and the proposed scheme outperforms state-of-the-art competing schemes in terms of WSR.


title: Self-Supervised Graph Learning with Hyperbolic Embedding for Temporal Health Event Prediction

abstract: Electronic Health Records (EHR) have been heavily used in modern healthcare systems for recording patients' admission information to hospitals. Many data-driven approaches employ temporal features in EHR for predicting specific diseases, readmission times, or diagnoses of patients. However, most existing predictive models cannot fully utilize EHR data, due to an inherent lack of labels in supervised training for some temporal events. Moreover, it is hard for existing works to simultaneously provide generic and personalized interpretability. To address these challenges, we first propose a hyperbolic embedding method with information flow to pre-train medical code representations in a hierarchical structure. We incorporate these pre-trained representations into a graph neural network to detect disease complications, and design a multi-level attention method to compute the contributions of particular diseases and admissions, thus enhancing personalized interpretability. We present a new hierarchy-enhanced historical prediction proxy task in our self-supervised learning framework to fully utilize EHR data and exploit medical domain knowledge. We conduct a comprehensive set of experiments and case studies on widely used publicly available EHR datasets to verify the effectiveness of our model. The results demonstrate our model's strengths in both predictive tasks and interpretable abilities.


title: Investigation on the Spatiotemporal Structures of Supra-Arcade Spikes

abstract: The vertical current sheet (VCS) trailing coronal mass ejections (CMEs) is the key place where the flare energy release and the CME buildup take place through magnetic reconnection. It is often studied from the edge-on perspective for the morphological similarity with the two-dimensional ``standard'' picture, but its three dimensional structure can only be revealed when the flare arcade is observed side on. The structure and dynamics in the so-called supra-arcade region thus contain important clues to the physical processes in flares and CMEs. Here we focus on the supra-arcade spikes (SASs), interpreted as the VCS viewed side-on, to study their spatiotemporal structures. By identifying each individual spike during the decay phase of four selected flares, in which the associated CME is traversed by a near-Earth spacecraft, we found that the widths of spikes are log-normal distributed, while the Fourier power spectra of the overall supra-arcade EUV emission, including bright spikes and dark downflows as well as the diffuse background, are power-law distributed, in terms of either spatial frequency $k$ or temporal frequency $\nu$, which reflects the fragmentation of the VCS. We demonstrate that coronal emission-line intensity observations dominated by Kolmogorov turbulence would exhibit a power spectrum of $E(k)\sim k^{-13/3}$ or $E(\nu)\sim \nu^{-7/2}$, which is consistent with our observations. By comparing the number of SASs and the turns of field lines as derived from the ICMEs, we found a consistent axial length of $\sim\,$3.5 AU for three events with a CME speed of $\sim\,$1000 km/s in the inner heliosphere, but a much longer axial length $\sim\,$8 AU) for the fourth event with an exceptionally fast CME speed of $\sim\,$1500 km/s, suggesting that this ICME is flattened and its `nose' has well passed the Earth when the spacecraft traversed its leg.


title: On Sample Based Explanation Methods for NLP:Efficiency, Faithfulness, and Semantic Evaluation

abstract: In the recent advances of natural language processing, the scale of the state-of-the-art models and datasets is usually extensive, which challenges the application of sample-based explanation methods in many aspects, such as explanation interpretability, efficiency, and faithfulness. In this work, for the first time, we can improve the interpretability of explanations by allowing arbitrary text sequences as the explanation unit. On top of this, we implement a hessian-free method with a model faithfulness guarantee. Finally, to compare our method with the others, we propose a semantic-based evaluation metric that can better align with humans' judgment of explanations than the widely adopted diagnostic or re-training measures. The empirical results on multiple real data sets demonstrate the proposed method's superior performance to popular explanation techniques such as Influence Function or TracIn on semantic evaluation.


title: Effect of Blue Component Stars in Parameters of NGC 6866

abstract: The open star clusters (OSC) are important tracers for understanding the Galactic evolution. The parametric study of these astronomical-objects is crucial task due to the appearing sequence of the members of OSC. These members are defined through the various approaches such as photometric, statistical, kinematics etc. In the present paper, we have been using the photometric colours of the identified stars for categorized them into the blue and red component groups and identification of these groups is possible through (B-V) vs V colour magnitude diagram (CMD). Furthermore, the influence/effect of these groups is also examined in the estimation of cluster parameters. The stellar enhancement of cluster NGC 6866 is found through the blue-component-stars (BCS) and the linear solution of best fitted values of King Models of the radial-densityprofile (RDP) gives the core radius as 5.22+/-0.29 arcmin. The good agreement of present estimated parameters of the cluster with the literature seems to be an effective evidence to consider BCS as the true representative of the cluster. The stellar distribution of the cluster shows continuous phenomena of the mass segregation. An effect of the incompleteness of photometric data is related to the mass-function slope values, which is found to be -3.80+/-0.11 and also shows the incremental nature with the incompleteness.


title: Classically-Boosted Variational Quantum Eigensolver

abstract: The ability of near-term quantum computers to represent classically-intractable quantum states has brought much interest in using such devices for estimating the ground and excited state energies of fermionic Hamiltonians. The usefulness of such near-term techniques, generally based on the Variational Quantum Eigensolver (VQE), however, is limited by device noise and the need to perform many circuit repetitions. This paper addresses these challenges by generalizing VQE to consider wavefunctions in a subspace spanned by classically tractable states and states that can be prepared on a quantum computer. The manuscript shows how the ground and excited state energies can be estimated using such "classical-boosting" and how this approach can be combined with VQE Hamiltonian decomposition techniques. Unlike existing VQE approaches, the sensitivity to sampling error and device noise approaches zero in the limit where the classically tractable states are able to describe an eigenstate. A detailed analysis of the measurement requirements in the simplest case, where a single computational basis state is used to boost conventional VQE, shows that the ground-state energy estimation of several closed-shell homonuclear diatomic molecules can be accelerated by a factor of approximately 10-1000. The analysis also shows that the measurement reduction of such single basis state boosting, relative to conventional VQE, can be estimated using only the overlap between the ground state and the computational basis state used for boosting.


title: Practical Large-Scale Linear Programming using Primal-Dual Hybrid Gradient

abstract: We present PDLP, a practical first-order method for linear programming (LP) that can solve to the high levels of accuracy that are expected in traditional LP applications. In addition, it can scale to very large problems because its core operation is matrix-vector multiplications. PDLP is derived by applying the primal-dual hybrid gradient (PDHG) method, popularized by Chambolle and Pock (2011), to a saddle-point formulation of LP. PDLP enhances PDHG for LP by combining several new techniques with older tricks from the literature; the enhancements include diagonal preconditioning, presolving, adaptive step sizes, and adaptive restarting. PDLP improves the state of the art for first-order methods applied to LP. We compare PDLP with SCS, an ADMM-based solver, on a set of 383 LP instances derived from MIPLIB 2017. With a target of $10^{-8}$ relative accuracy and 1 hour time limit, PDLP achieves a 6.3x reduction in the geometric mean of solve times and a 4.6x reduction in the number of instances unsolved (from 227 to 49). Furthermore, we highlight standard benchmark instances and a large-scale application (PageRank) where our open-source prototype of PDLP, written in Julia, outperforms a commercial LP solver.


title: Fair Machine Learning under Limited Demographically Labeled Data

abstract: Research has shown that, machine learning models might inherit and propagate undesired social biases encoded in the data. To address this problem, fair training algorithms are developed. However, most algorithms assume we know demographic/sensitive data features such as gender and race. This assumption falls short in scenarios where collecting demographic information is not feasible due to privacy concerns, and data protection policies. A recent line of work develops fair training methods that can function without any demographic feature on the data, that are collectively referred as Rawlsian methods. Yet, we show in experiments that, Rawlsian methods tend to exhibit relatively high bias. Given this, we look at the middle ground between the previous approaches, and consider a setting where we know the demographic attributes for only a small subset of our data. In such a setting, we design fair training algorithms which exhibit both good utility, and low bias. In particular, we show that our techniques can train models to significantly outperform Rawlsian approaches even when 0.1% of demographic attributes are available in the training data. Furthermore, our main algorithm can accommodate multiple training objectives easily. We expand our main algorithm to achieve robustness to label noise in addition to fairness in the limited demographics setting to highlight that property as well.


title: Quantum Carry Lookahead Adders for NISQ and Quantum Image Processing

abstract: Progress in quantum hardware design is progressing toward machines of sufficient size to begin realizing quantum algorithms in disciplines such as encryption and physics. Quantum circuits for addition are crucial to realize many quantum algorithms on these machines. Ideally, quantum circuits based on fault-tolerant gates and error-correcting codes should be used as they tolerant environmental noise. However, current machines called Noisy Intermediate Scale Quantum (NISQ) machines cannot support the overhead associated with faulttolerant design. In response, low depth circuits such as quantum carry lookahead adders (QCLA)s have caught the attention of researchers. The risk for noise errors and decoherence increase as the number of gate layers (or depth) in the circuit increases. This work presents an out-of-place QCLA based on Clifford+T gates. The QCLAs optimized for T gate count and make use of a novel uncomputation gate to save T gates. We base our QCLAs on Clifford+T gates because they can eventually be made faulttolerant with error-correcting codes once quantum hardware that can support fault-tolerant designs becomes available. We focus on T gate cost as the T gate is significantly more costly to make faulttolerant than the other Clifford+T gates. The proposed QCLAs are compared and shown to be superior to existing works in terms of T-count and therefore the total number of quantum gates. Finally, we illustrate the application of the proposed QCLAs in quantum image processing by presenting quantum circuits for bilinear interpolation.


title: Communication-efficient SGD: From Local SGD to One-Shot Averaging

abstract: We consider speeding up stochastic gradient descent (SGD) by parallelizing it across multiple workers. We assume the same data set is shared among $N$ workers, who can take SGD steps and coordinate with a central server. While it is possible to obtain a linear reduction in the variance by averaging all the stochastic gradients at every step, this requires a lot of communication between the workers and the server, which can dramatically reduce the gains from parallelism. The Local SGD method, proposed and analyzed in the earlier literature, suggests machines should make many local steps between such communications. While the initial analysis of Local SGD showed it needs $\Omega ( \sqrt{T} )$ communications for $T$ local gradient steps in order for the error to scale proportionately to $1/(NT)$, this has been successively improved in a string of papers, with the state of the art requiring $\Omega \left( N \left( \mbox{ poly} (\log T) \right) \right)$ communications. In this paper, we suggest a Local SGD scheme that communicates less overall by communicating less frequently as the number of iterations grows. Our analysis shows that this can achieve an error that scales as $1/(NT)$ with a number of communications that is completely independent of $T$. In particular, we show that $\Omega(N)$ communications are sufficient. Empirical evidence suggests this bound is close to tight as we further show that $\sqrt{N}$ or $N^{3/4}$ communications fail to achieve linear speed-up in simulations. Moreover, we show that under mild assumptions, the main of which is twice differentiability on any neighborhood of the optimal solution, one-shot averaging which only uses a single round of communication can also achieve the optimal convergence rate asymptotically.


title: Improving the particle identification of radioactive isotope beams at the RIBLL2 separator

abstract: To improve the ability of particle identification of the RIBLL2 separator at the HIRFL-CSR complex, a new high-performance detector for measuring fragment starting time and position at the F1 dispersive plane has been constructed and installed, and a method for achieving precise B\r{ho} determination has been developed using the experimentally derived ion-optical transfer matrix elements from the measured position and ToF information. Using the high-performance detectors and the precise B\r{ho} determination method, the fragments produced by the fragmentation of 78Kr at 300 MeV/nucleon were identified clearly at the RIBLL2-ETF under full momentum acceptance. The atomic number Z resolution of {\sigma}Z~0.19 and the mass-to-charge ratio A/Q resolution of {\sigma}A/Q~5.8e-3 were obtained for the 75As33+ fragment. This great improvement will increase the collection efficiency of exotic nuclei, extend the range of nuclei of interest from the A<40 mass region up to the A~80 mass region, and promote the development of radioactive nuclear beam experiments at the RIBLL2 separator.


title: Modeling and Analysis of Switched-Capacitor Converters as a Multi-port Network for Covert Communication

abstract: Switched-capacitor (SC) DC-DC voltage converters are widely used in power delivery and management of modern integrated circuits. Connected to a common supply voltage, SC converters exhibit cross-regulation/coupling effects among loads connected to different SC converter stages due to the shared components such as switches, capacitors, and parasitic elements. The coupling effects between SC converter stages can potentially be used in covert communication, where two or more entities (e.g., loads) illegitimately establish a communication channel to exchange malicious information stealthily. To qualitatively analyze the coupling effects, a novel modeling technique is proposed based on the multi-port network theory. The fast and slow switching limit (FSL and SSL) equivalent resistance concepts are used to analytically determine the impact of each design parameter such as switch resistance, flying capacitance, switching frequency, and parasitic resistance. A three-stage 2:1 SC converter supplying three different loads is considered as a case study to verify the proposed modeling technique.


title: The convergence rate of the equilibrium measure for the hybrid LQG Mean Field Game

abstract: In this work, we study the convergence rate of the $N$-player LQG game with a Markov chain common noise towards its asymptotic Mean Field Game. By postulating a Markovian structure via two auxiliary processes for the first and second moments of the Mean Field Game equilibrium and applying the fixed point condition in Mean Field Game, we first provide the characterization of the equilibrium measure in Mean Field Game with a finite-dimensional Riccati system of ODEs. Additionally, with an explicit coupling of the optimal trajectory of the $N$-player game driven by $N$ dimensional Brownian motion and Mean Field Game counterpart driven by one-dimensional Brownian motion, we obtain the convergence rate $O(N^{-1/2})$ with respect to 2-Wasserstein distance.