title: Trust and Safety

abstract: Robotics in Australia have a long history of conforming with safety standards and risk managed practices. This chapter articulates the current state of trust and safety in robotics including society's expectations, safety management systems and system safety as well as emerging issues and methods for ensuring safety in increasingly autonomous robotics. The future of trust and safety will combine standards with iterative, adaptive and responsive regulatory and assurance methods for diverse applications of robotics, autonomous systems and artificial intelligence (RAS-AI). Robotics will need novel technical and social approaches to achieve assurance, particularly for game-changing innovations. The ability for users to easily update algorithms and software, which alters the performance of a system, implies that traditional machine assurance performed prior to deployment or sale, will no longer be viable. Moreover, the high frequency of updates implies that traditional certification that requires substantial time will no longer be practical. To alleviate these difficulties, automation of assurance will likely be needed; something like 'ASsurance-as-a-Service' (ASaaS), where APIs constantly ping RAS-AI to ensure abidance with various rules, frameworks and behavioural expectations. There are exceptions to this, such as in contested or communications denied environments, or in underground or undersea mining; and these systems need their own risk assessments and limitations imposed. Indeed, self-monitors are already operating within some systems. To ensure safe operations of future robotics systems, Australia needs to invest in RAS-AI assurance research, stakeholder engagement and continued development and refinement of robust frameworks, methods, guidelines and policy in order to educate and prepare its technology developers, certifiers, and general population.


title: Don't Give Up on Large Optimization Problems; POP Them!

abstract: Resource allocation problems in many computer systems can be formulated as mathematical optimization problems. However, finding exact solutions to these problems using off-the-shelf solvers in an online setting is often intractable for "hyper-scale" system sizes with tight SLAs, leading system designers to rely on cheap, heuristic algorithms. In this work, we explore an alternative approach that reuses the original optimization problem formulation. By splitting the original problem into smaller, more tractable problems for subsets of the system and then coalescing resulting sub-allocations into a global solution, we achieve empirically quasi-optimal (within 1.5%) performance for multiple domains with several orders-of-magnitude improvement in runtime. Deciding how to split a large problem into smaller sub-problems, and how to coalesce split allocations into a unified allocation, needs to be performed carefully in a domain-aware way. We show common principles for splitting problems effectively across a variety of tasks, including cluster scheduling, traffic engineering, and load balancing.


title: Star Formation Histories from SEDs and CMDs Agree: Evidence for Synchronized Star Formation in Local Volume Dwarf Galaxies over the Past 3 Gyr

abstract: Star Formation Histories (SFHs) reveal physical processes that influence how galaxies form their stellar mass. We compare the SFHs of a sample of 36 nearby (D $\leq$ 4 Mpc) dwarf galaxies from the ACS Nearby Galaxy Survey Treasury (ANGST), inferred from the Color Magnitude Diagrams (CMDs) of individually resolved stars in these galaxies, with those reconstructed by broad-band Spectral Energy Distribution (SED) fitting using the Dense Basis SED fitting code. When comparing individual SFHs, we introduce metrics for evaluating SFH reconstruction techniques. For both the SED and CMD methods, the median normalized SFH of galaxies in the sample shows a period of quiescence at lookback times of 3-6 Gyr followed by rejuvenated star formation over the past 3 Gyr that remains active until the present day. To determine if these represent special epochs of star formation in the D $\leq$ 4 Mpc portion of the Local Volume, we break this ANGST dwarf galaxy sample into subsets based on specific star formation rate and spatial location. Modulo offsets between the methods of about 1 Gyr, all subsets show significant decreases and increases in their median normalized SFHs at the same epochs, and the majority of the individual galaxy SFHs are consistent with these trends. These results motivate further study of potential synchronized star formation quiescence and rejuvenation in the Local Volume as well as development of a hybrid method of SFH reconstruction that combines CMDs and SEDs, which have complementary systematics.


title: A First Look at Scams on YouTube

abstract: YouTube has become the second most popular website according to Alexa, and it represents an enticing platform for scammers to attract victims. Because of the computational difficulty of classifying multimedia, identifying scams on YouTube is more difficult than text-based media. As a consequence, the research community to-date has provided little insight into the prevalence, lifetime, and operational patterns of scammers on YouTube. In this short paper, we present a preliminary exploration of scam videos on YouTube. We begin by identifying 74 search queries likely to lead to scam videos based on the authors' experience seeing scams during routine browsing. We then manually review and characterize the results to identify 668 scams in 3,700 videos. In a detailed analysis of our classifications and metadata, we find that these scam videos have a median lifetime of nearly nine months, and many rely on external websites for monetization. We also explore the potential of detecting scams from metadata alone, finding that metadata does not have enough predictive power to distinguish scams from legitimate videos. Our work demonstrates that scams are a real problem for YouTube users, motivating future work on this topic.


title: Categorical non-properness in wrapped Floer theory

abstract: In all known explicit computations on Weinstein manifolds, the self-wrapped Floer homology of non-compact exact Lagrangian is always either infinite-dimensional or zero. We show that a global variant of this observed phenomenon holds in broad generality: the wrapped Fukaya category of any positive-dimensional Weinstein (or non-degenerate Liouville) manifold is always either non-proper or zero, as is any quotient thereof. Moreover any non-compact connected exact Lagrangian is always either a "(both left and right) non-proper object" or zero in such a wrapped Fukaya category, as is any idempotent summand thereof. We also examine criteria under which the argument persists or breaks if one drops exactness, which is consistent with known computations of non-exact wrapped Fukaya categories which are smooth, proper, and non-vanishing (e.g., work of Ritter-Smith).


title: Comparison and Analysis of Deep Audio Embeddings for Music Emotion Recognition

abstract: Emotion is a complicated notion present in music that is hard to capture even with fine-tuned feature engineering. In this paper, we investigate the utility of state-of-the-art pre-trained deep audio embedding methods to be used in the Music Emotion Recognition (MER) task. Deep audio embedding methods allow us to efficiently capture the high dimensional features into a compact representation. We implement several multi-class classifiers with deep audio embeddings to predict emotion semantics in music. We investigate the effectiveness of L3-Net and VGGish deep audio embedding methods for music emotion inference over four music datasets. The experiments with several classifiers on the task show that the deep audio embedding solutions can improve the performances of the previous baseline MER models. We conclude that deep audio embeddings represent musical emotion semantics for the MER task without expert human engineering.


title: Theory of spin-Hall magnetoresistance in the AC (terahertz) regime

abstract: In bilayers consisting of a normal metal (N) with spin-orbit coupling and a ferromagnet (F), the combination of the spin-Hall effect, the spin-transfer torque, and the inverse spin-Hall effect gives a small correction to the in-plane conductivity of N, which is referred to as spin-Hall magnetoresistance (SMR). We here present a theory of the SMR and the associated off-diagonal conductivity corrections for frequencies up to the terahertz regime. We show that the SMR signal has pronounced singularities at the spin-wave frequencies of F, which identifies it as a potential tool for all-electric spectroscopy of magnon modes. A systematic change of the magnitude of the SMR at lower frequencies is associated with the onset of a longitudinal magnonic contribution to spin transport across the F-N interface.


title: An application of neighbourhoods in digraphs to the classification of binary dynamics

abstract: A binary state on a graph means an assignment of binary values to its vertices. For example, if one encodes a network of spiking neurons as a directed graph, then the spikes produced by the neurons at an instant of time is a binary state on the encoding graph. Allowing time to vary and recording the spiking patterns of the neurons in the network produces an example of binary dynamics on the encoding graph, namely a one-parameter family of binary states on it. The central object of study in this article is the closed neighbourhood of a vertex $v$ in a graph $\mathcal{G}$, namely the subgraph of $\mathcal{G}$ that is induced by $v$ and all its neighbours in $\mathcal{G}$. We present a topological/graph theoretic method for extracting information out of binary dynamics on a graph, based on a selection of a relatively small number of vertices and their neighbourhoods. As a test case we demonstrate an application of the method to binary dynamics that arises from sample activity on the Blue Brain Project reconstruction of cortical tissue of a rat.


title: Multiple ferroelectric nematic phases of a highly polar liquid crystal compound

abstract: Ferroelectric nematic liquid crystals represent not only interesting fundamental science, but they also hold promise for storage capacitors with high power density or new information display technology having sub-millisecond switching. In this work we describe the synthesis and measurements of the physical properties of a new highly polar ferroelectric nematic compound, 4-nitrophenyl 4-[(2,4-dimethoxylbenzoyl)oxy]-2-fluorobenzoate (RT11001). The dipole moment of this material (along the long molecular axis) is calculated to exceed 11.5 Debye. We employ a wide range of physical characterization methods including differential scanning calorimetry (DSC), mass density measurement, optical birefringence, polarizing optical microscopy (POM), electric current analysis, and electro-optical switching, to show that RT11001 has three distinct ferroelectric states, F1, F2 and F3. F1 is purely orientationally ordered ferroelectric nematic phase (NF), F2 has a ferroelectric nematic with possibly short-range hexagonal order normal to the director (NhF), and we conjecture that F3 has a long-range hexagonal order normal to the director (ColhF).


title: TAAC: Temporally Abstract Actor-Critic for Continuous Control

abstract: We present temporally abstract actor-critic (TAAC), a simple but effective off-policy RL algorithm that incorporates closed-loop temporal abstraction into the actor-critic framework. TAAC adds a second-stage binary policy to choose between the previous action and a new action output by an actor. Crucially, its "act-or-repeat" decision hinges on the actually sampled action instead of the expected behavior of the actor. This post-acting switching scheme let the overall policy make more informed decisions. TAAC has two important features: a) persistent exploration, and b) a new compare-through Q operator for multi-step TD backup, specially tailored to the action repetition scenario. We demonstrate TAAC's advantages over several strong baselines across 14 continuous control tasks. Our surprising finding reveals that while achieving top performance, TAAC is able to "mine" a significant number of repeated actions with the trained policy even on continuous tasks whose problem structures on the surface seem to repel action repetition. This suggests that aside from encouraging persistent exploration, action repetition can find its place in a good policy behavior. Code is available at https://github.com/hnyu/taac.


title: Boosting quantum battery performance by structure engineering

abstract: Quantum coherences, correlations and collective effects can be harnessed to the advantage of quantum batteries. Here, we introduce a feasible structure engineering scheme that is applicable to spin-based open quantum batteries. Our scheme, which builds solely upon a modulation of spin energy gaps, allows engineered quantum batteries to exploit spin-spin correlations for mitigating environment-induced aging. As a result of this advantage, an engineered quantum battery can preserve relatively more energy as compared with its non-engineered counterpart over the course of the storage phase. Particularly, the excess in stored energy is independent of system size. This implies a scale-invariant passive protection strategy, which we demonstrate on an engineered quantum battery with staggered spin energy gaps. Our findings establish structure engineering as a useful route for advancing quantum batteries, and bring new perspectives on efficient quantum battery designs.


title: A Review of Anonymization for Healthcare Data

abstract: Mining health data can lead to faster medical decisions, improvement in the quality of treatment, disease prevention, reduced cost, and it drives innovative solutions within the healthcare sector. However, health data is highly sensitive and subject to regulations such as the General Data Protection Regulation (GDPR), which aims to ensure patient's privacy. Anonymization or removal of patient identifiable information, though the most conventional way, is the first important step to adhere to the regulations and incorporate privacy concerns. In this paper, we review the existing anonymization techniques and their applicability to various types (relational and graph-based) of health data. Besides, we provide an overview of possible attacks on anonymized data. We illustrate via a reconstruction attack that anonymization though necessary, is not sufficient to address patient privacy and discuss methods for protecting against such attacks. Finally, we discuss tools that can be used to achieve anonymization.


title: Holistic Guidance for Occluded Person Re-Identification

abstract: In real-world video surveillance applications, person re-identification (ReID) suffers from the effects of occlusions and detection errors. Despite recent advances, occlusions continue to corrupt the features extracted by state-of-art CNN backbones, and thereby deteriorate the accuracy of ReID systems. To address this issue, methods in the literature use an additional costly process such as pose estimation, where pose maps provide supervision to exclude occluded regions. In contrast, we introduce a novel Holistic Guidance (HG) method that relies only on person identity labels, and on the distribution of pairwise matching distances of datasets to alleviate the problem of occlusion, without requiring additional supervision. Hence, our proposed student-teacher framework is trained to address the occlusion problem by matching the distributions of between- and within-class distances (DCDs) of occluded samples with that of holistic (non-occluded) samples, thereby using the latter as a soft labeled reference to learn well separated DCDs. This approach is supported by our empirical study where the distribution of between- and within-class distances between images have more overlap in occluded than holistic datasets. In particular, features extracted from both datasets are jointly learned using the student model to produce an attention map that allows separating visible regions from occluded ones. In addition to this, a joint generative-discriminative backbone is trained with a denoising autoencoder, allowing the system to self-recover from occlusions. Extensive experiments on several challenging public datasets indicate that the proposed approach can outperform state-of-the-art methods on both occluded and holistic datasets


title: Geometrical Frustration and Cluster Spin Glass with Random Graphs

abstract: We develop a novel method based in the sparse random graph to account the interplay between geometric frustration and disorder in cluster magnetism. Our theory allows to introduce the cluster network connectivity as a controllable parameter. Two types of inner cluster geometry are considered: triangular and tetrahedral. The theory was developed for a general, non-uniform intra-cluster interactions, but in the present paper the results presented correspond to uniform, anti-ferromagnetic (AF) intra-clusters interactions $J_{0}/J$. The clusters are represented by nodes on a finite connectivity random graph, and the inter-cluster interactions are random Gaussian distributed. The graph realizations are treated in replica theory using the formalism of order parameter functions, which allows to calculate the distribution of local fields and, as a consequence, the relevant observable. In the case of triangular cluster geometry, there is the onset of a classical Spin Liquid state at a temperature $T^{*}/J$ and then, a Cluster Spin Glass (CSG) phase at a temperature $T_{f}/J$. The CSG ground state is robust even for very weak disorder or large negative $J_{0}/J$. These results does not depend on the network connectivity. Nevertheless, variations in the connectivity strongly affect the level of frustration $f_{p}=-\Theta_{CW}/T_{f}$ for large $J_{0}/J$. In contrast, for the non-frustrated tetrahedral cluster geometry, the CSG ground state is suppressed for weak disorder or large negative $J_{0}/J$. The CSG boundary phase presents a re-entrance which is dependent on the network connectivity.


title: Permutohedral complexes and rational curves with cyclic action

abstract: We define a moduli space of rational curves with finite-order automorphism and weighted orbits, and we prove that the combinatorics of its boundary strata are encoded by a particular polytopal complex that also captures the algebraic structure of a complex reflection group acting on the moduli space. This generalizes the situation for Losev-Manin's moduli space of curves (whose boundary strata are encoded by the permutohedron and related to the symmetric group) as well as the situation for Batyrev-Blume's moduli space of curves with involution, and it extends that work beyond the toric context.


title: Jupyter-Enabled Astrophysical Analysis for Researchers and Students

abstract: The advent of increasingly large and complex datasets has fundamentally altered the way that scientists conduct astronomy research. The need to work closely to the data has motivated the creation of online science platforms, which include a suite of software tools and services, therefore going beyond data storage and data access. We present two example applications of Jupyter as a part of astrophysical science platforms for professional researchers and students. First, the Astro Data Lab is developed and operated by NOIRLab with a mission to serve the astronomy community with now over 1500 registered users. Second, the Dark Energy Spectroscopic Instrument science platform serves its geographically distributed team comprising about 900 collaborators from over 90 institutions. We describe the main uses of Jupyter and the interfaces that needed to be created to embed it within science platform ecosystems. We use these examples to illustrate the broader concept of empowering researchers and providing them with access to not only large datasets but also cutting-edge software, tools, and data services without requiring any local installation, which can be relevant for a wide range of disciplines. Future advances may involve science platform networks, and tools for simultaneously developing Jupyter notebooks to facilitate collaborations.


title: Induced Surface and Curvature Tensions Equation of State of Hadrons with Relativistic Excluded Volumes and its Relation to Morphological Thermodynamics

abstract: An analytical formula that accurately accounts for the Lorentz contraction of the excluded volume of two relativistic hadrons with hard-core repulsion is worked out. Using the obtained expression we heuristically derive the equation of state of Boltzmann particles with relativistic excluded volumes in terms of system pressure and its surface and curvature tension coefficients. The behavior of effective excluded volumes of lightest baryons and mesons is studied at very high temperatures (particle number densities) and for very large values of degeneracy factors. Several parameterizations of the obtained equation of state demonstrate a universal asymptotics of the effective excluded volume at high particle number densities. It is peculiar, that the found maximal packing fraction $\eta \simeq 0.75$ of Lorentz contracted particles is very close to the dense packing limit of classical hard spheres of same radius $\eta_{exc} \approx 0.74$. We show that the developed equation of state is the grand canonical formulation of the morphological thermodynamics approach applied to Lorentz contracted rigid spheres.


title: BERT Embeddings Can Track Context in Conversational Search

abstract: The use of conversational assistants to search for information is becoming increasingly more popular among the general public, pushing the research towards more advanced and sophisticated techniques. In the last few years, in particular, the interest in conversational search is increasing, not only because of the generalization of conversational assistants but also because conversational search is a step forward in allowing a more natural interaction with the system. In this work, the focus is on exploring the context present of the conversation via the historical utterances and respective embeddings with the aim of developing a conversational search system that helps people search for information in a natural way. In particular, this system must be able to understand the context where the question is posed, tracking the current state of the conversation and detecting mentions to previous questions and answers. We achieve this by using a context-tracking component based on neural query-rewriting models. Another crucial aspect of the system is to provide the most relevant answers given the question and the conversational history. To achieve this objective, we used a Transformer-based re-ranking method and expanded this architecture to use the conversational context. The results obtained with the system developed showed the advantages of using the context present in the natural language utterances and in the neural embeddings generated throughout the conversation.


title: Polarization Independent Optical Isolator in Sagnac-Type Configuration

abstract: We propose a polarization-independent optical isolator that does not use walk-off between the two orthogonal polarizations. The design is based on two Faraday rotators in combination with two half-wave plates in a closed, Sagnac-interferometer-like, configuration. An experimental prototype is tested successfully under variation of the input light polarization state with isolation level between 43 dB and 50 dB for all input polarizations (linear, circular, or elliptical).


title: A Refined Probabilistic Error Bound for Sums

abstract: This paper considers a probabilistic model for floating-point computation in which the roundoff errors are represented by bounded random variables with mean zero. Using this model, a probabilistic bound is derived for the forward error of the computed sum of n real numbers. This work improves upon existing probabilistic bounds by holding to all orders, and as a result provides informative bounds for larger problem sizes.


title: Asymptotic optimality of twist-untwist protocols for Heisenberg scaling in atomic interferometry

abstract: Twist-untwist protocols for quantum metrology consist of a serial application of: 1. unitary nonlinear dynamics (e.g., spin squeezing or Kerr nonlinearity), 2. parameterized dynamics $U(\phi)$ (e.g., a collective rotation or phase space displacement), 3. time reversed application of step 1. Such protocols are known to produce states that allow Heisenberg scaling for experimentally accessible estimators of $\phi$ even when the nonlinearities are applied for times much shorter than required to produce Schr\"{o}dinger cat states. In this work, we prove that twist-untwist protocols provide the lowest estimation error among quantum metrology protocols that utilize two calls to a weakly nonlinear evolution and a readout involving only measurement of a spin operator $\vec{n}\cdot \vec{J}$, asymptotically in the number of particles. We consider the following physical settings: all-to-all interactions generated by one-axis twisting $J_{z}^{2}$ (e.g., interacting Bose gases), constant finite range spin-spin interactions of distinguishable or bosonic atoms (e.g., trapped ions or Rydberg atoms, or lattice bosons). In these settings, we further show that the optimal twist-untwist protocols asymptotically achieve $85\%$ and $92\%$ of the respective quantum Cram\'{e}r-Rao bounds. We show that the error of a twist-untwist protocol can be decreased by a factor of $L$ without an increase in the noise of the spin measurement if the twist-untwist protocol can be noiselessly iterated as an $L$ layer quantum alternating operator ansatz.


title: A Refined Model of Convectively-Driven Flicker in Kepler Light Curves

abstract: Light curves produced by the Kepler mission demonstrate stochastic brightness fluctuations (or "flicker") of stellar origin which contribute to the noise floor, limiting the sensitivity of exoplanet detection and characterization methods. In stars with surface convection, the primary driver of these variations on short (sub-eight-hour) timescales is believed to be convective granulation. In this work, we improve existing models of this granular flicker amplitude, or $F_8$, by including the effect of the Kepler bandpass on measured flicker, by incorporating metallicity in determining convective Mach numbers, and by using scaling relations from a wider set of numerical simulations. To motivate and validate these changes, we use a recent database of convective flicker measurements in Kepler stars, which allows us to more fully detail the remaining model--prediction error. Our model improvements reduce the typical misprediction of flicker amplitude from a factor of 2.5 to 2. We rule out rotation period and strong magnetic activity as possible explanations for the remaining model error, and we show that binary companions may affect convective flicker. We also introduce an "envelope" model which predicts a range of flicker amplitudes for any one star to account for some of the spread in numerical simulations, and we find that this range covers 78% of observed stars. We note that the solar granular flicker amplitude is lower than most Sun-like stars. This improved model of convective flicker amplitude can better characterize this source of noise in exoplanet studies as well as better inform models and simulations of stellar granulation.


title: Simultaneous Face Hallucination and Translation for Thermal to Visible Face Verification using Axial-GAN

abstract: Existing thermal-to-visible face verification approaches expect the thermal and visible face images to be of similar resolution. This is unlikely in real-world long-range surveillance systems, since humans are distant from the cameras. To address this issue, we introduce the task of thermal-to-visible face verification from low-resolution thermal images. Furthermore, we propose Axial-Generative Adversarial Network (Axial-GAN) to synthesize high-resolution visible images for matching. In the proposed approach we augment the GAN framework with axial-attention layers which leverage the recent advances in transformers for modelling long-range dependencies. We demonstrate the effectiveness of the proposed method by evaluating on two different thermal-visible face datasets. When compared to related state-of-the-art works, our results show significant improvements in both image quality and face verification performance, and are also much more efficient.


title: NPE: An FPGA-based Overlay Processor for Natural Language Processing

abstract: In recent years, transformer-based models have shown state-of-the-art results for Natural Language Processing (NLP). In particular, the introduction of the BERT language model brought with it breakthroughs in tasks such as question answering and natural language inference, advancing applications that allow humans to interact naturally with embedded devices. FPGA-based overlay processors have been shown as effective solutions for edge image and video processing applications, which mostly rely on low precision linear matrix operations. In contrast, transformer-based NLP techniques employ a variety of higher precision nonlinear operations with significantly higher frequency. We present NPE, an FPGA-based overlay processor that can efficiently execute a variety of NLP models. NPE offers software-like programmability to the end user and, unlike FPGA designs that implement specialized accelerators for each nonlinear function, can be upgraded for future NLP models without requiring reconfiguration. We demonstrate that NPE can meet real-time conversational AI latency targets for the BERT language model with $4\times$ lower power than CPUs and $6\times$ lower power than GPUs. We also show NPE uses $3\times$ fewer FPGA resources relative to comparable BERT network-specific accelerators in the literature. NPE provides a cost-effective and power-efficient FPGA-based solution for Natural Language Processing at the edge.


title: Lets Make A Story Measuring MR Child Engagement

abstract: We present the result of a pilot study measuring child engagement with the Lets Make A Story system, a novel mixed reality, MR, collaborative storytelling system designed for grandparents and grandchildren. We compare our MR experience against an equivalent paper story experience. The goal of our pilot was to test the system with actual child users and assess the goodness of using metrics of time, user generated story content and facial expression analysis as metrics of child engagement. We find that multiple confounding variables make these metrics problematic including attribution of engagement time, spontaneous non-story related conversation and having the childs full forward face continuously in view during the story. We present our platform and experiences and our finding that the strongest metric was user comments in the post-experiential interview.


title: On coslices and commas of locally finitely presentable categories

abstract: We give an explicit description of the generator of finitely presented objects of the coslice of a locally finitely presentable category under a given object, as consisting of all pushouts of finitely presented maps under this object. Then we prove that the comma category under the direct image part of a morphism of locally finitely presentable category is still locally finitely presentable, and we give again an explicit description of its generator of finitely presented objects. We finally deduce that 2-category $\LFP$ has comma objects computed in $\Cat$.


title: Observational Evidence for a Thick Disk of Dark Molecular Gas in the Outer Galaxy

abstract: We present the serendipitous discovery of an extremely broad ($\Delta V_{LSR} \sim 150$ km/s), faint ($T_{mb} < 10 \textrm{mK}$), and ubiquitous 1667 and 1665 MHz ground-state thermal OH emission towards the 2nd quadrant of the outer Galaxy ($R_{gal}$ > 8 kpc) with the Green Bank Telescope. Originally discovered in 2015, we describe the redundant experimental, observational, and data quality tests of this result over the last five years. The longitude-velocity distribution of the emission unambiguously suggests large-scale Galactic structure. We observe a smooth distribution of OH in radial velocity that is morphologically similar to the HI radial velocity distribution in the outer Galaxy, showing that molecular gas is significantly more extended in the outer Galaxy than previously expected. Our results imply the existence of a thick ($-200< z < 200$ pc) disk of diffuse ($n_{H_{2}}$ $\sim$ 5 $\times$ 10$^{-3}$ cm$^{-3}$) molecular gas in the Outer Galaxy previously undetected in all-sky CO surveys.


title: The Congruences of a Finite Lattice, A "Proof-by-Picture" Approach, third edition

abstract: This contains Part I of the book: Congruence lattices of finite lattices, which covers about 80 years of research and more than 250 papers.


title: Coinbugs: Enumerating Common Blockchain Implementation-Level Vulnerabilities

abstract: A good amount of effort has been dedicated to surveying and systematizing Ethereum smart contract security bug classes. There is, however, a gap in literature when it comes to surveying implementation-level security bugs that commonly occur in basic PoW blockchain node implementations, discovered during the first decade of Bitcoin's existence. This paper attempts to fill this void. In particular, if software which participates in a network by validating and generating new blocks is developed from scratch, WCGW - What Could Go Wrong? Ten broad bug type categories are listed and for each category, known examples are linked. Blockchain, as designed by the Satoshi's paper is exciting and introduces several novel bug classes which are interesting to security researchers. The paper is aimed at security testers aiming to start out in blockchain security reviews and blockchain developers as a reference on common pitfalls.


title: From Solving a Problem Boldly to Cutting the Gordian Knot: Idiomatic Text Generation

abstract: We study a new application for text generation -- idiomatic sentence generation -- which aims to transfer literal phrases in sentences into their idiomatic counterparts. Inspired by psycholinguistic theories of idiom use in one's native language, we propose a novel approach for this task, which retrieves the appropriate idiom for a given literal sentence, extracts the span of the sentence to be replaced by the idiom, and generates the idiomatic sentence by using a neural model to combine the retrieved idiom and the remainder of the sentence. Experiments on a novel dataset created for this task show that our model is able to effectively transfer literal sentences into idiomatic ones. Furthermore, automatic and human evaluations show that for this task, the proposed model outperforms a series of competitive baseline models for text generation.


title: Cameron-Storvick theorem associated with Gaussian paths on function space

abstract: The purpose of this paper is to provide a more general Cameron-Storvick theorem for the generalized analytic Feynman integral associated with Gaussian process $\mathcal Z_k$ on a very general Wiener space $C_{a,b}[0,T]$. The general Wiener space $C_{a,b}[0,T]$ can be considered as the set of all continuous sample paths of the generalized Brownian motion process determined by continuous functions $a(t)$ and $b(t)$ on $[0,T]$. As an interesting application, we apply this theorem to evaluate the generalized analytic Feynman integral of certain monomials in terms of Paley-Wiener-Zygmund stochastic integrals.


title: A Stroke Detection and Discrimination Framework using Broadband Microwave Scattering on Stochastic Models With Deep Learning

abstract: Stroke poses an immense public health burden and remains among the primary causes of death and disability worldwide. Emergent therapy is often precluded by late or indeterminate times of onset before initial clinical presentation. Rapid, mobile, safe and low-cost stroke detection technology remains a deeply unmet clinical need. Past studies have explored the use of microwave and other small form-factor strategies for rapid stroke detection; however, widespread clinical adoption remains unrealized. Here, we investigated the use of microwave scattering perturbations from ultra-wide-band antenna arrays to learn dielectric signatures of disease. Two deep neural networks (DNNs) were used for: 1) stroke detection ("classification network"), and 2) characterization of the hemorrhage location and size ("discrimination network"). Dielectric signatures were learned on a simulated cohort of 666 hemorrhagic stroke and control subjects using 2D stochastic head models. The classification network yielded a stratified K-fold stroke detection accuracy of 94.60% with standard deviation of 2.86% and an AUC of 0.996, while the discrimination network resulted in a mean squared error of <0.004 cm and <0.02 cm, for the stroke localization and size estimation, respectively. We report a novel approach to intelligent diagnostics using microwave wide-band scattering information thus circumventing conventional image-formation.


title: Three microlensing planets with no caustic-crossing features

abstract: We search for microlensing planets with signals exhibiting no caustic-crossing features, considering the possibility that such signals may be missed due to their weak and featureless nature. For this purpose, we reexamine the lensing events found by the KMTNet survey before the 2019 season. From this investigation, we find two new planetary lensing events, KMT-2018-BLG-1976 and KMT-2018-BLG-1996. We also present the analysis of the planetary event OGLE-2019-BLG-0954, for which the planetary signal was known, but no detailed analysis has been presented before. We identify the genuineness of the planetary signals by checking various interpretations that can generate short-term anomalies in lensing light curves. From Bayesian analyses conducted with the constraint from available observables, we find that the host and planet masses are $(M_1, M_2)\sim (0.65~M_\odot, 2~M_{\rm J})$ for KMT-2018-BLG-1976L, $\sim (0.69~M_\odot, 1~M_{\rm J})$ for KMT-2018-BLG-1996L, and $\sim (0.80~M_\odot, 14~M_{\rm J})$ for OGLE-2019-BLG-0954L. The estimated distance to OGLE-2019-BLG-0954L, $3.63^{+1.22}_{-1.64}$~kpc, indicates that it is located in the disk, and the brightness expected from the mass and distance matches well the brightness of the blend, indicating that the lens accounts for most of the blended flux. The lens of OGLE-2019-BLG-0954 could be resolved from the source by conducting high-resolution follow-up observations in and after 2024.


title: Surface-plasmon properties of noble metals with exotic phases

abstract: Noble-metal nanoparticles have been the industry standard for plasmonic applications due to their highly populated plasmon generations. Despite their remarkable plasmonic performance, their widespread use in plasmonic applications is commonly hindered due to limitations on the available laser sources and relatively low operating temperatures needed to retain mechanical strength in these materials. Motivated by recent experimental works, in which exotic hexagonal-closed-packed (HCP) phases have been identified in gold (Au), silver (Ag) and copper (Cu), we present the plasmonic performance of two HCP polytypes in these materials using high-accuracy first-principles simulations. The isolated HCP phases commonly reach thermal and mechanical stability at high temperatures due to monotonically decreasing Gibbs free energy differences compared to the face-centered cubic (FCC) phases. We find that several of these polytypes are harder and produce bulk plasmons at lower energies with comparable lifetimes than their conventional FCC counterparts. It also leads to the localized surface-plasmon resonance (LSPR) in perfectly spherical HCP-phased nanoparticles, embedded onto dielectric matrices, at substantially lower energies with comparable lifetimes to their FCC counterparts. LSPR peak locations and lifetimes can be tuned by controlling the operational temperature, the dielectric permittivity of hosting matrix and the grain size. Our work suggests that noble-metal nanoparticles can be tailored to develop exotic HCP phases to obtain novel plasmonic properties.


title: Large-Scale Contextualised Language Modelling for Norwegian

abstract: We present the ongoing NorLM initiative to support the creation and use of very large contextualised language models for Norwegian (and in principle other Nordic languages), including a ready-to-use software environment, as well as an experience report for data preparation and training. This paper introduces the first large-scale monolingual language models for Norwegian, based on both the ELMo and BERT frameworks. In addition to detailing the training process, we present contrastive benchmark results on a suite of NLP tasks for Norwegian. For additional background and access to the data, models, and software, please see http://norlm.nlpl.eu


title: 3-colorability of graphs with minimum degree at least 6

abstract: Let $G$ be an $n$-vertex graph and let $L:V(G)\rightarrow P(\{1,2,3\})$ be a list assignment over the vertices of $G$, where each vertex with list of size 3 and of degree at most 5 has at least three neighbors with lists of size 2. We can determine $L$-choosability of $G$ in $O(1.3196^{n_3+.5n_2})$ time, where $n_i$ is the number of vertices in $G$ with list of size $i$ for $i\in \{2,3\}$. As a corollary, we conclude that the 3-colorability of any graph $G$ with minimum degree at least 6 can be determined in $O(1.3196^{n-.5\Delta(G)})$ time.


title: Solving weakly supervised regression problem using low-rank manifold regularization

abstract: We solve a weakly supervised regression problem. Under "weakly" we understand that for some training points the labels are known, for some unknown, and for others uncertain due to the presence of random noise or other reasons such as lack of resources. The solution process requires to optimize a certain objective function (the loss function), which combines manifold regularization and low-rank matrix decomposition techniques. These low-rank approximations allow us to speed up all matrix calculations and reduce storage requirements. This is especially crucial for large datasets. Ensemble clustering is used for obtaining the co-association matrix, which we consider as the similarity matrix. The utilization of these techniques allows us to increase the quality and stability of the solution. In the numerical section, we applied the suggested method to artificial and real datasets using Monte-Carlo modeling.


title: Strong degenerate constraining in Lagrangian dynamics

abstract: We study the strong constraining problem in Lagrangian dynamics in the degenerate codimension one case. This is the first time that degenerate potentials at the constraint are considered for this problem. These new results cover several real analytic potentials that the previous do not. Some counterintuitive effects of the degenerate constraining problem are discussed.


title: PMIPv6 Integrated with MIH for Flow Mobility Management: a Real Testbed with Simultaneous Multi-Access in Heterogeneous Mobile Networks

abstract: The exponential growth of the number of multihomed mobile devices is changing the way how we can connect to the Internet. Our mobile devices are demanding for more network resources, in terms of traffic volume and QoS requirements. Unfortunately, it is very hard to a multihomed device to be simultaneously connected to the network through multiple links. The current work enhances the network access of multihomed devices agnostically to the deployed access technologies. This enhancement is achieved by using simultaneously all of the mobile devices interfaces, and by routing each individual data flow through the most convenient access technology. The proposed solution is only deployed at the network side and it extends Proxy Mobile IPv6 with flow mobility in a completely transparent way to mobile nodes. In fact, it gives particular attention to the handover mechanisms, by improving the detection and attachment of nodes in the network, with the inclusion of the IEEE 802.21 standard in the solution. This provides the necessary implementation and integration details to extend a network topology with femtocell devices. Each femtocell is equipped with various network interfaces supporting a diverse set of access technologies. There is also a decision entity that manages individually each data flow according to its QoS / QoE requisites. The proposed solution has been developed and extensively tested with a real prototype. Evaluation results evidence that the overhead for using the solution is negligible as compared to the offered advantages such as: the support of flow mobility, the fulfil of VoIP functional requisites, the session continuity in spite of flows mobility, its low overhead, its high scalability, and the complete transparency of the proposed solution to the user terminals.


title: Measurement of the Longitudinal Diffusion of Ionization Electrons in the MicroBooNE Detector

abstract: Accurate knowledge of electron transport properties is vital to understanding the information provided by liquid argon time projection chambers (LArTPCs). Ionization electron drift-lifetime, local electric field distortions caused by positive ion accumulation, and electron diffusion can all significantly impact the measured signal waveforms. This paper presents a measurement of the effective longitudinal electron diffusion coefficient, $D_L$, in MicroBooNE at the nominal electric field strength of 273.9 V/cm. Historically, this measurement has been made in LArTPC prototype detectors. This represents the first measurement in a large-scale (85 tonne active volume) LArTPC operating in a neutrino beam. This is the largest dataset ever used for this measurement. Using a sample of $\sim$70,000 through-going cosmic ray muon tracks tagged with MicroBooNE's cosmic ray tagger system, we measure $D_L = 3.74^{+0.28}_{-0.29}$ cm$^2$/s.


title: Developing a Conversational Recommendation System for Navigating Limited Options

abstract: We have developed a conversational recommendation system designed to help users navigate through a set of limited options to find the best choice. Unlike many internet scale systems that use a singular set of search terms and return a ranked list of options from amongst thousands, our system uses multi-turn user dialog to deeply understand the users preferences. The system responds in context to the users specific and immediate feedback to make sequential recommendations. We envision our system would be highly useful in situations with intrinsic constraints, such as finding the right restaurant within walking distance or the right retail item within a limited inventory. Our research prototype instantiates the former use case, leveraging real data from Google Places, Yelp, and Zomato. We evaluated our system against a similar system that did not incorporate user feedback in a 16 person remote study, generating 64 scenario-based search journeys. When our recommendation system was successfully triggered, we saw both an increase in efficiency and a higher confidence rating with respect to final user choice. We also found that users preferred our system (75%) compared with the baseline.


title: Simulating MADMAX in 3D: Requirements for Dielectric Axion Haloscopes

abstract: We present 3D calculations for dielectric haloscopes such as the currently envisioned MADMAX experiment. For ideal systems with perfectly flat, parallel and isotropic dielectric disks of finite diameter, we find that a geometrical form factor reduces the emitted power by up to $30\,\%$ compared to earlier 1D calculations. We derive the emitted beam shape, which is important for antenna design. We show that realistic dark matter axion velocities of $10^{-3} c$ and inhomogeneities of the external magnetic field at the scale of $10\,\%$ have negligible impact on the sensitivity of MADMAX. We investigate design requirements for which the emitted power changes by less than $20\,\%$ for a benchmark boost factor with a bandwidth of $50\,{\rm MHz}$ at $22\,{\rm GHz}$, corresponding to an axion mass of $90\,\mu{\rm eV}$. We find that the maximum allowed disk tilt is $100\,\mu{\rm m}$ divided by the disk diameter, the required disk planarity is $20\,\mu{\rm m}$ (min-to-max) or better, and the maximum allowed surface roughness is $100\,\mu{\rm m}$ (min-to-max). We show how using tiled dielectric disks glued together from multiple smaller patches can affect the beam shape and antenna coupling.


title: Neptune's Spatial Brightness Temperature Variations from the VLA and ALMA

abstract: We present spatially resolved ($0.1'' - 1.0''$) radio maps of Neptune taken from the Very Large Array and Atacama Large Submillimeter/Millimeter Array between $2015-2017$. Combined, these observations probe from just below the main methane cloud deck at $\sim 1$ bar down to the NH$_4$SH cloud at $\sim50$ bar. Prominent latitudinal variations in the brightness temperature are seen across the disk. Depending on wavelength, the south polar region is $5-40$ K brighter than the mid-latitudes and northern equatorial region. We use radiative transfer modeling coupled to Markov Chain Monte Carlo methods to retrieve H$_2$S, NH$_3$, and CH$_4$ abundance profiles across the disk, though only strong constraints can be made for H$_2$S. Below all cloud formation, the data are well fit by $53.8^{+18.9}_{-13.4}\times$ and $3.9^{+2.1}_{-3.1}\times$ protosolar enrichment in the H$_2$S and NH$_3$ abundances, respectively, assuming a dry adiabat. Models in which the radio-cold mid-latitudes and northern equatorial region are supersaturated in H$_2$S are statistically favored over models following strict thermochemical equilibrium. H$_2$S is more abundant at the equatorial region than at the poles, indicative of strong, persistent global circulation. Our results imply that Neptune's sulfur-to-nitrogen ratio exceeds unity as H$_2$S is more abundant than NH$_3$ in every retrieval. The absence of NH$_3$ above 50 bar can be explained either by partial dissolution of NH$_3$ in an ionic ocean at GPa pressures or by a planet formation scenario in which hydrated clathrates preferentially delivered sulfur rather than nitrogen onto planetesimals, or a combination of these hypotheses.


title: Should Semantic Vector Composition be Explicit? Can it be Linear?

abstract: Vector representations have become a central element in semantic language modelling, leading to mathematical overlaps with many fields including quantum theory. Compositionality is a core goal for such representations: given representations for 'wet' and 'fish', how should the concept 'wet fish' be represented? This position paper surveys this question from two points of view. The first considers the question of whether an explicit mathematical representation can be successful using only tools from within linear algebra, or whether other mathematical tools are needed. The second considers whether semantic vector composition should be explicitly described mathematically, or whether it can be a model-internal side-effect of training a neural network. A third and newer question is whether a compositional model can be implemented on a quantum computer. Given the fundamentally linear nature of quantum mechanics, we propose that these questions are related, and that this survey may help to highlight candidate operations for future quantum implementation.


title: Situational Confidence Assistance for Lifelong Shared Autonomy

abstract: Shared autonomy enables robots to infer user intent and assist in accomplishing it. But when the user wants to do a new task that the robot does not know about, shared autonomy will hinder their performance by attempting to assist them with something that is not their intent. Our key idea is that the robot can detect when its repertoire of intents is insufficient to explain the user's input, and give them back control. This then enables the robot to observe unhindered task execution, learn the new intent behind it, and add it to this repertoire. We demonstrate with both a case study and a user study that our proposed method maintains good performance when the human's intent is in the robot's repertoire, outperforms prior shared autonomy approaches when it isn't, and successfully learns new skills, enabling efficient lifelong learning for confidence-based shared autonomy.


title: Towards Causal Federated Learning For Enhanced Robustness and Privacy

abstract: Federated Learning is an emerging privacy-preserving distributed machine learning approach to building a shared model by performing distributed training locally on participating devices (clients) and aggregating the local models into a global one. As this approach prevents data collection and aggregation, it helps in reducing associated privacy risks to a great extent. However, the data samples across all participating clients are usually not independent and identically distributed (non-iid), and Out of Distribution(OOD) generalization for the learned models can be poor. Besides this challenge, federated learning also remains vulnerable to various attacks on security wherein a few malicious participating entities work towards inserting backdoors, degrading the generated aggregated model as well as inferring the data owned by participating entities. In this paper, we propose an approach for learning invariant (causal) features common to all participating clients in a federated learning setup and analyze empirically how it enhances the Out of Distribution (OOD) accuracy as well as the privacy of the final learned model.


title: Answering some questions about structured illumination microscopy

abstract: Structured illumination microscopy (SIM) provides images of fluorescent objects at an enhanced resolution greater than that of conventional epifluorescence wide-field microscopy. Initially demonstrated in 1999 to enhance the lateral resolution two-fold, it has since been extended to enhance axial resolution two-fold (2008), applied to live-cell imaging (2009) and combined with myriad other techniques, including interferometric detection (2008), confocal microscopy (2010) and light sheet illumination (2012). Despite these impressive developments, SIM remains, perhaps, the most poorly understood `super-resolution' method. In this article, we provide answers to the 13 questions regarding SIM proposed by Prakash et al., along with answers to a further three questions. After providing a general overview of the technique and its developments, we explain why SIM as normally used is still diffraction-limited. We then highlight the necessity for a non-polynomial, and not just non-linear, response to the illuminating light in order to make SIM a true, diffraction-unlimited, super-resolution technique. In addition, we present a derivation of a real-space SIM reconstruction approach that can be used to process conventional SIM and image scanning microscopy (ISM) data and extended to process data with quasi-arbitrary illumination patterns. Finally, we provide a simple bibliometric analysis of SIM development over the past two decades and provide a short outlook on potential future work.


title: Identity Inference on Blockchain using Graph Neural Network

abstract: The anonymity of blockchain has accelerated the growth of illegal activities and criminal behaviors on cryptocurrency platforms. Although decentralization is one of the typical characteristics of blockchain, we urgently call for effective regulation to detect these illegal behaviors to ensure the safety and stability of user transactions. Identity inference, which aims to make a preliminary inference about account identity, plays a significant role in blockchain security. As a common tool, graph mining technique can effectively represent the interactive information between accounts and be used for identity inference. However, existing methods cannot balance scalability and end-to-end architecture, resulting high computational consumption and weak feature representation. In this paper, we present a novel approach to analyze user's behavior from the perspective of the transaction subgraph, which naturally transforms the identity inference task into a graph classification pattern and effectively avoids computation in large-scale graph. Furthermore, we propose a generic end-to-end graph neural network model, named $\text{I}^2 \text{BGNN}$, which can accept subgraph as input and learn a function mapping the transaction subgraph pattern to account identity, achieving de-anonymization. Extensive experiments on EOSG and ETHG datasets demonstrate that the proposed method achieve the state-of-the-art performance in identity inference.


title: Sustainable Closed-loop supply chain under uncertainty

abstract: With the fast change of information and communication technologies and global economics manufacturing industry faces the challenges in both market and supply sides. The challenges in the market include short product life cycle, demand uncertainty, and product delivery. Accordingly, supply challenges are the dramatic increase of flexibility in productions and complexity in the supply chain, which result from the changes in the industry and rapid development of ICPT (Information, Communication, and Production Technologies). In this study, we consider a supply chain converged with ICPT, called Smart Manufacturing Supply Chain (SMSC). By investigating the attributes of SMSC, we identify the functional and structural characteristics of SMSC. Tactical supply planning in SMSC recognizes the ability of a pseudo real-time decision-making constrained by the planning horizon. In order to take advantages of SMSC a multi-objective multi-period mixed integer non-linear programming for closed-loop supply chain network design is presented. This model aims to minimizing overall costs environment effects and lead time. To solve the proposed model, considering uncertainties in the problem, the improved epsilon-constraint approach was adopted to transform the multi-objective model into a single-objective one. Then, the Lagrange relaxation method was employed for an effective problem-solving. In the following a case study in the real world was proposed to evaluate the models performance. Finally a sensitivity analysis was carried out to investigate the effects of important parameters on the optimal solution.


title: Impact of risk factors on work zone crashes using logistic models and Random Forest

abstract: Work zone safety is influenced by many risk factors. Consequently, a comprehensive knowledge of the risk factors identified from crash data analysis becomes critical in reducing risk levels and preventing severe crashes in work zones. This study focuses on the 2016 severe crashes that occurred in the State of Michigan (USA) in work zones along highway I-94. The study identified the risk factors from a wide range of crash variables characterizing environmental, driver, crash and road-related variables. The impact of these risk factors on crash severity was investigated using frequency analyses, logistic regression statistics, and a machine learning Random Forest (RF) algorithm. It is anticipated that the findings of this study will help traffic engineers and departments of transportation in developing work zone countermeasures to improve safety and reduce the crash risk. It was found that some of these factors could be overlooked when designing and devising work zone traffic control plans. Results indicate, for example, the need for appropriate traffic control mechanisms such as harmonizing the speed of vehicles before approaching work zones, the need to provide illumination at specific locations of the work zone, and the need to establish frequent public education programs, flyers, and ads targeting high-risk driver groups. Moreover, the Random Forest algorithm was found to be efficient, promising, and recommended in crash data analysis, specifically, when the data sample size is small.


title: The difference between the Hurwitz continued fraction expansions of a complex number and its rational approximations

abstract: For regular continued fraction, if a real number $x$ and its rational approximation $p/q$ satisfying $|x-p/q|<1/q^2$, then, after deleting the last integer of the partial quotients of $p/q$, the sequence of the remaining partial quotients is a prefix of that of $x$. In this paper, we show that the situation is completely different if we consider the Hurwitz continued fraction expansions of a complex number and its rational approximations. More specifically, we consider the set $E(\psi)$ of complex numbers which are well approximated with the given bound $\psi$ and have quite different Hurwitz continued fraction expansions from that of their rational approximations. The Hausdorff and packing dimensions of such set are determined. It turns out that its packing dimension is always full for any given approximation bound $\psi$ and its Hausdorff dimension is equal to that of the $\psi$-approximable set $W(\psi)$ of complex numbers. As a consequence, we also obtain an analogue of the classical Jarn\'ik Theorem in real case.


title: ABEM: An Adaptive Agent-based Evolutionary Approach for Mining Influencers in Online Social Networks

abstract: A key step in influence maximization in online social networks is the identification of a small number of users, known as influencers, who are able to spread influence quickly and widely to other users. The evolving nature of the topological structure of these networks makes it difficult to locate and identify these influencers. In this paper, we propose an adaptive agent-based evolutionary approach to address this problem in the context of both static and dynamic networks. This approach is shown to be able to adapt the solution as the network evolves. It is also applicable to large-scale networks due to its distributed framework. Evaluation of our approach is performed by using both synthetic networks and real-world datasets. Experimental results demonstrate that the proposed approach outperforms state-of-the-art seeding algorithms in terms of maximizing influence.


title: Critical phenomena of the layered ferrimagnet Mn3Si2Te6 following proton irradiation

abstract: We examine the magnetic properties of the quasi 2D ferrimagnetic single crystal Mn3Si2Te6 (MST) through critical phenomena and magnetic entropy analysis in the easy axis (H || ab) as a function of proton irradiance. Employing a modified asymptotic analysis method, we find that upon proton irradiation the critical exponents do not fall into any particular universality class but lie close to mean field critical exponents ({\gamma} = 1, \b{eta} = 0.5). The presence of long-range interactions can be safely assumed for the pristine and irradiated cases of MST examined in this work. Further analysis on the effective spatial dimensionality reveal that MST remains at d = 3 under proton irradiation transitioning from an n = 1 spin dimensionality to n = 2 and n=3 for 1 x 10^15 and 5 x 10^15 H+/cm^2, indicating an XY interaction and a Heisenberg interaction, respectively. The pair (spin-spin) correlation function reveals an increase in magnetic correlations at the proton irradiance of 5 x 10^15 H+/cm^2. In conjunction, the maximum change in magnetic entropy obtained from isothermal magnetization at 3 T is the largest for 5 x 10^15 H+/cm^2 with a value of 2.45 J/kgK at T = 73.66 K, in comparison to 1.60 J/kgK for pristine MST at T = 73 K. Magnetic entropy derived from zero-field heat capacity does not show large deviations across the proton irradiated samples. This suggests that the antiferromagnetic coupling between the Mn sites is stable even after proton irradiation. Such result implies that magnetization is enhanced through a strengthening of the super-exchange interaction between Mn atoms mediated through Te rather than a weakening of the AFM component. Overall, our study finds that the magnetic interactions are manipulated the greatest when MST is irradiated at 5 x 10^15 H+/cm^2.


title: Optimal Rates of Teaching and Learning Under Uncertainty

abstract: In this paper, we consider a recently-proposed model of teaching and learning under uncertainty, in which a teacher receives independent observations of a single bit corrupted by binary symmetric noise, and sequentially transmits to a student through another binary symmetric channel based on the bits observed so far. After a given number $n$ of transmissions, the student outputs an estimate of the unknown bit, and we are interested in the exponential decay rate of the error probability as $n$ increases. We propose a novel block-structured teaching strategy in which the teacher encodes the number of 1s received in each block, and show that the resulting error exponent is the binary relative entropy $D\big(\frac{1}{2}\|\max(p,q)\big)$, where $p$ and $q$ are the noise parameters. This matches a trivial converse result based on the data processing inequality, and settles two conjectures of [Jog and Loh, 2021] and [Huleihel, Polyanskiy, and Shayevitz, 2019]. In addition, we show that the computation time required by the teacher and student is linear in $n$. We also study a more general setting in which the binary symmetric channels are replaced by general binary-input discrete memoryless channels. We provide an achievability bound and a converse bound, and show that the two coincide in certain cases, including (i) when the two channels are identical, and (ii) when the student-teacher channel is a binary symmetric channel. More generally, we give sufficient conditions under which our learning rate is the best possible for block-structured protocols.


title: Inverse Boundary Problem for the Two Photon Absorption Transport Equation

abstract: This work studies the inverse boundary problem for the two photon absorption radiative transport equation. We show that the absorption coefficients and scattering coefficients can be uniquely determined from the \emph{albedo} operator. If scattering is absent, we do not require smallness of the incoming source and the reconstructions of the absorption coefficients are explicit.


title: Estimates for Schur Multipliers and Double Operator Integrals -- A Wavelet Approach

abstract: We discuss the work of Birman and Solomyak on the singular numbers of integral operators from the point of view of modern approximation theory, in particular with the use of wavelet techniques. We are able to provide a simple proof of norm estimates for integral operators with kernel in $B^{\frac{1}{p}-\frac{1}{2}}_{p,p}(\mathbb R,L_2(\mathbb R))$. This recovers, extends and sheds new light on a theorem of Birman and Solomyak. We also use these techniques to provide a simple proof of Schur multiplier bounds for double operator integrals, with bounded symbol in $B^{\frac{1}{p}-\frac{1}{2}}_{\frac{2p}{2-p},p}(\mathbb R,L_\infty(\mathbb R))$, which extends Birman and Solomyak's result to symbols without compact domain.


title: A Summation of Series Involving Bessel Functions and Order Derivatives of Bessel Functions

abstract: In this note, we derive the closed-form expression for the summation of series $\sum_{n=0}^{\infty}nJ_n(x)\partial J_n/\partial n$, which is found in the calculation of entanglement entropy in 2-d bosonic free field, in terms of $Y_0$, $J_0$ and an integral involving these two Bessel functions. Further, we point out the integral can be expressed as a Meijer G function.


title: Preventing Manipulation Attack in Local Differential Privacy using Verifiable Randomization Mechanism

abstract: Several randomization mechanisms for local differential privacy (LDP) (e.g., randomized response) are well-studied to improve the utility. However, recent studies show that LDP is generally vulnerable to malicious data providers in nature. Because a data collector has to estimate background data distribution only from already randomized data, malicious data providers can manipulate their output before sending, i.e., randomization would provide them plausible deniability. Attackers can skew the estimations effectively since they are calculated by normalizing with randomization probability defined in the LDP protocol, and can even control the estimations. In this paper, we show how we prevent malicious attackers from compromising LDP protocol. Our approach is to utilize a verifiable randomization mechanism. The data collector can verify the completeness of executing an agreed randomization mechanism for every data provider. Our proposed method completely protects the LDP protocol from output-manipulations, and significantly mitigates the expected damage from attacks. We do not assume any specific attacks, and it works effectively against general output-manipulation, and thus is more powerful than previously proposed countermeasures. We describe the secure version of three state-of-the-art LDP protocols and empirically show they cause acceptable overheads according to several parameters.


title: q-Polymatroids and Their Relation to Rank-Metric Codes

abstract: It is well known that linear rank-metric codes give rise to q-polymatroids. Analogously to matroid theory one may ask whether a given q-polymatroid is representable by a rank-metric code. We provide an answer by presenting an example of a q-matroid that is not representable by any linear rank-metric code and, via a relation to paving matroids, provide examples of various q-matroids that are not representable by F_{q^m}-linear rank-metric codes. We then go on and introduce deletion and contraction for q-polymatroids and show that they are mutually dual and correspond to puncturing and shortening of rank-metric codes. Finally, we introduce a closure operator along with the notion of flats and show that the generalized rank weights of a rank-metric code are fully determined by the flats of the associated q-polymatroid.


title: Considerations Across Three Cultures: Parametric Regressions, Interpretable Algorithms, and Complex Algorithms

abstract: We consider an extension of Leo Breiman's thesis from "Statistical Modeling: The Two Cultures" to include a bifurcation of algorithmic modeling, focusing on parametric regressions, interpretable algorithms, and complex (possibly explainable) algorithms.


title: Pure annihilation decays of $B_s^0 \to a_0^+ a_0^-$ and $B_d^0 \to K_0^{*+} K_0^{*-}$ in the PQCD approach

abstract: We study the {\it CP}-averaged branching fractions and the {\it CP}-violating asymmetries in the pure annihilation decays of $B_s^0 \to a_0^+ a_0^-$ and $B_d^0 \to K_0^{*+} K_0^{*-}$, where $a_0\;[K_0^*]$ denotes the scalar $a_0(980)$ and $a_0(1450)$ [$K_0^*(800) ( {\rm or}\; \kappa)$ and $K_0^*(1430)$], with the perturbative QCD factorization approach under the assumption of two-quark structure for the $a_0$ and $K_0^*$ states. The numerical results show that the branching ratios of the $B_d^0 \to K_0^{*+} K_0^{*-}$ decays are in the order of $10^{-6}$, while the decay rates of the $B_s^0 \to a_0^+ a_0^-$ modes are in the order of $10^{-5}$. In light of the measured modes with the same quark components in the pseudoscalar sector, namely, $B_d^0 \to K^+ K^-$ and $B_s^0 \to \pi^+ \pi^-$, the predictions for the considered decay modes in this work are expected to be measured at the Large Hadron Collider beauty and/or Belle-II experiments in the (near) future. Meanwhile, it is of great interest to find that the twist-3 distribution amplitudes $\phi^{S}$ and $\phi^{T}$ with inclusion of the Gegenbauer polynomials for the scalar $a_0(1450)$ and $K_0^*(1430)$ states in scenario 2 contribute slightly to the branching ratios while significantly to the {\it CP} violations in the $B_d^0 \to {K_0^*}(1430)^+ {K_0^*}(1430)^-$ and $B_s^0 \to a_0(1450)^+ a_0(1450)^-$ decays, which indicates that, compared to the asymptotic $\phi^S$ and $\phi^T$, these Gegenbauer polynomials could change the strong phases evidently in these pure annihilation decay channels. These predictions await for the future confirmation experimentally, which could further provide useful information to help explore the inner structure of the scalars and shed light on the annihilation decay mechanism.


title: Porting CMS Heterogeneous Pixel Reconstruction to Kokkos

abstract: Programming for a diverse set of compute accelerators in addition to the CPU is a challenge. Maintaining separate source code for each architecture would require lots of effort, and development of new algorithms would be daunting if it had to be repeated many times. Fortunately there are several portability technologies on the market such as Alpaka, Kokkos, and SYCL. These technologies aim to improve the developer productivity by making it possible to use the same source code for many different architectures. In this paper we use heterogeneous pixel reconstruction code from the CMS experiment at the CERNL LHC as a realistic use case of a GPU-targeting HEP reconstruction software, and report experience from prototyping a portable version of it using Kokkos. The development was done in a standalone program that attempts to model many of the complexities of a HEP data processing framework such as CMSSW. We also compare the achieved event processing throughput to the original CUDA code and a CPU version of it.


title: Joint Negative and Positive Learning for Noisy Labels

abstract: Training of Convolutional Neural Networks (CNNs) with data with noisy labels is known to be a challenge. Based on the fact that directly providing the label to the data (Positive Learning; PL) has a risk of allowing CNNs to memorize the contaminated labels for the case of noisy data, the indirect learning approach that uses complementary labels (Negative Learning for Noisy Labels; NLNL) has proven to be highly effective in preventing overfitting to noisy data as it reduces the risk of providing faulty target. NLNL further employs a three-stage pipeline to improve convergence. As a result, filtering noisy data through the NLNL pipeline is cumbersome, increasing the training cost. In this study, we propose a novel improvement of NLNL, named Joint Negative and Positive Learning (JNPL), that unifies the filtering pipeline into a single stage. JNPL trains CNN via two losses, NL+ and PL+, which are improved upon NL and PL loss functions, respectively. We analyze the fundamental issue of NL loss function and develop new NL+ loss function producing gradient that enhances the convergence of noisy data. Furthermore, PL+ loss function is designed to enable faster convergence to expected-to-be-clean data. We show that the NL+ and PL+ train CNN simultaneously, significantly simplifying the pipeline, allowing greater ease of practical use compared to NLNL. With a simple semi-supervised training technique, our method achieves state-of-the-art accuracy for noisy data classification based on the superior filtering ability.


title: Five Degree-of-Freedom Property Interpolation of Arbitrary Grain Boundaries via Voronoi Fundamental Zone Octonion Framework

abstract: We introduce the Voronoi fundamental zone octonion interpolation framework for grain boundary (GB) structure-property models and surrogates. The VFZO framework offers an advantage over other five degree-of-freedom based property interpolation methods because it is constructed as a point set in a manifold. This means that directly computed Euclidean distances approximate the original octonion distance with significantly reduced computation runtime (~7 CPU minutes vs. 153 CPU days for a 50000x50000 pairwise-distance matrix). This increased efficiency facilitates lower interpolation error through the use of significantly more input data. We demonstrate grain boundary energy interpolation results for a non-smooth validation function and simulated bi-crystal datasets for Fe and Ni using four interpolation methods: barycentric interpolation, Gaussian process regression (GPR), inverse-distance weighting, and nearest-neighbor interpolation. These are evaluated for 50000 random input GBs and 10 000 random prediction GBs. The best performance was achieved with GPR, which resulted in a reduction of the root mean square error (RMSE) by 83.0% relative to RMSE of a constant, average model. Likewise, interpolation on a large, noisy, molecular statics Fe simulation dataset improves performance by 34.4% compared to 21.2% in prior work. Interpolation on a small, low-noise MS Ni simulation dataset is similar to interpolation results for the original octonion metric (57.6% vs. 56.4%). A vectorized, parallelized, MATLAB interpolation function (interp5DOF.m) and related routines are available in our VFZO repository (github.com/sgbaird-5dof/interp) which can be applied to other crystallographic point groups. The VFZO framework offers advantages for computing distances between GBs, estimating property values for arbitrary GBs, and modeling surrogates of computationally expensive 5DOF functions and simulations.


title: Dimension-Preserving Reductions Between SVP and CVP in Different $p$-Norms

abstract: $ \newcommand{\SVP}{\textsf{SVP}} \newcommand{\CVP}{\textsf{CVP}} \newcommand{\eps}{\varepsilon} $We show a number of reductions between the Shortest Vector Problem and the Closest Vector Problem over lattices in different $\ell_p$ norms ($\SVP_p$ and $\CVP_p$ respectively). Specifically, we present the following $2^{\eps m}$-time reductions for $1 \leq p \leq q \leq \infty$, which all increase the rank $n$ and dimension $m$ of the input lattice by at most one: $\bullet$ a reduction from $\widetilde{O}(1/\eps^{1/p})\gamma$-approximate $\SVP_q$ to $\gamma$-approximate $\SVP_p$; $\bullet$ a reduction from $\widetilde{O}(1/\eps^{1/p}) \gamma$-approximate $\CVP_p$ to $\gamma$-approximate $\CVP_q$; and $\bullet$ a reduction from $\widetilde{O}(1/\eps^{1+1/p})$-$\CVP_q$ to $(1+\eps)$-unique $\SVP_p$ (which in turn trivially reduces to $(1+\eps)$-approximate $\SVP_p$). The last reduction is interesting even in the case $p = q$. In particular, this special case subsumes much prior work adapting $2^{O(m)}$-time $\SVP_p$ algorithms to solve $O(1)$-approximate $\CVP_p$. In the (important) special case when $p = q$, $1 \leq p \leq 2$, and the $\SVP_p$ oracle is exact, we show a stronger reduction, from $O(1/\eps^{1/p})\text{-}\CVP_p$ to (exact) $\SVP_p$ in $2^{\eps m}$ time. For example, taking $\eps = \log m/m$ and $p = 2$ gives a slight improvement over Kannan's celebrated polynomial-time reduction from $\sqrt{m}\text{-}\CVP_2$ to $\SVP_2$. We also note that the last two reductions can be combined to give a reduction from approximate-$\CVP_p$ to $\SVP_q$ for any $p$ and $q$, regardless of whether $p \leq q$ or $p > q$. Our techniques combine those from the recent breakthrough work of Eisenbrand and Venzin (which showed how to adapt the current fastest known algorithm for these problems in the $\ell_2$ norm to all $\ell_p$ norms) together with sparsification-based techniques.


title: A Dark Energy model from Generalized Proca Theory

abstract: We consider a specific dark energy model, which only includes the Lagrangian up to the cubic order in terms of the vector field self-interactions in the generalized Proca theory. We examine the cosmological parameters in the model by using the data sets of CMB and CMB+HST, respectively. In particular, the Hubble constant is found to be $H_0=71.80^{+1.07}_{-0.72}$ ($72.48^{+0.72}_{-0.60}$) $\rm kms^{-1}Mpc^{-1}$ at $68\%$~C.L. with CMB (CMB+HST), which would alleviate the Hubble constant tension. We also obtain that the reduced $\chi^2$ values in our model are close to unity when fitting with CMB and CMB+HST, illustrating that our model is a good candidate to describe the cosmological evolutions of the universe.


title: Low-Frequency Electronic Noise Spectroscopy of Quasi-2D van der Waals Antiferromagnetic Semiconductors

abstract: We investigated low-frequency current fluctuations, i.e. noise, in the quasi-two-dimensional (2D) van der Waals antiferromagnetic semiconductor FePS3 with the electronic bandgap of 1.5 eV. The electrical and noise characteristics of the p-type, highly resistive, thin films of FePS3 were measured at different temperatures. The noise spectral density was of the 1/f - type over most of the examined temperature range but revealed well-defined Lorentzian bulges, and increased strongly near the Neel temperature of 118 K (f is the frequency). Intriguingly, the noise spectral density attained its minimum at temperature T~200 K, which was attributed to an interplay of two opposite trends in noise scaling - one for semiconductors and another for materials with the phase transitions. The Lorentzian corner frequencies revealed unusual dependence on temperature and bias voltage, suggesting that their origin is different from the generation - recombination noise in conventional semiconductors. The obtained results are important for proposed applications of antiferromagnetic semiconductors in spintronic devices. They also attest to the power of the noise spectroscopy for monitoring various phase transitions.


title: Optical flux pump in the quantum Hall regime

abstract: A seminal gedankenexperiment by Laughlin describes the charge transport in quantum Hall systems via the pumping of flux. Here, we propose an optical scheme which probes and manipulates quantum Hall systems in a similar way: When light containing orbital angular momentum interacts with electronic Landau levels, it acts as a flux pump which radially moves the electrons through the sample. We investigate this effect for a graphene system with Corbino geometry, and calculate the radial current in the absence of any electric potential bias. Remarkably, the current is robust against the disorder which is consistent with the lattice symmetry, and in the weak excitation limit, the current shows a power-law scaling with intensity characterized by the novel exponent 2/3.

categories: cond-mat.mes-hall cond-mat.dis-nn cond-mat.str-el physics.optics


title: Fast digital refocusing and depth of field extended Fourier ptychography microscopy

abstract: Fourier ptychography microscopy (FPM), sharing its roots with synthetic aperture technique and phase retrieval method, is a recently developed computational microscopic super-resolution technique. By turning on the light-emitting diode (LED) elements sequentially and acquiring the corresponding images that contain different spatial frequencies, FPM can achieve a wide field-of-view (FOV), high-spatial-resolution imaging, and phase recovery simultaneously. Conventional FPM assumes that the sample is sufficiently thin and strictly in focus. Nevertheless, even for a relatively thin sample, the non-planar distribution characteristics and the non-ideal position/posture of the sample will cause all or part of FOV to be defocused. In this paper, we proposed a fast digital refocusing and depth-of-field (DOF) extended FPM strategy by taking the advantages of image lateral shift caused by sample defocusing and varied-angle illuminations. The lateral shift amount is proportional to the defocus distance and the tangent of the illumination angle. Instead of searching the optimal defocus distance in optimization strategy, which is time-consuming, the defocus distance of each subregion of the sample can be precisely and quickly obtained by calculating the relative lateral shift amounts corresponding to different oblique illuminations. And then, the digital refocusing strategy rooting in the Fresnel propagator is integrated into the FPM framework to achieve the high-resolution and phase information reconstruction for each part of the sample, which means the DOF the FPM is effectively extended. The feasibility of the proposed method in fast digital refocusing and FOV extending is verified in the actual experiments with the USAF chart and biological samples.


title: On the implied weights of linear regression for causal inference

abstract: A basic principle in the design of observational studies is to approximate the randomized experiment that would have been conducted under controlled circumstances. Now, linear regression models are commonly used to analyze observational data and estimate causal effects. How do linear regression adjustments in observational studies emulate key features of randomized experiments, such as covariate balance, self-weighted sampling, and study representativeness? In this paper, we provide answers to this and related questions by analyzing the implied (individual-level data) weights of linear regression methods. We derive new closed-form expressions of the weights and examine their properties in both finite and asymptotic regimes. We show that the implied weights of general regression problems can be equivalently obtained by solving a convex optimization problem. Among others, we study doubly and multiply robust properties of regression estimators from the perspective of their implied weights. This equivalence allows us to bridge ideas from the regression modeling and causal inference literatures. As a result, we propose novel regression diagnostics for causal inference that are part of the design stage of an observational study. As special cases, we analyze the implied weights in common settings such as multi-valued treatments and regression adjustment after matching. We implement the weights and diagnostics in the new lmw package for R.


title: Approximate solutions for the ion-laser interaction in the high intensity regime: Matrix method perturbative analysis

abstract: We provide an explicit expression for the second-order perturbative solution of a single trapped-ion interacting with a laser field in the strong excitation regime. From the perturbative analytical solution, based on a matrix method and a final normalization of the perturbed solutions, we show that the probability to find the ion in its excited state fits well with former results.


title: Rotating scalarized black holes in scalar couplings to two topological terms

abstract: The tachyonic instability of the Kerr black holes is analyzed in the Einstein-scalar theory with the quadratic scalar couplings to two topological terms which are parity-even Gauss-Bonnet and parity-odd Chern-Simons terms. For positive coupling $\alpha$, we use the (2+1)-dimensional hyperboloidal foliation method to derive the threshold curve which is the boundary between stable and unstable Kerr black holes by considering a spherically symmetric scalar-mode perturbation. In case of negative coupling, a newly bound of $a\ge0.26$ with $a$ the rotation parameter is found for unstable Kerr black holes and its threshold curve is derived.


title: A Note on Classical Aspects of the Four Dimensional Anomaly-Free Twistor String

abstract: The recently introduced anomaly-free twistor string in four dimensions is shown to be defined not just in flat but also in curved twistor space. Further, arguments are given that the classical limit of the corresponding string field theory, if it exists, is related to general relativity, in particular to the Isenberg and Yasskin construction using teleparallel gravity. For spacetimes of Petrov type D with two shear-free null congruences the construction can be simplified using two-dimensional twistor manifolds.


title: A Novel Generalised Meta-Heuristic Framework for Dynamic Capacitated Arc Routing Problems

abstract: The capacitated arc routing problem (CARP) is a challenging combinatorial optimisation problem abstracted from many real-world applications, such as waste collection, road gritting and mail delivery. However, few studies considered dynamic changes during the vehicles' service, which can cause the original schedule infeasible or obsolete. The few existing studies are limited by the dynamic scenarios considered, and by overly complicated algorithms that are unable to benefit from the wealth of contributions provided by the existing CARP literature. In this paper, we first provide a mathematical formulation of dynamic CARP (DCARP) and design a simulation system that is able to consider dynamic events while a routing solution is already partially executed. We then propose a novel framework which can benefit from existing static CARP optimisation algorithms so that they could be used to handle DCARP instances. The framework is very flexible. In response to a dynamic event, it can use either a simple restart strategy or a sequence transfer strategy that benefits from past optimisation experience. Empirical studies have been conducted on a wide range of DCARP instances to evaluate our proposed framework. The results show that the proposed framework significantly improves over state-of-the-art dynamic optimisation algorithms.


title: Survey on homological flips and homological flops

abstract: We give a survey for the results in [Yeu20a, Yeu20b, Yeu20c], which attempts to relate the derived categories under general classes of flips and flops. We indicate how the approach fails because of what appears to be a formal problem. We give some ideas, and record some failed attempts, to fix this problem. We also present some new examples.


title: Cutting Cosmological Correlators

abstract: The initial conditions of our universe appear to us in the form of a classical probability distribution that we probe with cosmological observations. In the current leading paradigm, this probability distribution arises from a quantum mechanical wavefunction of the universe. Here we ask what the imprint of quantum mechanics is on the late time observables. We show that the requirement of unitary time evolution, colloquially the conservation of probabilities, fixes the analytic structure of the wavefunction and of all the cosmological correlators it encodes. In particular, we derive in perturbation theory an infinite set of single-cut rules that generalize the Cosmological Optical Theorem and relate a certain discontinuity of any tree-level $n$-point function to that of lower-point functions. Our rules are closely related to, but distinct from the recently derived Cosmological Cutting Rules. They follow from the choice of the Bunch-Davies vacuum and a simple property of the (bulk-to-bulk) propagator and are astoundingly general: we prove that they are valid for fields with a linear dispersion relation and any mass, any integer spin and arbitrary local interactions with any number of derivatives. They also apply to general FLRW spacetimes admitting a Bunch-Davies vacuum, including de Sitter, slow-roll inflation, power-law cosmologies and even resonant oscillations in axion monodromy. We verify the single-cut rules in a number of non-trivial examples, including four massless scalars exchanging a massive scalar, as relevant for cosmological collider physics, four gravitons exchanging a graviton, and a scalar five-point function.


title: OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation

abstract: We propose a new algorithm to simplify the controller development for distributed robotic systems subject to external observations, disturbances, and communication delays. Unlike prior approaches that propose specialized solutions to handling communication latency for specific robotic applications, our algorithm uses an arbitrary centralized controller as the specification and automatically generates distributed controllers with communication management and delay compensation. We formulate our goal as nonlinear optimal control -- using a regret minimizing objective that measures how much the distributed agents behave differently from the delay-free centralized response -- and solve for optimal actions w.r.t. local estimations of this objective using gradient-based optimization. We analyze our proposed algorithm's behavior under a linear time-invariant special case and prove that the closed-loop dynamics satisfy a form of input-to-state stability w.r.t. unexpected disturbances and observations. Our experimental results on both simulated and real-world robotic tasks demonstrate the practical usefulness of our approach and show significant improvement over several baseline approaches.


title: A second-order Ensemble method based on a blended backward differentiation formula timestepping scheme for time-dependent Navier-Stokes equations

abstract: We present a second-order ensemble method based on a blended three-step backward differentiation formula (BDF) timestepping scheme to compute an ensemble of Navier-Stokes equations. Compared with the only existing second-order ensemble method that combines the two-step BDF timestepping scheme and a special explicit second-order Adams-Bashforth treatment of the advection term, this method is more accurate with nominal increase in computational cost. We give comprehensive stability and error analysis for the method. Numerical examples are also provided to verify theoretical results and demonstrate the improved accuracy of the method.


title: Time-asymptotic stability of composite waves of viscous shock and rarefaction for barotropic Navier-Stokes equations

abstract: We prove the time-asymptotic stability of composite waves consisting of the superposition of a viscous shock and a rarefaction for the one-dimensional compressible barotropic Navier-Stokes equations. Our result solves a long-standing problem first mentioned in 1986 by Matsumura and Nishihara in [25]. The same authors introduced it officially as an open problem in 1992 in [26] and it was again described as very challenging open problem in 2018 in the survey paper [23]. The main difficulty is due to the incompatibility of the standard anti-derivative method, used to study the stability of viscous shocks, and the energy method used for the stability of rarefactions. Instead of the anti-derivative method, our proof uses the $a$-contraction with shifts theory recently developed by two of the authors. This method is energy based, and can seamlessly handle the superposition of waves of different kinds.


title: Zero-Resource Multi-Dialectal Arabic Natural Language Understanding

abstract: A reasonable amount of annotated data is required for fine-tuning pre-trained language models (PLM) on downstream tasks. However, obtaining labeled examples for different language varieties can be costly. In this paper, we investigate the zero-shot performance on Dialectal Arabic (DA) when fine-tuning a PLM on modern standard Arabic (MSA) data only -- identifying a significant performance drop when evaluating such models on DA. To remedy such performance drop, we propose self-training with unlabeled DA data and apply it in the context of named entity recognition (NER), part-of-speech (POS) tagging, and sarcasm detection (SRD) on several DA varieties. Our results demonstrate the effectiveness of self-training with unlabeled DA data: improving zero-shot MSA-to-DA transfer by as large as $\sim$10\% F$_1$ (NER), 2\% accuracy (POS tagging), and 4.5\% F$_1$ (SRD). We conduct an ablation experiment and show that the performance boost observed directly results from the unlabeled DA examples used for self-training. Our work opens up opportunities for leveraging the relatively abundant labeled MSA datasets to develop DA models for zero and low-resource dialects. We also report new state-of-the-art performance on all three tasks and open-source our fine-tuned models for the research community.


title: The unconditional uniqueness for the energy-supercritical NLS

abstract: We consider the cubic and quintic nonlinear Schr\"{o}dinger equations (NLS) under the $\mathbb{R}^{d}$ and $\mathbb{T}^{d}$ energy-supercritical setting. Via a newly developed unified scheme, we prove the unconditional uniqueness for solutions to NLS at critical regularity for all dimensions. Thus, together with [18,19], the unconditional uniqueness problems for $H^{1}$-critical and $H^{1}$-supercritical cubic and quintic NLS are completely and uniformly resolved at critical regularity for these domains. One application of our theorem is to prove that defocusing blowup solutions of the type in [54] is the only possible $C([0,T);\dot{H}^{s_{c}})$ solution if exist in these domains.


title: A Semi-Supervised Classification Method of Apicomplexan Parasites and Host Cell Using Contrastive Learning Strategy

abstract: A common shortfall of supervised learning for medical imaging is the greedy need for human annotations, which is often expensive and time-consuming to obtain. This paper proposes a semi-supervised classification method for three kinds of apicomplexan parasites and non-infected host cells microscopic images, which uses a small number of labeled data and a large number of unlabeled data for training. There are two challenges in microscopic image recognition. The first is that salient structures of the microscopic images are more fuzzy and intricate than natural images' on a real-world scale. The second is that insignificant textures, like background staining, lightness, and contrast level, vary a lot in samples from different clinical scenarios. To address these challenges, we aim to learn a distinguishable and appearance-invariant representation by contrastive learning strategy. On one hand, macroscopic images, which share similar shape characteristics in morphology, are introduced to contrast for structure enhancement. On the other hand, different appearance transformations, including color distortion and flittering, are utilized to contrast for texture elimination. In the case where only 1% of microscopic images are labeled, the proposed method reaches an accuracy of 94.90% in a generalized testing set.