title: Bayesian Semiparametric Markov Renewal Mixed Models for Vocalization Syntax

abstract: Studying the neurological, genetic and evolutionary basis of human vocal communication mechanisms is an important field of neuroscience. In the absence of high quality data on humans, mouse vocalization experiments in laboratory settings have been proven to be useful in providing valuable insights into mammalian vocal development and evolution, including especially the impact of certain genetic mutations. Data sets from mouse vocalization experiments usually consist of categorical syllable sequences along with continuous inter-syllable interval times for mice of different genotypes vocalizing under various contexts. Few statistical models have considered the inference for both transition probabilities and inter-state intervals. The latter is of particular importance as increased inter-state intervals can be an indication of possible vocal impairment. In this paper, we propose a class of novel Markov renewal mixed models that capture the stochastic dynamics of both state transitions and inter-state interval times. Specifically, we model the transition dynamics and the inter-state intervals using Dirichlet and gamma mixtures, respectively, allowing the mixture probabilities in both cases to vary flexibly with fixed covariate effects as well as random individual-specific effects. We apply our model to analyze the impact of a mutation in the Foxp2 gene on mouse vocal behavior. We find that genotypes and social contexts significantly affect the inter-state interval times but, compared to previous analyses, the influences of genotype and social context on the syllable transition dynamics are weaker.


title: Reed-Muller Identification

abstract: Ahlswede and Dueck identification has the potential of exponentially reducing traffic or exponentially increasing rates in applications where a full decoding of the message is not necessary and, instead, a simple verification of the message of interest suffices. However, the proposed constructions can suffer from exponential increase in the computational load at the sender and receiver, rendering these advantages unusable. This has been shown in particular to be the case for a construction achieving identification capacity based on concatenated Reed-Solomon codes. Here, we consider the natural generalization of identification based on Reed-Muller codes and we show that, although without achieving identification capacity, they allow to achieve the exponentially large rates mentioned above without the computational penalty increasing too much the latency with respect to transmission.


title: A Preliminary Study on Automatic Motion Artifacts Detection in Electrodermal Activity Data Using Machine Learning

abstract: The electrodermal activity (EDA) signal is a sensitive and non-invasive surrogate measure of sympathetic function. Use of EDA has increased in popularity in recent years for such applications as emotion and stress recognition; assessment of pain, fatigue, and sleepiness; diagnosis of depression and epilepsy; and other uses. Recently, there have been several studies using ambulatory EDA recordings, which are often quite useful for analysis of many physiological conditions. Because ambulatory monitoring uses wearable devices, EDA signals are often affected by noise and motion artifacts. An automated noise and motion artifact detection algorithm is therefore of utmost importance for accurate analysis and evaluation of EDA signals. In this paper, we present machine learning-based algorithms for motion artifact detection in EDA signals. With ten subjects, we collected two simultaneous EDA signals from the right and left hands, while instructing the subjects to move only the right hand. Using these data, we proposed a cross-correlation-based approach for non-biased labeling of EDA data segments. A set of statistical, spectral and model-based features were calculated which were then subjected to a feature selection algorithm. Finally, we trained and validated several machine learning methods using a leave-one-subject-out approach. The classification accuracy of the developed model was 83.85% with a standard deviation of 4.91%, which was better than a recent standard method that we considered for comparison to our algorithm.


title: Align before Fuse: Vision and Language Representation Learning with Momentum Distillation

abstract: Large-scale vision and language representation learning has shown promising improvements on various vision-language tasks. Most existing methods employ a transformer-based multimodal encoder to jointly model visual tokens (region-based image features) and word tokens. Because the visual tokens and word tokens are unaligned, it is challenging for the multimodal encoder to learn image-text interactions. In this paper, we introduce a contrastive loss to ALign the image and text representations BEfore Fusing (ALBEF) them through cross-modal attention, which enables more grounded vision and language representation learning. Unlike most existing methods, our method does not require bounding box annotations nor high-resolution images. In order to improve learning from noisy web data, we propose momentum distillation, a self-training method which learns from pseudo-targets produced by a momentum model. We provide a theoretical analysis of ALBEF from a mutual information maximization perspective, showing that different training tasks can be interpreted as different ways to generate views for an image-text pair. ALBEF achieves state-of-the-art performance on multiple downstream vision-language tasks. On image-text retrieval, ALBEF outperforms methods that are pre-trained on orders of magnitude larger datasets. On VQA and NLVR$^2$, ALBEF achieves absolute improvements of 2.37% and 3.84% compared to the state-of-the-art, while enjoying faster inference speed. Code and pre-trained models are available at https://github.com/salesforce/ALBEF/.


title: Light-ring pairs from $A$-discriminantal varieties

abstract: When geodesic equations are formulated in terms of an effective potential $U$, circular orbits are characterised by $U=\partial_a U=0$. In this paper we consider the case where $U$ is an algebraic function. Then the condition for circular orbits defines an $A$-discriminantal variety. A theorem by Rojas and Rusek, suitably interpreted in the context of effective potentials, gives a precise criteria for certain types of spacetimes to contain at most two branches of light rings (null circular orbits), where one is stable and the other one unstable. We identify a few classes of static, spherically-symmetric spacetimes for which these two branches occur and show that the spacetimes with non-degenerate horizons do not have stable light rings.


title: TAPEX: Table Pre-training via Learning a Neural SQL Executor

abstract: Recent progress in language model pre-training has achieved a great success via leveraging large-scale unstructured textual data. However, it is still a challenge to apply pre-training on structured tabular data due to the absence of large-scale high-quality tabular data. In this paper, we propose TAPEX to show that table pre-training can be achieved by learning a neural SQL executor over a synthetic corpus, which is obtained by automatically synthesizing executable SQL queries and their execution outputs. TAPEX addresses the data scarcity challenge via guiding the language model to mimic a SQL executor on the diverse, large-scale and high-quality synthetic corpus. We evaluate TAPEX on four benchmark datasets. Experimental results demonstrate that TAPEX outperforms previous table pre-training approaches by a large margin and achieves new state-of-the-art results on all of them. This includes the improvements on the weakly-supervised WikiSQL denotation accuracy to 89.5% (+2.3%), the WikiTableQuestions denotation accuracy to 57.5% (+4.8%), the SQA denotation accuracy to 74.5% (+3.5%), and the TabFact accuracy to 84.2% (+3.2%). To our knowledge, this is the first work to exploit table pre-training via synthetic executable programs and to achieve new state-of-the-art results on various downstream tasks. Our code can be found at https://github.com/microsoft/Table-Pretraining.


title: Fibre polarization state compensation in entanglement-based quantum key distribution

abstract: Quantum Key Distribution (QKD) using polarisation encoding can be hard to implement over deployed telecom fibres because the routing geometry and the birefringence of the fibre link can alter the polarisation states of the propagating photons. These alterations cause a basis mismatch, leading to an increased Quantum Bit Error Rate (QBER). In this work we demonstrate a technique for dynamically compensating fibre-induced state alteration in a QKD system over deployed fibre. This compensation scheme includes a feedback loop that minimizes the QBER using a stochastic optimization algorithm.


title: The environmental monitoring system at the COSINE-100 experiment

abstract: The COSINE-100 experiment is designed to test the DAMA experiment which claimed an observation of a dark matter signal from an annual modulation in their residual event rate. To measure the 1 %-level signal amplitude, it is crucial to control and monitor nearly all environmental quantities that might systematically mimic the signal. The environmental monitoring also helps ensure a stable operation of the experiment. Here, we describe the design and performance of the centralized environmental monitoring system for the COSINE-100 experiment.


abstract: In this paper, we formulate and prove the so-called $p$-adic non-commutative analytic subgroup theorem. This result is seen as the $p$-adic analogue of a recent theorem given by Yafaev.


title: Streaming and Distributed Algorithms for Robust Column Subset Selection

abstract: We give the first single-pass streaming algorithm for Column Subset Selection with respect to the entrywise $\ell_p$-norm with $1 \leq p < 2$. We study the $\ell_p$ norm loss since it is often considered more robust to noise than the standard Frobenius norm. Given an input matrix $A \in \mathbb{R}^{d \times n}$ ($n \gg d$), our algorithm achieves a multiplicative $k^{\frac{1}{p} - \frac{1}{2}}\text{poly}(\log nd)$-approximation to the error with respect to the best possible column subset of size $k$. Furthermore, the space complexity of the streaming algorithm is optimal up to a logarithmic factor. Our streaming algorithm also extends naturally to a 1-round distributed protocol with nearly optimal communication cost. A key ingredient in our algorithms is a reduction to column subset selection in the $\ell_{p,2}$-norm, which corresponds to the $p$-norm of the vector of Euclidean norms of each of the columns of $A$. This enables us to leverage strong coreset constructions for the Euclidean norm, which previously had not been applied in this context. We also give the first provable guarantees for greedy column subset selection in the $\ell_{1, 2}$ norm, which can be used as an alternative, practical subroutine in our algorithms. Finally, we show that our algorithms give significant practical advantages on real-world data analysis tasks.


title: Retention time trajectory matching for target compound peak identification in chromatographic analysis

abstract: Retention time drift caused by fluctuations in physical factors such as temperature ramping rate and carrier gas flow rate is ubiquitous in chromatographic measurements. Proper peak identification and alignment across different chromatograms is critical prior to any subsequent analysis. This work introduces a peak identification method called retention time trajectory (RTT) matching, which uses chromatographic retention times as the only input and identifies peaks associated with any subset of a predefined set of target compounds. RTT matching is also capable of reporting interferents. An RTT is a 2-dimensional (2D) curve formed uniquely by the retention times of the chromatographic peaks. The RTTs obtained from the chromatogram of a test sample and of pre-characterized library are matched and statistically compared. The best matched pair implies identification. Unlike most existing peak alignment methods, no mathematical warping or transformations are involved. Based on the experimentally characterized RTT, an RTT hybridization method is developed to rapidly generate more RTTs without performing actual time-consuming chromatographic measurements. This enables successful identification even for chromatograms with serious retention time drift. Experimentally obtained gas chromatograms and publicly available fruit metabolomics liquid chromatograms are used to generate over two trillions of tests that validate the proposed method, demonstrating real-time peak/interferent identification.


title: Geometric Value Iteration: Dynamic Error-Aware KL Regularization for Reinforcement Learning

abstract: The recent boom in the literature on entropy-regularized reinforcement learning (RL) approaches reveals that Kullback-Leibler (KL) regularization brings advantages to RL algorithms by canceling out errors under mild assumptions. However, existing analyses focus on fixed regularization with a constant weighting coefficient and do not consider cases where the coefficient is allowed to change dynamically. In this paper, we study the dynamic coefficient scheme and present the first asymptotic error bound. Based on the dynamic coefficient error bound, we propose an effective scheme to tune the coefficient according to the magnitude of error in favor of more robust learning. Complementing this development, we propose a novel algorithm, Geometric Value Iteration (GVI), that features a dynamic error-aware KL coefficient design with the aim of mitigating the impact of errors on performance. Our experiments demonstrate that GVI can effectively exploit the trade-off between learning speed and robustness over uniform averaging of a constant KL coefficient. The combination of GVI and deep networks shows stable learning behavior even in the absence of a target network, where algorithms with a constant KL coefficient would greatly oscillate or even fail to converge.


title: The Teichm\"uller problem for $L^p$-means of distortion

abstract: Teichm\"uller's problem from 1944 is this: Given $x\in [0,1)$ find and describe the extremal quasiconformal map $f:\ID\to\ID$, $f|\partial \ID=identity$ and $f(0)=-x\leq 0$. We consider this problem in the setting of minimisers of $L^p$-mean distortion. The classical result is that there is an extremal map of Teichm\"uller type with associated holomorphic quadratic differential having a pole of order one at $x$, if $x\neq 0$. For the $L^p$-norm, when $p=1$ it is known that there can be no locally quasiconformal minimiser unless $x=0$. Here we show that for $1\leq p<\infty$ there is a minimiser in a weak class and an associated Ahlfors-Hopf holomorphic quadratic differential with a pole of order $1$ at $f(0)=r$. However, this minimiser cannot be in $W^{1,2}_{loc}(\ID)$ unless $r=0$ and $f=identity$. Hence there is no locally quasiconformal minimiser. A similar statement holds for minimsers of the exponential norm of distortion. We also use our earlier work to show that as $p\to\infty$, the weak $L^p$-minimisers converge locally uniformly in $\ID$ to the extremal quasiconformal mapping, and that as $p\to 1$ the weak $L^p$-minimisers converge locally uniformly in $\ID$ to the identity.


title: Facilitating Meta-Theory Reasoning (Invited Paper)

abstract: Structural proof theory is praised for being a symbolic approach to reasoning and proofs, in which one can define schemas for reasoning steps and manipulate proofs as a mathematical structure. For this to be possible, proof systems must be designed as a set of rules such that proofs using those rules are correct by construction. Therefore, one must consider all ways these rules can interact and prove that they satisfy certain properties which makes them "well-behaved". This is called the meta-theory of a proof system. Meta-theory proofs typically involve many cases on structures with lots of symbols. The majority of cases are usually quite similar, and when a proof fails, it might be because of a sub-case on a very specific configuration of rules. Developing these proofs by hand is tedious and error-prone, and their combinatorial nature suggests they could be automated. There are various approaches on how to automate, either partially or completely, meta-theory proofs. In this paper, I will present some techniques that I have been involved in for facilitating meta-theory reasoning.


title: Interacting Safely with an Unsafe Environment

abstract: We give a presentation of Pure type systems where contexts need not be well-formed and show that this presentation is equivalent to the usual one. The main motivation for this presentation is that, when we extend Pure type systems with computation rules, like in the logical framework Dedukti, we want to declare the constants before the computation rules that are needed to check the well-typedness of their type.


title: Countability of Inductive Types Formalized in the Object-Logic Level

abstract: The set of integer number lists with finite length, and the set of binary trees with integer labels are both countably infinite. Many inductively defined types also have countably many elements. In this paper, we formalize the syntax of first order inductive definitions in Coq and prove them countable, under some side conditions. Instead of writing a proof generator in a meta language, we develop an axiom-free proof in the Coq object logic. In other words, our proof is a dependently typed Coq function from the syntax of the inductive definition to the countability of the type. Based on this proof, we provide a Coq tactic to automatically prove the countability of concrete inductive types. We also developed Coq libraries for countability and for the syntax of inductive definitions, which have value on their own.


title: SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts

abstract: Formally reasoning about functional programs is supposed to be straightforward and elegant, however, it is not typically done as a matter of course. Reasoning in a proof assistant requires "reimplementing" the code in those tools, which is far from trivial. SMLtoCoq provides an automatic translation of SML programs and function contracts into Coq. Programs are translated into Coq specifications, and function contracts into theorems, which can then be formally proved. Using the Equations plugin and other well established Coq libraries, SMLtoCoq is able to translate SML programs without side-effects containing partial functions, structures, functors, records, among others. Additionally, we provide a Coq version of many parts of SML's basis library, so that calls to these libraries are kept almost as is.


title: Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style

abstract: Type theories can be formalized using the intrinsically (hard) or the extrinsically (soft) typed style. In large libraries of type theoretical features, often both styles are present, which can lead to code duplication and integration issues. We define an operator that systematically translates a hard-typed into the corresponding soft-typed formulation. Even though this translation is known in principle, a number of subtleties make it more difficult than naively expected. Importantly, our translation preserves modularity, i.e., it maps structured sets of hard-typed features to correspondingly structured soft-typed ones. We implement our operator in the MMT system and apply it to a library of type-theoretical features.


title: Adelfa: A System for Reasoning about LF Specifications

abstract: We present a system called Adelfa that provides mechanized support for reasoning about specifications developed in the Edinburgh Logical Framework or LF. Underlying Adelfa is a new logic named L_LF. Typing judgements in LF are represented by atomic formulas in L_LF and quantification is permitted over contexts and terms that appear in such formulas. Contexts, which constitute type assignments to uniquely named variables that are modelled using the technical device of nominal constants, are characterized in L_LF by context schemas that describe their inductive structure. We present these formulas and an associated semantics before sketching a proof system for constructing arguments that are sound with respect to the semantics. We then outline the realization of this proof system in Adelfa and illustrate its use through a few example proof developments. We conclude the paper by relating Adelfa to existing systems for reasoning about LF specifications.


title: Nonequilibrium thermal transport and photon squeezing in a quadratic qubit-resonator system

abstract: We investigate steady-state thermal transport and photon statistics in a nonequilibrium hybrid quantum system, in which a qubit is longitudinally and quadratically coupled to an optical resonator. Our calculations are conducted with the method of the quantum dressed master equation combined with full counting statistics. The effect of negative differential thermal conductance is unravelled at finite temperature bias, which stems from the suppression of cyclic heat transitions and large mismatch of two squeezed photon modes at weak and strong qubit-resonator hybridizations, respectively. The giant thermal rectification is also exhibited at large temperature bias. It is found that the intrinsically asymmetric structure of the hybrid system and negative differential thermal conductance show the cooperative contribution. Noise power and skewness, as typical current fluctuations, exhibit global maximum with strong hybridization at small and large temperature bias limits, respectively. Moreover, the effect of photon quadrature squeezing is discovered in the strong hybridization and low-temperature regime, which shows asymmetric response to two bath temperatures. These results would provide some insight to thermal functional design and photon manipulation in qubit-resonator hybrid quantum systems.


title: Predicting Drought and Subsidence Risks in France

abstract: The economic consequences of drought episodes are increasingly important, although they are often difficult to apprehend in part because of the complexity of the underlying mechanisms. In this article, we will study one of the consequences of drought, namely the risk of subsidence (or more specifically clay shrinkage induced subsidence), for which insurance has been mandatory in France for several decades. Using data obtained from several insurers, representing about a quarter of the household insurance market, over the past twenty years, we propose some statistical models to predict the frequency but also the intensity of these droughts, for insurers, showing that climate change will have probably major economic consequences on this risk. But even if we use more advanced models than standard regression-type models (here random forests to capture non linearity and cross effects), it is still difficult to predict the economic cost of subsidence claims, even if all geophysical and climatic information is available.


title: Automating Induction by Reflection

abstract: Despite recent advances in automating theorem proving in full first-order theories, inductive reasoning still poses a serious challenge to state-of-the-art theorem provers. The reason for that is that in first-order logic induction requires an infinite number of axioms, which is not a feasible input to a computer-aided theorem prover requiring a finite input. Mathematical practice is to specify these infinite sets of axioms as axiom schemes. Unfortunately these schematic definitions cannot be formalized in first-order logic, and therefore not supported as inputs for first-order theorem provers. In this work we introduce a new method, inspired by the field of axiomatic theories of truth, that allows to express schematic inductive definitions, in the standard syntax of multi-sorted first-order logic. Further we test the practical feasibility of the method with state-of-the-art theorem provers, comparing it to solvers' native techniques for handling induction.


title: Touring the MetaCoq Project (Invited Paper)

abstract: Proof assistants are getting more widespread use in research and industry to provide certified and independently checkable guarantees about theories, designs, systems and implementations. However, proof assistant implementations themselves are seldom verified, although they take a major share of the trusted code base in any such certification effort. In this area, proof assistants based on Higher-Order Logic enjoy stronger guarantees, as self-certified implementations have been available for some years. One cause of this difference is the inherent complexity of dependent type theories together with their extensions with inductive types, universe polymorphism and complex sort systems, and the gap between theory on paper and practical implementations in efficient programming languages. MetaCoq is a collaborative project that aims to tackle these difficulties to provide the first fully-certified realistic implementation of a type checker for the full calculus underlying the Coq proof assistant. To achieve this, we refined the sometimes blurry, if not incorrect, specification and implementation of the system. We show how theoretical tools from this community such as bidirectional type-checking, Tait-Martin-L\"of/Takahashi's confluence proof technique and monadic and dependently-typed programming can help construct the following artefacts: a specification of Coq's syntax and type theory, the Polymorphic Cumulative Calculus of (Co)-Inductive Constructions (PCUIC); a monad for the manipulation of raw syntax and interaction with the Coq system; a verification of PCUIC's metatheory, whose main results are the confluence of reduction, type preservation and principality of typing; a realistic, correct and complete type-checker for PCUIC; a sound type and proof erasure procedure from PCUIC to untyped lambda-calculus, i.e., the core of the extraction mechanism of Coq.


title: The impact of introductory physics for the life sciences in a senior biology capstone course

abstract: A goal of Introductory Physics for Life Sciences (IPLS) curricula is to prepare students to effectively use physical models and quantitative reasoning in biological and medical settings. To assess whether this goal is being met, we conducted a longitudinal study of the impact of IPLS on student work in later biology and chemistry courses. We report here on one part of that study, a comparison of written responses by students with different physics backgrounds on a diffusion task administered in a senior biology capstone course. We observed differences in student reasoning that were associated with prior or concurrent enrollment in IPLS. In particular, we found that IPLS students were more likely than non-IPLS students to reason quantitatively and mechanistically about diffusive phenomena, and to successfully coordinate between multiple representations of diffusive processes, even up to two years after taking the IPLS course. Finally, we describe methodological challenges encountered in both this task and other tasks used in our longitudinal study.


title: Linear Programming Bounds for Almost-Balanced Binary Codes

abstract: We revisit the linear programming bounds for the size vs. distance trade-off for binary codes, focusing on the bounds for the almost-balanced case, when all pairwise distances are between $d$ and $n-d$, where $d$ is the code distance and $n$ is the block length. We give an optimal solution to Delsarte's LP for the almost-balanced case with large distance $d \geq (n - \sqrt{n})/2 + 1$, which shows that the optimal value of the LP coincides with the Grey-Rankin bound for self-complementary codes. We also show that a limitation of the asymptotic LP bound shown by Samorodnitsky, namely that it is at least the average of the first MRRW upper bound and Gilbert-Varshamov bound, continues to hold for the almost-balanced case.


title: Asymptotic analysis of linearly elastic flexural shells subjected to an obstacle in absence of friction

abstract: In this paper we identify a set of two-dimensional variational inequalities that model the displacement of a linearly elastic flexural shell subjected to a confinement condition, expressing that all the points of the admissible deformed configurations remain in a given half-space. The action of friction is neglected.


title: Influence of NaI background and mass on testing the DAMA modulation

abstract: We present here the model dependent and independent sensitivity studies for NaI detectors designed to test the DAMA result, and compare the predicted limits from SABRE with the present performance of both ANAIS and COSINE. We find that the strongest discovery and exclusion limits are set by a detector with the lowest background (assuming equal run times), and also note that our method correctly computes the present exclusion limits previously published by ANAIS and COSINE. In particular, with a target mass of 50 kg and background rate of 0.36 cpd/kg/keV (after veto), SABRE will be able to exclude the DAMA signal with 3$\sigma$ confidence or `discover' it with 5$\sigma$ confidence within 2 years. This strongly motivates the quest for ever lower backgrounds in NaI detectors.


title: Beyond In-Place Corruption: Insertion and Deletion In Denoising Probabilistic Models

abstract: Denoising diffusion probabilistic models (DDPMs) have shown impressive results on sequence generation by iteratively corrupting each example and then learning to map corrupted versions back to the original. However, previous work has largely focused on in-place corruption, adding noise to each pixel or token individually while keeping their locations the same. In this work, we consider a broader class of corruption processes and denoising models over sequence data that can insert and delete elements, while still being efficient to train and sample from. We demonstrate that these models outperform standard in-place models on an arithmetic sequence task, and that when trained on the text8 dataset they can be used to fix spelling errors without any fine-tuning.


title: Semi-supervised 3D Hand-Object Pose Estimation via Pose Dictionary Learning

abstract: 3D hand-object pose estimation is an important issue to understand the interaction between human and environment. Current hand-object pose estimation methods require detailed 3D labels, which are expensive and labor-intensive. To tackle the problem of data collection, we propose a semi-supervised 3D hand-object pose estimation method with two key techniques: pose dictionary learning and an object-oriented coordinate system. The proposed pose dictionary learning module can distinguish infeasible poses by reconstruction error, enabling unlabeled data to provide supervision signals. The proposed object-oriented coordinate system can make 3D estimations equivariant to the camera perspective. Experiments are conducted on FPHA and HO-3D datasets. Our method reduces estimation error by 19.5% / 24.9% for hands/objects compared to straightforward use of labeled data on FPHA and outperforms several baseline methods. Extensive experiments also validate the robustness of the proposed method.


title: ECG-Adv-GAN: Detecting ECG Adversarial Examples with Conditional Generative Adversarial Networks

abstract: Electrocardiogram (ECG) acquisition requires an automated system and analysis pipeline for understanding specific rhythm irregularities. Deep neural networks have become a popular technique for tracing ECG signals, outperforming human experts. Despite this, convolutional neural networks are susceptible to adversarial examples that can misclassify ECG signals and decrease the model's precision. Moreover, they do not generalize well on the out-of-distribution dataset. The GAN architecture has been employed in recent works to synthesize adversarial ECG signals to increase existing training data. However, they use a disjointed CNN-based classification architecture to detect arrhythmia. Till now, no versatile architecture has been proposed that can detect adversarial examples and classify arrhythmia simultaneously. To alleviate this, we propose a novel Conditional Generative Adversarial Network to simultaneously generate ECG signals for different categories and detect cardiac abnormalities. Moreover, the model is conditioned on class-specific ECG signals to synthesize realistic adversarial examples. Consequently, we compare our architecture and show how it outperforms other classification models in normal/abnormal ECG signal detection by benchmarking real world and adversarial signals.


title: Predicting Daily Trading Volume via Various Hidden States

abstract: Predicting intraday trading volume plays an important role in trading alpha research. Existing methods such as rolling means(RM) and a two-states based Kalman Filtering method have been presented in this topic. We extend two states into various states in Kalman Filter framework to improve the accuracy of prediction. Specifically, for different stocks we utilize cross validation and determine best states number by minimizing mean squared error of the trading volume. We demonstrate the effectivity of our method through a series of comparison experiments and numerical analysis.


title: Chaotic Inflation and Reheating in Generalized Scalar-Tensor Gravity

abstract: In the present work, we study slow-roll inflation in scalar-tensor gravity theories in the presence of both the non-minimal coupling between the scalar field and curvature, and the Galileon self-interaction of the scalar field. Furthermore, we give predictions for the duration of reheating as well as for the reheating temperature after inflation. After working out the expressions for the power spectra of scalar and tensor perturbations in the case of a general non-minimal coupling function that depends solely on the scalar field and a general scalar potential, we focus on the special cases of the power-law coupling function and chaotic quadratic inflation. Thus, under the slow-roll approximation we confront the predictions of the model with the current PLANCK constraints on the spectral index $n_s$ and the tensor-to-scalar ratio $r$ using the $n_{s}-r$ plane. We found that the combination of the non-minimal coupling and Galileon self-interaction effects allows us to obtain better results for $r$ than in the case in which each effect is considered separately. Particularly, we obtained that the predictions of the model are in agreement with the current observational bounds on $n_{s}$ and $r$ within the $95 \%$ C.L region and also slightly inside the $68 \%$ C.L region. Also, we investigate the oscillatory regime after the end of inflation by solving the full background equations, and then we determine the upper bound for the Galileon and non-minimal coupling parameters under the condition that the scalar field oscillates coherently during reheating. Finally, after approximating reheating by a constant equation of state, we derive the relations between the reheating duration, the temperature at the end of reheating, its equation of state, and the number of $e$-folds of inflation and then we relate them all to the inflationary observables.


title: On planar curves with position-dependent curvature

abstract: Motivated by homothetic solutions to curvature-driven flows of planar curves, as well as their many physical applications, this work carries out a systematic study of oriented curves whose curvature $\kappa$ is a given function of position or direction. The analysis is informed by a dynamical systems point of view. Though focussed on situations where the prescribed curvature depends only on the distance $r$ from a distinguished point, the basic dynamical concepts are seen to apply in other situations as well. As an application, a complete classification of all simple closed solutions of $\kappa = ar^b$, with real constants $a,b$, is established.


title: An upper and lower bound to the orientation-dependent linear Rashba spin-orbit coupling of two-dimensional hole gases in semiconductor quantum wells

abstract: Our recent study [Phys. Rev. B 103, 085309 (2021)] verified the existence of $\bf{k}$-linear Rashba spin-orbit coupling (SOC) of two-dimensional hole gases in quantum wells (QWs) which originates from a combination of heavy-hole-light-hole (HH-LH) mixing and direct dipolar coupling to the external electric field. However, the Rashba SOC dependence on QW orientations remains unclear. Here, we explore this dependence on QW orientations and uncover an upper and lower bound to the orientation-dependent $\bf{k}$-linear Rashba SOC along the [110]- and [111]- crystalline directions by performing atomistic pseudopotential calculations associated with theoretical analysis. The intrinsic HH-LH mixing at the Brillouin zone center, maximal in [110]-oriented quantum wells and minimal in [111]- and [001]-oriented QWs, plays an essential role. Remarkably, we find that only $\bf{k}$-cubic Rashba SOC exists in [111]-oriented QWs. These findings help understand the physical mechanism of the Rashba SOC dependence on QW orientations and provide a strategic prediction for experiments to realize the large Rashba SOC.


title: The Application of Active Query K-Means in Text Classification

abstract: Active learning is a state-of-art machine learning approach to deal with an abundance of unlabeled data. In the field of Natural Language Processing, typically it is costly and time-consuming to have all the data annotated. This inefficiency inspires out our application of active learning in text classification. Traditional unsupervised k-means clustering is first modified into a semi-supervised version in this research. Then, a novel attempt is applied to further extend the algorithm into active learning scenario with Penalized Min-Max-selection, so as to make limited queries that yield more stable initial centroids. This method utilizes both the interactive query results from users and the underlying distance representation. After tested on a Chinese news dataset, it shows a consistent increase in accuracy while lowering the cost in training.


title: Finding well-optimized special quasirandom structures with decision diagram

abstract: The advanced data structure of the zero-suppressed binary decision diagram (ZDD) enables us to efficiently enumerate nonequivalent substitutional structures. Not only can the ZDD store a vast number of structures in a compressed manner, but also can a set of structures satisfying given constraints be extracted from the ZDD efficiently. Here, we present a ZDD-based efficient algorithm for exhaustively searching for special quasirandom structures (SQSs) that mimic the perfectly random substitutional structure. We demonstrate that the current approach can extract only a tiny number of SQSs from a ZDD composed of many substitutional structures (>$10^{12}$). As a result, we find SQSs that are optimized better than those proposed in the literature. A series of SQSs should be helpful for estimating the properties of substitutional solid solutions. Furthermore, the present ZDD-based algorithm should be useful for applying the ZDD to the other structure enumeration problems.


title: CutDepth:Edge-aware Data Augmentation in Depth Estimation

abstract: It is difficult to collect data on a large scale in a monocular depth estimation because the task requires the simultaneous acquisition of RGB images and depths. Data augmentation is thus important to this task. However, there has been little research on data augmentation for tasks such as monocular depth estimation, where the transformation is performed pixel by pixel. In this paper, we propose a data augmentation method, called CutDepth. In CutDepth, part of the depth is pasted onto an input image during training. The method extends variations data without destroying edge features. Experiments objectively and subjectively show that the proposed method outperforms conventional methods of data augmentation. The estimation accuracy is improved with CutDepth even though there are few training data at long distances.


title: ExoPlaSim: Extending the Planet Simulator for Exoplanets

abstract: The discovery of a large number of terrestrial exoplanets in the habitable zones of their stars, many of which are qualitatively different from Earth, has led to a growing need for fast and flexible 3D climate models, which could model such planets and explore multiple possible climate states and surface conditions. We respond to that need by creating ExoPlaSim, a modified version of the Planet Simulator (PlaSim) that is designed to be applicable to synchronously rotating terrestrial planets, planets orbiting stars with non-solar spectra, and planets with non-Earth-like surface pressures. In this paper we describe our modifications, present validation tests of ExoPlaSim's performance against other GCMs, and demonstrate its utility by performing two simple experiments involving hundreds of models. We find that ExoPlaSim agrees qualitatively with more-sophisticated GCMs such as ExoCAM, LMDG, and ROCKE-3D, falling within the ensemble distribution on multiple measures. The model is fast enough that it enables large parameter surveys with hundreds to thousands of models, potentially enabling the efficient use of a 3D climate model in retrievals of future exoplanet observations. We describe our efforts to make ExoPlaSim accessible to non-modellers, including observers, non-computational theorists, students, and educators through a new Python API and streamlined installation through pip, along with online documentation.


title: Optimizing Build Orientation for Support Removal using Multi-Axis Machining

abstract: Parts fabricated by additive manufacturing (AM) are often fabricated first as a near-net shape, a combination of intended nominal geometry and sacrificial support structures, which need to be removed in a subsequent post-processing stage using subtractive manufacturing (SM). In this paper, we present a framework for optimizing the build orientation with respect to removability of support structures. In particular, given a general multi-axis machining setup and sampled build orientations, we define a Pareto-optimality criterion based on the total support volume and the "secluded" support volume defined as the support volume that is not accessible by a given set of machining tools. Since total support volume mainly depends on the build orientation and the secluded volume is dictated by the machining setup, in many cases the two objectives are competing and their trade-off needs to be taken into account. The accessibility analysis relies on the inaccessibility measure field (IMF), which is a continuous field in the Euclidean space that quantifies the inaccessibility of each point given a collection of tools and fixturing devices. The value of IMF at each point indicates the minimum possible volumetric collision between objects in relative motion including the part, fixtures, and the tools, over all possible tool orientations and sharp points on the tool. We also propose an automated support removal planning algorithm based on IMF, where a sequence of actions are provided in terms of the fixturing devices, cutting tools, and tool orientation at each step. In our approach, each step is chosen based on the maximal removable volume to iteratively remove accessible supports. The effectiveness of the proposed approach is demonstrated through benchmark examples in 2D and realistic examples in 3D.


title: Auto-differentiable Ensemble Kalman Filters

abstract: Data assimilation is concerned with sequentially estimating a temporally-evolving state. This task, which arises in a wide range of scientific and engineering applications, is particularly challenging when the state is high-dimensional and the state-space dynamics are unknown. This paper introduces a machine learning framework for learning dynamical systems in data assimilation. Our auto-differentiable ensemble Kalman filters (AD-EnKFs) blend ensemble Kalman filters for state recovery with machine learning tools for learning the dynamics. In doing so, AD-EnKFs leverage the ability of ensemble Kalman filters to scale to high-dimensional states and the power of automatic differentiation to train high-dimensional surrogate models for the dynamics. Numerical results using the Lorenz-96 model show that AD-EnKFs outperform existing methods that use expectation-maximization or particle filters to merge data assimilation and machine learning. In addition, AD-EnKFs are easy to implement and require minimal tuning.


title: Global well-posedness of $z$-weak solutions to the primitive equations without vertical diffusivity

abstract: In this paper, we consider the initial boundary value problem in a cylindrical domain to the three dimensional primitive equations with full eddy viscosity in the momentum equations but with only horizontal eddy diffusivity in the temperature equation. Global well-posedness of $z$-weak solution is established for any such initial datum that itself and its vertical derivative belong to $L^2$. This not only extends the results in \cite{Cao5} from the spatially periodic case to general cylindrical domains but also weakens the regularity assumptions on the initial data which are required to be $H^2$ there.


title: Threshold effect for probabilistic entanglement swapping

abstract: The basic \emph{entanglement swapping protocol} allows to project two qubits, which have never interacted, onto a maximally entangled state. For deterministic swapping, the key ingredient is the maximal entanglement that was initially contained in two pairs of qubits and the capacity of projecting onto a Bell basis. Thus the basic and deterministic entanglement swapping scheme involves three maximal level of entanglement. In this work we propose probabilistic entanglement swapping processes performed with different amounts of initial entanglement. Besides that we suggest a non Bell measuring-basis, to introduce a third entanglement level in the process. Additionally, we propose the \emph{unambiguous state extraction scheme} as the local mechanism for probabilistically achieving the EPR projection. The combination of these three elements allows us to design four strategies for performing probabilistic entanglement swapping. Surprisingly, we find a twofold entanglement threshold effect related to the concurrence of the measuring-basis. Specifically, the maximal probability of accomplishing a EPR projection becomes a constant for concurrences higher than or equal to threshold entanglement value. Thus, we show that maximal entanglement in the measuring-basis is not required for attaining the EPR projection.


title: Applying Declarative Analysis to Software Product Line Models: An Industrial Study

abstract: Software Product Lines (SPLs) are families of related software products developed from a common set of artifacts. Most existing analysis tools can be applied to a single product at a time, but not to an entire SPL. Some tools have been redesigned/re-implemented to support the kind of variability exhibited in SPLs, but this usually takes a lot of effort, and is error-prone. Declarative analyses written in languages like Datalog have been collectively lifted to SPLs in prior work, which makes the process of applying an existing declarative analysis to a product line more straightforward. In this paper, we take an existing declarative analysis (behaviour alteration) written in the Grok declarative language, port it to Datalog, and apply it to a set of automotive software product lines from General Motors. We discuss the design of the analysis pipeline used in this process, present its scalability results, and provide a means to visualize the analysis results for a subset of products filtered by feature expression. We also reflect on some of the lessons learned throughout this project.


title: Intersectional Bias in Causal Language Models

abstract: To examine whether intersectional bias can be observed in language generation, we examine \emph{GPT-2} and \emph{GPT-NEO} models, ranging in size from 124 million to ~2.7 billion parameters. We conduct an experiment combining up to three social categories - gender, religion and disability - into unconditional or zero-shot prompts used to generate sentences that are then analysed for sentiment. Our results confirm earlier tests conducted with auto-regressive causal models, including the \emph{GPT} family of models. We also illustrate why bias may be resistant to techniques that target single categories (e.g. gender, religion and race), as it can also manifest, in often subtle ways, in texts prompted by concatenated social categories. To address these difficulties, we suggest technical and community-based approaches need to combine to acknowledge and address complex and intersectional language model bias.


title: Probing dark gauge boson with observations from neutron stars

abstract: We present an investigation on the production of light dark gauge bosons by the nucleon bremsstrahlung processes in the core of neutron stars. The dark vector is assumed to be a $U(1)_{B-L}$ gauge boson with a mass much below keV. We calculate the emission rate of the dark vector produced by the nucleon bremsstrahlung in the degenerate nuclear matter. In addition, we take into account the photon-dark vector conversion for the photon luminosity observed at infinity. Combining with the observation of J1856 surface luminosity, we find that a recently discovered excess of J1856 hard x-ray emission in the 2-8 keV energy range by XMM-Newton and Chandra x-ray telescopes could be consistently explained by a dark vector with gauge coupling $e^{\prime}=5.56\times 10^{-15}$, mixing angle $\varepsilon=1.29\times 10^{-9}$, and mass $m_{\gamma^{\prime}}\lesssim 10^{-5}$ eV. We also show that the mixing angle $\varepsilon > 7.97 \times 10^{-9}$ for $m_{\gamma^{\prime}} \lesssim 3 \times 10^{-5}~\rm eV$ and the gauge coupling $e^{\prime} > 4.13 \times 10^{-13}$ for $m_{\gamma^{\prime}} \lesssim 1~\rm keV$ have been excluded at 95% confidence level by the J1856 surface luminosity observation. Our best-fit dark vector model satisfies the current limits on hard x-ray intensities from the Swift and INTEGRAL hard x-ray surveys. Future hard x-ray experiments such as NuSTAR may give a further test on our model.


title: Imitate TheWorld: A Search Engine Simulation Platform

abstract: Recent E-commerce applications benefit from the growth of deep learning techniques. However, we notice that many works attempt to maximize business objectives by closely matching offline labels which follow the supervised learning paradigm. This results in models obtain high offline performance in terms of Area Under Curve (AUC) and Normalized Discounted Cumulative Gain (NDCG), but cannot consistently increase the revenue metrics such as purchases amount of users. Towards the issues, we build a simulated search engine AESim that can properly give feedback by a well-trained discriminator for generated pages, as a dynamic dataset. Different from previous simulation platforms which lose connection with the real world, ours depends on the real data in AliExpress Search: we use adversarial learning to generate virtual users and use Generative Adversarial Imitation Learning (GAIL) to capture behavior patterns of users. Our experiments also show AESim can better reflect the online performance of ranking models than classic ranking metrics, implying AESim can play a surrogate of AliExpress Search and evaluate models without going online.


title: Solar observation with the Fourier transform spectrometer I : Preliminary results of the visible and near-infrared solar spectrum

abstract: The Fourier transform spectrometer (FTS) is a core instrument for solar observation with high spectral resolution, especially in the infrared. The Infrared System for the Accurate Measurement of Solar Magnetic Field (AIMS), working at 10-13 $\mu m$, will use a FTS to observe the solar spectrum. The Bruker IFS-125HR, which meets the spectral resolution requirement of AIMS but just equips with a point source detector, is employed to carry out preliminary experiment for AIMS. A sun-light feeding experimental system is further developed. Several experiments are taken with them during 2018 and 2019 to observe the solar spectrum in the visible and near infrared wavelength, respectively. We also proposed an inversion method to retrieve the solar spectrum from the observed interferogram and compared it with the standard solar spectrum atlas. Although there is a wavelength limitation due to the present sun-light feeding system, the results in the wavelength band from 0.45-1.0 $\mu m$ and 1.0-2.2 $\mu m$ show a good consistence with the solar spectrum atlas, indicating the validity of our observing configuration, the data analysis method and the potential to work in longer wavelength. The work provided valuable experience for the AIMS not only for the operation of a FTS but also for the development of its scientific data processing software.


title: Self-supervised Representation Learning Framework for Remote Physiological Measurement Using Spatiotemporal Augmentation Loss

abstract: Recent advances in supervised deep learning methods are enabling remote measurements of photoplethysmography-based physiological signals using facial videos. The performance of these supervised methods, however, are dependent on the availability of large labelled data. Contrastive learning as a self-supervised method has recently achieved state-of-the-art performances in learning representative data features by maximising mutual information between different augmented views. However, existing data augmentation techniques for contrastive learning are not designed to learn physiological signals from videos and often fail when there are complicated noise and subtle and periodic colour or shape variations between video frames. To address these problems, we present a novel self-supervised spatiotemporal learning framework for remote physiological signal representation learning, where there is a lack of labelled training data. Firstly, we propose a landmark-based spatial augmentation that splits the face into several informative parts based on the Shafer dichromatic reflection model to characterise subtle skin colour fluctuations. We also formulate a sparsity-based temporal augmentation exploiting Nyquist-Shannon sampling theorem to effectively capture periodic temporal changes by modelling physiological signal features. Furthermore, we introduce a constrained spatiotemporal loss which generates pseudo-labels for augmented video clips. It is used to regulate the training process and handle complicated noise. We evaluated our framework on 3 public datasets and demonstrated superior performances than other self-supervised methods and achieved competitive accuracy compared to the state-of-the-art supervised methods.


title: Constrained Feedforward Neural Network Training via Reachability Analysis

abstract: Neural networks have recently become popular for a wide variety of uses, but have seen limited application in safety-critical domains such as robotics near and around humans. This is because it remains an open challenge to train a neural network to obey safety constraints. Most existing safety-related methods only seek to verify that already-trained networks obey constraints, requiring alternating training and verification. Instead, this work proposes a constrained method to simultaneously train and verify a feedforward neural network with rectified linear unit (ReLU) nonlinearities. Constraints are enforced by computing the network's output-space reachable set and ensuring that it does not intersect with unsafe sets; training is achieved by formulating a novel collision-check loss function between the reachable set and unsafe portions of the output space. The reachable and unsafe sets are represented by constrained zonotopes, a convex polytope representation that enables differentiable collision checking. The proposed method is demonstrated successfully on a network with one nonlinearity layer and approximately 50 parameters.


title: Deriving a kinetic uncertainty relation for piecewise deterministic processes: from classical to quantum

abstract: From the perspective of Markovian piecewise deterministic processes (PDPs), we investigate the derivation of a kinetic uncertainty relation (KUR), which was originally proposed in Markovian open quantum systems. First, stationary distributions of classical PDPs are explicitly constructed. Then, a tilting method is used to derive a rate functional of large deviations. Finally, based on an improved approximation scheme, we recover the KUR. These classical results are directly extended to the open quantum systems. We use a driven two-level quantum system to exemplify the quantum results.


title: A Dynamic Quantum Clustering Approach to Brain Tumor Segmentation

abstract: Data clustering has been widely used in data analysis and classification. In the present work, a method based on dynamic quantum clustering is proposed for the segmentation and analysis of brain tumor MRI. The results open the possibility of applications to multi modality medical imaging.


title: A Comparative Study of Deep Learning Classification Methods on a Small Environmental Microorganism Image Dataset (EMDS-6): from Convolutional Neural Networks to Visual Transformers

abstract: In recent years, deep learning has made brilliant achievements in Environmental Microorganism (EM) image classification. However, image classification of small EM datasets has still not obtained good research results. Therefore, researchers need to spend a lot of time searching for models with good classification performance and suitable for the current equipment working environment. To provide reliable references for researchers, we conduct a series of comparison experiments on 21 deep learning models. The experiment includes direct classification, imbalanced training, and hyperparameter tuning experiments. During the experiments, we find complementarities among the 21 models, which is the basis for feature fusion related experiments. We also find that the data augmentation method of geometric deformation is difficult to improve the performance of VTs (ViT, DeiT, BotNet and T2T-ViT) series models. In terms of model performance, Xception has the best classification performance, the ViT model consumes the least time for training, and the ShuffleNet-V2 model has the least number of parameters.


title: Numerical Performance of Different Formulations for Alternating Current Optimal Power Flow

abstract: Alternating current optimal power flow (ACOPF) problems are nonconvex and nonlinear optimization problems. Utilities and independent service operators (ISO) require ACOPF to be solved in almost real time. Interior point methods (IPMs) are one of the powerful methods for solving large-scale nonlinear optimization problems and are a suitable approach for solving ACOPF with large-scale real-world transmission networks. Moreover, the choice of the formulation is as important as choosing the algorithm for solving an ACOPF problem. In this paper, different ACOPF formulations with various linear solvers and the impact of employing box constraints are evaluated for computational viability and best performance when using IPMs. Different optimization structures are used in these formulations to model the ACOPF problem representing a range of sparsity. The numerical experiments suggest that the least sparse ACOPF formulations with polar voltages yield the best computational results. Additionally, nodal injected models and current-based branch flow models are improved by enforcing box constraints. A wide range of test cases, ranging from 500-bus systems to 9591-bus systems, are used to verify the test results.


title: A Gillet-Waldhausen Theorem for chain complexes of sets

abstract: The (A)CGW categories of Campbell and Zakharevich show how finite sets and varieties behave like the objects of an exact category for the purpose of algebraic $K$-theory. We further develop that program by defining chain complexes and quasi-isomorphisms for any category with suitably nice coproducts. In particular, chain complexes of finite sets satisfy an analogue of the Gillet--Waldhausen Theorem: their $K$-theory agrees with the classical $K$-theory of finite sets. Along the way, we define new double categorical structures that modify those of Campbell and Zakharevich to include the data of weak equivalences. These ECGW categories produce $K$-theory spectra which satisfy analogues of the Additivity and Fibration Theorems. The weak equivalences are determined by a subcategory of acyclic objects satisfying minimal conditions, resulting in a Localization Theorem that generalizes previous versions in the literature.


title: Neural Contextual Anomaly Detection for Time Series

abstract: We introduce Neural Contextual Anomaly Detection (NCAD), a framework for anomaly detection on time series that scales seamlessly from the unsupervised to supervised setting, and is applicable to both univariate and multivariate time series. This is achieved by effectively combining recent developments in representation learning for multivariate time series, with techniques for deep anomaly detection originally developed for computer vision that we tailor to the time series setting. Our window-based approach facilitates learning the boundary between normal and anomalous classes by injecting generic synthetic anomalies into the available data. Moreover, our method can effectively take advantage of all the available information, be it as domain knowledge, or as training labels in the semi-supervised setting. We demonstrate empirically on standard benchmark datasets that our approach obtains a state-of-the-art performance in these settings.


title: Estimation from Partially Sampled Distributed Traces

abstract: Sampling is often a necessary evil to reduce the processing and storage costs of distributed tracing. In this work, we describe a scalable and adaptive sampling approach that can preserve events of interest better than the widely used head-based sampling approach. Sampling rates can be chosen individually and independently for every span, allowing to take span attributes and local resource constraints into account. The resulting traces are often only partially and not completely sampled which complicates statistical analysis. To exploit the given information, an unbiased estimation algorithm is presented. Even though it does not need to know whether the traces are complete, it reduces the estimation error in many cases compared to considering only complete traces.


title: Alpha backgrounds in the AMoRE-Pilot experiment

abstract: The Advanced Mo-based Rare process Experiment (AMoRE)-Pilot experiment is an initial phase of the AMoRE search for neutrinoless double beta decay of $^{100}$Mo, with the purpose of investigating the level and sources of backgrounds. Searches for neutrinoless double beta decay generally require ultimately low backgrounds. Surface $\alpha$ decays on the crystals themselves or nearby materials can deposit a continuum of energies that can be as high as the $Q$-value of the decay itself and may fall in the region of interest (ROI). To understand these background events, we studied backgrounds from radioactive contaminations internal to and on the surface of the crystals or nearby materials with Geant4-based Monte Carlo simulations. In this study, we report on the measured $\alpha$ energy spectra fitted with the corresponding simulated spectra for six crystal detectors, where sources of background contributions could be identified through high energy $\alpha$ peaks and continuum parts in the energy spectrum for both internal and surface contaminations. We determine the low-energy contributions from internal and surface $\alpha$ contaminations by extrapolating from the $\alpha$ background fitting model.


title: Pseudo-labelling Enhanced Media Bias Detection

abstract: Leveraging unlabelled data through weak or distant supervision is a compelling approach to developing more effective text classification models. This paper proposes a simple but effective data augmentation method, which leverages the idea of pseudo-labelling to select samples from noisy distant supervision annotation datasets. The result shows that the proposed method improves the accuracy of biased news detection models.


title: DANCE: DAta-Network Co-optimization for Efficient Segmentation Model Training and Inference

abstract: Semantic segmentation for scene understanding is nowadays widely demanded, raising significant challenges for the algorithm efficiency, especially its applications on resource-limited platforms. Current segmentation models are trained and evaluated on massive high-resolution scene images ("data level") and suffer from the expensive computation arising from the required multi-scale aggregation("network level"). In both folds, the computational and energy costs in training and inference are notable due to the often desired large input resolutions and heavy computational burden of segmentation models. To this end, we propose DANCE, general automated DAta-Network Co-optimization for Efficient segmentation model training and inference. Distinct from existing efficient segmentation approaches that focus merely on light-weight network design, DANCE distinguishes itself as an automated simultaneous data-network co-optimization via both input data manipulation and network architecture slimming. Specifically, DANCE integrates automated data slimming which adaptively downsamples/drops input images and controls their corresponding contribution to the training loss guided by the images' spatial complexity. Such a downsampling operation, in addition to slimming down the cost associated with the input size directly, also shrinks the dynamic range of input object and context scales, therefore motivating us to also adaptively slim the network to match the downsampled data. Extensive experiments and ablating studies (on four SOTA segmentation models with three popular segmentation datasets under two training settings) demonstrate that DANCE can achieve "all-win" towards efficient segmentation(reduced training cost, less expensive inference, and better mean Intersection-over-Union (mIoU)).


title: Probabilistic Appearance-Invariant Topometric Localization with New Place Awareness

abstract: Probabilistic state-estimation approaches offer a principled foundation for designing localization systems, because they naturally integrate sequences of imperfect motion and exteroceptive sensor data. Recently, probabilistic localization systems utilizing appearance-invariant visual place recognition (VPR) methods as the primary exteroceptive sensor have demonstrated state-of-the-art performance in the presence of substantial appearance change. However, existing systems 1) do not fully utilize odometry data within the motion models, and 2) are unable to handle route deviations, due to the assumption that query traverses exactly repeat the mapping traverse. To address these shortcomings, we present a new probabilistic topometric localization system which incorporates full 3-dof odometry into the motion model and furthermore, adds an "off-map" state within the state-estimation framework, allowing query traverses which feature significant route detours from the reference map to be successfully localized. We perform extensive evaluation on multiple query traverses from the Oxford RobotCar dataset exhibiting both significant appearance change and deviations from routes previously traversed. In particular, we evaluate performance on two practically relevant localization tasks: loop closure detection and global localization. Our approach achieves major performance improvements over both existing and improved state-of-the-art systems.


title: Light-induced in-plane Rotation of Microobjects on Microfibers

abstract: The transfer of angular momentum carried by photons into a microobject has been widely exploited to achieve the actuation of the microobject. However, this scheme is fundamentally defective in nonliquid environments as a result of the scale gap between friction forces ($\mu$N) and optical forces (pN). To bypass this challenge, the researchers have recently proposed to take advantage of elastic waves based on opto-thermo-mechanical effects [1-4]. Grounded on this insight, we here demonstrate and characterize the in-plane rotation of a gold nanoplate in its surface contacting with a microfiber, driven by nanosecond laser pulses, which has not been explored before. Furthermore, we examine the underlying physical mechanisms and highlight the essential role of the spatial gradient of optical absorption. The combined experimental and theoretical results offer new insights into the study of the light-induced actuation of the microobjects in nonliquid environments, an emerging field far from being mature in both comprehensive understanding and practical applications.


title: ScRAE: Deterministic Regularized Autoencoders with Flexible Priors for Clustering Single-cell Gene Expression Data

abstract: Clustering single-cell RNA sequence (scRNA-seq) data poses statistical and computational challenges due to their high-dimensionality and data-sparsity, also known as `dropout' events. Recently, Regularized Auto-Encoder (RAE) based deep neural network models have achieved remarkable success in learning robust low-dimensional representations. The basic idea in RAEs is to learn a non-linear mapping from the high-dimensional data space to a low-dimensional latent space and vice-versa, simultaneously imposing a distributional prior on the latent space, which brings in a regularization effect. This paper argues that RAEs suffer from the infamous problem of bias-variance trade-off in their naive formulation. While a simple AE without a latent regularization results in data over-fitting, a very strong prior leads to under-representation and thus bad clustering. To address the above issues, we propose a modified RAE framework (called the scRAE) for effective clustering of the single-cell RNA sequencing data. scRAE consists of deterministic AE with a flexibly learnable prior generator network, which is jointly trained with the AE. This facilitates scRAE to trade-off better between the bias and variance in the latent space. We demonstrate the efficacy of the proposed method through extensive experimentation on several real-world single-cell Gene expression datasets.


title: Stability and Dynamics of Many-Body Localized Systems Coupled to Small Bath

abstract: It is known that strong disorder in closed quantum systems leads to many-body localization (MBL), and that this quantum phase can be destroyed by coupling to an infinitely large Markovian environment. However, the stability of the MBL phase is less clear when the system and environment are of finite and comparable size. Here, we study the stability and eventual localization properties of a disordered Heisenberg spin chain coupled to a finite environment, and extensively explore the effects of environment disorder, geometry, initial state and system-bath coupling strength. By studying the non-equilibrium dynamics and the eventual steady-state properties of different initial states, our numerical results indicate that in most cases, the system retains its localization properties despite the coupling to the finite environment, albeit to a reduced extent. However, in cases where the system and environment is strongly coupled in the ladder configuration, the eventual localization properties are highly dependent on the initial state, and could lead to either thermalization or localization.


title: Defect engineering of magnetic ground state in EuTiO$_3$ epitaxial thin films

abstract: Atomistic defect engineering through the pulsed laser epitaxy of perovskite transition metal oxides offers facile control of their emergent opto-electromagnetic and energy properties. Among the various perovskite oxides, EuTiO3 exhibits a strong coupling between the lattice, electronic, and magnetic degrees of freedom. This coupling is highly susceptible to atomistic defects. In this study, we investigated the magnetic phase of EuTiO$_3$ epitaxial thin films via systematic defect engineering. A magnetic phase transition from an antiferromagnet to a ferromagnet was observed when the unit cell volume of EuTiO3 expanded due to the introduction of Eu-O vacancies. Optical spectroscopy and density functional theory calculations show that the change in the electronic structure as the ferromagnetic phase emerges can be attributed to the weakened Eu-Ti-Eu super-exchange interaction and the developed ferromagnetic Eu-O-Eu interaction. Facile defect engineering in EuTiO$_3$ thin films facilitates understanding and tailoring of their magnetic ground state.


title: LT-mapper: A Modular Framework for LiDAR-based Lifelong Mapping

abstract: Long-term 3D map management is a fundamental capability required by a robot to reliably navigate in the non-stationary real-world. This paper develops open-source, modular, and readily available LiDAR-based lifelong mapping for urban sites. This is achieved by dividing the problem into successive subproblems: multi-session SLAM (MSS), high/low dynamic change detection, and positive/negative change management. The proposed method leverages MSS and handles potential trajectory error; thus, good initial alignment is not required for change detection. Our change management scheme preserves efficacy in both memory and computation costs, providing automatic object segregation from a large-scale point cloud map. We verify the framework's reliability and applicability even under permanent year-level variation, through extensive real-world experiments with multiple temporal gaps (from day to year).


title: Towards an Interpretable Latent Space in Structured Models for Video Prediction

abstract: We focus on the task of future frame prediction in video governed by underlying physical dynamics. We work with models which are object-centric, i.e., explicitly work with object representations, and propagate a loss in the latent space. Specifically, our research builds on recent work by Kipf et al. \cite{kipf&al20}, which predicts the next state via contrastive learning of object interactions in a latent space using a Graph Neural Network. We argue that injecting explicit inductive bias in the model, in form of general physical laws, can help not only make the model more interpretable, but also improve the overall prediction of model. As a natural by-product, our model can learn feature maps which closely resemble actual object positions in the image, without having any explicit supervision about the object positions at the training time. In comparison with earlier works \cite{jaques&al20}, which assume a complete knowledge of the dynamics governing the motion in the form of a physics engine, we rely only on the knowledge of general physical laws, such as, world consists of objects, which have position and velocity. We propose an additional decoder based loss in the pixel space, imposed in a curriculum manner, to further refine the latent space predictions. Experiments in multiple different settings demonstrate that while Kipf et al. model is effective at capturing object interactions, our model can be significantly more effective at localising objects, resulting in improved performance in 3 out of 4 domains that we experiment with. Additionally, our model can learn highly intrepretable feature maps, resembling actual object positions.


title: Optical Inspection of the Silicon Micro-strip Sensors for the CBM Experiment employing Artificial Intelligence

abstract: Optical inspection of 1191 silicon micro-strip sensors was performed using a custom made optical inspection setup, employing a machine-learning based approach for the defect analysis and subsequent quality assurance. Furthermore, metrological control of the sensor's surface was performed. In this manuscript, we present the analysis of various sensor surface defects. Among these are implant breaks, p-stop breaks, aluminium strip opens, aluminium strip shorts, surface scratches, double metallization layer defects, passivation layer defects, bias resistor defects as well as dust particle identification. The defect detection was done using the application of Convolutional Deep Neural Networks (CDNNs). From this, defective strips and defect clusters were identified, as well as a 2D map of the defects using their geometrical positions on the sensor was performed. Based on the total number of defects found on the sensor's surface, a method for the estimation of sensor's overall quality grade and quality score was proposed.


title: Extremal Values of Pi

abstract: We discuss the classical results of Stanis{\l}aw Go\l\k{a}b, on the values of pi in arbitrary normed planes, including the classification of extremal values. We reprove the result of J. Duncan, D. Luecking, and C. McGregor, which states that any norm with quarter-turn symmetry has pi-value $\geq \pi$. We also show that a norm is Euclidean iff it has quarter-turn symmetry in some basis and has pi-value $\pi$.


title: Cooperative Multi-Modal Localization in Connected and Autonomous Vehicles

abstract: Cooperative Localization is expected to play a crucial role in various applications in the field of Connected and Autonomous vehicles (CAVs). Future 5G wireless systems are expected to enable cost-effective Vehicle-to-Everything (V2X)systems, allowing CAVs to share with the other entities of the network the data they collect and measure. Typical measurement models usually deployed for this problem, are absolute position from Global Positioning System (GPS), relative distance and azimuth angle to neighbouring vehicles, extracted from Light Detection and Ranging (LIDAR) or Radio Detection and Ranging(RADAR) sensors. In this paper, we provide a cooperative localization approach that performs multi modal-fusion between the interconnected vehicles, by representing a fleet of connected cars as an undirected graph, encoding each vehicle position relative to its neighbouring vehicles. This method is based on:i) the Laplacian Processing, a Graph Signal Processing tool that allows to capture intrinsic geometry of the undirected graph of vehicles rather than their absolute position on global coordinate system and ii) the temporal coherence due to motion patterns of the moving vehicles.


title: Cycle Flux Ranking of Network Analysis in Quantum Thermal Device

abstract: Manipulating quantum thermal transport relies on uncovering the principle working cycles of quantum devices. Here, we apply the cycle flux ranking of network analysis to nonequilibrium thermal devices described by graphs of quantum state transitions. To excavate the principal mechanism out of complex transport behaviors, we decompose the quantum-transition network into cycles, calculate the cycle flux by algebraic graph theory, and pick out the dominant cycles with top-ranked fluxes, i.e., the cycle trajectories with highest probabilities. We demonstrate the cycle flux ranking in typical quantum device models, such as a thermal-drag spin-Seebeck pump, and a quantum thermal transistor as thermal switch or heat amplifier. The dominant cycle trajectories indeed elucidate the principal working mechanisms of those quantum devices. The cycle flux analysis provides an alternative perspective that naturally describes the working cycle corresponding to the main functionality of quantum thermal devices, which would further guide the device optimization with desired performance


title: Continuous control of classical-quantum crossover by external high pressure in the coupled chain compound CsCuCl$_3$

abstract: In solid materials, the parameters relevant to quantum effects, such as the spin quantum number, are basically determined and fixed at the chemical synthesis, which makes it challenging to control the amount of quantum correlations. We propose and demonstrate a method for active control of the classical-quantum crossover in magnetic insulators by applying external pressure. As a concrete example, we perform high-field, high-pressure measurements on CsCuCl$_3$, which has the structure of weakly-coupled spin chains. The magnetization process experiences a continuous evolution from the semi-classical realm to the highly-quantum regime with increasing pressure. Based on the idea of "squashing" the spin chains onto a plane, we characterize the change in the quantum correlations by the change in the value of the local spin quantum number of an effective two-dimensional model. This opens a way to access the tunable classical-quantum crossover of two-dimensional spin systems by using alternative systems of coupled-chain compounds.


title: Uniqueness of a positive solution for the Laplace equation with indefinite superlinear boundary condition

abstract: In this paper, we consider the Laplace equation with a class of indefinite superlinear boundary conditions and study the uniqueness of positive solutions that this problem possesses. Superlinear elliptic problems can be expected to have multiple positive solutions under certain situations. To our end, by conducting spectral analysis for the linearized eigenvalue problem at an unstable positive solution, we find sufficient conditions for ensuring that the implicit function theorem is applicable to the unstable positive one. An application of our results to the logistic boundary condition arising from population genetics is given.


title: Half-wormholes in nearly AdS$_2$ holography

abstract: We find half-wormhole solutions in Jackiw-Teitelboim gravity by allowing the geometry to end on a spacetime D-brane with specific boundary conditions. This theory also contains a Euclidean wormhole which leads to a factorization problem. We propose that half-wormholes provide a gravitational picture for how factorization is restored and show that the Euclidean wormhole emerges from averaging over the boundary conditions. The wormhole is known to be dual to a Sachdev-Ye-Kitaev (SYK) model with random complex couplings. We find that the free energy of the half-wormhole is strikingly similar to that of a single realization of this SYK model. These results suggest that the gravitational path integral computes an average over spacetime D-brane boundary conditions.


title: Non-essential arcs in phylogenetic networks

abstract: In the study of rooted phylogenetic networks, analyzing the set of rooted phylogenetic trees that are embedded in such a network is a recurring task. From an algorithmic viewpoint, this analysis almost always requires an exhaustive search of a particular multiset $S$ of rooted phylogenetic trees that are embedded in a rooted phylogenetic network $\mathcal{N}$. Since the size of $S$ is exponential in the number of reticulations of $\mathcal{N}$, it is consequently of interest to keep this number as small as possible but without loosing any element of $S$. In this paper, we take a first step towards this goal by introducing the notion of a non-essential arc of $\mathcal{N}$, which is an arc whose deletion from $\mathcal{N}$ results in a rooted phylogenetic network $\mathcal{N}'$ such that the sets of rooted phylogenetic trees that are embedded in $\mathcal{N}$ and $\mathcal{N}'$ are the same. We investigate the popular class of tree-child networks and characterize which arcs are non-essential. This characterization is based on a family of directed graphs. Using this novel characterization, we show that identifying and deleting all non-essential arcs in a tree-child network takes time that is cubic in the number of leaves of the network. Moreover, we show that deciding if a given arc of an arbitrary phylogenetic network is non-essential is $\Pi_2^P$-complete.


title: Characterising the turbulent multiphase halos with periodic box simulations

abstract: Turbulence in the intracluster medium (ICM) is driven by active galactic nuclei (AGNs) jets, by mergers, and in the wakes of infalling galaxies. It not only governs gas motion but also plays a key role in the ICM thermodynamics. Turbulence can help seed thermal instability by generating density fluctuations, and mix the hot and cold phases together to produce intermediate temperature gas ($10^4$--$10^7$ $\mathrm{K}$) with short cooling times. We conduct high resolution ($384^3$--$768^3$ resolution elements) idealised simulations of the multiphase ICM and study the effects of turbulence strength, characterised by $f_{\mathrm{turb}}$ ($0.001$--$1.0$), the ratio of turbulent forcing power to the net radiative cooling rate. We analyse density and temperature distribution, amplitude and nature of gas perturbations, and probability of transitions across the temperature phases. We also study the effects of mass and volume-weighted thermal heating and weak ICM magnetic fields. For low $f_{\mathrm{turb}}$, the gas is distribution is bimodal between the hot and cold phases. The mixing between different phases becomes more efficient with increasing $f_{\mathrm{turb}}$, producing larger amounts of the intermediate temperature gas. Strong turbulence ($f_{\mathrm{turb}}\geq0.5$) generates larger density fluctuations and faster cooling, The rms logarithmic pressure fluctuation scaling with Mach number $\sigma_{\ln{\bar{P}}}^2\approx\ln(1+b^2\gamma^2\mathcal{M}^4)$ is unaffected by thermal instability and is the same as in hydro turbulence. In contrast, the density fluctuations characterised by $\sigma_s^2$ are much larger, especially for $\mathcal{M}\lesssim0.5$. In magnetohydrodynamic runs, magnetic fields provide significant pressure support in the cold phase but do not have any strong effects on the diffuse gas distribution, and nature and amplitude of fluctuations.


title: Independent and coherent transitions between antiferromagnetic states of few-molecule systems

abstract: Spin-electronic devices are poised to become part of mainstream microelectronic technology .Downsizing them, however, faces the intrinsic difficulty that as ferromagnets become smaller, it becomes more difficult to stabilize their magnetic moment. Antiferromagnets are much more stable, and thus research on antiferromagnetic spintronics has developed into a fast-growing field. Here, we provide proof of concept data that allows us to expand the area of antiferromagnetic spintronics to the hitherto elusive level of individual molecules. In contrast to all previous work on molecular spintronics, our detection scheme of the molecule's spin state does not rely on a magnetic moment. Instead, we use field-effect transistor devices constituting of an isolated, contacted single-wall carbon nanotube covalently bound to a limited number of molecular antiferromagnets incorporating four Mn(II) or Co(II) ions. Time-dependent quantum transport measurement along the functionalized nanotube show step-like transitions between several distinct current levels, which we attribute to transitions between different antiferromagnetic states of individual molecular complexes grafted on the nanotube. A statistical analysis of the switching events using factorial cumulants indicates that the cobalt complexes switch independently from each other, while a coherent superposition of the antiferromagnetic spin states of the molecules along the nanotube is observed for the manganese complexes. The long coherence time (several seconds at 100 mK) is made possible by the absence of spin and orbital momentum in the relevant states of the manganese complex, while the cobalt complex includes a significant orbital momentum contribution due to the pseudo-octahedral d$^7$ metal centers.


title: Active learning for imbalanced data under cold start

abstract: Modern systems that rely on Machine Learning (ML) for predictive modelling, may suffer from the cold-start problem: supervised models work well but, initially, there are no labels, which are costly or slow to obtain. This problem is even worse in imbalanced data scenarios, where labels of the positive class take longer to accumulate. We propose an Active Learning (AL) system for datasets with orders of magnitude of class imbalance, in a cold start streaming scenario. We present a computationally efficient Outlier-based Discriminative AL approach (ODAL) and design a novel 3-stage sequence of AL labeling policies where ODAL is used as warm-up. Then, we perform empirical studies in four real world datasets, with various magnitudes of class imbalance. The results show that our method can more quickly reach a high performance model than standard AL policies without ODAL warm-up. Its observed gains over random sampling can reach 80% and be competitive with policies with an unlimited annotation budget or additional historical data (using just 2% to 10% of the labels).


title: Learning to Price against a Budget and ROI Constrained Buyer

abstract: Internet advertisers (buyers) repeatedly procure ad impressions from ad platforms (sellers) with the aim to maximize total conversion (i.e. ad value) while respecting both budget and return-on-investment (ROI) constraints for efficient utilization of limited monetary resources. Facing such a constrained buyer who aims to learn her optimal strategy to acquire impressions, we study from a seller's perspective how to learn and price ad impressions through repeated posted price mechanisms to maximize revenue. For this two-sided learning setup, we propose a learning algorithm for the seller that utilizes an episodic binary-search procedure to identify a revenue-optimal selling price. We show that such a simple learning algorithm enjoys low seller regret when within each episode, the budget and ROI constrained buyer approximately best responds to the posted price. We present simple yet natural buyer's bidding algorithms under which the buyer approximately best responds while satisfying budget and ROI constraints, leading to a low regret for our proposed seller pricing algorithm. The design of our seller algorithm is motivated by the fact that the seller's revenue function admits a bell-shaped structure when the buyer best responds to prices under budget and ROI constraints, enabling our seller algorithm to identify revenue-optimal selling prices efficiently.


title: Double Glueing over Free Exponential: with Measure Theoretic Applications

abstract: This paper provides a compact method to lift the free exponential construction of Mellies-Tabareau-Tasson over the Hyland-Schalk double glueing for orthogonality categories. A condition ``reciprocity of orthogonality'' is presented simply enough to lift the free exponential over the double glueing in terms of the orthogonality. Our general method applies to the monoidal category TsK of the s-finite transition kernels with countable biproducts. We show (i) TsK^op has the free exponential, which is shown to be describable in terms of measure theory. (ii) The s-finite transition kernels have an orthogonality between measures and measurable functions in terms of Lebesgue integrals. The orthogonality is reciprocal, hence the free exponential of (i) lifts to the orthogonality category O_I(TsK^op), which subsumes Ehrhard et al's probabilistic coherent spaces as the full subcategory of countable measurable spaces. To lift the free exponential, the measure-theoretic uniform convergence theorem commuting Lebesgue integral and limit plays a crucial role as well as Fubini-Tonelli theorem for double integral in s-finiteness. Our measure-theoretic orthogonality is considered as a continuous version of the orthogonality of the probabilistic coherent spaces for linear logic, and in particular provides a two layered decomposition of Crubille et al's direct free exponential for these spaces.


title: The Electromagnetic Field in Gravitational Wave Interferometers

abstract: We analyse the response of laser interferometric gravitational wave detectors using the full Maxwell equations in curved spacetime in the presence of weak gravitational waves. Existence and uniqueness of solutions is ensured by setting up a suitable boundary value problem. This puts on solid ground previous approximate calculations. We find consistency with previous results obtained from eikonal expansions at the level of accuracy accessible to current gravitational wave detectors.


title: Recognizing bird species in diverse soundscapes under weak supervision

abstract: We present a robust classification approach for avian vocalization in complex and diverse soundscapes, achieving second place in the BirdCLEF2021 challenge. We illustrate how to make full use of pre-trained convolutional neural networks, by using an efficient modeling and training routine supplemented by novel augmentation methods. Thereby, we improve the generalization of weakly labeled crowd-sourced data to productive data collected by autonomous recording units. As such, we illustrate how to progress towards an accurate automated assessment of avian population which would enable global biodiversity monitoring at scale, impossible by manual annotation.


abstract: Temporal Point Processes (TPPs) are often used to represent the sequence of events ordered as per the time of occurrence. Owing to their flexible nature, TPPs have been used to model different scenarios and have shown applicability in various real-world applications. While TPPs focus on modeling the event occurrence, Marked Temporal Point Process (MTPP) focuses on modeling the category/class of the event as well (termed as the marker). Research in MTPP has garnered substantial attention over the past few years, with an extensive focus on supervised algorithms. Despite the research focus, limited attention has been given to the challenging problem of developing solutions in semi-supervised settings, where algorithms have access to a mix of labeled and unlabeled data. This research proposes a novel algorithm for Semi-supervised Learning for Marked Temporal Point Processes (SSL-MTPP) applicable in such scenarios. The proposed SSL-MTPP algorithm utilizes a combination of labeled and unlabeled data for learning a robust marker prediction model. The proposed algorithm utilizes an RNN-based Encoder-Decoder module for learning effective representations of the time sequence. The efficacy of the proposed algorithm has been demonstrated via multiple protocols on the Retweet dataset, where the proposed SSL-MTPP demonstrates improved performance in comparison to the traditional supervised learning approach.


title: The intrinsic core and minimal faces of convex sets in general vector spaces

abstract: Intrinsic core generalises the finite-dimensional notion of the relative interior to arbitrary (real) vector spaces. Our main goal is to provide a self-contained overview of the key results pertaining to the intrinsic core and to elucidate the relations between intrinsic core and facial structure of convex sets in this general context. We gather several equivalent definitions of the intrinsic core, cover much of the folklore, review relevant recent results and present examples illustrating some of the phenomena specific to the facial structure of infinite-dimensional sets.


title: Improved Measurements of the Sun's Meridional Flow and Torsional Oscillation from Correlation tracking on MDI \& HMI magnetograms

abstract: The Sun's axisymmetric flows, differential rotation and meridional flow, govern the dynamics of the solar magnetic cycle and variety of methods are used to measure these flows, each with its own strengths and weaknesses. Flow measurements based on cross-correlating images of the surface magnetic field have been made since the 1970s which require advanced numerical techniques that are capable of detecting movements of less than the pixel size in images of the Sun. We have identified several systematic errors in addition to the center-to-limb effect that influence previous measurements of these flows and propose numerical techniques that can minimize these errors by utilizing measurements of displacements at several time-lags. Our analysis of line-of-sight magnetograms from the {\em Michelson Doppler Imager} (MDI) on the ESA/NASA {\em Solar and Heliospheric Observatory} (SOHO) and {\em Helioseismic and Magnetic Imager} (HMI) on the NASA {\em Solar Dynamics Observatory} (SDO) shows long-term variations in the meridional flow and differential rotation over two sunspot cycles from 1996 to 2020. These improved measurements can serve as vital inputs for solar dynamo and surface flux transport simulations.

categories: astro-ph.SR astro-ph.IM physics.data-an physics.plasm-ph


title: Robust Online Control with Model Misspecification

abstract: We study online control of an unknown nonlinear dynamical system that is approximated by a time-invariant linear system with model misspecification. Our study focuses on robustness, a measure of how much deviation from the assumed linear approximation can be tolerated by a controller while maintaining finite $\ell_2$-gain. A basic methodology to analyze robustness is via the small gain theorem. However, as an implication of recent lower bounds on adaptive control, this method can only yield robustness that is exponentially small in the dimension of the system and its parametric uncertainty. The work of Cusumano and Poolla shows that much better robustness can be obtained, but the control algorithm is inefficient, taking exponential time in the worst case. In this paper we investigate whether there exists an efficient algorithm with provable robustness beyond the small gain theorem. We demonstrate that for a fully actuated system, this is indeed attainable. We give an efficient controller that can tolerate robustness that is polynomial in the dimension and independent of the parametric uncertainty; furthermore, the controller obtains an $\ell_2$-gain whose dimension dependence is near optimal.