title: Photometric redshift estimates using Bayesian neural networks in the CSST survey

abstract: Galaxy photometric redshift (photo-$z$) is crucial in cosmological studies, such as weak gravitational lensing and galaxy angular clustering measurements. In this work, we try to extract photo-$z$ information and construct its probability distribution function (PDF) using the Bayesian neural networks (BNN) from both galaxy flux and image data expected to be obtained by the China Space Station Telescope (CSST). The mock galaxy images are generated from the Advanced Camera for Surveys of Hubble Space Telescope ($HST$-ACS) and COSMOS catalog, in which the CSST instrumental effects are carefully considered. And the galaxy flux data are measured from galaxy images using aperture photometry. We construct Bayesian multilayer perceptron (B-MLP) and Bayesian convolutional neural network (B-CNN) to predict photo-$z$ along with the PDFs from fluxes and images, respectively. We combine the B-MLP and B-CNN together, and construct a hybrid network and employ the transfer learning techniques to investigate the improvement of including both flux and image data. For galaxy samples with SNR$>$10 in $g$ or $i$ band, we find the accuracy and outlier fraction of photo-$z$ can achieve $\sigma_{\rm NMAD}=0.022$ and $\eta=2.35\%$ for the B-MLP using flux data only, and $\sigma_{\rm NMAD}=0.022$ and $\eta=1.32\%$ for the B-CNN using image data only. The Bayesian hybrid network can achieve $\sigma_{\rm NMAD}=0.021$ and $\eta=1.23\%$, and utilizing transfer learning technique can improve results to $\sigma_{\rm NMAD}=0.019$ and $\eta=1.17\%$, which can provide the most confident predictions with the lowest average uncertainty.


title: Graph Condensation via Receptive Field Distribution Matching

abstract: Graph neural networks (GNNs) enable the analysis of graphs using deep learning, with promising results in capturing structured information in graphs. This paper focuses on creating a small graph to represent the original graph, so that GNNs trained on the size-reduced graph can make accurate predictions. We view the original graph as a distribution of receptive fields and aim to synthesize a small graph whose receptive fields share a similar distribution. Thus, we propose Graph Condesation via Receptive Field Distribution Matching (GCDM), which is accomplished by optimizing the synthetic graph through the use of a distribution matching loss quantified by maximum mean discrepancy (MMD). Additionally, we demonstrate that the synthetic graph generated by GCDM is highly generalizable to a variety of models in evaluation phase and that the condensing speed is significantly improved using this framework.


title: Neutral silicon vacancy centers in undoped diamond via surface control

abstract: Neutral silicon vacancy centers (SiV0) in diamond are promising candidates for quantum networks because of their long spin coherence times and stable, narrow optical transitions. However, stabilizing SiV0 requires high purity, boron doped diamond, which is not a readily available material. Here, we demonstrate an alternative approach via chemical control of the diamond surface. We use low-damage chemical processing and annealing in a hydrogen environment to realize reversible and highly stable charge state tuning in undoped diamond. The resulting SiV0 centers display optically detected magnetic resonance and bulk-like optical properties. Controlling the charge state tuning via surface termination offers a route for scalable technologies based on SiV0 centers, as well as charge state engineering of other defects.


title: Magnetic molecular orbitals in MnSi

abstract: A large body of knowledge about magnetism is attained from models of interacting spins, which usually reside on magnetic ions. Proposals beyond the ionic picture are uncommon and seldom verified by direct observations in conjunction with microscopic theory. Here, using inelastic neutron scattering to study the itinerant near-ferromagnet MnSi, we find that the system's fundamental magnetic units are interconnected, extended molecular orbitals consisting of three Mn atoms each, rather than individual Mn atoms. This result is further corroborated by magnetic Wannier orbitals obtained by ab initio calculations. It contrasts the ionic picture with a concrete example, and presents a novel regime of the spin waves where the wavelength is comparable to the spatial extent of the molecular orbitals. Our discovery brings important insights into not only the magnetism of MnSi, but also a broad range of magnetic quantum materials where structural symmetry, electron itinerancy and correlations act in concert.


title: Domain Agnostic Few-shot Learning for Speaker Verification

abstract: Deep learning models for verification systems often fail to generalize to new users and new environments, even though they learn highly discriminative features. To address this problem, we propose a few-shot domain generalization framework that learns to tackle distribution shift for new users and new domains. Our framework consists of domain-specific and domain-aggregation networks, which are the experts on specific and combined domains, respectively. By using these networks, we generate episodes that mimic the presence of both novel users and novel domains in the training phase to eventually produce better generalization. To save memory, we reduce the number of domain-specific networks by clustering similar domains together. Upon extensive evaluation on artificially generated noise domains, we can explicitly show generalization ability of our framework. In addition, we apply our proposed methods to the existing competitive architecture on the standard benchmark, which shows further performance improvements.


title: On the relative Morrison-Kawamata cone conjecture

abstract: We relate the Morrison-Kawamata cone conjecture for Calabi-Yau fiber spaces to the existence of Shokurov polytopes. For K3 fibrations, the existence of (weak) fundamental domains for movable cones is established. The relationship between the relative cone conjecture and the cone conjecture for its geometric or generic fibers is studied.


title: Translucency and negative temperature-dependence for the slip length of water on graphene

abstract: Carbonous materials, such as graphene and carbon nanotube, have attracted tremendous attention in the fields of nanofluidics due to the slip at the interface between solid and liquid. The dependence of slip length for water on the types of supporting substrates and thickness of carbonous layer, which is critical for applications such as sustainable cooling of electronic devices, remains unknown. In this paper, using colloidal probe atomic force microscope, we measured the slip length of water on graphene ls supported by hydrophilic and hydrophobic substrates, i.e., SiO2 and octadecyltrimethoxysilane (OTS). The ls on single-layer graphene supported by SiO2 is found to be 1.6~1.9 nm, and by OTS is 8.5~0.9 nm. With the thickness of few-layer graphene increases to 3~4 layers, both ls gradually converge to the value of graphite (4.3~3.5 nm). Such thickness dependence is termed slip length translucency. Further, ls is found to decrease by about 70% with the temperature increases from 300 K to 350 K for 2-layer graphene supported by SiO2. These observations are explained by analysis based on Green-Kubo relation and McLachlan theory. Our results provide the first set of reference values for the slip length of water on supported few-layer graphene. They can not only serve as a direct experimental reference for solid-liquid interaction, but also provide guideline for the design of nanofluidics-based devices, for example the thermo-mechanical nanofluidic devices.


title: Kwame for Science: An AI Teaching Assistant Based on Sentence-BERT for Science Education in West Africa

abstract: Africa has a high student-to-teacher ratio which limits students' access to teachers. Consequently, students struggle to get answers to their questions. In this work, we extended Kwame, our previous AI teaching assistant, adapted it for science education, and deployed it as a web app. Kwame for Science answers questions of students based on the Integrated Science subject of the West African Senior Secondary Certificate Examination (WASSCE). Kwame for Science is a Sentence-BERT-based question-answering web app that displays 3 paragraphs as answers along with a confidence score in response to science questions. Additionally, it displays the top 5 related past exam questions and their answers in addition to the 3 paragraphs. Our preliminary evaluation of the Kwame for Science with a 2.5-week real-world deployment showed a top 3 accuracy of 87.5% (n=56) with 190 users across 11 countries. Kwame for Science will enable the delivery of scalable, cost-effective, and quality remote education to millions of people across Africa.


title: Involuntary Stabilization in Discrete-Event Physical Human-Robot Interaction

abstract: Robots are used by humans not only as tools but also to interactively assist and cooperate with humans, thereby forming physical human-robot interactions. In these interactions, there is a risk that a feedback loop causes unstable force interaction, in which force escalation exposes a human to danger. Previous studies have analyzed the stability of voluntary interaction but have neglected involuntary behavior in the interaction. In contrast to the previous studies, this study considered the involuntary behavior: a human's force reproduction bias for discrete-event human-robot force interaction. We derived an asymptotic stability condition based on a mathematical bias model and found that the bias asymptotically stabilizes a human's implicit equilibrium point far from the implicit equilibrium point and destabilizes the point near the point. The bias model, convergence of the interaction toward the implicit equilibrium point, and divergence around the point were consistently verified via behavioral experiments under three kinds of interactions using three different body parts: a hand finger, wrist, and foot. Our results imply that humans implicitly secure a stable and close relationship between themselves and robots with their involuntary behavior.


title: Appearance of an Infalling Star in Black Holes with Multiple Photon Spheres

abstract: Photon spheres play a pivotal role in the imaging of luminous objects near black holes. In this paper, we examine observational appearances of a star freely falling in hairy black holes, which can possess one or two photon spheres outside the event horizon. When there exists a single photon sphere, the total luminosity measured by distant observers decreases exponentially with time at late times. Due to successive arrivals of photons orbiting around the photon sphere different times, a specific observer would see a series of light flashes with decreasing intensity, which share a similar frequency content. Whereas in the case with two photon spheres, photons temporarily trapped between the photon spheres can cause a peak of the total luminosity, which is followed by a slow exponential decay, at late times. In addition, these photons lead to one more series of light flashes seen by the specific observer.


title: Chiral Assemblies of Pinwheel Superlattices on Substrates

abstract: The unique topology and physics of chiral superlattices make their self-assembly from nanoparticles a holy grail for (meta)materials. Here we show that tetrahedral gold nanoparticles can spontaneously transform from a perovskite-like low-density phase with corner-to-corner connections into pinwheel assemblies with corner-to-edge connections and denser packing. While the corner-sharing assemblies are achiral, pinwheel superlattices become strongly mirror-asymmetric on solid substrates as demonstrated by chirality measures. Liquid-phase transmission electron microscopy and computational models show that van der Waals and electrostatic interactions between nanoparticles control thermodynamic equilibrium. Variable corner-to-edge connections among tetrahedra enable fine-tuning of chirality. The domains of the bilayer superlattices display strong chiroptical activity identified by photon-induced near-field electron microscopy and finite-difference time-domain simulations. The simplicity and versatility of the substrate-supported chiral superlattices facilitate manufacturing of metastructured coatings with unusual optical, mechanical and electronic characteristics.


title: Third Hankel Determinant For A Class Of Starlike Functions Associated With Exponential Function

abstract: Recently, the subclass of starlike functions associated with exponential function $e^z$, given by ${S}^*_e = \{f(z)\in {S}:{zf'(z)}/{f(z)} \prec e^z, (z\in \mathbb{D}) \}$ was introduced and studied by Mendiratta $et$ $al.$ ~\cite{mendiratta2015subclass}. In this article, we obtain sharp bound for third Hankel determinant for the class $S_e^\ast$, by improving the already known results, in this direction. In our methodology, we use the newly obtained expression for the fourth coefficient of Carath\'{e}odory functions.


title: Personalized Keyword Spotting through Multi-task Learning

abstract: Keyword spotting (KWS) plays an essential role in enabling speech-based user interaction on smart devices, and conventional KWS (C-KWS) approaches have concentrated on detecting user-agnostic pre-defined keywords. However, in practice, most user interactions come from target users enrolled in the device which motivates to construct personalized keyword spotting. We design two personalized KWS tasks; (1) Target user Biased KWS (TB-KWS) and (2) Target user Only KWS (TO-KWS). To solve the tasks, we propose personalized keyword spotting through multi-task learning (PK-MTL) that consists of multi-task learning and task-adaptation. First, we introduce applying multi-task learning on keyword spotting and speaker verification to leverage user information to the keyword spotting system. Next, we design task-specific scoring functions to adapt to the personalized KWS tasks thoroughly. We evaluate our framework on conventional and personalized scenarios, and the results show that PK-MTL can dramatically reduce the false alarm rate, especially in various practical scenarios.


title: A Left passage explorer model

abstract: This is a short note describing a model generalizing the Harmonic explorer [6] that might be of interest and it is $\textit{not}$ intended for publication in a journal. The conjectured continuous model should have the same left-passage probability as SLE_$k$ but possibly be a different curve.


title: Concealing Dirac neutrinos from cosmic microwave background

abstract: The existence of prolonged radiation domination prior to the Big Bang Nucleosynthesis (BBN), starting just after the inflationary epoch, is not yet established unanimously. If instead, the universe undergoes a non-standard cosmological phase, it will alter the Hubble expansion rate significantly and may also generate substantial entropy through non-adiabatic evolution. This leads to a thumping impact on the properties of relic species decoupled from the thermal bath before the revival of the standard radiation domination in the vicinity of the BBN. In this work, considering the Dirac nature of neutrinos, we have studied decoupling of ultra-relativistic right-handed neutrinos ($\nu_R$s) in presence of two possible non-standard cosmological phases. While in both cases we have modified Hubble parameters causing faster expansions in the early universe, one of the situations predicts a non-adiabatic evolution and thereby a slower redshift of the photon temperature due to the expansion. Considering the most general form of the collision term with Fermi-Dirac distribution and Pauli blocking factors, we have solved the Boltzmann equation numerically to obtain $\Delta{\rm N}_{\rm eff}$ for the three right-handed neutrinos. We have found that for a large portion of parameter space, the combined effect of early decoupling of $\nu_R$ as well as the slower redshift of photon bath can easily hide the signature of right-handed neutrinos, in spite of precise measurement of $\Delta{\rm N}_{\rm eff}$, at the next generation CMB experiments like CMB-S4, SPT-3G etc. This however will not be applicable for the scenarios with only fast expansion.


title: A small generating set for the balanced superelliptic handlebody group

abstract: The balanced superelliptic handlebody group is the normalizer of the transformation group of the balanced superelliptic covering space in the handlebody group of the total space. We prove that the balanced superelliptic mapping class group is generated by four elements. To prove this, we also proved that the liftable Hilden group is generated by three elements. This generating set for the liftable Hilden group is minimal except for some hyperelliptic cases and the generating set for the balanced superelliptic mapping class group above is also minimal for several cases.


title: A quantum thin shell surrounding a Black Hole

abstract: In a previous work we obtained exact solutions for the proper time quantum mechanics of a thin dust shell, collapsing in a vacuum. We extend these results to the quantum collapse of a dust shell surrounding a pre-existing black hole. In lieu of exact solutions, which have so far proved difficult to obtain for this system, we establish the essential features of the quantum shell through a Wentzel-Kramers-Brillouin (WKB) approximation, which is valid only when the mass of the shell is much greater than the Planck mass. There are many similarities with the vacuum collapse: only bound states exist and the proper energy spectrum of the shell is unaffected by the presence of the central black hole to this order. There are no peculiar or distinguishing features of the wave function near the black hole horizon. It vanishes at the center and oscillates between the origin and the classically forbidden region, beyond which it decays exponentially.


title: Strongly damped wave equations with mass-like terms of the logarithmic-Laplacian

abstract: We consider strongly damped wave equations with logarithmic mass-like terms with a parameter $\theta \in (0; 1]$. This research is a part of a series of wave equations that was initiated by Char\~ao-Ikehata [6], Char\~ao-D'Abbicco-Ikehata considered in [5] depending on a parameter $\theta \in (1/2,1)$ and Piske- Char\~ao-Ikehata [26] for small parameter $\theta \in (0,1/2)$. We derive a leading term (as time goes to infinity) of the solution, and by using it, a growth and a decay property of the solution itself can be precisely studied in terms of L^2-norm. An interesting aspect appears in the case of n = 1, roughly speaking, a small $\theta$ produces a diffusive property, and a large $\theta$ gives a kind of singularity, expressed by growth rates.


title: Generalized Policy Improvement Algorithms with Theoretically Supported Sample Reuse

abstract: Data-driven, learning-based control methods offer the potential to improve operations in complex systems, and model-free deep reinforcement learning represents a popular approach to data-driven control. However, existing classes of algorithms present a trade-off between two important deployment requirements for real-world control: (i) practical performance guarantees and (ii) data efficiency. Off-policy algorithms make efficient use of data through sample reuse but lack theoretical guarantees, while on-policy algorithms guarantee approximate policy improvement throughout training but suffer from high sample complexity. In order to balance these competing goals, we develop a class of Generalized Policy Improvement algorithms that combines the policy improvement guarantees of on-policy methods with the efficiency of sample reuse. We demonstrate the benefits of this new class of algorithms through extensive experimental analysis on a variety of continuous control tasks from the DeepMind Control Suite.


title: Split Two-Tower Model for Efficient and Privacy-Preserving Cross-device Federated Recommendation

abstract: Federated Recommendation can mitigate the systematical privacy risks of traditional recommendation since it allows the model training and online inferring without centralized user data collection. Most existing works assume that all user devices are available and adequate to participate in the Federated Learning. However, in practice, the complex recommendation models designed for accurate prediction and massive item data cause a high computation and communication cost to the resource-constrained user device, resulting in poor performance or training failure. Therefore, how to effectively compress the computation and communication overhead to achieve efficient federated recommendations across ubiquitous mobile devices remains a significant challenge. This paper introduces split learning into the two-tower recommendation models and proposes STTFedRec, a privacy-preserving and efficient cross-device federated recommendation framework. STTFedRec achieves local computation reduction by splitting the training and computation of the item model from user devices to a performance-powered server. The server with the item model provides low-dimensional item embeddings instead of raw item data to the user devices for local training and online inferring, achieving server broadcast compression. The user devices only need to perform similarity calculations with cached user embeddings to achieve efficient online inferring. We also propose an obfuscated item request strategy and multi-party circular secret sharing chain to enhance the privacy protection of model training. The experiments conducted on two public datasets demonstrate that STTFedRec improves the average computation time and communication size of the baseline models by about 40 times and 42 times in the best-case scenario with balanced recommendation accuracy.


title: Lattice distortion inducing exciton splitting and coherent quantum beating in CsPbI3 perovskite quantum dots

abstract: Anisotropic exchange-splitting in semiconductor quantum dots (QDs) results in bright-exciton fine-structure-splitting (FSS) important for quantum information processing. Direct measurement of FSS usually requires single/few QDs at liquid-helium temperatures, because of its sensitivity to QD size and shape, whereas measuring and controlling FSS at an ensemble-level seem to be impossible unless all the dots are made to be nearly the same. Here we report strong bright-exciton FSS up to 1.6 meV in solution-processed CsPbI3 perovskite QDs, manifested as quantum beats in ensemble-level transient absorption at liquid-nitrogen to room temperatures. The splitting is robust to QD size and shape heterogeneity, and increases with decreasing temperature, pointing towards a mechanism associated with orthorhombic distortion of perovskite lattice. Effective-mass-approximation calculations reveal an intrinsic "fine-structure gap" that agrees well with the observed FSS. This gap stems from an avoided crossing of bright-excitons confined in orthorhombically-distorted QDs that are bounded by the pseudocubic {100} family of planes.


title: A Combination of Host Overloading Detection and Virtual Machine Selection in Cloud Server Consolidation based on Learning Method

abstract: In cloud data center (CDC), reducing energy consumption while maintaining performance has always been a hot issue. In server consolidation, the traditional solution is to divide the problem into multiple small problems such as host overloading detection, virtual machine (VM) selection and VM placement and solve them step by step. However, the design of host overloading detection strategies and VM selection strategies cannot be directly linked to the ultimate goal of reducing energy consumption and ensuring performance. This paper proposes a learning-based VM selection strategy that selects appropriate VMs for migration without direct host overloading detection. Thereby reducing the generation of SLAV, ensuring the performance and reducing the energy consumption of CDC. Simulations driven by real VM workload traces show that our method outperforms the existing methods in reducing SLAV generation and CDC energy consumption.


title: The Third Place Solution for CVPR2022 AVA Accessibility Vision and Autonomy Challenge

abstract: The goal of AVA challenge is to provide vision-based benchmarks and methods relevant to accessibility. In this paper, we introduce the technical details of our submission to the CVPR2022 AVA Challenge. Firstly, we conducted some experiments to help employ proper model and data augmentation strategy for this task. Secondly, an effective training strategy was applied to improve the performance. Thirdly, we integrated the results from two different segmentation frameworks to improve the performance further. Experimental results demonstrate that our approach can achieve a competitive result on the AVA test set. Finally, our approach achieves 63.008\%AP@0.50:0.95 on the test set of CVPR2022 AVA Challenge.


title: Identifying High Energy Neutrino Transients by Neutrino Multiplet-Triggered Followups

abstract: Transient sources such as supernovae (SNe) and tidal disruption events are candidates of high energy neutrino sources. However, SNe commonly occur in the universe and a chance coincidence of their detection with a neutrino signal cannot be avoided, which may lead to a challenge of claiming their association with neutrino emission. In order to overcome this difficulty, we propose a search for $\sim10-100$ TeV neutrino multiple events within a timescale of $\sim 30$ days coming from the same direction, called neutrino multiplets. We show that demanding multiplet detection by a $\sim 1$ km$^3$ neutrino telescope limits distances of detectable neutrino sources, which enables us to identify source counterparts by multiwavelength observations owing to the substantially reduced rate of the chance coincidence detection of transients. We apply our results by constructing a feasible strategy for optical followup observations and demonstrate that wide-field optical telescopes with a $\gtrsim4$ m dish should be capable of identifying a transient associated with a neutrino multiplet. We also present the resultant sensitivity of multiplet neutrino detection as a function of the released energy of neutrinos and burst rate density. A model of neutrino transient sources with an emission energy greater than ${\rm a~few}\times 10^{51}$erg and a burst rate rarer than ${\rm a~few}\times 10^{-8}\ {\rm Mpc}^{-3}\ {\rm yr}^{-1}$ is constrained by the null detection of multiplets by a $\sim 1$km$^3$ scale neutrino telescope. This already disfavors the canonical high-luminosity gamma ray bursts and jetted tidal disruption events as major sources in the TeV-energy neutrino sky.


title: SHELS: Exclusive Feature Sets for Novelty Detection and Continual Learning Without Class Boundaries

abstract: While deep neural networks (DNNs) have achieved impressive classification performance in closed-world learning scenarios, they typically fail to generalize to unseen categories in dynamic open-world environments, in which the number of concepts is unbounded. In contrast, human and animal learners have the ability to incrementally update their knowledge by recognizing and adapting to novel observations. In particular, humans characterize concepts via exclusive (unique) sets of essential features, which are used for both recognizing known classes and identifying novelty. Inspired by natural learners, we introduce a Sparse High-level-Exclusive, Low-level-Shared feature representation (SHELS) that simultaneously encourages learning exclusive sets of high-level features and essential, shared low-level features. The exclusivity of the high-level features enables the DNN to automatically detect out-of-distribution (OOD) data, while the efficient use of capacity via sparse low-level features permits accommodating new knowledge. The resulting approach uses OOD detection to perform class-incremental continual learning without known class boundaries. We show that using SHELS for novelty detection results in statistically significant improvements over state-of-the-art OOD detection approaches over a variety of benchmark datasets. Further, we demonstrate that the SHELS model mitigates catastrophic forgetting in a class-incremental learning setting,enabling a combined novelty detection and accommodation framework that supports learning in open-world settings


title: Slow Neutron-Capture Process: Low-mass AGB stars and presolar silicon carbide grains

abstract: Presolar grains are microscopic dust grains that formed in the stellar winds or explosions of ancient stars that died before the formation of the solar system. The majority (~90% in number) of presolar silicon carbide (SiC) grains, including types mainstream (MS), Y, and Z, came from low-mass C-rich asymptotic giant branch (AGB) stars, which is supported by the ubiquitous presence of SiC dust observed in the circumstellar envelope of AGB stars and the signatures of slow neutron-capture process preserved in these grains. Here, we review the status of isotope studies of presolar AGB SiC grains with an emphasis on heavy-element isotopes and highlight the importance of presolar grain studies for nuclear astrophysics. We discuss the sensitives of different types of nuclei to varying AGB stellar parameters and how their abundances in presolar AGB SiC grains can be used to provide independent, detailed constraints on stellar parameters, including 13C formation, stellar temperature, and nuclear reaction rates.


title: Low Altitude 3-D Coverage Performance Analysis in Cell-Free Distributed Collaborative Massive MIMO Systems

abstract: To improve the poor performance of distributed operation and non-scalability of centralized operation in traditional cell-free massive MIMO, we propose a cell-free distributed collaborative (CFDC) massive multiple-input multiple-output (MIMO) system based on a novel two-layer model to take advantages of the distributed cloud-edge-end collaborative architecture in beyond 5G (B5G) internet of things (IoT) environment to provide strong flexibility and scalability. We further ultilize the proposed CFDC massive MIMO system to support the low altitude three-dimensional (3-D) coverage scenario with unmanned aerial vehicles (UAVs), while accounting for 3-D Rician channel estimation, user-centric association and different scalable receiving schemes. Since coexisted UAVs and ground users (GUEs) cause greater interference, we ultilize user-centric association strategy and minimum-mean-square error (MMSE) channel state information (CSI) estimation to obtain the estimated CSI of UAVs and GUEs. Under the CFDC scenarios, scalable receiving schemes as maximum ratio combing (MRC), partial zero-forcing (P-ZF) and partial minimum-mean-square error (P-MMSE) can be performed at edge servers and the closed-form expressions for uplink spectral efficiency (SE) are derived. Based on the derived expressions, we propose an efficient power control algorithm by solving a multi-objective optimization problem (MOOP) between maximizing the average SE of UAVs and GUEs simultaneously with Deep Q-Network (DQN). Numerical results verify the accuracy of the derived closed-form expressions and the effectiveness of the coexisted UAVs and GUEs transmission scheme in CFDC massive MIMO systems. The SE analysis under various system parameters offers numerous flexibilities for system optimization.


title: Prescribed-Time Synchronization of Multiweighted and Directed Complex Networks

abstract: In this note, we study the prescribed-time (PT) synchronization of multiweighted and directed complex networks (MWDCNs) via pinning control. Unlike finite-time and fixed-time synchronization, the time for synchronization can be preset as needed, which is independent of initial values and parameters like coupling strength. First and foremost, we reveal the essence of PT stability by improper integral, L'Hospital rule and Taylor expansion theory. Many controllers established previously for PT stability can be included in our new model. Then, we apply this new result on MWDCNs as an application. The synchronization error at the prescribed time is discussed carefully, so, PT synchronization can be reached. The network topology can be directed and disconnected, which means that the outer coupling matrices (OCMs) can be asymmetric and not connected. The relationships between nodes are allowed to be cooperative or competitive, so elements in OCMs and inner coupling matrices (ICMs) can be positive or negative. We use the rearranging variables' order technique to combine ICMs and OCMs together to get the sum matrices, which can make a bridge between multiweighted and single-weighted networks. Finally, simulations are presented to illustrate the effectiveness of our theory.


title: Comparison of Discrete Variable and Continuous Variable Quantum Key Distribution Protocols with Phase Noise in the Thermal-Loss Channel

abstract: Discrete-variable (DV) quantum key distribution (QKD) based on single-photon detectors and sources have been successfully deployed for long-range secure key distribution. On the other hand, continuous-variable (CV) quantum key distribution (QKD) based on coherent detectors and sources is currently lagging behind in terms of loss and noise tolerance. An important discerning factor between DV-QKD and CV-QKD is the effect of phase noise, which is known to be more relevant in CV-QKD. In this article, we investigate the effect of phase noise on DV-QKD and CV-QKD protocols, including the six-state protocol and squeezed-state protocol, in a thermal-loss channel but with the assumed availability of perfect sources and detectors. We find that in the low phase noise regime but high thermal noise regime, CV-QKD can tolerate more loss compared to DV-QKD. We also compare the secret key rate as an additional metric for the performance of QKD. Requirements for this quantity to be high vastly extend the regions at which CV-QKD performs better than DV-QKD. Our analysis addresses the questions of how phase noise affects DV-QKD and CV-QKD and why the former has historically performed better in a thermal-loss channel.


title: On The Combinatorics of the Gray Cylinder

abstract: This paper develops some combinatorics of the lax Gray cylinder on the cells of {\Theta} understood as a full subcategory of the category of strict {\omega}-categories. More, we construct a span relating the Cartesian cylinder, the Gray cylinder, and the shift functor.


title: Electronic structure of Humble defects in Ge and Ge$_{0.8}$Si$_{0.2}$

abstract: The group-IV diamond-structure elements are known to host a variety of planar defects, including {001} planar defects in C and {001}, {111} and {113} planar defects in Si and Ge. Among the {001} planar defects, the Humble defect, known for some time to occur in Ge, has recently also been observed in Si/Ge alloys, but the details of its electronic structure remain poorly understood. Here we perform first-principles density functional calculations to study Humble defects in both Ge and Ge$_{0.8}$Si$_{0.2}$. We also measure the Si L$_{2,3}$-edge electron energy loss spectra both at the defect and in a bulk-like region far from the defect, and compare with theoretical calculations on corresponding Si sites in our first-principles calculations. We find that inclusion of core-hole effects in the theory is essential for reproducing the observed L$_{2,3}$ edge spectra, and that once they are included, the results provide a set of fingerprints for different types of local atomic bonding environments in Ge$_{0.8}$Si$_{0.2}$. Our first-principles calculations reveal that the Humble defects have a tendency to enlarge the electronic band gap, which may have potential uses in band engineering. The use of hybrid functionals for an improved description of the band gap in these systems is also discussed.


title: Persistent homology-based descriptor for machine-learning potential of amorphous structures

abstract: High-accuracy prediction of the physical properties of amorphous materials is challenging in condensed-matter physics. A promising method to achieve this is machine-learning potentials, which is an alternative to computationally demanding ab initio calculations. When applying machine-learning potentials, the construction of descriptors to represent atomic configurations is crucial. These descriptors should be invariant to symmetry operations. Handcrafted representations using a smooth overlap of atomic positions and graph neural networks (GNN) are examples of methods used for constructing symmetry-invariant descriptors. In this study, we propose a novel descriptor based on a persistence diagram (PD), a two-dimensional representation of persistent homology (PH). First, we demonstrated that the normalized two-dimensional histogram obtained from PD could predict the average energy per atom of amorphous carbon (aC) at various densities, even when using a simple model. Second, an analysis of the dimensional reduction results of the descriptor spaces revealed that PH can be used to construct descriptors with characteristics similar to those of a latent space in a GNN. These results indicate that PH is a promising method for constructing descriptors suitable for machine-learning potentials without hyperparameter tuning and deep-learning techniques.


title: Boosting R-CNN: Reweighting R-CNN Samples by RPN's Error for Underwater Object Detection

abstract: Complicated underwater environments bring new challenges to object detection, such as unbalanced light conditions, low contrast, occlusion, and mimicry of aquatic organisms. Under these circumstances, the objects captured by the underwater camera will become vague, and the generic detectors often fail on these vague objects. This work aims to solve the problem from two perspectives: uncertainty modeling and hard example mining. We propose a two-stage underwater detector named boosting R-CNN, which comprises three key components. First, a new region proposal network named RetinaRPN is proposed, which provides high-quality proposals and considers objectness and IoU prediction for uncertainty to model the object prior probability. Second, the probabilistic inference pipeline is introduced to combine the first-stage prior uncertainty and the second-stage classification score to model the final detection score. Finally, we propose a new hard example mining method named boosting reweighting. Specifically, when the region proposal network miscalculates the object prior probability for a sample, boosting reweighting will increase the classification loss of the sample in the R-CNN head during training, while reducing the loss of easy samples with accurately estimated priors. Thus, a robust detection head in the second stage can be obtained. During the inference stage, the R-CNN has the capability to rectify the error of the first stage to improve the performance. Comprehensive experiments on two underwater datasets and two generic object detection datasets demonstrate the effectiveness and robustness of our method.


title: Viability of novae as sources of Galactic lithium

abstract: Of all the light elements, the evolution of lithium (Li) in the Milky Way is perhaps the most difficult to explain. Li is difficult to synthesize and is easily destroyed, making most stellar sites unsuitable for producing Li in sufficient quantities to account for the proto-solar abundance. For decades, novae have been proposed as a potential explanation to this 'Galactic Li problem', and the recent detection of 7Be in the ejecta of multiple nova eruptions has breathed new life into this theory. In this work, we assess the viability of novae as dominant producers of Li in the Milky Way. We present the most comprehensive treatment of novae in a galactic chemical evolution code to date, testing theoretical- and observationally-derived nova Li yields by integrating metallicity-dependent nova ejecta profiles computed using the binary population synthesis code binary c with the galactic chemical evolution code OMEGA+. We find that our galactic chemical evolution models which use observationally-derived Li yields account for the proto-solar Li abundance very well, while models relying on theoretical nova yields cannot reproduce the proto-solar observation. A brief exploration of physical uncertainties including single-stellar yields, the metallicity resolution of our nova treatment, common-envelope physics, and nova accretion efficiencies indicates that this result is robust to physical assumptions. Scatter within the observationally-derived Li yields in novae is identified as the primary source of uncertainty, motivating further observations of 7Be in nova ejecta.


title: Quantum relaxed row and column iteration methods based on block-encoding

abstract: Iteration method is commonly used in solving linear systems of equations. We present quantum algorithms for the relaxed row and column iteration methods by constructing unitary matrices in the iterative processes, which generalize row and column iteration methods to solve linear systems on a quantum computer. Comparing with the conventional row and column iteration methods, the convergence accelerates when appropriate parameters are chosen. Once the quantum states are efficiently prepared, the complexity of our relaxed row and column methods is improved exponentially and is linear with the number of the iteration steps. In addition, phase estimations and Hamiltonian simulations are not required in these algorithms.


title: On two-variable guarded fragment logic with expressive local Presburger constraints

abstract: We consider the extension of the two-variable guarded fragment logic with local Presburger quantifiers. These are quantifiers that can express properties such as "the number of incoming blue edges plus twice the number of outgoing red edges is at most three times the number of incoming green edges" and captures various description logics with counting, but without constant symbols. We show that the satisfiability problem for this logic is EXP-complete. While the lower bound already holds for the standard two-variable guarded fragment logic, the upper bound is established by a novel, yet simple deterministic graph-based algorithm.


title: A Comprehensive Survey on Deep Gait Recognition: Algorithms, Datasets and Challenges

abstract: Gait recognition aims to identify a person at a distance, serving as a promising solution for long-distance and less-cooperation pedestrian recognition. Recently, significant advancements in gait recognition have achieved inspiring success in many challenging scenarios by utilizing deep learning techniques. Against the backdrop that deep gait recognition has achieved almost perfect performance in laboratory datasets, much recent research has introduced new challenges for gait recognition, including robust deep representation modeling, in-the-wild gait recognition, and even recognition from new visual sensors such as infrared and depth cameras. Meanwhile, the increasing performance of gait recognition might also reveal concerns about biometrics security and privacy prevention for society. We provide a comprehensive survey on recent literature using deep learning and a discussion on the privacy and security of gait biometrics. This survey reviews the existing deep gait recognition methods through a novel view based on our proposed taxonomy. The proposed taxonomy differs from the conventional taxonomy of categorizing available gait recognition methods into the model- or appearance-based methods, while our taxonomic hierarchy considers deep gait recognition from two perspectives: deep representation learning and deep network architectures, illustrating the current approaches from both micro and macro levels. We also include up-to-date reviews of datasets and performance evaluations on diverse scenarios. Finally, we introduce privacy and security concerns on gait biometrics and discuss outstanding challenges and potential directions for future research.


title: Quantum correlation between a qubit and a relativistic boson in an expanding spacetime

abstract: We use the quantumcorrelation of both logarithmic negativity andmutual information between a qubit and a relativistic boson to analyze the dynamics of Universe expansion. These dynamical quantum correlations can encode the information about underlying spacetime structure, which suggests a promising application in observational cosmology. We find that the dynamics of both logarithmic negativity and mutual information between the qubit and the boson are very similar. They decrease monotonically with the growth of the expansion volume and the expansion rate. Smaller momentum and medium-sized mass of boson are more favourable for extracting the information about history of Universe expansion. The quantum correlation between the qubit and the antiboson however has very different behavior: the logarithmic negativity is always zero and the mutual information can be generated through the expansion of Universe. Smaller momentum and medium-sized mass of antiboson are beneficial for the production of mutual information. Finally, the trigger phenomenon and conservation for mutual information are witnessed.


title: H-GCN: A Graph Convolutional Network Accelerator on Versal ACAP Architecture

abstract: Graph Neural Networks (GNNs) have drawn tremendous attention due to their unique capability to extend Machine Learning (ML) approaches to applications broadly-defined as having unstructured data, especially graphs. Compared with other Machine Learning (ML) modalities, the acceleration of Graph Neural Networks (GNNs) is more challenging due to the irregularity and heterogeneity derived from graph typologies. Existing efforts, however, have focused mainly on handling graphs' irregularity and have not studied their heterogeneity. To this end we propose H-GCN, a PL (Programmable Logic) and AIE (AI Engine) based hybrid accelerator that leverages the emerging heterogeneity of Xilinx Versal Adaptive Compute Acceleration Platforms (ACAPs) to achieve high-performance GNN inference. In particular, H-GCN partitions each graph into three subgraphs based on its inherent heterogeneity, and processes them using PL and AIE, respectively. To further improve performance, we explore the sparsity support of AIE and develop an efficient density-aware method to automatically map tiles of sparse matrix-matrix multiplication (SpMM) onto the systolic tensor array. Compared with state-of-the-art GCN accelerators, H-GCN achieves, on average, speedups of 1.1~2.3X.


title: Short $SL_2$-structures on simple Lie algebras

abstract: Throughout the papers of E.B. Vinberg some non-abelian gradings of simple Lie algebras were introduced and investigated, namely short $SO_3 -$ and $SL_3$ - structures. We study another kind of them -- short $SL_2$ - structures. The main results relate to one-to-one corresponding between such structures and some special Jordan algebras.


title: Locally Supersymmetric Effective Field Theories of Inflation

abstract: Supergravity, a locally supersymmetric gauge theory, may provide to describe new physics beyond the Standard Model (BSM). In this sense, cosmological applications of supergravity can be the arena for probing outcomes of supergravity. It is also attractive that supergravity can appear as a low-energy effective theory of superstrings, a possible candidate of quantum gravity. Nevertheless, it is not trivial to build inflationary models in supergravity due to difficulties arising mainly from the extremely constrained form of supergravity scalar potentials, complicated structure of interaction terms, and excessive scalar degrees of freedom. These obstructions generally make it challenging to contrive a desirable inflationary trajectory, perform the moduli stabilization to obtain the stable de-Sitter phase, and make extra scalars to be much heavier than the Hubble scale to get single field inflation. Besides, supergravity predicts many non-renormalizable interactions. It thus arises as effective field theory (EFT) which can be valid only up to typical energies $E$ below its ultraviolet cutoff scale $\Lambda_{cut}$, and up to some accuracy of $(E/\Lambda_{cut})^n$ that we desire. We note that these non-renormalizable terms may affect physics during and/or after inflation. From such points of view, it is very important in supergravity to find the method for relaxing the scalar potentials, and flexible scalar field dynamics (particularly for inflaton), and examine self-consistency at the quantum level. In this thesis, therefore, we construct locally supersymmetric effective field theories of inflation (with KKLT string background) by taking into account recently-proposed reformulations of $\mathcal{N}=1$ supergravity that can enlarge the space of scalar potentials.


title: Adversarial Consistency for Single Domain Generalization in Medical Image Segmentation

abstract: An organ segmentation method that can generalize to unseen contrasts and scanner settings can significantly reduce the need for retraining of deep learning models. Domain Generalization (DG) aims to achieve this goal. However, most DG methods for segmentation require training data from multiple domains during training. We propose a novel adversarial domain generalization method for organ segmentation trained on data from a \emph{single} domain. We synthesize the new domains via learning an adversarial domain synthesizer (ADS) and presume that the synthetic domains cover a large enough area of plausible distributions so that unseen domains can be interpolated from synthetic domains. We propose a mutual information regularizer to enforce the semantic consistency between images from the synthetic domains, which can be estimated by patch-level contrastive learning. We evaluate our method for various organ segmentation for unseen modalities, scanning protocols, and scanner sites.


title: Polarons in Binary Bose-Einstein Condensates

abstract: Bose polarons are quasiparticles formed through the interaction between impurities and Bose-Einstein condensates. In this paper, we derive an effective Fr\"{o}hlich Hamiltonian using the generalized Bogoliubov transformation. The effective Fr\"{o}hlich Hamiltonian encompasses two types of effective interactions: impurity-density (ID) coupling and impurity-spin (IS) coupling. Furthermore, we employ the Lee-Low-Pines variational approach to investigate the relevant properties of Bose polarons induced by the ID and IS coupling. These properties include the ground state energy, effective mass, and average number of virtual phonons. Our findings reveal that the contribution resulting from IS couplings to the ground energy decreases to zero near the miscible-immiscible boundary. Additionally, the increase of the IS coupling induces a greater number of virtual phonons, impeding the movement of impurities and leading to a significant increase in the effective mass of Bose polarons.

categories: cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el quant-ph


title: Divide-and-Conquer Determinization of B\"uchi Automata based on SCC Decomposition

abstract: The determinization of a nondeterministic B\"uchi automaton (NBA) is a fundamental construction of automata theory, with applications to probabilistic verification and reactive synthesis. The standard determinization constructions, such as the ones based on the Safra-Piterman's approach, work on the whole NBA. In this work we propose a divide-and-conquer determinization approach. To this end, we first classify the strongly connected components (SCCs) of the given NBA as inherently weak, deterministic accepting, and nondeterministic accepting. We then present how to determinize each type of SCC independently from the others; this results in an easier handling of the determinization algorithm that takes advantage of the structure of that SCC. Once all SCCs have been determinized, we show how to compose them so to obtain the final equivalent deterministic Emerson-Lei automaton, which can be converted into a deterministic Rabin automaton without blow-up of states and transitions. We implement our algorithm in a our tool COLA and empirically evaluate COLA with the state-of-the-art tools Spot and OWL on a large set of benchmarks from the literature. The experimental results show that our prototype COLA outperforms Spot and OWL regarding the number of states and transitions.


title: GAN-based Super-Resolution and Segmentation of Retinal Layers in Optical coherence tomography Scans

abstract: In this paper, we design a Generative Adversarial Network (GAN)-based solution for super-resolution and segmentation of optical coherence tomography (OCT) scans of the retinal layers. OCT has been identified as a non-invasive and inexpensive modality of imaging to discover potential biomarkers for the diagnosis and progress determination of neurodegenerative diseases, such as Alzheimer's Disease (AD). Current hypotheses presume the thickness of the retinal layers, which are analyzable within OCT scans, can be effective biomarkers. As a logical first step, this work concentrates on the challenging task of retinal layer segmentation and also super-resolution for higher clarity and accuracy. We propose a GAN-based segmentation model and evaluate incorporating popular networks, namely, U-Net and ResNet, in the GAN architecture with additional blocks of transposed convolution and sub-pixel convolution for the task of upscaling OCT images from low to high resolution by a factor of four. We also incorporate the Dice loss as an additional reconstruction loss term to improve the performance of this joint optimization task. Our best model configuration empirically achieved the Dice coefficient of 0.867 and mIOU of 0.765.


title: Social-aware Cooperative Caching in Fog Radio Access Networks

abstract: In this paper, the cooperative caching problem in fog radio access networks (F-RANs) is investigated to jointly optimize the transmission delay and energy consumption. Exploiting the potential social relationships among fog access points (F-APs), we firstly propose a clustering scheme based on hedonic coalition game (HCG) to improve the potential cooperation gain. Then, considering that the optimization problem is non-deterministic polynomial hard (NP-hard), we further propose an improved firefly algorithm (FA) based cooperative caching scheme, which utilizes a mutation strategy based on local content popularity to avoid pre-mature convergence. Simulation results show that our proposed scheme can effectively reduce the content transmission delay and energy consumption in comparison with the baselines.


title: The COVID-19 Pandemic on the Turkish Twittersphere

abstract: With the increase in the time spent at home, social media platforms' role has become an integral part of the public discussion in the COVID-19 period. Individuals use social media platforms to express their emotions, interact, and engage in public debate. Therefore, it is essential to analyze social media platforms for those wanting to understand public opinion during the pandemic. This thesis is the first study that examines the Turkish Twitter-sphere to understand the change in public opinion during the COVID-19 outbreak. For that purpose, starting from 12 February 2020 (one month before the first announced coronavirus cases in Turkey), 4.3 million Turkish tweets with a broad range of keywords are collected until June 2020 to investigate the public opinion change on different topics and to examine the actors leading to that change. The scope of the analysis is not only health-related discussion but also includes a broader range of themes such as politics, economy, and disinformation. This study also collects 4.15 million Turkish tweets with keywords of vaccine ("a\c{s}{\i}" in Turkish) from 4 April 2020 until 17 March 2021 to unpack the health of the information ecosystem. Preliminary results suggest that (i) religion is the prominent phenomenon in Turkish people's perception of the pandemic, (ii) and the Turkish Twitter-sphere is highly vulnerable to mis/disinformation operations, and (iii) several communities with divergent interests exist in the vaccine network.


title: Detecting and Eliminating Quantum Noise of Quantum Measurements

abstract: In this work, we propose a two-stage procedure to systematically address quantum noise inherent in quantum measurements. The idea behind it is intuitive: we first detect and then eliminate quantum noise so that the classical noise assumption is satisfied and measurement error mitigation works. In the first stage, inspired by coherence witness in the resource theory of quantum coherence, we design an efficient method to detect quantum noise. It works by fitting the difference between two measurement statistics to the Fourier series, where the statistics are obtained using maximally coherent states with relative phase and maximally mixed states as inputs. The fitting coefficients quantitatively benchmark quantum noise. In the second stage, we design various methods to eliminate quantum noise, inspired by the Pauli twirling technique. They work by executing randomly sampled Pauli gates before the measurement device and conditionally flipping the measurement outcomes in such a way that the effective measurement device contains only classical noise. We demonstrate the feasibility of the two-stage procedure numerically on Baidu Quantum Platform. Remarkably, the results show that quantum noise in measurement devices is significantly suppressed, and the quantum computation accuracy is substantially improved. We highlight that the two-stage procedure complements existing measurement error mitigation techniques, and they together form a standard toolbox for manipulating measurement errors in near-term quantum devices.


title: Image of Kerr-Melvin black hole with thin accretion disk

abstract: In this present work, we study the observational appearance of Kerr-Melvin black hole (KMBH) illuminated by an accretion disk. The accretion disk is assumed to be located on the equatorial plane and be thin both geometrically and optically. Considering the fact that outside the innermost stable circular orbit (ISCO) the accretion flow moves in prograde or retrograde circular orbit and falls towards the horizon along plunging orbit inside the ISCO, we develop the numerical backward ray-tracing method and obtain the images of KMBH accompanying with the accretion disk for various black hole spins, strengths of magnetic fields and inclination angles of observers. We present the intensity distribution horizontally and longitudinally and show the profiles of the red-shift for the direct and lensed images. Our study suggests that the inner shadow and critical curves can be used to estimate the magnetic field around a black hole without degeneration.


title: Heavy Neutral Leptons at Beam Dump Experiments of Future Lepton Colliders

abstract: A new beam dump experiment that utilizes the beam of future high energy electron-positron colliders could be an excellent avenue to search for dark sector particles due to its unprecedented high energy and intensity. We consider heavy neutral leptons (HNLs) as a specific example to demonstrate the sensitivity of searches for dark sector particles at future electron-positron collider beam dump experiments. This includes the study of the reach at the International Linear Collider (ILC), the Cool Copper Collider ($\rm C^3$), and the Compact Linear Collider (CLIC). We comprehensively examine the HNL production and detector acceptance at these electron beam dump experiments. We show that these experiments will probe a large range of HNL parameter space, not yet probed by past experiments. These experiments will be complementary to other proposed experiments such as proton beam dump experiments, neutrino experiments, and LHC auxiliary detectors. Our study also motivates a more detailed analysis of heavy meson productions in high-energy electron-nucleon collisions in thick targets.


title: Few-Shot Fine-Grained Entity Typing with Automatic Label Interpretation and Instance Generation

abstract: We study the problem of few-shot Fine-grained Entity Typing (FET), where only a few annotated entity mentions with contexts are given for each entity type. Recently, prompt-based tuning has demonstrated superior performance to standard fine-tuning in few-shot scenarios by formulating the entity type classification task as a ''fill-in-the-blank'' problem. This allows effective utilization of the strong language modeling capability of Pre-trained Language Models (PLMs). Despite the success of current prompt-based tuning approaches, two major challenges remain: (1) the verbalizer in prompts is either manually designed or constructed from external knowledge bases, without considering the target corpus and label hierarchy information, and (2) current approaches mainly utilize the representation power of PLMs, but have not explored their generation power acquired through extensive general-domain pre-training. In this work, we propose a novel framework for few-shot FET consisting of two modules: (1) an entity type label interpretation module automatically learns to relate type labels to the vocabulary by jointly leveraging few-shot instances and the label hierarchy, and (2) a type-based contextualized instance generator produces new instances based on given instances to enlarge the training set for better generalization. On three benchmark datasets, our model outperforms existing methods by significant margins. Code can be found at https://github.com/teapot123/Fine-Grained-Entity-Typing.


title: Fire Dragon and Unicorn Princess; Gender Stereotypes and Children's Products in Search Engine Responses

abstract: Search engines in e-commerce settings allow users to search, browse, and select items from a wide range of products available online including children's items. Children's products such as toys, books, and learning materials often have stereotype-based gender associations. Both academic research and public campaigns are working to promote stereotype-free childhood development. However, to date, e-commerce search engines have not received as much attention as physical stores, product design, or marketing as a potential channel of gender stereotypes. To fill this gap, in this paper, we study the manifestations of gender stereotypes in e-commerce sites when responding to queries related to children's products by exploring query suggestions and search results. We have three primary contributions. First, we provide an aggregated list of children's products with associated gender stereotypes from the existing body of research. Second, we provide preliminary methods for identifying and quantifying gender stereotypes in system's responses. Third, to show the importance of attending this problem, we identify the existence of gender stereotypes in query suggestions and search results across multiple e-commerce sites.


title: Principal Phrase Mining

abstract: Extracting frequent words from a collection of texts is commonly performed in many subjects. However, as useful as it is to obtain a collection of commonly occurring words from texts, there is a need for more specific information to be obtained from texts in the form of most commonly occurring phrases. Despite this need, extracting frequent phrases is not commonly done due to inherent complications, the most significant being double-counting. Double-counting occurs when words or phrases are counted when they appear inside longer phrases that themselves are also counted, resulting in a selection of mostly meaningless phrases that are frequent only because they occur inside frequent super phrases. Several papers have been written on phrase mining that describe solutions to this issue; however, they either require a list of so-called quality phrases to be available to the extracting process, or they require human interaction to identify those quality phrases during the process. We present here a method that eliminates double-counting via a unique rectification process that does not require lists of quality phrases. In the context of a set of texts, we define a principal phrase as a phrase that does not cross punctuation marks, does not start with a stop word, with the exception of the stop words "not" and "no", does not end with a stop word, is frequent within those texts without being double counted, and is meaningful to the user. Our method identifies such principal phrases independently without human input, and enables their extraction from any texts within a reasonable amount of time.


title: Adaptive Multi-view Rule Discovery for Weakly-Supervised Compatible Products Prediction

abstract: On e-commerce platforms, predicting if two products are compatible with each other is an important functionality to achieve trustworthy product recommendation and search experience for consumers. However, accurately predicting product compatibility is difficult due to the heterogeneous product data and the lack of manually curated training data. We study the problem of discovering effective labeling rules that can enable weakly-supervised product compatibility prediction. We develop AMRule, a multi-view rule discovery framework that can (1) adaptively and iteratively discover novel rulers that can complement the current weakly-supervised model to improve compatibility prediction; (2) discover interpretable rules from both structured attribute tables and unstructured product descriptions. AMRule adaptively discovers labeling rules from large-error instances via a boosting-style strategy, the high-quality rules can remedy the current model's weak spots and refine the model iteratively. For rule discovery from structured product attributes, we generate composable high-order rules from decision trees; and for rule discovery from unstructured product descriptions, we generate prompt-based rules from a pre-trained language model. Experiments on 4 real-world datasets show that AMRule outperforms the baselines by 5.98% on average and improves rule quality and rule proposal efficiency.


title: Anomalous quasiparticles in the zone center electron pocket of the kagom\'e ferromagnet Fe3Sn2

abstract: One material containing kagome bilayers and featuring both exceptional magnetism and electron transport is the ferromagnetic metal Fe3Sn2. Notwithstanding the widespread interest in Fe3Sn2, crystal twinning, difficulties in distinguishing surface from bulk states, and a large unit cell have until now prevented the synchrotron-based spectroscopic observation of sharply resolved quasiparticles near the Fermi surface which could be responsible for the anomalous properties appearing at low temperatures for the material. Here we report microfocused laser-based angle-resolved photoemission spectroscopy (micro-ARPES), which offers the first look at such quasiparticles. The high spatial resolution allows individual crystal twin domains to be examined in isolation, resulting in the discovery of three-fold symmetric electron pockets at the Brillouin zone (BZ) center, not predicted by early tight-binding descriptions but in agreement with density functional theory (DFT) calculations, which also feature Weyl nodes. The quasiparticles in these pockets have remarkably long mean free paths, and their Fermi surface area is consistent with reported quantum oscillations. At the same time, though, the best-defined Fermi surface is reduced at low temperature, and the quasiparticles generally are marginal in the sense that their wavelength uncertainty is of order the deviation of the quasiparticle wavelength from the Fermi vector. We attribute these manifestations of strong electron-electron interactions to a flat band predicted by our DFT to lie just above the dispersive bands seen in this experiment. Thus, beyond demonstrating the impact of twin averaging for ARPES measurements of band structures, our experiments reveal many-body physics unaccounted for by current theories of metallic kagome ferromagnets.


title: Estimating the Currency Composition of Foreign Exchange Reserves

abstract: Central banks manage about \$12 trillion in foreign exchange reserves, influencing global exchange rates and asset prices. However, some of the largest holders of reserves report minimal information about their currency composition, hindering empirical analysis. I describe a Hidden Markov Model to estimate the composition of a central bank's reserves by relating the fluctuation in the portfolio's valuation to the exchange rates of major reserve currencies. I apply the model to China and Singapore, two countries that collectively hold about \$3.4 trillion in reserves and conceal their composition. I find that both China's reserve composition likely resembles the global average, while Singapore probably holds fewer US dollars.


title: Sub-Block Rearranged Staircase Codes for Optical Transport Networks

abstract: We propose a new family of spatially coupled product codes, called sub-block rearranged staircase (SR-staircase) codes. Each SR-staircase code block is constructed by encoding rearranged preceding code blocks and new information blocks, where the rearrangement involves sub-blocks decomposition and transposition. The proposed codes can be constructed to have each code block size of $1/q$ to that of the conventional staircase codes while having the same rate and component codes, for any positive integer $q$. In this regard, we can use strong algebraic component codes to construct SR-staircase codes with a similar or the same code block size and rate as staircase codes with weak component codes. Moreover, both waterfall and error floor performance can be further improved by using a large coupling width. The superior performance of the proposed codes is demonstrated through density evolution and error floor analysis as well as simulation.


title: Unveiling photon statistics with a 100-pixel photon-number-resolving detector

abstract: Single-photon detectors are ubiquitous in quantum information science and quantum sensing. They are key enabling technologies for numerous scientific discoveries and fundamental tests of quantum optics. Photon-number-revolving detectors are the ultimate measurement tool of light. However, few detectors to date can provide high-fidelity photon number resolution at few-photon levels. Here, we demonstrate an on-chip detector that can resolve up to 100 photons by spatiotemporally multiplexing an array of superconducting nanowires along a single waveguide. The unparalleled photon number resolution paired with the high-speed response exclusively allows us to unveil the quantum photon statistics of a true thermal light source for the first time, which is realized by direct measurement of high-order correlation function g^(N) with N up to 15, observation of photon-subtraction-induced photon number enhancement, and quantum-limited state discrimination against a coherent light source. Our detector provides a viable route towards various important applications, including photonic quantum computation and quantum metrology.

categories: quant-ph physics.app-ph physics.ins-det physics.optics


title: DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems

abstract: While notable progress has been made in specifying and learning objectives for general cyber-physical systems, applying these methods to distributed multi-agent systems still pose significant challenges. Among these are the need to (a) craft specification primitives that allow expression and interplay of both local and global objectives, (b) tame explosion in the state and action spaces to enable effective learning, and (c) minimize coordination frequency and the set of engaged participants for global objectives. To address these challenges, we propose a novel specification framework that allows natural composition of local and global objectives used to guide training of a multi-agent system. Our technique enables learning expressive policies that allow agents to operate in a coordination-free manner for local objectives, while using a decentralized communication protocol for enforcing global ones. Experimental results support our claim that sophisticated multi-agent distributed planning problems can be effectively realized using specification-guided learning.


title: Selection Games with Minimal Usco Maps

abstract: We establish relationships between various topological selection games involving the space of minimal usco maps with various topologies, including the topology of pointwise convergence and the topology of uniform convergence on compact sets, and the underlying domain using full- and limited-information strategies. We also tie these relationships to analogous results related to spaces of continuous functions. The primary games we consider include Rothberger-like games, generalized point-open games, strong fan-tightness games, Tkachuk's closed discrete selection game, and Gruenhage's $W$-games.


title: On the Impact of Noises in Crowd-Sourced Data for Speech Translation

abstract: Training speech translation (ST) models requires large and high-quality datasets. MuST-C is one of the most widely used ST benchmark datasets. It contains around 400 hours of speech-transcript-translation data for each of the eight translation directions. This dataset passes several quality-control filters during creation. However, we find that MuST-C still suffers from three major quality issues: audio-text misalignment, inaccurate translation, and unnecessary speaker's name. What are the impacts of these data quality issues for model development and evaluation? In this paper, we propose an automatic method to fix or filter the above quality issues, using English-German (En-De) translation as an example. Our experiments show that ST models perform better on clean test sets, and the rank of proposed models remains consistent across different test sets. Besides, simply removing misaligned data points from the training set does not lead to a better ST model.


title: Flexible text generation for counterfactual fairness probing

abstract: A common approach for testing fairness issues in text-based classifiers is through the use of counterfactuals: does the classifier output change if a sensitive attribute in the input is changed? Existing counterfactual generation methods typically rely on wordlists or templates, producing simple counterfactuals that don't take into account grammar, context, or subtle sensitive attribute references, and could miss issues that the wordlist creators had not considered. In this paper, we introduce a task for generating counterfactuals that overcomes these shortcomings, and demonstrate how large language models (LLMs) can be leveraged to make progress on this task. We show that this LLM-based method can produce complex counterfactuals that existing methods cannot, comparing the performance of various counterfactual generation methods on the Civil Comments dataset and showing their value in evaluating a toxicity classifier.


title: Exploring linguistic feature and model combination for speech recognition based automatic AD detection

abstract: Early diagnosis of Alzheimer's disease (AD) is crucial in facilitating preventive care and delay progression. Speech based automatic AD screening systems provide a non-intrusive and more scalable alternative to other clinical screening techniques. Scarcity of such specialist data leads to uncertainty in both model selection and feature learning when developing such systems. To this end, this paper investigates the use of feature and model combination approaches to improve the robustness of domain fine-tuning of BERT and Roberta pre-trained text encoders on limited data, before the resulting embedding features being fed into an ensemble of backend classifiers to produce the final AD detection decision via majority voting. Experiments conducted on the ADReSS20 Challenge dataset suggest consistent performance improvements were obtained using model and feature combination in system development. State-of-the-art AD detection accuracies of 91.67 percent and 93.75 percent were obtained using manual and ASR speech transcripts respectively on the ADReSS20 test set consisting of 48 elderly speakers.


title: Radiative Relativistic Magnetohydrodynamic Simulations of Neutron Star Column Accretion in Cartesian Geometry

abstract: High luminosity accretion onto a strongly magnetized neutron star results in a radiation pressure dominated, magnetically confined accretion column. We investigate the dynamics of these columns using two-dimensional radiative relativistic magnetohydrodynamic simulations, restricting consideration to modest accretion rates where the height of the column is low enough that Cartesian geometry can be employed. The column structure is dynamically maintained through high-frequency oscillations of the accretion shock at $\simeq 10-25$~kHz. These oscillations arise because it is necessary to redistribute the power released at the accretion shock through bulk vertical motions, both to balance the cooling and to provide vertical pressure support against gravity. Sideways cooling always dominates the loss of internal energy. In addition to the vertical oscillations, photon bubbles form in our simulations and add additional spatial complexity to the column structure. They are not themselves responsible for the oscillations, and they do not appear to affect the oscillation period. However, they enhance the vertical transport of radiation and increase the oscillation amplitude in luminosity. The time-averaged column structure in our simulations resembles the trends in standard 1D stationary models, the main difference being that the time-averaged height of the shock front is lower because of the higher cooling efficiency of the 2D column shape.


title: Interrelate Training and Searching: A Unified Online Clustering Framework for Speaker Diarization

abstract: For online speaker diarization, samples arrive incrementally, and the overall distribution of the samples is invisible. Moreover, in most existing clustering-based methods, the training objective of the embedding extractor is not designed specially for clustering. To improve online speaker diarization performance, we propose a unified online clustering framework, which provides an interactive manner between embedding extractors and clustering algorithms. Specifically, the framework consists of two highly coupled parts: clustering-guided recurrent training (CGRT) and truncated beam searching clustering (TBSC). The CGRT introduces the clustering algorithm into the training process of embedding extractors, which could provide not only cluster-aware information for the embedding extractor, but also crucial parameters for the clustering process afterward. And with these parameters, which contain preliminary information of the metric space, the TBSC penalizes the probability score of each cluster, in order to output more accurate clustering results in online fashion with low latency. With the above innovations, our proposed online clustering system achieves 14.48\% DER with collar 0.25 at 2.5s latency on the AISHELL-4, while the DER of the offline agglomerative hierarchical clustering is 14.57\%.


title: Classification of ADHD Patients Using Kernel Hierarchical Extreme Learning Machine

abstract: Recently, the application of deep learning models to diagnose neuropsychiatric diseases from brain imaging data has received more and more attention. However, in practice, exploring interactions in brain functional connectivity based on operational magnetic resonance imaging data is critical for studying mental illness. Since Attention-Deficit and Hyperactivity Disorder (ADHD) is a type of chronic disease that is very difficult to diagnose in the early stages, it is necessary to improve the diagnosis accuracy of such illness using machine learning models treating patients before the critical condition. In this study, we utilize the dynamics of brain functional connectivity to model features from medical imaging data, which can extract the differences in brain function interactions between Normal Control (NC) and ADHD. To meet that requirement, we employ the Bayesian connectivity change-point model to detect brain dynamics using the local binary encoding approach and kernel hierarchical extreme learning machine for classifying features. To verify our model, we experimented with it on several real-world children's datasets, and our results achieved superior classification rates compared to the state-of-the-art models.


title: A Hierarchical Speaker Representation Framework for One-shot Singing Voice Conversion

abstract: Typically, singing voice conversion (SVC) depends on an embedding vector, extracted from either a speaker lookup table (LUT) or a speaker recognition network (SRN), to model speaker identity. However, singing contains more expressive speaker characteristics than conversational speech. It is suspected that a single embedding vector may only capture averaged and coarse-grained speaker characteristics, which is insufficient for the SVC task. To this end, this work proposes a novel hierarchical speaker representation framework for SVC, which can capture fine-grained speaker characteristics at different granularity. It consists of an up-sampling stream and three down-sampling streams. The up-sampling stream transforms the linguistic features into audio samples, while one down-sampling stream of the three operates in the reverse direction. It is expected that the temporal statistics of each down-sampling block can represent speaker characteristics at different granularity, which will be engaged in the up-sampling blocks to enhance the speaker modeling. Experiment results verify that the proposed method outperforms both the LUT and SRN based SVC systems. Moreover, the proposed system supports the one-shot SVC with only a few seconds of reference audio.


title: Multimode non-Gaussian secure communication under mode-mismatch

abstract: In this paper, we analyse the role of non-Gaussianity in continuous-variable (CV) quantum key distribution (QKD) with multimode light under mode-mismatch. We consider entanglement-based protocol with non-Gaussian resources generated by single-photon-subtraction and zero-photon-catalysis on a two-mode squeezed vacuum state (TMSV). Our results indicate that, compared to the case of TMSV, these non-Gaussian resources reasonably enhances the performance of CV-QKD, even under the effect of noise arising due to mode-mismatch. To be specific, while in the case of TMSV the maximum transmission distance is limited to 47 Km, single-photon subtracted TMSV and zero-photon-catalysed TMSV yield much higher distance of 73 Km and 152 Km respectively. However, photon loss as a practical concern in zero-photon-catalysis setup limits the transmission distance for zero-photon-catalysed TMSV to 36 Km. This makes single-photon-subtraction on TMSV to be the best choice for entanglement-based CV-QKD in obtaining large transmission distance. Nonetheless, we note that the non-Gaussianity does not improve the robustness of entanglement-based CV-QKD scheme against detection inefficiency. We believe that our work provides a practical view of implementing CV-QKD with multimode light under realistic conditions.


title: Detecting Arbitrary Order Beneficial Feature Interactions for Recommender Systems

abstract: Detecting beneficial feature interactions is essential in recommender systems, and existing approaches achieve this by examining all the possible feature interactions. However, the cost of examining all the possible higher-order feature interactions is prohibitive (exponentially growing with the order increasing). Hence existing approaches only detect limited order (e.g., combinations of up to four features) beneficial feature interactions, which may miss beneficial feature interactions with orders higher than the limitation. In this paper, we propose a hypergraph neural network based model named HIRS. HIRS is the first work that directly generates beneficial feature interactions of arbitrary orders and makes recommendation predictions accordingly. The number of generated feature interactions can be specified to be much smaller than the number of all the possible interactions and hence, our model admits a much lower running time. To achieve an effective algorithm, we exploit three properties of beneficial feature interactions, and propose deep-infomax-based methods to guide the interaction generation. Our experimental results show that HIRS outperforms state-of-the-art algorithms by up to 5% in terms of recommendation accuracy.


title: Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes

abstract: Monadically stable and monadically NIP classes of structures were initially studied in the context of model theory and defined in logical terms. They have recently attracted attention in the area of structural graph theory, as they generalize notions such as nowhere denseness, bounded cliquewidth, and bounded twinwidth. Our main result is the - to the best of our knowledge first - purely combinatorial characterization of monadically stable classes of graphs, in terms of a property dubbed flip-flatness. A class $\mathcal{C}$ of graphs is flip-flat if for every fixed radius $r$, every sufficiently large set of vertices of a graph $G \in \mathcal{C}$ contains a large subset of vertices with mutual distance larger than $r$, where the distance is measured in some graph $G'$ that can be obtained from $G$ by performing a bounded number of flips that swap edges and non-edges within a subset of vertices. Flip-flatness generalizes the notion of uniform quasi-wideness, which characterizes nowhere dense classes and had a key impact on the combinatorial and algorithmic treatment of nowhere dense classes. To obtain this result, we develop tools that also apply to the more general monadically NIP classes, based on the notion of indiscernible sequences from model theory. We show that in monadically stable and monadically NIP classes indiscernible sequences impose a strong combinatorial structure on their definable neighborhoods. All our proofs are constructive and yield efficient algorithms.


title: Affine-Invariant Midrange Statistics

abstract: We formulate and discuss the affine-invariant matrix midrange problem on the cone of $n\times n$ positive definite Hermitian matrices $\mathbb{P}(n)$, which is based on the Thompson metric. A particular computationally efficient midpoint of this metric is investigated as a highly scalable candidate for an average of two positive definite matrices within this context, before studying the $N$-point problem in the vector and matrix settings.


title: Negative Differential Resistance in Spin-Crossover Molecular Devices

abstract: We demonstrate, based on low-temperature scanning tunneling microscopy (STM) and spectroscopy, a pronounced negative differential resistance (NDR) in spin-crossover (SCO) molecular devices, where a Fe$^{\text{II}}$ SCO molecule is deposited on surfaces. The STM measurements reveal that the NDR is robust with respect to substrate materials, temperature, and the number of SCO layers. This indicates that the NDR is intrinsically related to the electronic structure of the SCO molecule. Experimental results are supported by density functional theory (DFT) with non-equilibrium Green's functions (NEGF) calculations and a generic theoretical model. While the DFT+NEGF calculations reproduce NDR for a special atomically-sharp STM tip, the effect is attributed to the energy-dependent tip density of states rather than the molecule itself. We, therefore, propose a Coulomb blockade model involving three molecular orbitals with very different spatial localization as suggested by the molecular electronic structure.


title: Algorithms for audio inpainting based on probabilistic nonnegative matrix factorization

abstract: Audio inpainting, i.e., the task of restoring missing or occluded audio signal samples, usually relies on sparse representations or autoregressive modeling. In this paper, we propose to structure the spectrogram with nonnegative matrix factorization (NMF) in a probabilistic framework. First, we treat the missing samples as latent variables, and derive two expectation-maximization algorithms for estimating the parameters of the model, depending on whether we formulate the problem in the time- or time-frequency domain. Then, we treat the missing samples as parameters, and we address this novel problem by deriving an alternating minimization scheme. We assess the potential of these algorithms for the task of restoring short- to middle-length gaps in music signals. Experiments reveal great convergence properties of the proposed methods, as well as competitive performance when compared to state-of-the-art audio inpainting techniques.


title: A Tensor-Cube Version of the Saxl Conjecture

abstract: Let $n$ be a positive integer, and let $\rho_n = (n, n-1, n-2, \ldots, 1)$ be the ``staircase'' partition of size $N = {n+1 \choose 2}$. The Saxl conjecture asserts that every irreducible representation $S^\lambda$ of the symmetric group $S_N$ appears as a subrepresentation of the tensor square $S^{\rho_n} \otimes S^{\rho_n}$. In this short note we show that every irreducible representation of $S_N$ appears in the tensor cube $S^{\rho_n} \otimes S^{\rho_n} \otimes S^{\rho_n}$.


title: Structure and kinematics of a massive galaxy at z ~ 7

abstract: Observations of the rest-frame UV emission of high-redshift galaxies suggest that the early stages of galaxy formation involve disturbed structures. Imaging the cold interstellar medium can provide a unique view of the kinematics associated with the assembly of galaxies. In this paper, we analyzed the spatial distribution and kinematics of the cold ionized gas of the normal star-forming galaxy COS-2987030247 at z = 6.8076, based on new high-resolution observations of the [C II] 158um line emission obtained with the Atacama Large Millimeter/submillimeter Array. These observations allowed us to compare the spatial distribution and extension of the [C II] and rest-frame UV emission, model the [C II] line data-cube using 3DBarolo, and measure the [C II] luminosity and star formation rate (SFR) surface densities in the galaxy subregions. The system is found to be composed of a main central source, a fainter north extension, and candidate [C II] companions located 10-kpc away. We find similar rest-frame UV and [C II] spatial distributions, suggesting that the [C II] emission emerges from the star-forming regions. The agreement between the UV and [C II] surface brightness radial profiles rules out diffuse, extended [C II] emission in the main galaxy component. The [C II] velocity map reveals a velocity gradient in the north-south direction suggesting ordered motion, as commonly found in rotating-disk galaxies. But higher-resolution observations would be needed to rule out a compact merger scenario. Our model indicates a low average velocity dispersion, $\sigma$ < 30 km s$^{-1}$. This result implies a dispersion lower than the expected value from observations and semi-analytic models of high redshift galaxies. We argue that COS-2987030247 is a candidate rotating disk experiencing a short period of stability which will be possibly perturbed at later times by accreting sources.


title: Bandwidth tunable optical filter based on a tri-mode high-contrast grating

abstract: We propose a monolithic optical bandpass filter with a transmission bandwidth tunable by the incident angle in a tri-mode high-contrast grating (HCG). We attribute this extraordinary phenomenon to the destructive interference between the TM$_{0}$ and TM$_{2}$ modes and the Fabry-P\'erot resonance of the TM1 mode, which can only be excited at the oblique incidence. The transmission bandwidth can be tuned from zero at normal incidence and increases quadratically with incident angle, while the center wavelength reds shifts slightly. The corresponding Q factor can be continuously tuned from 10$^{6}$ to 10$^{2}$ as the incident angle increases from nearly 0$^{\text{o}}$ to 10$^{\text{o}}$.


title: Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs

abstract: Abstract interpretation, Hoare logic, and incorrectness (or reverse Hoare) logic are powerful techniques for static analysis of computer programs. All of them have been successfully extended to the quantum setting, but largely developed in parallel. In this paper, we examine the relationship between these techniques in the context of verifying quantum while-programs, where the abstract domain and the set of assertions for quantum states are well-structured. In particular, we show that any complete quantum abstract interpretation induces a quantum Hoare logic and a quantum incorrectness logic, both of which are sound and relatively complete. Unlike the logics proposed in the literature, the induced logic systems are in a forward manner, making them more useful in certain applications. Conversely, any sound and relatively complete quantum Hoare logic or quantum incorrectness logic induces a complete quantum abstract interpretation. As an application, we are able to show the non-existence of any sound and relatively complete quantum Hoare logic or incorrectness logic if tuples of local subspaces are taken as assertions.


title: On Relaxation of Dominant Sets

abstract: In a graph $G = (V,E)$, a k-ruling set $S$ is one in which all vertices $V$ \ $S$ are at most $k$ distance from $S$. Finding a minimum k-ruling set is intrinsically linked to the minimum dominating set problem and maximal independent set problem, which have been extensively studied in graph theory. This paper presents the first known algorithm for solving all k-ruling set problems in conjunction with known minimum dominating set algorithms at only additional polynomial time cost compared to a minimum dominating set. The algorithm further succeeds for $(\alpha, \alpha - 1)$ ruling sets in which $\alpha > 1$, for which constraints exist on the proximity of vertices v $\in S$. This secondary application instead works in conjunction with maximal independent set algorithms.


title: Assessment of U.S. Department of Transportation Lane-Level Map for Connected Vehicle Applications

abstract: High-definition (Hi-Def) digital maps are an indispensable automated driving technology that is developing rapidly. There are various commercial or governmental map products in the market. It is notable that the U.S. Department of Transportation (USDOT) map tool allows the user to create MAP and Signal Phase and Timing (SPaT) messages with free access. However, an analysis of the accuracy of this map tool is currently lacking in the literature. This paper provides such an analysis. The analysis manually selects 39 feature points within about 200 meters of the verified point and 55 feature points over longer distances from the verified point. All feature locations are surveyed using GNSS and mapped using the USDOT tool. Different error sources are evaluated to allow assessment of the USDOT map accuracy. In this investigation, The USDOT map tool is demonstrated to achieve 17 centimeters horizontal accuracy, which meets the lane-level map requirement. The maximum horizontal map error is less than 30 centimeters.


title: On the compactness of the (non)radial Sobolev spaces

abstract: In this note, we give the affirmative answer of the question in [18], which is a compactness result of the non-radial Sobolev spaces. As an application, we show the existence of an extremal function of the critical Hardy inequality under spherical average zero. Next, we give an improvement of the compactness results of the radial Sobolev spaces in [8]. In Appendix, we give an alternative proof of Hardy type inequalities under spherical average zero.


title: A Scalable Blockchain-based Smart Contract Model for Decentralized Voltage Stability Using Sharding Technique

abstract: Blockchain technologies are one possible avenue for increasing the resilience of the Smart Grid, by decentralizing the monitoring and control of system-level objectives such as voltage stability protection. They furthermore offer benefits in data immutability and traceability, as blockchains are cryptographically secured. However, the performance of blockchain-based systems in real-time grid monitoring and control has never been empirically tested. This study proposes implementing a decentralized voltage stability algorithm using blockchain-based smart contracts, as a testbed for evaluating the performance of blockchains in real-time control. We furthermore investigate sharding mechanisms as a means of improving the system's scalability with fixed computing resources. We implement our models as a proof-of-concept prototype system using Hyperledger Fabric as our blockchain platform, the Matpower library in MATLAB as our power system simulator, and Hyperledger Caliper as our performance evaluation tool. We found that sharding does indeed lead to a substantial improvement in system scalability for this domain, measured by both transaction success rates and transaction latency.


title: The existence of multi-peak positive solutions for nonlinear Kirchhoff equations

abstract: In this work, we study the following Kirchhoff equation $$\begin{cases}-\left(\varepsilon^2 a+\varepsilon b\int_{\mathbb R^3}|\nabla u|^2\right)\Delta u +u =Q(x)u^{q-1},\quad u>0,\quad x\in {\mathbb{R}^{3}},\\u\to 0,\quad \text{as}\ |x|\to +\infty,\end{cases}$$ where $a,b>0$ are constants, $2<q<6$, and $\varepsilon>0$ is a parameter. Under some suitable assumptions on the function $Q(x)$, we obtain that the equation above has positive multi-peak solutions concentrating at a critical point of $Q(x)$ for $\varepsilon>0$ sufficiently small, by using the Lyapunov-Schmidt reduction method. We extend the result in (Discrete Contin. Dynam. Systems 6(2000), 39--50) to the nonlinear Kirchhoff equation.