title: ALMA observations of the Extended Green Object G19.01$-$0.03: I. A Keplerian disc in a massive protostellar system

abstract: Using the Atacama Large Millimetre/submillimeter Array (ALMA) and the Karl G. Jansky Very Large Array (VLA), we observed the Extended Green Object (EGO) G19.01$-$0.03 with sub-arcsecond resolution from 1.05 mm to 5.01 cm wavelengths. Our $\sim0.4''\sim1600$ AU angular resolution ALMA observations reveal a velocity gradient across the millimetre core MM1, oriented perpendicular to the previously known bipolar molecular outflow, that is consistently traced by 20 lines of 8 molecular species with a range of excitation temperatures, including complex organic molecules (COMs). Kinematic modelling shows the data are well described by models that include a disc in Keplerian rotation and infall, with an enclosed mass of $40-70 \mathrm{M}_{\odot}$ (within a 2000 AU outer radius) for a disc inclination angle of $i=40^{\circ}$, of which $5.4-7.2 \mathrm{M}_{\odot}$ is attributed to the disc. Our new VLA observations show that the 6.7 GHz Class II methanol masers associated with MM1 form a partial ellipse, consistent with an inclined ring, with a velocity gradient consistent with that of the thermal gas. The disc-to-star mass ratio suggests the disc is likely to be unstable and may be fragmenting into as-yet-undetected low mass stellar companions. Modelling the centimetre--millimetre spectral energy distribution of MM1 shows the ALMA 1.05 mm continuum emission is dominated by dust, whilst a free-free component, interpreted as a hypercompact HII region, is required to explain the VLA $\sim$5 cm emission. The high enclosed mass derived for a source with a moderate bolometric luminosity ($\sim$10$^{4} \mathrm{L}_{\odot}$) suggests that the MM1 disc may feed an unresolved high-mass binary system.


title: Speech Summarization using Restricted Self-Attention

abstract: Speech summarization is typically performed by using a cascade of speech recognition and text summarization models. End-to-end modeling of speech summarization models is challenging due to memory and compute constraints arising from long input audio sequences. Recent work in document summarization has inspired methods to reduce the complexity of self-attentions, which enables transformer models to handle long sequences. In this work, we introduce a single model optimized end-to-end for speech summarization. We apply the restricted self-attention technique from text-based models to speech models to address the memory and compute constraints. We demonstrate that the proposed model learns to directly summarize speech for the How-2 corpus of instructional videos. The proposed end-to-end model outperforms the previously proposed cascaded model by 3 points absolute on ROUGE. Further, we consider the spoken language understanding task of predicting concepts from speech inputs and show that the proposed end-to-end model outperforms the cascade model by 4 points absolute F-1.


title: Predicting the unobserved: a statistical mechanics framework for non-equilibrium material response with quantified uncertainty

abstract: Can far-from-equilibrium material response under arbitrary loading be inferred from equilibrium data and vice versa? Can the effect of element transmutation on mechanical behavior be predicted? Remarkably, such extrapolations are possible in principle for systems governed by stochastic differential equations, thanks to a set of exact relations between probability densities for trajectories derived from the path integral formalism [1, 2, 3]. In this article, we systematically investigate inferences (in the form of ensemble-averages) drawn on system/process S based on stochastic trajectory data of system/process S~, with quantified uncertainty, to directly address the aforementioned questions. Interestingly, such inferences and their associated uncertainty do not require any simulations or experiments of S. The results are exemplified over two illustrative examples by means of numerical simulations: a one-dimensional system as a prototype for polymers and biological macromolecules, and a two-dimensional glassy system. In principle, the approach can be pushed to the extreme case where S~ is simply comprised of Brownian trajectories, i.e., equilibrium non-interacting particles, and S is a complex interacting system driven far from equilibrium. In practice, however, the "further" S~ is from S, the greater the uncertainty in the predictions, for a fixed number of realizations of system S~.


title: Cosmological Vlasov-Poisson equations for dark matter: Recent developments and connections to selected plasma problems

abstract: The cosmic large-scale structures of the Universe are mainly the result of the gravitational instability of initially small density fluctuations in the dark-matter distribution. Dark matter appears to be initially cold and behaves as a continuous and collisionless medium on cosmological scales, with evolution governed by the gravitational Vlasov--Poisson equations. Cold dark matter can accumulate very efficiently at focused locations, leading to a highly non-linear filamentary network with extreme matter densities. Traditionally, investigating the non-linear Vlasov--Poisson equations was typically reserved for massively parallelised numerical simulations. Recently, theoretical progress has allowed us to analyse the mathematical structure of the first infinite densities in the dark-matter distribution by elementary means. We review related advances, as well as provide intriguing connections to classical plasma problems, such as the beam-plasma instability.


title: Chern Fermi pocket, topological pair density wave, and charge-4e and charge-6e superconductivity in kagome superconductors

abstract: The recent discovery of novel charge density wave (CDW) and pair density wave (PDW) in kagom\'e lattice superconductors $A$V$_3$Sb$_5$ ($A=$ K, Rb, Cs) hints at unexpected time-reversal symmetry breaking correlated and topological states whose physical origin and broader implications are not understood. Here, we make conceptual advances toward a mechanism behind the striking observations and new predictions for novel macroscopic phase coherent quantum states. We show that the metallic CDW state with circulating loop currents is a doped orbital Chern insulator near van Hove filling. The emergent Chern Fermi pockets (CFPs) carry concentrated Berry curvature and orbital magnetic moment. We find that the pairing of electrons on the CFPs leads to a superconducting state with an emergent vortex-antivortex lattice and the formation of a complex triple-\textbf{Q} PDW. A plethora of correlated and topological states emerge, including a never-before-encountered chiral topological PDW superconductor, a loop-current pseudogap phase, and vestigial charge-4$e$ and charge-6$e$ superconductivity in staged melting of the vortex-antivortex lattice and hexatic liquid crystal. Our findings reveal previously unknown nature of the superconducting state of a current-carrying Chern metal, with broad implications for correlated and topological materials.


title: Twice regularized MDPs and the equivalence between robustness and regularization

abstract: Robust Markov decision processes (MDPs) aim to handle changing or partially known system dynamics. To solve them, one typically resorts to robust optimization methods. However, this significantly increases computational complexity and limits scalability in both learning and planning. On the other hand, regularized MDPs show more stability in policy learning without impairing time complexity. Yet, they generally do not encompass uncertainty in the model dynamics. In this work, we aim to learn robust MDPs using regularization. We first show that regularized MDPs are a particular instance of robust MDPs with uncertain reward. We thus establish that policy iteration on reward-robust MDPs can have the same time complexity as on regularized MDPs. We further extend this relationship to MDPs with uncertain transitions: this leads to a regularization term with an additional dependence on the value function. We finally generalize regularized MDPs to twice regularized MDPs (R${}^2$ MDPs), i.e., MDPs with $\textit{both}$ value and policy regularization. The corresponding Bellman operators enable developing policy iteration schemes with convergence and robustness guarantees. It also reduces planning and learning in robust MDPs to regularized MDPs.


title: Stacking Integrators Without Sacrificing the Overshoot in Reset Control Systems

abstract: According to the well-known loop-shaping control design approach, the steady-state precision of control systems can be improved by stacking integrators. However, due to the waterbed effect in linear control systems, such an action will worsen the transient response by increasing overshoot and creating wind-up problems. This paper presents a new architecture for rest control systems that can significantly decrease the overshoot and create a no-overshoot performance even in presence of stacked integrators. The steady-state analysis of the proposed system will also show that improved precision expected due to stacked integrators can be achieved as well. A numerical simulation study is presented to verify the results and the tuning guide presented.


title: Real Image Inversion via Segments

abstract: In this short report, we present a simple, yet effective approach to editing real images via generative adversarial networks (GAN). Unlike previous techniques, that treat all editing tasks as an operation that affects pixel values in the entire image in our approach we cut up the image into a set of smaller segments. For those segments corresponding latent codes of a generative network can be estimated with greater accuracy due to the lower number of constraints. When codes are altered by the user the content in the image is manipulated locally while the rest of it remains unaffected. Thanks to this property the final edited image better retains the original structures and thus helps to preserve natural look.


title: Toward nonlinear dynamic control over encrypted data for infinite time horizon

abstract: Recent studies on encrypted control using homomorphic encryption allow secure operation by directly performing computations on encrypted data without decryption. Implementing dynamic controllers on encrypted data presents unique challenges due to limitations on the number of operations on an encrypted message. Hence, it may not be possible to perform the recursive operations for an infinite time horizon. In this note, we demonstrate that it is possible to run a dynamic controller over encrypted data for an infinite time horizon if the output of the controller can be represented as a function of a fixed number of previous inputs and outputs. The presented implementation requires encryption at both input and output of the plant. We identify a class of nonlinear systems that can accommodate the proposed implementation. The closed-loop performance can be guaranteed using the proposed encrypted controller by ensuring that quantization error is made arbitrarily small with appropriate choice of parameters. We show that the proposed method is amenable to linear systems (as a subset of the said nonlinear systems) with performance guarantees.


title: Mapping stellar surfaces III: An Efficient, Scalable, and Open-Source Doppler Imaging Model

abstract: The study of stellar surfaces can reveal information about the chemical composition, interior structure, and magnetic properties of stars. It is also critical to the detection and characterization of extrasolar planets, in particular those targeted in extreme precision radial velocity (EPRV) searches, which must contend with stellar variability that is often orders of magnitude stronger than the planetary signal. One of the most successful methods to map the surfaces of stars is Doppler imaging, in which the presence of inhomogeneities is inferred from subtle line shape changes in high resolution stellar spectra. In this paper, we present a novel, efficient, and closed-form solution to the problem of Doppler imaging of stellar surfaces. Our model explicitly allows for incomplete knowledge of the local (rest frame) stellar spectrum, allowing one to learn differences from spectral templates while simultaneously mapping the stellar surface. It therefore works on blended lines, regions of the spectrum where line formation mechanisms are not well understood, or stars whose spots have intrinsically different spectra from the rest of the photosphere. We implement the model within the open source starry framework, making it fast, differentiable, and easy to use in both optimization and posterior inference settings. As a proof-of-concept, we use our model to infer the surface map of the brown dwarf WISE 1049-5319B, finding close agreement with the solution of Crossfield et al. (2014). We also discuss Doppler imaging in the context of EPRV studies and describe an interpretable spectral-temporal Gaussian process for stellar spectral variability that we expect will be important for EPRV exoplanet searches.


title: Analytic Continuation of Divergent Integrals

abstract: In this work the improper integral of monomial $\mu(s) = \int_1^{\infty} x^{-s} dx$ is considered as continuous analogy of infinite series in the context of the Riemann zeta function $\zeta(s) = \sum_{n=1}^{\infty} n^{-s}$. Both the integral and the sum of monomial functions diverge to infinity for $s \in \mathbb{C}$ with $\mbox{Re}(s) \leq 1$, while they become convergent otherwise. This paper presents analytic continuation of divergent integral of monomial over the entire complex plane with the exception of the pole at one, similar to analytic continuation of the zeta-function. It is shown that the improper integral can be equivalently written in term of Dirichlet series by making term-by-term integration of the monomial over successive integer intervals and using the Newton's generalization of the binomial theorem. This allows us to establish an elegant relationship between the $\mu$-function and $\zeta$-function and a functional equation that are exploited to assign meaningful solution to the divergent integral in the sense of analytic continuation. Subsequently, it is proved that the $\mu$-function is holomorphic everywhere except for a simple pole at $s = 1$ and that the analytic continuation solution is consistent with the Abel-Plana formula.


title: Sm{\aa}prat: DialoGPT for Natural Language Generation of Swedish Dialogue by Transfer Learning

abstract: Building open-domain conversational systems (or chatbots) that produce convincing responses is a recognized challenge. Recent state-of-the-art (SoTA) transformer-based models for the generation of natural language dialogue have demonstrated impressive performance in simulating human-like, single-turn conversations in English. This work investigates, by an empirical study, the potential for transfer learning of such models to Swedish language. DialoGPT, an English language pre-trained model, is adapted by training on three different Swedish language conversational datasets obtained from publicly available sources. Perplexity score (an automated intrinsic language model metric) and surveys by human evaluation were used to assess the performances of the fine-tuned models, with results that indicate that the capacity for transfer learning can be exploited with considerable success. Human evaluators asked to score the simulated dialogue judged over 57% of the chatbot responses to be human-like for the model trained on the largest (Swedish) dataset. We provide the demos and model checkpoints of our English and Swedish chatbots on the HuggingFace platform for public use.


title: LiST: Lite Prompted Self-training Makes Parameter-Efficient Few-shot Learners

abstract: We present a new method LiST is short for Lite Prompted Self-Training for parameter-efficient fine-tuning of large pre-trained language models (PLMs) for few-shot learning. LiST improves over recent methods that adopt prompt-based fine-tuning (FN) using two key techniques. The first is the use of self-training to leverage large amounts of unlabeled data for prompt-based FN in few-shot settings. We use self-training in conjunction with meta-learning for re-weighting noisy pseudo-prompt labels. Self-training is expensive as it requires updating all the model parameters repetitively. Therefore, we use a second technique for light-weight fine-tuning where we introduce a small number of task-specific parameters that are fine-tuned during self-training while keeping the PLM encoder frozen. Our experiments show that LiST can effectively leverage unlabeled data to improve the model performance for few-shot learning. Additionally, the fine-tuning is efficient as it only updates a small percentage of parameters and the overall model footprint is reduced since several tasks can share a common PLM encoder as backbone. A comprehensive study on six NLU tasks demonstrate LiST to improve by 35% over classic fine-tuning and 6% over prompt-based FN with 96% reduction in number of trainable parameters when fine-tuned with no more than 30 labeled examples from each task. With only 14M tunable parameters, LiST outperforms GPT-3 in-context learning by 33% on few-shot NLU tasks.


title: Detailed Modelling of Ultraviolet Radiation (UV) from the Interaction of Multiple Lamps in Reactors, using Radiative Transfer Techniques

abstract: Trojan Technologies uses mercury-based ultraviolet (UV) lamps in reactors to purify water. When there are multiple closely spaced lamps in a reactor, significant UV emitted by the various lamps can reach, and 'interact' with neighbouring lamps. Although many of the optical phenomena occurring in a UV reactor are well understood and accounted for in current models, the fate of UV photons from one lamp reaching the plasma of a neighbouring lamp after travelling through the intervening air, quartz, and water has not been investigated in detail. These photons can be transmitted through the plasma, absorbed and re-emitted, or lost. The goal of this project was to develop a more accurate model, which accounts for these plasma interactions, to better predict the UV distribution throughout a reactor. We developed a Monte Carlo theoretical model of the photon-plasma interactions; predictions of this model agree well with work in the literature. We further validated our model by performing several optical experiments with UV lamps.


title: A note on the Blum-Hanson property of some contractions on $\mathrm{L}^p$-spaces

abstract: If $\Omega$ is a measure space, we show that absolute contractions which are selfadjoint on $\mathrm{L}^2(\Omega)$ induce contractions on $\mathrm{L}^p(\Omega)$ which satisfy the Blum-Hanson property. Our very short argument relies on the use of noncommutative $\mathrm{L}^p$-spaces.


title: Searches for new physics in collision events using a statistical technique for anomaly detection

abstract: This paper discusses a statistical anomaly-detection method for model-independent searches for new physics in collision events produced at the Large Hadron Collider (LHC). The method requires calculations of $Z$-scores for a large number of Lorenz-invariant variables to identify events that deviate from those expected for the Standard Model (SM).


title: A Young, Low-Density Stellar Stream in the Milky Way Disk: Theia 456

abstract: Our view of the variety of stellar structures pervading the local Milky Way has been transformed by the application of clustering algorithms to the Gaia catalog. In particular, several stellar streams have been recently discovered that are comprised of hundreds to thousands of stars and span several hundred parsecs. We analyze one such structure, Theia 456, a low-density stellar stream extending nearly 200 pc and 20$^{\circ}$ across the sky. By supplementing Gaia astrometric data with spectroscopic metallicities from LAMOST and photometric rotation periods from the Zwicky Transient Facility (ZTF) and the Transiting Exoplanet Survey Satellite (TESS), we establish Theia 456's radial velocity coherence, and we find strong evidence that members of Theia 456 have a common age ($\simeq$175 Myr), common dynamical origin, and formed from chemically homogeneous pre-stellar material ([Fe/H] = $-$0.07 dex). Unlike well-known stellar streams in the Milky Way, which are in its halo, Theia 456 is firmly part of the thin disk. If our conclusions about Theia 456 can be applied to even a small fraction of the remaining $\simeq$8300 independent structures in the Theia catalog, such low-density stellar streams may be ubiquitous. We comment on the implications this has for the nature of star-formation throughout the Galaxy.


title: Characterization of atmospheric coherent structures and their impact on a utility-scale wind turbine

abstract: Atmospheric turbulent velocity fluctuations are known to increase wind turbine structural loading and accelerate wake recovery, but the impact of vortical coherent structures in the atmosphere on wind turbines has not yet been evaluated. The current study uses flow imaging with natural snowfall with a field of view spanning the inflow and near wake. Vortical coherent structures with diameters on the order of 1 m are identified and characterized in the flow approaching a 2.5 MW wind turbine in the region spanning the bottom blade tip elevation to hub height. Their impact on turbine structural loading, power generation, and wake behaviour are evaluated. Long coherent structure packets (larger than 200 m) are shown to increase fluctuating stresses on the turbine support tower. Large inflow vortices interact with the turbine blades, leading to deviations from the expected power generation. The sign of these deviations is related to the rotation direction of the vortices, with rotation in the same direction as the circulation on the blades leading to periods of power surplus, and opposite rotation causing power deficit. Periods of power deficit coincide with wake contraction events. These findings highlight the importance of considering coherent structure properties when making turbine design and siting decisions.


title: S3PRL-VC: Open-source Voice Conversion Framework with Self-supervised Speech Representations

abstract: This paper introduces S3PRL-VC, an open-source voice conversion (VC) framework based on the S3PRL toolkit. In the context of recognition-synthesis VC, self-supervised speech representation (S3R) is valuable in its potential to replace the expensive supervised representation adopted by state-of-the-art VC systems. Moreover, we claim that VC is a good probing task for S3R analysis. In this work, we provide a series of in-depth analyses by benchmarking on the two tasks in VCC2020, namely intra-/cross-lingual any-to-one (A2O) VC, as well as an any-to-any (A2A) setting. We also provide comparisons between not only different S3Rs but also top systems in VCC2020 with supervised representations. Systematic objective and subjective evaluation were conducted, and we show that S3R is comparable with VCC2020 top systems in the A2O setting in terms of similarity, and achieves state-of-the-art in S3R-based A2A VC. We believe the extensive analysis, as well as the toolkit itself, contribute to not only the S3R community but also the VC community. The codebase is now open-sourced.


title: Precise Beam Energy Determination for Hall A after the CEBAF 12 GeV Upgrade

abstract: Precise and accurate measurements of the beam energy delivered to the experimental halls at the Thomas Jefferson Accelerator Facility (Jefferson Lab) is required by many experiments for proper data analysis and physics event reconstruction. During the 6 GeV era of Jefferson Lab, the energy delivered to experimental Hall A was determined to 2E-4 dE/E with multiple measurements; but after the machine was upgraded to 12 GeV, the accelerator's beam energy calculations needed to be re-calibrated. In order to link the 6 GeV era calibrations to the 12 GeV era, the Hall A ARC energy measurement system was left unmodified. After the upgrade, this system was used to determine the absolute beam energy being delivered into Hall A and find the new calibrations for the main machine. To ensure the validity of these results, they have been cross checked using elastic scattering data as well as spin precession data.


title: The Rich Get Richer: Disparate Impact of Semi-Supervised Learning

abstract: Semi-supervised learning (SSL) has demonstrated its potential to improve the model accuracy for a variety of learning tasks when the high-quality supervised data is severely limited. Although it is often established that the average accuracy for the entire population of data is improved, it is unclear how SSL fares with different sub-populations. Understanding the above question has substantial fairness implications when different sub-populations are defined by the demographic groups that we aim to treat fairly. In this paper, we reveal the disparate impacts of deploying SSL: the sub-population who has a higher baseline accuracy without using SSL (the "rich" one) tends to benefit more from SSL; while the sub-population who suffers from a low baseline accuracy (the "poor" one) might even observe a performance drop after adding the SSL module. We theoretically and empirically establish the above observation for a broad family of SSL algorithms, which either explicitly or implicitly use an auxiliary "pseudo-label". Experiments on a set of image and text classification tasks confirm our claims. We introduce a new metric, Benefit Ratio, and promote the evaluation of the fairness of SSL (Equalized Benefit Ratio). We further discuss how the disparate impact can be mitigated. We hope our paper will alarm the potential pitfall of using SSL and encourage a multifaceted evaluation of future SSL algorithms.


title: Detecting Corrupted Labels Without Training a Model to Predict

abstract: Label noise in real-world datasets encodes wrong correlation patterns and impairs the generalization of deep neural networks (DNNs). It is critical to find efficient ways to detect corrupted patterns. Current methods primarily focus on designing robust training techniques to prevent DNNs from memorizing corrupted patterns. These approaches often require customized training processes and may overfit corrupted patterns, leading to a performance drop in detection. In this paper, from a more data-centric perspective, we propose a training-free solution to detect corrupted labels. Intuitively, ``closer'' instances are more likely to share the same clean label. Based on the neighborhood information, we propose two methods: the first one uses ``local voting" via checking the noisy label consensuses of nearby features. The second one is a ranking-based approach that scores each instance and filters out a guaranteed number of instances that are likely to be corrupted. We theoretically analyze how the quality of features affects the local voting and provide guidelines for tuning neighborhood size. We also prove the worst-case error bound for the ranking-based method. Experiments with both synthetic and real-world label noise demonstrate our training-free solutions consistently and significantly improve most of the training-based baselines. Code is available at github.com/UCSC-REAL/SimiFeat.


title: Tomographic phase and attenuation extraction for a sample composed of unknown materials using X-ray propagation-based phase-contrast imaging

abstract: Propagation-based phase-contrast X-ray imaging (PB-PCXI) generates image contrast by utilizing sample-imposed phase-shifts. This has proven useful when imaging weakly-attenuating samples, as conventional attenuation-based imaging does not always provide adequate contrast. We present a PB-PCXI algorithm capable of extracting the X-ray attenuation, $\beta$, and refraction, $\delta$, components of the complex refractive index of distinct materials within an unknown sample. The method involves curve-fitting an error-function-based model to a phase-retrieved interface in a PB-PCXI tomographic reconstruction, which is obtained when Paganin-type phase-retrieval is applied with incorrect values of $\delta$ and $\beta$. The fit parameters can then be used to calculate true $\delta$ and $\beta$ values for composite materials. This approach requires no a priori sample information, making it broadly applicable. Our PB-PCXI reconstruction is single distance, requiring only one exposure per tomographic angle, which is important for radiosensitive samples. We apply this approach to a breast-tissue sample, recovering the refraction component, $\delta$, with 0.6 - 2.4\% accuracy compared to theoretical values.


title: Partial Identification of Marginal Treatment Effects with discrete instruments and misreported treatment

abstract: This paper provides partial identification results for the marginal treatment effect ($MTE$) when the binary treatment variable is potentially misreported and the instrumental variable is discrete. Identification results are derived under different sets of nonparametric assumptions. The identification results are illustrated in identifying the marginal treatment effects of food stamps on health.


title: Algebraic irrational stable commutator length in finitely presented groups

abstract: We provide the first example of a finitely presented (in fact, type $F_\infty$) group with elements whose stable commutator length is algebraic and irrational, answering a question of Calegari. Our example is the lift to the real line of the \emph{golden ratio Thompson group} $T_\tau$: the circle analogue of the Cleary's golden ratio Thompson group $F_\tau$ which acts on the interval.


title: Real-Time Learning from An Expert in Deep Recommendation Systems with Marginal Distance Probability Distribution

abstract: Recommendation systems play an important role in today's digital world. They have found applications in various applications such as music platforms, e.g., Spotify, and movie streaming services, e.g., Netflix. Less research effort has been devoted to physical exercise recommendation systems. Sedentary lifestyles have become the major driver of several diseases as well as healthcare costs. In this paper, we develop a recommendation system for daily exercise activities to users based on their history, profile and similar users. The developed recommendation system uses a deep recurrent neural network with user-profile attention and temporal attention mechanisms. Moreover, exercise recommendation systems are significantly different from streaming recommendation systems in that we are not able to collect click feedback from the participants in exercise recommendation systems. Thus, we propose a real-time, expert-in-the-loop active learning procedure. The active learners calculate the uncertainty of the recommender at each time step for each user and ask an expert for a recommendation when the certainty is low. In this paper, we derive the probability distribution function of marginal distance, and use it to determine when to ask experts for feedback. Our experimental results on a mHealth dataset show improved accuracy after incorporating the real-time active learner with the recommendation system.


title: Decision-Theoretic Question Generation for Situated Reference Resolution: An Empirical Study and Computational Model

abstract: Dialogue agents that interact with humans in situated environments need to manage referential ambiguity across multiple modalities and ask for help as needed. However, it is not clear what kinds of questions such agents should ask nor how the answers to such questions can be used to resolve ambiguity. To address this, we analyzed dialogue data from an interactive study in which participants controlled a virtual robot tasked with organizing a set of tools while engaging in dialogue with a live, remote experimenter. We discovered a number of novel results, including the distribution of question types used to resolve ambiguity and the influence of dialogue-level factors on the reference resolution process. Based on these empirical findings we: (1) developed a computational model for clarification requests using a decision network with an entropy-based utility assignment method that operates across modalities, (2) evaluated the model, showing that it outperforms a slot-filling baseline in environments of varying ambiguity, and (3) interpreted the results to offer insight into the ways that agents can ask questions to facilitate situated reference resolution.


title: Grid-based calculation of Lagrangian mean

abstract: Lagrangian averaging has been shown to be more effective than Eulerian mean in separating waves from slow dynamics in two-timescale flows. It also appears in many reduced models that capture the wave feedback on the slow flow. Its calculation, however, requires tracking particles in time, which imposes several difficulties in grid-based numerical simulations or estimation from fixed-point measurements. To circumvent these difficulties, we propose a grid-based iterative method to calculate Lagrangian mean without tracking particles in time. We explain how this method reduces computation, memory footprint and communication between processors in parallelised numerical models. To assess the accuracy of this method several examples are examined and discussed. We also explore an application of this method in the context of shallow-water equations by quantifying the validity of wave-averaged geostrophic balance -- a modified form of geostrophic balance accounting for the effect of strong waves on slow dynamics.


title: Scalable Consistency Training for Graph Neural Networks via Self-Ensemble Self-Distillation

abstract: Consistency training is a popular method to improve deep learning models in computer vision and natural language processing. Graph neural networks (GNNs) have achieved remarkable performance in a variety of network science learning tasks, but to date no work has studied the effect of consistency training on large-scale graph problems. GNNs scale to large graphs by minibatch training and subsample node neighbors to deal with high degree nodes. We utilize the randomness inherent in the subsampling of neighbors and introduce a novel consistency training method to improve accuracy. For a target node we generate different neighborhood expansions, and distill the knowledge of the average of the predictions to the GNN. Our method approximates the expected prediction of the possible neighborhood samples and practically only requires a few samples. We demonstrate that our training method outperforms standard GNN training in several different settings, and yields the largest gains when label rates are low.


title: The Butterfly lemma

abstract: The Butterfly lemma we present can be considered a reiteration theorem for differentials generated from a complex interpolation process for families of K\"othe spaces. The lemma will be used to clarify the effect of different configurations in the resulting differential (because although interpolation is an orientation-free process, the obtention of differentials is not) and to round off a few aspects of Kalton's interpolation theorem.


title: UCX Programming Interface for Remote Function Injection and Invocation

abstract: Network library APIs have historically been developed with the emphasis on data movement, placement, and communication semantics. Many communication semantics are available across a large variety of network libraries, such as send-receive, data streaming, put/get/atomic, RPC, active messages, collective communication, etc. In this work we introduce new compute and data movement APIs that overcome the constraints of the single-program, multiple-data (SPMD) programming model by allowing users to send binary executable code between processing elements. Our proof-of-concept implementation of the API is based on the UCX communication framework and leverages the RDMA network for fast compute migration. We envision the API being used to dispatch user functions from a host CPU to a SmartNIC (DPU), computational storage drive (CSD), or remote servers. In addition, the API can be used by large-scale irregular applications (such as semantic graph analysis), composed of many coordinating tasks operating on a data set so big that it has to be stored on many physical devices. In such cases, it may be more efficient to dynamically choose where code runs as the applications progresses.


title: Microkelvin electronics on a pulse-tube cryostat with a gate Coulomb blockade thermometer

abstract: Access to lower temperatures has consistently enabled scientific breakthroughs. Pushing the limits of \emph{on-chip} temperatures deep into the microkelvin regime would open the door to unprecedented quantum coherence, novel quantum states of matter, and also the discovery of unexpected phenomena. Adiabatic demagnetization is the workhorse of microkelvin cooling, requiring a dilution refrigerator precooling stage. Pulse-tube dilution refrigerators have grown enormously in popularity due to their vast experimental space and independence of helium, but their unavoidable vibrations are making microkelvin cooling very difficult. On-chip thermometry in this unexplored territory is also not a trivial task due to extreme sensitivity to noise. Here, we present a pulse-tube compatible microkelvin sample holder with on-board cooling and microwave filtering and introduce a new type of temperature sensor, the gate Coulomb blockade thermometer (gCBT), working deep into the microkelvin regime. Using on- and off-chip cooling, we demonstrate electronic temperatures as low as 224$\pm$7$\mu$K, remaining below 300$\mu$K for 27 hours, thus providing sufficient time for measurements. Finally, we give an outlook for cooling below 50$\mu$K for a new generation of microkelvin transport experiments.


title: A Time-Variability Test for Candidate Neutrino Sources Observed with IceCube

abstract: Recent studies with IceCube have shown signs of a time-integrated flux of astrophysical neutrinos from point-like sources such as TXS 0506+056 and NGC 1068. Time-variability of this neutrino emission from TXS 0506+056 has been studied extensively by assuming a temporal profile of the possible flare(s) or searching for temporal neutrino correlation with other electromagnetic counterparts. However, experimental evidence of the temporal profile of an astrophysical neutrino signal, besides the TXS 0506+056 source, remains lacking. In this study, we present a new KS-test based method for investigating time-variability. This new method complements the existing time-dependent search methods with a test for arbitrary time-variability, independent of an assumed temporal profile or electromagnetic counterpart. Additionally, this method provides a diagnostic tool for characterizing point-like source candidates in IceCube by distinguishing variable from steady neutrino emission and we show results of applying this method to a small catalog of candidate blazars.


title: Persistent Homology with Improved Locality Information for more Effective Delineation

abstract: Persistent Homology (PH) has been successfully used to train networks to detect curvilinear structures and to improve the topological quality of their results. However, existing methods are very global and ignore the location of topological features. In this paper, we remedy this by introducing a new filtration function that fuses two earlier approaches: thresholding-based filtration, previously used to train deep networks to segment medical images, and filtration with height functions, typically used to compare 2D and 3D shapes. We experimentally demonstrate that deep networks trained using our PH-based loss function yield reconstructions of road networks and neuronal processes that reflect ground-truth connectivity better than networks trained with existing loss functions based on PH. Code is available at https://github.com/doruk-oner/PH-TopoLoss.


title: The Role of Permutation Invariance in Linear Mode Connectivity of Neural Networks

abstract: In this paper, we conjecture that if the permutation invariance of neural networks is taken into account, SGD solutions will likely have no barrier in the linear interpolation between them. Although it is a bold conjecture, we show how extensive empirical attempts fall short of refuting it. We further provide a preliminary theoretical result to support our conjecture. Our conjecture has implications for lottery ticket hypothesis, distributed training, and ensemble methods.


title: Model order reduction for bifurcating phenomena in Fluid-Structure Interaction problems

abstract: This work explores the development and the analysis of an efficient reduced order model for the study of a bifurcating phenomenon, known as the Coand\u{a} effect, in a multi-physics setting involving fluid and solid media. Taking into consideration a Fluid-Structure Interaction problem, we aim at generalizing previous works towards a more reliable description of the physics involved. In particular, we provide several insights on how the introduction of an elastic structure influences the bifurcating behaviour. We have addressed the computational burden by developing a reduced order branch-wise algorithm based on a monolithic Proper Orthogonal Decomposition. We compared different constitutive relations for the solid, and we observed that a nonlinear hyper-elastic law delays the bifurcation w.r.t. the standard model, while the same effect is even magnified when considering linear elastic solid.


title: Domain Generalization via Domain-based Covariance Minimization

abstract: Researchers have been facing a difficult problem that data generation mechanisms could be influenced by internal or external factors leading to the training and test data with quite different distributions, consequently traditional classification or regression from the training set is unable to achieve satisfying results on test data. In this paper, we address this nontrivial domain generalization problem by finding a central subspace in which domain-based covariance is minimized while the functional relationship is simultaneously maximally preserved. We propose a novel variance measurement for multiple domains so as to minimize the difference between conditional distributions across domains with solid theoretical demonstration and supports, meanwhile, the algorithm preserves the functional relationship via maximizing the variance of conditional expectations given output. Furthermore, we also provide a fast implementation that requires much less computation and smaller memory for large-scale matrix operations, suitable for not only domain generalization but also other kernel-based eigenvalue decompositions. To show the practicality of the proposed method, we compare our methods against some well-known dimension reduction and domain generalization techniques on both synthetic data and real-world applications. We show that for small-scale datasets, we are able to achieve better quantitative results indicating better generalization performance over unseen test datasets. For large-scale problems, the proposed fast implementation maintains the quantitative performance but at a substantially lower computational cost.


title: Elliptic Weingarten Hypersurfaces of Riemannian Products

abstract: Let $M^n$ be either a simply connected space form or a rank-one symmetric space of noncompact type. We consider Weingarten hypersurfaces of $M\times\mathbb R$, which are those whose principal curvatures $k_1,\dots ,k_n$ and angle function $\theta$ satisfy a relation $W(k_1,\dots,k_n,\theta^2)=0,$ being $W$ a differentiable function which is symmetric with respect to $k_1,\dots, k_n.$ When $\partial W/\partial k_i>0$ on the positive cone of $\mathbb R^n,$ a strictly convex Weingarten hypersurface determined by $W$ is said to be elliptic. We show that, for a certain class of Weingarten functions $W,$ there exist rotational strictly convex Weingarten hypersurfaces of $M\times\mathbb R$ which are either topological spheres or entire graphs over $M.$ We establish a Jellett-Liebmann-type theorem by showing that a compact, connected and elliptic Weingarten hypersurface of either $\mathbb S^n\times\mathbb R$ or $\mathbb H^n\times\mathbb R$ is a rotational embedded sphere. Other uniqueness results for complete elliptic Weingarten hypersurfaces of these ambient spaces are obtained. We also obtain existence results for constant scalar curvature hypersurfaces of $\mathbb S^n\times\mathbb R$ and $\mathbb H^n\times\mathbb R$ which are either rotational or invariant by translations (parabolic or hyperbolic). We apply our methods to give new proofs of the main results by Manfio and Tojeiro on the classification of constant sectional curvature hypersurfaces of $\mathbb S^n\times\mathbb R$ and $\mathbb H^n\times\mathbb R.$


title: The hitchhiker guide to Categorical Banach space theory. Part II

abstract: What has category theory to offer to Banach spacers? In this second part survey-like paper we will focus on very much needed advanced categorical and homological elements, such as Kan extensions, derived category and derived functor or Abelian hearts of Banach spaces.


title: Switch-based Hybrid Beamforming for Wideband Multi-carrier Communications

abstract: Switch-based hybrid beamforming (SW-HBF) architectures are promising for realizing massive multiple-input multiple-output (MIMO) communications systems because of their low cost and low power consumption. In this paper, we study the performance of SW-HBF in a wideband multi-carrier MIMO communication system considering the beam squint effect. We aim at designing the switch-based combiner that maximizes the system spectral efficiency (SE). However, the design problem is challenging because the analog combing matrix elements are binary variables. To overcome this, we propose tabu search-based (TS) SW-HBF schemes that can attain near-optimal performance with reasonable computational complexity. Furthermore, we compare the total power consumption and energy efficiency (EE) of the SW-HBF architecture to those of the phase-shifter-based hybrid beamforming (PS-HBF) architecture. Numerical simulations show that the proposed algorithms can efficiently find near-optimal solutions. Moreover, the SW-HBF scheme can significantly mitigate the beam squint effect and is less affected by the number of subcarriers than PS-HBF. It also provides improved SE and EE performance compared to PS-HBF schemes.


title: $L^T_p-$ functions on locally compact groups

abstract: Let $G$ be a locally compact group and $1\leq p<\infty$. Based on some important earlier works, in this paper the concept of $L_p^T-$function is introduced. Then the structure of the space $L^{T}_p(G)$, which is consisting of all $L_p^T-$functions, is investigated. As an important result, $L^{T}_p(G)^+$ is completely characterized, for the class of amenable locally compact groups. Furthermore, it is verified some applications of Plancherel Theorem on $L^{T}_2(G)$, in the class of abelian locally compact groups.


title: NetRep: Automatic Repair for Network Programs

abstract: Debugging imperative network programs is a challenging task for developers because understanding various network modules and complicated data structures is typically time-consuming. To address the challenge, this paper presents an automated technique for repairing network programs from unit tests. Specifically, given as input a faulty network program and a set of unit tests, our approach localizes the fault through symbolic reasoning, and synthesizes a patch such that the repaired program can pass all unit tests. It applies domain-specific abstraction to simplify network data structures and utilizes modular analysis to facilitate function summary reuse for symbolic analysis. We implement the proposed techniques in a tool called NetRep and evaluate it on 10 benchmarks adapted from real-world software-defined networking controllers. The evaluation results demonstrate the effectiveness and efficiency of NetRep for repairing network programs.


title: Generalized Time Domain Velocity Vector

abstract: We introduce and analyze Generalized Time Domain Velocity Vector (GTVV), an extension of the previously presented acoustic multipath footprint extracted from the Ambisonic recordings. GTVV is better adapted to adverse acoustic conditions, and enables efficient parameter estimation of multiple plane wave components in the recorded multichannel mixture. Experiments on simulated data confirm the predicted theoretical advantages of these new spatio-temporal features.


title: An enumeration of 1-perfect ternary codes

abstract: We study codes with parameters of the ternary Hamming $(n=(3^m-1)/2,3^{n-m},3)$ code, i.e., ternary $1$-perfect codes. The rank of the code is defined to be the dimension of its affine span. We characterize ternary $1$-perfect codes of rank $n-m+1$, count their number, and prove that all such codes can be obtained from each other by a sequence of two-coordinate switchings. We enumerate ternary $1$-perfect codes of length $13$ obtained by concatenation from codes of lengths $9$ and $4$; we find that there are $93241327$ equivalence classes of such codes. Keywords: perfect codes, ternary codes, concatenation, switching.


title: Fine-grained style control in Transformer-based Text-to-speech Synthesis

abstract: In this paper, we present a novel architecture to realize fine-grained style control on the transformer-based text-to-speech synthesis (TransformerTTS). Specifically, we model the speaking style by extracting a time sequence of local style tokens (LST) from the reference speech. The existing content encoder in TransformerTTS is then replaced by our designed cross-attention blocks for fusion and alignment between content and style. As the fusion is performed along with the skip connection, our cross-attention block provides a good inductive bias to gradually infuse the phoneme representation with a given style. Additionally, we prevent the style embedding from encoding linguistic content by randomly truncating LST during training and using wav2vec 2.0 features. Experiments show that with fine-grained style control, our system performs better in terms of naturalness, intelligibility, and style transferability. Our code and samples are publicly available.


title: Probing into gas leakage characteristics of ventilated supercavity through bubbly wake measurement

abstract: The stability of ventilated supercavitation is strongly influenced by gas leakage characteristics of the cavity. Here we conduct a systematic investigation of such characteristics under different closure conditions including re-entrant jet (RJ), quad vortex (QV), twin vortex (TV), and pulsating twin vortex (PTV). Using high-speed digital inline holography (DIH), all the individual bubbles shed from the cavity are imaged downstream and are used to quantify the instantaneous gas leakage from the cavity. In general, the supercavity gas leakage exhibits significant fluctuations under all closure types with the instantaneous leakage rate spiking up to 20 times of the ventilation input under RJ and QV closures. However, the magnitude and occurrence rate of such excessive gas leakage vary substantially across different closures, tunnel speeds, and ventilation conditions. Particularly, as the supercavity transitions from RJ, to QV, TV, and PTV with increasing ventilation or decreasing tunnel speed, the relative excessive gas leakage decreases sharply from RJ to QV, plateaus from QV to TV, and drops again from TV to PTV. Correspondingly, the occurrence frequency of such excessive leakage first exhibits a double peak distribution under RJ, migrates to a single peak mode under QV and TV, and eventually transitions to a distribution with a broadened peak at a higher frequency under PTV. These trends can be explained by the flow instabilities associated with three distinct gas leakage mechanisms. Subsequently, two metrics are introduced to quantify the relative change of ventilation needed to compensate for the change of extra gas loss and the predictability of the occurrence of excessive gas leakage, respectively. Based on these metrics, we suggest that the supercavity operating under TV closure with moderate ventilation is optimal for ventilation-based controls of supercavity stability.


title: Regularized Step Directions in Nonlinear Conjugate Gradient Methods

abstract: Conjugate gradient minimization methods (CGM) and their accelerated variants are widely used. We focus on the use of cubic regularization to improve the CGM direction independent of the steplength computation. In this paper, we propose the Hybrid Cubic Regularization of CGM, where regularized steps are used selectively. Using Shanno's reformulation of CGM as a memoryless BFGS method, we derive new formulas for the regularized step direction. We show that the regularized step direction uses the same order of computational burden per iteration as its non-regularized version. Moreover, the Hybrid Cubic Regularization of CGM exhibits global convergence with fewer assumptions. In numerical experiments, the new step directions are shown to require fewer iteration counts, improve runtime, and reduce the need to reset the step direction. Overall, the Hybrid Cubic Regularization of CGM exhibits the same memoryless and matrix-free properties, while outperforming CGM as a memoryless BFGS method in iterations and runtime.


title: Exploring Wav2vec 2.0 fine-tuning for improved speech emotion recognition

abstract: While Wav2Vec 2.0 has been proposed for speech recognition (ASR), it can also be used for speech emotion recognition (SER); its performance can be significantly improved using different fine-tuning strategies. Two baseline methods, vanilla fine-tuning (V-FT) and task adaptive pretraining (TAPT) are first presented. We show that V-FT is able to outperform state-of-the-art models on the IEMOCAP dataset. TAPT, an existing NLP fine-tuning strategy, further improves the performance on SER. We also introduce a novel fine-tuning method termed P-TAPT, which modifies the TAPT objective to learn contextualized emotion representations. Experiments show that P-TAPT performs better than TAPT, especially under low-resource settings. Compared to prior works in this literature, our top-line system achieved a 7.4\% absolute improvement in unweighted accuracy (UA) over the state-of-the-art performance on IEMOCAP. Our code is publicly available.


title: Solar Flare Irradiance: Observations and Physical Modeling

abstract: We examine SDO/EVE data to better understand solar flare irradiance, and how that irradiance may vary for large events. We measure scaling laws relating GOES flare classes to irradiance in 21 lines measured with SDO/EVE, formed across a wide range of temperatures, and find that this scaling depends on the line formation temperature. We extrapolate these irradiance values to large events, exceeding X10. In order to create full spectra, however, we need a physical model of the irradiance. We present the first results of a new physical model of solar flare irradiance, NRLFLARE, that sums together a series of flare loops to calculate the spectral irradiance ranging from the X-rays through the far ultraviolet (~ 0 to 1250 Angstroms), constrained by GOES/XRS observations. We test this model against SDO/EVE data. The model spectra and time evolution compares well in high temperature emission, but cooler lines show large discrepancies. We speculate that the discrepancies are likely due to both a non-uniform cross section of the flaring loops as well as opacity effects. We then show that allowing the cross-sectional area to vary with height significantly improves agreement with observations, and is therefore a crucial parameter needed to accurately model the intensity of spectral lines, particularly in the transition region from 4.7 < log T < 6.0.


title: Incremental Community Detection in Distributed Dynamic Graph

abstract: Community detection is an important research topic in graph analytics that has a wide range of applications. A variety of static community detection algorithms and quality metrics were developed in the past few years. However, most real-world graphs are not static and often change over time. In the case of streaming data, communities in the associated graph need to be updated either continuously or whenever new data streams are added to the graph, which poses a much greater challenge in devising good community detection algorithms for maintaining dynamic graphs over streaming data. In this paper, we propose an incremental community detection algorithm for maintaining a dynamic graph over streaming data. The contributions of this study include (a) the implementation of a Distributed Weighted Community Clustering (DWCC) algorithm, (b) the design and implementation of a novel Incremental Distributed Weighted Community Clustering (IDWCC) algorithm, and (c) an experimental study to compare the performance of our IDWCC algorithm with the DWCC algorithm. We validate the functionality and efficiency of our framework in processing streaming data and performing large in-memory distributed dynamic graph analytics. The results demonstrate that our IDWCC algorithm performs up to three times faster than the DWCC algorithm for a similar accuracy.


title: Sealing from Iterability

abstract: We obtain sealing by forcing over a self-iterable model. The proof is fine-structure free and uses only basic ideas from iteration theory. We believe that such fine-structure free proofs will make the subject more accessible to the general set theoretic community.


title: Algebra of Data Reconciliation

abstract: With distributed computing and mobile applications becoming ever more prevalent, synchronizing diverging replicas of the same data is a common problem. Reconciliation -- bringing two replicas of the same data structure as close as possible without overriding local changes -- is investigated in an algebraic model. Our approach is to consider two sequences of simple commands that describe the changes in the replicas compared to the original structure, and then determine the maximal subsequences of each that can be propagated to the other. The proposed command set is shown to be functionally complete, and an update detection algorithm is presented which produces a command sequence transforming the original data structure into the replica while traversing both simultaneously. Syntactical characterization is provided in terms of a rewriting system for semantically equivalent command sequences. Algebraic properties of sequence pairs that are applicable to the same data structure are investigated. Based on these results the reconciliation problem is shown to have a unique maximal solution. In addition, syntactical properties of the maximal solution allow for an efficient algorithm that produces it.


title: An inner model theoretic proof of Becker's theorem

abstract: We give a new proof of a theorem of Becker that under AD+V=L(R), omega_2 is a kappa-supercompact for every kappa less than or equal to the supremum of all Suslin cardinals. Our proof uses inner model theory. It is still open whether one can prove, say under AD_R, that Suslin cardinals and their successors are <Theta-supercompact. That this is true is a theorem of Steve Jackson, who proved it using generic codes.


title: On Association between Absolute and Relative Zigzag Persistence

abstract: Duality results connecting persistence modules for absolute and relative homology provides a fundamental understanding into persistence theory. In this paper, we study similar associations in the context of zigzag persistence. Our main finding is a weak duality for the so-called non-repetitive zigzag filtrations in which a simplex is never added again after being deleted. The technique used to prove the duality for non-zigzag persistence does not extend straightforwardly to our case. Accordingly, taking a different route, we prove the weak duality by converting a non-repetitive filtration to an up-down filtration by a sequence of diamond switches. We then show an application of the weak duality result which gives a near-linear algorithm for computing the $p$-th and a subset of the $(p-1)$-th persistence for a non-repetitive zigzag filtration of a simplicial $p$-manifold. Utilizing the fact that a non-repetitive filtration admits an up-down filtration as its canonical form, we further reduce the problem of computing zigzag persistence for non-repetitive filtrations to the problem of computing standard persistence for which several efficient implementations exist. Our experiment shows that this achieves substantial performance gain. Our study also identifies repetitive filtrations as instances that fundamentally distinguish zigzag persistence from the standard persistence.


title: The Use of Geometric Quantities in the Tensor Description of a Euclidean Space

abstract: We present a tensor description of Euclidean spaces that emphasizes the use of geometric vectors. We demonstrate the effectiveness of the approach by proving of a number of integral identities with vector integrands.


title: Period Ratio Sculpting Near Second-Order Mean-Motion Resonances

abstract: Second-order mean-motion resonances lead to an interesting phenomenon in the sculpting of the period ratio distribution due to their shape and width in period-ratio/eccentricity space. As the osculating periods librate in resonance, the time-averaged period ratio approaches the exact commensurability. The width of second-order resonances increases with increasing eccentricity, and thus more eccentric systems have a stronger peak at commensurability when averaged over sufficient time. The libration period is short enough that this time-averaging behavior is expected to appear on the timescale of the Kepler mission. Using N-body integrations of simulated planet pairs near the 5:3 and 3:1 mean-motion resonances, we investigate the eccentricity distribution consistent with the planet pairs observed by Kepler. This analysis, an approach independent from previous studies, shows no statistically significant peak at the 3:1 resonance and a small peak at the 5:3 resonance, placing an upper limit on the Rayleigh scale parameter, $\sigma$, of the eccentricity of the observed Kepler planets at $\sigma=0.245$ (3:1) and $\sigma=0.095$ (5:3) at 95% confidence, consistent with previous results from other methods.


title: DQN-based Beamforming for Uplink mmWave Cellular-Connected UAVs

abstract: Unmanned aerial vehicles (UAVs) are the emerging vital components of millimeter wave (mmWave) wireless systems. Accurate beam alignment is essential for efficient beam-based mmWave communications of UAVs with base stations (BSs). Conventional beam sweeping approaches often have large overhead due to the high mobility and autonomous operation of UAVs. Learning-based approaches greatly reduce the overhead by leveraging UAV data, like position to identify optimal beam directions. In this paper, we propose a reinforcement learning (RL)-based framework for UAV-BS beam alignment using deep Q-Network (DQN) in a mmWave setting. We consider uplink communications where the UAV hovers around 5G new radio (NR) BS coverage area, with varying channel conditions. The proposed learning framework uses the location information to maximize data rate through the optimal beam-pairs efficiently, upon every communication request from UAV inside the multi-location environment. We compare our proposed framework against the Multi-Armed Bandit (MAB) learning-based approach and the traditional exhaustive approach, respectively, and also analyse the training performance of DQN-based beam alignment over different coverage area requirements and channel conditions. Our results show that the proposed DQN-based beam alignment converges faster and generic for different environmental conditions. The framework can also learn optimal beam alignment comparable to the exhaustive approach in an online manner under real-time conditions.


title: Continuous Solar Observations from the Ground -- Assessing Duty Cycle from GONG Observations

abstract: Continuous observations play an important role in the studies of solar variability. While such observations can be achieved from space with almost 100% duty cycle, it is difficult to accomplish very high duty cycle from the ground. In this context, we assess the duty cycle that has been achieved from the ground by analyzing the observations of a six station network of identical instruments, Global Oscillation Network Group (GONG). We provide a detailed analysis of the duty cycle using GONG observations spanning over 18 years. We also discuss duty cycle of individual sites and point out various factors that may impact individual site or network duty cycle. The mean duty cycle of the network is 93%, however it reduces by about 5% after all images pass through the stringent quality-control checks. The standard deviations in monthly and yearly duty cycle values are found to be 1.9% and 2.2%, respectively. These results provide a baseline that can be used in the planning of future ground-based networks.


title: Bounds on the Hausdorff dimension of Teichm\"uller horocycle flow orbit closures

abstract: We show that the Hausdorff dimension of any proper Teichm\"uller horocycle flow orbit closure on any $\mathrm{SL}{(2,\mathbf{R})}$-invariant subvariety of Abelian or quadratic differentials is bounded away from the dimension of the subvariety in terms of the polynomial mixing rate of the Teichm\"uller horocycle flow on the subvariety. The proof is based on abstract methods for measurable flows adapted from work of Bourgain and Katz on sparse ergodic theorems.


title: Controller-based Energy-Aware Wireless Sensor Network Routing using Quantum Algorithms

abstract: Energy efficient routing in wireless sensor networks has attracted attention from researchers in both academia and industry, most recently motivated by the opportunity to use SDN (software defined network)-inspired approaches. These problems are NP-hard, with algorithms needing computation time which scales faster than polynomial in the problem size. Consequently, heuristic algorithms are used in practice, which are unable to guarantee optimally. In this short paper, we show proof-of-principle for the use of a quantum annealing processor instead of a classical processor, to find optimal or near-optimal solutions very quickly. Our preliminary results for small networks show that this approach using quantum computing has great promise and may open the door for other significant improvements in the efficacy of network algorithms.


title: A closest point method library for PDEs on surfaces with parallel domain decomposition solvers and preconditioners

abstract: The DD-CPM software library provides a set of tools for the discretization and solution of problems arising from the closest point method (CPM) for partial differential equations on surfaces. The solvers are built on top of the well-known PETSc framework, and are supplemented by custom domain decomposition (DD) preconditioners specific to the CPM. These solvers are fully compatible with distributed memory parallelism through MPI. This library is particularly well suited to the solution of elliptic and parabolic equations, including many reaction-diffusion equations. The software is detailed herein, and a number of sample problems and benchmarks are demonstrated. Finally, the parallel scalability is measured.


title: An Annihilating Filter-Based DOA Estimation for Uniform Linear Array

abstract: In this paper, we propose a new method to design an annihilating filter (AF) for direction-of-arrival (DOA) estimation of multiple snapshots within an uniform linear array. To evaluate the proposed method, we firstly design a DOA estimation using multiple signal classification (MUSIC) algorithm, referred to as the MUSIC baseline. We then compare the proposed method with the MUSIC baseline in two environmental noise conditions: Only white noise, or both white noise and diffusion. The experimental results highlight two main contributions; the first is to modify conventional MUSIC algorithm for adapting different noise conditions, and the second is to propose an AF-based method that shows competitive accuracy of arrival angles detected and low complexity compared with the MUSIC baseline.


title: A Multi-scale Time-series Dataset with Benchmark for Machine Learning in Decarbonized Energy Grids

abstract: The electric grid is a key enabling infrastructure for the ambitious transition towards carbon neutrality as we grapple with climate change. With deepening penetration of renewable energy resources and electrified transportation, the reliable and secure operation of the electric grid becomes increasingly challenging. In this paper, we present PSML, a first-of-its-kind open-access multi-scale time-series dataset, to aid in the development of data-driven machine learning (ML) based approaches towards reliable operation of future electric grids. The dataset is generated through a novel transmission + distribution (T+D) co-simulation designed to capture the increasingly important interactions and uncertainties of the grid dynamics, containing electric load, renewable generation, weather, voltage and current measurements over multiple spatio-temporal scales. Using PSML, we provide state-of-the-art ML baselines on three challenging use cases of critical importance to achieve: (i) early detection, accurate classification and localization of dynamic disturbance events; (ii) robust hierarchical forecasting of load and renewable energy with the presence of uncertainties and extreme events; and (iii) realistic synthetic generation of physical-law-constrained measurement time series. We envision that this dataset will enable advances for ML in dynamic systems, while simultaneously allowing ML researchers to contribute towards carbon-neutral electricity and mobility.


title: As Easy as ABC: Adaptive Binning Coincidence Test for Uniformity Testing

abstract: We consider the problem of uniformity testing of Lipschitz continuous distributions with bounded support. The alternative hypothesis is a composite set of Lipschitz continuous distributions that are at least $\varepsilon$ away in $\ell_1$ distance from the uniform distribution. We propose a sequential test that adapts to the unknown distribution under the alternative hypothesis. Referred to as the Adaptive Binning Coincidence (ABC) test, the proposed strategy adapts in two ways. First, it partitions the set of alternative distributions into layers based on their distances to the uniform distribution. It then sequentially eliminates the alternative distributions layer by layer in decreasing distance to the uniform, and subsequently takes advantage of favorable situations of a distant alternative by exiting early. Second, it adapts, across layers of the alternative distributions, the resolution level of the discretization for computing the coincidence statistic. The farther away the layer is from the uniform, the coarser the discretization is needed for eliminating/exiting this layer. It thus exits both early in the detection process and quickly by using a lower resolution to take advantage of favorable alternative distributions. The ABC test builds on a novel sequential coincidence test for discrete distributions, which is of independent interest. We establish the sample complexity of the proposed tests as well as a lower bound.

categories: math.ST cs.DS cs.IT cs.LG math.IT stat.TH


title: When Does the Gittins Policy Have Asymptotically Optimal Response Time Tail?

abstract: We consider scheduling in the M/G/1 queue with unknown job sizes. It is known that the Gittins policy minimizes mean response time in this setting. However, the behavior of the tail of response time under Gittins is poorly understood, even in the large-response-time limit. Characterizing Gittins's asymptotic tail behavior is important because if Gittins has optimal tail asymptotics, then it simultaneously provides optimal mean response time and good tail performance. In this work, we give the first comprehensive account of Gittins's asymptotic tail behavior. For heavy-tailed job sizes, we find that Gittins always has asymptotically optimal tail. The story for light-tailed job sizes is less clear-cut: Gittins's tail can be optimal, pessimal, or in between. To remedy this, we show that a modification of Gittins avoids pessimal tail behavior while achieving near-optimal mean response time.


title: AC sensing using nitrogen vacancy centers in a diamond anvil cell up to 6 GPa

abstract: Nitrogen-vacancy color centers in diamond have attracted broad attention as quantum sensors for both static and dynamic magnetic, electrical, strain and thermal fields, and are particularly attractive for quantum sensing under pressure in diamond anvil cells. Optically-based nuclear magnetic resonance may be possible at pressures greater than a few GPa, and offers an attractive alternative to conventional Faraday-induction based detection. Here we present AC sensing results and demonstrate synchronized readout up to 6 GPa, but find that the sensitivity is reduced due to inhomogeneities of the microwave field and pressure within the sample space. These experiments enable the possibility for all-optical high resolution magnetic resonance of nanoliter sample volumes at high pressures.


title: Quadrotor going through a window and landing: An image-based visual servo control approach

abstract: This paper considers the problem of controlling a quadrotor to go through a window and land on a planar target, the landing pad, using an Image-Based Visual Servo (IBVS) controller that relies on sensing information from two on-board cameras and an IMU. The maneuver is divided into two stages: crossing the window and landing on the pad. For the first stage, a control law is proposed that guarantees that the vehicle will not collide with the wall containing the window and will go through the window with non-zero velocity along the direction orthogonal to the window, keeping at all times a safety distance with respect to the window edges. For the landing stage, the proposed control law ensures that the vehicle achieves a smooth touchdown, keeping at all time a positive height above the plane containing the landing pad. For control purposes, the centroid vectors provided by the combination of the spherical image measurements of a collection of landmarks (corners) for both the window and the landing pad are used as position measurement. The translational optical flow relative to the wall, window edges, and landing plane is used as velocity cue. To achieve the proposed objective, no direct measurements nor explicit estimate of position or velocity are required. Simulation and experimental results are provided to illustrate the performance of the presented controller.


title: A Reference Governor for linear systems with polynomial constraints

abstract: The paper considers the application of reference governors to linear discrete-time systems with constraints given by polynomial inequalities. We propose a novel algorithm to compute the maximal output admissible invariant set in the case of polynomial constraints. The reference governor solves a constrained nonlinear minimization problem at initialization and then uses a bisection algorithm at the subsequent time steps. The effectiveness of the method is demonstrated by two numerical examples.


title: Online Trajectory Optimization for Dynamic Aerial Motions of a Quadruped Robot

abstract: This work presents a two part framework for online planning and execution of dynamic aerial motions on a quadruped robot. Motions are planned via a centroidal momentum-based nonlinear optimization that is general enough to produce rich sets of novel dynamic motions based solely on the user-specified contact schedule and desired launch velocity of the robot. Since this nonlinear optimization is not tractable for real-time receding horizon control, motions are planned once via nonlinear optimization in preparation of an aerial motion and then tracked continuously using a variational-based optimal controller that offers robustness to the uncertainties that exist in the real hardware such as modeling error or disturbances. Motion planning typically takes between 0.05-0.15 seconds, while the optimal controller finds stabilizing feedback inputs at 500 Hz. Experimental results on the MIT Mini Cheetah demonstrate that the framework can reliably produce successful aerial motions such as jumps onto and off of platforms, spins, flips, barrel rolls, and running jumps over obstacles.


title: Exploring Content Based Image Retrieval for Highly Imbalanced Melanoma Data using Style Transfer, Semantic Image Segmentation and Ensemble Learning

abstract: Lesion images are frequently taken in open-set settings. Because of this, the image data generated is extremely varied in nature.It is difficult for a convolutional neural network to find proper features and generalise well, as a result content based image retrieval (CBIR) system for lesion images are difficult to build. This paper explores this domain and proposes multiple similarity measures which uses Style Loss and Dice Coefficient via a novel similarity measure called I1-Score. Out of the CBIR similarity measures proposed, pure style loss approach achieves a remarkable accuracy increase over traditional approaches like Euclidean Distance and Cosine Similarity. The I1-Scores using style loss performed better than traditional approaches by a small margin, whereas, I1-Scores with dice-coefficient faired very poorly. The model used is trained using ensemble learning for better generalization.


title: Distributed Kalman Filters for Relative Formation Control of Mobile Agents

abstract: Formation control (FC) of multi-agent plays a critical role in a wide variety of fields. In the absence of absolute positioning, agents in FC systems rely on relative position measurements with respect to their neighbors. In distributed filter design literature, relative observation models are comparatively unexplored, and in FC literature, uncertainty models are rarely considered. In this article, we aim to bridge the gap between these domains, by exploring distributed filters tailored for relative FC of swarms. We propose statistically robust data models for tracking relative positions of agents in a FC network, and subsequently propose optimal Kalman filters for both centralized and distributed scenarios. Our simulations highlight the benefits of these estimators, and we identify future research directions based on our proposed framework.


title: Euclidean Quantum Field Formulation of p-Adic open string amplitudes

abstract: We study in a rigorous mathematical way p-adic quantum field theories whose N-point amplitudes are the expectation of products of vertex operators. We show that this type of amplitudes admit a series expansion where each term is an Igusa's local zeta function. The lowest term in this series is a regularized version of the p-adic open Koba-Nielsen string amplitude.


title: Principal Bundles and Gauge Theories

abstract: This set of lecture notes first gives an introduction to the geometry of principal bundles. Next, it demonstrates how they can be used to formalize the concept of gauge theories, arising in physics. A basic familiarity is assumed with the differential geometry of manifolds and classical field theories of general relativity and electromagnetism.


title: Compact Bonnet Pairs: isometric tori with the same curvatures

abstract: We explicitly construct a pair of immersed tori in three dimensional Euclidean space that are related by a mean curvature preserving isometry. These Bonnet pair tori are the first examples of compact Bonnet pairs. This resolves a longstanding open problem on whether the metric and mean curvature function determine a unique smooth compact immersion. Moreover, we prove these isometric tori are real analytic. This resolves a second longstanding open problem on whether real analyticity of the metric already determines a unique compact immersion. Our construction uses the relationship between Bonnet pairs and isothermic surfaces. The Bonnet pair tori arise as conformal transformations of an isothermic torus with one family of planar curvature lines. We classify such isothermic tori in our companion paper (arXiv:2312.14956). The above approach stems from computational investigations of a 5x7 quad decomposition of a torus using a discrete differential geometric analog of isothermic surfaces and Bonnet pairs.


title: The VLSAT-2 Benchmark Suite

abstract: This report presents VLSAT-2 (an acronym for "Very Large Boolean SATisfiability problems),the second part of a benchmark suite to be used in scientific experiments and softwarecompetitions addressing SAT-solving issues.VLSAT-2 contains 100 benchmarks (50 satisfiable and 50 unsatisfiable formulas)of increasing complexity, proposed in DIMACS CNF format undera permissive Creative Commons license.25% of these benchmarks have been used during the 2020 and 2021 editionsof the International SAT Competition.


title: The Framework of Mechanics for Dynamic Behaviors of Fractional-Order Stochastic Dynamic Systems

abstract: The goal of this paper is to establish a general framework for dynamic behaviors of coupled fractional-order stochastic dynamic systems of particles by using star-coupled models. In particular, the general mechanics on the dynamic behaviors related to the stochastic resonance (SR) phenomenon of a star-coupled harmonic oscillator subject to multiplicative fluctuation and periodic force in viscous media are established by considering couplings, memory effects, the occurring of synchronization linked to the occurring of SR induced. The multiplicative noise is modeled as dichotomous noise and the memory of viscous media is characterized by fractional power kernel function. By using the Shapiro-Loginov formula and Laplace transform, the analytical expressions for the first moment of the steady state response, the stability and relationship between the system response and the system parameters in the long-time limit in terms of systems'asymptotic stability are also established. All theoretical analyses are supported by the corresponding numerical simulations, and thus it seems that the results established in this paper would provide a possible fundamental mathematical framework for the study of Schumpeter's theory on the economic development under the innovation and capital paradigm and related disciplines. In particular, the framework established by this paper allows us at the first time logically concluding that in general, the ratio for SMEs grow up successfully is less than one third, this is consistent with what the market has been observed commonly, and the similar conclusion available from the existing literature today.


title: Compactness of isospectral conformal Finslerian metrics set on a 3-manifold

abstract: Let F be a Finslerian metric on an n-dimensional closed manifold M. In this work, we study problems about compactness of isospectral sets of conformal Finslerian metrics when n=3.


title: Natural Computational Architectures for Cognitive Info-Communication

abstract: Recent comprehensive overview of 40 years of research in cognitive architectures, (Kotseruba and Tsotsos 2020), evaluates modelling of the core cognitive abilities in humans, but only marginally addresses biologically plausible approaches based on natural computation. This mini review presents a set of perspectives and approaches which have shaped the development of biologically inspired computational models in the recent past that can lead to the development of biologically more realistic cognitive architectures. For describing continuum of natural cognitive architectures, from basal cellular to human-level cognition, we use evolutionary info-computational framework, where natural/ physical/ morphological computation leads to evolution of increasingly complex cognitive systems. Forty years ago, when the first cognitive architectures have been proposed, understanding of cognition, embodiment and evolution was different. So was the state of the art of information physics, bioinformatics, information chemistry, computational neuroscience, complexity theory, self-organization, theory of evolution, information and computation. Novel developments support a constructive interdisciplinary framework for cognitive architectures in the context of computing nature, where interactions between constituents at different levels of organization lead to complexification of agency and increased cognitive capacities. We identify several important research questions for further investigation that can increase understanding of cognition in nature and inspire new developments of cognitive technologies. Recently, basal cell cognition attracted a lot of interest for its possible applications in medicine, new computing technologies, as well as micro- and nanorobotics.


title: A novel framework based on deep learning and ANOVA feature selection method for diagnosis of COVID-19 cases from chest X-ray Images

abstract: The new coronavirus (known as COVID-19) was first identified in Wuhan and quickly spread worldwide, wreaking havoc on the economy and people's everyday lives. Fever, cough, sore throat, headache, exhaustion, muscular aches, and difficulty breathing are all typical symptoms of COVID-19. A reliable detection technique is needed to identify affected individuals and care for them in the early stages of COVID-19 and reduce the virus's transmission. The most accessible method for COVID-19 identification is RT-PCR; however, due to its time commitment and false-negative results, alternative options must be sought. Indeed, compared to RT-PCR, chest CT scans and chest X-ray images provide superior results. Because of the scarcity and high cost of CT scan equipment, X-ray images are preferable for screening. In this paper, a pre-trained network, DenseNet169, was employed to extract features from X-ray images. Features were chosen by a feature selection method (ANOVA) to reduce computations and time complexity while overcoming the curse of dimensionality to improve predictive accuracy. Finally, selected features were classified by XGBoost. The ChestX-ray8 dataset, which was employed to train and evaluate the proposed method. This method reached 98.72% accuracy for two-class classification (COVID-19, healthy) and 92% accuracy for three-class classification (COVID-19, healthy, pneumonia).


title: Learning Compact Metrics for MT

abstract: Recent developments in machine translation and multilingual text generation have led researchers to adopt trained metrics such as COMET or BLEURT, which treat evaluation as a regression problem and use representations from multilingual pre-trained models such as XLM-RoBERTa or mBERT. Yet studies on related tasks suggest that these models are most efficient when they are large, which is costly and impractical for evaluation. We investigate the trade-off between multilinguality and model capacity with RemBERT, a state-of-the-art multilingual language model, using data from the WMT Metrics Shared Task. We present a series of experiments which show that model size is indeed a bottleneck for cross-lingual transfer, then demonstrate how distillation can help addressing this bottleneck, by leveraging synthetic data generation and transferring knowledge from one teacher to multiple students trained on related languages. Our method yields up to 10.5% improvement over vanilla fine-tuning and reaches 92.6% of RemBERT's performance using only a third of its parameters.


title: Decentralized Connectivity Maintenance for Multi-robot Systems Under Motion and Sensing Uncertainties

abstract: Communication connectivity is desirable for safe and efficient operation of multi-robot systems. While decentralized algorithms for connectivity maintenance have been explored in recent literature, the majority of these works do not account for robot motion and sensing uncertainties. These uncertainties are inherent in practical robots and result in robots deviating from their desired positions which could potentially result in a loss of connectivity. In this paper we present a Decentralized Connectivity Maintenance algorithm accounting for robot motion and sensing Uncertainties (DCMU). We first propose a novel weighted graph definition for the multi-robot system that accounts for the aforementioned uncertainties along with realistic connectivity constraints such as line-of-sight connectivity and collision avoidance. Next we design a decentralized gradient-based controller for connectivity maintenance where we derive the gradients of our weighted graph edge weights required for computing the control. Finally, we perform multiple simulations to validate the connectivity maintenance performance of our DCMU algorithm under robot motion and sensing uncertainties and show an improvement compared to previous work.


title: Equivalence of Fell bundles is an equivalence relation

abstract: We introduce the notion of groupoid pre-equivalences and prove that they give rise to groupoid equivalences by taking certain quotients. Then, given an equivalence of Fell bundles $\mathscr{B}$ and $\mathscr{C}$ and another equivalence between $\mathscr{C}$ and $\mathscr{D}$, we construct an equivalence between $\mathscr{B}$ and $\mathscr{D}$ out of the tensor product bundle. As a consequence, we obtain that Fell bundle equivalence is indeed an equivalence relation.


title: On Spatial Cohesiveness of Second-Order Self-Propelled Swarming Systems

abstract: The study of emergent behavior of swarms is of great interest for applied sciences. One of the most fundamental questions for self-organizing swarms is whether the swarms disperse or remain in a spatially cohesive configuration. In the paper we study dissipativity properties and spatial cohesiveness of the swarm of self-propelled particles governed by the model $\ddot r_k = -p_k(|\dot r_k|)\dot r_k - \sum_m a_{k,m}r_m$, where $r_k\in \mathbb R^d$, $k=1,\ldots,n$, and $A = \{a_{k,m}\}$ is a symmetric positive-semidefinie matrix. The self-propulsion term is assumed to be continuously differentiable and to grow faster than $1/z$, that is, $p_k(z)z\to\infty $ as $z\to\infty$. We establish that the velocity and acceleration of the particles are ultimately bounded. We show that when $\ker (A)$ is trivial, the positions of the particles are also ultimately bounded. For systems with $\ker (A)\neq \{0\}$, we show that, while the system might infinitely drift away from its initial location, the particles remain within a bounded distance from the generalized center of mass of the system, which geometrically coincides with the weighted average of agent positions. The weights are determined by the coefficients of the projection matrix onto $\ker (A)$. We also include the proof of the ultimate boundedness of velocities and accelerations for systems with bounded coupling, including systems coupled via the Morse potential. In our proof we switch to the velocity-acceleration coordinates and focus on the study of dissipativity properties for a more general class of Li\'enard systems $\ddot x_k = -\mathbb F_k(x_k)\cdot \dot x_k -\sum_{m} a_{k,m}x_m$, $k=1,\ldots,n$, $\mathbb F_k(x) = \nabla F_k(x)$ with $F_k: \mathbb R^d\rightarrow \mathbb R^d$ given by $F_k(x) = p_k(|x|)x$.


title: Dislocation-based strength model for high energy density conditions

abstract: We derive a continuum-level plasticity model for polycrystalline materials in the high energy density regime, based on a single dislocation density and single mobility mechanism, with an evolution model for the dislocation density. The model is formulated explicitly in terms of quantities connected closely with equation of state (EOS) theory, in particular the shear modulus and Einstein temperature, which reduces the number of unconstrained parameters while increasing the range of applicability. The least constrained component is the Peierls barrier $E_P$, which is however accessible by atomistic simulations. We demonstrate an efficient method to estimate the variation of $E_P$ with compression, constrained to fit a single flow stress datum. The formulation for dislocation mobility accounts for some or possibly all of the stiffening at high strain rates usually attributed to phonon drag. The configurational energy of the dislocations is accounted for explicitly, giving a self-consistent calculation of the conversion of plastic work to heat. The configurational energy is predicted to contribute to the mean pressure, and may reach several percent in the terapascal range, which may be significant when inferring scalar EOS data from dynamic loading experiments. The bulk elastic strain energy also contributes to the pressure, but appears to be much smaller. Although inherently describing the plastic relaxation of elastic strain, the model can be manipulated to estimate the flow stress as a function of mass density, temperature, and strain rate, which is convenient to compare with other models and inferences from experiment. The deduced flow stress reproduces systematic trends observed in elastic waves and instability growth experiments, and makes testable predictions of trends versus material and crystal type over a wide range of pressure and strain rate.


title: The Absolute continuity of convolutions of orbital measures in SO(2n+1)

abstract: Let $G$ be a compact Lie group of Lie type $B_{n},$ such as $SO(2n+1)$. We characterize the tuples\ $(x_{1},...,x_{L})$ of the elements $x_{j}\in G$ which have the property that the product of their conjugacy classes has non-empty interior. Equivalently, the convolution product of the orbital measures supported on their conjugacy classes is absolutely continuous with respect to Haar measure. The characterization depends on the dimensions of the largest eigenspaces of each $x_{j}$. Such a characterization was previously only known for the compact Lie groups of type $A_{n}$.


title: $i$-QER: An Intelligent Approach towards Quantum Error Reduction

abstract: Quantum computing has become a promising computing approach because of its capability to solve certain problems, exponentially faster than classical computers. A $n$-qubit quantum system is capable of providing $2^{n}$ computational space to a quantum algorithm. However, quantum computers are prone to errors. Quantum circuits that can reliably run on today's Noisy Intermediate-Scale Quantum (NISQ) devices are not only limited by their qubit counts but also by their noisy gate operations. In this paper, we have introduced $i$-QER, a scalable machine learning-based approach to evaluate errors in a quantum circuit and helps to reduce these without using any additional quantum resources. The $i$-QER predicts possible errors in a given quantum circuit using supervised learning models. If the predicted error is above a pre-specified threshold, it cuts the large quantum circuit into two smaller sub-circuits using an error-influenced fragmentation strategy for the first time to the best of our knowledge. The proposed fragmentation process is iterated until the predicted error reaches below the threshold for each sub-circuit. The sub-circuits are then executed on a quantum device. Classical reconstruction of the outputs obtained from the sub-circuits can generate the output of the complete circuit. Thus, $i$-QER also provides classical control over a scalable hybrid computing approach, which is a combination of quantum and classical computers. The $i$-QER tool is available at https://github.com/SaikatBasu90/i-QER.


title: Exact and Bounded Collision Probability for Motion Planning under Gaussian Uncertainty

abstract: Computing collision-free trajectories is of prime importance for safe navigation. We present an approach for computing the collision probability under Gaussian distributed motion and sensing uncertainty with the robot and static obstacle shapes approximated as ellipsoids. The collision condition is formulated as the distance between ellipsoids and unlike previous approaches we provide a method for computing the exact collision probability. Furthermore, we provide a tight upper bound that can be computed much faster during online planning. Comparison to other state-of-the-art methods is also provided. The proposed method is evaluated in simulation under varying configuration and number of obstacles.


title: Small moment antiferromagnetic ordering in single crystalline La2Ni7

abstract: Single crystals of La2Ni7 have been grown out of a binary, La-Ni melt. Temperature dependent, zero magnetic field, specific heat, electrical resistivity, and low field magnetization measurements indicate that there is a series of antiferromagnetic phase transitions at T1 = 61.0 \pm 0.2 K, T2 = 56.5 \pm 0.2 K and T3 = 42.2 \pm 0.2 K. The three specific heat anomalies found at these temperatures qualitatively have very small entropy changes associated with them and the anisotropic M(H) data saturate at ~ 0.12 {\mu}B/Ni; both observations strongly suggesting the AFM order is associated with very small, itinerant, moments. Anisotropic, H||c and H{\perp}c, {\rho}(H) and M(H) isotherms as well as constant field, {\rho}(T) and M(T) sweeps manifest signatures of multiple phase lines and result in H-T phase diagrams that are clearly anisotropic. Analysis of M(T) and M(H) data allow for the identification of the two lower temperature magnetically ordered states as antiferromagnetically ordered, with the moments aligned along the crystallographic c-axis, and the higher temperature, T2 < T < T1, state as having a finite ferromagnetic component. In addition, the metamagnetic transition at low temperatures, for H applied along the crystallographic c-axis (H||c) appears to be a near classic example of a spin-flop transition, resulting in a field stabilized antiferromagnetic state with the moments ordered perpendicular to the c-axis. Although the small moment ordering, and existence of multiple phase transitions in field and temperature, suggesting an energetic proximity of these states, could foretell a degree of pressure sensitivity, our measurements of R(T) for applied pressures up to 2.0 GPa indicate that there is very little pressure dependence of T1, T2 and T3.