title: Growth and characterization of quaternary-alloy ferromagnetic semiconductor (In,Ga,Fe)Sb

abstract: We study the growth and properties of quaternary-alloy ferromagnetic semiconductor (FMS) (In0.94-x,Gax,Fe0.06)Sb (x = 5% - 30%, Fe concentration is fixed at 6%) grown by low temperature molecular beam epitaxy (LT-MBE).Reflection high-energy electron diffraction (RHEED) patterns, scanning transmission electron microscopy (STEM) lattice images, and X-ray diffraction (XRD) spectra indicate that the (In0.94-x,Gax,Fe0.06)Sb layers have a zinc-blende crystal structure without any other second phase. The lattice constant of the (In0.94-x,Gax,Fe0.06)Sb films changes linearly with the Ga concentration x, indicating that Ga atoms substitute In atoms in the zinc-blend structure. We found that the carrier type of can be systematically controlled by varying x, being n-type when x \le 10% and p-type when x \ge 20%. Characterizations using magnetic circular dichroism (MCD) spectroscopy indicate that the (In0.94-x,Gax,Fe0.06)Sb layers have intrinsic ferromagnetism with relatively high Curie temperatures (TC = 40 - 120 K). The ability to widely control the fundamental material properties (lattice constant, bandgap, carrier type, magnetic property) of (In0.94-x,Gax,Fe0.06)Sb demonstrated in this work is essential for spintronic device applications.


title: Combining case-control studies for identifiability and efficiency improvement in logistic regression

abstract: Can two separate case-control studies, one about Hepatitis disease and the other about Fibrosis, for example, be combined together? It would be hugely beneficial if two or more separately conducted case-control studies, even for entirely irrelevant purposes, can be merged together with a unified analysis that produces better statistical properties, e.g., more accurate estimation of parameters. In this paper, we show that, when using the popular logistic regression model, the combined/integrative analysis produces a more accurate estimation of the slope parameters than the single case-control study. It is known that, in a single logistic case-control study, the intercept is not identifiable, contrary to prospective studies. In combined case-control studies, however, the intercepts are proved to be identifiable under mild conditions. The resulting maximum likelihood estimates of the intercepts and slopes are proved to be consistent and asymptotically normal, with asymptotic variances achieving the semiparametric efficiency lower bound.


title: Bottomonia production in p+p collisions under NRQCD formalism

abstract: In this work, we present the calculation of the production cross sections of bottomonia states using Non-Relativistic Quantum Chromodynamics (NRQCD) formalism. The direct production cross-section of a resonance can be factorised in terms of short distance Quantum Chromodynamics (QCD) cross sections and long distance matrix elements (LDMEs) under NRQCD. We use a large set of measured $\Upsilon$(nS) production data at Tevatron and LHC energies in both central and forward rapidity regions to extract the LDMEs with better precision. The feed down contributions from the higher states including the $\chi_{b}$(3P) state are taken into account for the LDME extraction. The formalism provides a good description of the bottomonia data in wide transverse momentum range at different collision energies.


title: Self-Training Sampling with Monolingual Data Uncertainty for Neural Machine Translation

abstract: Self-training has proven effective for improving NMT performance by augmenting model training with synthetic parallel data. The common practice is to construct synthetic data based on a randomly sampled subset of large-scale monolingual data, which we empirically show is sub-optimal. In this work, we propose to improve the sampling procedure by selecting the most informative monolingual sentences to complement the parallel data. To this end, we compute the uncertainty of monolingual sentences using the bilingual dictionary extracted from the parallel data. Intuitively, monolingual sentences with lower uncertainty generally correspond to easy-to-translate patterns which may not provide additional gains. Accordingly, we design an uncertainty-based sampling strategy to efficiently exploit the monolingual data for self-training, in which monolingual sentences with higher uncertainty would be sampled with higher probability. Experimental results on large-scale WMT English$\Rightarrow$German and English$\Rightarrow$Chinese datasets demonstrate the effectiveness of the proposed approach. Extensive analyses suggest that emphasizing the learning on uncertain monolingual sentences by our approach does improve the translation quality of high-uncertainty sentences and also benefits the prediction of low-frequency words at the target side.


title: JUMBO: Scalable Multi-task Bayesian Optimization using Offline Data

abstract: The goal of Multi-task Bayesian Optimization (MBO) is to minimize the number of queries required to accurately optimize a target black-box function, given access to offline evaluations of other auxiliary functions. When offline datasets are large, the scalability of prior approaches comes at the expense of expressivity and inference quality. We propose JUMBO, an MBO algorithm that sidesteps these limitations by querying additional data based on a combination of acquisition signals derived from training two Gaussian Processes (GP): a cold-GP operating directly in the input domain and a warm-GP that operates in the feature space of a deep neural network pretrained using the offline data. Such a decomposition can dynamically control the reliability of information derived from the online and offline data and the use of pretrained neural networks permits scalability to large offline datasets. Theoretically, we derive regret bounds for JUMBO and show that it achieves no-regret under conditions analogous to GP-UCB (Srinivas et. al. 2010). Empirically, we demonstrate significant performance improvements over existing approaches on two real-world optimization problems: hyper-parameter optimization and automated circuit design.


title: A Topological Solution of Entanglement for Complex-shaped Parts in Robotic Bin-picking

abstract: This paper addresses the problem of picking up only one object at a time avoiding any entanglement in bin-picking. To cope with a difficult case where the complex-shaped objects are heavily entangled together, we propose a topology-based method that can generate non-tangle grasp positions on a single depth image. The core technique is entanglement map, which is a feature map to measure the entanglement possibilities obtained from the input image. We use the entanglement map to select probable regions containing graspable objects. The optimum grasping pose is detected from the selected regions considering the collision between robot hand and objects. Experimental results show that our analytic method provides a more comprehensive and intuitive observation of entanglement and exceeds previous learning-based work in success rates. Especially, our topology-based method does not rely on any object models or time-consuming training process, so that it can be easily adapted to more complex bin-picking scenes.


title: Teaching MPC: Which Way to the Promised Land?

abstract: Since the earliest conceptualizations by Lee and Markus, and Propoi in the 1960s, Model Predictive Control (MPC) has become a major success story of systems and control with respect to industrial impact and with respect to continued and wide-spread research interest. The field has evolved from conceptually simple linear-quadratic (convex) settings in discrete and continuous time to nonlinear and distributed settings including hybrid, stochastic, and infinite-dimensional systems. Put differently, essentially the entire spectrum of dynamic systems can be considered in the MPC framework with respect to both -- system theoretic analysis and tailored numerics. Moreover, recent developments in machine learning also leverage MPC concepts and learning-based and data-driven MPC have become highly active research areas. However, this evident and continued success renders it increasingly complex to live up to industrial expectations while enabling graduate students for state-of-the-art research in teaching MPC. Hence, this position paper attempts to trigger a discussion on teaching MPC. To lay the basis for a fruitful debate, we subsequently investigate the prospect of covering MPC in undergraduate courses; we comment on teaching textbooks; and we discuss the increasing complexity of research-oriented graduate teaching of~MPC.


title: The Global Magneto-Ionic Medium Survey: A Faraday Depth Survey of the Northern Sky Covering 1280-1750 MHz

abstract: The Galactic interstellar medium hosts a significant magnetic field, which can be probed through the synchrotron emission produced from its interaction with relativistic electrons. Linearly polarized synchrotron emission is generated throughout the Galaxy, and at longer wavelengths, modified along nearly every path by Faraday rotation in the intervening magneto-ionic medium. Full characterization of the polarized emission requires wideband observations with many frequency channels. We have surveyed polarized radio emission from the Northern sky over the the range 1280-1750 MHz, with channel width 236.8 kHz, using the John A. Galt Telescope (diameter 25.6 m) at the Dominion Radio Astrophysical Observatory, as part of the Global Magneto-Ionic Medium Survey. The survey covered 72% of the sky, declinations -30 to +87 degrees at all right ascensions. The intensity scale was absolutely calibrated, based on the flux density and spectral index of Cygnus A. Polarization angle was calibrated using the extended polarized emission of the Fan Region. Data are presented as brightness temperatures with angular resolution 40'. Sensitivity in Stokes Q and U is 45 mK rms in a 1.18 MHz band. We have applied rotation measure synthesis to the data to obtain a Faraday depth cube of resolution 150 radians per square metre and sensitivity 3 mK rms of polarized intensity. Features in Faraday depth up to a width of 110 radians per square metre are represented. The maximum detectable Faraday depth is +/- 20,000 radians per square metre. The survey data are available at the Canadian Astronomy Data Centre.


title: Dopant redistribution and activation in Ga ion-implanted high Ge content SiGe by explosive crystallization during UV nanosecond pulsed laser annealing

abstract: Explosive crystallization (EC) is often observed when using nanosecond-pulsed melt laser annealing (MLA) in amorphous silicon (Si) and germanium (Ge). The solidification velocity in EC is so fast that a diffusion-less crystallization can be expected. In the contacts of advanced transistors, the active level at the metal/semiconductor Schottky interface must be very high to achieve a sub-10^{-9} ohm.cm2 contact resistivity, which has been already demonstrated by using the dopant surface segregation induced by MLA. However, the beneficial layer of a few nanometers at the surface may be easily consumed during subsequent contact cleaning and metallization. EC helps to address such kind of process integration issues, enabling the optimal positioning of the peak of the dopant chemical profile. However, there is a lack of experimental studies of EC in heavily-doped semiconductor materials. Furthermore, to the best of our knowledge, dopant activation by EC has never been experimentally reported. In this paper, we present dopant redistribution and activation by an EC process induced by UV nanosecond-pulsed MLA in heavily gallium (Ga) ion-implanted high Ge content SiGe. Based on the obtained results, we also highlight potential issues of integrating EC into real device fabrication processes and discuss how to manage them.


title: Isolated and hybrid bilayer graphene rings

abstract: Using the continuum model, we investigate the electronic properties of two types of bilayer graphene (BLG) quantum ring (QR) geometries: (i) an isolated BLG QR and (ii) a monolayer graphene (MLG) with a QR put on top of an infinite graphene sheet (hybrid BLG QR). Solving the Dirac-Weyl equation in the presence of a perpendicular magnetic field and applying the infinite-mass boundary condition at the ring boundaries, we obtain analytical results for the energy levels and corresponding wave spinors for both structures. In the case of isolated BLG QR, we observe a sizeable and magnetically tunable band gap which agrees with the tight-binding transport simulations. Our analytical results also show the intervalley symmetry $ E^K_e (m) = -E^{K'}_h(m) $ between the electron (e) and hole (h) states ($ m $ being the angular momentum quantum number) for the energy spectrum of the isolated BLG QR. The presence of interface boundary in a hybrid BLG QR modifies drastically the energy levels as compared to that of an isolated BLG QR. Its energy levels are tunable from MLG dot, to isolated BLG QR, and to MLG Landau energy levels as magnetic field is varied. Our predictions can be verified experimentally using different techniques such as by magnetotransport measurements.


title: Unsupervised Out-of-Domain Detection via Pre-trained Transformers

abstract: Deployed real-world machine learning applications are often subject to uncontrolled and even potentially malicious inputs. Those out-of-domain inputs can lead to unpredictable outputs and sometimes catastrophic safety issues. Prior studies on out-of-domain detection require in-domain task labels and are limited to supervised classification scenarios. Our work tackles the problem of detecting out-of-domain samples with only unsupervised in-domain data. We utilize the latent representations of pre-trained transformers and propose a simple yet effective method to transform features across all layers to construct out-of-domain detectors efficiently. Two domain-specific fine-tuning approaches are further proposed to boost detection accuracy. Our empirical evaluations of related methods on two datasets validate that our method greatly improves out-of-domain detection ability in a more general scenario.


title: Should We Always Separate?: Switching Between Enhanced and Observed Signals for Overlapping Speech Recognition

abstract: Although recent advances in deep learning technology improved automatic speech recognition (ASR), it remains difficult to recognize speech when it overlaps other people's voices. Speech separation or extraction is often used as a front-end to ASR to handle such overlapping speech. However, deep neural network-based speech enhancement can generate `processing artifacts' as a side effect of the enhancement, which degrades ASR performance. For example, it is well known that single-channel noise reduction for non-speech noise (non-overlapping speech) often does not improve ASR. Likewise, the processing artifacts may also be detrimental to ASR in some conditions when processing overlapping speech with a separation/extraction method, although it is usually believed that separation/extraction improves ASR. In order to answer the question `Do we always have to separate/extract speech from mixtures?', we analyze ASR performance on observed and enhanced speech at various noise and interference conditions, and show that speech enhancement degrades ASR under some conditions even for overlapping speech. Based on these findings, we propose a simple switching algorithm between observed and enhanced speech based on the estimated signal-to-interference ratio and signal-to-noise ratio. We demonstrated experimentally that such a simple switching mechanism can improve recognition performance when processing artifacts are detrimental to ASR.


title: A Multi-Level Attention Model for Evidence-Based Fact Checking

abstract: Evidence-based fact checking aims to verify the truthfulness of a claim against evidence extracted from textual sources. Learning a representation that effectively captures relations between a claim and evidence can be challenging. Recent state-of-the-art approaches have developed increasingly sophisticated models based on graph structures. We present a simple model that can be trained on sequence structures. Our model enables inter-sentence attentions at different levels and can benefit from joint training. Results on a large-scale dataset for Fact Extraction and VERification (FEVER) show that our model outperforms the graph-based approaches and yields 1.09% and 1.42% improvements in label accuracy and FEVER score, respectively, over the best published model.


title: Finite-time bearing-based maneuver of acyclic leader-follower formations

abstract: This letter proposes two finite-time bearing-based control laws for acyclic leader-follower formations. The leaders in formation move with a bounded continuous reference velocity and each follower controls its position with regard to three agents in the formation. The first control law uses only bearing vectors, and finite-time convergence is achieved by properly selecting two state-dependent control gains. The second control law requires both bearing vectors and communications between agents. Each agent simultaneously localizes and follows a virtual target. Finite-time convergence of the desired formation under both control laws is proved by mathematical induction and supported by numerical simulations. 10.1109/LCSYS.2021.3088299


title: End-to-End Information Extraction by Character-Level Embedding and Multi-Stage Attentional U-Net

abstract: Information extraction from document images has received a lot of attention recently, due to the need for digitizing a large volume of unstructured documents such as invoices, receipts, bank transfers, etc. In this paper, we propose a novel deep learning architecture for end-to-end information extraction on the 2D character-grid embedding of the document, namely the \textit{Multi-Stage Attentional U-Net}. To effectively capture the textual and spatial relations between 2D elements, our model leverages a specialized multi-stage encoder-decoders design, in conjunction with efficient uses of the self-attention mechanism and the box convolution. Experimental results on different datasets show that our model outperforms the baseline U-Net architecture by a large margin while using 40\% fewer parameters. Moreover, it also significantly improved the baseline in erroneous OCR and limited training data scenario, thus becomes practical for real-world applications.


title: Convergence analysis of a Lagrangian numerical scheme in computing effective diffusivity of 3D time-dependent flows

abstract: In this paper, we study the convergence analysis for a robust stochastic structure-preserving Lagrangian numerical scheme in computing effective diffusivity of time-dependent chaotic flows, which are modeled by stochastic differential equations (SDEs). Our numerical scheme is based on a splitting method to solve the corresponding SDEs in which the deterministic subproblem is discretized using structure-preserving schemes while the random subproblem is discretized using the Euler-Maruyama scheme. We obtain a sharp and uniform-in-time convergence analysis for the proposed numerical scheme that allows us to accurately compute long-time solutions of the SDEs. As such, we can compute the effective diffusivity for time-dependent flows. Finally, we present numerical results to demonstrate the accuracy and efficiency of the proposed method in computing effective diffusivity for the time-dependent Arnold-Beltrami-Childress (ABC) flow and Kolmogorov flow in three-dimensional space.


title: When and Why does a Model Fail? A Human-in-the-loop Error Detection Framework for Sentiment Analysis

abstract: Although deep neural networks have been widely employed and proven effective in sentiment analysis tasks, it remains challenging for model developers to assess their models for erroneous predictions that might exist prior to deployment. Once deployed, emergent errors can be hard to identify in prediction run-time and impossible to trace back to their sources. To address such gaps, in this paper we propose an error detection framework for sentiment analysis based on explainable features. We perform global-level feature validation with human-in-the-loop assessment, followed by an integration of global and local-level feature contribution analysis. Experimental results show that, given limited human-in-the-loop intervention, our method is able to identify erroneous model predictions on unseen data with high precision.


title: Answer Generation for Retrieval-based Question Answering Systems

abstract: Recent advancements in transformer-based models have greatly improved the ability of Question Answering (QA) systems to provide correct answers; in particular, answer sentence selection (AS2) models, core components of retrieval-based systems, have achieved impressive results. While generally effective, these models fail to provide a satisfying answer when all retrieved candidates are of poor quality, even if they contain correct information. In AS2, models are trained to select the best answer sentence among a set of candidates retrieved for a given question. In this work, we propose to generate answers from a set of AS2 top candidates. Rather than selecting the best candidate, we train a sequence to sequence transformer model to generate an answer from a candidate set. Our tests on three English AS2 datasets show improvement up to 32 absolute points in accuracy over the state of the art.


title: Smooth relaxation preserving Turing machines

abstract: Clift and Murfet (2019) introduced a naive Bayesian smooth relaxation of Turing machines motivated by work in differential linear logic; this was subsequently used to endow spaces of program codes of bounded length with a smooth manifold structure via the staged-pseudo universal Turing machine introduced by Clift, Murfet and Wallbridge (2021). In this paper, we give a general construction for simulating n-tape Turing machines on a single tape Turing machine such that the (naive Bayesian) uncertainty is propagated in an equivalent manner. This result suggests a stronger kind of equivalence between single tape and n-tape Turing machines than that established by classical results, however, the clarification of these implications is open to future work. We then construct a pseudo universal Turing machine which similarly preserves the propagation of uncertainty in its simulations, and observe that this gives rise to a particularly natural smooth relaxation of the space of programs.


title: RevCore: Review-augmented Conversational Recommendation

abstract: Existing conversational recommendation (CR) systems usually suffer from insufficient item information when conducted on short dialogue history and unfamiliar items. Incorporating external information (e.g., reviews) is a potential solution to alleviate this problem. Given that reviews often provide a rich and detailed user experience on different interests, they are potential ideal resources for providing high-quality recommendations within an informative conversation. In this paper, we design a novel end-to-end framework, namely, Review-augmented Conversational Recommender (RevCore), where reviews are seamlessly incorporated to enrich item information and assist in generating both coherent and informative responses. In detail, we extract sentiment-consistent reviews, perform review-enriched and entity-based recommendations for item suggestions, as well as use a review-attentive encoder-decoder for response generation. Experimental results demonstrate the superiority of our approach in yielding better performance on both recommendation and conversation responding.


title: A Generalizable Approach to Learning Optimizers

abstract: A core issue with learning to optimize neural networks has been the lack of generalization to real world problems. To address this, we describe a system designed from a generalization-first perspective, learning to update optimizer hyperparameters instead of model parameters directly using novel features, actions, and a reward function. This system outperforms Adam at all neural network tasks including on modalities not seen during training. We achieve 2x speedups on ImageNet, and a 2.5x speedup on a language modeling task using over 5 orders of magnitude more compute than the training tasks.


title: Impact of Variable Speed on Collective Movement of Animal Groups

abstract: A variety of agent-based models has been proposed to account for the emergence of coordinated collective behavior of animal groups from simple interaction rules. A common, simplifying assumption of such collective movement models, is the consideration of individual agents moving with a constant speed. In this work we critically re-asses this assumption underlying a vast majority of collective movement models. First, we show the omnipresent speed variability observed in different species of live fish and artificial agents (RoboFish). Based on theoretical considerations accounting for inertia and rotational friction, we derive a functional dependence of the turning response of individuals on their instantaneous speed (confirmed by experimental data). We investigate how the interplay of variable speed and speed-dependent turning affects self-organized collective behavior by implementing an agent-based model which accounts for both effects. We show, that besides average speed, the individual speed variability may have a dramatic impact on the emergent collective dynamics, as two groups differing only in their speed variability, and being otherwise identical in all other behavioral parameters, can be in two fundamentally different stationary states. We find that the local coupling between group polarization and individual speed is strongest at the order-disorder transition. Furthermore, we demonstrate a decrease in polarization with group size for groups of individuals with variable speed, and a sudden decrease in mean individual speed at a critical group size (N=4 for Voronoi interactions) linked to a topological transition from an all-to-all to a distributed spatial interaction network. Overall, our work highlights the importance to account for fundamental kinematic constraints in general, and variable speed in particular, when modeling self-organized collective dynamics.


title: An arithmetic property of intertwining operators for p-adic groups

abstract: If one proposes to use the theory of Eisenstein cohomology to prove algebraicity results for the special values of automorphic L-functions as in my work with Harder for Rankin-Selberg L-functions, or its generalizations as in my work with Bhagwat for L-functions for orthogonal groups and independently with Krishnamurthy on Asai L-functions, then in a key step, one needs to prove that the normalised standard intertwining operator between induced representations for p-adic groups has a certain arithmetic property. The principal aim of this article is to address this particular local problem in the generality of the Langlands-Shahidi machinery. The main result of this article is invoked in some of the works mentioned above, and I expect that it will be useful in future investigations on the arithmetic properties of automorphic L-functions.


title: Distributed Control-Estimation Synthesis for Stochastic Multi-Agent Systems via Virtual Interaction between Non-neighboring Agents

abstract: This paper considers the optimal distributed control problem for a linear stochastic multi-agent system (MAS). Due to the distributed nature of MAS network, the information available to an individual agent is limited to its vicinity. From the entire MAS aspect, this imposes the structural constraint on the control law, making the optimal control law computationally intractable. This paper attempts to relax such a structural constraint by expanding the neighboring information for each agent to the entire MAS, enabled by the distributed estimation algorithm embedded in each agent. By exploiting the estimated information, each agent is not limited to interact with its neighborhood but further establishing the `virtual interactions' with the non-neighboring agents. Then the optimal distributed MAS control problem is cast as a synthesized control-estimation problem. An iterative optimization procedure is developed to find the control-estimation law, minimizing the global objective cost of MAS.


title: Convergent dynamics of optimal nonlinear damping control

abstract: Following Demidovich's concept and definition of convergent systems, we analyze the optimal nonlinear damping control, recently proposed [1] for the second-order systems. Targeting the problem of output regulation, correspondingly tracking of $\mathcal{C}^1$-trajectories, it is shown that all solutions of the control system are globally uniformly asymptotically stable. The existence of the unique limit solution in the origin of the control error and its time derivative coordinates are shown in the sense of Demidovich's convergent dynamics. Explanative numerical examples are also provided along with analysis.


title: Invertibility of the 3-core of Erdos Renyi Graphs with Growing Degree

abstract: Let $A \in \mathbb{R}^{n \times n}$ be the adjacency matrix of an Erd\H{o}s R\'enyi graph $G(n, d/n)$ for $d = \omega(1)$ and $d \leq 3\log(n)$. We show that as $n$ goes to infinity, with probability that goes to $1$, the adjacency matrix of the $3$-core of $G(n, d/n)$ is invertible.


title: Ocean-depth measurement using shallow-water wave models

abstract: In this paper, we consider a problem inspired by the real-world need to identify the topographical features of ocean basins. Specifically we consider the problem of estimating the bottom impermeable boundary to an inviscid, incompressible, irrotational fluid from measurements of the free-surface deviation alone, within the context of dispersive shallow-water wave models. The need to consider the shallow-water regime arises from the ill-posed nature of the problem and is motivated by prior work. We design an algorithm using which, both fluid velocities and the bottom-boundary profile, may be accurately recovered assuming an a priori relatively inaccurate guess for the bottom boundary. We achieve this by considering two separate inverse problems: one to deduce the bottom-boundary from velocities and the surface deviation, and another to recover the velocities from the surface deviation and an approximate bottom-boundary. The former is a classic inverse problem that requires the inversion of an ill-conditioned matrix while the latter employs the observer framework. Combining the two inverse problems leads to our reconstruction algorithm. We emphasise the role played by model selection and its impact on algorithm design and the accuracy of the reconstruction.


title: ALFRED: a methodology to enable component fault trees for layered architectures

abstract: Identifying drawbacks or insufficiencies in terms of safety is important also in early development stages of safety critical systems. In industry, development artefacts such as components or units, are often reused from existing artefacts to save time and costs. When development artefacts are reused, their existing safety analysis models are an important input for an early safety assessment for the new system, since they already provide a valid model. Component fault trees support such reuse strategies by a compositional horizontal approach. But current development strategies do not only divide systems horizontally, e.g., By encapsulating different functionality into separate components and hierarchies of components, but also vertically, e.g. Into software and hardware architecture layers. Current safety analysis methodologies, such as component fault trees, do not support such vertical layers. Therefore, we present here a methodology that is able to divide safety analysis models into different layers of a systems architecture. We use so called Architecture Layer Failure Dependencies to enable component fault trees on different layers of an architecture. These dependencies are then used to generate safety evidence for the entire system and over all different architecture layers. A case study applies the approach to hardware and software layers.


title: Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems

abstract: Various verification techniques for temporal properties transform temporal verification to safety verification. For infinite-state systems, these transformations are inherently imprecise. That is, for some instances, the temporal property holds, but the resulting safety property does not. This paper introduces a mechanism for tackling this imprecision. This mechanism, which we call temporal prophecy, is inspired by prophecy variables. Temporal prophecy refines an infinite-state system using first-order linear temporal logic formulas, via a suitable tableau construction. For a specific liveness-to-safety transformation based on first-order logic, we show that using temporal prophecy strictly increases the precision. Furthermore, temporal prophecy leads to robustness of the proof method, which is manifested by a cut elimination theorem. We integrate our approach into the Ivy deductive verification system, and show that it can handle challenging temporal verification examples.


abstract: In this paper, we propose Multiresolution Equivariant Graph Variational Autoencoders (MGVAE), the first hierarchical generative model to learn and generate graphs in a multiresolution and equivariant manner. At each resolution level, MGVAE employs higher order message passing to encode the graph while learning to partition it into mutually exclusive clusters and coarsening into a lower resolution that eventually creates a hierarchy of latent distributions. MGVAE then constructs a hierarchical generative model to variationally decode into a hierarchy of coarsened graphs. Importantly, our proposed framework is end-to-end permutation equivariant with respect to node ordering. MGVAE achieves competitive results with several generative tasks including general graph generation, molecular generation, unsupervised molecular representation learning to predict molecular properties, link prediction on citation graphs, and graph-based image generation.


title: On the arithmetic of monoids of ideals

abstract: We study the algebraic and arithmetic structure of monoids of invertible ideals (more precisely, of $r$-invertible $r$-ideals for certain ideal systems $r$) of Krull and weakly Krull Mori domains. We also investigate monoids of all nonzero ideals of polynomial rings with at least two indeterminates over noetherian domains. Among others, we show that they are not transfer Krull but they share several arithmetical phenomena with Krull monoids having infinite class group and prime divisors in all classes.


title: COM2SENSE: A Commonsense Reasoning Benchmark with Complementary Sentences

abstract: Commonsense reasoning is intuitive for humans but has been a long-term challenge for artificial intelligence (AI). Recent advancements in pretrained language models have shown promising results on several commonsense benchmark datasets. However, the reliability and comprehensiveness of these benchmarks towards assessing model's commonsense reasoning ability remains unclear. To this end, we introduce a new commonsense reasoning benchmark dataset comprising natural language true/false statements, with each sample paired with its complementary counterpart, resulting in 4k sentence pairs. We propose a pairwise accuracy metric to reliably measure an agent's ability to perform commonsense reasoning over a given situation. The dataset is crowdsourced and enhanced with an adversarial model-in-the-loop setup to incentivize challenging samples. To facilitate a systematic analysis of commonsense capabilities, we design our dataset along the dimensions of knowledge domains, reasoning scenarios and numeracy. Experimental results demonstrate that our strongest baseline (UnifiedQA-3B), after fine-tuning, achieves ~71% standard accuracy and ~51% pairwise accuracy, well below human performance (~95% for both metrics). The dataset is available at https://github.com/PlusLabNLP/Com2Sense.


title: Some examples of silted algebras of Dynkin type

abstract: This paper studies silted algebras, namely, endomorphism algebras of 2-term silting complexes, over path algebras of Dynkin quivers. We will describe an algorithm to produce all basic 2-term silting complexes over the path algebra of a Dynkin quiver, and use this algorithm to compute some examples.


title: The Self-energy of Nucleon for the Photon-proton Elastic Scattering and the Electromagnetic Polarizability

abstract: The effect of the self-energy on the photon-proton elastic scattering is investigated for the backward and the forward directions. The shape of the Thomson scattering at the photon energy $\omega \to 0$ is broken by taking into account the self-energy of proton. The electromagnetic polarizabilities $\bar{\alpha}\pm\bar{\beta}$ are calculated by the lowest-order perturbative treatment.


title: Predicting exoplanet mass from radius and incident flux: A Bayesian mixture model

abstract: The relationship between mass and radius (M-R relation) is the key for inferring the planetary compositions and thus valuable for the studies of formation and migration models. However, the M-R relation alone is not enough for planetary characterization due to the dependence of it on other confounding variables. This paper provides a non-trivial extension of the M-R relation by including the incident flux as an additional variable. By using Bayesian hierarchical modeling (BHM) that leverages the flexibility of finite mixture models, a probabilistic mass-radius-flux relationship (M-R-F relation) is obtained based on a sample of 319 exoplanets. We find that the flux has nonnegligible impact on the M-R relation, while such impact is strongest for hot-Jupiters. On the population level, the planets with higher level of flux tend to be denser, and high flux could trigger significant mass loss for plants with radii larger than $13R_{\oplus}$. As a result, failing to account for the flux in mass prediction would cause systematic over or under-estimation. With the recent advent of computing power, although a lot of complex statistical models can be fitted using Monte Carlo methods, it has largely remain illusive how to validate these complex models when the data are observed with large measurement errors. We present two novel methods to examine model assumptions, which can be used not only for the models we present in this paper but can also be adapted for other statistical models.


title: Momentum distribution of the Uniform Electron Gas at finite temperature: Effects of spin-polarization

abstract: We carry out extensive direct path integral Monte Carlo (PIMC) simulations of the uniform electron gas (UEG) at finite temperature for different values of the spin-polarization $\xi$. This allows us to unambiguously quantify the impact of spin-effects on the momentum distribution function $n(\mathbf{k})$ and related properties. We find that interesting physical effects like the interaction-induced increase in the occupation of the zero-momentum state $n(\mathbf{0})$ substantially depend on $\xi$. Our results further advance the current understanding of the UEG as a fundamental model system, and are of practical relevance for the description of transport properties of warm dense matter in an external magnetic field. All PIMC results are freely available online and can be used as a benchmark for the development of new methods and applications.


title: Meta model application for consistency management of models for avionic systems design

abstract: This paper presents the application of a meta model and single underlying model on an applied avionics system design use case. System models, safety assurance cases and safety requirements are maintained in a central repository. This enables to link these data which are originally developed in unrelated tools. By having such a central repository, traceability can be established, and consistency can be ensured, which leads to less errors and a shorter development time. A meta model was constructed which matches the central repository to enable bidirectional synchronization with an external authoring tool.


title: Weaker forms of unconditionality of bases in greedy approximation

abstract: In this paper we study a new class of bases, weaker than quasi-greedy bases, which retain their unconditionality properties and can provide the same optimality for the thresholding greedy algorithm. We measure how far these bases are from being unconditional and use this concept to give a new characterization of nearly unconditional bases.


title: Exploring Discourse Structures for Argument Impact Classification

abstract: Discourse relations among arguments reveal logical structures of a debate conversation. However, no prior work has explicitly studied how the sequence of discourse relations influence a claim's impact. This paper empirically shows that the discourse relations between two arguments along the context path are essential factors for identifying the persuasive power of an argument. We further propose DisCOC to inject and fuse the sentence-level structural discourse information with contextualized features derived from large-scale language models. Experimental results and extensive analysis show that the attention and gate mechanisms that explicitly model contexts and texts can indeed help the argument impact classification task defined by Durmus et al. (2019), and discourse structures among the context path of the claim to be classified can further boost the performance.


title: Complex Field Inflation

abstract: We report first study of complex field inflation. Although understood as a specific two-field inflation, a complex field inflation is able to make more robust model predictions on primordial curvature perturbation. Explicitly we discuss the model realizations of complex chaotic and exponential inflation in various large-field contexts. Both complex field models contain a single complex scalar together with only two free parameters. Using numerical handles aimed to calculate primordial curvature perturbation from multifield inflation, we show that both models are compatible with current Planck data, and the individual surviving parameter space can be substantially or fully probed by future CMB-S4 experiments.


title: A Span Extraction Approach for Information Extraction on Visually-Rich Documents

abstract: Information extraction (IE) for visually-rich documents (VRDs) has achieved SOTA performance recently thanks to the adaptation of Transformer-based language models, which shows the great potential of pre-training methods. In this paper, we present a new approach to improve the capability of language model pre-training on VRDs. Firstly, we introduce a new query-based IE model that employs span extraction instead of using the common sequence labeling approach. Secondly, to further extend the span extraction formulation, we propose a new training task that focuses on modelling the relationships among semantic entities within a document. This task enables target spans to be extracted recursively and can be used to pre-train the model or as an IE downstream task. Evaluation on three datasets of popular business documents (invoices, receipts) shows that our proposed method achieves significant improvements compared to existing models. The method also provides a mechanism for knowledge accumulation from multiple downstream IE tasks.


title: Magnetic Moments of Leptons, Charged Lepton Flavor Violations and Dark Matter Phenomenology of a Minimal Radiative Dirac Neutrino Mass Model

abstract: In a simple extension of the standard model (SM), a pair of vector like lepton doublets ($L_1$ and $L_2$) and a $SU(2)_L$ scalar doublet ($\eta$) have been introduced to help in accommodating the discrepancy in determination of the anomalous magnetic moments of the light leptons, namely, $e$ and $\mu$. Moreover, to make our scenario friendly to a Dirac like neutrino and also for a consistent dark matter phenomenology, we specifically add a singlet scalar ($S$) and a singlet fermion ($\psi$) in the set-up. However, the singlet states also induce a meaningful contribution in other charged lepton processes. A discrete symmetry $\mathcal {Z}_2 \times \mathcal {Z}_2^\prime$ has been imposed under which all the SM particles are even while the new particles may be assumed to have odd charges. In a bottom-up approach, with a minimal particle content, we systematically explore the available parameter space in terms of couplings and masses of the new particles. Here a number of observables associated with the SM leptons have been considered, e.g., masses and mixings of neutrinos, $(g-2)$ anomalies of $e$, $\mu$, charged lepton flavor violating (cLFV) observables and the dark matter (DM) phenomenology of a singlet-doublet dark matter. Neutrinos, promoted as the Dirac type states, acquire mass at one loop level after the discrete $\mathcal{Z}_2^\prime$ symmetry gets softly broken, while the unbroken $\mathcal{Z}_2$ keeps the dark matter stable. The mixing between the singlet $\psi$ and the doublet vector lepton can be constrained to satisfy the electroweak precision observables and the spin independent (SI) direct detection (DD) cross section of the dark matter. In this analysis, potentially important LHC bounds have also been discussed.


title: End-to-End Hierarchical Relation Extraction for Generic Form Understanding

abstract: Form understanding is a challenging problem which aims to recognize semantic entities from the input document and their hierarchical relations. Previous approaches face significant difficulty dealing with the complexity of the task, thus treat these objectives separately. To this end, we present a novel deep neural network to jointly perform both entity detection and link prediction in an end-to-end fashion. Our model extends the Multi-stage Attentional U-Net architecture with the Part-Intensity Fields and Part-Association Fields for link prediction, enriching the spatial information flow with the additional supervision from entity linking. We demonstrate the effectiveness of the model on the Form Understanding in Noisy Scanned Documents (FUNSD) dataset, where our method substantially outperforms the original model and state-of-the-art baselines in both Entity Labeling and Entity Linking task.


title: OxyJet: Design and Evaluation of A Low-Cost Precision Venturi Based Continuous Positive Airway Pressure (CPAP) System

abstract: The Covid-19 pandemic has strained the hospital systems in many countries in the world, especially in developing countries. In many low-resource hospitals, severely ill hypoxemic Covid-19 patients are treated with various forms of low-flow oxygen therapy (0-15 L/min), including interfaces such as a nasal cannula, Hudson mask, venturi-mask, and non-rebreather masks. When 15L/min of pure oxygen flow is not sufficient for the patient, treatment guidelines suggest non-invasive positive pressure ventilation (NIPPV) or high-flow nasal oxygenation (HFNO) as the next stage of treatment. However, administering HFNO in the general wards of a low-resource hospital is difficult due to several factors, including difficulty in operation, unavailability of electric power outlets, and frequent maintenance. Therefore, in many cases, the highest level of care a patient receives in the general ward is 15L/min of oxygen on a Non-Rebreather Mask. With a shortage of Intensive Care Unit (ICU) beds, this is a major problem since intermediate forms of treatments are simply not available at an affordable cost. To address this gap, we have developed a low-cost CPAP system specifically designed for low-resource hospitals. The device is a precision venturi-based flow-generator capable of providing up to 60L/min of flow. The device utilizes the mechanics of a jet pump driven by high-pressure oxygen to increase the volumetric flow rate by entraining atmospheric air. The fraction of inspired oxygen (FiO2) can be attained between 40 - 100% using a dual-flowmeter. Consisting of a traditional 22mm breathing circuit, a non-vented CPAP mask, and a Positive End-Expiratory Pressure (PEEP) valve, the CPAP can provide positive pressures between 5-20 cm H2O. The device is manufactured using local 3D printing and workshop facilities.


title: A monolithic one-velocity-field optimal control formulation for fluid-structure interaction problems with large solid deformation

abstract: In this article, we formulate a monolithic optimal control method for general time-dependent Fluid-Structure Interaction (FSI) systems with large solid deformation. We consider a displacement-tracking type of objective with a constraint of the solid velocity, tackle the time-dependent control problems by a piecewise-in-time control, cope with large solid displacement using a one-velocity fictitious domain method, and solve the fully-coupled FSI and the corresponding adjoint equations in a monolithic manner. We implement the proposed method in the open-source software package FreeFEM++ and assess it by three numerical experiments, in the aspects of stability of the numerical scheme for different regularisation parameters, and efficiency of reducing the objective function with control of the solid velocity.


title: Nuclear reaction measurements of 80.5 MeV/u 12C beam bombarding on C, W, Cu, Au, Pb targets

abstract: To get the energy spectrum distribution and cross-sections of emitted light charged particles and explore the nuclear reaction, a experiment of 80.5 MeV/u 12C beam bombarding on C, W, Cu, Au, Pb targets has been carried out at Institute of Modern Physics, Chinese Academy of Science. 30, 60 and 120 degree relative to the incident beam have been detected using three sets of telescope detectors. The results indicate that there is a tendency that heavier targets have larger double differential cross-sections and the emitted fragments are more likely to go forward. Besides, the decrease of cross-sections of fragments producing with the increasing emitted angles may follow some kind of pattern.


title: Few-Shot Partial-Label Learning

abstract: Partial-label learning (PLL) generally focuses on inducing a noise-tolerant multi-class classifier by training on overly-annotated samples, each of which is annotated with a set of labels, but only one is the valid label. A basic promise of existing PLL solutions is that there are sufficient partial-label (PL) samples for training. However, it is more common than not to have just few PL samples at hand when dealing with new tasks. Furthermore, existing few-shot learning algorithms assume precise labels of the support set; as such, irrelevant labels may seriously mislead the meta-learner and thus lead to a compromised performance. How to enable PLL under a few-shot learning setting is an important problem, but not yet well studied. In this paper, we introduce an approach called FsPLL (Few-shot PLL). FsPLL first performs adaptive distance metric learning by an embedding network and rectifying prototypes on the tasks previously encountered. Next, it calculates the prototype of each class of a new task in the embedding network. An unseen example can then be classified via its distance to each prototype. Experimental results on widely-used few-shot datasets (Omniglot and miniImageNet) demonstrate that our FsPLL can achieve a superior performance than the state-of-the-art methods across different settings, and it needs fewer samples for quickly adapting to new tasks.


title: Feedback Network for Mutually Boosted Stereo Image Super-Resolution and Disparity Estimation

abstract: Under stereo settings, the problem of image super-resolution (SR) and disparity estimation are interrelated that the result of each problem could help to solve the other. The effective exploitation of correspondence between different views facilitates the SR performance, while the high-resolution (HR) features with richer details benefit the correspondence estimation. According to this motivation, we propose a Stereo Super-Resolution and Disparity Estimation Feedback Network (SSRDE-FNet), which simultaneously handles the stereo image super-resolution and disparity estimation in a unified framework and interact them with each other to further improve their performance. Specifically, the SSRDE-FNet is composed of two dual recursive sub-networks for left and right views. Besides the cross-view information exploitation in the low-resolution (LR) space, HR representations produced by the SR process are utilized to perform HR disparity estimation with higher accuracy, through which the HR features can be aggregated to generate a finer SR result. Afterward, the proposed HR Disparity Information Feedback (HRDIF) mechanism delivers information carried by HR disparity back to previous layers to further refine the SR image reconstruction. Extensive experiments demonstrate the effectiveness and advancement of SSRDE-FNet.


title: On the Steklov spectrum of covering spaces and total spaces

abstract: We show the existence of a natural Dirichlet-to-Neumann map on Riemannian manifolds with boundary and bounded geometry, such that the bottom of the Dirichlet spectrum is positive. This map regarded as a densely defined operator in the $L^2$-space of the boundary admits Friedrichs extension. We focus on the spectrum of this operator on covering spaces and total spaces of Riemannian principal bundles over compact manifolds.


title: Exploiting potentialities for space-based quantum communication network: downlink quantum key distribution modelling and scheduling analysis

abstract: With the goal of a space-based quantum network is to have satellites distribute keys between any nodes on the ground, we consider an evolved quantum network from a near-term form, in which a space-based relay, satellite executes a sequence of satellite-based quantum key distribution (SatQKD) missions, allowing any two ground nodes to have a shared secure key. Accordingly, we develop a comprehensive framework for the dynamic simulation of SatQKD and consider scheduling QKD downlink in future space-based quantum communication network. The embedding of precise orbital model including beam diffractions and atmosphere effects makes our framework more realistic. Incorporated with the local meteorological data to channel loss model, the cloud cover contribution to transmission disturbance is quantified to realize a quasi-experimental scenario. We provide a trade-off consideration between the duration available for communications and its corresponding average link loss during one orbit, which could be used to support decisions involving the locations of ground stations and the selection of the orbital parameters for a quantum satellite. Our work also shows that satellite downlink schedule could allow for the possibility to consider strategies for different SatQKD missions such as extending connection for distant ground nodes, prioritized delivery, or promoting keys utilization, which can be used as a guideline to support decisions for future satellite application.


title: OctoPath: An OcTree Based Self-Supervised Learning Approach to Local Trajectory Planning for Mobile Robots

abstract: Autonomous mobile robots are usually faced with challenging situations when driving in complex environments. Namely, they have to recognize the static and dynamic obstacles, plan the driving path and execute their motion. For addressing the issue of perception and path planning, in this paper, we introduce OctoPath , which is an encoder-decoder deep neural network, trained in a self-supervised manner to predict the local optimal trajectory for the ego-vehicle. Using the discretization provided by a 3D octree environment model, our approach reformulates trajectory prediction as a classification problem with a configurable resolution. During training, OctoPath minimizes the error between the predicted and the manually driven trajectories in a given training dataset. This allows us to avoid the pitfall of regression-based trajectory estimation, in which there is an infinite state space for the output trajectory points. Environment sensing is performed using a 40-channel mechanical LiDAR sensor, fused with an inertial measurement unit and wheels odometry for state estimation. The experiments are performed both in simulation and real-life, using our own developed GridSim simulator and RovisLab's Autonomous Mobile Test Unit platform. We evaluate the predictions of OctoPath in different driving scenarios, both indoor and outdoor, while benchmarking our system against a baseline hybrid A-Star algorithm and a regression-based supervised learning method, as well as against a CNN learning-based optimal path planning method.


title: Automorphism groups of ind-varieties of generalized flags

abstract: We compute the group of automorphisms of an arbitrary ind-variety of (possibly isotropic) generalized flags. Such an ind-variety is a homogeneous ind-space for one of the ind-groups $SL(\infty)$, $O(\infty)$ or $Sp(\infty)$. We show that the respective automorphism groups are much larger than $SL(\infty)$, $O(\infty)$ or $Sp(\infty)$, and present the answer in terms of Mackey groups. The latter are groups of automorphisms of nondegenerate pairings of (in general infinite-dimensional) vector spaces. An explicit matrix form of the automorphism group of an arbitrary ind-variety of generalized flags is also given. The case of the Sato grassmannian is considered in detail, and its automorphism group is the projectivization of the connected component of unity in the group Japanese $GL(\infty)$.


title: Sequence to General Tree: Knowledge-Guided Geometry Word Problem Solving

abstract: With the recent advancements in deep learning, neural solvers have gained promising results in solving math word problems. However, these SOTA solvers only generate binary expression trees that contain basic arithmetic operators and do not explicitly use the math formulas. As a result, the expression trees they produce are lengthy and uninterpretable because they need to use multiple operators and constants to represent one single formula. In this paper, we propose sequence-to-general tree (S2G) that learns to generate interpretable and executable operation trees where the nodes can be formulas with an arbitrary number of arguments. With nodes now allowed to be formulas, S2G can learn to incorporate mathematical domain knowledge into problem-solving, making the results more interpretable. Experiments show that S2G can achieve a better performance against strong baselines on problems that require domain knowledge.


title: Time profile of temperature rise in assemblies of nanomagnets

abstract: We compute the heat generated by (non-interacting) nanomagnets subjected to an alternating magnetic field (AMF) and study its transfer to the hosting medium and environment. For the first task, we compute the heat generated by the nanomagnets (or the specific absorption rate) using the ac susceptibility in the linear regime. For the second task, the loss of heat to the environment is modeled with the help of a balance (macroscopic) equation based on Newton's law of cooling. This equation is solved both numerically and analytically for a generic ferrofluid and the analytical solution renders a very good approximation to the general balance equation. Then, we investigate the effects of AMF frequency and amplitude on the temperature elevation during its temporal evolution. Finally, using the available experimental data for maghemite and magnetite ferrofluids, we discuss the behavior of Newton's heat transfer coefficient in terms of the AMF amplitude and frequency. These results could trigger experimental investigations of this coefficient which characterizes the rate of heating in a ferrofluid, with the aim to build more refined models for the mechanisms of heat generation and its diffusion in ferrofluids used in magnetic hyperthermia.


title: NVC-Net: End-to-End Adversarial Voice Conversion

abstract: Voice conversion has gained increasing popularity in many applications of speech synthesis. The idea is to change the voice identity from one speaker into another while keeping the linguistic content unchanged. Many voice conversion approaches rely on the use of a vocoder to reconstruct the speech from acoustic features, and as a consequence, the speech quality heavily depends on such a vocoder. In this paper, we propose NVC-Net, an end-to-end adversarial network, which performs voice conversion directly on the raw audio waveform of arbitrary length. By disentangling the speaker identity from the speech content, NVC-Net is able to perform non-parallel traditional many-to-many voice conversion as well as zero-shot voice conversion from a short utterance of an unseen target speaker. Importantly, NVC-Net is non-autoregressive and fully convolutional, achieving fast inference. Our model is capable of producing samples at a rate of more than 3600 kHz on an NVIDIA V100 GPU, being orders of magnitude faster than state-of-the-art methods under the same hardware configurations. Objective and subjective evaluations on non-parallel many-to-many voice conversion tasks show that NVC-Net obtains competitive results with significantly fewer parameters.


title: On the Convergence Rate of Off-Policy Policy Optimization Methods with Density-Ratio Correction

abstract: In this paper, we study the convergence properties of off-policy policy improvement algorithms with state-action density ratio correction under function approximation setting, where the objective function is formulated as a max-max-min optimization problem. We characterize the bias of the learning objective and present two strategies with finite-time convergence guarantees. In our first strategy, we present algorithm P-SREDA with convergence rate $O(\epsilon^{-3})$, whose dependency on $\epsilon$ is optimal. In our second strategy, we propose a new off-policy actor-critic style algorithm named O-SPIM. We prove that O-SPIM converges to a stationary point with total complexity $O(\epsilon^{-4})$, which matches the convergence rate of some recent actor-critic algorithms in the on-policy setting.


title: Optoelectronic sampling of ultrafast electric transients with single quantum dots

abstract: In our work, we have engineered low capacitance single quantum dot photodiodes as sensor devices for the optoelectronic sampling of ultrafast electric signals. By the Stark effect, a time-dependent electric signal is converted into a time-dependent shift of the transition energy. This shift is measured accurately by resonant ps laser spectroscopy with photocurrent detection. In our experiments, we sample the laser synchronous output pulse of an ultrafast CMOS circuit with high resolution. With our quantum dot sensor device, we were able to sample transients below 20 ps with a voltage resolution in the mV-range.


title: Energy-Efficient Model Compression and Splitting for Collaborative Inference Over Time-Varying Channels

abstract: Today's intelligent applications can achieve high performance accuracy using machine learning (ML) techniques, such as deep neural networks (DNNs). Traditionally, in a remote DNN inference problem, an edge device transmits raw data to a remote node that performs the inference task. However, this may incur high transmission energy costs and puts data privacy at risk. In this paper, we propose a technique to reduce the total energy bill at the edge device by utilizing model compression and time-varying model split between the edge and remote nodes. The time-varying representation accounts for time-varying channels and can significantly reduce the total energy at the edge device while maintaining high accuracy (low loss). We implement our approach in an image classification task using the MNIST dataset, and the system environment is simulated as a trajectory navigation scenario to emulate different channel conditions. Numerical simulations show that our proposed solution results in minimal energy consumption and $CO_2$ emission compared to the considered baselines while exhibiting robust performance across different channel conditions and bandwidth regime choices.


title: Generalized Geographically Weighted Regression Model within a Modularized Bayesian Framework

abstract: Geographically weighted regression (GWR) models handle geographical dependence through a spatially varying coefficient model and have been widely used in applied science, but its general Bayesian extension is unclear because it involves a weighted log-likelihood which does not imply a probability distribution on data. We present a Bayesian GWR model and show that its essence is dealing with partial misspecification of the model. Current modularized Bayesian inference models accommodate partial misspecification from a single component of the model. We extend these models to handle partial misspecification in more than one component of the model, as required for our Bayesian GWR model. Information from the various spatial locations is manipulated via a geographically weighted kernel and the optimal manipulation is chosen according to a Kullback-Leibler (KL) divergence. We justify the model via an information risk minimization approach and show the consistency of the proposed estimator in terms of a geographically weighted KL divergence.


title: Tips and Tricks to Improve CNN-based Chest X-ray Diagnosis: A Survey

abstract: Convolutional Neural Networks (CNNs) intrinsically requires large-scale data whereas Chest X-Ray (CXR) images tend to be data/annotation-scarce, leading to over-fitting. Therefore, based on our development experience and related work, this paper thoroughly introduces tricks to improve generalization in the CXR diagnosis: how to (i) leverage additional data, (ii) augment/distillate data, (iii) regularize training, and (iv) conduct efficient segmentation. As a development example based on such optimization techniques, we also feature LPIXEL's CNN-based CXR solution, EIRL Chest Nodule, which improved radiologists/non-radiologists' nodule detection sensitivity by 0.100/0.131, respectively, while maintaining specificity.


title: A quantum route to the classical Lagrangian formalism

abstract: Using the recently developed groupoidal description of Schwinger's picture of Quantum Mechanics, a new approach to Dirac's fundamental question on the role of the Lagrangian in Quantum Mechanics is provided. It is shown that a function $\ell$ on the groupoid of configurations (or kinematical groupoid) of a quantum system determines a state on the von Neumann algebra of the histories of the system. This function, which we call {\itshape q-Lagrangian}, can be described in terms of a new function $\mathcal{L}$ on the Lie algebroid of the theory. When the kinematical groupoid is the pair groupoid of a smooth manifold $M$, the quadratic expansion of $\mathcal{L}$ will reproduce the standard Lagrangians on $TM$ used to describe the classical dynamics of particles.


title: Communication-Efficient Split Learning Based on Analog Communication and Over the Air Aggregation

abstract: Split-learning (SL) has recently gained popularity due to its inherent privacy-preserving capabilities and ability to enable collaborative inference for devices with limited computational power. Standard SL algorithms assume an ideal underlying digital communication system and ignore the problem of scarce communication bandwidth. However, for a large number of agents, limited bandwidth resources, and time-varying communication channels, the communication bandwidth can become the bottleneck. To address this challenge, in this work, we propose a novel SL framework to solve the remote inference problem that introduces an additional layer at the agent side and constrains the choices of the weights and the biases to ensure over the air aggregation. Hence, the proposed approach maintains constant communication cost with respect to the number of agents enabling remote inference under limited bandwidth. Numerical results show that our proposed algorithm significantly outperforms the digital implementation in terms of communication-efficiency, especially as the number of agents grows large.


title: Tangential Errors of Tensor Surface Finite Elements

abstract: We discretize a tangential tensor field equation using a surface-finite element approach with a penalization term to ensure almost tangentiality. It is natural to measure the quality of such a discretization intrinsically, i.e., to examine the tangential convergence behavior in contrast to the normal behavior. We show optimal order convergence with respect to the tangential quantities in particular for an isogeometric penalization term that is based only on the geometric information of the discrete surface.


title: Warming up recurrent neural networks to maximise reachable multistability greatly improves learning

abstract: Training recurrent neural networks is known to be difficult when time dependencies become long. In this work, we show that most standard cells only have one stable equilibrium at initialisation, and that learning on tasks with long time dependencies generally occurs once the number of network stable equilibria increases; a property known as multistability. Multistability is often not easily attained by initially monostable networks, making learning of long time dependencies between inputs and outputs difficult. This insight leads to the design of a novel way to initialise any recurrent cell connectivity through a procedure called "warmup" to improve its capability to learn arbitrarily long time dependencies. This initialisation procedure is designed to maximise network reachable multistability, i.e., the number of equilibria within the network that can be reached through relevant input trajectories, in few gradient steps. We show on several information restitution, sequence classification, and reinforcement learning benchmarks that warming up greatly improves learning speed and performance, for multiple recurrent cells, but sometimes impedes precision. We therefore introduce a double-layer architecture initialised with a partial warmup that is shown to greatly improve learning of long time dependencies while maintaining high levels of precision. This approach provides a general framework for improving learning abilities of any recurrent cell when long time dependencies are present. We also show empirically that other initialisation and pretraining procedures from the literature implicitly foster reachable multistability of recurrent cells.


title: A generalized approach to compensate for low and high frequency errors in FFT based phase screen simulations

abstract: Fast Fourier Transform based phase screen simulations give accurate results only when the screen size ($G$) is much larger than the outer scale parameter ($L_0$). Otherwise, they fall short in correctly predicting both the low and high frequency behaviours of turbulence induced phase distortions. Sub-harmonic compensation is a commonly used technique that aids in low-frequency correction but does not solve the problem for all values of screen size to outer scale parameter ratios $(G/L_0$). A subharmonics based approach will lead to unequal sampling or weights calculation for subharmonics addition at the low-frequency range and patch normalization factor. We have modified the subharmonics based approach by introducing a Gaussian phase autocorrelation matrix that compensates for these shortfalls. We show that the maximum relative error in structure function with respect to theoretical value is as small as 0.5-3% for $(G/L_0$) ratio of 1/1000 even for screen sizes up to 100 m diameter.


title: A velocity alignment model on quotient spaces of the Euclidean space

abstract: The Cucker-Smale(CS) model is a velocity alignment model, and this model also has been generalized on general manifolds. We modify the CS model on manifolds to get rid of a-priori condition on particles' positions and conditions on communication functions. Since the shortest geodesic is used to define an interaction between two particles, if there exist two or more than two shortest geodesics, then the system is not well-defined. In this paper, instead of using the shortest geodesic to define an interaction between two particles, we use all geodesics to define an interaction. From this assumption, we can relax the a-priori condition and conditions on communication functions. We also explain the relationship between the suggested model and previous models. Finally, we provide some emergent behaviors on some specific manifolds(e.g. flat torus, flat M\"{o}bius strip, and flat Klein bottle). From these results, we can discuss the effect of the topology of the domain.


title: Semiparametric tail-index estimation for randomly right-truncated heavy-tailed data

abstract: It was shown that when one disposes of a parametric information of the truncation distribution, the semiparametric estimator of the distribution function for truncated data (Wang, 1989) is more efficient than the nonparametric one. On the basis of this estimation method, we derive an estimator for the tail index of Pareto-type distributions that are randomly right-truncated and establish its consistency and asymptotic normality. The finite sample behavior of the proposed estimator is carried out by simulation study. We point out that, in terms of both bias and root of the mean squared error, our estimator performs better than those based on nonparametric estimation methods. An application to a real dataset of induction times of AIDS diseases is given as well.


title: The asymptotic number of lattice zonotopes in a hypercube

abstract: We provide a sharp estimate for the asymptotic number of lattice zonotopes, inscribed in $[0,n ]^d$ when $n$ tends to infinity. Our estimate refines the logarithmic equivalent established by Barany, Bureaux, and Lund when the sum of the generators of the zonotope is prescribed. As we shall see, the exponential part of our estimate is composed of a polynomial of degree $d$ in $n^{1/(d+1)}$, and involves Riemann's zeta function and its non-trivial zeros. %Our analysis is based on a mapping between sums of coprime numbers and Eulerian polynomials. We also analyze some combinatorial properties of lattice zonotopes. In particular, we provide the first moment of the polyhedral graph asymptotic diameter when $n$ goes to infinity.


title: SocAoG: Incremental Graph Parsing for Social Relation Inference in Dialogues

abstract: Inferring social relations from dialogues is vital for building emotionally intelligent robots to interpret human language better and act accordingly. We model the social network as an And-or Graph, named SocAoG, for the consistency of relations among a group and leveraging attributes as inference cues. Moreover, we formulate a sequential structure prediction task, and propose an $\alpha$-$\beta$-$\gamma$ strategy to incrementally parse SocAoG for the dynamic inference upon any incoming utterance: (i) an $\alpha$ process predicting attributes and relations conditioned on the semantics of dialogues, (ii) a $\beta$ process updating the social relations based on related attributes, and (iii) a $\gamma$ process updating individual's attributes based on interpersonal social relations. Empirical results on DialogRE and MovieGraph show that our model infers social relations more accurately than the state-of-the-art methods. Moreover, the ablation study shows the three processes complement each other, and the case study demonstrates the dynamic relational inference.


title: First order superconducting phase transition in chiral $p+ip$ system

abstract: We use large-scale Monte Carlo computations to study the phase transitions of a two-component chiral p-wave superconductor in zero external magnetic field. We find a first order phase transition from the normal state to a chiral superconducting state, due to interplay between vortices and domain walls.


title: Convergence and Complexity of an Adaptive Planewave Method for Eigenvalue Computations

abstract: In this paper, we study the adaptive planewave discretization for a cluster of eigenvalues of second-order elliptic partial differential equations. We first design an a posteriori error estimator and prove both the upper and lower bounds. Based on the a posteriori error estimator, we propose an adaptive planewave method. We then prove that the adaptive planewave approximations have the linear convergence rate and quasi-optimal complexity.


title: FedHealth 2: Weighted Federated Transfer Learning via Batch Normalization for Personalized Healthcare

abstract: The success of machine learning applications often needs a large quantity of data. Recently, federated learning (FL) is attracting increasing attention due to the demand for data privacy and security, especially in the medical field. However, the performance of existing FL approaches often deteriorates when there exist domain shifts among clients, and few previous works focus on personalization in healthcare. In this article, we propose FedHealth 2, an extension of FedHealth \cite{chen2020fedhealth} to tackle domain shifts and get personalized models for local clients. FedHealth 2 obtains the client similarities via a pretrained model, and then it averages all weighted models with preserving local batch normalization. Wearable activity recognition and COVID-19 auxiliary diagnosis experiments have evaluated that FedHealth 2 can achieve better accuracy (10%+ improvement for activity recognition) and personalized healthcare without compromising privacy and security.


title: The Cahn-Hilliard equation with forward-backward dynamic boundary condition via vanishing viscosity

abstract: An asymptotic analysis for a system with equation and dynamic boundary condition of Cahn-Hilliard type is carried out as the coefficient of the surface diffusion acting on the phase variable tends to 0, thus obtaining a forward-backward dynamic boundary condition at the limit. This is done in a very general setting, with nonlinear terms admitting maximal monotone graphs both in the bulk and on the boundary. The two graphs are related by a growth condition, with the boundary graph that dominates the other one. It turns out that in the limiting procedure the solution of the problem looses some regularity and the limit equation has to be properly interpreted in the sense of a subdifferential inclusion. However, the limit problem is still well-posed since a continuous dependence estimate can be proved. Moreover, in the case when the two graphs exhibit the same growth, it is shown that the solution enjoys more regularity and the boundary condition holds almost everywhere. An error estimate can also be shown, for a suitable order of the diffusion parameter.


title: Refinement of Direction of Arrival Estimators by Majorization-Minimization Optimization on the Array Manifold

abstract: We propose a generalized formulation of direction of arrival estimation that includes many existing methods such as steered response power, subspace, coherent and incoherent, as well as speech sparsity-based methods. Unlike most conventional methods that rely exclusively on grid search, we introduce a continuous optimization algorithm to refine DOA estimates beyond the resolution of the initial grid. The algorithm is derived from the majorization-minimization (MM) technique. We derive two surrogate functions, one quadratic and one linear. Both lead to efficient iterative algorithms that do not require hyperparameters, such as step size, and ensure that the DOA estimates never leave the array manifold, without the need for a projection step. In numerical experiments, we show that the accuracy after a few iterations of the MM algorithm nearly removes dependency on the resolution of the initial grid used. We find that the quadratic surrogate function leads to very fast convergence, but the simplicity of the linear algorithm is very attractive, and the performance gap small.


title: Photon decay in UHE air showers: stringent bound on Lorentz violation

abstract: In extensive air showers induced by ultra-high-energy (UHE) cosmic rays, secondary photons are expected to be produced at energies far above those accessible by other means. It has been shown that the decay of such photons, as possible in certain theories allowing Lorentz violation, can lead to significant changes of the shower development. Based on observations of the average depth of the shower maximum $\left<X_\text{max}\right>$, a stringent bound on Lorentz violation has been placed in a previous work. Here we include the shower-to-shower fluctuations $\sigma(X_\text{max})$ as an additional observable. The combined comparison of $\left<X_\text{max}\right>$ and $\sigma(X_\text{max})$ to shower observations allows a much stricter test of the possible decay of UHE photons, improving the previous bound by a factor of 50.


title: Debate on Online Social Networks at the Time of COVID-19: An Italian Case Study

abstract: The COVID-19 pandemic is not only having a heavy impact on healthcare but also changing people's habits and the society we live in. Countries such as Italy have enforced a total lockdown lasting several months, with most of the population forced to remain at home. During this time, online social networks, more than ever, have represented an alternative solution for social life, allowing users to interact and debate with each other. Hence, it is of paramount importance to understand the changing use of social networks brought about by the pandemic. In this paper, we analyze how the interaction patterns around popular influencers in Italy changed during the first six months of 2020, within Instagram and Facebook social networks. We collected a large dataset for this group of public figures, including more than 54 million comments on over 140 thousand posts for these months. We analyze and compare engagement on the posts of these influencers and provide quantitative figures for aggregated user activity. We further show the changes in the patterns of usage before and during the lockdown, which demonstrated a growth of activity and sizable daily and weekly variations. We also analyze the user sentiment through the psycholinguistic properties of comments, and the results testified the rapid boom and disappearance of topics related to the pandemic. To support further analyses, we release the anonymized dataset.


title: Geometry adaptation of protrusion and polarity dynamics in confined cell migration

abstract: Cell migration in confining physiological environments relies on the concerted dynamics of several cellular components, including protrusions, adhesions with the environment, and the cell nucleus. However, it remains poorly understood how the dynamic interplay of these components and the cell polarity determine the emergent migration behavior at the cellular scale. Here, we combine data-driven inference with a mechanistic bottom-up approach to develop a model for protrusion and polarity dynamics in confined cell migration, revealing how the cellular dynamics adapt to confining geometries. Specifically, we use experimental data of joint protrusion-nucleus migration trajectories of cells on confining micropatterns to systematically determine a mechanistic model linking the stochastic dynamics of cell polarity, protrusions, and nucleus. This model indicates that the cellular dynamics adapt to confining constrictions through a switch in the polarity dynamics from a negative to a positive, self-reinforcing feedback loop. Our model further reveals how this feedback loop leads to stereotypical cycles of protrusion-nucleus dynamics that drive the migration of the cell through constrictions. These cycles are disrupted upon perturbation of cytoskeletal components, indicating that the positive feedback is controlled by cellular migration mechanisms. Our data-driven theoretical approach therefore identifies polarity feedback adaptation as a key mechanism in confined cell migration.


title: A thermodynamic approach to the T-models

abstract: The perfect fluid solutions admitting a group G$_3$ of isometries acting on orbits S$_2$ whose curvature has a gradient which is tangent to the fluid flow (T-models) are studied from a thermodynamic approach. All the admissible thermodynamic schemes are obtained, and the solutions compatible with the generic ideal gas equation of state are studied in detail. The possible physical interpretation of some previously known T-models is also analyzed.


title: Deep Reinforcement Learning-based UAV Navigation and Control: A Soft Actor-Critic with Hindsight Experience Replay Approach

abstract: In this paper, we propose SACHER (soft actor-critic (SAC) with hindsight experience replay (HER)), which constitutes a class of deep reinforcement learning (DRL) algorithms. SAC is known as an off-policy model-free DRL algorithm based on the maximum entropy framework, which outperforms earlier DRL algorithms in terms of exploration, robustness and learning performance. However, in SAC, maximizing the entropy-augmented objective may degrade the optimality of learning outcomes. HER is known as a sample-efficient replay method that enhances the performance of off-policy DRL algorithms by allowing the agent to learn from both failures and successes. We apply HER to SAC and propose SACHER to improve the learning performance of SAC. More precisely, SACHER achieves the desired optimal outcomes faster and more accurately than SAC, since HER improves the sample efficiency of SAC. We apply SACHER to the navigation and control problem of unmanned aerial vehicles (UAVs), where SACHER generates the optimal navigation path of the UAV under various obstacles in operation. Specifically, we show the effectiveness of SACHER in terms of the tracking error and cumulative reward in UAV operation by comparing them with those of state-of-the-art DRL algorithms, SAC and DDPG. Note that SACHER in UAV navigation and control problems can be applied to arbitrary models of UAVs.


title: Multiple quantum NMR in solids as a method of determination of Wigner-Yanase skew information

abstract: A connection of the Wigner-Yanase skew information and multiple quantum (MQ) NMR coherences is considered at different temperatures and evolution times of nuclear spins with dipole-dipole interactions in MQ NMR experiments in solids. It is shown that the Wigner-Yanase skew information at temperature $T$ is equal to the double second moment of the MQ NMR spectrum at the double temperature for any evolution times. A comparison of the many-spin entanglement obtained with the Wigner-Yanase information and the Fisher information is conducted.


title: Sampling trajectories for the short-time Fourier transform

abstract: We study the problem of stable reconstruction of the short-time Fourier transform from samples taken from trajectories in $\R^2$. We first consider the interplay between relative density of the trajectory and the reconstruction property. Later, we consider spiraling curves, a special class of trajectories, and connect sampling and uniqueness properties of these sets. Moreover, we show that for window functions given by a linear combination of Hermite functions, it is indeed possible to stably reconstruct from samples on some particular natural choices of spiraling curves.


title: Simple Economies are Almost Optimal

abstract: Consider a seller that intends to auction some item. The seller can invest money and effort in advertising in different market segments in order to recruit $n$ bidders to the auction. Alternatively, the seller can have a much cheaper and focused marketing operation and recruit the same number of bidders from a single market segment. Which marketing operation should the seller choose? More formally, let $D=\{\mathcal D_1,\ldots, \mathcal D_n\}$ be a set of distributions. Our main result shows that there is always $\mathcal D_i\in D$ such that the revenue that can be extracted from $n$ bidders, where the value of each is independently drawn from $\mathcal D_i$, is at least $\frac 1 2 \cdot (1-\frac 1 e)$ of the revenue that can be obtained by any possible mix of bidders, where the value of each bidder is drawn from some (possibly different) distribution that belongs to $D$. We next consider situations in which the auctioneer cannot use the optimal auction and is required to use a second price auction. We show that there is always $\mathcal D_i\in D$ such that if the value of all bidders is independently drawn from $\mathcal D_i$ then running a second price auction guarantees a constant fraction of the revenue that can be obtained by a second-price auction by any possible mix of bidders. Finally, we show that for any $\varepsilon>0$ there exists a function $f$ that depends only on $\varepsilon$ (in particular, the function does not depend on $n$ or on the set $D$), such that recruiting $n$ bidders which have at most $f(\varepsilon)$ different distributions, all from $D$, guarantees $(1-\varepsilon)$-fraction of the revenue that can be obtained by a second-price auction by any possible mix of bidders.


title: The rational torsion subgroup of $J_0(N)$

abstract: Let $N$ be a positive integer and let $J_0(N)$ be the Jacobian variety of the modular curve $X_0(N)$. For any prime $p\ge 5$ whose square does not divide $N$, we prove that the $p$-primary subgroup of the rational torsion subgroup of $J_0(N)$ is equal to that of the rational cuspidal divisor class group of $X_0(N)$, which is explicitly computed in \cite{Yoo9}. Also, we prove the same assertion holds for $p=3$ under the extra assumption that either $N$ is not divisible by $3$ or there is a prime divisor of $N$ congruent to $-1$ modulo $3$.


title: Decision-making Oriented Clustering: Application to Pricing and Power Consumption Scheduling

abstract: Data clustering is an instrumental tool in the area of energy resource management. One problem with conventional clustering is that it does not take the final use of the clustered data into account, which may lead to a very suboptimal use of energy or computational resources. When clustered data are used by a decision-making entity, it turns out that significant gains can be obtained by tailoring the clustering scheme to the final task performed by the decision-making entity. The key to having good final performance is to automatically extract the important attributes of the data space that are inherently relevant to the subsequent decision-making entity, and partition the data space based on these attributes instead of partitioning the data space based on predefined conventional metrics. For this purpose, we formulate the framework of decision-making oriented clustering and propose an algorithm providing a decision-based partition of the data space and good representative decisions. By applying this novel framework and algorithm to a typical problem of real-time pricing and that of power consumption scheduling, we obtain several insightful analytical results such as the expression of the best representative price profiles for real-time pricing and a very significant reduction in terms of required clusters to perform power consumption scheduling as shown by our simulations.


title: A mechanism for evolution of the physical concepts network

abstract: We suggest an underlying mechanism that governs the growth of a network of concepts, a complex network that reflects the connections between different scientific concepts based on their co-occurrences in publications. To this end, we perform empirical analysis of a network of concepts based on the preprints in physics submitted to the arXiv.org. We calculate the network characteristics and show that they cannot follow as a result of several simple commonly used network growth models. In turn, we suggest that a simultaneous account of two factors, i.e., growth by blocks and preferential selection, gives an explanation of empirically observed properties of the concepts network. Moreover, the observed structure emerges as a synergistic effect of these both factors: each of them alone does not lead to a satisfactory picture.


title: One Teacher is Enough? Pre-trained Language Model Distillation from Multiple Teachers

abstract: Pre-trained language models (PLMs) achieve great success in NLP. However, their huge model sizes hinder their applications in many practical systems. Knowledge distillation is a popular technique to compress PLMs, which learns a small student model from a large teacher PLM. However, the knowledge learned from a single teacher may be limited and even biased, resulting in low-quality student model. In this paper, we propose a multi-teacher knowledge distillation framework named MT-BERT for pre-trained language model compression, which can train high-quality student model from multiple teacher PLMs. In MT-BERT we design a multi-teacher co-finetuning method to jointly finetune multiple teacher PLMs in downstream tasks with shared pooling and prediction layers to align their output space for better collaborative teaching. In addition, we propose a multi-teacher hidden loss and a multi-teacher distillation loss to transfer the useful knowledge in both hidden states and soft labels from multiple teacher PLMs to the student model. Experiments on three benchmark datasets validate the effectiveness of MT-BERT in compressing PLMs.


title: Why Machine Reading Comprehension Models Learn Shortcuts?

abstract: Recent studies report that many machine reading comprehension (MRC) models can perform closely to or even better than humans on benchmark datasets. However, existing works indicate that many MRC models may learn shortcuts to outwit these benchmarks, but the performance is unsatisfactory in real-world applications. In this work, we attempt to explore, instead of the expected comprehension skills, why these models learn the shortcuts. Based on the observation that a large portion of questions in current datasets have shortcut solutions, we argue that larger proportion of shortcut questions in training data make models rely on shortcut tricks excessively. To investigate this hypothesis, we carefully design two synthetic datasets with annotations that indicate whether a question can be answered using shortcut solutions. We further propose two new methods to quantitatively analyze the learning difficulty regarding shortcut and challenging questions, and revealing the inherent learning mechanism behind the different performance between the two kinds of questions. A thorough empirical analysis shows that MRC models tend to learn shortcut questions earlier than challenging questions, and the high proportions of shortcut questions in training sets hinder models from exploring the sophisticated reasoning skills in the later stage of training.


title: Asymptotic Performance of TDOA Estimation using Satellites

abstract: We present novel lower bounds on the localization error using a network of satellites randomly deployed on a sphere around Earth. Our new analysis approach characterizes the localization performance by its asymptotic behavior as the number of satellites gets large while assuming a dense network. Using the law of large numbers, we derive closed-form expressions for the asymptotic Cramer Rao bound (CRB) from which we draw valuable insights. The resulting expressions depend solely on the network statistics and are not a function of a particular network configuration. We consider two types of estimators. The first uses the exact statistical model, and hence employs both timing and amplitude information. The second estimator ignores the amplitudes and hence uses only time difference of arrival (TDOA) information. The asymptotic CRB indicates that for practical system setup, a TDOA estimator approaches the performance of the ideal estimator. For both estimators, the localization accuracy improves as satellites get closer to Earth. The latter finding is essential in light of the proliferation of low-Earth-orbit (LEO) satellites and motivates a further study of localization-performance in such networks. Besides, we show that the vertical localization accuracy is lower than the horizontal accuracy and is also more sensitive to the receiver field-of-view.


title: Ultrafast demagnetization in NiCo2O4 thin films probed by time-resolved microscopy

abstract: Using a time-resolved magneto-optical Kerr effect (TR-MOKE) microscope, we observed ultrafast demagnetization of inverse-spinel-type NiCo2O4 (NCO) epitaxial thin films of the inverse spinel type ferrimagnet NCO with perpendicular magnetic anisotropy. This microscope uses a pump-probe method, where the sample is pumped at 1030 nm, and magnetic domain images are acquired via MOKE microscopy at 515 nm (the second harmonic). We successfully observed the dynamics of the magnetic domain of the NCO thin film via laser irradiation, and obtained a demagnetization time constant of approximately 0.4 ps. This time constant was significantly smaller than the large time constants reported for other half-metallic oxides. These results, combined with the results of our x-ray photoemission spectroscopy study, indicate that this NCO thin film is a ferrimagnetic metal whose electronic structure deviates from the theoretically predicted half-metallic one.