title: Hypercontractivity on High Dimensional Expanders: a Local-to-Global Approach for Higher Moments

abstract: Hypercontractivity is one of the most powerful tools in Boolean function analysis. Originally studied over the discrete hypercube, recent years have seen increasing interest in extensions to settings like the $p$-biased cube, slice, or Grassmannian, where variants of hypercontractivity have found a number of breakthrough applications including the resolution of Khot's 2-2 Games Conjecture (Khot, Minzer, Safra FOCS 2018). In this work, we develop a new theory of hypercontractivity on high dimensional expanders (HDX), an important class of expanding complexes that has recently seen similarly impressive applications in both coding theory and approximate sampling. Our results lead to a new understanding of the structure of Boolean functions on HDX, including a tight analog of the KKL Theorem and a new characterization of non-expanding sets. Unlike previous settings satisfying hypercontractivity, HDX can be asymmetric, sparse, and very far from products, which makes the application of traditional proof techniques challenging. We handle these barriers with the introduction of two new tools of independent interest: a new explicit combinatorial Fourier basis for HDX that behaves well under restriction, and a new local-to-global method for analyzing higher moments. Interestingly, unlike analogous second moment methods that apply equally across all types of expanding complexes, our tools rely inherently on simplicial structure. This suggests a new distinction among high dimensional expanders based upon their behavior beyond the second moment.


title: FLSys: Toward an Open Ecosystem for Federated Learning Mobile Apps

abstract: This article presents the design, implementation, and evaluation of FLSys, a mobile-cloud federated learning (FL) system, which can be a key component for an open ecosystem of FL models and apps. FLSys is designed to work on smart phones with mobile sensing data. It balances model performance with resource consumption, tolerates communication failures, and achieves scalability. In FLSys, different DL models with different FL aggregation methods can be trained and accessed concurrently by different apps. Furthermore, FLSys provides advanced privacy preserving mechanisms and a common API for third-party app developers to access FL models. FLSys adopts a modular design and is implemented in Android and AWS cloud. We co-designed FLSys with a human activity recognition (HAR) model. HAR sensing data was collected in the wild from 100+ college students during a 4-month period. We implemented HAR-Wild, a CNN model tailored to mobile devices, with a data augmentation mechanism to mitigate the problem of non-Independent and Identically Distributed data. A sentiment analysis model is also used to demonstrate that FLSys effectively supports concurrent models. This article reports our experience and lessons learned from conducting extensive experiments using simulations, Android/Linux emulations, and Android phones that demonstrate FLSys achieves good model utility and practical system performance.


title: L4-Norm Weight Adjustments for Converted Spiking Neural Networks

abstract: Spiking Neural Networks (SNNs) are being explored for their potential energy efficiency benefits due to sparse, event-driven computation. Non-spiking artificial neural networks are typically trained with stochastic gradient descent using backpropagation. The calculation of true gradients for backpropagation in spiking neural networks is impeded by the non-differentiable firing events of spiking neurons. On the other hand, using approximate gradients is effective, but computationally expensive over many time steps. One common technique, then, for training a spiking neural network is to train a topologically-equivalent non-spiking network, and then convert it to an spiking network, replacing real-valued inputs with proportionally rate-encoded Poisson spike trains. Converted SNNs function sufficiently well because the mean pre-firing membrane potential of a spiking neuron is proportional to the dot product of the input rate vector and the neuron weight vector, similar to the functionality of a non-spiking network. However, this conversion only considers the mean and not the temporal variance of the membrane potential. As the standard deviation of the pre-firing membrane potential is proportional to the L4-norm of the neuron weight vector, we propose a weight adjustment based on the L4-norm during the conversion process in order to improve classification accuracy of the converted network.


title: Unbiased Risk Estimation in the Normal Means Problem via Coupled Bootstrap Techniques

abstract: We develop a new approach for estimating the risk of an arbitrary estimator of the mean vector in the classical normal means problem. The key idea is to generate two auxiliary data vectors, by adding carefully constructed normal noise vectors to the original data. We then train the estimator of interest on the first auxiliary vector and test it on the second. In order to stabilize the risk estimate, we average this procedure over multiple draws of the synthetic noise vector. A key aspect of this coupled bootstrap (CB) approach is that it delivers an unbiased estimate of risk under no assumptions on the estimator of the mean vector, albeit for a modified and slightly "harder" version of the original problem, where the noise variance is elevated. We prove that, under the assumptions required for the validity of Stein's unbiased risk estimator (SURE), a limiting version of the CB estimator recovers SURE exactly. We then analyze a bias-variance decomposition of the error of the CB estimator, which elucidates the effects of the variance of the auxiliary noise and the number of bootstrap samples on the accuracy of the estimator. Lastly, we demonstrate that the CB estimator performs favorably in various simulated experiments.


title: Aspects of 5d Seiberg-Witten Theories on $\mathbb{S}^1$

abstract: We study the infrared physics of 5d $\cal N=1$ Yang-Mills theories compactified on $\mathbb{S}^1$, with a view toward 4d and 5d limits. Global structures of the simplest Coulombic moduli spaces are outlined, with an emphasis on how multiple planar 4d Seiberg-Witten geometries are embedded in the cigar geometry of a single 5d theory on $\mathbb{S}^1$. The Coulomb phase boundaries in the decompactification limit are given particular attention and related to how the wall-crossings by 5d BPS particles turn off. On the other hand, the elliptic genera of magnetic BPS strings do wall-cross and retain the memory of 4d wall-crossings, which we review with the example of dP$_2$ theory. Along the way, we also offer a general field theory proof of the odd shift of electric charge on Sp$(k)_\pi$ instanton solitons, previously observed via geometric engineering for low-rank supersymmetric theories.


title: Local Mutual Exclusion for Dynamic, Anonymous, Bounded Memory Message Passing Systems

abstract: Mutual exclusion is a classical problem in distributed computing that provides isolation among concurrent action executions that may require access to the same shared resources. Inspired by algorithmic research on distributed systems of weakly capable entities whose connections change over time, we address the local mutual exclusion problem that tasks each node with acquiring exclusive locks for itself and the maximal subset of its "persistent" neighbors that remain connected to it over the time interval of the lock request. Using the established time-varying graphs model to capture adversarial topological changes, we propose and rigorously analyze a local mutual exclusion algorithm for nodes that are anonymous and communicate via asynchronous message passing. The algorithm satisfies mutual exclusion (non-intersecting lock sets) and lockout freedom (eventual success with probability 1) under both semi-synchronous and asynchronous concurrency. It requires $\mathcal{O}(\Delta)$ memory per node and messages of size $\Theta(1)$, where $\Delta$ is the maximum number of connections per node. We conclude by describing how our algorithm can implement the pairwise interactions assumed by population protocols and the concurrency control operations assumed by the canonical amoebot model, demonstrating its utility in both passively and actively dynamic distributed systems.


title: See Eye to Eye: A Lidar-Agnostic 3D Detection Framework for Unsupervised Multi-Target Domain Adaptation

abstract: Sampling discrepancies between different manufacturers and models of lidar sensors result in inconsistent representations of objects. This leads to performance degradation when 3D detectors trained for one lidar are tested on other types of lidars. Remarkable progress in lidar manufacturing has brought about advances in mechanical, solid-state, and recently, adjustable scan pattern lidars. For the latter, existing works often require fine-tuning the model each time scan patterns are adjusted, which is infeasible. We explicitly deal with the sampling discrepancy by proposing a novel unsupervised multi-target domain adaptation framework, SEE, for transferring the performance of state-of-the-art 3D detectors across both fixed and flexible scan pattern lidars without requiring fine-tuning of models by end-users. Our approach interpolates the underlying geometry and normalizes the scan pattern of objects from different lidars before passing them to the detection network. We demonstrate the effectiveness of SEE on public datasets, achieving state-of-the-art results, and additionally provide quantitative results on a novel high-resolution lidar to prove the industry applications of our framework.


title: Benchmarking and scaling of deep learning models for land cover image classification

abstract: The availability of the sheer volume of Copernicus Sentinel-2 imagery has created new opportunities for exploiting deep learning (DL) methods for land use land cover (LULC) image classification. However, an extensive set of benchmark experiments is currently lacking, i.e. DL models tested on the same dataset, with a common and consistent set of metrics, and in the same hardware. In this work, we use the BigEarthNet Sentinel-2 dataset to benchmark for the first time different state-of-the-art DL models for the multi-label, multi-class LULC image classification problem, contributing with an exhaustive zoo of 60 trained models. Our benchmark includes standard CNNs, as well as non-convolutional methods. We put to the test EfficientNets and Wide Residual Networks (WRN) architectures, and leverage classification accuracy, training time and inference rate. Furthermore, we propose to use the EfficientNet framework for the compound scaling of a lightweight WRN. Enhanced with an Efficient Channel Attention mechanism, our scaled lightweight model emerged as the new state-of-the-art. It achieves 4.5% higher averaged F-Score classification accuracy for all 19 LULC classes compared to a standard ResNet50 baseline model, with an order of magnitude less trainable parameters. We provide access to all trained models, along with our code for distributed training on multiple GPU nodes. This model zoo of pre-trained encoders can be used for transfer learning and rapid prototyping in different remote sensing tasks that use Sentinel-2 data, instead of exploiting backbone models trained with data from a different domain, e.g., from ImageNet. We validate their suitability for transfer learning in different datasets of diverse volumes. Our top-performing WRN achieves state-of-the-art performance (71.1% F-Score) on the SEN12MS dataset while being exposed to only a small fraction of the training dataset.


title: Open Vocabulary Object Detection with Pseudo Bounding-Box Labels

abstract: Despite great progress in object detection, most existing methods work only on a limited set of object categories, due to the tremendous human effort needed for bounding-box annotations of training data. To alleviate the problem, recent open vocabulary and zero-shot detection methods attempt to detect novel object categories beyond those seen during training. They achieve this goal by training on a pre-defined base categories to induce generalization to novel objects. However, their potential is still constrained by the small set of base categories available for training. To enlarge the set of base classes, we propose a method to automatically generate pseudo bounding-box annotations of diverse objects from large-scale image-caption pairs. Our method leverages the localization ability of pre-trained vision-language models to generate pseudo bounding-box labels and then directly uses them for training object detectors. Experimental results show that our method outperforms the state-of-the-art open vocabulary detector by 8% AP on COCO novel categories, by 6.3% AP on PASCAL VOC, by 2.3% AP on Objects365 and by 2.8% AP on LVIS. Code is available at https://github.com/salesforce/PB-OVD.


title: RoBERTuito: a pre-trained language model for social media text in Spanish

abstract: Since BERT appeared, Transformer language models and transfer learning have become state-of-the-art for Natural Language Understanding tasks. Recently, some works geared towards pre-training specially-crafted models for particular domains, such as scientific papers, medical documents, user-generated texts, among others. These domain-specific models have been shown to improve performance significantly in most tasks. However, for languages other than English such models are not widely available. In this work, we present RoBERTuito, a pre-trained language model for user-generated text in Spanish, trained on over 500 million tweets. Experiments on a benchmark of tasks involving user-generated text showed that RoBERTuito outperformed other pre-trained language models in Spanish. In addition to this, our model achieves top results for some English-Spanish tasks of the Linguistic Code-Switching Evaluation benchmark (LinCE) and has also competitive performance against monolingual models in English tasks. To facilitate further research, we make RoBERTuito publicly available at the HuggingFace model hub together with the dataset used to pre-train it.


title: Designing 1D correlated-electron states by non-Euclidean topography of 2D monolayers

abstract: Two-dimensional (2D) bilayers, twisted to particular angles to display electronic flat bands, are being extensively explored for physics of strongly correlated 2D systems. However, the similar rich physics of one-dimensional (1D) strongly correlated systems remains elusive as it is largely inaccessible by twists. Here, a distinctive way to create 1D flat bands is proposed, by either stamping or growing a 2D monolayer on a non-Euclidean topography-patterned surface. Using boron nitride (hBN) as an example, our analysis employing elastic plate theory, density-functional and coarse-grained tight-binding method reveals that hBN's bi-periodic sinusoidal deformation creates pseudo-electric and magnetic fields with unexpected spatial dependence. A combination of these fields leads to anisotropic confinement and 1D flat bands. Moreover, changing the periodic undulations can tune the bandwidth, to drive the system to different strongly correlated regimes such as density waves, Luttinger liquid, and Mott insulator. The 1D nature of these states differs from those obtained in twisted materials and can be exploited to study the exciting physics of 1D quantum systems.


title: Feedback Strategies for Hypersonic Pursuit of a Ground Evader

abstract: In this paper, we present a game-theoretic feedback terminal guidance law for an autonomous, unpowered hypersonic pursuit vehicle that seeks to intercept an evading ground target whose motion is constrained in a one-dimensional space. We formulate this problem as a pursuit-evasion game whose saddle point solution is in general difficult to compute onboard the hypersonic vehicle due to its highly nonlinear dynamics. To overcome this computational complexity, we linearize the nonlinear hypersonic dynamics around a reference trajectory and subsequently utilize feedback control design techniques from Linear Quadratic Differential Games (LQDGs). In our proposed guidance algorithm, the hypersonic vehicle computes its open-loop optimal state and input trajectories off-line and prior to the commencement of the game. These trajectories are then used to linearize the nonlinear equations of hypersonic motion. Subsequently, using this linearized system model, we formulate an auxiliary two-player zero-sum LQDG which is effective in the neighborhood of the given reference trajectory and derive its feedback saddle point strategy that allows the hypersonic vehicle to modify its trajectory online in response to the target's evasive maneuvers. We provide numerical simulations to showcase the performance of our proposed guidance law.


title: Improved Rates for Derivative Free Gradient Play in Strongly Monotone Games

abstract: The influential work of Bravo et al. 2018 shows that derivative free play in strongly monotone games has complexity $O(d^2/\varepsilon^3)$, where $\varepsilon$ is the target accuracy on the expected squared distance to the solution. This note shows that the efficiency estimate is actually $O(d^2/\varepsilon^2)$, which reduces to the known efficiency guarantee for the method in unconstrained optimization. The argument we present simple interprets the method as stochastic gradient play on a slightly perturbed strongly monotone game.


title: Ghost-free $F\left( R,\mathcal{G} \right)$ Gravity

abstract: In this work we shall address the ghost issue of $F\left( R,\mathcal{G} \right)$ gravity, which is known to be plagued with ghost degrees of freedom. These ghosts occur due to the presence of higher than two derivatives in the field equations, and can arise even when considering cosmological perturbations, where superluminal modes may arise in the theory. If we consider the quantum theory, the ghosts generate the negative norm states, which give the negative probabilities, and therefore the ghosts are physically inconsistent. Motivated by the importance of $F\left( R,\mathcal{G} \right)$ gravity for providing viable inflationary and dark energy phenomenologies, in this work we shall provide a technique that can render $F\left( R,\mathcal{G} \right)$ gravity theories free from ghost degrees of freedom. This will be done by introducing two auxiliary scalar fields, and by employing the Lagrange multiplier technique, the theory is ghost free in the Einstein frame. Also the framework can be viewed as a reconstruction technique and can be used as a method in order to realize several cosmological evolutions of interest. We demonstrate how we can realize several cosmologically interesting phenomenologies by using the reconstruction technique.


title: Stopping Times Occurring Simultaneously

abstract: Stopping times are used in applications to model random arrivals. A standard assumption in many models is that they are conditionally independent, given an underlying filtration. This is a widely useful assumption, but there are circumstances where it seems to be unnecessarily strong. We use a modified Cox construction along with the bivariate exponential introduced by Marshall and Olkin (1967) to create a family of stopping times, which are not necessarily conditionally independent, allowing for a positive probability for them to be equal. We show that our initial construction only allows for positive dependence between stopping times, but we also propose a joint distribution that allows for negative dependence while preserving the property of non-zero probability of equality. We indicate applications to modeling COVID-19 contagion (and epidemics in general), civil engineering, and to credit risk


title: Gradient flows on graphons: existence, convergence, continuity equations

abstract: Wasserstein gradient flows on probability measures have found a host of applications in various optimization problems. They typically arise as the continuum limit of exchangeable particle systems evolving by some mean-field interaction involving a gradient-type potential. However, in many problems, such as in multi-layer neural networks, the so-called particles are edge weights on large graphs whose nodes are exchangeable. Such large graphs are known to converge to continuum limits called graphons as their size grow to infinity. We show that the Euclidean gradient flow of a suitable function of the edge-weights converges to a novel continuum limit given by a curve on the space of graphons that can be appropriately described as a gradient flow or, more technically, a curve of maximal slope. Several natural functions on graphons, such as homomorphism functions and the scalar entropy, are covered by our set-up, and the examples have been worked out in detail.


title: Large-scale Building Height Retrieval from Single SAR Imagery based on Bounding Box Regression Networks

abstract: Building height retrieval from synthetic aperture radar (SAR) imagery is of great importance for urban applications, yet highly challenging owing to the complexity of SAR data. This paper addresses the issue of building height retrieval in large-scale urban areas from a single TerraSAR-X spotlight or stripmap image. Based on the radar viewing geometry, we propose that this problem can be formulated as a bounding box regression problem and therefore allows for integrating height data from multiple data sources in generating ground truth on a larger scale. We introduce building footprints from geographic information system (GIS) data as complementary information and propose a bounding box regression network that exploits the location relationship between a building's footprint and its bounding box, allowing for fast computation. This is important for large-scale applications. The method is validated on four urban data sets using TerraSAR-X images in both high-resolution spotlight and stripmap modes. Experimental results show that the proposed network can reduce the computation cost significantly while keeping the height accuracy of individual buildings compared to a Faster R-CNN based method. Moreover, we investigate the impact of inaccurate GIS data on our proposed network, and this study shows that the bounding box regression network is robust against positioning errors in GIS data. The proposed method has great potential to be applied to regional or even global scales.


title: Advancing COVID-19 Diagnosis with Privacy-Preserving Collaboration in Artificial Intelligence

abstract: Artificial intelligence (AI) provides a promising substitution for streamlining COVID-19 diagnoses. However, concerns surrounding security and trustworthiness impede the collection of large-scale representative medical data, posing a considerable challenge for training a well-generalised model in clinical practices. To address this, we launch the Unified CT-COVID AI Diagnostic Initiative (UCADI), where the AI model can be distributedly trained and independently executed at each host institution under a federated learning framework (FL) without data sharing. Here we show that our FL model outperformed all the local models by a large yield (test sensitivity /specificity in China: 0.973/0.951, in the UK: 0.730/0.942), achieving comparable performance with a panel of professional radiologists. We further evaluated the model on the hold-out (collected from another two hospitals leaving out the FL) and heterogeneous (acquired with contrast materials) data, provided visual explanations for decisions made by the model, and analysed the trade-offs between the model performance and the communication costs in the federated training process. Our study is based on 9,573 chest computed tomography scans (CTs) from 3,336 patients collected from 23 hospitals located in China and the UK. Collectively, our work advanced the prospects of utilising federated learning for privacy-preserving AI in digital health.


title: Order recognition by Schubert polynomials generated by optical near-field statistics via nanometre-scale photochromism

abstract: We have previously observed an irregular spatial distribution of photon transmission through a photochromic crystal photoisomerized by a local optical near-field excitation, manifesting complex branching processes via the interplay of deformation of the material and near-field photon transfer therein. Furthermore, by combining such naturally constructed complex photon transmission with a simple photon detection protocol, Schubert polynomials, the foundation of versatile permutation operations in mathematics, have been generated. In this study, we demonstrate an order recognition algorithm inspired by Schubert calculus using optical near-field statistics via nanometre-scale photochromism. More specifically, by utilizing Schubert polynomials generated via optical near-field patterns, we show that the order of slot machines with initially unknown reward probability is successfully recognized. We emphasize that, unlike conventional algorithms in the literature, the proposed principle does not estimate the reward probabilities. Instead, it exploits the inversion relations contained in the Schubert polynomials. To quantitatively evaluate the impact of the Schubert polynomials generated from an optical near-field pattern, order recognition performances are compared with uniformly distributed and spatially strongly skewed probability distributions, where the optical near-field pattern outperforms the others. We found that the number of singularities contained in Schubert polynomials and that of the given problem or considered environment exhibits a clear correspondence, indicating that superior order recognition performances may be attained if the singularity of the given problem is presupposed. This study paves a new way toward nanophotonic intelligent devices and systems by the interplay of complex natural processes and mathematical insights gained by Schubert calculus.


title: Self-Attending Task Generative Adversarial Network for Realistic Satellite Image Creation

abstract: We introduce a self-attending task generative adversarial network (SATGAN) and apply it to the problem of augmenting synthetic high contrast scientific imagery of resident space objects with realistic noise patterns and sensor characteristics learned from collected data. Augmenting these synthetic data is challenging due to the highly localized nature of semantic content in the data that must be preserved. Real collected images are used to train a network what a given class of sensor's images should look like. The trained network then acts as a filter on noiseless context images and outputs realistic-looking fakes with semantic content unaltered. The architecture is inspired by conditional GANs but is modified to include a task network that preserves semantic information through augmentation. Additionally, the architecture is shown to reduce instances of hallucinatory objects or obfuscation of semantic content in context images representing space observation scenes.


title: A Novel Grid-forming Voltage Control Strategy for Supplying Unbalanced Microgrid Loads Using Inverter-based Resources

abstract: This paper presents a novel grid-forming voltage control strategy for a battery energy storage system to maintain balanced three-phase output voltages when serving unbalanced loads. A stationary reference frame ($\alpha \beta$) based control scheme is proposed to regulate positive-sequence and negative-sequence voltages. Compared with the conventional rotating reference frame ($dq$) based control scheme, the proposed scheme shows better dynamic performance. Then, we analyze the system zero-sequence network and propose adding a grounding transformer to the Y/Yg connected output transformer to further reduce the voltage unbalance at the point of common coupling. The simulation results demonstrate the effective performance of the proposed voltage control scheme. Based on the results, the power-voltage unbalance curve is derived for different output transformer configurations to establish the relationship between the power unbalance limit and the voltage unbalance limit for microgrid power scheduling.


title: UniMAP: Model-free detection of unclassified noise transients in LIGO-Virgo data using the Temporal Outlier Factor

abstract: Data from current gravitational wave detectors contains a high rate of transient noise (glitches) that can trigger false detections and obscure true astrophysical events. Existing noise-detection algorithms largely rely on model-based methods that may miss noise transients unwitnessed by auxiliary sensors or with exotic morphologies. We propose the Unicorn Multi-window Anomaly-detection Pipeline (UniMAP): a model-free algorithm to identify and characterize transient noise leveraging the Temporal Outlier Factor (TOF) via a multi-window data-resampling scheme. We show this windowing scheme extends the anomaly detection capabilities of the TOF algorithm to resolve noise transients of arbitrary morphology and duration. We demonstrate the efficacy of this pipeline in detecting glitches during LIGO and Virgo's third observing run, and discuss potential applications.


title: Conductivity of two-dimensional narrow gap semiconductors subjected to strong Coulomb disorder

abstract: In the ideal disorder-free situation, a two-dimensional band gap insulator has an activation energy for conductivity equal to half the band gap $\Delta$. But transport experiments usually exhibit a much smaller activation energy at low temperature, and the relation between this activation energy and $\Delta$ is unclear. Here we consider the temperature-dependent conductivity of a two-dimensional insulator on a substrate containing Coulomb impurities, with random potential amplitude $\Gamma \gg \Delta$. We show that the conductivity generically exhibits three regimes of conductivity, and only the highest temperature regime exhibits an activation energy that reflects the band gap. At lower temperatures, the conduction proceeds through activated hopping or Efros-Shklovskii variable-range hopping between electron and hole puddles created by the disorder. We show that the activation energy and characteristic temperature associated with these processes steeply collapse near a critical impurity concentration. Larger concentrations lead to an exponentially small activation energy and exponentially long localization length, which in mesoscopic samples can appear as a disorder-induced insulator-to-metal transition. We also arrive at a similar steep disorder driven insulator-metal transition in thin films of three-dimensional topological insulators with large dielectric constant, for which Coulomb impurities inside the film create a large disorder potential due to confinement of their electric field inside the film.


title: CSI: Contrastive Data Stratification for Interaction Prediction and its Application to Compound-Protein Interaction Prediction

abstract: Accurately predicting the likelihood of interaction between two objects (compound-protein sequence, user-item, author-paper, etc.) is a fundamental problem in Computer Science. Current deep-learning models rely on learning accurate representations of the interacting objects. Importantly, relationships between the interacting objects, or features of the interaction, offer an opportunity to partition the data to create multi-views of the interacting objects. The resulting congruent and non-congruent views can then be exploited via contrastive learning techniques to learn enhanced representations of the objects.


title: Detectable Electric Current induced by Dark Matter Axion in a Conductor

abstract: We propose a way of detecting dark matter axion by using two slabs of conductor. The flat surfaces are put to meet face to face so that they are parallel to each other. External magnetic field $B$ parallel to the surfaces is impressed. Radiations converted from the axion arise between two slabs. When we tune the spacing $l$ between two surfaces such as $l=\pi/m_a$ with axion mass $m_a$, a resonance occurs so that the radiations become strong. Furthermore, electric current flowing on the surface of the slabs is enhanced. We show that the electric current is large enough to be detectable at the resonance. It reaches $0.7\times 10^{-9}$A$(10^{-5}\mbox{eV}/m_a)^{1/2}(B/5\mbox{T})(L/10\mbox{cm})(\sigma/3.3\times 10^7\rm eV)$, using $6$N copper of the square slab with side length $L$ and high electrical conductivity $\sigma$ at temperature $T\sim 1$K. The power of the Joule heating is $0.3\times10^{-22}\mbox{W}(B/5\mbox{T})^2(10^{-5}\mbox{eV}/m_a)^{1/2}(L/10\mbox{cm})^2(\sigma/3.3\times 10^7\rm eV)$. When we amplify the power using LC circuit with $Q$ value, the signal to noise ratio is $4.5\times 10^4(Q/10^6)(B/5\mbox{T})^2(t_{obs}/1\sec)^{1/2}\,(10^{-5}\mbox{eV}/m_a) (L/10\mbox{cm})^2(\sigma/3.3\times 10^7\rm eV)$ with $t_{obs}$ observational time.


title: SARS-CoV-2's closest relative, RaTG13, was generated from a bat transcriptome not a fecal swab: implications for the origin of COVID-19

abstract: RaTG13 is the closest related coronavirus genome phylogenetically to SARS-CoV-2, consequently understanding its provenance is of key importance to understanding the origin of the COVID-19 pandemic. The RaTG13 NGS dataset is attributed to a fecal swab from the intermediate horseshoe bat Rhinolophus affinis. However, sequence analysis reveals that this is unlikely. Metagenomic analysis using Metaxa2 shows that only 10.3 % of small subunit (SSU) rRNA sequences in the dataset are bacterial, inconsistent with a fecal sample, which are typically dominated by bacterial sequences. In addition, the bacterial taxa present in the sample are inconsistent with fecal material. Assembly of mitochondrial SSU rRNA sequences in the dataset produces a contig 98.7 % identical to R.affinis mitochondrial SSU rRNA, indicating that the sample was generated from this or a closely related species. 87.5 % of the NGS reads map to the Rhinolophus ferrumequinum genome, the closest bat genome to R.affinis available. In the annotated genome assembly, 62.2 % of mapped reads map to protein coding genes. These results clearly demonstrate that the dataset represents a Rhinolophus sp. transcriptome, and not a fecal swab sample. Overall, the data show that the RaTG13 dataset was generated by the Wuhan Institute of Virology (WIV) from a transcriptome derived from Rhinolophus sp. tissue or cell line, indicating that RaTG13 was in live culture. This raises the question of whether the WIV was culturing additional unreported coronaviruses closely related to SARS-CoV-2 prior to the pandemic. The implications for the origin of the COVID-19 pandemic are discussed.


title: Discovery of the Fastest Early Optical Emission from Overluminous SN Ia 2020hvf: A Thermonuclear Explosion within a Dense Circumstellar Environment

abstract: In this Letter we report a discovery of a prominent flash of a peculiar overluminous Type Ia supernova, SN 2020hvf, in about 5 hours of the supernova explosion by the first wide-field mosaic CMOS sensor imager, the Tomo-e Gozen Camera. The fast evolution of the early flash was captured by intensive intranight observations via the Tomo-e Gozen high-cadence survey. Numerical simulations show that such a prominent and fast early emission is most likely generated from an interaction between $0.01~M_{\odot}$ circumstellar material (CSM) extending to a distance of $\sim$$10^{13}~\text{cm}$ and supernova ejecta soon after the explosion, indicating a confined dense CSM formation at the final evolution stage of the progenitor of SN 2020hvf. Based on the CSM-ejecta interaction-induced early flash, the overluminous light curve, and the high ejecta velocity of SN 2020hvf, we suggest that the SN 2020hvf may originate from a thermonuclear explosion of a super-Chandrasekhar-mass white dwarf ("super-$M\rm_{Ch}$ WD"). Systematical investigations on explosion mechanisms and hydrodynamic simulations of the super-$M\rm_{Ch}$ WD explosion are required to further test the suggested scenario and understand the progenitor of this peculiar supernova.


title: Three-dimensional topology optimization of heat exchangers with the level-set method

abstract: We design heat exchangers using level-set method based topology optimization. The heat exchange between two fluids in separate channels is maximized while constraining the pressure drop across each channel. The flow is modeled by an incompressible Navier-Stokes-Brinkmann equation and the heat transfer is modeled by a convection-diffusion equation with high Peclet number. Each fluid region is subject to its own set of Navier-Stokes-Brinkmann equations where the Brinkmann term models the other fluid as solid, thereby preventing mixing. A level-set defines the interface that separates the two fluids. The Hamilton-Jacobi equation advects the level-set, allowing for topological changes of the channels. The velocity of the Hamilton-Jacobi equation is defined by the shape derivatives of the cost and constraint functions with respect to normal interface perturbations. We present results in three-dimensions with different heat exchanger configurations and operating conditions.


title: Exploring Airline Gate-Scheduling Optimization Using Quantum Computers

abstract: This paper investigates the application of quantum computing technology to airline gate-scheduling quadratic assignment problems (QAP). We explore the quantum computing hardware architecture and software environment required for porting classical versions of these type of problems to quantum computers. We discuss the variational quantum eigensolver and the inclusion of space-efficient graph coloring to the Quadratic Unconstrained Binary Optimization (QUBO). These enhanced quantum computing algorithms are tested with an 8 gate and 24 flight test case using both the IBM quantum computing simulator and a 27 qubit superconducting transmon IBM quantum computing hardware platform.


title: Number of New Top 2% Researchers from China and USA Over Time

abstract: In this paper we compare the numbers of new top 2% researchers from China and USA annually since 1980. We find that the log ratio of the numbers decreases almost linearly over time. As early as 2009, the total number of new top 2% researchers across all subfields from China exceeds that of USA. In particular, such trend is more striking in many subfields, e.g., Engineering, Chemistry, and Enabling & Strategic Technologies.


title: Transmission power policies for energy-efficient wireless control of nonlinear system

abstract: We present a controller and transmission policy design procedure for nonlinear wireless networked control systems. Our objective is to ensure the stability of the closed-loop system, in a stochastic sense, together with given control performance, while minimizing the average power used for communications. The controller is designed by emulation, i.e., ignoring the network, and the transmission power is given by threshold policies. These policies involve waiting a given amount of time since the last successful transmission instant, as well as requiring that the measured wireless channel gain is above a given threshold, before attempting a new transmission. Two power control laws are investigated: i) a constant power and ii) a power level inversely proportional to the channel gain. We explain how to select the waiting time, the channel threshold and the power level to minimize the induced average communication power, while ensuring the desired control objectives.


title: Lifelong Reinforcement Learning with Temporal Logic Formulas and Reward Machines

abstract: Continuously learning new tasks using high-level ideas or knowledge is a key capability of humans. In this paper, we propose Lifelong reinforcement learning with Sequential linear temporal logic formulas and Reward Machines (LSRM), which enables an agent to leverage previously learned knowledge to fasten learning of logically specified tasks. For the sake of more flexible specification of tasks, we first introduce Sequential Linear Temporal Logic (SLTL), which is a supplement to the existing Linear Temporal Logic (LTL) formal language. We then utilize Reward Machines (RM) to exploit structural reward functions for tasks encoded with high-level events, and propose automatic extension of RM and efficient knowledge transfer over tasks for continuous learning in lifetime. Experimental results show that LSRM outperforms the methods that learn the target tasks from scratch by taking advantage of the task decomposition using SLTL and knowledge transfer over RM during the lifelong learning process.


title: Stability of two-dimensional steady Euler flows with concentrated vorticity

abstract: In this paper, we study the stability two-dimensional (2D) steady Euler flows with sharply concentrated vorticity in a simply-connected bounded domain. These flows are obtained as maximizers of the kinetic energy subject to the constraint that the vorticity is compactly supported in a finite number of disjoint regions of small diameter. We prove the nonlinear stability of these flows when the vorticity is concentrated in one small region, or in two small regions with opposite signs. The proof is achieved by showing that these flows constitute a compact and isolated set of local maximizers of the kinetic energy on an isovortical surface. The separation property of the stream function plays a crucial role in validating the isolatedness.


title: Time-symmetric current and its fluctuation response relation around nonequilibrium stalling stationary state

abstract: We propose a time-symmetric counterpart of the current in stochastic thermodynamics named time-symmetric current. This quantity is defined with empirical measures and thus is symmetric under time reversal, while its ensemble average reproduces the amount of average current. We prove that this time-symmetric current satisfies the fluctuation-response relation in the conventional form with sign inversion. Remarkably, this fluctuation-response relation holds not only around equilibrium states but also around nonequilibrium stationary states if observed currents stall. The obtained relation also serves as an experimental tool for calculating the value of a bare transition rate by measuring only time-integrated empirical measures.


title: Software Engineering for Responsible AI: An Empirical Study and Operationalised Patterns

abstract: Although artificial intelligence (AI) is solving real-world challenges and transforming industries, there are serious concerns about its ability to behave and make decisions in a responsible way. Many AI ethics principles and guidelines for responsible AI have been recently issued by governments, organisations, and enterprises. However, these AI ethics principles and guidelines are typically high-level and do not provide concrete guidance on how to design and develop responsible AI systems. To address this shortcoming, we first present an empirical study where we interviewed 21 scientists and engineers to understand the practitioners' perceptions on AI ethics principles and their implementation. We then propose a template that enables AI ethics principles to be operationalised in the form of concrete patterns and suggest a list of patterns using the newly created template. These patterns provide concrete, operationalised guidance that facilitate the development of responsible AI systems.


title: $\imath$quantum groups of split type via derived Hall algebras

abstract: A quantum symmetric pair consists of a quantum group $\mathbf U$ and its coideal subalgebra ${\mathbf U}^{\imath}_{{\boldsymbol{\varsigma}}}$ (called an $\imath$quantum group) with parameters ${\boldsymbol{\varsigma}}$. In this note, we use the derived Hall algebras of 1-periodic complexes to realize the $\imath$quantum groups ${\mathbf U}^{\imath}_{{\boldsymbol{\varsigma}}}$ of split type.


title: Neutrino Physics Opportunities with the IsoDAR Source at Yemilab

abstract: IsoDAR seeks to place a high-power-cyclotron and target combination, as an intense source of $\bar{\nu}_e$ at the level of $\sim 10^{23}$/year, close to a kiloton-scale neutrino detector in order to gain sensitivity to very short-baseline neutrino oscillations ($\bar{\nu}_e \rightarrow \bar{\nu}_{e}$) and perform precision tests of the weak interaction, among other physics opportunities. Recently, IsoDAR has received preliminary approval to be paired with the 2.26~kton target volume liquid scintillator detector at the Yemi Underground Laboratory (Yemilab) in Korea, at a 17~m center-to-center baseline, and cavern excavation for IsoDAR is now complete. In this paper, we present the physics capabilities of IsoDAR@Yemilab in terms of sensitivity to oscillations (via inverse beta decay, IBD; $\bar{\nu}_e+p \rightarrow e^+ + n$), including initial-state wavepacket effects, and the weak mixing angle (via elastic scattering off atomic electrons, $\bar{\nu}_e + e^- \rightarrow \bar{\nu}_e + e^-$). We also introduce a study of IsoDAR sensitivity to new particles, such as a light $X$ boson, produced in the target that decays to $\nu_e \bar \nu_e$.


title: Update on strong and radiative decays of the $D_{s0}^{*}(2317)$ and $D_{s1}(2460)$ and their bottom cousins

abstract: The isospin breaking and radiative decay widths of the positive-parity charm-strange mesons, $D^{*}_{s0}$ and $D_{s1}$, and their predicted bottom-strange counterparts, $B^{*}_{s0}$ and $B_{s1}$, as hadronic molecules are revisited. This is necessary, since the $B^{*}_{s0}$ and $B_{s1}$ masses used in Eur. Phys. J. A 50 (2014) 149 were too small, in conflict with the heavy quark flavour symmetry. Furthermore, not all isospin breaking contributions were considered. We here present a method to restore heavy quark flavour symmetry, correcting the masses of $B^{*}_{s0}$ and $B_{s1}$, and include the complete isospin breaking contributions up to next-to-leading order. With this we provide updated hadronic decay widths for all of $D^{*}_{s0}$, $D_{s1}$, $B^{*}_{s0}$ and $B_{s1}$. Results for the partial widths of the radiative deays of $D_{s0}^*(2317)$ and $D_{s1}(2460)$ are also renewed in light of the much more precisely measured $D^{*+}$ width. We find that $B_s\pi^0$ and $B_s\gamma$ are the preferred channels for searching for $B_{s0}^*$ and $B_{s1}$, respectively.


title: Higher-dimensional soliton generation, stability and excitations of the PT-symmetric nonlinear Schr\"odinger equations

abstract: We study a class of physically intriguing PT-symmetric generalized Scarf-II (GS-II) potentials, which can support exact solitons in one- and multi-dimensional nonlinear Schr\"odinger equation. In the 1D and multi-D settings, we find that a properly adjusted localization parameter may support fully real energy spectra. Also, continuous families of fundamental and higher-order solitons are produced. The fundamental states are shown to be stable, while the higher-order ones, including 1D multimodal solitons, 2D solitons, and 3D light bullets, are unstable. Further, we find that the stable solitons can always propagate, in a robust form, remaining trapped in slowly moving potential wells of the GS-II type, which opens the way for manipulations of optical solitons. Solitons may also be transformed into stable forms by means of adibatic variation of potential parameters. Finally, an alternative type of n-dimensional PT-symmetric GS-II potentials is reported too. These results will be useful to further explore the higher-dimensional PT-symmetric solitons and to design the relative physical experiments.

categories: nlin.PS math.AP physics.comp-ph quant-ph


title: How a projectively flat geometry regulates $F(R)$-gravity theory?

abstract: In the present paper we examine a projectively flat spacetime solution of $F(R)$-gravity theory. It is seen that once we deploy projective flatness in the geometry of the spacetime, the matter field has constant energy density and isotropic pressure. We then make the condition weaker and discuss the effects of projectively harmonic spacetime geometry in $F(R)$-gravity theory and show that the spacetime in this case reduces to a generalised Robertson-Walker spacetime with a shear, vorticity, acceleration free perfect fluid with a specific form of expansion scalar presented in terms of the scale factor. Role of conharmonic curvature tensor in the spacetime geometry is also briefly discussed. Some analysis of the obtained results are conducted in terms of couple of $F(R)$-gravity models.


title: Information-theoretic formulation of dynamical systems: causality, modeling, and control

abstract: The problems of causality, modeling, and control for chaotic, high-dimensional dynamical systems are formulated in the language of information theory. The central quantity of interest is the Shannon entropy, which measures the amount of information in the states of the system. Within this framework, causality is quantified by the information flux among the variables of interest in the dynamical system. Reduced-order modeling is posed as a problem related to the conservation of information in which models aim at preserving the maximum amount of relevant information from the original system. Similarly, control theory is cast in information-theoretic terms by envisioning the tandem sensor-actuator as a device reducing the unknown information of the state to be controlled. The new formulation is used to address three problems about the causality, modeling, and control of turbulence, which stands as a primary example of a chaotic, high-dimensional dynamical system. The applications include the causality of the energy transfer in the turbulent cascade, subgrid-scale modeling for large-eddy simulation, and flow control for drag reduction in wall-bounded turbulence.

categories: math.DS cs.IT math.IT nlin.CD physics.flu-dyn


title: 3D Lip Event Detection via Interframe Motion Divergence at Multiple Temporal Resolutions

abstract: The lip is a dominant dynamic facial unit when a person is speaking. Detecting lip events is beneficial to speech analysis and support for the hearing impaired. This paper proposes a 3D lip event detection pipeline that automatically determines the lip events from a 3D speaking lip sequence. We define a motion divergence measure using 3D lip landmarks to quantify the interframe dynamics of a 3D speaking lip. Then, we cast the interframe motion detection in a multi-temporal-resolution framework that allows the detection to be applicable to different speaking speeds. The experiments on the S3DFM Dataset investigate the overall 3D lip dynamics based on the proposed motion divergence. The proposed 3D pipeline is able to detect opening and closing lip events across 100 sequences, achieving a state-of-the-art performance.


title: Linking-Enhanced Pre-Training for Table Semantic Parsing

abstract: Recently pre-training models have significantly improved the performance of various NLP tasks by leveraging large-scale text corpora to improve the contextual representation ability of the neural network. The large pre-training language model has also been applied in the area of table semantic parsing. However, existing pre-training approaches have not carefully explored explicit interaction relationships between a question and the corresponding database schema, which is a key ingredient for uncovering their semantic and structural correspondence. Furthermore, the question-aware representation learning in the schema grounding context has received less attention in pre-training objective.To alleviate these issues, this paper designs two novel pre-training objectives to impose the desired inductive bias into the learned representations for table pre-training. We further propose a schema-aware curriculum learning approach to mitigate the impact of noise and learn effectively from the pre-training data in an easy-to-hard manner. We evaluate our pre-trained framework by fine-tuning it on two benchmarks, Spider and SQUALL. The results demonstrate the effectiveness of our pre-training objective and curriculum compared to a variety of baselines.


title: A Novel Optimized Asynchronous Federated Learning Framework

abstract: Federated Learning (FL) since proposed has been applied in many fields, such as credit assessment, medical, etc. Because of the difference in the network or computing resource, the clients may not update their gradients at the same time that may take a lot of time to wait or idle. That's why Asynchronous Federated Learning (AFL) method is needed. The main bottleneck in AFL is communication. How to find a balance between the model performance and the communication cost is a challenge in AFL. This paper proposed a novel AFL framework VAFL. And we verified the performance of the algorithm through sufficient experiments. The experiments show that VAFL can reduce the communication times about 51.02\% with 48.23\% average communication compression rate and allow the model to be converged faster. The code is available at \url{https://github.com/RobAI-Lab/VAFL}


title: Attacking Deep Learning AI Hardware with Universal Adversarial Perturbation

abstract: Universal Adversarial Perturbations are image-agnostic and model-independent noise that when added with any image can mislead the trained Deep Convolutional Neural Networks into the wrong prediction. Since these Universal Adversarial Perturbations can seriously jeopardize the security and integrity of practical Deep Learning applications, existing techniques use additional neural networks to detect the existence of these noises at the input image source. In this paper, we demonstrate an attack strategy that when activated by rogue means (e.g., malware, trojan) can bypass these existing countermeasures by augmenting the adversarial noise at the AI hardware accelerator stage. We demonstrate the accelerator-level universal adversarial noise attack on several deep Learning models using co-simulation of the software kernel of Conv2D function and the Verilog RTL model of the hardware under the FuseSoC environment.


title: Data-driven discoveries of B\"acklund transforms and soliton evolution equations via deep neural network learning schemes

abstract: We introduce a deep neural network learning scheme to learn the B\"acklund transforms (BTs) of soliton evolution equations and an enhanced deep learning scheme for data-driven soliton equation discovery based on the known BTs, respectively. The first scheme takes advantage of some solution (or soliton equation) information to study the data-driven BT of sine-Gordon equation, and complex and real Miura transforms between the defocusing (focusing) mKdV equation and KdV equation, as well as the data-driven mKdV equation discovery via the Miura transforms. The second deep learning scheme uses the explicit/implicit BTs generating the higher-order solitons to train the data-driven discovery of mKdV and sine-Gordon equations, in which the high-order solution informations are more powerful for the enhanced leaning soliton equations with higher accurates.


title: Out-of-Zone Signal Leakage Sensing in Radio Dynamic Zones

abstract: Radio dynamic zones (RDZs) are geographically bounded areas where novel advanced wireless technologies can be developed, tested, and improved, without the concern of interfering to other incumbent radio technologies nearby the RDZ. In order to operate an RDZ, use of a real-time spectrum monitoring system carries critical importance. Such a monitoring system should detect out-of-zone (OoZ) signal leakage outside of the RDZ, and if the interference to nearby receivers is intolerable, the monitoring system should be capable of mitigating such interference. This can e.g. be achieved by stopping operations inside the RDZ or switching to other bands for RDZ operation. In this paper, we introduce a spectrum monitoring concept for OoZ signal leakage detection at RDZs, where sensor nodes (SNs) are installed at the boundary of an RDZ and monitor the power leakage from multiple transmitters within the RDZ. We propose a prediction algorithm that estimates the received interference at OoZ geographical locations outside of the RDZ, using the measurements obtained at sparsely located SNs at the RDZ boundary. Using computer simulations, we evaluate the performance of the proposed algorithm and study its sensitivity to SN deployment density.


title: SN 2020kyg and the rates of faint Iax Supernovae from ATLAS

abstract: We present multi-wavelength follow-up observations of the ATLAS discovered faint Iax supernova SN 2020kyg that peaked at an absolute magnitude of $M_g \approx -14.9 \pm 0.2$, making it another member of the faint Iax supernova population. The bolometric light curve requires only $\approx 7 \times 10^{-3}$ M$_{\odot}$ of radioactive $^{56}$Ni, with an ejected mass of $M_{\rm ej} \sim 0.4$ M$_{\odot}$ and a low kinetic energy of $E \approx 0.05 \pm 0.02 \times 10^{51}$ erg. We construct a homogeneous volume-limited sample of 902 transients observed by ATLAS within 100 Mpc during a 3.5 year span. Using this sample, we constrain the rates of faint Iax ($M_r \gtrsim -16$) events within 60 Mpc at $12^{+14}_{-8}\%$ of the SN Ia rate. The overall Iax rate, at $15^{+17}_{-9}\%$ of the Ia rate, is dominated by the low-luminosity events, with luminous SNe Iax ($M_r \lesssim -17.5$) like 2002cx and 2005hk accounting for only $0.9^{+1.1}_{-0.5}\%$ of the Ia rate (a 2$\sigma$ upper limit of approximately 3\%). We favour the hybrid CONe WD + He star progenitor channel involving a failed deflagration of a near Chandrasekhar mass white dwarf, expected to leave a bound remnant and a surviving secondary companion, as a candidate explanation for faint Iax explosions. This scenario requires short delay times, consistent with the observed environments of SNe Iax. Furthermore, binary population synthesis calculations have suggested rates of $1-18\%$ of the SN Ia rate for this channel, consistent with our rate estimates.


title: Reference-based Magnetic Resonance Image Reconstruction Using Texture Transformer

abstract: Deep Learning (DL) based methods for magnetic resonance (MR) image reconstruction have been shown to produce superior performance in recent years. However, these methods either only leverage under-sampled data or require a paired fully-sampled auxiliary modality to perform multi-modal reconstruction. Consequently, existing approaches neglect to explore attention mechanisms that can transfer textures from reference fully-sampled data to under-sampled data within a single modality, which limits these approaches in challenging cases. In this paper, we propose a novel Texture Transformer Module (TTM) for accelerated MRI reconstruction, in which we formulate the under-sampled data and reference data as queries and keys in a transformer. The TTM facilitates joint feature learning across under-sampled and reference data, so the feature correspondences can be discovered by attention and accurate texture features can be leveraged during reconstruction. Notably, the proposed TTM can be stacked on prior MRI reconstruction approaches to further improve their performance. Extensive experiments show that TTM can significantly improve the performance of several popular DL-based MRI reconstruction methods.


title: A Chebyshev-Tau Spectral Method for Coupled Modes of Underwater Sound Propagation in Range-Dependent Ocean Environments

abstract: The stepwise coupled-mode model is a classic approach for solving range-dependent sound propagation problems. Existing coupled-mode programs have disadvantages such as high computational cost, weak adaptability to complex ocean environments and numerical instability. In this paper, a new algorithm is designed that uses an improved range normalization and global matrix approach to address range dependence in ocean environments. Due to its high accuracy in solving differential equations, the spectral method has recently been applied to range-independent normal modes and has achieved remarkable results. This algorithm uses the Chebyshev--Tau spectral method to solve for the eigenmodes in the range-independent segments. The main steps of the algorithm are parallelized, so OpenMP multithreading technology is also applied for further acceleration. Based on this algorithm, an efficient program is developed, and numerical simulations verify that this algorithm is reliable, accurate and capable. Compared with the existing coupled-mode programs, the newly developed program is more stable and efficient at comparable accuracies and can solve waveguides in more complex and realistic ocean environments.


title: Morawetz estimates without relative degeneration and exponential decay on Schwarzschild-de Sitter spacetimes

abstract: We use a novel physical space method to prove relatively non-degenerate integrated energy estimates for the wave equation on subextremal Schwarzschild-de Sitter spacetimes with parameters $(M,\Lambda)$. These are integrated decay statements whose bulk energy density, though degenerate at highest order, is everywhere comparable to the energy density of the boundary fluxes. As a corollary, we prove that solutions of the wave equation decay exponentially on the exterior region. The main ingredients are a previous Morawetz estimate of Dafermos-Rodnianski and an additional argument based on commutation with a vector field which can be expressed in the form $r\sqrt{1-\frac{2M}{r}-\frac{\Lambda}{3}r^2}\frac{\partial}{\partial r}$, where $\partial_r$ here denotes the coordinate vector field corresponding to a well chosen system of hyperboloidal coordinates. Our argument gives exponential decay also for small first order perturbations of the wave operator. In the limit $\Lambda=0$, our commutation corresponds to the one introduced by Holzegel-Kauffman.


title: Quasilinear wave equations on Schwarzschild-de Sitter

abstract: We give an elementary new argument for global existence and exponential decay of solutions of quasilinear wave equations on Schwarzschild-de Sitter black hole backgrounds, for appropriately small initial data. The core of the argument is entirely local, based on time translation invariant energy estimates in spacetime slabs of fixed time length. Global existence then follows simply by iterating this local result in consecutive spacetime slabs. We infer that an appropriate future energy flux decays exponentially with respect to the energy flux of the initial data.


title: Developing a Machine Learning Algorithm-Based Classification Models for the Detection of High-Energy Gamma Particles

abstract: Cherenkov gamma telescope observes high energy gamma rays, taking advantage of the radiation emitted by charged particles produced inside the electromagnetic showers initiated by the gammas, and developing in the atmosphere. The detector records and allows for the reconstruction of the shower parameters. The reconstruction of the parameter values was achieved using a Monte Carlo simulation algorithm called CORSIKA. The present study developed multiple machine-learning-based classification models and evaluated their performance. Different data transformation and feature extraction techniques were applied to the dataset to assess the impact on two separate performance metrics. The results of the proposed application reveal that the different data transformations did not significantly impact (p = 0.3165) the performance of the models. A pairwise comparison indicates that the performance from each transformed data was not significantly different from the performance of the raw data. Additionally, the SVM algorithm produced the highest performance score on the standardized dataset. In conclusion, this study suggests that high-energy gamma particles can be predicted with sufficient accuracy using SVM on a standardized dataset than the other algorithms with the various data transformations.


title: Lidar with Velocity: Correcting Moving Objects Point Cloud Distortion from Oscillating Scanning Lidars by Fusion with Camera

abstract: Lidar point cloud distortion from moving object is an important problem in autonomous driving, and recently becomes even more demanding with the emerging of newer lidars, which feature back-and-forth scanning patterns. Accurately estimating moving object velocity would not only provide a tracking capability but also correct the point cloud distortion with more accurate description of the moving object. Since lidar measures the time-of-flight distance but with a sparse angular resolution, the measurement is precise in the radial measurement but lacks angularly. Camera on the other hand provides a dense angular resolution. In this paper, Gaussian-based lidar and camera fusion is proposed to estimate the full velocity and correct the lidar distortion. A probabilistic Kalman-filter framework is provided to track the moving objects, estimate their velocities and simultaneously correct the point clouds distortions. The framework is evaluated on real road data and the fusion method outperforms the traditional ICP-based and point-cloud only method. The complete working framework is open-sourced (https://github.com/ISEE-Technology/lidar-with-velocity) to accelerate the adoption of the emerging lidars.


title: Characterizing the asymmetry in hardness between synthesis and destruction of heteropolymers

abstract: We present a simple model describing the assembly and disassembly of heteropolymers consisting of two types of monomers $A$ and $B$. We prove that no matter how we manipulate the concentrations of $A$ and $B$, it takes longer than the exponential function of $d$ to synthesize a fixed amount of the desired heteropolymer, where $d$ is the number of $A$-$B$ connections. We also prove the decomposition time is linear for chain length $n$. When $d$ is proportional to $n$, synthesis and destruction have an exponential asymmetry. Our findings may facilitate research on the more general asymmetry of operational hardness.


title: Dynamically pruning segformer for efficient semantic segmentation

abstract: As one of the successful Transformer-based models in computer vision tasks, SegFormer demonstrates superior performance in semantic segmentation. Nevertheless, the high computational cost greatly challenges the deployment of SegFormer on edge devices. In this paper, we seek to design a lightweight SegFormer for efficient semantic segmentation. Based on the observation that neurons in SegFormer layers exhibit large variances across different images, we propose a dynamic gated linear layer, which prunes the most uninformative set of neurons based on the input instance. To improve the dynamically pruned SegFormer, we also introduce two-stage knowledge distillation to transfer the knowledge within the original teacher to the pruned student network. Experimental results show that our method can significantly reduce the computation overhead of SegFormer without an apparent performance drop. For instance, we can achieve 36.9% mIoU with only 3.3G FLOPs on ADE20K, saving more than 60% computation with the drop of only 0.5% in mIoU


title: Sharp Stability of a String with Local Degenerate Kelvin-Voigt Damping

abstract: This paper is on the asymptotic behavior of the elastic string equation with localized degenerate Kelvin--Voigt damping $$ u_{tt}(x,t)-[u_{x}(x,t)+b(x)u_{x,t}(x,t)]_{x}=0,\; x\in(-1,1),\; t>0,$$ where $b(x)=0$ on $x\in (-1,0]$, and $b(x)=x^\alpha>0$ on $x\in (0,1)$ for $\alpha\in(0,1)$. It is known that the optimal decay rate of solution is $t^{-2}$ in the limit case $\alpha=0$, and exponential decay rate for $\alpha\ge 1$. When $\alpha\in (0,1)$, the damping coefficient $b(x)$ is continuous, but its derivative has a singularity at the interface $x=0$. In this case, the best known decay rate is $t^{-\frac{3-\alpha}{2(1-\alpha)}}$. Although this rate is consistent with the exponential one at $\alpha=1$, it failed to match the optimal one at $\alpha=0$. In this paper, we obtain a sharper polynomial decay rate $t^{-\frac{2-\alpha}{1-\alpha}}$. More significantly, it is consistent with the optimal polynomial decay rate at $\alpha=0$ and the exponential decay rate at $\alpha = 1$.This is a big step toward the goal of obtaining eventually the optimal decay rate.


title: Multi-line lasing in the broadly tunable ammonia quantum cascade laser pumped molecular laser

abstract: Gaseous ammonia has previously been demonstrated as a compelling gain medium for a quantum cascade laser pumped molecular laser (QPML), exhibiting good power efficiency but limited tunability. Here we explore the potential of the ammonia QPML to produce powerful, broadly tunable terahertz frequency lasing on rotational and pure inversion transitions. After theoretically predicting possible laser frequencies, pump thresholds, and efficiencies, we experimentally demonstrate unprecedented tunability -- from 0.762 to more than 4.5 THz -- by pumping Q- and R-branch infrared transitions with widely tunable quantum cascade lasers. We additionally demonstrate two types of multi-line lasing: simultaneous pure inversion and rotation-inversion transitions from the same pumped rotational state, and cascaded lasing involving transitions below the pumped rotational state. We report single frequency power levels as great as 0.33 mW from a low volume laser cavity.


title: Docking-based Virtual Screening with Multi-Task Learning

abstract: Machine learning shows great potential in virtual screening for drug discovery. Current efforts on accelerating docking-based virtual screening do not consider using existing data of other previously developed targets. To make use of the knowledge of the other targets and take advantage of the existing data, in this work, we apply multi-task learning to the problem of docking-based virtual screening. With two large docking datasets, the results of extensive experiments show that multi-task learning can achieve better performances on docking score prediction. By learning knowledge across multiple targets, the model trained by multi-task learning shows a better ability to adapt to a new target. Additional empirical study shows that other problems in drug discovery, such as the experimental drug-target affinity prediction, may also benefit from multi-task learning. Our results demonstrate that multi-task learning is a promising machine learning approach for docking-based virtual screening and accelerating the process of drug discovery.


title: Blind VQA on 360{\deg} Video via Progressively Learning from Pixels, Frames and Video

abstract: Blind visual quality assessment (BVQA) on 360{\textdegree} video plays a key role in optimizing immersive multimedia systems. When assessing the quality of 360{\textdegree} video, human tends to perceive its quality degradation from the viewport-based spatial distortion of each spherical frame to motion artifact across adjacent frames, ending with the video-level quality score, i.e., a progressive quality assessment paradigm. However, the existing BVQA approaches for 360{\textdegree} video neglect this paradigm. In this paper, we take into account the progressive paradigm of human perception towards spherical video quality, and thus propose a novel BVQA approach (namely ProVQA) for 360{\textdegree} video via progressively learning from pixels, frames and video. Corresponding to the progressive learning of pixels, frames and video, three sub-nets are designed in our ProVQA approach, i.e., the spherical perception aware quality prediction (SPAQ), motion perception aware quality prediction (MPAQ) and multi-frame temporal non-local (MFTN) sub-nets. The SPAQ sub-net first models the spatial quality degradation based on spherical perception mechanism of human. Then, by exploiting motion cues across adjacent frames, the MPAQ sub-net properly incorporates motion contextual information for quality assessment on 360{\textdegree} video. Finally, the MFTN sub-net aggregates multi-frame quality degradation to yield the final quality score, via exploring long-term quality correlation from multiple frames. The experiments validate that our approach significantly advances the state-of-the-art BVQA performance on 360{\textdegree} video over two datasets, the code of which has been public in \url{https://github.com/yanglixiaoshen/ProVQA.}


title: On how neural networks enhance quantum state tomography with constrained measurements

abstract: Quantum state tomography aiming at reconstructing the density matrix of a quantum state plays an important role in various emerging quantum technologies. Inspired by the intuition that machine learning has favorable robustness and generalization, we propose a deep neural networks based quantum state tomography (DNN-QST) approach, which are applied to three measurement-constrained cases, including few measurement copies and incomplete measurements as well as noisy measurements. Numerical results demonstrate that DNN-QST exhibits a great potential to achieve high fidelity for quantum state tomography with limited measurement resources and can achieve improved estimation when tomographic measurements suffer from noise. In addition, the results for 2-qubit states from quantum optical devices demonstrate the generalization of DNN-QST and its robustness against possible error in the experimental devices.


title: On Clustering with Discounts

abstract: We study the $k$-median with discounts problem, wherein we are given clients with non-negative discounts and seek to open at most $k$ facilities. The goal is to minimize the sum of distances from each client to its nearest open facility which is discounted by its own discount value, with minimum contribution being zero. $k$-median with discounts unifies many classic clustering problems, e.g., $k$-center, $k$-median, $k$-facility $l$-centrum, etc. We obtain a bi-criteria constant-factor approximation using an iterative LP rounding algorithm. Our result improves the previously best approximation guarantee for $k$-median with discounts [Ganesh et al., ICALP'21]. We also devise bi-criteria constant-factor approximation algorithms for the matroid and knapsack versions of median clustering with discounts.


title: Certified Random Number Generation from Quantum Steering

abstract: The ultimate random number generators are those certified to be unpredictable -- including to an adversary. The use of simple quantum processes promises to provide numbers that no physical observer could predict but, in practice, unwanted noise and imperfect devices can compromise fundamental randomness and protocol security. Certified randomness protocols have been developed which remove the need for trust in devices by taking advantage of nonlocality. Here, we use a photonic platform to implement our protocol, which operates in the quantum steering scenario where one can certify randomness in a one-sided device independent framework. We demonstrate an approach for a steering-based generator of public or private randomness, and the first generation of certified random bits, with the detection loophole closed, in the steering scenario.


title: Assessing Social Determinants-Related Performance Bias of Machine Learning Models: A case of Hyperchloremia Prediction in ICU Population

abstract: Machine learning in medicine leverages the wealth of healthcare data to extract knowledge, facilitate clinical decision-making, and ultimately improve care delivery. However, ML models trained on datasets that lack demographic diversity could yield suboptimal performance when applied to the underrepresented populations (e.g. ethnic minorities, lower social-economic status), thus perpetuating health disparity. In this study, we evaluated four classifiers built to predict Hyperchloremia - a condition that often results from aggressive fluids administration in the ICU population - and compared their performance in racial, gender, and insurance subgroups. We observed that adding social determinants features in addition to the lab-based ones improved model performance on all patients. The subgroup testing yielded significantly different AUC scores in 40 out of the 44 model-subgroup, suggesting disparities when applying ML models to social determinants subgroups. We urge future researchers to design models that proactively adjust for potential biases and include subgroup reporting in their studies.


title: Correlation-enhanced Stability of Microscopic Cyclic Heat Engines

abstract: For cyclic heat engines operating in a finite cycle period, thermodynamic quantities have intercycle and intracycle correlations. By tuning the driving protocol appropriately, we can get the negative intercycle correlation to reduce the fluctuation of work through multiple cycles, which leads to the enhanced stability compared to the single-cycle operation. Taking the Otto engine with an overdamped Brownian particle as a working substance, we identify a scenario to get such enhanced stability by the intercycle correlation. Furthermore, we demonstrate that the enhancement can be readily realized in the current experiments for a wide range of protocols. By tuning the parameters within the experimentally achievable range, the uncertainty of work can be reduced to below $\sim 50 \%$.


title: How much do language models copy from their training data? Evaluating linguistic novelty in text generation using RAVEN

abstract: Current language models can generate high-quality text. Are they simply copying text they have seen before, or have they learned generalizable linguistic abstractions? To tease apart these possibilities, we introduce RAVEN, a suite of analyses for assessing the novelty of generated text, focusing on sequential structure (n-grams) and syntactic structure. We apply these analyses to four neural language models (an LSTM, a Transformer, Transformer-XL, and GPT-2). For local structure - e.g., individual dependencies - model-generated text is substantially less novel than our baseline of human-generated text from each model's test set. For larger-scale structure - e.g., overall sentence structure - model-generated text is as novel or even more novel than the human-generated baseline, but models still sometimes copy substantially, in some cases duplicating passages over 1,000 words long from the training set. We also perform extensive manual analysis showing that GPT-2's novel text is usually well-formed morphologically and syntactically but has reasonably frequent semantic issues (e.g., being self-contradictory).


title: On the action of the long cycle on the Kazhdan-Lusztig basis

abstract: The complex irreducible representations of the symmetric group carry an important canonical basis called the Kazhdan-Lusztig basis. Although it is difficult to express how general permutations act on this basis, some distinguished permutations have beautiful descriptions. In 2010 Rhoades showed that the long cycle $(1, 2,..., n)$ acts by the jeu-de-taquin promotion operator in the case when the irreducible representation is indexed by a rectangular partition. We prove a generalisation of this theorem in two directions: on the one hand we lift the restriction on the shape of the partition, and on the other hand we enlarge the result to the collection of all separable permutations.


title: Implicit copula variational inference

abstract: Key to effective generic, or "black-box", variational inference is the selection of an approximation to the target density that balances accuracy and speed. Copula models are promising options, but calibration of the approximation can be slow for some choices. Smith et al. (2020) suggest using tractable and scalable "implicit copula" models that are formed by element-wise transformation of the target parameters. We propose an adjustment to these transformations that make the approximation invariant to the scale and location of the target density. We also show how a sub-class of elliptical copulas have a generative representation that allows easy application of the re-parameterization trick and efficient first order optimization. We demonstrate the estimation methodology using two statistical models as examples. The first is a mixed effects logistic regression, and the second is a regularized correlation matrix. For the latter, standard Markov chain Monte Carlo estimation methods can be slow or difficult to implement, yet our proposed variational approach provides an effective and scalable estimator. We illustrate by estimating a regularized Gaussian copula model for income inequality in U.S. states between 1917 and 2018. An Online Appendix and MATLAB code to implement the method are available as Supplementary Materials.


title: ILU Smoothers for Low Mach Navier-Stokes Pressure Solvers

abstract: Incomplete LU (ILU) smoothers are effective in the algebraic multigrid (AMG) $V$-cycle for reducing high-frequency components of the error. However, the requisite direct triangular solves are comparatively slow on GPUs. Previous work has demonstrated the advantages of Jacobi iteration as an alternative to direct solution of these systems. Depending on the threshold and fill-level parameters chosen, the factors can be highly non-normal and Jacobi is unlikely to converge in a low number of iterations. We demonstrate that row scaling can reduce the departure from normality, allowing us to replace the inherently sequential solve with a rapidly converging Richardson iteration. There are several advantages beyond the lower compute time. Scaling is performed locally for a diagonal block of the global matrix because it is applied directly to the factor. Further, an ILUT Schur complement smoother maintains a constant GMRES iteration count as the number of MPI ranks increases, and thus parallel strong-scaling is improved. Our algorithms have been incorporated into hypre, and we demonstrate improved time to solution for linear systems arising in the Nalu-Wind and PeleLM pressure solvers. For large problem sizes, GMRES$+$AMG executes at least five times faster when using iterative triangular solves compared with direct solves on massively-parallel GPUs.


title: A limit law for the most favorite point of simple random walk on a regular tree

abstract: We consider a continuous-time random walk on a regular tree of finite depth and study its favorite points among the leaf vertices. For the walk started from a leaf vertex and stopped upon hitting the root we prove that, in the limit as as the depth of the tree tends to infinity, the suitably scaled and centered maximal time spent at any leaf converges to a randomly-shifted Gumbel law. The random shift is characterized using a derivative-martingale like object associated with square-root local-time process on the tree.


title: Quantum antiferromagnet bluebellite comprising a maple-leaf lattice made of spin-1/2 Cu$^{2+}$ ions

abstract: Spin-1/2 maple leaf lattice antiferromagnets are expected to show interesting phenomena originating from frustration effects and quantum fluctuations. We report the hydrothermal synthesis of a powder sample of bluebellite Cu$_6$IO$_3$(OH)$_{10}$Cl as a first potential candidate. Magnetization and heat capacity measurements reveal moderate frustration with a Curie-Weiss temperature of $-35$ K, and a magnetic transition at $T_N$ = 17 K. Surprisingly, the magnetic susceptibility and heat capacity above $T_N$ are well reproduced by the Bonner-Fisher model, which suggests that a one-dimensional spin correlation with a magnetic interaction of 25 K occurs in the apparently two-dimensional lattice. This emergent one-dimensionality cannot be explained by orbital ordering or dimensional reduction due to geometrical frustration. We believe that there is an unknown mechanism to cause one-dimensionality in the spin-1/2 maple leaf lattice antiferromagnet.


title: Range-Aware Attention Network for LiDAR-based 3D Object Detection with Auxiliary Point Density Level Estimation

abstract: 3D object detection from LiDAR data for autonomous driving has been making remarkable strides in recent years. Among the state-of-the-art methodologies, encoding point clouds into a bird's eye view (BEV) has been demonstrated to be both effective and efficient. Different from perspective views, BEV preserves rich spatial and distance information between objects. Yet, while farther objects of the same type do not appear smaller in the BEV, they contain sparser point cloud features. This fact weakens BEV feature extraction using shared-weight convolutional neural networks (CNNs). In order to address this challenge, we propose Range-Aware Attention Network (RAANet), which extracts effective BEV features and generates superior 3D object detection outputs. The range-aware attention (RAA) convolutions significantly improve feature extraction for near as well as far objects. Moreover, we propose a novel auxiliary loss for point density estimation to further enhance the detection accuracy of RAANet for occluded objects. It is worth to note that our proposed RAA convolution is lightweight and compatible to be integrated into any CNN architecture used for detection from a BEV. Extensive experiments on the nuScenes and KITTI datasets demonstrate that our proposed approach outperforms the state-of-the-art methods for LiDAR-based 3D object detection, with real-time inference speed of 16 Hz for the full version and 22 Hz for the lite version tested on nuScenes lidar frames. The code is publicly available at our Github repository https://github.com/erbloo/RAAN.


title: Emergent Kondo behavior from gauge fluctuations in spin liquids

abstract: Kondo effect is a prominent quantum phenomenon describing the many-body screening of a local magnetic impurity. Here, we reveal a new type of non-magnetic Kondo behavior generated by gauge fluctuations in strongly-correlated baths. We show that a non-magnetic bond defect not only introduces the potential scattering but also locally enhances the gauge fluctuations. The local gauge fluctuations further mediate a pseudospin exchange interaction that produces an asymmetric Kondo fixed point in low-energy. The gauge-fluctuation-induced Kondo phenomena do not exhibit the characteristic resistivity behavior of conventional Kondo effect, but display a non-monotonous temperature dependence of thermal conductivity as well as an anisotropic pseudospin correlation. Moreover, with its origin from gauge fluctuations, the Kondo features can be regarded as promising indicators for identifying quantum spin liquids. Our work advances fundamental knowledge of novel Kondo phenomena in strongly-correlated systems, which have no counterparts in thermal baths within the single-particle description.


title: Affine geometry and Frobenius algebra

abstract: The associativity of the multiplication on a Frobenius manifold is equivalent to the WDVV equation of a symmetric cubic form in flat coordinates. Frobenius manifold could be regarded a very special type of statistical manifold. There is a natural commutative product on each tangent space of a statistical manifold. We show that it is associative, hence making it into a manifold with Frobenius algebra structure, if and only if the sectional $K$-curvature vanishes. In other words, WDVV equation is equivalent to zero sectional $K$-curvature. This gives a curvature interpretation for WDVV equation.


title: Extending the coefficient of variation for measuring heterogeneity following a meta-regression

abstract: Meta-regression is often used to form hypotheses about what is associated with heterogeneity in a meta-analysis and to estimate the extent to which effects can vary between cohorts and other distinguishing factors. However, study-level variables, called moderators, that are available and used in the meta-regression analysis will rarely explain all of the heterogeneity. Therefore, measuring and trying to understand residual heterogeneity is still important in a meta-regression, although it is not clear how some heterogeneity measures should be used in the meta-regression context. The coefficient of variation, and its variants, are useful measures of relative heterogeneity. We consider these measures in the context of meta-regression which allows researchers to investigate heterogeneity at different levels of the moderator and also average relative heterogeneity overall. We also provide CIs for the measures and our simulation studies show that these intervals have good coverage properties. We recommend that these measures and corresponding intervals could provide useful insights into moderators that may be contributing to the presence of heterogeneity in a meta-analysis and lead to a better understanding of estimated mean effects.


title: Extraction of kinetics from equilibrium distributions of states using the Metropolis Monte Carlo method

abstract: The Metropolis Monte Carlo (MC) method is used to extract reaction kinetics from a given equilibrium distribution of states of a complex system. The approach is illustrated by the folding/unfolding reaction for two proteins - a model beta-hairpin and a-helical protein a3D. For beta-hairpin, the free energy surfaces (FESs) and free energy profiles (FEPs) are employed as the equilibrium distributions of states, playing a role of the potentials of mean force to determine the acceptance probabilities of new states in the MC simulations. Based on the FESs and PESs for a set of temperatures that were simulated with the molecular dynamics (MD) method, the MC simulations are performed to extract folding/ unfolding rates. It has been found that the rate constants and first-passage time (FPT) distributions obtained in the MC simulations change with temperature in good agreement with those from the MD simulations. For a3D protein, whose equilibrium folding/unfoldingwas studied with the single-molecule FRET method (Chung et al., J. Phys. Chem. A, 115, 2011, 3642), the FRET-efficiency histograms at different denaturant concentrations were used as the equilibrium distribution of protein states. It has been found that the rate constants for folding and unfolding obtained in the MC simulations change with denaturant concentration in reasonable agreement with the constants that were extracted from the photon trajectories on the basis of theoretical models. The simulated FPT distributions are single-exponential, which is consistent with the assumption of two-state kinetics that was made in the theoretical models. The promising feature of the present approach is that it is based solely on the equilibrium distributions of states, without introducing any additional parameters to perform simulations, which suggests its applicability to other complex systems.


title: Semiclassical transport with Berry curvature: Chambers formula and applications to systems with Fermi surface topological transitions

abstract: Starting with general semiclassical equations of motion for electrons in the presence of electric and magnetic fields, we extend the Chambers formula to include in addition to a magnetic field, time-dependent electric fields and bands with Berry curvature. We thereby compute the conductivity tensor ${\sigma}_{{\alpha}{\beta}}(B,{\omega})$ in the presence of magnetic field for bands in two (2D) and three (3D) dimensions with Berry curvature. We focus then on several applications to magnetotransport for metals with Fermi surface topological transitions in 2D. In particular, we consider a rectangular lattice and a model related to overdoped graphene, to investigate the signatures of different types of Fermi surface topological transitions in metals in the Hall coefficient, Hall conductivity ${\sigma}_{xy}$ and longitudinal conductivity ${\sigma}_{xx}$. The behavior of those quantities as a function of frequency, when the electric field is time dependent, is also investigated. As an example of non-zero Berry curvature, we study the magnetotransport of the Haldane model within this context. In addition, we provide the linear and nonlinear electric current formula to order $E^2$.


title: Evaluating Cybersecurity Risks of Cooperative Ramp Merging in Mixed Traffic Environments

abstract: Connected and Automated Vehicle (CAV) technology has the potential to greatly improve transportation mobility, safety, and energy efficiency. However, ubiquitous vehicular connectivity also opens up the door for cyber-attacks. In this study, we investigate cybersecurity risks of a representative cooperative traffic management application, i.e., highway on-ramp merging, in a mixed traffic environment. We develop threat models with two trajectory spoofing strategies on CAVs to create traffic congestion, and we also devise an attack-resilient strategy for system defense. Furthermore, we leverage VENTOS, a Veins extension simulator made for CAV applications, to evaluate cybersecurity risks of the attacks and performance of the proposed defense strategy. A comprehensive case study is conducted across different traffic congestion levels, penetration rates of CAVs, and attack ratios. As expected, the results show that the performance of mobility decreases up to 55.19% at the worst case when the attack ratio increases, as does safety and energy. With our proposed mitigation defense algorithm, the system's cyber-attack resiliency is greatly improved.


title: Park-and-Ride Facility Location Selection under Nested Logit Demand Function

abstract: Park-and-ride facilities are car parks where users can transfer to public transportation. Commuters can use P&R facilities or choose to travel by car to their destinations, and individual choice behavior is assumed to follow a logit model. The P&R facility location problem identifies locations for a fixed number of P&R facilities from among potential locations such that the number of users of the P&R facilities is maximized. This problem has previously been formalized under a multinomial logit demand function. However, as it imposes the strong condition of the independence of irrelevant alternatives, the MNL model is unable to represent the real-world P&R facility location problem exactly. Respecting the nested structure of individual choice behavior, we generalize the MNL model to a nested logit model and develop two computational methods -- neighborhood search and randomized rounding -- to solve large-scale P&R facility location problems under the NL demand function. The neighborhood search method first finds one feasible solution and then improves the feasible solution to the next one along an edge of the polyhedron whose vertices are the feasible solutions. The neighborhood search method is randomized to create an adaptive randomized rounding procedure. Computational experiments verified that the computational methods were able to solve the nonlinear optimization problem under the NL demand function on 1,000 medium-scale instances to exact optimality rapidly. Specifically, the methods were verified to solve the MNL model to exact optimality 10,000 times faster than the mixed integer linear programming formulation described in the literature. We performed additional computational experiments to assess the performance of our computational methods on a variety of large-scale instances. Our computational analysis also elucidates the difference between the MNL and NL models.


title: Dust Extinction Law in Nearby Star-Resolved Galaxies. I. M31 Traced by Supergiants

abstract: The dust extinction laws and dust properties in M31 are explored with a sample of reddened O-type and B-type supergiants obtained from the LGGS. The observed spectral energy distributions (SEDs) for each tracer are constructed with multiband photometry from the LGGS, PS1 Survey, UKIRT, PHAT Survey, Swift/UVOT and XMM-SUSS. We model the SED for each tracer in combination with the intrinsic spectrum obtained from the stellar model atmosphere extinguished by the model extinction curves. Instead of mathematically parameterizing the extinction functions, the model extinction curves in this work are directly derived from the silicate-graphite dust model with a dust size distribution of $dn/da \sim a^{-\alpha}{\rm exp}(-a/0.25),~0.005 < a < 5~\mu {\rm m}$. The extinction tracers are distributed along the arms in M31, with the derived MW-type extinction curves covering a wide range of $R_V$ ($\approx 2 - 6$), indicating the complexity of the interstellar environment and the inhomogeneous distribution of interstellar dust in M31. The average extinction curve with $R_V \approx 3.51$ and dust size distribution $dn/da \sim a^{-3.35}{\rm exp}(-a/0.25)$ is similar to those of the MW but rises slightly less steeply in the far-UV bands, implying that the overall interstellar environment in M31 resembles the diffuse region in the MW. The extinction in the $V$ band of M31 is up to 3 mag, with a median value of $ A_V \approx 1$ mag. The multiband extinction values from the UV to IR bands are also predicted for M31, which will provide a general extinction correction for future works.


title: Bounds for short character sums for $GL(2) \times GL(3)$ twists

abstract: Let $\pi$ be a $SL(3,\mathbb{Z})$ Hecke Maass-cusp form, $f$ be a $SL(2,\mathbb{Z})$ holomorphic cusp form or Maass-cusp form with normalized Fourier coefficients $\lambda_{\pi}(r,n) \text{ and }\lambda_{f}(n)$ respectively and $\chi$ be any non-trivial character mod $p$ where $p$ is a prime. Then we have $$S_{\pi ,f,\chi }(N)\ll_{\pi , f, \epsilon} N^{3/4}p^{11/16 +{\eta /4}}(Np)^\epsilon .$$


title: SummaC: Re-Visiting NLI-based Models for Inconsistency Detection in Summarization

abstract: In the summarization domain, a key requirement for summaries is to be factually consistent with the input document. Previous work has found that natural language inference (NLI) models do not perform competitively when applied to inconsistency detection. In this work, we revisit the use of NLI for inconsistency detection, finding that past work suffered from a mismatch in input granularity between NLI datasets (sentence-level), and inconsistency detection (document level). We provide a highly effective and light-weight method called SummaCConv that enables NLI models to be successfully used for this task by segmenting documents into sentence units and aggregating scores between pairs of sentences. On our newly introduced benchmark called SummaC (Summary Consistency) consisting of six large inconsistency detection datasets, SummaCConv obtains state-of-the-art results with a balanced accuracy of 74.4%, a 5% point improvement compared to prior work. We make the models and datasets available: https://github.com/tingofurro/summac