title: Some problems of the projectile motion with a square-law resistance

abstract: The influence of the force of the quadratic resistance of the medium on the change in some interesting characteristics of the motion of the projectile, which take place when the projectile moves in vacuum, is investigated. Loci that ensure maximization of the flight range, the arc length of the projectile trajectory and a non-decreasing of the length of the radius-vector are constructed numerically (and partly analytically). As examples, the motion of a baseball, a tennis ball and a badminton shuttlecock is studied.


title: A distillation based approach for the diagnosis of diseases

abstract: Presently, Covid-19 is a serious threat to the world at large. Efforts are being made to reduce disease screening times and in the development of a vaccine to resist this disease, even as thousands succumb to it everyday. We propose a novel method of automated screening of diseases like Covid-19 and pneumonia from Chest X-Ray images with the help of Computer Vision. Unlike computer vision classification algorithms which come with heavy computational costs, we propose a knowledge distillation based approach which allows us to bring down the model depth, while preserving the accuracy. We make use of an augmentation of the standard distillation module with an auxiliary intermediate assistant network that aids in the continuity of the flow of information. Following this approach, we are able to build an extremely light student network, consisting of just 3 convolutional blocks without any compromise on accuracy. We thus propose a method of classification of diseases which can not only lead to faster screening, but can also operate seamlessly on low-end devices.


title: Bayesian approach to long-range correlations and multiplicity fluctuations in nucleus-nucleus collisions

abstract: The number of particles detected in a nucleus-nucleus collision strongly depends on the impact parameter of the collision. Therefore, multiplicity fluctuations, as well as rapidity correlations of multiplicities, are dominated by impact parameter fluctuations. We present a method based on Bayesian inference which allows for a robust reconstruction of fluctuations and correlations at fixed impact parameter. We apply the method to ATLAS data on the distribution of charged multiplicity and transverse energy. We argue that multiplicity fluctuations are smaller at large rapidity than around central rapidity. We suggest simple, new analyses, in order to confirm this effect.


title: Spectroscopic evidence for a large spot on the dimming Betelgeuse

abstract: During October 2019 and March 2020, the luminous red supergiant Betelgeuse demonstrated an unusually deep minimum of its brightness. It became fainter by more than one magnitude and this is the most significant dimming observed in the recent decades. While the reason for the dimming is debated, pre-phase of supernova explosion, obscuring dust, or changes in the photosphere of the star were suggested scenarios. Here, we present spectroscopic studies of Betelgeuse using high-resolution and high signal-to- noise ratio near-infrared spectra obtained at Weihai Observatory on four epochs in 2020 covering the phases of during and after dimming. We show that the dimming episode is caused by the dropping of its effective temperature by at least 170 K on 2020 January 31, that can be attributed to the emergence of a large dark spot on the surface of the star.


title: Dynamic electron-phonon and spin-phonon interactions due to inertia

abstract: THz radiation allows for the controlled excitation of vibrational modes in molecules and crystals. We show that the circular motion of ions introduces inertial effects on electrons. In analogy to the classical Coriolis and centrifugal forces, these effects are the spin-rotation coupling, the centrifugal field coupling, the centrifugal spin-orbit coupling, and the centrifugal redshift. Depending on the phonon decay, these effects persist for various picoseconds after excitation. Potential boosting of the effects would make it a promising platform for vibration-based control of localized quantum states or chemical reaction barriers.


title: Solution Enumeration by Optimality in Answer Set Programming

abstract: Given a combinatorial search problem, it may be highly useful to enumerate its (all) solutions besides just finding one solution, or showing that none exists. The same can be stated about optimal solutions if an objective function is provided. This work goes beyond the bare enumeration of optimal solutions and addresses the computational task of solution enumeration by optimality (SEO). This task is studied in the context of Answer Set Programming (ASP) where (optimal) solutions of a problem are captured with the answer sets of a logic program encoding the problem. Existing answer-set solvers already support the enumeration of all (optimal) answer sets. However, in this work, we generalize the enumeration of optimal answer sets beyond strictly optimal ones, giving rise to the idea of answer set enumeration in the order of optimality (ASEO). This approach is applicable up to the best k answer sets or in an unlimited setting, which amounts to a process of sorting answer sets based on the objective function. As the main contribution of this work, we present the first general algorithms for the aforementioned tasks of answer set enumeration. Moreover, we illustrate the potential use cases of ASEO. First, we study how efficiently access to the next-best solutions can be achieved in a number of optimization problems that have been formalized and solved in ASP. Second, we show that ASEO provides us with an effective sampling technique for Bayesian networks.


title: Piloting a Game Jam in Nigeria to Support Empathy and Compassion

abstract: While games may help to support skills practice and attitudinal change, the game creation process itself may also be effective in enhancing empathy and compassion for other people. Nigeria has over 250 ethnic groups and 500 languages amid its 200 million people. We aim to enhance perspective-taking, empathy, and compassion across different ethnic groups using game jams in public schools in Nigeria. In 2021, we piloted a game jam focused on identity exploration and perspective-taking for students ages 12 to 20. Initial results and next steps are shared.


title: Evaluation of Age Control Protocol (ACP) and ACP+ on ESP32

abstract: Age Control Protocol (ACP) and its enhanced version, ACP+, are recently proposed transport layer protocols to control Age of Information of data flows. This study presents an experimental evaluation of ACP and ACP+ on the ESP32 microcontroller, a currently popular IoT device. We identify several issues related to the implementation of these protocols on this platform and in general on short-haul, low-delay connections. We propose solutions to overcome these issues in the form of simple modifications to ACP+, and compare the performance of the resulting modified ACP+ with that of the original protocols on a small-delay local wireless IoT connection.


title: A Tool for Organizing Key Characteristics of Virtual, Augmented, and Mixed Reality for Human-Robot Interaction Systems: Synthesizing VAM-HRI Trends and Takeaways

abstract: Frameworks have begun to emerge to categorize Virtual, Augmented, and Mixed Reality (VAM) technologies that provide immersive, intuitive interfaces to facilitate Human-Robot Interaction. These frameworks, however, fail to capture key characteristics of the growing subfield of VAM-HRI and can be difficult to consistently apply due to continuous scales. This work builds upon these prior frameworks through the creation of a Tool for Organizing Key Characteristics of VAM-HRI Systems (TOKCS). TOKCS discretizes the continuous scales used within prior works for more consistent classification and adds additional characteristics related to a robot's internal model, anchor locations, manipulability, and the system's software and hardware. To showcase the tool's capability, TOKCS is applied to the ten papers from the fourth VAM-HRI workshop and examined for key trends and takeaways. These trends highlight the expressive capability of TOKCS while also helping frame newer trends and future work recommendations for VAM-HRI research.


title: An empirical assessment of deep learning approaches to task-oriented dialog management

abstract: Deep learning is providing very positive results in areas related to conversational interfaces, such as speech recognition, but its potential benefit for dialog management has still not been fully studied. In this paper, we perform an assessment of different configurations for deep-learned dialog management with three dialog corpora from different application domains and varying in size, dimensionality and possible system responses. Our results have allowed us to identify several aspects that can have an impact on accuracy, including the approaches used for feature extraction, input representation, context consideration and the hyper-parameters of the deep neural networks employed.


title: Forming Molecular States with Hadronic Rescattering

abstract: A method for modelling the prompt production of molecular states using the hadronic rescattering framework of the general-purpose Pythia event generator is introduced. Production cross sections of possible exotic hadronic molecules via hadronic rescattering at the LHC are calculated for the $\chi_{c1}(3872)$ resonance, a possible tetraquark state, as well as three possible pentaquark states, $P_c^+(4312)$, $P_c^+(4440)$, and $P_c^+(4457)$. For the $P_c^+$ states, the expected cross section from $\Lambda_b$ decays is compared to the hadronic-rescattering production. The $\chi_{c1}(3872)$ cross section is compared to the fiducial $\chi_{c1}(3872)$ cross-section measurement by LHCb and found to contribute at a level of O(1%). Finally, the expected yields of $P_c^+$ production from hadronic rescattering during Run 3 of LHCb are estimated. The prompt background is found to be significantly larger than the prompt $P_c^+$ signal from hadronic rescattering.


title: Role of interfacial energy and liquid diffusivities on pattern formation during thin-film three-phase eutectic growth

abstract: In this paper, we investigate three-phase eutectic growth during thin-film directional solidification of a model symmetric ternary eutectic alloy. In contrast to two-phase eutectics that have only a single possibility, ${\alpha}{\beta}{\alpha}{\beta}$..., as the growth pattern, during three-phase eutectic growth infinite possibilities exist. Here, we explore the possible existence of pattern selection influenced by the change in the solid-solid interfacial energies and the diffusivities. We begin the study by estimating the undercooling vs. spacing variation for the simplest possible configurations of pattern lengths 3 and 4, where phase-field simulations are utilized to quantify the influence of the solid-solid interfacial energy and the contrast in the component diffusivities. Subsequently, extended simulations consisting of multiple periods of ${\alpha}{\beta}{\delta}$... as well as ${\alpha}{\beta}{\delta}{\beta}$... are carried out for assessing the stability of the configurations to long-wavelength perturbations in spacing. Thereafter, growth competition among the simplest patterns is investigated through phase-field simulations of coupled growth of configurations of the type [${\alpha}{\beta}{\delta}]_m[{\alpha}{\beta}{\delta}{\beta}]_n$, (m,n) being the respective number of periods. Finally, pattern selection is studied by initializing with random initial configurations and classifying the emerging patterns based on the phase sequences. The principal finding is that, while there is no strong phase selection, between the solid-solid interfacial energies and the contrast in the component diffusivities, we find the latter to strongly influence pattern morphology.


title: Hadron Interactions for Arbitrary Energies and Species, with Applications to Cosmic rays

abstract: The Pythia event generator is used in several contexts to study hadron and lepton interactions, notably $pp$ and $p\bar{p}$ collisions. In this article we extend the hadronic modelling to encompass the collision of a wide range of hadrons $h$ with either a proton or a neutron, or with a simplified model of nuclear matter. To this end we model $hp$ total and partial cross sections as a function of energy, and introduce new parton distribution functions for a wide range of hadrons, as required for a proper modelling of multiparton interactions. The potential usefulness of the framework is illustrated by a simple study of the evolution of cosmic rays in the atmosphere, and by an even simpler one of shower evolution in a solid detector material. The new code will be made available for future applications.


title: Hadron spectroscopy using the light-front holographic Schr\"odinger equation and the 't Hooft equation

abstract: Light-front holographic QCD provides a successful first approximation to hadron spectroscopy in the chiral limit of $(3+1)$-dim light-front QCD, where a holographic Schr\"odinger-like equation, with an emerging confining scale, $\kappa$, governs confinement in the transverse direction. In its supersymmetric formulation, light-front holography predicts that each baryon has two superpartners: a meson and a tetraquark, with their degenerate masses being generated by the same scale, $\kappa$. In nature, this mass degeneracy is lifted by chiral symmetry breaking and longitudinal confinement. In this paper, we show that the latter can be successfully captured by the 't Hooft equation of $(1+1)$-dim, large $N_c$, QCD. Together, the holographic Schr\"odinger equation and the 't Hooft equation, provide a good global description of the data across the full hadron spectrum with a universal $\kappa$.


title: Higher order NLS with anisotropic dispersion and modulation spaces: a global existence and scattering result

abstract: In this paper we transfer a small data global existence and scattering result by Wang and Hudzik to the more general case of modulation spaces $M_{p, q}^s(\mathbb{R}^d)$ where $q = 1$ and $s \geq 0$ or $q \in (1, \infty]$ and $s > \frac{d}{q'}$ and to the nonlinear Schr\"odinger equation with higher order anisotropic dispersion.


title: A note on the weak convergence of continuously integrable sequences

abstract: A uniformly continuously integrable sequence of real-valued measurable functions, defined on some probability space, is relatively compact in the $\sigma(L^1,L^\infty)$ topology. In this paper, we link such a result to weak convergence theory of bounded measures as exposed in Billingsley (1968) and in Lo(2021) to offer a detailed and new proof using the ideas beneath the proof of prohorov's theorem where the continuous integrability replaces the uniform or asymptotic tightness.


title: Building Analytics Pipelines for Querying Big Streams and Data Histories with H-STREAM

abstract: This paper introduces H-STREAM, a big stream/data processing pipelines evaluation engine that proposes stream processing operators as micro-services to support the analysis and visualisation of Big Data streams stemming from IoT (Internet of Things) environments. H-STREAM micro-services combine stream processing and data storage techniques tuned depending on the number of things producing streams, the pace at which they produce them, and the physical computing resources available for processing them online and delivering them to consumers. H-STREAM delivers stream processing and visualisation micro-services installed in a cloud environment. Micro-services can be composed for implementing specific stream aggregation analysis pipelines as queries. The paper presents an experimental validation using Microsoft Azure as a deployment environment for testing the capacity of H-STREAM for dealing with velocity and volume challenges in an (i) a neuroscience experiment and (in) a social connectivity analysis scenario running on IoT farms.


title: Fully Modified Least Squares Cointegrating Parameter Estimation in Multicointegrated Systems

abstract: Multicointegration is traditionally defined as a particular long run relationship among variables in a parametric vector autoregressive model that introduces additional cointegrating links between these variables and partial sums of the equilibrium errors. This paper departs from the parametric model, using a semiparametric formulation that reveals the explicit role that singularity of the long run conditional covariance matrix plays in determining multicointegration. The semiparametric framework has the advantage that short run dynamics do not need to be modeled and estimation by standard techniques such as fully modified least squares (FM-OLS) on the original I(1) system is straightforward. The paper derives FM-OLS limit theory in the multicointegrated setting, showing how faster rates of convergence are achieved in the direction of singularity and that the limit distribution depends on the distribution of the conditional one-sided long run covariance estimator used in FM-OLS estimation. Wald tests of restrictions on the regression coefficients have nonstandard limit theory which depends on nuisance parameters in general. The usual tests are shown to be conservative when the restrictions are isolated to the directions of singularity and, under certain conditions, are invariant to singularity otherwise. Simulations show that approximations derived in the paper work well in finite samples. The findings are illustrated empirically in an analysis of fiscal sustainability of the US government over the post-war period.


title: Augmented Reality and Gamification: A Framework for Developing Supplementary Learning Tool

abstract: The main purpose of the study is to develop a supplementary learning tool framework by the use of a dynamic mobile application using Unity AR and Vuforia for Senior High School (SHS) students and teachers to help the learning process in SHS Earth Science. The researchers will be using the Software Development Life Cycle (SDLC) Model of methodology to ensure the quality of the software as well as the correctness of the development process. The expected result of the study is that Augmented Reality and Gamification will now be used as a supplementary learning tool in SHS Earth Science. Augmented Reality and Gamification can now be used as a supplementary learning tool in SHS Earth Science using the designed framework. Future studies will focus on the development of the framework and the mobile application. Since the system has a lot of potential in the education sector and due to the effects of COVID-19, the software will serve as a pioneer to show that a supplementary tool will help students learn logically and entertainingly especially since schools nowadays are transitioning with either distance learning or blended learning.


title: Critical $1$- and $2$-point spin correlations for the $O(2)$ model in $3d$ bounded domains

abstract: We study the critical properties of the $3d$ $O(2)$ universality class in bounded domains through Monte Carlo simulations of the clock model. We use an improved version of the latter, chosen to minimize finite-size corrections at criticality, with 8 orientations of the spins and in the presence of vacancies. The domain chosen for the simulations is the slab configuration with fixed spins at the boundaries. We obtain the universal critical magnetization profile and two-point correlations, which favorably compare with the predictions of the critical geometry approach based on the Yamabe equation. The main result is that the correlations, once the dimensionful contributions are factored out with the critical magnetization profile, are shown to only depend on the distance between the points computed using a metric found solving the fractional Yamabe equation. The quantitative comparison with the corresponding results for the Ising model at criticality is shown and discussed. Moreover, from the magnetization profiles the critical exponent $\eta$ is extracted and found to be in reasonable agreement with up-to-date results.


title: Impact of Aliasing on Generalization in Deep Convolutional Networks

abstract: We investigate the impact of aliasing on generalization in Deep Convolutional Networks and show that data augmentation schemes alone are unable to prevent it due to structural limitations in widely used architectures. Drawing insights from frequency analysis theory, we take a closer look at ResNet and EfficientNet architectures and review the trade-off between aliasing and information loss in each of their major components. We show how to mitigate aliasing by inserting non-trainable low-pass filters at key locations, particularly where networks lack the capacity to learn them. These simple architectural changes lead to substantial improvements in generalization on i.i.d. and even more on out-of-distribution conditions, such as image classification under natural corruptions on ImageNet-C [11] and few-shot learning on Meta-Dataset [26]. State-of-the art results are achieved on both datasets without introducing additional trainable parameters and using the default hyper-parameters of open source codebases.


title: Clustering Algorithms to Analyze the Road Traffic Crashes

abstract: Selecting an appropriate clustering method as well as an optimal number of clusters in road accident data is at times confusing and difficult. This paper analyzes shortcomings of different existing techniques applied to cluster accident-prone areas and recommends using Density-Based Spatial Clustering of Applications with Noise (DBSCAN) and Ordering Points To Identify the Clustering Structure (OPTICS) to overcome them. Comparative performance analysis based on real-life data on the recorded cases of road accidents in North Carolina also show more effectiveness and efficiency achieved by these algorithms.


title: Approximate Last Iterate Convergence in Overparameterized GANs

abstract: In this work, we showed that the Implicit Update and Predictive Methods dynamics introduced in prior work satisfy last iterate convergence to a neighborhood around the optimum in overparameterized GANs, where the size of the neighborhood shrinks with the width of the neural network. This is in contrast to prior results, which only guaranteed average iterate convergence.


title: Clio: A Hardware-Software Co-Designed Disaggregated Memory System

abstract: Memory disaggregation has attracted great attention recently because of its benefits in efficient memory utilization and ease of management. So far, memory disaggregation research has all taken one of two approaches: building/emulating memory nodes using regular servers or building them using raw memory devices with no processing power. The former incurs higher monetary cost and faces tail latency and scalability limitations, while the latter introduces performance, security, and management problems. Server-based memory nodes and memory nodes with no processing power are two extreme approaches. We seek a sweet spot in the middle by proposing a hardware-based memory disaggregation solution that has the right amount of processing power at memory nodes. Furthermore, we take a clean-slate approach by starting from the requirements of memory disaggregation and designing a memory-disaggregation-native system. We built Clio, a disaggregated memory system that virtualizes, protects, and manages disaggregated memory at hardware-based memory nodes. The Clio hardware includes a new virtual memory system, a customized network system, and a framework for computation offloading. In building Clio, we not only co-design OS functionalities, hardware architecture, and the network system, but also co-design compute nodes and memory nodes. Our FPGA prototype of Clio demonstrates that each memory node can achieve 100 Gbps throughput and an end-to-end latency of 2.5 us at median and 3.2us at the 99th percentile. Clio also scales much better and has orders of magnitude lower tail latency than RDMA. It has 1.1x to 3.4x energy saving compared to CPU-based and SmartNIC-based disaggregated memory systems and is 2.7x faster than software-based SmartNIC solutions.


title: Error Performance of Uplink SIMO-NOMA with Joint Maximum-Likelihood and Adaptive M-PSK

abstract: This paper studies the performance of the uplink Non-Orthogonal Multiple Access (NOMA) with Joint Maximum-Likelihood Detector (JML). We present a generalized upper bound of bit-error rate (BER) expression of adaptive M-ary phase-shift keying (M-PSK) over Rayleigh fading channels. Our studies are enriched through the use of a single transmitting antenna by each user and multiple receiving antennas at the base station (single-input-multiple-output (SIMO)). The derivation of the upper bound expression is obtained considering an arbitrary constellation size by performing Maximum Ratio Combining (MRC) of diversity paths. The extensive computer simulations validate the analysis and it is revealed that the JML outperforms the existing detecting algorithms significantly and achieves the full diversity order for each user.


title: Rotational and Reflectional Equivariant Convolutional Neural Network for data-limited applications: Multiphase Flow demonstration

abstract: This article deals with approximating steady-state particle-resolved fluid flow around a fixed particle of interest under the influence of randomly distributed stationary particles in a dispersed multiphase setup using Convolutional Neural Network (CNN). The considered problem involves rotational symmetry about the mean velocity (streamwise) direction. Thus, this work enforces this symmetry using $\mathbf{\textbf{SE(3)-equivariant}}$, special Euclidean group of dimension 3, CNN architecture, which is translation and three-dimensional rotation equivariant. This study mainly explores the generalization capabilities and benefits of SE(3)-equivariant network. Accurate synthetic flow fields for Reynolds number and particle volume fraction combinations spanning over a range of [86.22, 172.96] and [0.11, 0.45] respectively are produced with careful application of symmetry-aware data-driven approach.


title: Game Theory and Machine Learning in UAVs-Assisted Wireless Communication Networks: A Survey

abstract: In recent years, Unmanned Aerial Vehicles (UAVs) have been used in fields such as architecture, business delivery, military and civilian theaters, and many others. With increased applications comes the increased demand for advanced algorithms for resource allocation and energy management. As is well known, game theory and machine learning are two powerful tools already widely used in the wireless communication field and there are numerous surveys of game theory and machine learning usage in wireless communication. Existing surveys however focus either on game theory or machine learning and due to this fact, the current article surveys both game-theoretic and machine learning algorithms for use by UAVs in Wireless Communication Networks (U-WCNs). We also discuss how to combine game theory and machine learning for solving problems in U-WCNs and identify several future research directions.


title: Upcycling Low-Nickel Polycrystalline Cathodes from Retired Electric Vehicle Batteries into Single-Crystal Nickel-Rich Cathodes

abstract: The electrification revolution in automobile industry and others demands annual production capacity of batteries at least on the order of 102 gigawatts hours, which presents a twofold challenge to supply of key materials such as cobalt and nickel and to recycling when the batteries retire. Pyrometallurgical and hydrometallurgical recycling are currently used in industry but suffer from complexity, high costs, and secondary pollution. Here we report a direct-recycling method in molten salts (MSDR) that is environmentally benign and value-creating based on a techno-economic analysis using real-world data and price information. We also experimentally demonstrate the feasibility of MSDR by upcycling a low-nickel polycrystalline LiNi0.5Mn0.3Co0.2O2 (NMC) cathode material that is widely used in early-year electric vehicles into Ni-rich (Ni > 65%) single-crystal NMCs with increased energy-density (>10% increase) and outstanding electrochemical performance (>94% capacity retention after 500 cycles in pouch-type full cells). This work opens up new opportunities for closed-loop recycling of electric vehicle batteries and manufacturing of next-generation NMC cathode materials.


title: Study of $\chi_{bJ}(nP) \rightarrow \omega \Upsilon(1S)$ at Belle

abstract: We report results from a study of hadronic transitions of the $\chi_{bJ}(nP)$ states of bottomonium at Belle. The $P$-wave states are reconstructed in transitions to the $\Upsilon(1S)$ with the emission of an $\omega$ meson. The transitions of the $n=2$ triplet states provide a unique laboratory in which to study nonrelativistic quantum chromodynamics, as the kinematic threshold for production of an $\omega$ and $\Upsilon(1S)$ lies between the $J=0$ and $J=1$ states. A search for the $\chi_{bJ}(3P)$ states is also reported.


title: Kinematics clustering enables head impact subtyping for better traumatic brain injury prediction

abstract: Traumatic brain injury can be caused by various types of head impacts. However, due to different kinematic characteristics, many brain injury risk estimation models are not generalizable across the variety of impacts that humans may sustain. The current definitions of head impact subtypes are based on impact sources (e.g., football, traffic accident), which may not reflect the intrinsic kinematic similarities of impacts across the impact sources. To investigate the potential new definitions of impact subtypes based on kinematics, 3,161 head impacts from various sources including simulation, college football, mixed martial arts, and car racing were collected. We applied the K-means clustering to cluster the impacts on 16 standardized temporal features from head rotation kinematics. Then, we developed subtype-specific ridge regression models for cumulative strain damage (using the threshold of 15%), which significantly improved the estimation accuracy compared with the baseline method which mixed impacts from different sources and developed one model (R^2 from 0.7 to 0.9). To investigate the effect of kinematic features, we presented the top three critical features (maximum resultant angular acceleration, maximum angular acceleration along the z-axis, maximum linear acceleration along the y-axis) based on regression accuracy and used logistic regression to find the critical points for each feature that partitioned the subtypes. This study enables researchers to define head impact subtypes in a data-driven manner, which leads to more generalizable brain injury risk estimation.


title: Learning GAN-based Foveated Reconstruction to Recover Perceptually Important Image Features

abstract: A foveated image can be entirely reconstructed from a sparse set of samples distributed according to the retinal sensitivity of the human visual system, which rapidly decreases with increasing eccentricity. The use of Generative Adversarial Networks has recently been shown to be a promising solution for such a task, as they can successfully hallucinate missing image information. As in the case of other supervised learning approaches, the definition of the loss function and the training strategy heavily influence the quality of the output. In this work,we consider the problem of efficiently guiding the training of foveated reconstruction techniques such that they are more aware of the capabilities and limitations of the human visual system, and thus can reconstruct visually important image features. Our primary goal is to make the training procedure less sensitive to distortions that humans cannot detect and focus on penalizing perceptually important artifacts. Given the nature of GAN-based solutions, we focus on the sensitivity of human vision to hallucination in case of input samples with different densities. We propose psychophysical experiments, a dataset, and a procedure for training foveated image reconstruction. The proposed strategy renders the generator network flexible by penalizing only perceptually important deviations in the output. As a result, the method emphasized the recovery of perceptually important image features. We evaluated our strategy and compared it with alternative solutions by using a newly trained objective metric, a recent foveated video quality metric, and user experiments. Our evaluations revealed significant improvements in the perceived image reconstruction quality compared with the standard GAN-based training approach.


title: Carleman estimates and the contraction principle for an inverse source problem for nonlinear hyperbolic equation

abstract: The main aim of this paper is to solve an inverse source problem for a general nonlinear hyperbolic equation. Combining the quasi-reversibility method and a suitable Carleman weight function, we define a map of which fixed point is the solution to the inverse problem. To find this fixed point, we define a recursive sequence with an arbitrary initial term by the same manner as in the classical proof of the contraction principle. Applying a Carleman estimate, we show that the sequence above converges to the desired solution with the exponential rate. Therefore, our new method can be considered as an analog of the contraction principle. We rigorously study the stability of our method with respect to noise. Numerical examples are presented.


title: Positive energy representations of gauge groups I: Localization

abstract: This is the first in a series of papers on projective positive energy representations of gauge groups. Let $\Xi \rightarrow M$ be a principal fiber bundle, and let $\Gamma_{c}(M,\mathrm{Ad}(\Xi))$ be the group of compactly supported (local) gauge transformations. If $P$ is a group of `space-time symmetries' acting on $\Xi\rightarrow M$, then a projective unitary representation of $\Gamma_{c}(M,\mathrm{Ad}(\Xi))\rtimes P$ is of positive energy if every `timelike generator' $p_0 \in \mathfrak{p}$ gives rise to a Hamiltonian $H(p_0)$ whose spectrum is bounded from below. Our main result shows that in the absence of fixed points for the cone of timelike generators, the projective positive energy representations of the connected component $\Gamma_{c}(M,\mathrm{Ad}(\Xi))_0$ come from 1-dimensional $P$-orbits. For compact $M$ this yields a complete classification of the projective positive energy representations in terms of lowest weight representations of affine Kac-Moody algebras. For noncompact $M$, it yields a classification under further restrictions on the space of ground states. In the second part of this series we consider larger groups of gauge transformations, which contain also global transformations. The present results are used to localize the positive energy representations at (conformal) infinity.


title: Fine-tuning GPT-3 for Russian Text Summarization

abstract: Automatic summarization techniques aim to shorten and generalize information given in the text while preserving its core message and the most relevant ideas. This task can be approached and treated with a variety of methods, however, not many attempts have been made to produce solutions specifically for the Russian language despite existing localizations of the state-of-the-art models. In this paper, we aim to showcase ruGPT3 ability to summarize texts, fine-tuning it on the corpora of Russian news with their corresponding human-generated summaries. Additionally, we employ hyperparameter tuning so that the model's output becomes less random and more tied to the original text. We evaluate the resulting texts with a set of metrics, showing that our solution can surpass the state-of-the-art model's performance without additional changes in architecture or loss function. Despite being able to produce sensible summaries, our model still suffers from a number of flaws, namely, it is prone to altering Named Entities present in the original text (such as surnames, places, dates), deviating from facts stated in the given document, and repeating the information in the summary.


title: DeepFH Segmentations for Superpixel-based Object Proposal Refinement

abstract: Class-agnostic object proposal generation is an important first step in many object detection pipelines. However, object proposals of modern systems are rather inaccurate in terms of segmentation and only roughly adhere to object boundaries. Since typical refinement steps are usually not applicable to thousands of proposals, we propose a superpixel-based refinement system for object proposal generation systems. Utilizing precise superpixels and superpixel pooling on deep features, we refine initial coarse proposals in an end-to-end learned system. Furthermore, we propose a novel DeepFH segmentation, which enriches the classic Felzenszwalb and Huttenlocher (FH) segmentation with deep features leading to improved segmentation results and better object proposal refinements. On the COCO dataset with LVIS annotations, we show that our refinement based on DeepFH superpixels outperforms state-of-the-art methods and leads to more precise object proposals.


title: Counting weighted maximal chains in the circular Bruhat order

abstract: The totally nonnegative Grassmannian $\mathrm{Gr}(k,n)_{\geq0}$ is the subset of the real Grassmannian $\mathrm{Gr}(k,n)$ consisting of points with all nonnegative Pl\"ucker coordinates. The circular Bruhat order is a poset isomorphic to the face poset of A. Postnikov's (2005) positroid cell decomposition of $\mathrm{Gr}(k,n)_{\geq0}$. We provide a closed formula for the sum of its weighted chains in the spirit of J. Stembridge (2002).


title: Time-dependent moments from the heat equation and a transport equation

abstract: We present a new connection between the classical theory of full and truncated moment problems and the theory of partial differential equations, as follows. For the classical heat equation $\partial_t u = \nu \Delta u$, with initial data $u_0 \in\mathcal{S}(\mathbb{R}^n)$, we first compute the moments $s_{\alpha}(t)$ of the unique solution $u \in \mathcal{S}(\mathbb{R}^n)$. These moments are polynomials in the time variable, of degree comparable to $\alpha$, and with coefficients satisfying a recursive relation. This allows us to define the polynomials for any sequence, and prove that they preserve some of the features of the heat kernel. In the case of moment sequences, the polynomials trace a curve (which we call the heat curve) which remains in the moment cone for positive time, but may wander outside the moment cone for negative time. This provides a description of the boundary points of the moment cone which are also moment sequences. \ We also study how the determinacy of a moment sequence behaves along the heat curve. Next, we consider the transport equation $\partial_t u = ax \cdot \nabla u$, and conduct a similar analysis. Along the way we incorporate several illustrating examples.


title: Membership Inference Attacks on Lottery Ticket Networks

abstract: The vulnerability of the Lottery Ticket Hypothesis has not been studied from the purview of Membership Inference Attacks. Through this work, we are the first to empirically show that the lottery ticket networks are equally vulnerable to membership inference attacks. A Membership Inference Attack (MIA) is the process of determining whether a data sample belongs to a training set of a trained model or not. Membership Inference Attacks could leak critical information about the training data that can be used for targeted attacks. Recent deep learning models often have very large memory footprints and a high computational cost associated with training and drawing inferences. Lottery Ticket Hypothesis is used to prune the networks to find smaller sub-networks that at least match the performance of the original model in terms of test accuracy in a similar number of iterations. We used CIFAR-10, CIFAR-100, and ImageNet datasets to perform image classification tasks and observe that the attack accuracies are similar. We also see that the attack accuracy varies directly according to the number of classes in the dataset and the sparsity of the network. We demonstrate that these attacks are transferable across models with high accuracy.


title: ContinuityLearner: Geometric Continuity Feature Learning for Lane Segmentation

abstract: Lane segmentation is a challenging issue in autonomous driving system designing because lane marks show weak textural consistency due to occlusion or extreme illumination but strong geometric continuity in traffic images, from which general convolution neural networks (CNNs) are not capable of learning semantic objects. To empower conventional CNNs in learning geometric clues of lanes, we propose a deep network named ContinuityLearner to better learn geometric prior within lane. Specifically, our proposed CNN-based paradigm involves a novel Context-encoding image feature learning network to generate class-dependent image feature maps and a new encoding layer to exploit the geometric continuity feature representation by fusing both spatial and visual information of lane together. The ContinuityLearner, performing on the geometric continuity feature of lanes, is trained to directly predict the lane in traffic scenarios with integrated and continuous instance semantic. The experimental results on the CULane dataset and the Tusimple benchmark demonstrate that our ContinuityLearner has superior performance over other state-of-the-art techniques in lane segmentation.


title: The Effect of Training Parameters and Mechanisms on Decentralized Federated Learning based on MNIST Dataset

abstract: Federated Learning is an algorithm suited for training models on decentralized data, but the requirement of a central "server" node is a bottleneck. In this document, we first introduce the notion of Decentralized Federated Learning (DFL). We then perform various experiments on different setups, such as changing model aggregation frequency, switching from independent and identically distributed (IID) dataset partitioning to non-IID partitioning with partial global sharing, using different optimization methods across clients, and breaking models into segments with partial sharing. All experiments are run on the MNIST handwritten digits dataset. We observe that those altered training procedures are generally robust, albeit non-optimal. We also observe failures in training when the variance between model weights is too large. The open-source experiment code is accessible through GitHub\footnote{Code was uploaded at \url{https://github.com/zhzhang2018/DecentralizedFL}}.


title: Compositional Generalization in Multilingual Semantic Parsing over Wikidata

abstract: Semantic parsing (SP) allows humans to leverage vast knowledge resources through natural interaction. However, parsers are mostly designed for and evaluated on English resources, such as CFQ (Keysers et al., 2020), the current standard benchmark based on English data generated from grammar rules and oriented towards Freebase, an outdated knowledge base. We propose a method for creating a multilingual, parallel dataset of question-query pairs, grounded in Wikidata. We introduce such a dataset, which we call Multilingual Compositional Wikidata Questions (MCWQ), and use it to analyze the compositional generalization of semantic parsers in Hebrew, Kannada, Chinese and English. While within-language generalization is comparable across languages, experiments on zero-shot cross-lingual transfer demonstrate that cross-lingual compositional generalization fails, even with state-of-the-art pretrained multilingual encoders. Furthermore, our methodology, dataset and results will facilitate future research on SP in more realistic and diverse settings than has been possible with existing resources.


title: An educator's perspective of the tidyverse

abstract: Computing makes up a large and growing component of data science and statistics courses. Many of those courses, especially when taught by faculty who are statisticians by training, teach R as the programming language. A number of instructors have opted to build much of their teaching around use of the tidyverse. The tidyverse, in the words of its developers, "is a collection of R packages that share a high-level design philosophy and low-level grammar and data structures, so that learning one package makes it easier to learn the next". These shared principles have led to the widespread adoption of the tidyverse ecosystem. A large part of this usage is because the tidyverse tools have been intentionally designed to ease the learning process and make it easier for users to learn new functions as they engage with additional pieces of the larger ecosystem. Moreover, the functionality offered by the packages within the tidyverse spans the entire data science cycle, which includes data import, visualisation, wrangling, modeling, and communication. We believe the tidyverse provides an effective and efficient pathway for undergraduate students at all levels and majors to gain computational skills and thinking needed throughout the data science cycle. In this paper, we introduce the tidyverse from an educator's perspective. We provide a brief introduction to the tidyverse, demonstrate how foundational statistics and data science tasks are accomplished with the tidyverse, and discuss the strengths of the tidyverse, particularly in the context of teaching and learning.


title: Lattice-plasmon induced asymmetric transmission in two-dimensional chiral arrays

abstract: Asymmetric transmission - direction-selective control of electromagnetic transmission between two ports - is an important phenomenon typically exhibited by two-dimensional chiral systems. Here, we study this phenomenon in chiral plasmonic metasurfaces supporting lattice plasmons modes. We show, both numerically and experimentally, that asymmetric transmission can be achieved through an unbalanced excitation of such lattice modes by circularly polarized light of opposite handedness. The excitation efficiencies of the lattice modes, and hence the strength of the asymmetric transmission, can be controlled by engineering the in-plane scattering of the individual plasmonic nanoparticles such that the maximum scattering imbalance occurs along one of the in-plane diffraction orders of the metasurface. Our study also shows that, contrary to the case of a non-diffractive metasurface, the lattice-plasmon-enabled asymmetric transmission can occur at normal incidence for cases where the metasurface is composed of chiral or achiral nanoparticles possessing 4-fold rotational symmetry.


title: Pressure induced electronic transitions in Samarium monochalcogenides

abstract: Pressure induced isostructural insulator to metal transition for SmS is characterised by the presence of an intermediate valence state at higher pressure which cannot be captured by the density functional theory. As a direct outcome of including the charge and spin fluctuations incorporated in dynamical mean field theory, we see the emergence of insulating and metallic phases with increasing pressure as a function of changing valence. This is accompanied by significantly improved predictions of the equilibrium lattice constants and bulk moduli for all Sm-monochalcogenides verifying experiments. Nudged Elastic Band analysis reveals the insulating states to have a finite quasiparticle weight, decreasing as the gap closes rendering the transition to be not Mott-like, and classifies these materials as correlated band insulators. The difference between the discontinuous and continuous natures of these transitions can be attributed to the closeness of the sharply resonant Sm-4f peaks to the fermi level in the predicted metallic states in SmS as compared to SmSe and SmTe.


title: Continuous Data Assimilation For the 3D Ladyzhenskaya Model: Analysis and Computations

abstract: We analyze continuous data assimilation by nudging for the 3D Ladyzhenskaya equations. The analysis provides conditions on the spatial resolution of the observed data that guarantee synchronization to the reference solution associated with the observed, spatially coarse data. This synchronization holds even though it is not known whether the reference solution, with initial data in $L^2$, is unique; a particular reference solution is determined by the observed, coarse data. The efficacy of the algorithm in both 2D and 3D is demonstrated by numerical computations.

categories: math.DS math.AP physics.comp-ph physics.flu-dyn


title: Machine Learning Assisted Security Analysis of 5G-Network-Connected Systems

abstract: The core network architecture of telecommunication systems has undergone a paradigm shift in the fifth-generation (5G)networks. 5G networks have transitioned to software-defined infrastructures, thereby reducing their dependence on hardware-based network functions. New technologies, like network function virtualization and software-defined networking, have been incorporated in the 5G core network (5GCN) architecture to enable this transition. This has resulted in significant improvements in efficiency, performance, and robustness of the networks. However, this has also made the core network more vulnerable, as software systems are generally easier to compromise than hardware systems. In this article, we present a comprehensive security analysis framework for the 5GCN. The novelty of this approach lies in the creation and analysis of attack graphs of the software-defined and virtualized 5GCN through machine learning. This analysis points to 119 novel possible exploits in the 5GCN. We demonstrate that these possible exploits of 5GCN vulnerabilities generate five novel attacks on the 5G Authentication and Key Agreement protocol. We combine the attacks at the network, protocol, and the application layers to generate complex attack vectors. In a case study, we use these attack vectors to find four novel security loopholes in WhatsApp running on a 5G network.


title: New strategies to improve minimap2 alignment accuracy

abstract: Summary: We present several recent improvements to minimap2, a versatile pairwise aligner for nucleotide sequences. Now minimap2 v2.22 can more accurately map long reads to highly repetitive regions and align through insertions or deletions up to 100kb by default, addressing major weakness in minimap2 v2.18 or earlier. Availability and implementation: https://github.com/lh3/minimap2


title: A Geometric Interpretation to Fixed-Point Theory on $S_{b}$-Metric Spaces

abstract: In this paper we present some fixed-figure theorems as a geometric approach to the fixed-point theory when the number of fixed points of a self-mapping is more than one. To do this, we modify the Jleli-Samet type contraction and define new contractions on $S_{b}$-metric spaces. Also, we give some necessary examples to show the validity of our theoretical results. Keywords: Fixed figure, fixed disc, fixed ellipse, fixed hyperbola, fixed Cassini curve, fixed Apollonius circle.


title: Upfront Commitment in Online Resource Allocation with Patient Customers

abstract: In many on-demand online platforms such as ride-sharing, grocery delivery, or shipping, some arriving agents are patient and willing to wait a short amount of time for the resource or service as long as there is an upfront guarantee that service will be ultimately provided within a certain delay. Motivated by this, we present a setting with patient and impatient agents who seek a resource or service that replenishes periodically. Impatient agents demand the resource immediately upon arrival while patient agents are willing to wait a short period conditioned on an upfront commitment to receive the resource. We study this setting under adversarial arrival models using a relaxed notion of competitive ratio. We present a class of POLYtope-based Resource Allocation (POLYRA) algorithms that achieve optimal or near-optimal competitive ratios. Such POLYRA algorithms work by consulting a particular polytope and only making decisions that guarantee the algorithm's state remains feasible in this polytope. When the number of agent types is either two or three, POLYRA algorithms can obtain the optimal competitive ratio. To design these polytopes, we construct an upper bound on the competitive ratio of any algorithm, which is characterized via a linear program (LP) that considers a collection of overlapping worst-case input sequences. Our designed POLYRA algorithms then mimic the optimal solution of this upper bound LP via its polytope's definition, obtaining the optimal competitive ratio. When there are more than three types, our overlapping worst-case input sequences do not necessarily result in an attainable competitive ratio, and so we present a class of simple and interpretable POLYRA algorithm which achieves at least 80% of the optimal competitive ratio. We complement our theoretical studies with numerical analysis which shows the efficiency of our algorithms beyond adversarial arrivals


title: Spatial representability of neuronal activity

abstract: A common approach to interpreting spiking activity is based on identifying the firing fields---regions in physical or configuration spaces that elicit responses of neurons. Common examples include hippocampal place cells that fire at preferred locations in the navigated environment, head direction cells that fire at preferred orientations of the animal's head, view cells that respond to preferred spots in the visual field, etc. In all these cases, firing fields were discovered empirically, by trial and error. We argue that the existence and a number of properties of the firing fields can be established theoretically, through topological analyses of the neuronal spiking activity.


title: Simultaneous inversion of layered velocity and density profiles using Direct Waveform Inversion (DWI): 1D case

abstract: We propose and test the Direct Waveform Inversion (DWI) scheme to simultaneously invert for layered velocity and density profiles, using reflection seismic waveforms recorded on the surface. The recorded data include primary reflections and interbed multiples. DWI is implemented in the time-space domain. By explicitly enforcing the wavefield time-space causality, DWI can recursively determine the subsurface seismic structure in a local fashion for both sharp interfaces as well as the properties of the layers, from shallow to deep depths. DWI is different from the layer stripping methods in the frequency domain. By not requiring a global initial model, DWI avoids many nonlinear optimization problems, such as the local minima and the need for an accurate initial model in most full waveform inversion schemes. Using two numerical tests here, we demonstrate that the DWI scheme for multi-parameter seismic inversion for velocity and density of layered media, using plane waves of different incident angles. This represents a significant step comparing with the previous DWI only inverting for the velocity.


title: An unconditional explicit bound on the error term in the Sato-Tate conjecture

abstract: Let $f(z) = \sum_{n=1}^\infty a_f(n)q^n$ be a holomorphic cuspidal newform with even integral weight $k\geq 2$, level $N$, trivial nebentypus, and no complex multiplication (CM). For all primes $p$, we may define $\theta_p\in [0,\pi]$ such that $a_f(p) = 2p^{(k-1)/2}\cos \theta_p$. The Sato-Tate conjecture states that the angles $\theta_p$ are equidistributed with respect to the probability measure $\mu_{\textrm{ST}}(I) = \frac{2}{\pi}\int_I \sin^2 \theta \; d\theta$, where $I\subseteq [0,\pi]$. Using recent results on the automorphy of symmetric-power $L$-functions due to Newton and Thorne, we explicitly bound the error term in the Sato-Tate conjecture when $f$ corresponds to an elliptic curve over $\mathbb{Q}$ of arbitrary conductor or when $f$ has squarefree level. In these cases, if $\pi_{f,I}(x) := \#\{ p \leq x : p \nmid N, \theta_p\in I\}$, and $\pi(x) := \# \{ p \leq x \}$, we prove the following bound: $$\left| \frac{\pi_{f,I}(x)}{\pi(x)} - \mu_{\textrm{ST}}(I)\right| \leq 58.1\frac{\log((k-1)N \log{x})}{\sqrt{\log{x}}} \qquad \text{for} \quad x \geq 3.$$ As an application, we give an explicit bound for the number of primes up to $x$ that violate the Atkin-Serre conjecture for $f$.


title: Nonequilibrium spectral moment sum rules of the Holstein-Hubbard model

abstract: We derive a general procedure for evaluating the ${\rm n}$th derivative of a time-dependent operator in the Heisenberg representation and employ this approach to calculate the zeroth to third spectral moment sum rules of the retarded electronic Green's function and self-energy for a system described by the Holstein-Hubbard model allowing for arbitrary spatial and time variation of all parameters (including spatially homogeneous electric fields and parameter quenches). For a translationally invariant (but time-dependent) Hamiltonian, we also provide sum rules in momentum space. The sum rules can be applied to various different phenomena like time-resolved angle-resolved photoemission spectroscopy and benchmarking the accuracy of numerical many-body calculations. This work also corrects some errors found in earlier work on simpler models.


title: Space-based weather observatory at Earth-Moon Lagrange point L1 to monitor earth's magnetotail effects on the Moon

abstract: Lunar hematite is formed by the oxidation of iron on the surface of the Moon by oxygen from the Earth's upper atmosphere. The Moon's surface is continuously affected by solar particles from the sun. However, Earth's magnetic tail blocks 99 % of the solar wind and provides windows of opportunity to transport oxygen from Earth's upper atmosphere to the Moon through magnetotail when it is in its full moon phase. Here, we propose to place a space weather observatory at the Earth-Moon L1 Lagrange point carrying a crucial payload onboard to study how Earth's magnetotail causes the Moon's surface to rust. The space weather observatory monitors the effect of Earth's magnetic field on the Moon using advanced spectroscopic sensors from Lagrange-based stations. Earth-moon L1 Lagrange point is the key location for space-weather observation as spacecraft near this point obtains a nearly unobstructed view of the moon. Numerical methods needed for a high-order analytical approximation have been implemented for more accurate predictions.


title: KLIFF: A framework to develop physics-based and machine learning interatomic potentials

abstract: Interatomic potentials (IPs) are reduced-order models for calculating the potential energy of a system of atoms given their positions in space and species. IPs treat atoms as classical particles without explicitly modeling electrons and thus are computationally far less expensive than first-principles methods, enabling molecular simulations of significantly larger systems over longer times. Developing an IP is a complex iterative process involving multiple steps: assembling a training set, designing a functional form, optimizing the function parameters, testing model quality, and deployment to molecular simulation packages. This paper introduces the KIM-based learning-integrated fitting framework (KLIFF), a package that facilitates the entire IP development process. KLIFF supports both physics-based and machine learning IPs. It adopts a modular approach whereby various components in the fitting process, such as atomic environment descriptors, functional forms, loss functions, optimizers, quality analyzers, and so on, work seamlessly with each other. This provides a flexible framework for the rapid design of new IP forms. Trained IPs are compatible with the Knowledgebase of Interatomic Models (KIM) application programming interface (API) and can be readily used in major materials simulation packages compatible with KIM, including ASE, DL_POLY, GULP, LAMMPS, and QC. KLIFF is written in Python with computationally intensive components implemented in C++. It is parallelized over data and supports both shared-memory multicore desktop machines and high-performance distributed memory computing clusters. We demonstrate the use of KLIFF by fitting a physics-based Stillinger--Weber potential and a machine learning neural network potential for silicon. The KLIFF package, together with its documentation, is publicly available at: https://github.com/openkim/kliff.


title: Perception! Immersion! Empowerment! Superpowers as Inspiration for Visualization

abstract: We explore how the lens of fictional superpowers can help characterize how visualizations empower people and provide inspiration for new visualization systems. Researchers and practitioners often tout visualizations' ability to "make the invisible visible" and to "enhance cognitive abilities." Meanwhile superhero comics and other modern fiction often depict characters with similarly fantastic abilities that allow them to see and interpret the world in ways that transcend traditional human perception. We investigate the intersection of these domains, and show how the language of superpowers can be used to characterize existing visualization systems and suggest opportunities for new and empowering ones. We introduce two frameworks: The first characterizes seven underlying mechanisms that form the basis for a variety of visual superpowers portrayed in fiction. The second identifies seven ways in which visualization tools and interfaces can instill a sense of empowerment in the people who use them. Building on these observations, we illustrate a diverse set of "visualization superpowers" and highlight opportunities for the visualization community to create new systems and interactions that empower new experiences with data.


title: On an equation by primes with one Linnik prime

abstract: Let $[\, \cdot\,]$ be the floor function. In this paper, we prove that when $1<c<\frac{16559}{15276}$, then every sufficiently large positive integer $N$ can be represented in the form \begin{equation*} N=[p^c_1]+[p^c_2]+[p^c_3]\,, \end{equation*} where $p_1,p_2,p_3$ are primes, such that $p_1=x^2 + y^2 +1$.


title: Optomechanical strong coupling between a single cavity photon and a single atom

abstract: Single atoms coupled to a cavity offer unique opportunities as quantum optomechanical devices because of their small mass and strong interaction with light. A particular regime of interest in optomechanics is that of "single-photon strong coupling," where motional displacements on the order of the zero-point uncertainty are sufficient to shift the cavity resonance frequency by more than its linewidth. In many cavity QED platforms, however, this is unfeasible due to the large cavity linewidth. Here, we propose an alternative route in such systems, which instead relies on the coupling of atomic motion to the much narrower cavity-dressed atomic resonance frequency. We discuss and optimize the conditions in which the scattering properties of single photons from the atom-cavity system become highly entangled with the atomic motional wave function. We also analyze the prominent observable features of this optomechanical strong coupling, which include a per-photon motional heating that is significantly larger than the single-photon recoil energy, as well as mechanically-induced oscillations in time of the second-order correlation function of the emitted light. This physics should be realizable in current experimental setups, such as trapped atoms coupled to photonic crystal cavities, and more broadly opens the door to realizing qualitatively different phenomena beyond what has been observed in optomechanical systems thus far.


title: From local equilibrium to numerical PDE: Metropolis crystal surface dynamics in the rough scaling limit

abstract: We derive the PDE governing the hydrodynamic limit of a Metropolis rate crystal surface height process in the "rough scaling" regime introduced by Marzuola and Weare. The PDE takes the form of a continuity equation, and the expression for the current involves a numerically computed multiplicative correction term similar to a mobility. The correction accounts for the fact that, unusually, the local equilibrium distribution of the process is not a local Gibbs measure even though the global equilibrium distribution is Gibbs. We give definitive numerical evidence of this fact, originally suggested in Gao, et. al., Pure and Applied Analysis (2021). In that paper, an approximate PDE -- our PDE, but without the correction term -- was derived for the limit of the Metropolis rate process under the assumption of a local Gibbs distribution. Our main contribution is to present a numerical method to compute the corrected macroscopic current, which is given by a function of the third spatial derivative of the height profile. Our method exploits properties of the local equilibrium (LE) state of the third order finite difference process. We find that the LE state of this process is not only useful for deriving the PDE; it also enjoys nonstandard properties which are interesting in their own right. Namely, we demonstrate that the LE state is a "rough LE", a novel kind of LE state discovered in our recent work on an Arrhenius rate crystal surface process.


title: Generation of entangled photons via parametric down-conversion in semiconductor lasers and integrated quantum photonic systems

abstract: We propose and design a high-brightness, ultra-compact electrically pumped GaSb-based laser source of entangled photons generated by mode-matched intracavity parametric down-conversion of lasing modes. To describe the nonlinear mixing in highly dispersive and dissipative waveguides, we develop a nonperturbative quantum theory of parametric down-conversion of waveguide modes which takes into account the effects of modal dispersion, group and phase mismatch, propagation, dissipation, and coupling to noisy reservoirs. We extend our theory to the regime of quantized pump fields with a new approach based on the propagation equation for the state vector which solves the nonperturbative boundary-value problem of the parametric decay of a quantized single-photon pump mode and can be generalized to include the effects of dissipation and noise. Our formalism is applicable to a wide variety of three-wave mixing propagation problems. It provides convenient analytic expressions for interpreting experimental results and predicting the performance of monolithic quantum photonic systems.


title: SpEuler: Semantics-preserving Euler Diagrams

abstract: Creating comprehensible visualizations of highly overlapping set-typed data is a challenging task due to its complexity. To facilitate insights into set connectivity and to leverage semantic relations between intersections, we propose a fast two-step layout technique for Euler diagrams that are both well-matched and well-formed. Our method conforms to established form guidelines for Euler diagrams regarding semantics, aesthetics, and readability. First, we establish an initial ordering of the data, which we then use to incrementally create a planar, connected, and monotone dual graph representation. In the next step, the graph is transformed into a circular layout that maintains the semantics and yields simple Euler diagrams with smooth curves. When the data cannot be represented by simple diagrams, our algorithm always falls back to a solution that is not well-formed but still well-matched, whereas previous methods often fail to produce expected results. We show the usefulness of our method for visualizing set-typed data using examples from text analysis and infographics. Furthermore, we discuss the characteristics of our approach and evaluate our method against state-of-the-art methods.


title: Covert, Low-Delay, Coded Message Passing in Mobile (IoT) Networks

abstract: We introduce a gossip-like protocol for covert message passing between Alice and Bob as they move in an area watched over by a warden Willie. The area hosts a multitude of Internet of (Battlefield) Things (Io\b{eta}T) objects. Alice and Bob perform random walks on a random regular graph. The Io\b{eta}T objects reside on the vertices of this graph, and some can serve as relays between Alice and Bob. The protocol starts with Alice splitting her message into small chunks, which she can covertly deposit to the relays she encounters. The protocol ends with Bob collecting the chunks. Alice may encode her data before the dissemination. Willie can either perform random walks as Alice and Bob do or conduct uniform surveillance of the area. In either case, he can only observe one relay at a time. We evaluate the system performance by the covertness probability and the message passing delay. In our protocol, Alice splits her message to increase the covertness probability and adds (coded) redundancy to reduce the transmission delay. The performance metrics depend on the graph, communications delay, and code parameters. We show that, in most scenarios, it is impossible to find the design parameters that simultaneously maximize the covertness probability and minimize the message delay.


title: Learning to Transfer with von Neumann Conditional Divergence

abstract: The similarity of feature representations plays a pivotal role in the success of problems related to domain adaptation. Feature similarity includes both the invariance of marginal distributions and the closeness of conditional distributions given the desired response $y$ (e.g., class labels). Unfortunately, traditional methods always learn such features without fully taking into consideration the information in $y$, which in turn may lead to a mismatch of the conditional distributions or the mix-up of discriminative structures underlying data distributions. In this work, we introduce the recently proposed von Neumann conditional divergence to improve the transferability across multiple domains. We show that this new divergence is differentiable and eligible to easily quantify the functional dependence between features and $y$. Given multiple source tasks, we integrate this divergence to capture discriminative information in $y$ and design novel learning objectives assuming those source tasks are observed either simultaneously or sequentially. In both scenarios, we obtain favorable performance against state-of-the-art methods in terms of smaller generalization error on new tasks and less catastrophic forgetting on source tasks (in the sequential setup).


title: Learning Orientations: a Discrete Geometry Model

abstract: In the mammalian brain, many neuronal ensembles are involved in representing spatial structure of the environment. In particular, there exist cells that encode the animal's location and cells that encode head direction. A number of studies have addressed properties of the spatial maps produced by these two populations of neurons, mainly by establishing correlations between their spiking parameters and geometric characteristics of the animal's environments. The question remains however, how the brain may intrinsically combine the direction and the location information into a unified spatial framework that enables animals' orientation. Below we propose a model of such a framework, using ideas and constructs from algebraic topology and synthetic affine geometry.


title: Improving Similar Language Translation With Transfer Learning

abstract: We investigate transfer learning based on pre-trained neural machine translation models to translate between (low-resource) similar languages. This work is part of our contribution to the WMT 2021 Similar Languages Translation Shared Task where we submitted models for different language pairs, including French-Bambara, Spanish-Catalan, and Spanish-Portuguese in both directions. Our models for Catalan-Spanish ($82.79$ BLEU) and Portuguese-Spanish ($87.11$ BLEU) rank top 1 in the official shared task evaluation, and we are the only team to submit models for the French-Bambara pairs.


title: Reducing Annotating Load: Active Learning with Synthetic Images in Surgical Instrument Segmentation

abstract: Accurate instrument segmentation in endoscopic vision of robot-assisted surgery is challenging due to reflection on the instruments and frequent contacts with tissue. Deep neural networks (DNN) show competitive performance and are in favor in recent years. However, the hunger of DNN for labeled data poses a huge workload of annotation. Motivated by alleviating this workload, we propose a general embeddable method to decrease the usage of labeled real images, using active generated synthetic images. In each active learning iteration, the most informative unlabeled images are first queried by active learning and then labeled. Next, synthetic images are generated based on these selected images. The instruments and backgrounds are cropped out and randomly combined with each other with blending and fusion near the boundary. The effectiveness of the proposed method is validated on 2 sinus surgery datasets and 1 intraabdominal surgery dataset. The results indicate a considerable improvement in performance, especially when the budget for annotation is small. The effectiveness of different types of synthetic images, blending methods, and external background are also studied. All the code is open-sourced at: https://github.com/HaonanPeng/active_syn_generator.


title: Lipschitz clustering in metric spaces

abstract: In this paper, the Lipschitz clustering property of a metric space refers to the existence of Lipschitz retractions between its finite subset spaces. Obstructions to this property can be either topological or geometric features of the space. We prove that uniformly disconnected spaces have the Lipschitz clustering property, while for some connected spaces, the lack of sufficiently short connecting curves turns out to be an obstruction. This property is shown to be invariant under quasihomogeneous maps, but not under quasisymmetric ones.


title: Left, Right, and Gender: Exploring Interaction Traces to Mitigate Human Biases

abstract: Human biases impact the way people analyze data and make decisions. Recent work has shown that some visualization designs can better support cognitive processes and mitigate cognitive biases (i.e., errors that occur due to the use of mental "shortcuts"). In this work, we explore how visualizing a user's interaction history (i.e., which data points and attributes a user has interacted with) can be used to mitigate potential biases that drive decision making by promoting conscious reflection of one's analysis process. Given an interactive scatterplot-based visualization tool, we showed interaction history in real-time while exploring data (by coloring points in the scatterplot that the user has interacted with), and in a summative format after a decision has been made (by comparing the distribution of user interactions to the underlying distribution of the data). We conducted a series of in-lab experiments and a crowd-sourced experiment to evaluate the effectiveness of interaction history interventions toward mitigating bias. We contextualized this work in a political scenario in which participants were instructed to choose a committee of 10 fictitious politicians to review a recent bill passed in the U.S. state of Georgia banning abortion after 6 weeks, where things like gender bias or political party bias may drive one's analysis process. We demonstrate the generalizability of this approach by evaluating a second decision making scenario related to movies. Our results are inconclusive for the effectiveness of interaction history (henceforth referred to as interaction traces) toward mitigating biased decision making. However, we find some mixed support that interaction traces, particularly in a summative format, can increase awareness of potential unconscious biases.


title: Bifold algebras and commutants for enriched algebraic theories

abstract: Commuting pairs of algebraic structures on a set have been studied by several authors and may be described equivalently as algebras for the tensor product of Lawvere theories, or more basically as certain bifunctors that here we call bifold algebras. The much less studied notion of commutant for Lawvere theories was first introduced by Wraith and generalizes the notion of centralizer clone in universal algebra. Working in the general setting of enriched algebraic theories for a system of arities, we study the interaction of the concepts of bifold algebra and commutant. We show that the notion of commutant arises via a universal construction in a two-sided fibration of bifold algebras over various theories. On this basis, we study special classes of bifold algebras that are related to commutants, introducing the notions of commutant bifold algebra and balanced bifold algebra. We establish several adjunctions and equivalences among these categories of bifold algebras and related categories of algebras over various theories, including commutative, contracommutative, saturated, and balanced algebras. We also survey and develop examples of commutant bifold algebras, including examples that employ Pontryagin duality and a theorem of Ehrenfeucht and {\L}o\'s on reflexive abelian groups. Along the way, we develop a functorial treatment of fundamental aspects of bifold algebras and commutants, including tensor products of theories and the equivalence of bifold algebras and commuting pairs of algebras. Because we work relative to a (possibly large) system of arities in a closed category $\mathcal{V}$, our main results are applicable to arbitrary $\mathcal{V}$-monads on a finitely complete $\mathcal{V}$, the enriched theories of Borceux and Day, the enriched Lawvere theories of Power relative to a regular cardinal, and other notions of algebraic theory.


title: Cough Detection Using Selected Informative Features from Audio Signals

abstract: Cough is a common symptom of respiratory and lung diseases. Cough detection is important to prevent, assess and control epidemic, such as COVID-19. This paper proposes a model to detect cough events from cough audio signals. The models are trained by the dataset combined ESC-50 dataset with self-recorded cough recordings. The test dataset contains inpatient cough recordings collected from inpatients of the respiratory disease department in Ruijin Hospital. We totally build 15 cough detection models based on different feature numbers selected by Random Frog, Uninformative Variable Elimination (UVE), and Variable influence on projection (VIP) algorithms respectively. The optimal model is based on 20 features selected from Mel Frequency Cepstral Coefficients (MFCC) features by UVE algorithm and classified with Support Vector Machine (SVM) linear two-class classifier. The best cough detection model realizes the accuracy, recall, precision and F1-score with 94.9%, 97.1%, 93.1% and 0.95 respectively. Its excellent performance with fewer dimensionality of the feature vector shows the potential of being applied to mobile devices, such as smartphones, thus making cough detection remote and non-contact.


title: Gigahertz free-space electro-optic modulators based on Mie resonances

abstract: Electro-optic modulators from non-linear $\chi^{(2)}$ materials are essential for sensing, metrology and telecommunications because they link the optical domain with the microwave domain. At present, most geometries are suited for fiber applications. In contrast, architectures that modulate directly free-space light at gigahertz (GHz) speeds have remained very challenging, despite their dire need for active free-space optics, in diffractive computing or for optoelectronic feedback to free-space emitters. They are typically bulky or suffer from much reduced interaction lengths. Here, we employ an ultrathin array of sub-wavelength Mie resonators that support quasi bound states in the continuum (BIC) as a key mechanism to demonstrate electro-optic modulation of free-space light with high efficiency at GHz speeds. Our geometry relies on hybrid silicon-organic nanostructures that feature low loss ($Q = $ 550 at $\lambda_{res} = 1594$ nm) while being integrated with GHz-compatible coplanar waveguides. We maximize the electro-optic effect by using high-performance electro-optic molecules (whose electro-optic tensor we engineer in-device to exploit $r_{33} = 100$ pm/V) and by nanoscale optimization of the optical modes. We demonstrate both DC tuning and high speed modulation up to 5~GHz ($f_{EO,-3 dB} =3$ GHz) and shift the resonant frequency of the quasi-BIC by $\Delta\lambda_{res}=$11 nm, surpassing its linewidth. We contrast the properties of quasi-BIC modulators by studying also guided mode resonances that we tune by $\Delta\lambda_{res}=$20 nm. Our approach showcases the potential for ultrathin GHz-speed free-space electro-optic modulators.


title: Comparison of Kummer logarithmic topologies with classical topologies II

abstract: We show that the higher direct images of smooth commutative group schemes from the Kummer log flat site to the classical flat site are torsion. For (1) smooth affine commutative schemes with geometrically connected fibers, (2) finite flat group schemes, (3) extensions of abelian schemes by tori, we give explicit description of the second higher direct image. If the rank of the log structure at any geometric point of the base is at most one, we show that the second higher direct image is zero for group schemes in case (1), case (3), and certain subcase of case (2). If the underlying scheme of the base is over $\mathbb{Q}$ or of characteristic $p>0$, we can also give more explicit description of the second higher direct image of group schemes in case (1), case (3), and certain subcase of case (3). Over standard Henselian log traits with finite residue field, we compute the first and the second Kummer log flat cohomology group with coefficients in group schemes in case (1), case (3), and certain subcase of case (3).


title: OSCAR-Net: Object-centric Scene Graph Attention for Image Attribution

abstract: Images tell powerful stories but cannot always be trusted. Matching images back to trusted sources (attribution) enables users to make a more informed judgment of the images they encounter online. We propose a robust image hashing algorithm to perform such matching. Our hash is sensitive to manipulation of subtle, salient visual details that can substantially change the story told by an image. Yet the hash is invariant to benign transformations (changes in quality, codecs, sizes, shapes, etc.) experienced by images during online redistribution. Our key contribution is OSCAR-Net (Object-centric Scene Graph Attention for Image Attribution Network); a robust image hashing model inspired by recent successes of Transformers in the visual domain. OSCAR-Net constructs a scene graph representation that attends to fine-grained changes of every object's visual appearance and their spatial relationships. The network is trained via contrastive learning on a dataset of original and manipulated images yielding a state of the art image hash for content fingerprinting that scales to millions of images.


title: Proof-of-Reputation: An Alternative Consensus Mechanism for Blockchain Systems

abstract: Blockchains combine other technologies, such as cryptography, networking, and incentive mechanisms, to enable the creation, validation, and recording of transactions between participating nodes. A consensus algorithm is used in a blockchain system to determine the shared state among distributed nodes. An important component underlying any blockchain-based system is its consensus mechanism, which principally determines the performance and security of the overall system. As the nature of peer-to- peer(P2P) networks is open and dynamic, the security risk within that environment is greatly increased mostly because nodes can join and leave the network at will. Thus, it is important to have a system that can check against malicious behaviour. In this work, we propose a reputation-based consensus mechanism for blockchain-based systems, Proof-of-Reputation(PoR) where the nodes with the highest reputation values eventually become part of a consensus group that determines the state of the blockchain.


title: Spatio-Temporal Attention Mechanism and Knowledge Distillation for Lip Reading

abstract: Despite the advancement in the domain of audio and audio-visual speech recognition, visual speech recognition systems are still quite under-explored due to the visual ambiguity of some phonemes. In this work, we propose a new lip-reading model that combines three contributions. First, the model front-end adopts a spatio-temporal attention mechanism to help extract the informative data from the input visual frames. Second, the model back-end utilizes a sequence-level and frame-level Knowledge Distillation (KD) techniques that allow leveraging audio data during the visual model training. Third, a data preprocessing pipeline is adopted that includes facial landmarks detection-based lip-alignment. On LRW lip-reading dataset benchmark, a noticeable accuracy improvement is demonstrated; the spatio-temporal attention, Knowledge Distillation, and lip-alignment contributions achieved 88.43%, 88.64%, and 88.37% respectively.


title: Resurrecting the One-Sided P-value as a Likelihood Ratio

abstract: The one-sided P-value has a long history stretching at least as far back as Laplace (1812) but has in recent times been mostly supplanted by the two-sided P-value. We present justification for a bijective relationship between the one-sided P-value and a likelihood ratio based on maximum likelihood, a relationship that cannot be demonstrated for the two-sided P-value. A number of criticisms of P-values are discussed and it is shown that many of these criticisms are not justified when a likelihood ratio interpretation of a one-sided P-value is employed. Converting a one-sided P-value to a likelihood ratio provides the advantages of the likelihood evidential paradigm.


title: From nonabelian basechange to basechange with coefficients

abstract: The goal of this paper is to explain when basechange theorems for sheaves of spaces imply basechange for sheaves with coefficients in other presentable $\infty$-categories. We accomplish this by analyzing when the tensor product of presentable $\infty$-categories preserves left adjointable squares. As a sample result, we show that the Proper Basechange Theorem in topology holds with coefficients in any presentable $\infty$-category which is compactly generated or stable. We also prove results about the interaction between tensor products of presentable $\infty$-categories and various categorical constructions that are of independent interest.


title: A direct energy estimates for effectively hyperbolic operators

abstract: This paper is devoted to a simpler derivation of energy estimates compared to previously existing ones, for effectively hyperbolic operators. One of main points is no use of general Fourier integral operators and another point is an efficient use of Weyl calculus of pseudodifferential operators associated with several different metrics.


title: Hard core lattice gas with third next-nearest neighbor exclusion on triangular lattice: one or two phase transitions?

abstract: We obtain the phase diagram of the hard core lattice gas with third nearest neighbor exclusion on the triangular lattice using Monte Carlo simulations that are based on a rejection-free flat histogram algorithm. In a recent paper [J. Chem. Phys. 151, 104702 (2019)], it was claimed that the lattice gas with third nearest neighbor exclusion undergoes two phase transitions with increasing density, with the phase at intermediate densities exhibiting hexatic order with continuously varying exponents. Though a hexatic phase is expected when the exclusion range is large, it has not been seen earlier in hard core lattice gases with short range exclusion. In this paper, by numerically determining the entropies for all densities, we show unambiguously that there is only a single phase transition in the system between a low-density fluid phase and a high-density ordered sublattice phase, and that a hexatic phase is absent. The transition is shown to be first order in nature and the critical parameters are determined accurately.


title: Recurrent Graph Neural Networks for Rumor Detection in Online Forums

abstract: The widespread adoption of online social networks in daily life has created a pressing need for effectively classifying user-generated content. This work presents techniques for classifying linked content spread on forum websites -- specifically, links to news articles or blogs -- using user interaction signals alone. Importantly, online forums such as Reddit do not have a user-generated social graph, which is assumed in social network behavioral-based classification settings. Using Reddit as a case-study, we show how to obtain a derived social graph, and use this graph, Reddit post sequences, and comment trees as inputs to a Recurrent Graph Neural Network (R-GNN) encoder. We train the R-GNN on news link categorization and rumor detection, showing superior results to recent baselines. Our code is made publicly available at https://github.com/google-research/social_cascades.


title: Pseudo-multifan and Lollipop

abstract: A simple graph $G$ with maximum degree $\Delta$ is \emph{overfull} if $|E(G)|>\Delta \lfloor |V(G)|/2\rfloor$. The \emph{core} of $G$, denoted $G_{\Delta}$, is the subgraph of $G$ induced by its vertices of degree $\Delta$. Clearly, the chromatic index of $G$ equals $\Delta+1$ if $G$ is overfull. Conversely, Hilton and Zhao in 1996 conjectured that if $G$ is a simple connected graph with $\Delta\ge 3$ and $\Delta(G_\Delta)\le 2$, then $\chi'(G)=\Delta+1$ implies that $G$ is overfull or $G=P^*$, where $P^*$ is obtained from the Petersen graph by deleting a vertex (Core Conjecture). The goal of this paper is to develop the concepts of ``pseudo-multifan'' and ``lollipop'' and study their properties in an edge colored graph. These concepts turn out to be powerful tools in edge coloring graphs with a small core degree.


title: Proton and deuteron mass radii from near-threshold $\phi$-meson photoproduction

abstract: We analyze the exclusive $\phi$-meson photoproduction on both hydrogen and deuterium targets based on the published data of CLAS, SAPHIR and LEPS collaborations. A dipole-form scalar gravitational form factor is applied to describe the $|t|$-dependence of the differential cross section. Based on the average of all the near-threshold data from CLAS, SAPHIR and LEPS, we find that the proton and deuteron mass radii are $0.75 \pm 0.02$ fm and $1.95 \pm 0.19$ fm respectively. The coherent and near-threshold quarkonium photoproduction seems to be sensitive to the radius of the hadronic system. The vector-meson-dominance model together with a low-energy QCD theorem well describe the data of near-threshold $\phi$ photoproduction on the hadronic systems.


title: Disentangled High Quality Salient Object Detection

abstract: Aiming at discovering and locating most distinctive objects from visual scenes, salient object detection (SOD) plays an essential role in various computer vision systems. Coming to the era of high resolution, SOD methods are facing new challenges. The major limitation of previous methods is that they try to identify the salient regions and estimate the accurate objects boundaries simultaneously with a single regression task at low-resolution. This practice ignores the inherent difference between the two difficult problems, resulting in poor detection quality. In this paper, we propose a novel deep learning framework for high-resolution SOD task, which disentangles the task into a low-resolution saliency classification network (LRSCN) and a high-resolution refinement network (HRRN). As a pixel-wise classification task, LRSCN is designed to capture sufficient semantics at low-resolution to identify the definite salient, background and uncertain image regions. HRRN is a regression task, which aims at accurately refining the saliency value of pixels in the uncertain region to preserve a clear object boundary at high-resolution with limited GPU memory. It is worth noting that by introducing uncertainty into the training process, our HRRN can well address the high-resolution refinement task without using any high-resolution training data. Extensive experiments on high-resolution saliency datasets as well as some widely used saliency benchmarks show that the proposed method achieves superior performance compared to the state-of-the-art methods.


title: Prospects for measuring dark energy with 21 cm intensity mapping experiments

abstract: Using the 21 cm intensity mapping (IM) technique can efficiently perform large-scale neutral hydrogen surveys, and this method has great potential for measuring dark-energy parameters. Some 21 cm IM experiments aiming at measuring dark energy in the redshift range of $0<z<3$ have been proposed and performed, in which the typical ones using single-dish mode include e.g., BINGO, FAST, and SKA1-MID, and those using interferometric mode include e.g., HIRAX, CHIME, and Tianlai. In this work, we make a forecast for these typical 21 cm IM experiments on their capability of measuring parameters of dark energy. We find that the interferometers have great advantages in constraining cosmological parameters. In particular, the Tianlai cylinder array alone can achieve the standard of precision cosmology for the $\Lambda$CDM model (i.e., the precision of parameters is better than 1%). However, for constraining dynamical dark energy, we find that SKA1-MID performs very well. We show that the simulated 21 cm IM data can break the parameter degeneracies inherent in the CMB data, and CMB+SKA1-MID offers $\sigma(w)=0.013$ in the $w$CDM model, and $\sigma(w_0)=0.080$ and $\sigma(w_a)=0.25$ in the CPL model. Compared with CMB+BAO+SN, Tianlai can provide tighter constraints in $\Lambda$CDM and $w$CDM, but looser constraints (tighter than CMB+BAO) in CPL, and the combination CMB+BAO+SN+Tianlai gives $\sigma(w)=0.013$, $\sigma(w_0)=0.055$, and $\sigma(w_a)=0.13$. In addition, it is found that the synergy of FAST ($0<z<0.35$)+SKA1-MID ($0.35<z<0.77$)+Tianlai ($0.77<z<2.55$) offers a very promising survey strategy. Finally, we find that the residual foreground contamination amplitude has a considerable impact on constraint results. We show that in the future 21 cm IM experiments will provide a powerful probe for exploring the nature of dark energy.


title: Self-Adversarial Disentangling for Specific Domain Adaptation

abstract: Domain adaptation aims to bridge the domain shifts between the source and the target domain. These shifts may span different dimensions such as fog, rainfall, etc. However, recent methods typically do not consider explicit prior knowledge about the domain shifts on a specific dimension, thus leading to less desired adaptation performance. In this paper, we study a practical setting called Specific Domain Adaptation (SDA) that aligns the source and target domains in a demanded-specific dimension. Within this setting, we observe the intra-domain gap induced by different domainness (i.e., numerical magnitudes of domain shifts in this dimension) is crucial when adapting to a specific domain. To address the problem, we propose a novel Self-Adversarial Disentangling (SAD) framework. In particular, given a specific dimension, we first enrich the source domain by introducing a domainness creator with providing additional supervisory signals. Guided by the created domainness, we design a self-adversarial regularizer and two loss functions to jointly disentangle the latent representations into domainness-specific and domainness-invariant features, thus mitigating the intra-domain gap. Our method can be easily taken as a plug-and-play framework and does not introduce any extra costs in the inference time. We achieve consistent improvements over state-of-the-art methods in both object detection and semantic segmentation.


title: Semantic-Based Explainable AI: Leveraging Semantic Scene Graphs and Pairwise Ranking to Explain Robot Failures

abstract: When interacting in unstructured human environments, occasional robot failures are inevitable. When such failures occur, everyday people, rather than trained technicians, will be the first to respond. Existing natural language explanations hand-annotate contextual information from an environment to help everyday people understand robot failures. However, this methodology lacks generalizability and scalability. In our work, we introduce a more generalizable semantic explanation framework. Our framework autonomously captures the semantic information in a scene to produce semantically descriptive explanations for everyday users. To generate failure-focused explanations that are semantically grounded, we leverages both semantic scene graphs to extract spatial relations and object attributes from an environment, as well as pairwise ranking. Our results show that these semantically descriptive explanations significantly improve everyday users' ability to both identify failures and provide assistance for recovery than the existing state-of-the-art context-based explanations.


title: Rapid Automated Analysis of Skull Base Tumor Specimens Using Intraoperative Optical Imaging and Artificial Intelligence

abstract: Background: Accurate diagnosis of skull base tumors is essential for providing personalized surgical treatment strategies. Intraoperative diagnosis can be challenging due to tumor diversity and lack of intraoperative pathology resources. Objective: To develop an independent and parallel intraoperative pathology workflow that can provide rapid and accurate skull base tumor diagnoses using label-free optical imaging and artificial intelligence. Method: We used a fiber laser-based, label-free, non-consumptive, high-resolution microscopy method ($<$ 60 sec per 1 $\times$ 1 mm$^\text{2}$), called stimulated Raman histology (SRH), to image a consecutive, multicenter cohort of skull base tumor patients. SRH images were then used to train a convolutional neural network (CNN) model using three representation learning strategies: cross-entropy, self-supervised contrastive learning, and supervised contrastive learning. Our trained CNN models were tested on a held-out, multicenter SRH dataset. Results: SRH was able to image the diagnostic features of both benign and malignant skull base tumors. Of the three representation learning strategies, supervised contrastive learning most effectively learned the distinctive and diagnostic SRH image features for each of the skull base tumor types. In our multicenter testing set, cross-entropy achieved an overall diagnostic accuracy of 91.5%, self-supervised contrastive learning 83.9%, and supervised contrastive learning 96.6%. Our trained model was able to identify tumor-normal margins and detect regions of microscopic tumor infiltration in whole-slide SRH images. Conclusion: SRH with trained artificial intelligence models can provide rapid and accurate intraoperative analysis of skull base tumor specimens to inform surgical decision-making.