title: Pair correlations in the attractive Hubbard model

abstract: The mechanism of fermionic pairing is the key to understanding various phenomena such as high-temperature superconductivity and the pseudogap phase in cuprate materials. We study the pair correlations in the attractive Hubbard model using ultracold fermions in a two-dimensional optical lattice. By combining the fluctuation-dissipation theorem and the compressibility equation of state, we extract the interacting pair correlation functions and deduce a characteristic length scale of pairs as a function of interaction and density filling. At sufficiently low filling and weak on-site interaction, we observe that the pair correlations extend over a few lattice sites even at temperatures above the superfluid transition temperature.


title: Anchored in Shadows: Tying the Celestial Reference Frame Directly to Black Hole Event Horizons

abstract: Both the radio International Celestial Reference Frame (ICRF) and the optical Gaia Celestial Reference Frame (Gaia-CRF2) are derived from observations of jets produced by the Super Massive Black Holes (SMBH) powering active galactic nuclei and quasars. These jets are inherently subject to change and will appear different at different observing frequencies, leading to instabilities and systematic errors in the resulting Celestial Reference Frames (CRFs). Recently, the Event Horizon Telescope (EHT), a mm-wave Very Long Baseline Interferometry (VLBI) array, has observed the 40 micro-as diameter shadow of the SMBH in M87 at 1.3 mm, showing that the emitting region is smaller than the black-hole shadow. Use of these SMBH "emission rings" (and the associated photon rings) as astrometric references will enable the resulting CRF to be anchored directly in SMBH shadows; the ultimate reference points for any CRF for the forseeable future. A properly equipped space VLBI mission devoted to the observation of SMBH event horizons could lead to a two-orders-of-magnitude improvement in the accuracy and stabilty of the ICRF in the relatively near future.


title: GPT-too: A language-model-first approach for AMR-to-text generation

abstract: Meaning Representations (AMRs) are broad-coverage sentence-level semantic graphs. Existing approaches to generating text from AMR have focused on training sequence-to-sequence or graph-to-sequence models on AMR annotated data only. In this paper, we propose an alternative approach that combines a strong pre-trained language model with cycle consistency-based re-scoring. Despite the simplicity of the approach, our experimental results show these models outperform all previous techniques on the English LDC2017T10dataset, including the recent use of transformer architectures. In addition to the standard evaluation metrics, we provide human evaluation experiments that further substantiate the strength of our approach.


title: Deterministic spin-photon entanglement from a trapped ion in a fiber Fabry-Perot cavity

abstract: The development of efficient network nodes is a key element for the realisation of quantum networks which promise great capabilities as distributed quantum computing or provable secure communication. We report the realisation of a quantum network node using a trapped ion inside a fiber-based Fabry-Perot cavity. We show the generation of deterministic entanglement at a high fidelity of $ 91.2(2) $\,\% between a trapped Yb--ion and a photon emitted into the resonator mode. We achieve a success probability for generation and detection of entanglement for a single shot of $ 2.5 \cdot 10^{-3}$ resulting in 62\,Hz entanglement rate.


title: On the Power of Unambiguity in B\"uchi Complementation

abstract: In this work, we exploit the power of \emph{unambiguity} for the complementation problem of B\"uchi automata by utilizing reduced run directed acyclic graphs (DAGs) over infinite words, in which each vertex has at most one predecessor. We then show how to use this type of reduced run DAGs as a \emph{unified tool} to optimize \emph{both} rank-based and slice-based complementation constructions for B\"uchi automata with a finite degree of ambiguity. As a result, given a B\"uchi automaton with $n$ states and a finite degree of ambiguity, the number of states in the complementary B\"uchi automaton constructed by the classical rank-based and slice-based complementation constructions can be improved, respectively, to $2^{O(n)}$ from $2^{O(n\log n)}$ and to $O(4^n)$ from $O((3n)^n)$.


title: On-the-fly ab initio semiclassical evaluation of vibronic spectra at finite temperature

abstract: To compute and analyze vibrationally resolved electronic spectra at zero temperature, we have recently implemented the on-the-fly ab initio extended thawed Gaussian approximation [A. Patoz et al., J. Phys. Chem. Lett. 9, 2367 (2018)], which accounts for anharmonicity, mode-mode coupling, and Herzberg-Teller effects. Here, we generalize this method in order to evaluate spectra at non-zero temperature. In line with thermo-field dynamics, we transform the von Neumann evolution of the coherence component of the density matrix to the Schr\"{o}dinger evolution of a wavefunction in an augmented space with twice as many degrees of freedom. Due to the efficiency of the extended thawed Gaussian approximation, this increase in the number of coordinates results in nearly no additional computational cost. More specifically, compared to the original, zero-temperature approach, the finite-temperature method requires no additional ab initio electronic structure calculations. At the same time, the new approach allows for a clear distinction among finite-temperature, anharmonicity, and Herzberg-Teller effects on spectra. We show, on a model Morse system, the advantages of the finite-temperature thawed Gaussian approximation over the commonly used global harmonic methods and apply it to evaluate the symmetry-forbidden absorption spectrum of benzene, where all of the aforementioned effects contribute.


title: Synchronized Multi-Arm Rearrangement Guided by Mode Graphs with Capacity Constraints

abstract: Solving task planning problems involving multiple objects and multiple robotic arms poses scalability challenges. Such problems involve not only coordinating multiple high-DoF arms, but also searching through possible sequences of actions including object placements, and handoffs. The current work identifies a useful connection between multi-arm rearrangement and recent results in multi-body path planning on graphs with vertex capacity constraints. Solving a synchronized multi-arm rearrangement at a high-level involves reasoning over a modal graph, where nodes correspond to stable object placements and object transfer states by the arms. Edges of this graph correspond to pick, placement and handoff operations. The objects can be viewed as pebbles moving over this graph, which has capacity constraints. For instance, each arm can carry a single object but placement locations can accumulate many objects. Efficient integer linear programming-based solvers have been proposed for the corresponding pebble problem. The current work proposes a heuristic to guide the task planning process for synchronized multi-arm rearrangement. Results indicate good scalability to multiple arms and objects, and an algorithm that can find high-quality solutions fast and exhibiting desirable anytime behavior.


title: Neural Generation of Dialogue Response Timings

abstract: The timings of spoken response offsets in human dialogue have been shown to vary based on contextual elements of the dialogue. We propose neural models that simulate the distributions of these response offsets, taking into account the response turn as well as the preceding turn. The models are designed to be integrated into the pipeline of an incremental spoken dialogue system (SDS). We evaluate our models using offline experiments as well as human listening tests. We show that human listeners consider certain response timings to be more natural based on the dialogue context. The introduction of these models into SDS pipelines could increase the perceived naturalness of interactions.


title: Renormalized quasiparticles, topological monopoles and superconducting line nodes in heavy fermion CeTX$_3$ compounds

abstract: Non-centrosymmetric superconductors have recently attracted much attention, since the lack of inversion symmetry mixes spin singlet and triplet pairing states, which may allow the realization of topological superconductivity. In this work, we study the electronic properties of the family of inversion-broken CeTX$_3$ heavy-fermion superconductors, finding topological nodal lines as well as Dirac and Weyl points, which are renormalized closer to the Fermi energy by correlations. We find that the Weyl nodal lines have a substantial effect on the Fermi surface spin structure of the normal state, and lead to line nodes in the superconducting phase.


title: Is being an only child harmful to psychological health?: Evidence from an instrumental variable analysis of China's One-Child Policy

abstract: This paper evaluates the effects of being an only child in a family on psychological health, leveraging data on the One-Child Policy in China. We use an instrumental variable approach to address the potential unmeasured confounding between the fertility decision and psychological health, where the instrumental variable is an index on the intensity of the implementation of the One-Child Policy. We establish an analytical link between the local instrumental variable approach and principal stratification to accommodate the continuous instrumental variable. Within the principal stratification framework, we postulate a Bayesian hierarchical model to infer various causal estimands of policy interest while adjusting for the clustering data structure. We apply the method to the data from the China Family Panel Studies and find small but statistically significant negative effects of being an only child on self-reported psychological health for some subpopulations. Our analysis reveals treatment effect heterogeneity with respect to both observed and unobserved characteristics. In particular, urban males suffer the most from being only children, and the negative effect has larger magnitude if the families were more resistant to the One-Child Policy. We also conduct sensitivity analysis to assess the key instrumental variable assumption.


title: Connecting the local stellar halo and its dark matter density to dwarf galaxies via blue stragglers

abstract: The Gaia HR diagram shows the presence of apparently young stars at high tangential velocities. Using a simple analytical model I show that these stars are likely to be blue stragglers. Once normalized to red giant stars, the fraction of nearby halo blue stragglers is of order 20 percent, and remarkably close to that measured in dwarf galaxies. Motivated by this similarity, I apply to field blue stragglers scaling relations inferred from blue stragglers in dwarf galaxies. Doing this for the Milky Way halo returns an average stellar density of 3.4 x 10^-5 Msun/pc^3 and a dark matter density of ~0.006 Msun/pc^3 ~ 0.22 GeV/cm^3 within 2 kpc from the Sun. These values compare favourably to other determinations available in the literature, but are based on an independent set of assumptions. A few considerations of this methodology are discussed, most notably that the correlation between the dark matter halo core-density and stellar mass seen in dwarf galaxies seems to hold also for the nearby Milky Way halo.


title: An Analytic Model for an Evolving Protoplanetary Disk with a Disk Wind

abstract: We describe an analytic model for an evolving protoplanetary disk driven by viscosity and a disk wind. The disk is heated by stellar irradiation and energy generated by viscosity. The evolution is controlled by 3 parameters: (i) the inflow velocity towards the central star at a reference distance and temperature, (ii) the fraction of this inflow caused by the disk wind, and (iii) the mass loss rate via the wind relative to the inward flux in the disk. The model gives the disk midplane temperature and surface density as a function of time and distance from the star. It is intended to provide an efficient way to calculate conditions in a protoplanetary disk for use in simulations of planet formation. In the model, disks dominated by viscosity spread radially while losing mass onto the star. Radial spreading is the main factor reducing the surface density in the inner disk. The disk mass remains substantial at late times. Temperatures in the inner region are high at early times due to strong viscous heating. Disks dominated by a wind undergo much less radial spreading and weaker viscous heating. These disks have a much lower mass at late times than purely viscous disks. When mass loss via a wind is significant, the surface density gradient in the inner disk becomes shallower, and the slope can become positive in extreme cases.


title: NEJM-enzh: A Parallel Corpus for English-Chinese Translation in the Biomedical Domain

abstract: Machine translation requires large amounts of parallel text. While such datasets are abundant in domains such as newswire, they are less accessible in the biomedical domain. Chinese and English are two of the most widely spoken languages, yet to our knowledge a parallel corpus in the biomedical domain does not exist for this language pair. In this study, we develop an effective pipeline to acquire and process an English-Chinese parallel corpus, consisting of about 100,000 sentence pairs and 3,000,000 tokens on each side, from the New England Journal of Medicine (NEJM). We show that training on out-of-domain data and fine-tuning with as few as 4,000 NEJM sentence pairs improve translation quality by 25.3 (13.4) BLEU for en$\to$zh (zh$\to$en) directions. Translation quality continues to improve at a slower pace on larger in-domain datasets, with an increase of 33.0 (24.3) BLEU for en$\to$zh (zh$\to$en) directions on the full dataset.


title: Improve robustness of DNN for ECG signal classification:a noise-to-signal ratio perspective

abstract: Electrocardiogram (ECG) is the most widely used diagnostic tool to monitor the condition of the cardiovascular system. Deep neural networks (DNNs), have been developed in many research labs for automatic interpretation of ECG signals to identify potential abnormalities in patient hearts. Studies have shown that given a sufficiently large amount of data, the classification accuracy of DNNs could reach human-expert cardiologist level. A DNN-based automated ECG diagnostic system would be an affordable solution for patients in developing countries where human-expert cardiologist are lacking. However, despite of the excellent performance in classification accuracy, it has been shown that DNNs are highly vulnerable to adversarial attacks: subtle changes in input of a DNN can lead to a wrong classification output with high confidence. Thus, it is challenging and essential to improve adversarial robustness of DNNs for ECG signal classification, a life-critical application. In this work, we proposed to improve DNN robustness from the perspective of noise-to-signal ratio (NSR) and developed two methods to minimize NSR during training process. We evaluated the proposed methods on PhysionNets MIT-BIH dataset, and the results show that our proposed methods lead to an enhancement in robustness against PGD adversarial attack and SPSA attack, with a minimal change in accuracy on clean data.


title: Quillen Model Structures-Based Notions of Locality of Logics over Finite Models

abstract: Locality is a property of logics, based on Hanf's and Gaifman's theorems, and that was shown to be very useful in the context of finite model theory. In this paper I present a homotopic variation for locality, namely a Quillen model category-based framework for locality under k-logical equivalence, for every primitive-positive sentence of quantifier-rank k.


title: An Analysis of the Adaptation Speed of Causal Models

abstract: Consider a collection of datasets generated by unknown interventions on an unknown structural causal model $G$. Recently, Bengio et al. (2020) conjectured that among all candidate models, $G$ is the fastest to adapt from one dataset to another, along with promising experiments. Indeed, intuitively $G$ has less mechanisms to adapt, but this justification is incomplete. Our contribution is a more thorough analysis of this hypothesis. We investigate the adaptation speed of cause-effect SCMs. Using convergence rates from stochastic optimization, we justify that a relevant proxy for adaptation speed is distance in parameter space after intervention. Applying this proxy to categorical and normal cause-effect models, we show two results. When the intervention is on the cause variable, the SCM with the correct causal direction is advantaged by a large factor. When the intervention is on the effect variable, we characterize the relative adaptation speed. Surprisingly, we find situations where the anticausal model is advantaged, falsifying the initial hypothesis. Code to reproduce experiments is available at https://github.com/remilepriol/causal-adaptation-speed


title: Weak-Attention Suppression For Transformer Based Speech Recognition

abstract: Transformers, originally proposed for natural language processing (NLP) tasks, have recently achieved great success in automatic speech recognition (ASR). However, adjacent acoustic units (i.e., frames) are highly correlated, and long-distance dependencies between them are weak, unlike text units. It suggests that ASR will likely benefit from sparse and localized attention. In this paper, we propose Weak-Attention Suppression (WAS), a method that dynamically induces sparsity in attention probabilities. We demonstrate that WAS leads to consistent Word Error Rate (WER) improvement over strong transformer baselines. On the widely used LibriSpeech benchmark, our proposed method reduced WER by 10%$ on test-clean and 5% on test-other for streamable transformers, resulting in a new state-of-the-art among streaming models. Further analysis shows that WAS learns to suppress attention of non-critical and redundant continuous acoustic frames, and is more likely to suppress past frames rather than future ones. It indicates the importance of lookahead in attention-based ASR models.


title: Biconed graphs, weighted forests, and h-vectors of matroid complexes

abstract: A well-known conjecture of Richard Stanley posits that the $h$-vector of the independence complex of a matroid is a pure ${\mathcal O}$-sequence. The conjecture has been established for various classes but is open for graphic matroids. A biconed graph is a graph with two specified `coning vertices', such that every vertex of the graph is connected to at least one coning vertex. The class of biconed graphs includes coned graphs, Ferrers graphs, and complete multipartite graphs. We study the $h$-vectors of graphic matroids arising from biconed graphs, providing a combinatorial interpretation of their entries in terms of `$2$-weighted forests' of the underlying graph. This generalizes constructions of Kook and Lee who studied the M\"obius coinvariant (the last nonzero entry of the $h$-vector) of graphic matroids of complete bipartite graphs. We show that allowing for partially $2$-weighted forests gives rise to a pure multicomplex whose face count recovers the $h$-vector, establishing Stanley's conjecture for this class of matroids. We also discuss how our constructions relate to a combinatorial strengthening of Stanley's Conjecture (due to Klee and Samper) for this class of matroids.


title: Over-the-Air Computation Systems: Optimal Design with Sum-Power Constraint

abstract: Over-the-air computation (AirComp), which leverages the superposition property of wireless multiple-access channel (MAC) and the mathematical tool of function representation, has been considered as a promising technique for effective collection and computation of massive sensor data in wireless Big Data applications. In most of the existing work on AirComp, optimal system-parameter design is commonly considered under the peak-power constraint of each sensor. In this paper, we propose an optimal transmitter-receiver (Tx-Rx) parameter design problem to minimize the computation mean-squared error (MSE) of an AirComp system under the sum-power constraint of the sensors. We solve the non-convex problem and obtain a closed-form solution. Also, we investigate another problem that minimizes the sum power of the sensors under the constraint of computation MSE. Our results show that in both of the problems, the sensors with poor and good channel conditions should use less power than the ones with moderate channel conditions.


title: SoS-RPL: Securing Internet of Things Against Sinkhole Attack Using RPL Protocol-Based Node Rating and Ranking Mechanism

abstract: Through the Internet of Things (IoT) the internet scope is established by the integration of physical things to classify themselves into mutual things. A physical thing can be created by this inventive perception to signify itself in the digital world. Regarding the physical things that are related to the internet, it is worth noting that considering numerous theories and upcoming predictions, they mostly require protected structures, moreover, they are at risk of several attacks. IoTs are endowed with particular routing disobedience called sinkhole attack owing to their distributed features. In these attacks, a malicious node broadcasts illusive information regarding the routings to impose itself as a route towards specific nodes for the neighboring nodes and thus, attract data traffic. RPL (IP-V6 routing protocol for efficient and low-energy networks) is a standard routing protocol which is mainly employed in sensor networks and IoT. This protocol is called SoS-RPL consisting of two key sections of the sinkhole detection. In the first section rating and ranking the nodes in the RPL is carried out based on distance measurements. The second section is in charge of discovering the misbehavior sources within the IoT network through, the Average Packet Transmission RREQ (APT-RREQ). Here, the technique is assessed through wide simulations performed within the NS-3 environment. Based on the results of the simulation, it is indicated that the IoT network behavior metrics are enhanced based on the detection rate, false-negative rate, false-positive rate, packet delivery rate, maximum throughput, and packet loss rate.


title: ExSample: Efficient Searches on Video Repositories through Adaptive Sampling

abstract: Capturing and processing video is increasingly common as cameras become cheaper to deploy. At the same time, rich video understanding methods have progressed greatly in the last decade. As a result, many organizations now have massive repositories of video data, with applications in mapping, navigation, autonomous driving, and other areas. Because state-of-the-art object detection methods are slow and expensive, our ability to process even simple ad-hoc object search queries ('find 100 traffic lights in dashcam video') over this accumulated data lags far behind our ability to collect it. Processing video at reduced sampling rates is a reasonable default strategy for these types of queries, however, the ideal sampling rate is both data and query dependent. We introduce ExSample, a low cost framework for object search over unindexed video that quickly processes search queries by adapting the amount and location of sampled frames to the particular data and query being processed. ExSample prioritizes the processing of frames in a video repository so that processing is focused in portions of video that most likely contain objects of interest. It continually re-prioritizes processing based on feedback from previously processed frames. On large, real-world datasets, ExSample reduces processing time by up to 6x over an efficient random sampling baseline and by several orders of magnitude over state-of-the-art methods that train specialized per-query surrogate models. ExSample is thus a key component in building cost-efficient video data management systems.


title: The thermal conductivity of "pastas" in neutron star matter

abstract: This investigation explores the phononic thermal conductivity of nuclear star matter as it undergoes the "topological" transition to the "pasta" regime, and further down to the solid-liquid phase transition. The study was carried out using molecular dynamics simulations with nuclear potentials embedded in an effective (i.e. Thomas-Fermi) Coulomb potential. The thermal conductivity experiences a dramatic change within a narrow temperature interval around T=1 MeV. This change accomplishes the "pasta" breakdown during a heating process. The thermal conductivity by flipping protons' or neutrons' velocity further shows a decoupling for asymmetric nuclear star matter.


title: Power Allocation and Link Selection for Multicell Cooperative NOMA Hybrid VLC/RF Systems

abstract: This paper proposes and optimizes a cooperative non-orthogonal multiple-access (Co-NOMA) scheme in the context of multicell visible light communications (VLC) networks, as a means to mitigate inter-cell interference in Co-NOMA-enabled systems. Consider a network with multiple VLC access points (APs), where each AP serves two users using light intensity. In each cell, the weak user (the cell edge user) can be served either directly by the VLC AP, or through the strong user that can decode the weak user's message and forward it through the radio-frequency (RF) link. The paper then considers the problem of maximizing the network throughput under quality-of-service (QoS) constraints by allocating the powers of the users' messages and APs' transmit powers, and determining the serving links of each weak user (i.e., VLC or hybrid VLC/RF). The paper solves such a non-convex problem by first finding closed form solutions of the joint users' powers and link selection for a fixed AP power allocation. The APs' transmit powers are then iteratively solved in an outer loop using the golden section method. Simulation results show how the proposed solution and scheme improve the system sum-rate and fairness as compared to conventional non-orthogonal multiple-access (NOMA) schemes.


title: Satellite Navigation for the Age of Autonomy

abstract: Global Navigation Satellite Systems (GNSS) brought navigation to the masses. Coupled with smartphones, the blue dot in the palm of our hands has forever changed the way we interact with the world. Looking forward, cyber-physical systems such as self-driving cars and aerial mobility are pushing the limits of what localization technologies including GNSS can provide. This autonomous revolution requires a solution that supports safety-critical operation, centimeter positioning, and cyber-security for millions of users. To meet these demands, we propose a navigation service from Low Earth Orbiting (LEO) satellites which deliver precision in-part through faster motion, higher power signals for added robustness to interference, constellation autonomous integrity monitoring for integrity, and encryption / authentication for resistance to spoofing attacks. This paradigm is enabled by the 'New Space' movement, where highly capable satellites and components are now built on assembly lines and launch costs have decreased by more than tenfold. Such a ubiquitous positioning service enables a consistent and secure standard where trustworthy information can be validated and shared, extending the electronic horizon from sensor line of sight to an entire city. This enables the situational awareness needed for true safe operation to support autonomy at scale.


title: Bootstrap prediction intervals with asymptotic conditional validity and unconditional guarantees

abstract: It can be argued that optimal prediction should take into account all available data. Therefore, to evaluate a prediction interval's performance one should employ conditional coverage probability, conditioning on all available observations. Focusing on a linear model, we derive the asymptotic distribution of the difference between the conditional coverage probability of a nominal prediction interval and the conditional coverage probability of a prediction interval obtained via a residual-based bootstrap. Applying this result, we show that a prediction interval generated by the residual-based bootstrap has approximately 50% probability to yield conditional under-coverage. We then develop a new bootstrap algorithm that generates a prediction interval that asymptotically controls both the conditional coverage probability as well as the possibility of conditional under-coverage. We complement the asymptotic results with several finite-sample simulations.


title: 3D Augmented Reality-Assisted CT-Guided Interventions: System Design and Preclinical Trial on an Abdominal Phantom using HoloLens 2

abstract: Background: Out-of-plane lesions pose challenges for CT-guided interventions. Augmented reality (AR) headset devices have evolved and are readily capable to provide virtual 3D guidance to improve CT-guided targeting. Purpose: To describe the design of a three-dimensional (3D) AR-assisted navigation system using HoloLens 2 and evaluate its performance through CT-guided simulations. Materials and Methods: A prospective trial was performed assessing CT-guided needle targeting on an abdominal phantom with and without AR guidance. A total of 8 operators with varying clinical experience were enrolled and performed a total of 86 needle passes. Procedure efficiency, radiation dose, and complication rates were compared with and without AR guidance. Vector analysis of the first needle pass was also performed. Results: Average total number of needle passes to reach the target reduced from 7.4 passes without AR to 3.4 passes with AR (54.2% decrease, p=0.011). Average dose-length product (DLP) decreased from 538 mGy-cm without AR to 318 mGy-cm with AR (41.0% decrease, p=0.009). Complication rate of hitting a non-targeted lesion decreased from 11.9% without AR (7/59 needle passes) to 0% with AR (0/27 needle passes). First needle passes were more nearly aligned with the ideal target trajectory with AR versus without AR (4.6{\deg} vs 8.0{\deg} offset, respectively, p=0.018). Medical students, residents, and attendings all performed at the same level with AR guidance. Conclusions: 3D AR guidance can provide significant improvements in procedural efficiency and radiation dose savings for targeting challenging, out-of-plane lesions. AR guidance elevated the performance of all operators to the same level irrespective of prior clinical experience.


title: Increasing-Margin Adversarial (IMA) Training to Improve Adversarial Robustness of Neural Networks

abstract: Deep neural networks (DNNs) are vulnerable to adversarial noises. Adversarial training is a general and effective strategy to improve DNN robustness (i.e., accuracy on noisy data) against adversarial noises. However, DNN models trained by the current existing adversarial training methods may have much lower standard accuracy (i.e., accuracy on clean data), compared to the same models trained by the standard method on clean data, and this phenomenon is known as the trade-off between accuracy and robustness and is considered unavoidable. This issue prevents adversarial training from being used in many application domains, such as medical image analysis, as practitioners do not want to sacrifice standard accuracy too much in exchange for adversarial robustness. Our objective is to lift (i.e., alleviate or even avoid) this trade-off between standard accuracy and adversarial robustness for medical image classification and segmentation. We propose a novel adversarial training method, named Increasing-Margin Adversarial (IMA) Training, which is supported by an equilibrium state analysis about the optimality of adversarial training samples. Our method aims to preserve accuracy while improving robustness by generating optimal adversarial training samples. We evaluate our method and the other eight representative methods on six publicly available image datasets corrupted by noises generated by AutoAttack and white-noise attack. Our method achieves the highest adversarial robustness for image classification and segmentation with the smallest reduction in accuracy on clean data. For one of the applications, our method improves both accuracy and robustness. Our study has demonstrated that our method can lift the trade-off between standard accuracy and adversarial robustness for the image classification and segmentation applications.


title: Out-of-Core GPU Gradient Boosting

abstract: GPU-based algorithms have greatly accelerated many machine learning methods; however, GPU memory is typically smaller than main memory, limiting the size of training data. In this paper, we describe an out-of-core GPU gradient boosting algorithm implemented in the XGBoost library. We show that much larger datasets can fit on a given GPU, without degrading model accuracy or training time. To the best of our knowledge, this is the first out-of-core GPU implementation of gradient boosting. Similar approaches can be applied to other machine learning algorithms


title: A Universal fundamental plane and the $M_{dyn}-M_{\star}$ relation for galaxies with CALIFA and MaNGA

abstract: We use the stellar kinematics for $2458$ galaxies from the MaNGA survey to explore dynamical scaling relations between the stellar mass $M_{\star}$ and the total velocity parameter at the effective radius, $R_e$, defined as $S_{K}^{2}=KV_{R_e}^{2}+\sigma_{\star_e}^{2}$, which combines rotation velocity $V_{R_e}$, and velocity dispersion $\sigma_{\star_e}$. We confirm that spheroidal and spiral galaxies follow the same $M_{\star}-S_{0.5}$ scaling relation with lower scatter than the $M_{\star}-V_{R_e}$ and $M_{\star}-\sigma_{\star_e}$ ones. We also explore a more general Universal Fundamental Plane described by the equation $log(\Upsilon_{e}) = log (S_{0.5}^{2}) - log (I_{e}) - log (R_{e}) + C$, which in addition to kinematics, $S_{0.5}$, and effective radius, $R_e$, it includes surface brightness, $I_e$, and dynamical mass-to-light ratio, $\Upsilon_e$. We use sophisticated Schwarzschild dynamical models for a sub-sample of 300 galaxies from the CALIFA survey to calibrate the so called Universal Fundamental Plane. That calibration allows us to propose both: (i) a parametrization to estimate the difficult-to-measure dynamical mass-to-light ratio at the effective radius; and (ii) a new dynamical mass proxy consistent with dynamical models within $0.09\ dex$. We reproduce the relation between the dynamical mass and the stellar mass in the inner regions of galaxies. We use the estimated dynamical mass-to-light ratio from our analysis, $\Upsilon_{e}^{fit}$, to explore the Universal Fundamental Plane with the MaNGA data set. We find that all classes of galaxies, from spheroids to disks, follow this Universal Fundamental Plane with a scatter significantly smaller $(0.05\ dex)$ than the one reported for the $M_{\star}-S_{0.5}$ relation $(0.1\ dex)$, the Fundamental Plane $(\sim 0.09\ dex)$ and comparable with Tully-Fisher studies $(\sim 0.05\ dex)$, but for a wider range of galaxy types.


title: Faster, Simpler and More Accurate Hybrid ASR Systems Using Wordpieces

abstract: In this work, we first show that on the widely used LibriSpeech benchmark, our transformer-based context-dependent connectionist temporal classification (CTC) system produces state-of-the-art results. We then show that using wordpieces as modeling units combined with CTC training, we can greatly simplify the engineering pipeline compared to conventional frame-based cross-entropy training by excluding all the GMM bootstrapping, decision tree building and force alignment steps, while still achieving very competitive word-error-rate. Additionally, using wordpieces as modeling units can significantly improve runtime efficiency since we can use larger stride without losing accuracy. We further confirm these findings on two internal VideoASR datasets: German, which is similar to English as a fusional language, and Turkish, which is an agglutinative language.


title: Model predicts fundamental role of biomechanical control of cell cycle progression during liver regeneration after partial hepatectomy

abstract: Partial hepatectomy (PHx) is a surgical intervention where a part of the liver is removed. Due to its extraordinary capacity to regenerate, the liver is able to regenerate about two-thirds of its mass within a few weeks. Nevertheless, in some patients regeneration fails. Understanding the principles and limitations underlying regeneration may permit to control this process and prospectively improve the regeneration. Here, we established a simulation model to mimic the process of regeneration in the liver lobe of a mouse. This model represents each hepatocyte individually and builds upon a previous computational model of regeneration of drug induced damage in a single liver lobule. The present study simulates entire liver lobes that consist of hundreds to thousands of lobules. It accounts for biomechanical control of cell cycle progression (Biomechanical Growth Control), which has not been considered in that previous work. The model reproduced the available experimental observations only if BGC was taken into account. Interestingly, the model predicted that BGC minimizes the number of proliferating neighbor cells of a proliferating cell resulting in a checkerboard-like proliferation pattern. Moreover, the model predicted different cell proliferation patterns in pigs and mice that corresponded to data obtained from regenerating tissue of the two species. In conclusion, the here established model suggest that biomechanical control mechanisms may play a significant role in liver regeneration after PHx.


title: Lasso formulation of the shortest path problem

abstract: The shortest path problem is formulated as an $l_1$-regularized regression problem, known as lasso. Based on this formulation, a connection is established between Dijkstra's shortest path algorithm and the least angle regression (LARS) for the lasso problem. Specifically, the solution path of the lasso problem, obtained by varying the regularization parameter from infinity to zero (the regularization path), corresponds to shortest path trees that appear in the bi-directional Dijkstra algorithm. Although Dijkstra's algorithm and the LARS formulation provide exact solutions, they become impractical when the size of the graph is exceedingly large. To overcome this issue, the alternating direction method of multipliers (ADMM) is proposed to solve the lasso formulation. The resulting algorithm produces good and fast approximations of the shortest path by sacrificing exactness that may not be absolutely essential in many applications. Numerical experiments are provided to illustrate the performance of the proposed approach.

categories: math.OC cs.DS math.ST stat.AP stat.CO stat.TH


title: Associating Multi-Scale Receptive Fields for Fine-grained Recognition

abstract: Extracting and fusing part features have become the key of fined-grained image recognition. Recently, Non-local (NL) module has shown excellent improvement in image recognition. However, it lacks the mechanism to model the interactions between multi-scale part features, which is vital for fine-grained recognition. In this paper, we propose a novel cross-layer non-local (CNL) module to associate multi-scale receptive fields by two operations. First, CNL computes correlations between features of a query layer and all response layers. Second, all response features are weighted according to the correlations and are added to the query features. Due to the interactions of cross-layer features, our model builds spatial dependencies among multi-level layers and learns more discriminative features. In addition, we can reduce the aggregation cost if we set low-dimensional deep layer as query layer. Experiments are conducted to show our model achieves or surpasses state-of-the-art results on three benchmark datasets of fine-grained classification. Our codes can be found at github.com/FouriYe/CNL-ICIP2020.


title: Global solutions for a family of GSQG front equations

abstract: We prove the global existence of solutions with small and smooth initial data of a nonlinear dispersive equation for the motion of generalized surface quasi-geostrophic (GSQG) fronts in a parameter regime $1<\alpha<2$, where $\alpha=1$ corresponds to the SQG equation and $\alpha=2$ corresponds to the incompressible Euler equations. This result completes previous global well-posedness results for $0<\alpha \le 1$. We also use contour dynamics to derive the GSQG front equations for $1<\alpha<2$.


title: Reinforcement Learning for Caching with Space-Time Popularity Dynamics

abstract: With the tremendous growth of data traffic over wired and wireless networks along with the increasing number of rich-media applications, caching is envisioned to play a critical role in next-generation networks. To intelligently prefetch and store contents, a cache node should be able to learn what and when to cache. Considering the geographical and temporal content popularity dynamics, the limited available storage at cache nodes, as well as the interactive in uence of caching decisions in networked caching settings, developing effective caching policies is practically challenging. In response to these challenges, this chapter presents a versatile reinforcement learning based approach for near-optimal caching policy design, in both single-node and network caching settings under dynamic space-time popularities. The herein presented policies are complemented using a set of numerical tests, which showcase the merits of the presented approach relative to several standard caching policies.


title: When does Wenzel's extension of Young's equation for the contact angle of droplets apply? A density functional study

abstract: he contact angle of a liquid droplet on a surface under partial wetting conditions differs for a nanoscopically rough or periodically corrugated surface from its value for a perfectly flat surface. Wenzel's relation attributes this difference simply to the geometric magnification of the surface area (by a factor $r_{\rm w}$), but the validity of this idea is controversial. We elucidate this problem by model calculations for a sinusoidal corrugation of the form $z_{\rm wall}(y) = \Delta\cos(2\pi y/\lambda)$ , for a potential of short range $\sigma_{\rm w}$ acting from the wall on the fluid particles. When the vapor phase is an ideal gas, the change of the wall-vapor surface tension can be computed exactly, and corrections to Wenzel's equation are typically of order $\sigma_{\rm w}\Delta/\lambda^2$. For fixed $r_{\rm w}$ and fixed $\sigma_{\rm w}$ the approach to Wenzel's result with increasing $\lambda$ may be nonmonotonic and this limit often is only reached for $\lambda/\sigma_{\rm w}>30$. For a non-additive binary mixture, density functional theory is used to work out the density profiles of both coexisting phases both for planar and corrugated walls, as well as the corresponding surface tensions. Again, deviations from Wenzel's results of similar magnitude as in the above ideal gas case are predicted. Finally, a crudely simplified description based on the interface Hamiltonian concept is used to interpret corresponding simulation results along similar lines. Wenzel's approach is found to generally hold when $\lambda/\sigma_{\rm w}\gg 1$, $\Delta/\lambda<1$, and conditions avoiding proximity of wetting or filling transitions.


title: $\rho-\omega$ mixing contribution to the measured $CP$ asymmetry of $B^\pm\to \omega K^\pm$

abstract: We study the $CP$ asymmetry of $B^\pm\to \omega K^\pm$ with the inclusion of the $\rho-\omega$ mixing mechanism. It is shown that the $CP$ asymmetry of $B^\pm\to\omega K^\pm$ experimentally measured ($A_{CP}^{\text{exp}}$) and conventionally defined ($A_{CP}^{\text{con}}$) are in fact different, which relation can be illustrated as $A_{CP}^{\text{exp}}=A_{CP}^{\text{con}}+\Delta A_{CP}^{\rho\omega}$, with $\Delta A_{CP}^{\rho\omega}$ the $\rho-\omega$ mixing contribution to $A_{CP}^{\text{exp}}$. $A_{CP}^{\text{exp}}$ is in fact the regional $CP$ asymmetry of $B^\pm\to\pi^+\pi^-\pi^0 K^\pm$ when the invariant mass of the three pions lies in the vicinity of the $\omega$ resonance. The numerical value of $\Delta A_{CP}^{\rho\omega}$ is extracted from the experimental data of $B^\pm\to\pi^+\pi^-K^\pm$ and is found to be comparable with $A_{CP}^{\text{exp}}$, hence, nonnegligible. The conventionally defined $CP$ asymmetry, $A_{CP}^{\text{con}}$, is obtained from the values of $A_{CP}^{\text{exp}}$ and $\Delta A_{CP}^{\rho\omega}$, and is compared with the theoretical calculations in the literature.


title: ParaDiag: parallel-in-time algorithms based on the diagonalization technique

abstract: In 2008, Maday and Ronquist introduced an interesting new approach for the direct parallel-in-time (PinT) solution of time-dependent PDEs. The idea is to diagonalize the time stepping matrix, keeping the matrices for the space discretization unchanged, and then to solve all time steps in parallel. Since then, several variants appeared, and we call these closely related algorithms ParaDiag algorithms. ParaDiagalgorithms in the literature can be classified into two groups: ParaDiag-I: direct standalone solvers, ParaDiag-II: iterative solvers. We will explain the basic features of each group in this note. To have concrete examples, we will introduce ParaDiag-I and ParaDiag-II for the advection-diffusion equation. We will also introduce ParaDiag-II for the wave equation and an optimal control problem for the wave equation. We could have used the advection-diffusion equation as well to illustrate ParaDiag-II, but wave equations are known to cause problems for certain PinT algorithms and thus constitute an especially interesting example for which ParaDiag algorithms were tested. We show the main known theoretical results in each case, and also provide Matlab codes for testing. The goal of the Matlab codes is to help the interested reader understand the key features of the ParaDiag algorithms, without intention to be highly tuned for efficiency and/or low memory use. We also provide speedup measurements of ParaDiag algorithms for a 2D linear advection-diffusion equation. These results are obtained on the Tianhe-1 supercomputer in China and the SIUE Campus Cluster in the US and and we compare these results to the performance of parareal and MGRiT, two widely used PinT algorithms.


title: Sketch-BERT: Learning Sketch Bidirectional Encoder Representation from Transformers by Self-supervised Learning of Sketch Gestalt

abstract: Previous researches of sketches often considered sketches in pixel format and leveraged CNN based models in the sketch understanding. Fundamentally, a sketch is stored as a sequence of data points, a vector format representation, rather than the photo-realistic image of pixels. SketchRNN studied a generative neural representation for sketches of vector format by Long Short Term Memory networks (LSTM). Unfortunately, the representation learned by SketchRNN is primarily for the generation tasks, rather than the other tasks of recognition and retrieval of sketches. To this end and inspired by the recent BERT model, we present a model of learning Sketch Bidirectional Encoder Representation from Transformer (Sketch-BERT). We generalize BERT to sketch domain, with the novel proposed components and pre-training algorithms, including the newly designed sketch embedding networks, and the self-supervised learning of sketch gestalt. Particularly, towards the pre-training task, we present a novel Sketch Gestalt Model (SGM) to help train the Sketch-BERT. Experimentally, we show that the learned representation of Sketch-BERT can help and improve the performance of the downstream tasks of sketch recognition, sketch retrieval, and sketch gestalt.


title: High pressure effects on the intermetallic superconductor Ti$_{0.85}$Pd$_{0.15}$

abstract: This work reports superconductivity studies in the intermetallic Ti$_{0.85}$Pd$_{0.15}$ performed in normal conditions and under hydrostatic pressure. The crystal structure of the compound has a body centered cubic at room temperature and atmospheric pressure as unstable $\beta$-Ti phase. X-Ray diffraction pattern shows space group $Im\bar{3}m$ with parameter $a=3.2226(4)$ \AA and density around 5.6242 g/cm$^{3}$. The superconducting transition temperature, T$_{C}=3.7$ K was determined from resistance, magnetization, and specific heat measurements. The two critical magnetic fields, the coherence length, Ginzburg-Landau parameter, London penetration depth, the superconducting energy gap, the Debye temperature, the electron-phonon coupling constant and density of states at the Fermi level were calculated. These parameters were obtained at ambient pressure. Under hydrostatic pressure, the magnetic susceptibility measurements show a small increment on T$_{C}$, the maximum T$_{C}=3.83$ K was obtained at the maximum applied pressure of 1.03 GPa. The slope calculated for T$_{C}$ as a linear function of pressure was about 0.14 K/GPa, possibly associated with an increase in the electronic density of states.


title: Spatiotemporal Attacks for Embodied Agents

abstract: Adversarial attacks are valuable for providing insights into the blind-spots of deep learning models and help improve their robustness. Existing work on adversarial attacks have mainly focused on static scenes; however, it remains unclear whether such attacks are effective against embodied agents, which could navigate and interact with a dynamic environment. In this work, we take the first step to study adversarial attacks for embodied agents. In particular, we generate spatiotemporal perturbations to form 3D adversarial examples, which exploit the interaction history in both the temporal and spatial dimensions. Regarding the temporal dimension, since agents make predictions based on historical observations, we develop a trajectory attention module to explore scene view contributions, which further help localize 3D objects appeared with the highest stimuli. By conciliating with clues from the temporal dimension, along the spatial dimension, we adversarially perturb the physical properties (e.g., texture and 3D shape) of the contextual objects that appeared in the most important scene views. Extensive experiments on the EQA-v1 dataset for several embodied tasks in both the white-box and black-box settings have been conducted, which demonstrate that our perturbations have strong attack and generalization abilities.


title: A New Validity Index for Fuzzy-Possibilistic C-Means Clustering

abstract: In some complicated datasets, due to the presence of noisy data points and outliers, cluster validity indices can give conflicting results in determining the optimal number of clusters. This paper presents a new validity index for fuzzy-possibilistic c-means clustering called Fuzzy-Possibilistic (FP) index, which works well in the presence of clusters that vary in shape and density. Moreover, FPCM like most of the clustering algorithms is susceptible to some initial parameters. In this regard, in addition to the number of clusters, FPCM requires a priori selection of the degree of fuzziness and the degree of typicality. Therefore, we presented an efficient procedure for determining their optimal values. The proposed approach has been evaluated using several synthetic and real-world datasets. Final computational results demonstrate the capabilities and reliability of the proposed approach compared with several well-known fuzzy validity indices in the literature. Furthermore, to clarify the ability of the proposed method in real applications, the proposed method is implemented in microarray gene expression data clustering and medical image segmentation.


title: Learning from a Lightweight Teacher for Efficient Knowledge Distillation

abstract: Knowledge Distillation (KD) is an effective framework for compressing deep learning models, realized by a student-teacher paradigm requiring small student networks to mimic the soft target generated by well-trained teachers. However, the teachers are commonly assumed to be complex and need to be trained on the same datasets as students. This leads to a time-consuming training process. The recent study shows vanilla KD plays a similar role as label smoothing and develops teacher-free KD, being efficient and mitigating the issue of learning from heavy teachers. But because teacher-free KD relies on manually-crafted output distributions kept the same for all data instances belonging to the same class, its flexibility and performance are relatively limited. To address the above issues, this paper proposes en efficient knowledge distillation learning framework LW-KD, short for lightweight knowledge distillation. It firstly trains a lightweight teacher network on a synthesized simple dataset, with an adjustable class number equal to that of a target dataset. The teacher then generates soft target whereby an enhanced KD loss could guide student learning, which is a combination of KD loss and adversarial loss for making student output indistinguishable from the output of the teacher. Experiments on several public datasets with different modalities demonstrate LWKD is effective and efficient, showing the rationality of its main design principles.


title: Ergodic maximization problem for expanding maps with differentiable observables

abstract: We show that for an expanding map, the maximizing measures of a generic (open and dense) $C^r$ ($r\in\mathbb{N}$) differentiable functions are supported on a single periodic orbit. [There is a gap in the discussions. For the $C^{\infty}$ approximation of the Lipschitz functions, we can only control the $C^1$ derivative, but we can not control the $C^r$ derivatives for $r\geq2$. Elegant approximation methods might be needed to solve this problem.]


title: Regularization Methods for Generative Adversarial Networks: An Overview of Recent Studies

abstract: Despite its short history, Generative Adversarial Network (GAN) has been extensively studied and used for various tasks, including its original purpose, i.e., synthetic sample generation. However, applying GAN to different data types with diverse neural network architectures has been hindered by its limitation in training, where the model easily diverges. Such a notorious training of GANs is well known and has been addressed in numerous studies. Consequently, in order to make the training of GAN stable, numerous regularization methods have been proposed in recent years. This paper reviews the regularization methods that have been recently introduced, most of which have been published in the last three years. Specifically, we focus on general methods that can be commonly used regardless of neural network architectures. To explore the latest research trends in the regularization for GANs, the methods are classified into several groups by their operation principles, and the differences between the methods are analyzed. Furthermore, to provide practical knowledge of using these methods, we investigate popular methods that have been frequently employed in state-of-the-art GANs. In addition, we discuss the limitations in existing methods and propose future research directions.


title: A Flexible Stochastic Conditional Duration Model

abstract: We introduce a new stochastic duration model for transaction times in asset markets. We argue that widely accepted rules for aggregating seemingly related trades mislead inference pertaining to durations between unrelated trades: while any two trades executed in the same second are probably related, it is extremely unlikely that all such pairs of trades are, in a typical sample. By placing uncertainty about which trades are related within our model, we improve inference for the distribution of durations between unrelated trades, especially near zero. We introduce a normalized conditional distribution for durations between unrelated trades that is both flexible and amenable to shrinkage towards an exponential distribution, which we argue is an appropriate first-order model. Thanks to highly efficient draws of state variables, numerical efficiency of posterior simulation is much higher than in previous studies. In an empirical application, we find that the conditional hazard function for durations between unrelated trades varies much less than what most studies find. We claim that this is because we avoid statistical artifacts that arise from deterministic trade-aggregation rules and unsuitable parametric distributions.


title: MOTS: Multiple Object Tracking for General Categories Based On Few-Shot Method

abstract: Most modern Multi-Object Tracking (MOT) systems typically apply REID-based paradigm to hold a balance between computational efficiency and performance. In the past few years, numerous attempts have been made to perfect the systems. Although they presented favorable performance, they were constrained to track specified category. Drawing on the ideas of few shot method, we pioneered a new multi-target tracking system, named MOTS, which is based on metrics but not limited to track specific category. It contains two stages in series: In the first stage, we design the self-Adaptive-matching module to perform simple targets matching, which can complete 88.76% assignments without sacrificing performance on MOT16 training set. In the second stage, a Fine-match Network was carefully designed for unmatched targets. With a newly built TRACK-REID data-set, the Fine-match Network can perform matching of 31 category targets, even generalizes to unseen categories.


title: Constraining sterile neutrinos by core-collapse supernovae with multiple detectors

abstract: The eV-scale sterile neutrino has been proposed to explain some anomalous results in experiments, \textit{such as} the deficit of reactor neutrino fluxes and the excess of $\bar{\nu}_\mu\to\bar{\nu}_e$ in LSND. This hypothesis can be tested by future core-collapse supernova neutrino detection independently since the active-sterile mixing scheme affects the flavor conversion of neutrinos inside the supernova. In this work, we compute the predicted supernova neutrino events in future detectors -- DUNE, Hyper-K, and JUNO -- for neutrinos emitted during the neutronization burst phase when the luminosity of $\nu_e$ dominates the other flavors. We find that for a supernova occurring within 10 kpc, the difference in the event numbers with and without sterile neutrinos allows to exclude the sterile neutrino hypothesis at more than $99\%$ confidence level robustly. The derived constraints on sterile neutrinos mixing parameters are comparably better than the results from cosmology and on-going or proposed reactor experiments by more than two orders of magnitude in the $\sin^22\theta_{14}$-$\Delta m_{41}^2$ plane.


title: A faster reduction of the dynamic time warping distance to the longest increasing subsequence length

abstract: The similarity between a pair of time series, i.e., sequences of indexed values in time order, is often estimated by the dynamic time warping (DTW) distance, instead of any in the well-studied family of measures including the longest common subsequence (LCS) length and the edit distance. Although it may seem as if the DTW and the LCS(-like) measures are essentially different, we reveal that the DTW distance can be represented by the longest increasing subsequence (LIS) length of a sequence of integers, which is the LCS length between the integer sequence and itself sorted. For a given pair of time series of length $n$ such that the dissimilarity between any elements is an integer between zero and $c$, we propose an integer sequence that represents any substring-substring DTW distance as its band-substring LIS length. The length of the produced integer sequence is $O(c n^2)$, which can be translated to $O(n^2)$ for constant dissimilarity functions. To demonstrate that techniques developed under the LCS(-like) measures are directly applicable to analysis of time series via our reduction of DTW to LIS, we present time-efficient algorithms for DTW-related problems utilizing the semi-local sequence comparison technique developed for LCS-related problems.


title: On Intrinsic Dataset Properties for Adversarial Machine Learning

abstract: Deep neural networks (DNNs) have played a key role in a wide range of machine learning applications. However, DNN classifiers are vulnerable to human-imperceptible adversarial perturbations, which can cause them to misclassify inputs with high confidence. Thus, creating robust DNNs which can defend against malicious examples is critical in applications where security plays a major role. In this paper, we study the effect of intrinsic dataset properties on the performance of adversarial attack and defense methods, testing on five popular image classification datasets - MNIST, Fashion-MNIST, CIFAR10/CIFAR100, and ImageNet. We find that input size and image contrast play key roles in attack and defense success. Our discoveries highlight that dataset design and data preprocessing steps are important to boost the adversarial robustness of DNNs. To our best knowledge, this is the first comprehensive work that studies the effect of intrinsic dataset properties on adversarial machine learning.


title: An in-depth investigation of 11 pulsars discovered by FAST

abstract: We present timing solutions and analyses of 11 pulsars discovered by the Five-hundred-meter Aperture Spherical radio Telescope (FAST). These pulsars were discovered using an ultra-wide bandwidth receiver in drift-scan observations made during the commissioning phase of FAST, and were then confirmed and timed using the 64-m Parkes Radio Telescope. Each pulsar has been observed over a span of at least one year. Highlighted discoveries include PSR J0344-0901, which displays mode-changing behaviour and may belong to the class of so-called `swooshing' pulsars (alongside PSRs B0919+06 and B1859+07); PSR J0803-0942, whose emission is almost completely linearly polarised; and PSRs J1900-0134 and J1945+1211, whose well defined polarisation angle curves place stringent constraints on their emission geometry. We further discuss the detectability of these pulsars by earlier surveys, and highlight lessons learned from our work in carrying out confirmation and monitoring observations of pulsars discovered by a highly sensitive telescope, many of which may be applicable to next-generation pulsar surveys. This paper marks one of the first major releases of FAST-discovered pulsars, and paves the way for future discoveries anticipated from the Commensal Radio Astronomy FAST Survey (CRAFTS).


title: $F$-thresholds and test ideals of Thom-Sebastiani type polynomials

abstract: We provide a formula for $F$-thresholds of a Thom-Sebastiani type polynomial over a perfect field of prime characteristic. This result extends the formula for the $F$-pure threshold of a diagonal hypersurface. We also compute the first test ideal of Thom-Sebastiani type polynomials. Finally, we apply our result to find hypersurfaces where the log canonical thresholds equals the $F$-pure thresholds for infinitely many prime numbers.


title: A Computational Study of Negative Surface Discharges: Characteristics of Surface Streamers and Surface Charges

abstract: We investigate the dynamics of negative surface discharges in air through numerical simulations with a 2D fluid model. A geometry consisting of a flat dielectric embedded between parallel-plate electrodes is used. Compared to negative streamers in bulk gas, negative surface streamers are observed to have a higher electron density, a higher electric field and higher propagation velocity. On the other hand, their maximum electric field and velocity are lower than for positive surface streamers. In our simulations, negative surface streamers are slower for larger relative permittivity. Negative charge accumulates on a dielectric surface when a negative streamer propagates along it, which can lead to a high electric field inside the dielectric. If we initially put negative surface charge on the dielectric, the growth of negative surface discharges is delayed or inhibited. Positive surface charge has the opposite effect.


title: Weibo-COV: A Large-Scale COVID-19 Social Media Dataset from Weibo

abstract: With the rapid development of COVID-19 around the world, people are requested to maintain "social distance" and "stay at home". In this scenario, extensive social interactions transfer to cyberspace, especially on social media platforms like Twitter and Sina Weibo. People generate posts to share information, express opinions and seek help during the pandemic outbreak, and these kinds of data on social media are valuable for studies to prevent COVID-19 transmissions, such as early warning and outbreaks detection. Therefore, in this paper, we release a novel and fine-grained large-scale COVID-19 social media dataset collected from Sina Weibo, named Weibo-COV, contains more than 40 million posts ranging from December 1, 2019 to April 30, 2020. Moreover, this dataset includes comprehensive information nuggets like post-level information, interactive information, location information, and repost network. We hope this dataset can promote studies of COVID-19 from multiple perspectives and enable better and rapid researches to suppress the spread of this pandemic.


title: Human-like general language processing

abstract: Using language makes human beings surpass animals in wisdom. To let machines understand, learn, and use language flexibly, we propose a human-like general language processing (HGLP) architecture, which contains sensorimotor, association, and cognitive systems. The HGLP network learns from easy to hard like a child, understands word meaning by coactivating multimodal neurons, comprehends and generates sentences by real-time constructing a virtual world model, and can express the whole thinking process verbally. HGLP rapidly learned 10+ different tasks including object recognition, sentence comprehension, imagination, attention control, query, inference, motion judgement, mixed arithmetic operation, digit tracing and writing, and human-like iterative thinking process guided by language. Language in the HGLP framework is not matching nor correlation statistics, but a script that can describe and control the imagination.


title: The essential spectrum of periodically-stationary solutions of the complex Ginzburg-Landau equation

abstract: We establish the existence and regularity properties of a monodromy operator for the linearization of the cubic-quintic complex Ginzburg-Landau equation about a periodically-stationary (breather) solution. We derive a formula for the essential spectrum of the monodromy operator in terms of that of the associated asymptotic linear differential operator. This result is obtained using the theory of analytic semigroups under the assumption that the Ginzburg-Landau equation includes a spectral filtering (diffusion) term. We discuss applications to the stability of periodically-stationary pulses in ultrafast fiber lasers.


title: Generalized bioinspired approach to a daytime radiative cooling "skin"

abstract: Energy-saving cooling materials with strong operability are desirable towards sustainable thermal management. Inspired by the cooperative thermo-optical effect in fur of polar bear, we develop a flexible and reusable cooling skin via laminating a polydimethylsiloxane film with a highly-scattering polyethylene aerogel. Owing to its high porosity of 97.9% and tailored pore size of 3.8 +- 1.4 micrometers, superior solar reflectance of 0.96 and high transparency to irradiated thermal energy of 0.8 can be achieved at a thickness of 2.7 mm. Combined with low thermal conductivity of 0.032 W/m/K of the aerogel, the cooling skin exerts midday sub-ambient temperature drops of 5-6 degrees in a metropolitan environment, with an estimated limit of 14 degrees under ideal service conditions. We envision that this generalized bilayer approach will construct a bridge from night-time to daytime radiative cooling and pave the way for economical, scalable, flexible and reusable cooling materials.


title: Transferring Source Style in Non-Parallel Voice Conversion

abstract: Voice conversion (VC) techniques aim to modify speaker identity of an utterance while preserving the underlying linguistic information. Most VC approaches ignore modeling of the speaking style (e.g. emotion and emphasis), which may contain the factors intentionally added by the speaker and should be retained during conversion. This study proposes a sequence-to-sequence based non-parallel VC approach, which has the capability of transferring the speaking style from the source speech to the converted speech by explicitly modeling. Objective evaluation and subjective listening tests show superiority of the proposed VC approach in terms of speech naturalness and speaker similarity of the converted speech. Experiments are also conducted to show the source-style transferability of the proposed approach.


title: Spectropolarimetric follow-up of 8 rapidly rotating, X-ray bright FK Comae candidates

abstract: Our understanding of the evolved, rapidly rotating, magnetically active, and apparently single FK Comae stars is significantly hindered by their extreme rarity: only two stars in addition to FK Com itself are currently considered to be members of this class. Recently, a sample of more than 20 candidate FK Comae type stars was identified within the context of the \emph{Kepler-Swift} Active Galaxies and Stars (KSwAGS) survey. We present an analysis of high-resolution Stokes $V$ observations obtained using ESPaDOnS@CFHT for 8 of these candidates. We found that none of these targets can be considered members of the FK Comae class based primarily on their inferred rotational velocities and on the detection of spectroscopic binary companions. However, 2 targets show evidence of magnetic activity and have anomalously high projected rotational velocities ($v\sin{i}$) relative to typical values associated with stars of similar evolutionary states. EPIC 210426551 has a $v\sin{i}=209\,{\rm km\,s}^{-1}$, an estimated mass of $1.07\,M_\odot$, and, based in part on its derived metallicity of ${\rm [M/H]}=-0.4$, it is either an evolved main sequence (MS) star or a pre-MS star. KIC 7732964 has a mass of $0.84\,M_\odot$, lies near the base of the red giant branch, and exhibits a $v\sin{i}=23\,{\rm km\,s}^{-1}$. We find that these two objects have similar characteristics to FK Com (albeit less extreme) and that their rapid rotation may be inconsistent with that predicted for a single star evolutionary history. Additional observations are necessary in order to better constrain their evolutionary states and whether they have short-period binary companions.


title: A spectral-scaling based extension to the attached eddy model of wall-turbulence

abstract: Two-dimensional (2-D) spectra of the streamwise velocity component, measured at friction Reynolds numbers ranging from 2400 to 26000, are used to refine a model for the logarithmic region of turbulent boundary layers. Here, we focus on the attached eddy model (AEM). The conventional AEM assumes the boundary layer to be populated with hierarchies of self-similar wall-attached ($Type\,A$) eddies alone. While $Type\,A$ eddies represent the dominant energetic large-scale motions at high Reynolds numbers, the scales that are not represented by such eddies are observed to carry a significant proportion of the total kinetic energy. Therefore, in the present study, we propose an extended AEM that incorporates two additional representative eddies. These eddies, named $Type\,C_A$ and $Type\,SS$, represent the self-similar but wall-incoherent low-Reynolds number features, and the non-self-similar wall-coherent superstructures, respectively. The extended AEM is shown to better predict a greater range of energetic length scales and capture the low- and high-Reynolds number scaling trends in the 2-D spectra of all three velocity components. A discussion on spectral self-similarity and the associated $k^{-1}$ scaling law is also presented.


title: Why Are There So Few Women in Physics? Reflections on the Experiences of Two Women

abstract: Some of the reasons for the underrepresentation of women in physics are evident in the reflections of two undergraduate women. Leia is a chemistry major who loves college-level physical chemistry and quantum mechanics but does not identify with the discipline of physics, partly because she has a low level of self-efficacy as a physicist and has received very little recognition for her work and learning in physics. Paulette is a physics major who loves physics but feels isolated by the current physics learning environment. She reluctantly dropped honors introductory lab after being snubbed by her male classmates who partnered with one another, leaving her to work alone. Paulette's experiences with condescending male professors activated a stereotype threat about who can succeed in physics that caused her to disengage in class. We also discuss what these women felt has helped them so far and explore their suggestions for what would help women in physics courses as they pursue their quest for a physical science degree.


title: Restoring Classical Energy Conditions At Microscopic Level

abstract: We propose a mechanism for restoring classical energy conditions at quantized level based on quantum inequalities and quantum interest conjecture. More concretely, we assume for each quantum state in our visible universe to have anti-state trapped at quantum gravity scale (or true vacuum in inflation terminology). The proposed mechanism answers many outstanding questions related to the arrow of time problem, possible interpretation of the weakness of gravity and hierarchy problem, the probabilistic nature of quantum mechanics, matter-antimatter asymmetry. Moreover, the proposed mechanism gives a strong endorsement to inflation as a possible solution of flatness and horizon problems.


title: Retrieving and Highlighting Action with Spatiotemporal Reference

abstract: In this paper, we present a framework that jointly retrieves and spatiotemporally highlights actions in videos by enhancing current deep cross-modal retrieval methods. Our work takes on the novel task of action highlighting, which visualizes where and when actions occur in an untrimmed video setting. Action highlighting is a fine-grained task, compared to conventional action recognition tasks which focus on classification or window-based localization. Leveraging weak supervision from annotated captions, our framework acquires spatiotemporal relevance maps and generates local embeddings which relate to the nouns and verbs in captions. Through experiments, we show that our model generates various maps conditioned on different actions, in which conventional visual reasoning methods only go as far as to show a single deterministic saliency map. Also, our model improves retrieval recall over our baseline without alignment by 2-3% on the MSR-VTT dataset.


title: Well-posedness for a two-dimensional dispersive model arising from capillary-gravity flows

abstract: This paper is aimed to establish well-posedness in several settings for the Cauchy problem associated to a model arising in the study of capillary-gravity flows. More precisely, we determinate local well-posedness conclusions in classical Sobolev spaces and some spaces adapted to the energy of the equation. A key ingredient is a commutator estimate involving the Hilbert transform and fractional derivatives. We also study local well-posedness for the associated periodic initial value problem. Additionally, by determining well-posedness in anisotropic weighted Sobolev spaces as well as some unique continuation principles, we characterize the spatial behavior of solutions of this model. As a further consequence of our results, we derive new conclusions for the Shrira equation which appears in the context of waves in shear flows.


title: Analysis for Allen-Cahn-Ohta-Nakazawa Model in a Ternary System

abstract: In this paper we study the global well-posedness of the Allen-Cahn Ohta-Nakazawa model with two fixed nonlinear volume constraints. Utilizing the gradient flow structure of its free energy, we prove the existence and uniqueness of the solution by following De Giorgi's minimizing movement scheme in a novel way.


abstract: For a set $A$, let $P(A)$ be the set of all finite subset sums of $A$. In this paper, for a sequence of integers $B=\{1<b_1<b_2<\cdots\}$ and $3b_1+5\leq b_2\leq 6b_1+10$, we determine the critical value for $b_3$ such that there exists an infinite sequence $A$ of positive integers for which $P(A)=\mathbb{N}\setminus B$. This result shows that we partially solve the problem of Fang and Fang [`On an inverse problem in additive number theory', Acta Math. Hungar. 158(2019), 36-39].


title: The Pulsation Properties of $\lambda$ Bootis Stars I. The Southern TESS Sample

abstract: We analyse TESS light curves for 70 southern $\lambda$ Boo stars to identify binaries and to determine which of them pulsate as $\delta$ Scuti stars. We find two heartbeat stars and two eclipsing binaries among the sample. We calculate that 81 percent of $\lambda$ Boo stars pulsate as $\delta$ Sct variables, which is about twice that of normal stars over the same parameter space. We determine the temperatures and luminosities of the $\lambda$ Boo stars from photometry and Gaia DR2 parallaxes. A subset of 40 $\lambda$ Boo stars have 2-min TESS data, reliable temperatures and luminosities, and $\delta$ Sct pulsation. We use Petersen diagrams (period ratios), \'echelle diagrams and the period--luminosity relation to identify the fundamental mode in 20 of those 40 stars and conclude that a further 8 stars are not pulsating in this mode. For the remaining 12, the fundamental mode cannot be unambiguously identified. Further mode identification is possible for 12 of the fundamental mode pulsators that have regular sequences of pulsation overtones in their \'echelle diagrams. We use stellar evolution models to determine statistically that the $\lambda$ Boo stars are only superficially metal weak. Simple pulsation models also better fit the observations at a metallicity of $Z=0.01$ than at $Z=0.001$. The TESS observations reveal the great potential of asteroseismology on $\lambda$ Boo stars, for determining precise stellar ages and shedding light on the origin(s) of the $\lambda$ Boo phenomenon.


title: General state transitions with exact resource morphisms: a unified resource-theoretic approach

abstract: Given a non-empty closed convex subset $\mathsf{F}$ of density matrices, we formulate conditions that guarantee the existence of an $\mathsf{F}$-morphism (namely, a completely positive trace-preserving linear map that maps $\mathsf{F}$ into itself) between two arbitrarily chosen density matrices. While we allow errors in the transition, the corresponding map is required to be an exact $\mathsf{F}$-morphism. Our findings, though purely geometrical, are formulated in a resource-theoretic language and provide a common framework that comprises various resource theories, including the resource theories of bipartite and multipartite entanglement, coherence, athermality, and asymmetric distinguishability. We show how, when specialized to some situations of physical interest, our general results are able to unify and extend previous analyses. We also study conditions for the existence of maximally resourceful states, defined here as density matrices from which any other one can be obtained by means of a suitable $\mathsf{F}$-morphism. Moreover, we quantitatively characterize the paradigmatic tasks of optimal resource dilution and distillation, as special transitions in which one of the two endpoints is maximally resourceful.


title: Evidence for a rapid decrease in Pluto's atmospheric pressure revealed by a stellar occultation in 2019

abstract: We report observations of a stellar occultation by Pluto on 2019 July 17. A single-chord high-speed (time resolution $= 2\,$s) photometry dataset was obtained with a CMOS camera mounted on the Tohoku University 60 cm telescope (Haleakala, Hawaii). The occultation light curve is satisfactorily fitted to an existing Pluto's atmospheric model. We find the lowest pressure value at a reference radius of $r = 1215~{\rm km}$ among those reported after 2012, indicating a possible rapid (approximately $21^{+4}_{-5} \%$ of the previous value) pressure drop between 2016 (the latest reported estimate) and 2019. However, this drop is detected at a $2.4\sigma$ level only and still requires confirmation from future observations. If real, this trend is opposite to the monotonic increase of Pluto's atmospheric pressure reported by previous studies. The observed decrease trend is possibly caused by ongoing ${\rm N_2}$ condensation processes in the Sputnik Planitia glacier associated with an orbitally driven decline of solar insolation, as predicted by previous theoretical models. However, the observed amplitude of the pressure decrease is larger than the model predictions.


title: Transient behaviour towards the stable limit cycle in the Selkov model of Glycolysis: A physiological disorder

abstract: A simplified model for the complex glycolytic process was historically proposed by Selkov. It showed the existence of stable limit cycle as an example of Poincare-Bendixson theorem. This limit cycle is nothing but the time eliminated Lissajous plot of the concentrations of Adenosine-diphosphate (ADP) and Fructose-6-phosphate (F6P) of a normal/healthy human. Deviation from this limit cycle is equivalent to the deviation of normal physiological behaviour. It is very important to know how long a human body will take to reach the glycolytic stable limit cycle, if deviated from it. However, till now the convergence time, depending upon different initial parameter values, was not studied in detail. This may have great importance in understanding the recovery time for a diseased individual deviated from normal cycle. Here the convergence time for different initial conditions has been calculated in original Selkov model. It is observed that convergence time, as a function of the distance from the limit cycle, gets saturated away from the cycle. This result seems to be a physiological disorder. A possible mathematical way to incorporate this in the Selkov model, has been proposed.

categories: q-bio.QM cond-mat.soft nlin.AO physics.bio-ph


title: Non-ideal gas dynamics under confinement: rarefaction effect, dense effect and molecular interaction

abstract: The effects of volume exclusion and long-range intermolecular attraction are investigated by the simplified kinetic model for surface-confined inhomogeneous fluids. Gas dynamics of the ideal gas, the hard-sphere fluid and the real gas are simulated by the Boltzmann equation, the Enskog equation and the simple kinetic equation, respectively. Only the Knudsen minimum appears for the ideal gas, while both the Knudsen minimum and the Knudsen maximum occur for the hard-sphere fluid and the real gas under certain confinements, beyond which the maximum and minimum may disappear. The Boltzmann equation and the Enskog equation overestimates and underestimates the mass flow rate of the real gas dynamics under confinement, respectively, where the volume exclusion and the long-range intermolecular attractive potential among molecules are not ignorable. With the increase of the channel width, gas dynamics of the hard-sphere fluid and the real gas tends to the Boltzmann prediction gradually. The density inhomogeneity, which hinders the flow under confinement, is more obvious when the solid fraction is larger. The anomalous slip occurs for real gas under constant confinement. The flow at a smaller Knudsen number (larger solid fraction or channel width) contributes more practical amount of mass transfer, although the rarefaction effects is more prominent at larger Knudsen numbers. The temperature has no effect on density and velocity profiles of the ideal gas and the hard-sphere fluid, but the energy parameter among the real gas molecules decreases with the increasing temperature and the real gas dynamics tends to the hard-sphere ones consequently.


title: A Version of H\"ormander's Theorem for Markovian Rough Paths

abstract: We consider a rough differential equation of the form \(dY_t=\sum_i V_i(Y_t)d\boldsymbol{X}^i_t+V_0(Y_t)dt \), where \(\boldsymbol{X}_t \) is a Markovian rough path. We demonstrate that if the vector fields \((V_i)_{0\leq i\leq d} \) satisfy H\"ormander's bracket generating condition, then \(Y_t\) admits a smooth density with a Gaussian type upper bound, given that the generator of \(X_t\) satisfy certain non-degenerate conditions. The main new ingredient of this paper is the study of non-degenerate property of the Jacobian process of \(X_t\).


title: The Rectangular Peg Problem

abstract: For every smooth Jordan curve $\gamma$ and rectangle $R$ in the Euclidean plane, we show that there exists a rectangle similar to $R$ whose vertices lie on $\gamma$. The proof relies on Shevchishin's theorem that the Klein bottle does not admit a smooth Lagrangian embedding in $\mathbb{C}^2$.


title: A Riemannian Primal-dual Algorithm Based on Proximal Operator and its Application in Metric Learning

abstract: In this paper, we consider optimizing a smooth, convex, lower semicontinuous function in Riemannian space with constraints. To solve the problem, we first convert it to a dual problem and then propose a general primal-dual algorithm to optimize the primal and dual variables iteratively. In each optimization iteration, we employ a proximal operator to search optimal solution in the primal space. We prove convergence of the proposed algorithm and show its non-asymptotic convergence rate. By utilizing the proposed primal-dual optimization technique, we propose a novel metric learning algorithm which learns an optimal feature transformation matrix in the Riemannian space of positive definite matrices. Preliminary experimental results on an optimal fund selection problem in fund of funds (FOF) management for quantitative investment showed its efficacy.


title: Riemannian Proximal Policy Optimization

abstract: In this paper, We propose a general Riemannian proximal optimization algorithm with guaranteed convergence to solve Markov decision process (MDP) problems. To model policy functions in MDP, we employ Gaussian mixture model (GMM) and formulate it as a nonconvex optimization problem in the Riemannian space of positive semidefinite matrices. For two given policy functions, we also provide its lower bound on policy improvement by using bounds derived from the Wasserstein distance of GMMs. Preliminary experiments show the efficacy of our proposed Riemannian proximal policy optimization algorithm.


title: A new uniform lower bound on Weil-Petersson distance

abstract: In this paper we study the injectivity radius based at a fixed point along Weil-Petersson geodesics. We show that the square root of the injectivity radius based at a fixed point is $ 0.3884$-Lipschitz on Teichm\"uller space endowed with the Weil-Petersson metric. As an application we reprove that the square root of the systole function is uniformly Lipschitz on Teichm\"uller space endowed with the Weil-Petersson metric, where the Lipschitz constant can be chosen to be $0.5492$. Applications to asymptotic geometry of moduli space of Riemann surfaces for large genus will also be discussed.


title: Achievable Rate Region of MISO Interference Channel Aided by Intelligent Reflecting Surface

abstract: This paper investigates the achievable rate region of the multiple-input single-output (MISO) interference channel aided by intelligent reflecting surfaces (IRSs). We exploit the the additional design degree of freedom provided by the coordinated IRSs to enhance the desired signal and suppress interference so as to enlarge the achievable rate region of the interference channel. To this end, we jointly optimize the active transmit beamforming at the transmitters and passive reflective beamforming at the IRSs, subject to the constant modulus constraints of reflective beamforming vectors. To address the non-convex optimization problem, we propose an iterative algorithm to optimize the transmit beamforming via second-order cone program (SOCP) and the reflective beamforming via the semi-definite relaxation (SDR). Numerical results demonstrate that the performance of the IRS-aided interference channel with the proposed algorithm can significantly outperform the conventional interference channel without IRS.


title: Quantifying the Uncertainty of Precision Estimates for Rule based Text Classifiers

abstract: Rule based classifiers that use the presence and absence of key sub-strings to make classification decisions have a natural mechanism for quantifying the uncertainty of their precision. For a binary classifier, the key insight is to treat partitions of the sub-string set induced by the documents as Bernoulli random variables. The mean value of each random variable is an estimate of the classifier's precision when presented with a document inducing that partition. These means can be compared, using standard statistical tests, to a desired or expected classifier precision. A set of binary classifiers can be combined into a single, multi-label classifier by an application of the Dempster-Shafer theory of evidence. The utility of this approach is demonstrated with a benchmark problem.


title: FrameProv: Towards End-To-End Video Provenance

abstract: Video feeds are often deliberately used as evidence, as in the case of CCTV footage; but more often than not, the existence of footage of a supposed event is perceived as proof of fact in the eyes of the public at large. This reliance represents a societal vulnerability given the existence of easy-to-use editing tools and means to fabricate entire video feeds using machine learning. And, as the recent barrage of fake news and fake porn videos have shown, this isn't merely an academic concern, it is actively been exploited. I posit that this exploitation is only going to get more insidious. In this position paper, I introduce a long term project that aims to mitigate some of the most egregious forms of manipulation by embedding trustworthy components in the video transmission chain. Unlike earlier works, I am not aiming to do tamper detection or other forms of forensics -- approaches I think are bound to fail in the face of the reality of necessary editing and compression -- instead, the aim here is to provide a way for the video publisher to prove the integrity of the video feed as well as make explicit any edits they may have performed. To do this, I present a novel data structure, a video-edit specification language and supporting infrastructure that provides end-to-end video provenance, from the camera sensor to the viewer. I have implemented a prototype of this system and am in talks with journalists and video editors to discuss the best ways forward with introducing this idea to the mainstream.


title: Atss-Net: Target Speaker Separation via Attention-based Neural Network

abstract: Recently, Convolutional Neural Network (CNN) and Long short-term memory (LSTM) based models have been introduced to deep learning-based target speaker separation. In this paper, we propose an Attention-based neural network (Atss-Net) in the spectrogram domain for the task. It allows the network to compute the correlation between each feature parallelly, and using shallower layers to extract more features, compared with the CNN-LSTM architecture. Experimental results show that our Atss-Net yields better performance than the VoiceFilter, although it only contains half of the parameters. Furthermore, our proposed model also demonstrates promising performance in speech enhancement.


title: On a subset sums problem of Chen and Wu

abstract: For a set $A$, let $P(A)$ be the set of all finite subset sums of $A$. We prove that if a sequence $B=\{11\leq b_1<b_2<\cdots\}$ satisfies $b_2=3b_1+5$, $b_3=3b_2+2$ and $b_{n+1}=3b_n+4b_{n-1}$ for all $n\geq 3$, then there is a sequence of positive integers $A=\{a_1<a_2<\cdots\}$ such that $P(A)=\mathbb{N}\setminus B$. This result shows that the answer to the problem of Chen and Wu [`The inverse problem on subset sums', European. J. Combin. 34(2013), 841-845] is negative.


title: Multi-modal Sensor Fusion-Based Deep Neural Network for End-to-end Autonomous Driving with Scene Understanding

abstract: This study aims to improve the performance and generalization capability of end-to-end autonomous driving with scene understanding leveraging deep learning and multimodal sensor fusion techniques. The designed end-to-end deep neural network takes as input the visual image and associated depth information in an early fusion level and outputs the pixel-wise semantic segmentation as scene understanding and vehicle control commands concurrently. The end-to-end deep learning-based autonomous driving model is tested in high-fidelity simulated urban driving conditions and compared with the benchmark of CoRL2017 and NoCrash. The testing results show that the proposed approach is of better performance and generalization ability, achieving a 100% success rate in static navigation tasks in both training and unobserved situations, as well as better success rates in other tasks than the prior models. A further ablation study shows that the model with the removal of multimodal sensor fusion or scene understanding pales in the new environment because of the false perception. The results verify that the performance of our model is improved by the synergy of multimodal sensor fusion with scene understanding subtask, demonstrating the feasibility and effectiveness of the developed deep neural network with multimodal sensor fusion.


title: Properties of a nematic spin vortex in an antiferromagnetic spin-1 Bose-Einstein condensate

abstract: A spin-1 condensate with antiferromagnetic interactions supports nematic spin vortices in the easy-plane polar phase. These vortices have a $2\pi$ winding of the nematic director, with a core structure that depends on the quadratic Zeeman energy. We characterize the properties of the nematic spin vortex in a uniform quasi-two-dimensional system. We also obtain the vortex excitation spectrum and use it to quantify its stability against dissociating into two half-quantum vortices, finding a parameter regime where the nematic spin vortex is dynamically stable. These results are supported by full dynamical simulations.


title: Characterization of complementing pairs of $({\mathbb Z}_{\geq 0})^n$

abstract: Let $A, B, C$ be subsets of an abelian group $G$. A pair $(A, B)$ is called a $C$-pair if $A, B\subset C$ and $C$ is the direct sum of $A$ and $B$. The $(\Z_{\geq 0})$-pairs are characterized by de Bruijn in 1950 and the $(\Z_{\geq 0})^2$-pairs are characterized by Niven in 1971. In this paper, we characterize the $(\Z_{\geq 0})^n$-pairs for all $n\geq 1$. We show that every $(\Z_{\geq 0})^n$-pair is characterized by a weighted tree if it is primitive, that is, it is not a Cartesian product of a $(\Z_{\geq 0})^p$-pair and a $(\Z_{\geq 0})^q$-pair of lower dimensions.


title: Distance matrices of subsets of the Hamming cube

abstract: Graham and Winkler derived a formula for the determinant of the distance matrix of a full-dimensional set of $n + 1$ points $\{ x_{0}, x_{1}, \ldots , x_{n} \}$ in the Hamming cube $H_{n} = ( \{ 0,1 \}^{n}, \ell_{1} )$. In this article we derive a formula for the determinant of the distance matrix $D$ of an arbitrary set of $m + 1$ points $\{ x_{0}, x_{1}, \ldots , x_{m} \}$ in $H_{n}$. It follows from this more general formula that $\det (D) \not= 0$ if and only if the vectors $x_{0}, x_{1}, \ldots , x_{m}$ are affinely independent. Specializing to the case $m = n$ provides new insights into the original formula of Graham and Winkler. A significant difference that arises between the cases $m < n$ and $m = n$ is noted. We also show that if $D$ is the distance matrix of an unweighted tree on $n + 1$ vertices, then $\langle D^{-1} \mathbf{1}, \mathbf{1} \rangle = 2/n$ where $\mathbf{1}$ is the column vector all of whose coordinates are $1$. Finally, we derive a new proof of Murugan's classification of the subsets of $H_{n}$ that have strict $1$-negative type.


title: Thermal conductivity of graphene isotope superlattices

abstract: Graphene has a high intrinsic thermal conductivity and a high electron mobility. The thermal conductivity of graphene can be significantly reduced when different carbon isotopes are mixed, which can enhance the performance of thermoelectric devices. Here we compare the thermal conductivities of isotopic c12/c13 random mixes with isotope superlattices with periods ranging from 46 to 225 nm. Raman Opto-Thermal conductivity measurements of these superlattice structures show an approximately 50% reduction in thermal conductivity compared to pristine c12 graphene. This average reduction is similar to the random isotope mix. The reduction of the thermal conductivity in the superlattice is well described by a model of pristine graphene and an additional quasi-one dimensional periodic interfacial thermal resistance of (2.5\pm 0.5)\times 10^{-11} m^2 K/W for the c12/c13 boundary. This is consistent with a large anisotropic thermal conductivity in the superlattice, where the thermal conductivity depends on the orientation of the c12/c13 boundary.


title: Table Search Using a Deep Contextualized Language Model

abstract: Pretrained contextualized language models such as BERT have achieved impressive results on various natural language processing benchmarks. Benefiting from multiple pretraining tasks and large scale training corpora, pretrained models can capture complex syntactic word relations. In this paper, we use the deep contextualized language model BERT for the task of ad hoc table retrieval. We investigate how to encode table content considering the table structure and input length limit of BERT. We also propose an approach that incorporates features from prior literature on table retrieval and jointly trains them with BERT. In experiments on public datasets, we show that our best approach can outperform the previous state-of-the-art method and BERT baselines with a large margin under different evaluation metrics.


title: Lazarsfeld-Mukai bundles on K3 surfaces associated to a pencil computing Clifford index

abstract: Let $X$ be a smooth projective K3 surface over complex numbers and $C$ be an ample curve on $X$. In this paper we will study the semistability of the Lazarsfeld-Mukai bundle $E_{C, A}$ associated to a line bundle $A$ ion $C$ such that $|A|$ is a pencil on $C$ and computes the Clifford index of $C$. We give a necessary and sufficient condition for $E_{C, A}$ being semistable.