title: Designing an AI-Based Adaptive Controller Augmented with a System Identifier for a Micro-Class Robot Equipped with a Vibrating Actuator

abstract: In this paper, an adaptive control scheme based on using neural networks is designed to guarantee the desired behavior of a micro-robot which is equipped with vibrating actuators and follows the principle of slip-stick movement. There are two tiny shaking motors which have been utilized to run the micro-class robotic system. Dynamic modeling equations are expressed by considering the spring coefficient of the bases. After that, the effect of the spring on the foundations was investigated. In addition to designing neural-based controller, an AI-based system identifier has been developed to help the controller update its parameters and achieve its desired targets. Using this method, several specific paths for the movement of this micro robot are simulated. Based on the simulation results, the proposed controlling strategy guarantees acceptable performance for tracking different paths due to plotted near-zero errors and handles the nonlinear behavior of the micro-robot system.


title: Reconstructing the whole 6D properties of the Sagittarius stream with N-body simulations

abstract: It is a challenge to reproduce the full 6D space-phase properties of Sagittarius (Sgr) dwarf galaxy and its Stream simultaneously. Using N-body simulations with a Milky Way mass of 5.2$\times10^{11}$ M$_{\odot}$ and a ``scaling down'' Sgr mass of 9.3$\times10^{8}$ M$_{\odot}$, from a qualitative point of view, we have been able to reproduce well all 3D spatial features of Sgr stream, including its core, leading and trailing arms, and their associated bifurcations, moreover, the overall trend of the reported 3D kinematics properties of the Sgr stream have also been reproduced without fine tuning. Furthermore, we also find that our model fails in reproducing the exact behaviours of the line-of-sight velocity and angular-energy distributions. It let us to suggest that significant further progress might be achievable after introducing a major component in the Sgr progenitor, which is the gas that dominates all Irregular dwarf galaxies in the Sgr mass range and can slow down the radial velocity of Sgr before its removal, if gas can not solve this problem then we will consider a non-spherical Milky Way halo with hot gas, LMC, etc. As the first step for us to towards the complete understanding of the Sgr system, this progress is also advancing our understanding of the bifurcations, the generation of which might be due to the MW shocks at each pericenter passage, and also be linked to the orientation and disk-shape in the initial conditions.


title: CR Driven Multi-phase Gas Formed via Thermal Instability

abstract: Cosmic rays (CRs) are an important energy source in the circum-galactic medium (CGM) that impact the multi-phase gas structure and dynamics. We perform two-dimensional CR-magnetohydrodynamic simulations to investigate the role of CRs in accelerating multi-phase gas formed via thermal instability. We compare outflows driven by CRs to those driven by a hot wind with equivalent momentum. We find that CRs driven outflow produces lower density contrast between cold and hot gas due to non-thermal pressure support, and yields a more filamentary cloud morphology. While entrainment in a hot wind can lead to cold gas increasing due to efficient cooling, CRs tend to suppress cold gas growth. The mechanism of this suppression depends on magnetic field strength, with CRs either reducing cooling or shredding the clouds by differential acceleration. Despite the suppression of cold gas growth, CRs are able to launch the cold clouds to observed velocities without rapid destruction. The dynamical interaction between CRs ad multi-phase gas is also sensitive to the magnetic field strength. In relatively strong fields, the CRs are more important for direct momentum input to cold gas. In relatively weak fields, the CRs impact gas primarily by heating, which modifies gas pressure.


title: Strong Quantum Turbulence in Bose Einstein Condensates

abstract: By combining experiments and numerical simulations which model the dynamics of shaken atomic Bose-Einstein condensates, we reveal the surprising nature of quantum turbulence in these systems. Unlike the tangles of vortex lines described in the superfluid helium literature, we find that our turbulent atomic condensate contains a mixture of strong fragmented density fluctuations and small random vortex loops which are not homogeneously distributed. This unusual form of turbulence, with its own properties and scaling behaviour, which we call strong quantum turbulence, is significantly different from the turbulence which is observed in either classical or other quantum systems, thus posing a new challenge in turbulence research.


title: A Novel Region Duplication Detection Algorithm Based on Hybrid Approach

abstract: The digital images from various sources are ubiquitous due to easy availability of high bandwidth Internet. Digital images are easy to tamper with good or bad intentions. Non-availability of pre-embedded information in digital images makes the tampering detection process more difficult in case of digital forensics. Thus, passive image tampering is difficult to detect. There are various algorithms available for detecting image tampering. However, these algorithms have some drawbacks, due to which all types of tampering cannot be detected. In this paper researchers intend to present the types of image tampering and its detection techniques with example based approach. This paper also illustrates insights into the various existing algorithms and tries to find out efficient algorithm out of them.


title: Changing patterns in electroweak precision with new color-charged states: Oblique corrections and the $W$ boson mass

abstract: The recent measurement by the CDF Collaboration of the $W$ boson mass is in significant tension with the Standard Model expectation, showing a discrepancy of seven standard deviations. A larger value of $m_W$ affects the global electroweak fit, particularly the best-fit values of the Peskin-Takeuchi parameters $S$, $T$ (and perhaps $U$) that measure oblique corrections from new physics. To meet this challenge, we propose some simple models capable of generating non-negative $S$ and $T$, the latter of which faces the greatest upward pressure from the CDF measurement in scenarios with $U=0$. Our models feature weak multiplets of scalars charged under $\mathrm{SU}(3)_{\text{c}} \times \mathrm{U}(1)_Y$, which cannot attain nonzero vacuum expectation values but nevertheless produce e.g. $T \neq 0$ given some other mechanism to split the electrically charged and neutral scalars. We compute the oblique corrections in these models and identify ample parameter space supporting the CDF value of $m_W$.


title: A Physics-Informed Data-Driven Algorithm for Ensemble Forecast of Complex Turbulent Systems

abstract: A new ensemble forecast algorithm, named as the physics-informed data-driven algorithm with conditional Gaussian statistics (PIDD-CG), is developed to predict the time evolution of the probability density functions (PDFs) of complex turbulent systems with partial observations. The PIDD-CG algorithm integrates a unique multiscale statistical closure model with an extremely efficient nonlinear data assimilation scheme to represent the PDF as a mixture of conditional statistics, which overcomes the curse of dimensionality for high-dimensional systems. The multiscale features in the time evolution of each conditional statistics ensemble member effectively captured by an appropriate combination of physics-informed analytic formulae and recurrent neural networks. An information metric is adopted as the loss function for the latter to more accurately calibrate the key turbulent signals with strong fluctuations. The proposed algorithm succeeds in forecasting both the transient and statistical equilibrium non-Gaussian PDFs of strongly turbulent systems with intermittency, regime switching and extreme events.


title: State-Output Risk-Constrained Quadratic Control of Partially Observed Linear Systems

abstract: We propose a methodology for performing risk-averse quadratic regulation of partially observed Linear Time-Invariant (LTI) systems disturbed by process and output noise. To compensate against the induced variability due to both types of noises, state regulation is subject to two risk constraints. The latter renders the resulting controller cautious of stochastic disturbances, by restricting the statistical variability, namely, a simplified version of the cumulative expected predictive variance of both the state and the output. Our proposed formulation results in an optimal risk-averse policy that preserves favorable characteristics of the classical Linear Quadratic (LQ) control. In particular, the optimal policy has an affine structure with respect to the minimum mean square error (mmse) estimates. The linear component of the policy regulates the state more strictly in riskier directions, where the process and output noise covariance, cross-covariance, and the corresponding penalties are simultaneously large. This is achieved by "inflating" the state penalty in a systematic way. The additional affine terms force the state against pure and cross third-order statistics of the process and output disturbances. Another favorable characteristic of our optimal policy is that it can be pre-computed off-line, thus, avoiding limitations of prior work. Stability analysis shows that the derived controller is always internally stable regardless of parameter tuning. The functionality of the proposed risk-averse policy is illustrated through a working example via extensive numerical simulations.


title: Two-sites quantum island in the quasi-ballistic regime

abstract: Quantum Hall edge channels can be combined with metallic regions to fractionalize electrons and form correlated impurity models. We study a minimal device, that has been experimentally achieved quite recently, with two floating islands connected to three edge channels via quantum point contacts in the integer quantum Hall regime. At high transparency of the quantum point contacts, we establish a mapping to the boundary sine-Gordon model and thereby reveal the nature of the quantum critical point. We deduce from this mapping universal expressions for the conductance and noise, in agreement with the experimental findings, and discuss the competition between Kondo-like screening of each individual island and the cooperative transfer of electrons between them. We further predict that the device operated at finite voltage bias produces fractional charges $e^* =e/3$ and propose a generalization to $N$ islands with the fractional charge $e^* =e/(N+1)$.


title: Learning to Retrieve Relevant Experiences for Motion Planning

abstract: Recent work has demonstrated that motion planners' performance can be significantly improved by retrieving past experiences from a database. Typically, the experience database is queried for past similar problems using a similarity function defined over the motion planning problems. However, to date, most works rely on simple hand-crafted similarity functions and fail to generalize outside their corresponding training dataset. To address this limitation, we propose (FIRE), a framework that extracts local representations of planning problems and learns a similarity function over them. To generate the training data we introduce a novel self-supervised method that identifies similar and dissimilar pairs of local primitives from past solution paths. With these pairs, a Siamese network is trained with the contrastive loss and the similarity function is realized in the network's latent space. We evaluate FIRE on an 8-DOF manipulator in five categories of motion planning problems with sensed environments. Our experiments show that FIRE retrieves relevant experiences which can informatively guide sampling-based planners even in problems outside its training distribution, outperforming other baselines.


title: Lower bounds on the maximal number of rational points on curves over finite fields

abstract: For a given genus $g \geq 1$, we give lower bounds for the maximal number of rational points on a smooth projective absolutely irreducible curve of genus $g$ over ${\mathbb F}_q$. As a consequence of Katz-Sarnak theory, we first get for any given $g>0$, any $\varepsilon>0$ and all $q$ large enough, the existence of a curve of genus $g$ over ${\mathbb F}_q$ with at least $1+q+ (2g-\varepsilon) \sqrt{q}$ rational points. Then using sums of powers of traces of Frobenius of hyperelliptic curves, we get a lower bound of the form $1+q+1.71 \sqrt{q}$ valid for $g \geq 3$ and odd $q \geq 11$. Finally, explicit constructions of towers of curves improve this result, with a bound of the form $1+q+4 \sqrt{q} -32$ valid for all $g\ge 2$ and for all $q$.


title: LCD subspace codes

abstract: A subspace code is a nonempty set of subspaces of a vector space $\mathbb F^n_q$. Linear codes with complementary duals, or LCD codes, are linear codes whose intersection with their duals is trivial. In this paper, we introduce a notion of LCD subspace codes. We show that the minimum distance decoding problem for an LCD subspace code reduces to a problem that is simpler than for a general subspace code. Further, we show that under some conditions equitable partitions of association schemes yield such LCD subspace codes and as an illustration of the method give some examples from distance-regular graphs. We also give a construction from mutually unbiased Hadamard matrices, and more generally, from mutually unbiased weighing matrices.


title: The Fundamental Group of Torus Knots

abstract: This work is concerned with the calculation of the fundamental group of torus knots. Torus knots are special types of knots which wind around a torus a number of times in the longitudinal and meridional directions. We compute and describe the fundamental group of torus knots by using some concepts in algebraic topology and group theory. We also calculate the fundamental group of an arbitrary knot by using an algorithm called the Wirtinger presentation.


title: CBR-iKB: A Case-Based Reasoning Approach for Question Answering over Incomplete Knowledge Bases

abstract: Knowledge bases (KBs) are often incomplete and constantly changing in practice. Yet, in many question answering applications coupled with knowledge bases, the sparse nature of KBs is often overlooked. To this end, we propose a case-based reasoning approach, CBR-iKB, for knowledge base question answering (KBQA) with incomplete-KB as our main focus. Our method ensembles decisions from multiple reasoning chains with a novel nonparametric reasoning algorithm. By design, CBR-iKB can seamlessly adapt to changes in KBs without any task-specific training or fine-tuning. Our method achieves 100% accuracy on MetaQA and establishes new state-of-the-art on multiple benchmarks. For instance, CBR-iKB achieves an accuracy of 70% on WebQSP under the incomplete-KB setting, outperforming the existing state-of-the-art method by 22.3%.


title: Constraining the equation of state of neutron stars using multimessenger observations

abstract: Neutron stars are the densest objects known in our visible universe. Properties of matter inside a neutron star are encoded in its equation of state, which has wide-ranging uncertainty from a theoretical perspective. With the current understanding of quantum chromodynamics, it is hard to determine the interactions of neutron star matter at such high densities. Also performing many body calculations is computationally intractable. Besides the constitution of the neutron star core is highly speculative -- it is not ruled out that it contains exotic matter like strange baryons, meson condensates, quark matter, etc. Although the matter inside the neutron star is extremely dense, but the temperature of this object is very cold in most of its life span. We cannot produce such dense but rather cold material in our laboratory. Since probing the physics of neutron star matter is inaccessible by our earth based experiments, we look for astrophysical observations of neutron stars. This thesis deals with the theoretical and computational techniques required to translate neutron star observables from astrophysical observations to its equation of state.


title: Bottomonium-like tetraquarks in a chiral quark model

abstract: The low-lying bottomonium-like tetraquarks $b\bar{b}q\bar{q}$ $(q=u,\,d,\,s)$ with spin-parity $J^P=0^+$, $1^+$ and $2^+$, and isospin $I=0,\,1$ or $\frac{1}{2}$, are systematically investigated within the theoretical framework of real- and complex-scaling range of a chiral quark model, which has already been successfully applied in analysis of several multiquark systems. A complete four-body $S$-wave function, which includes meson-meson, diquark-antidiquark and K-type arrangements of quarks, along with all possible color configurations are considered. In the $b\bar{b}q\bar{q}$ $(q=u,\,d)$ tetraquark system, we found resonance states of $B^{(*)} \bar{B}^{(*)}$, $\Upsilon\omega$, $\Upsilon\rho$ and $\eta_b \rho$ nature with all possible $I(J^P)$ quantum numbers. Their masses are generally located in the energy range $11.0-11.3$ GeV and their widths are less than $10$ MeV. In addition, extremely narrow resonances, with two-meson strong decay widths less than $1.5$ MeV, are obtained in both $b\bar{b}u\bar{s}$ and $b\bar{b}s\bar{s}$ tetraquark systems. Particularly, four radial excitations of $\Upsilon K^*$ and $\eta_b K^*$ are found at $\sim11.1$ GeV in $J^P=0^+$, $1^+$ and $2^+$ channels of $b\bar{b}u\bar{s}$ system. One $\Upsilon(1S)\phi(2S)$ resonance state is obtained at $11.28$ GeV in the $J^P=1^+$ sector.


title: PIDGeuN: Graph Neural Network-Enabled Transient Dynamics Prediction of Networked Microgrids Through Full-Field Measurement

abstract: A Physics-Informed Dynamic Graph Neural Network (PIDGeuN) is presented to accurately, efficiently and robustly predict the nonlinear transient dynamics of microgrids in the presence of disturbances. The graph-based architecture of PIDGeuN provides a natural representation of the microgrid topology. Using only the state information that is practically measurable, PIDGeuN employs a time delay embedding formulation to fully reproduce the system dynamics, avoiding the dependency of conventional methods on internal dynamic states such as controllers. Based on a judiciously designed message passing mechanism, the PIDGeuN incorporates two physics-informed techniques to improve its prediction performance, including a physics-data-infusion approach to determining the inter-dependencies between buses, and a loss term to respect the known physical law of the power system, i.e., the Kirchhoff's law, to ensure the feasibility of the model prediction. Extensive tests show that PIDGeuN can provide accurate and robust prediction of transient dynamics for nonlinear microgrids over a long-term time period. Therefore, the PIDGeuN offers a potent tool for the modeling of large scale networked microgrids (NMs), with potential applications to predictive or preventive control in real time applications for the stable and resilient operations of NMs.


title: Euclidean-to-Lorentzian wormhole transition and gravitational symmetry breaking in the Sachdev-Ye-Kitaev model

abstract: We study a two-site Sachdev-Ye-Kitaev model with complex couplings and a weak inter-site interaction. At low temperatures, the system is dual to a Euclidean wormhole in Jackiw-Teitelboim gravity plus matter. Interestingly, the energy spectrum becomes real for sufficiently strong inter-site coupling despite the Hamiltonian being non-Hermitian. In gravity, this complex-to-real transition corresponds to a Euclidean-to-Lorentzian transition: a dynamical restoration of the gravitational SL(2,R) symmetry of the Lorentzian wormhole, broken to U(1) in the Euclidean wormhole. We show this by identifying an order parameter for the symmetry breaking and by matching the oscillating patterns of the Green's functions. Above the transition, the system can be continued to Lorentzian signature and is dual to an eternal traversable wormhole. Additionally, we observe a thermal phase transition from the wormhole to two black holes and provide a detailed matching of the associated physical quantities. The analysis of level statistics reveals that in a broad range of parameters the dynamics is quantum chaotic in the universality class of systems with time reversal invariance.


title: Correlation between Unconscious Mouse Actions and Human Cognitive Workload

abstract: Unconscious behaviors are one of the indicators of the human perception process from a psychological perspective. As a result of perception responses, hand gestures show behavioral responses from given stimuli. Mouse usages in Human-Computer Interaction (HCI) show hand gestures that individuals perceive information processing. This paper presents an investigation of the correlation between unconscious mouse actions and human cognitive workload. We extracted mouse behaviors from a Robot Operating System (ROS) file-based dataset that user responses are reproducible. We analyzed redundant mouse movements to complete a dual $n$-back game by solely pressing the left and right buttons. Starting from a hypothesis that unconscious mouse behaviors predict different levels of cognitive loads, we statistically analyzed mouse movements. We also validated mouse behaviors with other modalities in the dataset, including self-questionnaire and eye blinking results. As a result, we found that mouse behaviors that occur unconsciously and human cognitive workload correlate.


title: Star formation in disk galaxies and its relation with spiral structure in numerical simulations

abstract: The spiral structure of a spiral galaxy can be seen through different observational tracers such as the dust in the interstellar medium, the free electrons in ionized regions, the molecular gas, or the atomic hydrogen in H{\alpha} regions. In this work, we use an N-body simulation with Magnetohydrodynamics (MHD) to investigate the spiral pattern and the star formation activity in the gas component of a disk galaxy. Some of the questions that we tackle include: how are galaxies observed through the different properties of the gas? Does the spiral structure of the galaxy change when we trace it with the different properties of the gas? Do the spiral arms in the simulation change its shape and width depending on what property we are "looking" through? Can we somehow model the shape of the arms to measure their width consistently? Does this model apply to all the properties? To answer these questions, we developed a method for the identification and extraction of the spiral structure in a disk galaxy. Using the results of this procedure, we further investigate the features of the spiral pattern through the different properties of the gas, with special attention to the star formation activity and how it behaves along and across the spiral structure.


title: QuSBT: Search-Based Testing of Quantum Programs

abstract: Generating a test suite for a quantum program such that it has the maximum number of failing tests is an optimization problem. For such optimization, search-based testing has shown promising results in the context of classical programs. To this end, we present a test generation tool for quantum programs based on a genetic algorithm, called QuSBT (Search-based Testing of Quantum Programs). QuSBT automates the testing of quantum programs, with the aim of finding a test suite having the maximum number of failing test cases. QuSBT utilizes IBM's Qiskit as the simulation framework for quantum programs. We present the tool architecture in addition to the implemented methodology (i.e., the encoding of the search individual, the definition of the fitness function expressing the search problem, and the test assessment w.r.t. two types of failures). Finally, we report results of the experiments in which we tested a set of faulty quantum programs with QuSBT to assess its effectiveness. Repository (code and experimental results): https://github.com/Simula-COMPLEX/qusbt-tool Video: https://youtu.be/3apRCtluAn4


title: Dark energy from a geometrical gauge scalar-tensor theory of gravity

abstract: In this paper we obtain some cosmological solutions that describe the present period of accelerating expansion of the universe in the framework of a geometrical gauge scalar-tensor theory of gravity. The background geometry in the model is the Weyl integrable and we found a class of power law solutions for the Weyl scalar field when an invariant metric is employed in a power law expanding universe. We obtain a deceleration and an equation of state parameters in agreement with PLANCK 2018 observational data for some specific parameters of the model. The deceleration parameter tends asymptotically to $-1/2$.


title: Cylin-Painting: Seamless {360\textdegree} Panoramic Image Outpainting and Beyond

abstract: Image outpainting gains increasing attention since it can generate the complete scene from a partial view, providing a valuable solution to construct {360\textdegree} panoramic images. As image outpainting suffers from the intrinsic issue of unidirectional completion flow, previous methods convert the original problem into inpainting, which allows a bidirectional flow. However, we find that inpainting has its own limitations and is inferior to outpainting in certain situations. The question of how they may be combined for the best of both has as yet remained under-explored. In this paper, we provide a deep analysis of the differences between inpainting and outpainting, which essentially depends on how the source pixels contribute to the unknown regions under different spatial arrangements. Motivated by this analysis, we present a Cylin-Painting framework that involves meaningful collaborations between inpainting and outpainting and efficiently fuses the different arrangements, with a view to leveraging their complementary benefits on a seamless cylinder. Nevertheless, straightforwardly applying the cylinder-style convolution often generates visually unpleasing results as it discards important positional information. To address this issue, we further present a learnable positional embedding strategy to incorporate the missing component of positional encoding into the cylinder convolution, which significantly improves the panoramic results. It is noted that while developed for image outpainting, the proposed algorithm can be effectively extended to other panoramic vision tasks, such as object detection, depth estimation, and image super-resolution. Code will be made available at \url{https://github.com/KangLiao929/Cylin-Painting}.


title: Safe essential scalar-tensor theories

abstract: We discuss the renormalisation group flow of all essential couplings of quantum gravity coupled to a shift-symmetric scalar field at fourth order in the derivative expansion. We derive the global structure of the phase diagram, and identify a bounded region in theory space which is both asymptotically safe in the ultraviolet, and connects to standard effective field theory in the infrared. Our system thus satisfies the weak-gravity bound. The allowed infrared behaviour of the essential four-scalar coupling is restricted by requiring an ultraviolet completion. This bound can be saturated by a theory without free parameters, which gives a concrete example for a fully predictive scalar-tensor theory.


title: Upper bounds for regularity of radicals of ideals and arithmetic degrees

abstract: Let $S$ be a polynomial ring in $n$ variables over a field. Let $I$ be a homogeneous ideal in $S$ generated by forms of degree at most $d$ with $\text{dim}(S/I)=r$. In the first part of this paper, we show how to derive from a result of Hoa an upper bound for the regularity of $\sqrt{I}$. More specifically we show that $\text{reg}(\sqrt{I})\leq d^{(n-1)2^{r-1}}$. In the second part, we show that the $r$-th arithmetic degree of $I$ is bounded above by $2\cdot d^{2^{n-r-1}}$. This is done by proving upper bounds for arithmetic degrees of strongly stable ideals and ideals of Borel type.


title: Beyond Being Real: A Sensorimotor Control Perspective on Interactions in Virtual Reality

abstract: We can create Virtual Reality (VR) interactions that have no equivalent in the real world by remapping spacetime or altering users' body representation, such as stretching the user's virtual arm for manipulation of distant objects or scaling up the user's avatar to enable rapid locomotion. Prior research has leveraged such approaches, what we call beyond-real techniques, to make interactions in VR more practical, efficient, ergonomic, and accessible. We present a survey categorizing prior movement-based VR interaction literature as reality-based, illusory, or beyond-real interactions. We survey relevant conferences (CHI, IEEE VR, VRST, UIST, and DIS) while focusing on selection, manipulation, locomotion, and navigation in VR. For beyond-real interactions, we describe the transformations that have been used by prior works to create novel remappings. We discuss open research questions through the lens of the human sensorimotor control system and highlight challenges that need to be addressed for effective utilization of beyond-real interactions in future VR applications, including plausibility, control, long-term adaptation, and individual differences.


title: Automated Audio Captioning using Audio Event Clues

abstract: Audio captioning is an important research area that aims to generate meaningful descriptions for audio clips. Most of the existing research extracts acoustic features of audio clips as input to encoder-decoder and transformer architectures to produce the captions in a sequence-to-sequence manner. Due to data insufficiency and the architecture's inadequate learning capacity, additional information is needed to generate natural language sentences, as well as acoustic features. To address these problems, an encoder-decoder architecture is proposed that learns from both acoustic features and extracted audio event labels as inputs. The proposed model is based on pre-trained acoustic features and audio event detection. Various experiments used different acoustic features, word embedding models, audio event label extraction methods, and implementation configurations to show which combinations have better performance on the audio captioning task. Results of the extensive experiments on multiple datasets show that using audio event labels with the acoustic features improves the recognition performance and the proposed method either outperforms or achieves competitive results with the state-of-the-art models.


title: The Triplet Dirac Seesaw in the View of the Recent CDF-II W Mass Anomaly

abstract: In the present letter, a Dirac neutrino mass model is presented in the view of the new result on W boson mass of $m_W^{CDF-II}=80.4335\pm 0.0094$ GeV, recently reported by the CDF-II experimental collaboration. The newly measured value of the W mass anomaly shows a 7-$\sigma$ deviation from that predicted by the standard model. The model explains the CDF-II W boson mass anomaly by extending the standard model with hypercharge zero vector-like fermion triplet. Symmetry is amended with a global $U(1)_{B-L}$ which is broken with an hypercharge zero electroweak triplet. It is demonstrated that the model can successfully explain CDF-II result, Dirac neutrino mass origin, while satisfying standard model precision constraints and collider constraints with scalar and fermion triplet masses in the ranger $1.4$ TeV$-5.2$ TeV and $100$ TeV $-10^{13}$ GeV, respectively.


title: Learning Similarity Preserving Binary Codes for Recommender Systems

abstract: Hashing-based Recommender Systems (RSs) are widely studied to provide scalable services. The existing methods for the systems combine three modules to achieve efficiency: feature extraction, interaction modeling, and binarization. In this paper, we study an unexplored module combination for the hashing-based recommender systems, namely Compact Cross-Similarity Recommender (CCSR). Inspired by cross-modal retrieval, CCSR utilizes Maximum a Posteriori similarity instead of matrix factorization and rating reconstruction to model interactions between users and items. We conducted experiments on MovieLens1M, Amazon product review, Ichiba purchase dataset and confirmed CCSR outperformed the existing matrix factorization-based methods. On the Movielens1M dataset, the absolute performance improvements are up to 15.69% in NDCG and 4.29% in Recall. In addition, we extensively studied three binarization modules: $sign$, scaled tanh, and sign-scaled tanh. The result demonstrated that although differentiable scaled tanh is popular in recent discrete feature learning literature, a huge performance drop occurs when outputs of scaled $tanh$ are forced to be binary.


title: A Comprehensive Survey on Trustworthy Graph Neural Networks: Privacy, Robustness, Fairness, and Explainability

abstract: Graph Neural Networks (GNNs) have made rapid developments in the recent years. Due to their great ability in modeling graph-structured data, GNNs are vastly used in various applications, including high-stakes scenarios such as financial analysis, traffic predictions, and drug discovery. Despite their great potential in benefiting humans in the real world, recent study shows that GNNs can leak private information, are vulnerable to adversarial attacks, can inherit and magnify societal bias from training data and lack interpretability, which have risk of causing unintentional harm to the users and society. For example, existing works demonstrate that attackers can fool the GNNs to give the outcome they desire with unnoticeable perturbation on training graph. GNNs trained on social networks may embed the discrimination in their decision process, strengthening the undesirable societal bias. Consequently, trustworthy GNNs in various aspects are emerging to prevent the harm from GNN models and increase the users' trust in GNNs. In this paper, we give a comprehensive survey of GNNs in the computational aspects of privacy, robustness, fairness, and explainability. For each aspect, we give the taxonomy of the related methods and formulate the general frameworks for the multiple categories of trustworthy GNNs. We also discuss the future research directions of each aspect and connections between these aspects to help achieve trustworthiness.


title: Quantum Computation of Hydrogen Bond Dynamics and Vibrational Spectra

abstract: Calculating the observable properties of chemical systems is often classically intractable and is widely viewed as a promising application of quantum information processing. Yet one of the most common and important chemical systems in nature - the hydrogen bond - has remained a challenge to study using quantum hardware on account of its anharmonic potential energy landscape. Here, we introduce a framework for solving hydrogen-bond systems and more generic chemical dynamics problems using quantum logic. We experimentally demonstrate a proof-of-principle instance of our method using the QSCOUT ion-trap quantum computer, in which we experimentally drive the ion-trap system to emulate the quantum wavepacket of the shared-proton within a hydrogen bond. Following the experimental creation of the shared-proton wavepacket, we then extract measurement observables such as its time-dependent spatial projection and its characteristic vibrational frequencies to spectroscopic accuracy (3.3 cm$^{-1}$ wavenumbers, corresponding to > 99.9% fidelity). Our approach introduces a new paradigm for studying the quantum chemical dynamics and vibrational spectra of molecules, and when combined with existing algorithms for electronic structure, opens the possibility to describe the complete behavior of complex molecular systems with unprecedented accuracy.


title: Expert-Calibrated Learning for Online Optimization with Switching Costs

abstract: We study online convex optimization with switching costs, a practically important but also extremely challenging problem due to the lack of complete offline information. By tapping into the power of machine learning (ML) based optimizers, ML-augmented online algorithms (also referred to as expert calibration in this paper) have been emerging as state of the art, with provable worst-case performance guarantees. Nonetheless, by using the standard practice of training an ML model as a standalone optimizer and plugging it into an ML-augmented algorithm, the average cost performance can be highly unsatisfactory. In order to address the "how to learn" challenge, we propose EC-L2O (expert-calibrated learning to optimize), which trains an ML-based optimizer by explicitly taking into account the downstream expert calibrator. To accomplish this, we propose a new differentiable expert calibrator that generalizes regularized online balanced descent and offers a provably better competitive ratio than pure ML predictions when the prediction error is large. For training, our loss function is a weighted sum of two different losses -- one minimizing the average ML prediction error for better robustness, and the other one minimizing the post-calibration average cost. We also provide theoretical analysis for EC-L2O, highlighting that expert calibration can be even beneficial for the average cost performance and that the high-percentile tail ratio of the cost achieved by EC-L2O to that of the offline optimal oracle (i.e., tail cost ratio) can be bounded. Finally, we test EC-L2O by running simulations for sustainable datacenter demand response. Our results demonstrate that EC-L2O can empirically achieve a lower average cost as well as a lower competitive ratio than the existing baseline algorithms.


title: Training and Evaluation of Deep Policies using Reinforcement Learning and Generative Models

abstract: We present a data-efficient framework for solving sequential decision-making problems which exploits the combination of reinforcement learning (RL) and latent variable generative models. The framework, called GenRL, trains deep policies by introducing an action latent variable such that the feed-forward policy search can be divided into two parts: (i) training a sub-policy that outputs a distribution over the action latent variable given a state of the system, and (ii) unsupervised training of a generative model that outputs a sequence of motor actions conditioned on the latent action variable. GenRL enables safe exploration and alleviates the data-inefficiency problem as it exploits prior knowledge about valid sequences of motor actions. Moreover, we provide a set of measures for evaluation of generative models such that we are able to predict the performance of the RL policy training prior to the actual training on a physical robot. We experimentally determine the characteristics of generative models that have most influence on the performance of the final policy training on two robotics tasks: shooting a hockey puck and throwing a basketball. Furthermore, we empirically demonstrate that GenRL is the only method which can safely and efficiently solve the robotics tasks compared to two state-of-the-art RL methods.


title: Adaptive Noisy Data Augmentation for Regularized Estimation and Inference in Generalized Linear Models

abstract: We propose the AdaPtive Noise Augmentation (PANDA) procedure to regularize the estimation and inference of generalized linear models (GLMs). PANDA iteratively optimizes the objective function given noise augmented data until convergence to obtain the regularized model estimates. The augmented noises are designed to achieve various regularization effects, including $l_0$, bridge (lasso and ridge included), elastic net, adaptive lasso, and SCAD, as well as group lasso and fused ridge. We examine the tail bound of the noise-augmented loss function and establish the almost sure convergence of the noise-augmented loss function and its minimizer to the expected penalized loss function and its minimizer, respectively. We derive the asymptotic distributions for the regularized parameters, based on which, inferences can be obtained simultaneously with variable selection. PANDA exhibits ensemble learning behaviors that help further decrease the generalization error. Computationally, PANDA is easy to code, leveraging existing software for implementing GLMs, without resorting to complicated optimization techniques. We demonstrate the superior or similar performance of PANDA against the existing approaches of the same type of regularizers in simulated and real-life data. We show that the inferences through PANDA achieve nominal or near-nominal coverage and are far more efficient compared to a popular existing post-selection procedure.


title: Collusion-resistant fingerprinting of parallel content channels

abstract: The fingerprinting game is analysed when the coalition size $k$ is known to the tracer, but the colluders can distribute themselves across $L$ TV channels. The collusion channel is introduced and the extra degrees of freedom for the coalition are made manifest in our formulation. We introduce a payoff functional that is analogous to the single TV channel case, and is conjectured to be closely related to the fingerprinting capacity. For the binary alphabet case under the marking assumption, and the restriction of access to one TV channel per person per segment, we derive the asymptotic behavior of the payoff functional. We find that the value of the maximin game for our payoff is asymptotically equal to $L^2/k^2 2 \ln 2$, with optimal strategy for the tracer being the arcsine distribution, and for the coalition being the interleaving attack across all TV channels, as well as assigning an equal number of colluders across the $L$ TV channels.


title: On root frames in $\mathbb{R}^d$

abstract: \emph{A root frame} for $\mathbb{R}^d$ is a finite frame whose vectors form a root system. In this note we establish some elementary properties of this class of frames and prove that root frames constitute a subclass of scalable frames. In addition, we show that root frames are examples of a larger class of frames called \emph{eigenframes}.


title: Swarmalators on a ring with distributed couplings

abstract: We study a simple model of identical swarmalators, generalizations of phases oscillators that swarm through space. We confine the movements to a one-dimensional (1D) ring and consider distributed (non-identical) couplings; the combination of these two effects captures an aspect of the more realistic 2D swarmalator model \cite{o2017oscillators}. We find new collective states as well as generalizations of previously reported ones which we describe analytically. These states imitate the behavior of vinegar eels, catalytic microswimmers, and other swarmalators which move on quasi-1D rings.


title: Is the Contralateral Delay Activity (CDA) a robust neural correlate for Visual Working Memory (VWM) tasks? A reproducibility study

abstract: Visual working memory (VWM) allows us to actively store, update and manipulate visual information surrounding us. While the underlying neural mechanisms of VWM remain unclear, contralateral delay activity (CDA), a sustained negativity over the hemisphere contralateral to the positions of visual items to be remembered, is often used to study VWM. To investigate if the CDA is a robust neural correlate for VWM tasks, we reproduced eight CDA-related studies with a publicly accessible EEG dataset. We used the raw EEG data from these eight studies and analyzed all of them with the same basic pipeline to extract CDA. We were able to reproduce the results from all the studies and show that with a basic automated EEG pipeline we can extract a clear CDA signal. We share insights from the trends observed across the studies and raise some questions about the CDA decay and the CDA during the recall phase, which surprisingly, none of the eight studies did address. Finally, we also provide reproducibility recommendations based on our experience and challenges in reproducing these studies.


title: When can we compute analytically lookback time, age of the universe, and luminosity distance?

abstract: In Friedmann-Lema\^itre-Robertson-Walker cosmology, it is sometimes possible to compute analytically lookback time, age of the universe, and luminosity distance versus redshift, expressing them in terms of a finite number of elementary functions. We classify these situations using the Chebyshev theorem of integration and providing examples.


title: Automatic Hardware Trojan Insertion using Machine Learning

abstract: Due to the current horizontal business model that promotes increasing reliance on untrusted third-party Intellectual Properties (IPs), CAD tools, and design facilities, hardware Trojan attacks have become a serious threat to the semiconductor industry. Development of effective countermeasures against hardware Trojan attacks requires: (1) fast and reliable exploration of the viable Trojan attack space for a given design and (2) a suite of high-quality Trojan-inserted benchmarks that meet specific standards. The latter has become essential for the development and evaluation of design/verification solutions to achieve quantifiable assurance against Trojan attacks. While existing static benchmarks provide a baseline for comparing different countermeasures, they only enumerate a limited number of handcrafted Trojans from the complete Trojan design space. To accomplish these dual objectives, in this paper, we present MIMIC, a novel AI-guided framework for automatic Trojan insertion, which can create a large population of valid Trojans for a given design by mimicking the properties of a small set of known Trojans. While there exist tools to automatically insert Trojan instances using fixed Trojan templates, they cannot analyze known Trojan attacks for creating new instances that accurately capture the threat model. MIMIC works in two major steps: (1) it analyzes structural and functional features of existing Trojan populations in a multi-dimensional space to train machine learning models and generate a large number of "virtual Trojans" of the given design, (2) next, it binds them into the design by matching their functional/structural properties with suitable nets of the internal logic structure. We have developed a complete tool flow for MIMIC, extensively evaluated the framework by exploring several use-cases, and quantified its effectiveness to demonstrate highly promising results.


title: On Parametric Optimal Execution and Machine Learning Surrogates

abstract: We investigate optimal order execution problems in discrete time with instantaneous price impact and stochastic resilience. First, in the setting of linear transient price impact we derive a closed-form recursion for the optimal strategy, extending the deterministic results from Obizhaeva and Wang (J Financial Markets, 2013). Second, we develop a numerical algorithm based on dynamic programming and deep learning for the case of nonlinear transient price impact as proposed by Bouchaud et al. (Quant. Finance, 2004). Specifically, we utilize an actor-critic framework that constructs two neural-network (NN) surrogates for the value function and the feedback control. The flexible scalability of NN functional approximators enables parametric learning, i.e., incorporating several model or market parameters as part of the input space. Precise calibration of price impact, resilience, etc., is known to be extremely challenging and hence it is critical to understand sensitivity of the execution policy to these parameters. Our NN learner organically scales across multiple input dimensions and is shown to accurately approximate optimal strategies across a wide range of parameter configurations. We provide a fully reproducible Jupyter Notebook with our NN implementation, which is of independent pedagogical interest, demonstrating the ease of use of NN surrogates in (parametric) stochastic control problems.


title: MASSIVE: A 1M-Example Multilingual Natural Language Understanding Dataset with 51 Typologically-Diverse Languages

abstract: We present the MASSIVE dataset--Multilingual Amazon Slu resource package (SLURP) for Slot-filling, Intent classification, and Virtual assistant Evaluation. MASSIVE contains 1M realistic, parallel, labeled virtual assistant utterances spanning 51 languages, 18 domains, 60 intents, and 55 slots. MASSIVE was created by tasking professional translators to localize the English-only SLURP dataset into 50 typologically diverse languages from 29 genera. We also present modeling results on XLM-R and mT5, including exact match accuracy, intent classification accuracy, and slot-filling F1 score. We have released our dataset, modeling code, and models publicly.


title: VQGAN-CLIP: Open Domain Image Generation and Editing with Natural Language Guidance

abstract: Generating and editing images from open domain text prompts is a challenging task that heretofore has required expensive and specially trained models. We demonstrate a novel methodology for both tasks which is capable of producing images of high visual quality from text prompts of significant semantic complexity without any training by using a multimodal encoder to guide image generations. We demonstrate on a variety of tasks how using CLIP [37] to guide VQGAN [11] produces higher visual quality outputs than prior, less flexible approaches like DALL-E [38], GLIDE [33] and Open-Edit [24], despite not being trained for the tasks presented. Our code is available in a public repository.


title: A Region-Based Deep Learning Approach to Automated Retail Checkout

abstract: Automating the product checkout process at conventional retail stores is a task poised to have large impacts on society generally speaking. Towards this end, reliable deep learning models that enable automated product counting for fast customer checkout can make this goal a reality. In this work, we propose a novel, region-based deep learning approach to automate product counting using a customized YOLOv5 object detection pipeline and the DeepSORT algorithm. Our results on challenging, real-world test videos demonstrate that our method can generalize its predictions to a sufficient level of accuracy and with a fast enough runtime to warrant deployment to real-world commercial settings. Our proposed method won 4th place in the 2022 AI City Challenge, Track 4, with an F1 score of 0.4400 on experimental validation data.


title: INFOrmation Prioritization through EmPOWERment in Visual Model-Based RL

abstract: Model-based reinforcement learning (RL) algorithms designed for handling complex visual observations typically learn some sort of latent state representation, either explicitly or implicitly. Standard methods of this sort do not distinguish between functionally relevant aspects of the state and irrelevant distractors, instead aiming to represent all available information equally. We propose a modified objective for model-based RL that, in combination with mutual information maximization, allows us to learn representations and dynamics for visual model-based RL without reconstruction in a way that explicitly prioritizes functionally relevant factors. The key principle behind our design is to integrate a term inspired by variational empowerment into a state-space model based on mutual information. This term prioritizes information that is correlated with action, thus ensuring that functionally relevant factors are captured first. Furthermore, the same empowerment term also promotes faster exploration during the RL process, especially for sparse-reward tasks where the reward signal is insufficient to drive exploration in the early stages of learning. We evaluate the approach on a suite of vision-based robot control tasks with natural video backgrounds, and show that the proposed prioritized information objective outperforms state-of-the-art model based RL approaches with higher sample efficiency and episodic returns. https://sites.google.com/view/information-empowerment


title: Multimodal Proximity and Visuotactile Sensing With a Selectively Transmissive Soft Membrane

abstract: The most common sensing modalities found in a robot perception system are vision and touch, which together can provide global and highly localized data for manipulation. However, these sensing modalities often fail to adequately capture the behavior of target objects during the critical moments as they transition out of static, controlled contact with an end-effector to dynamic and uncontrolled motion. In this work, we present a novel multimodal visuotactile sensor that provides simultaneous visuotactile and proximity depth data. The sensor integrates an RGB camera and air pressure sensor to sense touch with an infrared time-of-flight (ToF) camera to sense proximity by leveraging a selectively transmissive soft membrane to enable the dual sensing modalities. We present the mechanical design, fabrication techniques, algorithm implementations, and evaluation of the sensor's tactile and proximity modalities. The sensor is demonstrated in three open-loop robotic tasks: approaching and contacting an object, catching, and throwing. The fusion of tactile and proximity data could be used to capture key information about a target object's transition behavior for sensor-based control in dynamic manipulation.


title: Spatial-Temporal Hypergraph Self-Supervised Learning for Crime Prediction

abstract: Crime has become a major concern in many cities, which calls for the rising demand for timely predicting citywide crime occurrence. Accurate crime prediction results are vital for the beforehand decision-making of government to alleviate the increasing concern about the public safety. While many efforts have been devoted to proposing various spatial-temporal forecasting techniques to explore dependence across locations and time periods, most of them follow a supervised learning manner, which limits their spatial-temporal representation ability on sparse crime data. Inspired by the recent success in self-supervised learning, this work proposes a Spatial-Temporal Hypergraph Self-Supervised Learning framework (ST-HSL) to tackle the label scarcity issue in crime prediction. Specifically, we propose the cross-region hypergraph structure learning to encode region-wise crime dependency under the entire urban space. Furthermore, we design the dual-stage self-supervised learning paradigm, to not only jointly capture local- and global-level spatial-temporal crime patterns, but also supplement the sparse crime representation by augmenting region self-discrimination. We perform extensive experiments on two real-life crime datasets. Evaluation results show that our ST-HSL significantly outperforms state-of-the-art baselines. Further analysis provides insights into the superiority of our ST-HSL method in the representation of spatial-temporal crime patterns. The implementation code is available at https://github.com/LZH-YS1998/STHSL.


title: Exploiting sparseness in damage characterization: A close look at the regularization techniques

abstract: The idea of exploiting sparseness in under-determined damage characterization problems is not new, and regularizations techniques that tend to promote sparseness, such as L1-norm minimization, have been investigated in the last ten years or so. Although various claims of merit have been made, two interconnected issues put these claims into question, and this paper brings some attention to the matter. The first is that the relationship between the structural parameters and the modal features previously considered has been linear and to ensure that the premise was closely realized, only very small damage severities have been considered. The second issue, intimately related to the first, is the fact that the noise, which has been typically taken as small relative to the "change in the features", is then unrealistically small. In problems where the damage is sufficiently large, the nonlinear dependence of the features on the parameters cannot be generally discarded. It is found that the attainable performance is much less "impressive" that what has been often claimed. The paper also examines the potential merit of using Lp-norm (0<p<1) minimization, instead of L1-norm minimization which, to the knowledge of the writers, has not been previously examined in damage characterization research. In this case we also find that, contrary to claims made in other areas, this norm does not lead to any general improvement over the performance attained by minimizing the L1-norm.


title: Variable structure in the PDS70 disc and uncertainties in radio-interferometric image restoration

abstract: The compact mm-wavelength signal in the central cavity of the PDS70 disc, revealed by deep ALMA observations, is aligned with unresolved Halpha emission, and is thought to stem from a circum-planetary disc (CPD) around PDS70c. We revisit the available ALMA data on PDS70c with alternative imaging strategies, and with special attention to uncertainties and to the impact of the so-called "JvM correction", which is thought to improve the dynamic range of restored images. We also propose a procedure for the alignment and joint imaging of multi-epoch visibility data. We find that the JvM correction exaggerates the peak signal-to-noise of the data, by up to a factor of 10. In the case of PDS70, we recover the detection of PDS70c from the July 2019 data, but only at 8sigma. However, its non-detection in Dec. 2017 suggests that PDS70c is variable by at least 42%+-13% over a 1.75yr time-span, so similar to models of the Halpha variability. We also pick up fine structure in the inner disc, such that its peak is offset by ~ 0.04" from the disc centre. The inner disc is variable too, which we tentatively ascribe to Keplerian rotation as well as intrinsic morphological changes.


title: DFRC with Improved Communication-Sensing Trade-off via Private Subcarrier Permutations and Pairing with Antennas

abstract: Dual function radar communication (DFRC) systems can achieve significant improvements in spectrum efficiency, system complexity and energy efficiency, and are attracting a lot of attention for next generation wireless system design. This paper considers DFRC systems using MIMO radar with a sparse transmit array, transmitting OFDM waveforms, and assigning shared and private subcarriers to active transmit antennas. Subcarrier sharing allows antennas to modulate data symbols onto the same subcarriers and enables high communication rate, while the use of private subcarriers trades-off communication rate for sensing performance by enabling the formulation of a virtual array with larger aperture than the physical receive array. We propose to exploit the permutation of private subcarriers among the available subcarriers and the pairing between active antennas and private subcarriers to recover some of the communication rate loss. Exploiting the $1$-sparse property of private subcarriers, we also propose a low complexity algorithm to identify private subcarriers and detect the antenna-subcarrier pairing.


title: A variational characterization of calibrated submanifolds

abstract: Let $M$ be a fixed compact oriented embedded submanifold of a manifold $\overline{M}$. Consider the volume $\mathcal{V} (\overline{g}) = \int_M \mathsf{vol}_{(M, g)}$ as a functional of the ambient metric $\overline{g}$ on $\overline{M}$, where $g = \overline{g}|_M$. We show that $\overline{g}$ is a critical point of $\mathcal{V}$ with respect to a special class of variations of $\overline{g}$, obtained by varying a calibration $\mu$ on $\overline{M}$ in a particular way, if and only if $M$ is calibrated by $\mu$. We do not assume that the calibration is closed. We prove this for almost complex, associative, coassociative, and Cayley calibrations, generalizing earlier work of Arezzo-Sun in the almost K\"ahler case. The Cayley case turns out to be particularly interesting, as it behaves quite differently from the others. We also apply these results to obtain a variational characterization of Smith maps.


title: Context-Auditor: Context-sensitive Content Injection Mitigation

abstract: Cross-site scripting (XSS) is the most common vulnerability class in web applications over the last decade. Much research attention has focused on building exploit mitigation defenses for this problem, but no technique provides adequate protection in the face of advanced attacks. One technique that bypasses XSS mitigations is the scriptless attack: a content injection technique that uses (among other options) CSS and HTML injection to infiltrate data. In studying this technique and others, we realized that the common property among the exploitation of all content injection vulnerabilities, including not just XSS and scriptless attacks, but also command injections and several others, is an unintended context switch in the victim program's parsing engine that is caused by untrusted user input. In this paper, we propose Context-Auditor, a novel technique that leverages this insight to identify content injection vulnerabilities ranging from XSS to scriptless attacks and command injections. We implemented Context-Auditor as a general solution to content injection exploit detection problem in the form of a flexible, stand-alone detection module. We deployed instances of Context-Auditor as (1) a browser plugin, (2) a web proxy (3) a web server plugin, and (4) as a wrapper around potentially-injectable system endpoints. Because Context-Auditor targets the root cause of content injection exploitation (and, more specifically for the purpose of our prototype, XSS exploitation, scriptless exploitation, and command injection), our evaluation results demonstrate that Context-Auditor can identify and block content injection exploits that modern defenses cannot while maintaining low throughput overhead and avoiding false positives.


title: ITSS: Interactive Web-Based Authoring and Playback Integrated Environment for Programming Tutorials

abstract: Video-based programming tutorials are a popular form of tutorial used by authors to guide learners to code. Still, the interactivity of these videos is limited primarily to control video flow. There are existing works with increased interactivity that are shown to improve the learning experience. Still, these solutions require setting up a custom recording environment and are not well-integrated with the playback environment. This paper describes our integrated ITSS environment and evaluates the ease of authoring and playback of our interactive programming tutorials. Our environment is designed to run within the browser sandbox and is less intrusive to record interactivity actions. We develop a recording approach that tracks the author's interactivity actions (e.g., typing code, highlighting words, scrolling panels) on the browser and stored in text and audio formats. We replay these actions using the recorded artefacts for learners to have a more interactive, integrated and realistic playback of the author's actions instead of watching video frames. Our design goals are 1) efficient recording and playback, 2) extensible interactivity features to help students learn better, and 3) a scalable web-based environment. Our first user study of 20 participants who carry out the author tasks agree that it is efficient and easy to author interactive videos in our environment with no additional software needed. Our second user study of 84 students using the environment agrees that the increased interactivity can help them learn better over a video-based tutorial. Our performance test shows that the environment can scale to support up to 500 concurrent users. We hope our open-source environment enable more educators to create interactive programming tutorials.


title: Multi-UAV Collision Avoidance using Multi-Agent Reinforcement Learning with Counterfactual Credit Assignment

abstract: Multi-UAV collision avoidance is a challenging task for UAV swarm applications due to the need of tight cooperation among swarm members for collision-free path planning. Centralized Training with Decentralized Execution (CTDE) in Multi-Agent Reinforcement Learning is a promising method for multi-UAV collision avoidance, in which the key challenge is to effectively learn decentralized policies that can maximize a global reward cooperatively. We propose a new multi-agent critic-actor learning scheme called MACA for UAV swarm collision avoidance. MACA uses a centralized critic to maximize the discounted global reward that considers both safety and energy efficiency, and an actor per UAV to find decentralized policies to avoid collisions. To solve the credit assignment problem in CTDE, we design a counterfactual baseline that marginalizes both an agent's state and action, enabling to evaluate the importance of an agent in the joint observation-action space. To train and evaluate MACA, we design our own simulation environment MACAEnv to closely mimic the realistic behaviors of a UAV swarm. Simulation results show that MACA achieves more than 16% higher average reward than two state-of-the-art MARL algorithms and reduces failure rate by 90% and response time by over 99% compared to a conventional UAV swarm collision avoidance algorithm in all test scenarios.


title: Aeolian sediment transport on Io from lava-frost interactions

abstract: Surface modification on Jupiter's volcanically active moon, Io, has to date been attributed almost exclusively to lava emplacement and volcanic plume deposits. Here we demonstrate that wind-blown transport of sediment may also be altering the Ionian surface. Specifically, shallow subsurface interactions between lava and Io's widespread sulfur dioxide (SO$_2$) frost can produce localized sublimation vapor flows with sufficient gas densities to enable particle saltation. We calculate anticipated outgassing velocities from lava-SO$_2$ frost interactions, and compare these to the saltation thresholds predicted when accounting for the tenuous nature of the sublimated vapor. We find that saltation may occur if frost temperatures surpass 155 K. Finally we make the first measurements of the dimensions of linear features in images from the Galileo probe, previously termed "ridges", which demonstrate certain similarities to dunes on other planetary bodies. Io joins a growing list of bodies with tenuous and transient atmospheres where aeolian sediment transport may be an important control on the landscape.


title: Data driven soliton solution of the nonlinear Schr\"odinger equation with certain $\mathcal{PT}$-symmetric potentials via deep learning

abstract: We investigate the physics informed neural network method, a deep learning approach, to approximate soliton solution of the nonlinear Schr\"odinger equation with parity time symmetric potentials. We consider three different parity time symmetric potentials, namely Gaussian, periodic and Rosen-Morse potentials. We use physics informed neural network to solve the considered nonlinear partial differential equation with the above three potentials. We compare the predicted result with actual result and analyze the ability of deep learning in solving the considered partial differential equation. We check the ability of deep learning in approximating the soliton solution by taking squared error between real and predicted values. {Further, we examine the factors that affect the performance of the considered deep learning method with different activation functions, namely ReLU, sigmoid and tanh. We also use a new activation function, namely sech which is not used in the field of deep learning and analyze whether this new activation function is suitable for the prediction of soliton solution of nonlinear Schr\"odinger equation for the aforementioned parity time symmetric potentials. In addition to the above, we present how the network's structure and the size of the training data influence the performance of the physics informed neural network. Our results show that the constructed deep learning model successfully approximates the soliton solution of the considered equation with high accuracy.


title: Uniform spectral gap and orthogeodesic counting for strong convergence of Kleinian groups

abstract: We show convergence of small eigenvalues for geometrically finite hyperbolic $n$-manifolds under strong limits. For a class of convergent convex sets in a strongly convergent sequence of Kleinian groups, we use the spectral gap of the limit manifold and the exponentially mixing property of the geodesic flow along the strongly convergent sequence to find asymptotically uniform counting formulas for the number of orthogeodesics between the convex sets. In particular, this provides asymptotically uniform counting formulas (with respect to length) for orthogeodesics between converging Margulis tubes, geodesic loops based at converging basepoints, and primitive closed geodesics.


title: Solar calibration of $\alpha_{\rm MLT}$ using {\AE}SOPUS opacities in MESA

abstract: The simplistic but ubiquitous Mixing Length Theory (MLT) formalism is used to model convective energy transport within 1D stellar evolution calculations. The formalism relies on the free parameter $\alpha_{\rm MLT}$, which must be independently calibrated within each stellar evolution program and for any given set of physical assumptions. We present a solar calibration of $\alpha_{\text{MLT}}$ appropriate for use with the AESOPUS opacities, which have recently been made available for use with the MESA stellar evolution software. We report a calibrated value of $\alpha_{\rm MLT}=1.931$ and demonstrate the impact of using an appropriately calibrated value in simulations of a $3 M_{\odot}$ asymptotic giant branch star.


title: Extremely Correlated Fermi Liquid theory for $U=\infty$, $d=\infty$ Hubbard model to ${\cal O}(\lambda^3)$

abstract: We present the ${\cal O}(\lambda^3)$ results from the $\lambda$ expansion in the extremely correlated Fermi liquid theory applied to the infinite-dimensional $t$-$J$ model (with $J=0$), and compare the results with the earlier ${\cal O}(\lambda^2)$ results as well as the results from the dynamical mean field theory. We focus attention on the $T$ dependence of the resistivity $\rho(T)$, the Dyson self energy, and the quasiparticle weight $Z$ at various densities. The comparison shows that all the methods display quadratic in T resistivity followed by a quasi-linear in T resistivity characterizing a strange metal, and gives an estimate of the different scales of these variables relative to the exact results.


title: Vanishing lines in chromatic homotopy theory

abstract: We show that at the prime 2, for any height $h$ and $G \subset \mathbb{G}_h$ a finite subgroup of the Morava stabilizer group, the $RO(G)$-graded homotopy fixed point spectral sequence for $E_h$ has a strong horizontal vanishing line of filtration $N_{h, G}$, a specific number depending on $h$ and $G$. It is a consequence of the nilpotence theorem that such homotopy fixed point spectral sequences all admit strong horizontal vanishing lines at some finite filtration. Here, we establish specific bounds for them. Our bounds are sharp for all the known computations of $E_h^{hG}$ when $G$ is cyclic. Our proof is by investigating the effect of the norm functor on the Hill-Hopkins-Ravenel differentials in the Tate spectral sequence. As a consequence, we will also show that the $RO(G)$-graded slice spectral sequence of $(N_{C_2}^{G}\bar{v}_h)^{-1}BP^{((G))}$ has a horizontal vanishing line at the same filtration $N_{h, G}$. As an immediate application, we establish a bound for the orientation order $\Theta(h, G)$, the smallest number such that the $\Theta(h, G)$-fold direct sum of any real vector bundle is $E_h^{hG}$-orientable.


title: A Tour of Visualization Techniques for Computer Vision Datasets

abstract: We survey a number of data visualization techniques for analyzing Computer Vision (CV) datasets. These techniques help us understand properties and latent patterns in such data, by applying dataset-level analysis. We present various examples of how such analysis helps predict the potential impact of the dataset properties on CV models and informs appropriate mitigation of their shortcomings. Finally, we explore avenues for further visualization techniques of different modalities of CV datasets as well as ones that are tailored to support specific CV tasks and analysis needs.


title: On De la Pe\~{n}a Type Inequalities for Point Processes

abstract: There has been a renewed interest in exponential concentration inequalities for stochastic processes in probability and statistics over the last three decades. De la Pe\~{n}a \cite{d} establishes a nice exponential inequality for discrete time locally square integrable martingale . In this paper, we obtain de la Pe\~{n}a's inequalities for stochastic integral of multivariate point processes. The proof is primarily based on Dol\'{e}ans-Dade exponential formula and the optional stopping theorem. As application, we obtain an exponential inequality for block counting process in $\Lambda-$coalescents.


title: Minimizing Fleet Size and Improving Bike Allocation of Bike Sharing under Future Uncertainty

abstract: As a rapidly expanding service, bike sharing is facing severe problems of bike over-supply and demand fluctuation in many Chinese cities. This study develops a large-scale method to determine the minimum fleet size under uncertainty, based on the bike sharing data of millions of trips in Nanjing. It is found that the algorithm of minimizing fleet size under the incomplete-information scenario is effective in handling future uncertainty. For a dockless bike sharing system, supplying 14.5% of the original fleet could meet 96.8% of trip demands. Meanwhile, the results suggest that providing a integrated service platform that integrates multiple companies can significantly reduce the total fleet size by 44.6%. Moreover, in view of the COVID-19 pandemic, this study proposes a social distancing policy that maintains a suitable usage interval. These findings provide useful insights for improving the resource efficiency and operational service of bike sharing and shared mobility.


title: Molecular beam homoepitaxy of N-polar AlN: enabling role of Al-assisted surface cleaning

abstract: N-polar aluminum nitride (AlN) is an important building block for next-generation high-power RF electronics. We report successful homoepitaxial growth of N-polar AlN by molecular beam epitaxy (MBE) on large-area cost-effective N-polar AlN templates. Direct growth without any in-situ surface cleaning leads to films with inverted Al-polarity. It is found that Al-assisted cleaning before growth enables the epitaxial film to maintain N-polarity. The grown N-polar AlN epilayer with its smooth, pit-free surface duplicates the structural quality of the substrate as evidenced by a clean and smooth growth interface with no noticeable extended defects generation. Near band-edge photoluminescence peaks are observed at room temperature on samples with MBE-grown layers but not on the bare AlN substrates, implying the suppression of non-radiative recombination centers in the epitaxial N-polar AlN. These results are pivotal steps towards future high-power RF electronics and deep ultraviolet photonics based on the N-polar AlN platform.


title: Quantum computing hardware for HEP algorithms and sensing

abstract: Quantum information science harnesses the principles of quantum mechanics to realize computational algorithms with complexities vastly intractable by current computer platforms. Typical applications range from quantum chemistry to optimization problems and also include simulations for high energy physics. The recent maturing of quantum hardware has triggered preliminary explorations by several institutions (including Fermilab) of quantum hardware capable of demonstrating quantum advantage in multiple domains, from quantum computing to communications, to sensing. The Superconducting Quantum Materials and Systems (SQMS) Center, led by Fermilab, is dedicated to providing breakthroughs in quantum computing and sensing, mediating quantum engineering and HEP based material science. The main goal of the Center is to deploy quantum systems with superior performance tailored to the algorithms used in high energy physics. In this Snowmass paper, we discuss the two most promising superconducting quantum architectures for HEP algorithms, i.e. three-level systems (qutrits) supported by transmon devices coupled to planar devices and multi-level systems (qudits with arbitrary N energy levels) supported by superconducting 3D cavities. For each architecture, we demonstrate exemplary HEP algorithms and identify the current challenges, ongoing work and future opportunities. Furthermore, we discuss the prospects and complexities of interconnecting the different architectures and individual computational nodes. Finally, we review several different strategies of error protection and correction and discuss their potential to improve the performance of the two architectures. This whitepaper seeks to reach out to the HEP community and drive progress in both HEP research and QIS hardware.


title: Sharp inequalities for discrete and continuous multi-tiling, using the Bombieri-Siegel approach

abstract: Given a finite subset $F$ of integer points in $\mathbb Z^d$, it is of interest to seek conditions on $F$ that allow it to multi-tile $\mathbb Z^d$ by translations. In addition to the continuous multi-tiling results presented here, we also give analogous discrete applications to arithmetic combinatorics. Namely we give a discretized version of the Bombieri-Siegel formula, namely a finite sum of discrete covariograms, taken over any finite set of integer points in $\mathbb R^d$. As a consequence, we arrive at a new equivalent condition for multi-tiling $\mathbb Z^d$ by translating $F$ with a fixed integer sublattice. Similar questions related to convex bodies have already been investigated extensively. In order to develop lattice sums of the cross covariogram for any two bounded sets $A, B\subset \mathbb R^d$, we prove a refined continuous version of the classical Bombieri-Siegel formula from the geometry of numbers. To achieve this goal, we use a variant of the Poisson Summation formula, adapted for continuous functions of compact support. As an application of this refined Bombieri-Siegel formula, a new characterization of multi-tilings of Euclidean space by translations of a compact set by using a lattice is given. A further consequence is a spectral formula for the volume of any bounded measurable set.


title: Conditions of general $Z_{2}$ symmetry and TM$_{1,2}$ mixing for the minimal type-I seesaw mechanism in an arbitrary basis

abstract: In this paper, using a formula for the minimal type-I seesaw mechanism by $LDL^{T}$ (or generalized Cholesky) decomposition, conditions of general $Z_{2}$-invariance for the neutrino mass matrix $m$ is obtained in an arbitrary basis. The conditions are found to be $(M_{22} a_{i}^{+} - M_{12} b_{i}^{+}) \, ( M_{22} a_{j}^{-} - M_{12} b_{j}^{-}) = - \det M \, b_{i}^{+} \, b_{j}^{-}$ for the $Z_{2}$-symmetric and -antisymmetric part of a Yukawa matrix $Y_{ij}^{\pm} \equiv (Y \pm T Y )_{ij} /2 \equiv (a_{j}^{\pm}, b_{j}^{\pm})$ and the right-handed neutrino mass matrix $M_{ij}$. In other words, the symmetric and antisymmetric part of $b_{i}$ must be proportional to those of the quantity $\tilde a_{i} \equiv a_{i} - {M_{12} \over M_{22}} b_{i}$. They are equivalent to the condition that $m$ is block diagonalized by eigenvectors of the generator $T$. These results are applied to three $Z_{2}$ symmetries, the $\mu-\tau$ symmetry, the TM$_{1}$ mixing, and the magic symmetry which predicts the TM$_{2}$ mixing. For the case of TM$_{1,2}$, the symmetry conditions become $ M_{22}^{2} \, \tilde {a}_{1}^{\rm TBM} \tilde a_{2}^{\rm TBM} = - \det M \, b_{1}^{\rm TBM} b_{2}^{\rm TBM}$ and $ M_{22}^{2} \, \tilde {a}_{1,2}^{\rm TBM} \tilde a_{3}^{\rm TBM} = - \det M \, b_{1,2}^{\rm TBM} b_{3}^{\rm TBM}$ with components $\tilde a_{i}^{\rm TBM}$ and $b_{i}^{\rm TBM}$ in the TBM basis $\mathbf{v}_{1,2,3}$. In particular, for the TM$_{2}$ mixing, the magic (anti-)symmetric Yukawa matrix with $S_{2} Y = \pm Y$ is phenomenologically excluded because it predicts $m_{2}=0$ or $m_{1}, m_{3} = 0$. In the case where Yukawa is not (anti-)symmetric, the mass singular values are displayed without a root sign.


title: G2GT: Retrosynthesis Prediction with Graph to Graph Attention Neural Network and Self-Training

abstract: Retrosynthesis prediction is one of the fundamental challenges in organic chemistry and related fields. The goal is to find reactants molecules that can synthesize product molecules. To solve this task, we propose a new graph-to-graph transformation model, G2GT, in which the graph encoder and graph decoder are built upon the standard transformer structure. We also show that self-training, a powerful data augmentation method that utilizes unlabeled molecule data, can significantly improve the model's performance. Inspired by the reaction type label and ensemble learning, we proposed a novel weak ensemble method to enhance diversity. We combined beam search, nucleus, and top-k sampling methods to further improve inference diversity and proposed a simple ranking algorithm to retrieve the final top-10 results. We achieved new state-of-the-art results on both the USPTO-50K dataset, with top1 accuracy of 54%, and the larger data set USPTO-full, with top1 accuracy of 50%, and competitive top-10 results.


title: "Flux+Mutability": A Conditional Generative Approach to One-Class Classification and Anomaly Detection

abstract: Anomaly Detection is becoming increasingly popular within the experimental physics community. At experiments such as the Large Hadron Collider, anomaly detection is at the forefront of finding new physics beyond the Standard Model. This paper details the implementation of a novel Machine Learning architecture, called Flux+Mutability, which combines cutting-edge conditional generative models with clustering algorithms. In the `flux' stage we learn the distribution of a reference class. The `mutability' stage at inference addresses if data significantly deviates from the reference class. We demonstrate the validity of our approach and its connection to multiple problems spanning from one-class classification to anomaly detection. In particular, we apply our method to the isolation of neutral showers in an electromagnetic calorimeter and show its performance in detecting anomalous dijets events from standard QCD background. This approach limits assumptions on the reference sample and remains agnostic to the complementary class of objects of a given problem. We describe the possibility of dynamically generating a reference population and defining selection criteria via quantile cuts. Remarkably this flexible architecture can be deployed for a wide range of problems, and applications like multi-class classification or data quality control are left for further exploration.


title: Image Data Augmentation for Deep Learning: A Survey

abstract: Deep learning has achieved remarkable results in many computer vision tasks. Deep neural networks typically rely on large amounts of training data to avoid overfitting. However, labeled data for real-world applications may be limited. By improving the quantity and diversity of training data, data augmentation has become an inevitable part of deep learning model training with image data. As an effective way to improve the sufficiency and diversity of training data, data augmentation has become a necessary part of successful application of deep learning models on image data. In this paper, we systematically review different image data augmentation methods. We propose a taxonomy of reviewed methods and present the strengths and limitations of these methods. We also conduct extensive experiments with various data augmentation methods on three typical computer vision tasks, including semantic segmentation, image classification and object detection. Finally, we discuss current challenges faced by data augmentation and future research directions to put forward some useful research guidance.


title: Pure Interchange Oscillations of Thin Filaments in an Average Magnetosphere

abstract: This paper describes magnetospheric waves of very long wavelength in thin magnetic filaments. We consider an average magnetospheric configuration with zero ionospheric conductance and calculate waves using two different formulations: classic interchange theory and ideal MHD. Classic interchange theory, which is developed in detail in this paper, is basically analytic and is relatively straightforward to determine computationally, but it cannot offer very high accuracy. The two formalisms agree well for the plasma sheet and also for the inner magnetosphere. The eigenfrequencies range over about a factor of seven, but the formulations generally agree with a root-mean-square difference between the logarithms of interchange and MHD frequencies to be $\sim 0.054$. The pressure perturbations in the classic interchange theory are assumed constant along each field line, but the MHD computed pressure perturbations along the field line vary in a range $\sim 30 \%$ in the plasma sheet but are larger in the inner magnetosphere. The parallel and perpendicular displacements, which are very different in the plasma sheet and inner magnetosphere, show good qualitative agreement between the two approaches. In the plasma sheet, the perpendicular displacements are strongly concentrated in the equatorial plane, whereas the parallel displacements are spread through most of the plasma sheet away from the equatorial plane; and can be regarded as buoyancy waves. In the inner magnetosphere, the displacements are more sinusoidal and are more like conventional slow modes. The different forms of the waves are best characterized by the flux tube entropy $PV^\gamma$.


title: Metamorphic Testing-based Adversarial Attack to Fool Deepfake Detectors

abstract: Deepfakes utilise Artificial Intelligence (AI) techniques to create synthetic media where the likeness of one person is replaced with another. There are growing concerns that deepfakes can be maliciously used to create misleading and harmful digital contents. As deepfakes become more common, there is a dire need for deepfake detection technology to help spot deepfake media. Present deepfake detection models are able to achieve outstanding accuracy (>90%). However, most of them are limited to within-dataset scenario, where the same dataset is used for training and testing. Most models do not generalise well enough in cross-dataset scenario, where models are tested on unseen datasets from another source. Furthermore, state-of-the-art deepfake detection models rely on neural network-based classification models that are known to be vulnerable to adversarial attacks. Motivated by the need for a robust deepfake detection model, this study adapts metamorphic testing (MT) principles to help identify potential factors that could influence the robustness of the examined model, while overcoming the test oracle problem in this domain. Metamorphic testing is specifically chosen as the testing technique as it fits our demand to address learning-based system testing with probabilistic outcomes from largely black-box components, based on potentially large input domains. We performed our evaluations on MesoInception-4 and TwoStreamNet models, which are the state-of-the-art deepfake detection models. This study identified makeup application as an adversarial attack that could fool deepfake detectors. Our experimental results demonstrate that both the MesoInception-4 and TwoStreamNet models degrade in their performance by up to 30\% when the input data is perturbed with makeup.


title: Self-Supervised Equivariant Learning for Oriented Keypoint Detection

abstract: Detecting robust keypoints from an image is an integral part of many computer vision problems, and the characteristic orientation and scale of keypoints play an important role for keypoint description and matching. Existing learning-based methods for keypoint detection rely on standard translation-equivariant CNNs but often fail to detect reliable keypoints against geometric variations. To learn to detect robust oriented keypoints, we introduce a self-supervised learning framework using rotation-equivariant CNNs. We propose a dense orientation alignment loss by an image pair generated by synthetic transformations for training a histogram-based orientation map. Our method outperforms the previous methods on an image matching benchmark and a camera pose estimation benchmark.


title: Higher-order modulations in the skyrmion-lattice phase of Cu$_2$OSeO$_3$

abstract: Using small angle neutron scattering, we have investigated higher-order peaks in the skyrmion-lattice phase of Cu$_2$OSeO$_3$, in which two different skyrmion lattices, SkX1 and SkX2, are known to form. For each skyrmion-lattice phase, we observed two sets of symmetrically inequivalent peaks at the higher-order-reflection positions with the indices $(110)$ and $(200)$. Under the condition where the SkX1 and SkX2 coexist, we confirmed the absence of the scattering at $\mathbf{Q}$ positions combining reflections from the two phases, indicating a significantly weak double-scattering component. Detailed analysis of the peak profile, as well as the temperature and magnetic-field dependence of the peak intensity, also supports the intrinsic higher-order modulation rather than the parasitic double scattering. The two higher-order modulations show contrasting magnetic-field dependence; the former $(110)$ increases as the field is increased, whereas the latter $(200)$ decreases. This indicates that, in Cu$_2$OSeO$_3$, skyrmions are weakly distorted, and the distortion is field-dependent in a way that the dominant higher-order modulation switches from $(110)$ to $(200)$ under field. Monte Carlo simulations under sweeping external magnetic field qualitatively reproduce the observed magnetic-field dependence, and suggests that the higher-order modulations correspond to the superlattices of weak swirlings appearing in the middle of the original triangular-latticed skyrmions.


title: Poisons that are learned faster are more effective

abstract: Imperceptible poisoning attacks on entire datasets have recently been touted as methods for protecting data privacy. However, among a number of defenses preventing the practical use of these techniques, early-stopping stands out as a simple, yet effective defense. To gauge poisons' vulnerability to early-stopping, we benchmark error-minimizing, error-maximizing, and synthetic poisons in terms of peak test accuracy over 100 epochs and make a number of surprising observations. First, we find that poisons that reach a low training loss faster have lower peak test accuracy. Second, we find that a current state-of-the-art error-maximizing poison is 7 times less effective when poison training is stopped at epoch 8. Third, we find that stronger, more transferable adversarial attacks do not make stronger poisons. We advocate for evaluating poisons in terms of peak test accuracy.


title: A Barzilai-Borwein Descent Method for Multiobjective Optimization Problems

abstract: The steepest descent method proposed by Fliege et al. motivates the research on descent methods for multiobjective optimization, which has received increasing attention in recent years. However, empirical results show that the Armijo line search often gives a very small stepsize along the steepest direction, which decelerates the convergence seriously. This paper points out that the issue is mainly due to the imbalances among objective functions. To address this issue, we propose a Barzilai-Borwein descent method for multiobjective optimization (BBDMO) that dynamically tunes gradient magnitudes using Barzilai-Borwein's rule in direction-finding subproblem. With monotone and nonmonotone line search techniques, it is proved that accumulation points generated by BBDMO are Pareto critical points, respectively. Furthermore, theoretical results indicate the Armijo line search can achieve a better stepsize in BBDMO. Finally, comparative results of numerical experiments are reported to illustrate the efficiency of BBDMO and verify the theoretical results.


title: Size Distribution of Small Jupiter Trojans in the L5 Swarm

abstract: We present an analysis of survey observations of the trailing L5 Jupiter Trojan swarm using the wide-field Hyper Suprime-Cam CCD camera on the 8.2 m Subaru Telescope. We detected 189 L5 Trojans from our survey that covered about 15 deg^2 of sky with a detection limit of m_r = 24.1 mag, and selected an unbiased sample consisting of 87 objects with absolute magnitude 14 < H_r < 17 corresponding to diameter 2 km < D < 10 km for analysis of size distribution. We fit their differential magnitude distribution to a single-slope power-law with an index \alpha = 0.37 +- 0.01, which corresponds to a cumulative size distribution with an index of b = 1.85 +- 0.05. Combining our results with data for known asteroids, we obtained the size distribution of L5 Jupiter Trojans over the entire size range for 9 < H_V < 17, and found that the size distributions of the L4 and L5 swarms agree well with each other for a wide range of sizes. This is consistent with the scenario that asteroids in the two swarms originated from the same primordial population. Based on the above results, the ratio of the total number of asteroids with D > 2 km in the two swarms is estimated to be N_L4/N_L5=1.40 +- 0.15, and the total number of L_5 Jupiter Trojans with D > 1 km is estimated to be 1.1 x 10^5 by extrapolating the obtained distribution.


title: Scalability of gadolinium-doped-water Cherenkov detectors for nuclear nonproliferation

abstract: Antineutrinos are an unavoidable byproduct of the fission process. The kiloton-scale KamLAND experiment has demonstrated the capability to detect reactor antineutrinos at few-hundred-km range. But to detect or rule out the existence of a single small reactor over many km requires a large detector. So large in fact that the optical opacity of the detection medium itself becomes an important factor. If the detector is so large that photons cannot traverse across the detector medium to an optical detector, then it becomes impractical. For this reason, gadolinium-doped-water Cherenkov detectors have been proposed for large volumes, due to their appealing light-attenuation properties. Even though Cherenkov emission does not produce many photons and the energy resolution is poor, there may be a place for Gd-doped-water detectors in the far-field nuclear reactor monitoring. In this paper, we focus on the reactor discovery potential of large-volume Gd-doped-water Cherenkov detectors for nuclear nonproliferation applications. Realistic background models for the worldwide reactor flux, geo-neutrinos, cosmogenic fast neutrons, and detector-associated backgrounds are included. We calculate the detector run time required to detect a small 50-MWt reactor at a variety of stand-off distances as a function of detector size. We highlight that at present, PMT dark rate and event reconstruction algorithms are the limiting factors to extending beyond ~50-kt fiducial mass.


title: Partial Relaxed Optimal Transport for Denoised Recommendation

abstract: The interaction data used by recommender systems (RSs) inevitably include noises resulting from mistaken or exploratory clicks, especially under implicit feedbacks. Without proper denoising, RS models cannot effectively capture users' intrinsic preferences and the true interactions between users and items. To address such noises, existing methods mostly rely on auxiliary data which are not always available. In this work, we ground on Optimal Transport (OT) to globally match a user embedding space and an item embedding space, allowing both non-deep and deep RS models to discriminate intrinsic and noisy interactions without supervision. Specifically, we firstly leverage the OT framework via Sinkhorn distance to compute the continuous many-to-many user-item matching scores. Then, we relax the regularization in Sinkhorn distance to achieve a closed-form solution with a reduced time complexity. Finally, to consider individual user behaviors for denoising, we develop a partial OT framework to adaptively relabel user-item interactions through a personalized thresholding mechanism. Extensive experiments show that our framework can significantly boost the performances of existing RS models.


title: Quantifying Spatial Under-reporting Disparities in Resident Crowdsourcing

abstract: Modern city governance relies heavily on crowdsourcing to identify problems such as downed trees and power lines. A major concern is that residents do not report problems at the same rates, with heterogeneous reporting delays directly translating to downstream disparities in how quickly incidents can be addressed. Here we develop a method to identify reporting delays without using external ground-truth data. Our insight is that the rates at which duplicate reports are made about the same incident can be leveraged to disambiguate whether an incident has occurred by investigating its reporting rate once it has occurred. We apply our method to over 100,000 resident reports made in New York City and to over 900,000 reports made in Chicago, finding that there are substantial spatial and socioeconomic disparities in how quickly incidents are reported. We further validate our methods using external data and demonstrate how estimating reporting delays leads to practical insights and interventions for a more equitable, efficient government service.


title: Proximal Implicit ODE Solvers for Accelerating Learning Neural ODEs

abstract: Learning neural ODEs often requires solving very stiff ODE systems, primarily using explicit adaptive step size ODE solvers. These solvers are computationally expensive, requiring the use of tiny step sizes for numerical stability and accuracy guarantees. This paper considers learning neural ODEs using implicit ODE solvers of different orders leveraging proximal operators. The proximal implicit solver consists of inner-outer iterations: the inner iterations approximate each implicit update step using a fast optimization algorithm, and the outer iterations solve the ODE system over time. The proximal implicit ODE solver guarantees superiority over explicit solvers in numerical stability and computational efficiency. We validate the advantages of proximal implicit solvers over existing popular neural ODE solvers on various challenging benchmark tasks, including learning continuous-depth graph neural networks and continuous normalizing flows.