title: Lattice Boltzmann simulation of non-equilibrium flows using spectral multiple-relaxation-time collision model

abstract: Prediction of non-equilibrium flows is critical to space flight. In the present work we demonstrate that the recently developed spectral multiple-relaxation-time (SMRT) lattice Boltzmann (LB) model is theoretically equivalent to Grad's eigen-system [Grad, H., In Thermodynamics of Gases (1958)] where the eigen-functions obtained by tensor decomposition of the Hermite polynomials are also those of the linearized Boltzmann equation. Numerical results of shock structure simulation using Maxwell molecular model agree very well with those of a high-resolution fast spectral method code up to Mach 7 provided that the relaxation times of the irreducible tensor components match their theoretical values. If a reduced set of relaxation times are used such as in the Shakhov model and lumped-sum relaxation of Hermite modes, non-negligible discrepancies starts to occur as Mach number is raised, indicating the necessity of the fine-grained relaxation model. Together with the proven advantages of LB, the LB-SMRT scheme offers a competitive alternative for non-equilibrium flow simulation.


title: Network evolution controlling strain-induced damage and self-healing of elastomers with dynamic bonds

abstract: Highly stretchable and self-healable supramolecular elastomers are promising materials for future soft electronics, biomimetic systems, and smart textiles, due to their dynamic cross-linking bonds. The dynamic or reversible nature of the cross-links gives rise to interesting macroscopic responses in these materials such as self-healing and rapid stress-relaxation. However, the relationship between bond activity and macroscopic mechanical response, and the self-healing properties of these dynamic polymer networks (DPNs) remains poorly understood. Using coarse-grained molecular dynamics (CGMD) simulations, we reveal a fundamental connection between the macroscopic behaviors of DPNs and the shortest paths between distant nodes in the polymer network. Notably, the trajectories of the material on the shortest path-strain map provide key insights into understanding the stress-strain hysteresis, anisotropy, stress relaxation, and self-healing of DPNs. Based on CGMD simulations under various loading histories, we formulate a set of empirical rules that dictate how the shortest path interacts with stress and strain. This lays the foundation for the development of a physics-based theory centered around the non-local microstructural feature of shortest paths to predict the mechanical behavior of DPNs.


title: Lossy Compression for Schr\"odinger-style Quantum Simulations

abstract: Simulating quantum circuits on classical hardware is a powerful and necessary tool for developing and testing quantum algorithms and hardware as well as evaluating claims of quantum supremacy in the Noisy Intermediate-Scale Quantum (NISQ) regime. Schr\"odinger-style simulations are limited by the exponential growth of the number of state amplitudes which need to be stored. In this work, we apply scalar and vector quantization to Schr\"odinger-style quantum circuit simulations as lossy compression schemes to reduce the number of bits needed to simulate quantum circuits. Using quantization, we can maintain simulation fidelities $>0.99$ when simulating the Quantum Fourier Transform, while using only 7 significand bits in a floating-point number to characterize the real and imaginary components of each amplitude. Furthermore, using vector quantization, we propose a method to bound the number of bits/amplitude needed to store state vectors in a simulation of a circuit that achieves a desired fidelity, and show that for a 6 qubit simulation of the Quantum Fourier Transform, 15 bits/amplitude is sufficient to maintain fidelity $>0.9$ at $10^4$ depth.


title: FedRKG: A Privacy-preserving Federated Recommendation Framework via Knowledge Graph Enhancement

abstract: Federated Learning (FL) has emerged as a promising approach for preserving data privacy in recommendation systems by training models locally. Recently, Graph Neural Networks (GNN) have gained popularity in recommendation tasks due to their ability to capture high-order interactions between users and items. However, privacy concerns prevent the global sharing of the entire user-item graph. To address this limitation, some methods create pseudo-interacted items or users in the graph to compensate for missing information for each client. Unfortunately, these methods introduce random noise and raise privacy concerns. In this paper, we propose FedRKG, a novel federated recommendation system, where a global knowledge graph (KG) is constructed and maintained on the server using publicly available item information, enabling higher-order user-item interactions. On the client side, a relation-aware GNN model leverages diverse KG relationships. To protect local interaction items and obscure gradients, we employ pseudo-labeling and Local Differential Privacy (LDP). Extensive experiments conducted on three real-world datasets demonstrate the competitive performance of our approach compared to centralized algorithms while ensuring privacy preservation. Moreover, FedRKG achieves an average accuracy improvement of 4% compared to existing federated learning baselines.


title: Sharing Energy in Wide Area: A Two-Layer Energy Sharing Scheme for Massive Prosumers

abstract: The popularization of distributed energy resources transforms end-users from consumers into prosumers. Inspired by the sharing economy principle, energy sharing markets for prosumers are proposed to facilitate the utilization of renewable energy. This paper proposes a novel two-layer energy sharing market for massive prosumers, which can promote social efficiency by wider-area sharing. In this market, there is an upper-level wide-area market (WAM) in the distribution system and numerous lower-level local-area markets (LAMs) in communities. Prosumers in the same community share energy with each other in the LAM, which can be uncleared. The energy surplus and shortage of LAMs are cleared in the WAM. Thanks to the wide-area two-layer structure, the market outcome is near-social-optimal in large-scale systems. However, the proposed market forms a complex mathematical program with equilibrium constraints (MPEC). To solve the problem, we propose an efficient and hierarchically distributed bidding algorithm. The proposed two-layer market and bidding algorithm are verified on the IEEE 123-bus system with 11250 prosumers, which demonstrates the practicality and efficiency for large-scale markets.


title: A family of rare-earth Quasi-One-Dimensional spin-chain compounds K2RENb5O15 (RE=Ce,Pr,Nd,Sm,Gd-Ho) with large interchain distance

abstract: One-dimensional spin chain systems have received special attention to discover the novel magnetic ground states and emergent phenomena, while the magnetic studies on rare-earth (RE)-based 1D spin chain materials are still rare. Here, we report the synthesis, structure and magnetic behaviors on a family of tetragonal tungsten-bronze structure K2RENb5O15 (RE = Ce, Pr, Nd, Sm, Gd-Ho) compounds, which consist of 1D linear spin-chain structure built by RE3+ ions along the c-axis and well spatially separated by the nonmagnetic K/Nb-O polyhedrons with large interchain distances of ~ 8.80-8.88 {\AA} in the ab-plane. The low temperature magnetic measurements reveal the absence of long-range magnetic order down to 1.8 K for all serial K2RENb5O15 compounds and the dominant ferromagnetic interactions for RE=Ce,Dy and antiferromagnetic interactions for other members. Among them, K2GdNb5O15 with spin only magnetic moment S=7/2, exhibits a long-range magnetic order with TN~0.31 K and strong spin fluctuations at low temperatures due to its low-dimension characteristics. Moreover, a large magnetocaloric effect under low field change of 0-2 T is realized at temperatures below 1 K for K2GdNb5O15, letting it as an ideal candidate for adiabatic magnetic refrigeration applications at sub-kelvin temperatures. The K2RENb5O15 become a rare family of insulting RE-based magnets to explore the novel 1D spin chain physics beyond the 3d TM-based counterparts, in terms of its combination of low dimension, strong spin-orbital coupling and the rich diversity of RE ions.


title: Boidae: Your Personal Mining Platform

abstract: Mining software repositories is a useful technique for researchers and practitioners to see what software developers actually do when developing software. Tools like Boa provide users with the ability to easily mine these open-source software repositories at a very large scale, with datasets containing hundreds of thousands of projects. The trade-off is that users must use the provided infrastructure, query language, runtime, and datasets and this might not fit all analysis needs. In this work, we present Boidae: a family of Boa installations controlled and customized by users. Boidae uses automation tools such as Ansible and Docker to facilitate the deployment of a customized Boa installation. In particular, Boidae allows the creation of custom datasets generated from any set of Git repositories, with helper scripts to aid in finding and cloning repositories from GitHub and SourceForge. In this paper, we briefly describe the architecture of Boidae and how researchers can utilize the infrastructure to generate custom datasets. Boidae's scripts and all infrastructure it builds upon are open-sourced. A video demonstration of Boidae's installation and extension is available at https://go.unl.edu/boidae.


title: Learned Image Compression with Dual-Branch Encoder and Conditional Information Coding

abstract: Recent advancements in deep learning-based image compression are notable. However, prevalent schemes that employ a serial context-adaptive entropy model to enhance rate-distortion (R-D) performance are markedly slow. Furthermore, the complexities of the encoding and decoding networks are substantially high, rendering them unsuitable for some practical applications. In this paper, we propose two techniques to balance the trade-off between complexity and performance. First, we introduce two branching coding networks to independently learn a low-resolution latent representation and a high-resolution latent representation of the input image, discriminatively representing the global and local information therein. Second, we utilize the high-resolution latent representation as conditional information for the low-resolution latent representation, furnishing it with global information, thus aiding in the reduction of redundancy between low-resolution information. We do not utilize any serial entropy models. Instead, we employ a parallel channel-wise auto-regressive entropy model for encoding and decoding low-resolution and high-resolution latent representations. Experiments demonstrate that our method is approximately twice as fast in both encoding and decoding compared to the parallelizable checkerboard context model, and it also achieves a 1.2% improvement in R-D performance compared to state-of-the-art learned image compression schemes. Our method also outperforms classical image codecs including H.266/VVC-intra (4:4:4) and some recent learned methods in rate-distortion performance, as validated by both PSNR and MS-SSIM metrics on the Kodak dataset.


title: TypeDance: Creating Semantic Typographic Logos from Image through Personalized Generation

abstract: Semantic typographic logos harmoniously blend typeface and imagery to represent semantic concepts while maintaining legibility. Conventional methods using spatial composition and shape substitution are hindered by the conflicting requirement for achieving seamless spatial fusion between geometrically dissimilar typefaces and semantics. While recent advances made AI generation of semantic typography possible, the end-to-end approaches exclude designer involvement and disregard personalized design. This paper presents TypeDance, an AI-assisted tool incorporating design rationales with the generative model for personalized semantic typographic logo design. It leverages combinable design priors extracted from uploaded image exemplars and supports type-imagery mapping at various structural granularity, achieving diverse aesthetic designs with flexible control. Additionally, we instantiate a comprehensive design workflow in TypeDance, including ideation, selection, generation, evaluation, and iteration. A two-task user evaluation, including imitation and creation, confirmed the usability of TypeDance in design across different usage scenarios


title: SoundShift: Exploring Sound Manipulations for Accessible Mixed-Reality Awareness

abstract: Mixed-reality (MR) soundscapes blend real-world sound with virtual audio from hearing devices, presenting intricate auditory information that is hard to discern and differentiate. This is particularly challenging for blind or visually impaired individuals, who rely on sounds and descriptions in their everyday lives. To understand how complex audio information is consumed, we analyzed online forum posts within the blind community, identifying prevailing challenges, needs, and desired solutions. We synthesized the results and propose SoundShift for increasing MR sound awareness, which includes six sound manipulations: Transparency Shift, Envelope Shift, Position Shift, Style Shift, Time Shift, and Sound Append. To evaluate the effectiveness of SoundShift, we conducted a user study with 18 blind participants across three simulated MR scenarios, where participants identified specific sounds within intricate soundscapes. We found that SoundShift increased MR sound awareness and minimized cognitive load. Finally, we developed three real-world example applications to demonstrate the practicality of SoundShift.


title: Asymptotic Normality of the Conditional Value-at-Risk based Pickands Estimator

abstract: The Pickands estimator for the extreme value index is beneficial due to its universal consistency, location, and scale invariance, which sets it apart from other types of estimators. However, similar to many extreme value index estimators, it is marked by poor asymptotic efficiency. Chen (2021) introduces a Conditional Value-at-Risk (CVaR)-based Pickands estimator, establishes its consistency, and demonstrates through simulations that this estimator significantly reduces mean squared error while preserving its location and scale invariance. The initial focus of this paper is on demonstrating the weak convergence of the empirical CVaR in functional space. Subsequently, based on the established weak convergence, the paper presents the asymptotic normality of the CVaR-based Pickands estimator. It further supports these theoretical findings with empirical evidence obtained through simulation studies.


title: The failure of H\"{o}lder regularity of solutions for the Camassa--Holm type equation in Besov spaces

abstract: It is proved that if $u_0\in B^s_{p,r}$ with $s>1+\frac1p, (p,r)\in[1,+\infty]\times[1,+\infty)$ or $s=1+\frac1p, \ (p,r)\in[1,+\infty)\times \{1\}$, the solution of the Camassa--Holm equation belongs to $\mathcal{C}([0,T];B^s_{p,r})$. In the paper, we show that the continuity of the solution can not be improved to the H\"{o}lder continuity. Precisely speaking, the solution of the Camassa--Holm equation belongs to $\mathcal{C}([0,T];B^s_{p,r})$ but not to $\mathcal{C}^\alpha([0,T];B^s_{p,r})$ with any $\alpha\in(0,1)$.


title: Neural auto-designer for enhanced quantum kernels

abstract: Quantum kernels hold great promise for offering computational advantages over classical learners, with the effectiveness of these kernels closely tied to the design of the quantum feature map. However, the challenge of designing effective quantum feature maps for real-world datasets, particularly in the absence of sufficient prior information, remains a significant obstacle. In this study, we present a data-driven approach that automates the design of problem-specific quantum feature maps. Our approach leverages feature-selection techniques to handle high-dimensional data on near-term quantum machines with limited qubits, and incorporates a deep neural predictor to efficiently evaluate the performance of various candidate quantum kernels. Through extensive numerical simulations on different datasets, we demonstrate the superiority of our proposal over prior methods, especially for the capability of eliminating the kernel concentration issue and identifying the feature map with prediction advantages. Our work not only unlocks the potential of quantum kernels for enhancing real-world tasks but also highlights the substantial role of deep learning in advancing quantum machine learning.


title: Compact quantum random number generator based on a laser diode and silicon photonics integrated hybrid chip

abstract: In this study, a compact and low-power-consumption quantum random number generator (QRNG) based on a laser diode and silicon photonics integrated hybrid chip is proposed and verified experimentally. The hybrid chip's size is 8.8*2.6*1 mm3, and the power of entropy source is 80 mW. A common mode rejection ratio greater than 40 dB was achieved using an optimized 1*2 multimode interferometer structure. A method for optimizing the quantum-to-classical noise ratio is presented. A quantum-to-classical noise ratio of approximately 9 dB was achieved when the photoelectron current is 1 microampere using a balance homodyne detector with a high dark current GeSi photodiode. The proposed QRNG has the potential for use in scenarios of moderate MHz random number generation speed, with low power, small volume, and low cost prioritized.


title: Long-term Effects of India's Childhood Immunization Program on Earnings and Consumption Expenditure: Comment

abstract: Summan, Nandi, and Bloom (2023), hereafter SNB, find that exposure during infancy to India's Universal Immunization Programme (UIP) increased wages and per-capita household expenditure in early adulthood. SNB regress these outcomes on a treatment indicator that depends upon year and district of birth while controlling for age at follow-up. Because year of birth and age are nearly collinear, SNB's identifying variation does not come from the staggered introduction of the UIP, but rather from the progression of time during the follow-up period. Within the 12-month follow-up period, those interviewed later were more likely to have been treated and, on average, reported higher wages and household expenditure. Wages and household expenditure, however, rose by at least as much in a control group composed of people too old to have been exposed as infants to the UIP as in the treated group. SNB's results are best explained by inflation, economic growth, and non-random survey sequencing during the follow-up survey period.


title: Laminography as a tool for imaging large-size samples with high resolution

abstract: Despite the increased brilliance of the new generation synchrotron sources, there is still a challenge with high-resolution scanning of very thick and absorbing samples, such as the whole mouse brain stained with heavy elements, and, extending further, brains of primates. Samples are typically cut into smaller parts, to ensure a sufficient X-ray transmission, and scanned separately. Compared to the standard tomography setup where the sample would be cut into many pillars, the laminographic geometry operates with slab-shaped sections significantly reducing the number of sample parts to be prepared, the cutting damage and data stitching problems. In this work, we present a laminography pipeline for imaging large samples (> 1 cm) at micrometer resolution. The implementation includes a low-cost instrument setup installed at the 2-BM micro-CT beamline of the Advanced Photon Source (APS). Additionally, we present sample mounting, scanning techniques, data stitching procedures, a fast reconstruction algorithm with low computational complexity, and accelerated reconstruction on multi-GPU systems for processing large-scale datasets. The applicability of the whole laminography pipeline was demonstrated with imaging 4 sequential slabs throughout the entire mouse brain sample stained with osmium, in total generating approximately 12TB of raw data for reconstruction.


title: ASM: Audio Spectrogram Mixer

abstract: Transformer structures have demonstrated outstanding skills in the deep learning space recently, significantly increasing the accuracy of models across a variety of domains. Researchers have started to question whether such a sophisticated network structure is actually necessary and whether equally outstanding results can be reached with reduced inference cost due to its complicated network topology and high inference cost. In order to prove the Mixer's efficacy on three datasets Speech Commands, UrbanSound8k, and CASIA Chinese Sentiment Corpus this paper applies amore condensed version of the Mixer to an audio classification task and conducts comparative experiments with the Transformer-based Audio Spectrogram Transformer (AST)model. In addition, this paper conducts comparative experiments on the application of several activation functions in Mixer, namely GeLU, Mish, Swish and Acon-C. Further-more, the use of various activation functions in Mixer, including GeLU, Mish, Swish, and Acon-C, is compared in this research through comparison experiments. Additionally, some AST model flaws are highlighted, and the model suggested in this study is improved as a result. In conclusion, a model called the Audio Spectrogram Mixer, which is the first model for audio classification with Mixer, is suggested in this study and the model's future directions for improvement are examined.


title: Efficient Data Shapley for Weighted Nearest Neighbor Algorithms

abstract: This work aims to address an open problem in data valuation literature concerning the efficient computation of Data Shapley for weighted $K$ nearest neighbor algorithm (WKNN-Shapley). By considering the accuracy of hard-label KNN with discretized weights as the utility function, we reframe the computation of WKNN-Shapley into a counting problem and introduce a quadratic-time algorithm, presenting a notable improvement from $O(N^K)$, the best result from existing literature. We develop a deterministic approximation algorithm that further improves computational efficiency while maintaining the key fairness properties of the Shapley value. Through extensive experiments, we demonstrate WKNN-Shapley's computational efficiency and its superior performance in discerning data quality compared to its unweighted counterpart.


title: Investigation of the stability in the performance of triple GEM detectors for High Energy Physics experiments

abstract: Gas Electron Multiplier (GEM) is one of the mostly used gaseous detectors in the High Energy Physics (HEP) experiments. GEMs are widely used as tracking devices due to their high-rate handling capability and good position resolution. An initiative is taken to study the stability in performance of the GEM chamber prototypes in the laboratory using external radiation for different Argon based gas mixtures. The effect of ambient parameters on the gain and energy resolution are studied. Very recently some behavioural changes in the performance of a SM GEM chamber is observed. The details of the experimental setup, methodology and results are reported here.


title: Are Latent Vulnerabilities Hidden Gems for Software Vulnerability Prediction? An Empirical Study

abstract: Collecting relevant and high-quality data is integral to the development of effective Software Vulnerability (SV) prediction models. Most of the current SV datasets rely on SV-fixing commits to extract vulnerable functions and lines. However, none of these datasets have considered latent SVs existing between the introduction and fix of the collected SVs. There is also little known about the usefulness of these latent SVs for SV prediction. To bridge these gaps, we conduct a large-scale study on the latent vulnerable functions in two commonly used SV datasets and their utilization for function-level and line-level SV predictions. Leveraging the state-of-the-art SZZ algorithm, we identify more than 100k latent vulnerable functions in the studied datasets. We find that these latent functions can increase the number of SVs by 4x on average and correct up to 5k mislabeled functions, yet they have a noise level of around 6%. Despite the noise, we show that the state-of-the-art SV prediction model can significantly benefit from such latent SVs. The improvements are up to 24.5% in the performance (F1-Score) of function-level SV predictions and up to 67% in the effectiveness of localizing vulnerable lines. Overall, our study presents the first promising step toward the use of latent SVs to improve the quality of SV datasets and enhance the performance of SV prediction tasks.


title: Study on the mixing of $\Xi_c$ and $\Xi'_c$ by the transition $\Xi_{b}\to\Xi^{(')}_c$

abstract: Recently, the LHCb collaboration has observed the decays $\Xi^0_{b}\to\Xi^+_{c}D^-_s$ and $\Xi^-_{b}\to\Xi^0_{c}D^-_s$. They measured the relative branching fractions times the ratio of beauty-baryon production cross-sections $\mathcal{R}(\frac{\Xi^0_b}{\Lambda_b})\equiv\frac{\sigma(\Xi_b^0)}{\sigma(\Lambda^0_b)}\times\frac{B(\Xi^0_{b}\to\Xi^+_{c}D^-_s)}{B(\Lambda^0_{b}\to\Lambda^+_{c}D^-_s)}$ and $\mathcal{R}(\frac{\Xi^-_b}{\Lambda_b})\equiv\frac{\sigma(\Xi^-_b)}{\sigma(\Lambda^0_b)}\times\frac{B(\Xi^-_{b}\to\Xi^0_{c}D^-_s)}{B(\Lambda^0_{b}\to\Lambda^+_{c}D^-_s)}$. Once the ratio $\frac{\sigma(\Xi_b^0)}{\sigma(\Lambda^0_b)}$ or $\frac{\sigma(\Xi_b^-)}{\sigma(\Lambda^0_b)}$ is known, one can determine the relative branching fractions which can be used to exam the mixing of $\Xi_c$ and $\Xi'_c$. In previous literature, $\Xi_c$ and $\Xi'_c$ were assumed to belong to SU(3)$_F$ antitriple and sextet, respectively. However, recent experimental measurements such as the ratio $\Gamma(\Xi_{cc}\to\Xi_c\pi^+)/\Gamma(\Xi_{cc}\to\Xi'_c\pi^+)$ indicate the spin-flavor structures of $\Xi_{c}$ and $\Xi'_{c}$ are a mixture of $\Xi^{\bar 3}_{c}$ and $\Xi^{6}_{c}$. The exact value of mixing angle $\theta$ is still under debate. In theoretical models, the mixing angle was fitted to be about $16.27^\circ\pm2.30^\circ$ or $85.54^\circ\pm2.30^\circ$ based on decay channels $\Xi_{cc} \to\Xi^{(')}_{cc} $. While in lattice calculation, a small angle ($1.2^\circ\pm0.1^\circ$) is preferred. To address such discrepancy and test the mixing of $\Xi_c$ and $\Xi'_c$, here we propose the analysis of semileptonic and non-leptonic decays of $\Xi_{b}\to\Xi_{c}$ and $\Xi_{b}\to\Xi^{'}_{c}$. We calculate the decay rate of $\Xi_{b}\to\Xi_{c}$ and $\Xi_{b}\to\Xi^{'}_{c}$ based on light-front quark model and study the effect of the mixing angle on the ratios of weak decays $\Xi_{b}\to\Xi_{c}$ and $\Xi_{b}\to\Xi^{'}_{c}$.....


title: Exploiting Duality in Open Information Extraction with Predicate Prompt

abstract: Open information extraction (OpenIE) aims to extract the schema-free triplets in the form of (\emph{subject}, \emph{predicate}, \emph{object}) from a given sentence. Compared with general information extraction (IE), OpenIE poses more challenges for the IE models, {especially when multiple complicated triplets exist in a sentence. To extract these complicated triplets more effectively, in this paper we propose a novel generative OpenIE model, namely \emph{DualOIE}, which achieves a dual task at the same time as extracting some triplets from the sentence, i.e., converting the triplets into the sentence.} Such dual task encourages the model to correctly recognize the structure of the given sentence and thus is helpful to extract all potential triplets from the sentence. Specifically, DualOIE extracts the triplets in two steps: 1) first extracting a sequence of all potential predicates, 2) then using the predicate sequence as a prompt to induce the generation of triplets. Our experiments on two benchmarks and our dataset constructed from Meituan demonstrate that DualOIE achieves the best performance among the state-of-the-art baselines. Furthermore, the online A/B test on Meituan platform shows that 0.93\% improvement of QV-CTR and 0.56\% improvement of UV-CTR have been obtained when the triplets extracted by DualOIE were leveraged in Meituan's search system.


title: LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models

abstract: As blockchain platforms grow exponentially, millions of lines of smart contract code are being deployed to manage extensive digital assets. However, vulnerabilities in this mission-critical code have led to significant exploitations and asset losses. Thorough automated security analysis of smart contracts is thus imperative. This paper introduces LLM4Fuzz to optimize automated smart contract security analysis by leveraging large language models (LLMs) to intelligently guide and prioritize fuzzing campaigns. While traditional fuzzing suffers from low efficiency in exploring the vast state space, LLM4Fuzz employs LLMs to direct fuzzers towards high-value code regions and input sequences more likely to trigger vulnerabilities. Additionally, LLM4Fuzz can leverage LLMs to guide fuzzers based on user-defined invariants, reducing blind exploration overhead. Evaluations of LLM4Fuzz on real-world DeFi projects show substantial gains in efficiency, coverage, and vulnerability detection compared to baseline fuzzing. LLM4Fuzz also uncovered five critical vulnerabilities that can lead to a loss of more than $247k.


title: A Topological Drive for Spacetime Travel

abstract: We present a toy metric of spacetime travel from topological change. A bubble-like baby universe is detached and re-attached from our universe. Depending on where the bubble is re-attached, matter may travel superluminally or backwards-in-time through the bubble. Quasiregular singularities are formed at the detachment and re-attachment spacetime points. The spacetime is traversable and not covered by any horizons. Exotic matter violating energy conditions is required to realize such spacetimes.


title: VONet: Unsupervised Video Object Learning With Parallel U-Net Attention and Object-wise Sequential VAE

abstract: Unsupervised video object learning seeks to decompose video scenes into structural object representations without any supervision from depth, optical flow, or segmentation. We present VONet, an innovative approach that is inspired by MONet. While utilizing a U-Net architecture, VONet employs an efficient and effective parallel attention inference process, generating attention masks for all slots simultaneously. Additionally, to enhance the temporal consistency of each mask across consecutive video frames, VONet develops an object-wise sequential VAE framework. The integration of these innovative encoder-side techniques, in conjunction with an expressive transformer-based decoder, establishes VONet as the leading unsupervised method for object learning across five MOVI datasets, encompassing videos of diverse complexities. Code is available at https://github.com/hnyu/vonet.


title: New type of solutions for Schr\"odinger equations with critical growth

abstract: We consider the following nonlinear Schr\"odinger equations with critical growth: \begin{equation} - \Delta u + V(|y|)u=u^{\frac{N+2}{N-2}},\quad u>0 \ \ \mbox{in} \ \mathbb {R}^N, \end{equation} where $V(|y|)$ is a bounded positive radial function in $C^1$, $N\ge 5$. By using a finite reduction argument, we show that if $r^2V(r)$ has either an isolated local maximum or an isolated minimum at $r_0>0$ with $V(r_0)>0$, there exists infinitely many non-radial large energy solutions which are invariant under some sub-groups of $O(3)$.


title: Radius of Information for Two Intersected Centered Hyperellipsoids and Implications in Optimal Recovery from Inaccurate Data

abstract: For objects belonging to a known model set and observed through a prescribed linear process, we aim at determining methods to recover linear quantities of these objects that are optimal from a worst-case perspective. Working in a Hilbert setting, we show that, if the model set is the intersection of two hyperellipsoids centered at the origin, then there is an optimal recovery method which is linear. It is specifically given by a constrained regularization procedure whose parameters, short of being explicit, can be precomputed by solving a semidefinite program. This general framework can be swiftly applied to several scenarios: the two-space problem, the problem of recovery from $\ell_2$-inaccurate data, and the problem of recovery from a mixture of accurate and $\ell_2$-inaccurate data. With more effort, it can also be applied to the problem of recovery from $\ell_1$-inaccurate data. For the latter, we reach the conclusion of existence of an optimal recovery method which is linear, again given by constrained regularization, under a computationally verifiable sufficient condition. Experimentally, this condition seems to hold whenever the level of $\ell_1$-inaccuracy is small enough. We also point out that, independently of the inaccuracy level, the minimal worst-case error of a linear recovery method can be found by semidefinite programming.


title: SleepNet: Attention-Enhanced Robust Sleep Prediction using Dynamic Social Networks

abstract: Sleep behavior significantly impacts health and acts as an indicator of physical and mental well-being. Monitoring and predicting sleep behavior with ubiquitous sensors may therefore assist in both sleep management and tracking of related health conditions. While sleep behavior depends on, and is reflected in the physiology of a person, it is also impacted by external factors such as digital media usage, social network contagion, and the surrounding weather. In this work, we propose SleepNet, a system that exploits social contagion in sleep behavior through graph networks and integrates it with physiological and phone data extracted from ubiquitous mobile and wearable devices for predicting next-day sleep labels about sleep duration. Our architecture overcomes the limitations of large-scale graphs containing connections irrelevant to sleep behavior by devising an attention mechanism. The extensive experimental evaluation highlights the improvement provided by incorporating social networks in the model. Additionally, we conduct robustness analysis to demonstrate the system's performance in real-life conditions. The outcomes affirm the stability of SleepNet against perturbations in input data. Further analyses emphasize the significance of network topology in prediction performance revealing that users with higher eigenvalue centrality are more vulnerable to data perturbations.


title: DengueNet: Dengue Prediction using Spatiotemporal Satellite Imagery for Resource-Limited Countries

abstract: Dengue fever presents a substantial challenge in developing countries where sanitation infrastructure is inadequate. The absence of comprehensive healthcare systems exacerbates the severity of dengue infections, potentially leading to life-threatening circumstances. Rapid response to dengue outbreaks is also challenging due to limited information exchange and integration. While timely dengue outbreak forecasts have the potential to prevent such outbreaks, the majority of dengue prediction studies have predominantly relied on data that impose significant burdens on individual countries for collection. In this study, our aim is to improve health equity in resource-constrained countries by exploring the effectiveness of high-resolution satellite imagery as a nontraditional and readily accessible data source. By leveraging the wealth of publicly available and easily obtainable satellite imagery, we present a scalable satellite extraction framework based on Sentinel Hub, a cloud-based computing platform. Furthermore, we introduce DengueNet, an innovative architecture that combines Vision Transformer, Radiomics, and Long Short-term Memory to extract and integrate spatiotemporal features from satellite images. This enables dengue predictions on an epi-week basis. To evaluate the effectiveness of our proposed method, we conducted experiments on five municipalities in Colombia. We utilized a dataset comprising 780 high-resolution Sentinel-2 satellite images for training and evaluation. The performance of DengueNet was assessed using the mean absolute error (MAE) metric. Across the five municipalities, DengueNet achieved an average MAE of 43.92. Our findings strongly support the efficacy of satellite imagery as a valuable resource for dengue prediction, particularly in informing public health policies within countries where manually collected data is scarce and dengue virus prevalence is severe.


title: MotionMix: Weakly-Supervised Diffusion for Controllable Motion Generation

abstract: Controllable generation of 3D human motions becomes an important topic as the world embraces digital transformation. Existing works, though making promising progress with the advent of diffusion models, heavily rely on meticulously captured and annotated (e.g., text) high-quality motion corpus, a resource-intensive endeavor in the real world. This motivates our proposed MotionMix, a simple yet effective weakly-supervised diffusion model that leverages both noisy and unannotated motion sequences. Specifically, we separate the denoising objectives of a diffusion model into two stages: obtaining conditional rough motion approximations in the initial $T-T^*$ steps by learning the noisy annotated motions, followed by the unconditional refinement of these preliminary motions during the last $T^*$ steps using unannotated motions. Notably, though learning from two sources of imperfect data, our model does not compromise motion generation quality compared to fully supervised approaches that access gold data. Extensive experiments on several benchmarks demonstrate that our MotionMix, as a versatile framework, consistently achieves state-of-the-art performances on text-to-motion, action-to-motion, and music-to-dance tasks. Project page: https://nhathoang2002.github.io/MotionMix-page/


title: Effects of Research Paper Promotion via ArXiv and X

abstract: In the evolving landscape of scientific publishing, it is important to understand the drivers of high-impact research, to equip scientists with actionable strategies to enhance the reach of their work, and to understand trends in the use of modern scientific publishing tools to inform their further development. Here, we study trends in the use of early preprint publications and revisions on ArXiv and the use of X (formerly Twitter) for promotion of such papers in computer science and physics. We find that early submissions to ArXiv and promotion on X have soared in recent years. Estimating the effect that the use of each of these modern affordances has on the number of citations of scientific publications, we find that peer-reviewed conference papers in computer science that are submitted early to ArXiv gain on average $21.1 \pm 17.4$ more citations, revised on ArXiv gain $18.4 \pm 17.6$ more citations, and promoted on X gain $44.4 \pm 8$ more citations in the first 5 years from an initial publication. In contrast, journal articles in physics experience comparatively lower boosts in citation counts, with increases of $3.9 \pm 1.1$, $4.3 \pm 0.9$, and $6.9 \pm 3.5$ citations respectively for the same interventions. Our results show that promoting one's work on ArXiv or X has a large impact on the number of citations, as well as the number of influential citations computed by Semantic Scholar, and thereby on the career of researchers. These effects are present also for publications in physics, but they are relatively smaller. The larger relative effect sizes, effects of promotion accumulating over time, and elevated unpredictability of the number of citations in computer science than in physics suggest a greater role of world-of-mouth spreading in computer science than in physics.


title: A Finger on the Pulse of Cardiovascular Health: Smartphone Photoplethysmography-Based Pulse Waveform Analysis for Blood Pressure Measurement

abstract: Routine blood pressure (BP) monitoring, crucial for health assessment, faces challenges such as limited access to medical-grade equipment and expertise. Portable cuff BP devices, on the other hand, are cumbersome to carry all day and often cost-prohibitive in less developed countries. Besides, these sphygmomanometer-based devices can cause discomfort and disrupt blood flow during measurement. This study explores the use of smartphones for continuous BP monitoring, focusing on overcoming the trust barriers associated with the opacity of machine learning models in predicting BP from low-quality PPG signals. Our approach included developing models based on cardiovascular literature, using simple statistical methods to estimate BP from smartphone PPG signals with comprehensive data pre-processing, applying SHAP for enhanced interpretability and feature identification, and comparing our methods against standard references using Bland-Altman analysis. Validated with data from 125 participants, the study demonstrated significant correlations in waveform features between smartphone and reference BP monitoring devices. The cross-validation of linear regression [MAE=9.86 and 8.01 mmHg for systolic blood pressure (SBP) and diastolic blood pressure (DBP), respectively] and random forest model (MAE=8.91 and 6.68 mmHg for SBP and DBP) using waveform-only variables demonstrated the feasibility of using a smartphone to estimate BP. Although SHAP analysis identified key feature sets, Bland-Altman results did not fully meet established thresholds (84.64% and 94.69% of MAE<15 mmHg for SBP and DBP, respectively). The study suggests the potential of smartphone cameras to enhance the accuracy and interpretability of machine learning models for daily BP estimation, but also indicates that smartphone PPG-based BP prediction is not yet a replacement for traditional medical devices.


title: Meta Reinforcement Learning for Strategic IoT Deployments Coverage in Disaster-Response UAV Swarms

abstract: In the past decade, Unmanned Aerial Vehicles (UAVs) have grabbed the attention of researchers in academia and industry for their potential use in critical emergency applications, such as providing wireless services to ground users and collecting data from areas affected by disasters, due to their advantages in terms of maneuverability and movement flexibility. The UAVs' limited resources, energy budget, and strict mission completion time have posed challenges in adopting UAVs for these applications. Our system model considers a UAV swarm that navigates an area collecting data from ground IoT devices focusing on providing better service for strategic locations and allowing UAVs to join and leave the swarm (e.g., for recharging) in a dynamic way. In this work, we introduce an optimization model with the aim of minimizing the total energy consumption and provide the optimal path planning of UAVs under the constraints of minimum completion time and transmit power. The formulated optimization is NP-hard making it not applicable for real-time decision making. Therefore, we introduce a light-weight meta-reinforcement learning solution that can also cope with sudden changes in the environment through fast convergence. We conduct extensive simulations and compare our approach to three state-of-the-art learning models. Our simulation results prove that our introduced approach is better than the three state-of-the-art algorithms in providing coverage to strategic locations with fast convergence.


title: Measurement and comparison of distributional shift with applications to ecology, economics, and image analysis

abstract: The concept of shift is often invoked to describe directional differences in statistical moments but has not yet been established as a property of individual distributions. In the present study, we define distributional shift (DS) as the concentration of frequencies towards the lowest discrete class and derive its measurement from the sum of cumulative frequencies. We use empirical datasets to demonstrate DS as an advantageous measure of ecological rarity and as a generalisable measure of poverty and scarcity. We then define relative distributional shift (RDS) as the difference in DS between distributions, yielding a uniquely signed (i.e., directional) measure. Using simulated random sampling, we show that RDS is closely related to measures of distance, divergence, intersection, and probabilistic scoring. We apply RDS to image analysis by demonstrating its performance in the detection of light events, changes in complex patterns, patterns within visual noise, and colour shifts. Altogether, DS is an intuitive statistical property that underpins a uniquely useful comparative measure.


title: Enhancing Large Language Models for Clinical Decision Support by Incorporating Clinical Practice Guidelines

abstract: Background Large Language Models (LLMs), enhanced with Clinical Practice Guidelines (CPGs), can significantly improve Clinical Decision Support (CDS). However, methods for incorporating CPGs into LLMs are not well studied. Methods We develop three distinct methods for incorporating CPGs into LLMs: Binary Decision Tree (BDT), Program-Aided Graph Construction (PAGC), and Chain-of-Thought-Few-Shot Prompting (CoT-FSP). To evaluate the effectiveness of the proposed methods, we create a set of synthetic patient descriptions and conduct both automatic and human evaluation of the responses generated by four LLMs: GPT-4, GPT-3.5 Turbo, LLaMA, and PaLM 2. Zero-Shot Prompting (ZSP) was used as the baseline method. We focus on CDS for COVID-19 outpatient treatment as the case study. Results All four LLMs exhibit improved performance when enhanced with CPGs compared to the baseline ZSP. BDT outperformed both CoT-FSP and PAGC in automatic evaluation. All of the proposed methods demonstrated high performance in human evaluation. Conclusion LLMs enhanced with CPGs demonstrate superior performance, as compared to plain LLMs with ZSP, in providing accurate recommendations for COVID-19 outpatient treatment, which also highlights the potential for broader applications beyond the case study.


title: Pressure dependent physical properties of a potential high-TC superconductor ScYH6: insights from first-principles study

abstract: We have investigated the structural, elastic, electronic, thermophysical, superconducting, and optical properties of ScYH6 under uniform hydrostatic pressures up to 25 GPa, using the density functional theory (DFT) formalism. Most of results reported here are novel. The compound ScYH6 has been found to be elastically and thermodynamically stable within the pressure range considered. The compound is brittle; the brittleness decreases with increasing pressure. The elastic anisotropy is low and the machinability index is moderate which increases gradually with rising pressure. The compound is a hard material. The electronic band structure shows weakly metallic character with low density of states at the Fermi level. The Debye temperature of the compound is high and increases with increasing pressure. The Gr\"uneisen parameter of ScYH6 is low and the phonon thermal conductivity is high at room temperature. The compound is a very efficient reflector of infrared radiation. The compound is also an efficient absorber of visible and ultraviolet light. The overall effect of pressure on optical parameters is small. We have also investigated the pressure induced changes in the predicted superconducting state properties by considering the changes in the electronic density of states at the Fermi level, Debye temperature, and the repulsive Coulomb pseudopotential. The superconducting transition temperature is found to increase gradually with increasing pressure.


title: Spatial Structure Constraints for Weakly Supervised Semantic Segmentation

abstract: The image-level label has prevailed in weakly supervised semantic segmentation tasks due to its easy availability. Since image-level labels can only indicate the existence or absence of specific categories of objects, visualization-based techniques have been widely adopted to provide object location clues. Considering class activation maps (CAMs) can only locate the most discriminative part of objects, recent approaches usually adopt an expansion strategy to enlarge the activation area for more integral object localization. However, without proper constraints, the expanded activation will easily intrude into the background region. In this paper, we propose spatial structure constraints (SSC) for weakly supervised semantic segmentation to alleviate the unwanted object over-activation of attention expansion. Specifically, we propose a CAM-driven reconstruction module to directly reconstruct the input image from deep CAM features, which constrains the diffusion of last-layer object attention by preserving the coarse spatial structure of the image content. Moreover, we propose an activation self-modulation module to refine CAMs with finer spatial structure details by enhancing regional consistency. Without external saliency models to provide background clues, our approach achieves 72.7\% and 47.0\% mIoU on the PASCAL VOC 2012 and COCO datasets, respectively, demonstrating the superiority of our proposed approach.


title: Uncertainty-aware Bridge based Mobile-Former Network for Event-based Pattern Recognition

abstract: The mainstream human activity recognition (HAR) algorithms are developed based on RGB cameras, which are easily influenced by low-quality images (e.g., low illumination, motion blur). Meanwhile, the privacy protection issue caused by ultra-high definition (HD) RGB cameras aroused more and more people's attention. Inspired by the success of event cameras which perform better on high dynamic range, no motion blur, and low energy consumption, we propose to recognize human actions based on the event stream. We propose a lightweight uncertainty-aware information propagation based Mobile-Former network for efficient pattern recognition, which aggregates the MobileNet and Transformer network effectively. Specifically, we first embed the event images using a stem network into feature representations, then, feed them into uncertainty-aware Mobile-Former blocks for local and global feature learning and fusion. Finally, the features from MobileNet and Transformer branches are concatenated for pattern recognition. Extensive experiments on multiple event-based recognition datasets fully validated the effectiveness of our model. The source code of this work will be released at https://github.com/Event-AHU/Uncertainty_aware_MobileFormer.


title: EMA-Net: Efficient Multitask Affinity Learning for Dense Scene Predictions

abstract: Multitask learning (MTL) has gained prominence for its ability to jointly predict multiple tasks, achieving better per-task performance while using fewer per-task model parameters than single-task learning. More recently, decoder-focused architectures have considerably improved multitask performance by refining task predictions using the features of other related tasks. However, most of these refinement methods fail to simultaneously capture local and global task-specific representations, as well as cross-task patterns in a parameter-efficient manner. In this paper, we introduce the Efficient Multitask Affinity Learning Network (EMA-Net), which is a lightweight framework that enhances the task refinement capabilities of multitask networks. EMA-Net adeptly captures local, global, and cross-task interactions using our novel Cross-Task Affinity Learning (CTAL) module. The key innovation of CTAL lies in its ability to manipulate task affinity matrices in a manner that is optimally suited to apply parameter-efficient grouped convolutions without worrying about information loss. Our results show that we achieve state-of-the-art MTL performance for CNN-based decoder-focused models while using substantially fewer model parameters. Our code is publicly available at https://github.com/Armanfard-Lab/EMA-Net.


title: Measures determined by their values on balls and Gromov-Wasserstein convergence

abstract: A classical question about a metric space is whether Borel measures on the space are determined by their values on balls. We show that for any given measure this property is stable under Gromov-Wasserstein convergence of metric measure spaces. We then use this result to show that suitable bounded subspaces of the space of persistence diagrams have the property that any Borel measure is determined by its values on balls. This justifies the use of empirical ball volumes for statistical testing in topological data analysis (TDA). Our intended application is to deploy the statistical foundations of van Delft and Blumberg (2023) for time series of random geometric objects in the context of TDA invariants, specifically persistent homology and zigzag persistence.


title: CARE: Ensemble Adversarial Robustness Evaluation Against Adaptive Attackers for Security Applications

abstract: Ensemble defenses, are widely employed in various security-related applications to enhance model performance and robustness. The widespread adoption of these techniques also raises many questions: Are general ensembles defenses guaranteed to be more robust than individuals? Will stronger adaptive attacks defeat existing ensemble defense strategies as the cybersecurity arms race progresses? Can ensemble defenses achieve adversarial robustness to different types of attacks simultaneously and resist the continually adjusted adaptive attacks? Unfortunately, these critical questions remain unresolved as there are no platforms for comprehensive evaluation of ensemble adversarial attacks and defenses in the cybersecurity domain. In this paper, we propose a general Cybersecurity Adversarial Robustness Evaluation (CARE) platform aiming to bridge this gap.


title: The Bit Complexity of Dynamic Algebraic Formulas and their Determinants

abstract: Many iterative algorithms in optimization, computational geometry, computer algebra, and other areas of computer science require repeated computation of some algebraic expression whose input changes slightly from one iteration to the next. Although efficient data structures have been proposed for maintaining the solution of such algebraic expressions under low-rank updates, most of these results are only analyzed under exact arithmetic (real-RAM model and finite fields) which may not accurately reflect the complexity guarantees of real computers. In this paper, we analyze the stability and bit complexity of such data structures for expressions that involve the inversion, multiplication, addition, and subtraction of matrices under the word-RAM model. We show that the bit complexity only increases linearly in the number of matrix operations in the expression. In addition, we consider the bit complexity of maintaining the determinant of a matrix expression. We show that the required bit complexity depends on the logarithm of the condition number of matrices instead of the logarithm of their determinant. We also discuss rank maintenance and its connections to determinant maintenance. Our results have wide applications ranging from computational geometry (e.g., computing the volume of a polytope) to optimization (e.g., solving linear programs using the simplex algorithm).


title: Regularized Estimation of Sparse Spectral Precision Matrices

abstract: Spectral precision matrix, the inverse of a spectral density matrix, is an object of central interest in frequency-domain analysis of multivariate time series. Estimation of spectral precision matrix is a key step in calculating partial coherency and graphical model selection of stationary time series. When the dimension of a multivariate time series is moderate to large, traditional estimators of spectral density matrices such as averaged periodograms tend to be severely ill-conditioned, and one needs to resort to suitable regularization strategies involving optimization over complex variables. In this work, we propose complex graphical Lasso (CGLASSO), an $\ell_1$-penalized estimator of spectral precision matrix based on local Whittle likelihood maximization. We develop fast $\textit{pathwise coordinate descent}$ algorithms for implementing CGLASSO on large dimensional time series data sets. At its core, our algorithmic development relies on a ring isomorphism between complex and real matrices that helps map a number of optimization problems over complex variables to similar optimization problems over real variables. This finding may be of independent interest and more broadly applicable for high-dimensional statistical analysis with complex-valued data. We also present a complete non-asymptotic theory of our proposed estimator which shows that consistent estimation is possible in high-dimensional regime as long as the underlying spectral precision matrix is suitably sparse. We compare the performance of CGLASSO with competing alternatives on simulated data sets, and use it to construct partial coherence network among brain regions from a real fMRI data set.


title: The extremely young planetary nebula M 3-27: an analysis of its evolution, physical conditions and abundances

abstract: Spectrophotometric data of the young planetary nebula M 3-27, from 2004 to 2021, are presented and discussed. We corroborate that the H I Balmer lines present features indicating they are emitted by the central star, therefore He I lines were used to correct line fluxes by effects of reddening. Important variability on the nebular emission lines between 1964 to 2021, probably related to density changes in the nebula, is reported. Diagnostic diagrams to derive electron temperatures and densities have been constructed. The nebula shows a very large density contrast with an inner density of the order of 10$^{7}$ cm$^{-3}$ and an outer density of about $10^3 - 10^4$ cm$^{-3}$. With these values of density, electron temperatures of $16,000 - 18,000$ K have been found from collisionally excited lines. Due to the central star emits in the H$^+$ lines, ionic abundances relative to He$^+$ were calculated from collisionally excited and recombination lines, and scaled to H$^+$ by considering that He$^+$/H$^+$ $=$ He/H$ = 0.11$. ADF(O$^{+2}$) values were also determined. Total abundance values obtained indicate sub-solar abundances, similarly to what is found in other comparable objects like IC 4997.


title: Identification and Estimation of Conditional Average Partial Causal Effects via Instrumental Variable

abstract: There has been considerable recent interest in estimating heterogeneous causal effects. In this paper, we study conditional average partial causal effects (CAPCE) to reveal the heterogeneity of causal effects with continuous treatment. We provide conditions for identifying CAPCE in an instrumental variable setting. Notably, CAPCE is identifiable under a weaker assumption than required by a commonly used measure for estimating heterogeneous causal effects of continuous treatment. We develop three families of CAPCE estimators: sieve, parametric, and reproducing kernel Hilbert space (RKHS)-based, and analyze their statistical properties. We illustrate the proposed CAPCE estimators on synthetic and real-world data.


title: Towards a Non-Ideal Methodological Framework for Responsible ML

abstract: Though ML practitioners increasingly employ various Responsible ML (RML) strategies, their methodological approach in practice is still unclear. In particular, the constraints, assumptions, and choices of practitioners with technical duties -- such as developers, engineers, and data scientists -- are often implicit, subtle, and under-scrutinized in HCI and related fields. We interviewed 22 technically oriented ML practitioners across seven domains to understand the characteristics of their methodological approaches to RML through the lens of ideal and non-ideal theorizing of fairness. We find that practitioners' methodological approaches fall along a spectrum of idealization. While they structured their approaches through ideal theorizing, such as by abstracting RML workflow from the inquiry of applicability of ML, they did not pay deliberate attention and systematically documented their non-ideal approaches, such as diagnosing imperfect conditions. We end our paper with a discussion of a new methodological approach, inspired by elements of non-ideal theory, to structure technical practitioners' RML process and facilitate collaboration with other stakeholders.


title: ConceptThread: Visualizing Threaded Concepts in MOOC Videos

abstract: Massive Open Online Courses (MOOCs) platforms are becoming increasingly popular in recent years. Online learners need to watch the whole course video on MOOC platforms to learn the underlying new knowledge, which is often tedious and time-consuming due to the lack of a quick overview of the covered knowledge and their structures. In this paper, we propose ConceptThread, a visual analytics approach to effectively show the concepts and the relations among them to facilitate effective online learning. Specifically, given that the majority of MOOC videos contain slides, we first leverage video processing and speech analysis techniques, including shot recognition, speech recognition and topic modeling, to extract core knowledge concepts and construct the hierarchical and temporal relations among them. Then, by using a metaphor of thread, we present a novel visualization to intuitively display the concepts based on video sequential flow, and enable learners to perform interactive visual exploration of concepts. We conducted a quantitative study, two case studies, and a user study to extensively evaluate ConceptThread. The results demonstrate the effectiveness and usability of ConceptThread in providing online learners with a quick understanding of the knowledge content of MOOC videos.


title: Field redefinition invariant Lagrange multiplier formalism with gauge symmetries

abstract: It has been shown that by using a Lagrange multiplier field to ensure that the classical equations of motion are satisfied, radiative effects beyond one-loop order are eliminated. It has also been shown that through the contribution of some additional ghost fields, the effective action becomes form invariant under a redefinition of field variables, and furthermore, the usual one-loop results coincide with the quantum corrections obtained from this effective action. In this paper, we consider the consequences of a gauge invariance being present in the classical action. The resulting gauge transformations for the Lagrange multiplier field as well as for the additional ghost fields are found. These gauge transformations result in a set of Faddeev-Popov ghost fields arising in the effective action. If the gauge algebra is closed, we find the Becci-Rouet-Stora-Tyutin (BRST) transformations that leave the effective action invariant.


title: Detection of Solar-like Oscillations in Sub-giant and Red Giant Stars Using 2-minute Cadence TESS Data

abstract: Based on all 2-minute cadence $TESS$ light curves from Sector 1 to 60, we provide a catalog of 8,651 solar-like oscillators, including frequency at maximum power ($\nu_{\rm max}$, with its median precision, $\sigma$=5.39\%), large frequency separation ($\Delta\nu$, $\sigma$=6.22\%), seismically derived masses, radii, and surface gravity. In this sample, we have detected 2,173 new oscillators and added 4,373 new $\Delta\nu$ measurements. Our seismic parameters are consistent with those from $Kepler$, $K2$, and previous $TESS$ data. The median fractional residual in $\nu_{\rm max}$ is $1.63\%$ with a scatter of $14.75\%$, and in $\Delta\nu$ it is $0.11\%$ with a scatter of $10.76\%$. We have detected 476 solar-like oscillators with $\nu_{\rm max}$ exceeding the $Nyquist$ frequency of $Kepler$ long-cadence data during the evolutionary phases of sub-giant and the base of the red-giant branch, which provide a valuable resource for understanding angular momentum transport.


title: COVID-19 as Reflected in University President Bulk Email

abstract: E-mail ``Messages From the President'' to university students, staff, and faculty have long been used to keep campus communities aware of the latest policies, events, and news. But during the COVID-19 pandemic, as universities quickly closed facilities, sent students home, and canceled travel, these messages took on even greater importance. We report on a content analysis of bulk emails from different universities' presidents to their students and employees before and in three stages of the pandemic. We find that these messages change as universities move towards and through closure. During the pandemic, 1) presidential bulk emails tend to be more informative, positive, clearer than before; 2) they tend to use more personal and collective language; 3) university presidents tend to mention more local political leaders and fewer other university leaders. Our results can inform research on digital crisis communication and may be useful for researchers interested in automatically identifying crisis situations from communication streams.


title: Valley filtering and valley valves in irradiated pristine graphene

abstract: We theoretically study valley-filtering in pristine graphene irradiated by bicircular counter-rotating laser drive. The dynamical symmetry of the graphene and laser drive disrupts graphene's inversion symmetry, which results distinct quasi-energy states and Floquet band occupations in the two valleys. Controlling the relative phase between the bicircular laser drive ultimately allows to blocks the contribution from one valley while allowing the opposite valley currents in the system. For practical realization of valley-based device, we propose configurational setup for valley filters and valley valve consisting of two graphene nanoribbons irradiated by two bicircular counter-rotating laser drives with a relative phase shift. It is observed that the relative phase between the two bicircular laser drives offer a control knob to generate valley-selective currents and transport responses with very high efficiency by an all-optical way. In addition, our findings about valley filter and valley valve are robust against moderate disorder and modest changes in driving laser parameters. Present work opens an avenue to realise light-based valleytronics devices in reality.


title: Reconfigurable Intelligent Surface-Enabled Array Radar for Interference Mitigation

abstract: Conventional active array radars often jointly design the transmit and receive beamforming for effectively suppressing interferences. To further promote the interference suppression performance, this paper introduces a reconfigurable intelligent surface (RIS) to assist the radar receiver because the RIS has the ability to bring plentiful additional degrees-of-freedom. To maximize the output signal-to-interference-plus-noise ratio (SINR) of receive array, we formulate the codesign of transmit beamforming and RIS-assisted receive beamforming into a nonconvex constrained fractional programming problem, and then propose an alternating minimization-based algorithm to jointly optimize the transmitor beamfmer, receive beamformer and RIS reflection coefficients. Concretely, we translate the RIS reflection coefficients design into a series of unimodular quadratic programming (UQP) subproblems by employing the Dinkelbach transform, and offer the closed-form optimal solutions of transmit and receive beamformers according to the minimum variance distortionless response principle. To tackle the UQP subproblems efficiently, we propose a second-order Riemannian Newton method (RNM) with improved Riemannian Newton direction, which avoids the line search and has better convergence speed than typical first-order Riemannian manifold optimization methods. Moreover, we derive the convergence of the proposed codesign algorithm by deducing the explicit convergence condition of RNM. We also analyze the computational complexity. Numerical results demonstrate that the proposed RIS-assisted array radar has superior performance of interference suppression to the RIS-free one, and the SINR improvement is proportional to the number of RIS elements.


title: Comparison of $\Lambda$CDM and $R_h = ct$ with updated galaxy cluster $f_{gas}$ measurements using Bayesian inference

abstract: We use updated gas mass fraction measurements of 44 massive dynamically relaxed galaxy clusters collated in arXiv:2111.09343 to distinguish between the standard $\Lambda$CDM model and $R_h=ct$ universe. For this purpose, we use Bayesian model selection to compare the efficacy of both these cosmological models given the data. The gas mass fraction is modeled using both cosmology-dependent terms and also astrophysical parameters, which account for the variation with cluster mass and redshift. We used two different prior choices for some of the astrophysical parameters. We find a Bayes factors of 50 and 5 for $\Lambda$CDM as compared to $R_h=ct$ for these two prior choices. This implies that $\Lambda$CDM is favored compared to $R_h=ct$ with significance ranging from substantial to very strong.


title: Hybrid estimation of single exponential sums, exceptional characters and primes in short intervals

abstract: We provide a new hybrid estimation of single exponential sums, combining Van der Corput, Huxley and Bourgain's result. We also focus on primes in short intervals $(x-x^{\alpha},x]$ under the assumption of the existence of exceptional Dirichlet characters and get a small improvement of a 2004 result of Friedlander and Iwaniec. By using our new estimation of exponential sums, we extend the previous admissible range $0.4937 \leqslant \alpha \leqslant 1$ to $0.4923 \leqslant \alpha \leqslant 1$.


title: Stability Plasticity Decoupled Fine-tuning For Few-shot end-to-end Object Detection

abstract: Few-shot object detection(FSOD) aims to design methods to adapt object detectors efficiently with only few annotated samples. Fine-tuning has been shown to be an effective and practical approach. However, previous works often take the classical base-novel two stage fine-tuning procedure but ignore the implicit stability-plasticity contradiction among different modules. Specifically, the random re-initialized classifiers need more plasticity to adapt to novel samples. The other modules inheriting pre-trained weights demand more stability to reserve their class-agnostic knowledge. Regular fine-tuning which couples the optimization of these two parts hurts the model generalization in FSOD scenarios. In this paper, we find that this problem is prominent in the end-to-end object detector Sparse R-CNN for its multi-classifier cascaded architecture. We propose to mitigate this contradiction by a new three-stage fine-tuning procedure by introducing an addtional plasticity classifier fine-tuning(PCF) stage. We further design the multi-source ensemble(ME) technique to enhance the generalization of the model in the final fine-tuning stage. Extensive experiments verify that our method is effective in regularizing Sparse R-CNN, outperforming previous methods in the FSOD benchmark.


title: Wideband Beamforming for RIS Assisted Near-Field Communications

abstract: A near-field wideband beamforming scheme is investigated for reconfigurable intelligent surface (RIS) assisted multiple-input multiple-output (MIMO) systems, in which a deep learning-based end-to-end (E2E) optimization framework is proposed to maximize the system spectral efficiency. To deal with the near-field double beam split effect, the base station is equipped with frequency-dependent hybrid precoding architecture by introducing sub-connected true time delay (TTD) units, while two specific RIS architectures, namely true time delay-based RIS (TTD-RIS) and virtual subarray-based RIS (SA-RIS), are exploited to realize the frequency-dependent passive beamforming at the RIS. Furthermore, the efficient E2E beamforming models without explicit channel state information are proposed, which jointly exploits the uplink channel training module and the downlink wideband beamforming module. In the proposed network architecture of the E2E models, the classical communication signal processing methods, i.e., polarized filtering and sparsity transform, are leveraged to develop a signal-guided beamforming network. Numerical results show that the proposed E2E models have superior beamforming performance and robustness to conventional beamforming benchmarks. Furthermore, the tradeoff between the beamforming gain and the hardware complexity is investigated for different frequency-dependent RIS architectures, in which the TTD-RIS can achieve better spectral efficiency than the SA-RIS while requiring additional energy consumption and hardware cost.


title: Generic Predictions for Primordial Perturbations and their implications

abstract: We introduce a novel framework for studying small-scale primordial perturbations and their cosmological implications. The framework uses a deep reinforcement learning to generate scalar power spectrum profiles that are consistent with current observational constraints. The framework is shown to predict the abundance of primordial black holes and the production of secondary induced gravitational waves. We demonstrate that the set up under consideration is capable of generating predictions that are beyond the traditional model-based approaches.


title: Gaussian Adaptive Attention is All You Need: Robust Contextual Representations Across Multiple Modalities

abstract: We propose the Multi-Head Gaussian Adaptive Attention Mechanism (GAAM), a novel probabilistic attention framework, and the Gaussian Adaptive Transformer (GAT), designed to enhance information aggregation across multiple modalities, including Speech, Text and Vision. GAAM integrates learnable mean and variance into its attention mechanism, implemented in a Multi-Headed framework enabling it to collectively model any Probability Distribution for dynamic recalibration of feature significance. This method demonstrates significant improvements, especially with highly non-stationary data, surpassing the state-of-the-art attention techniques in model performance (up to approximately +20% in accuracy) by identifying key elements within the feature space. GAAM's compatibility with dot-product-based attention models and relatively low number of parameters showcases its adaptability and potential to boost existing attention frameworks. Empirically, GAAM exhibits superior adaptability and efficacy across a diverse range of tasks, including emotion recognition in speech, image classification, and text classification, thereby establishing its robustness and versatility in handling multi-modal data. Furthermore, we introduce the Importance Factor (IF), a new learning-based metric that enhances the explainability of models trained with GAAM-based methods. Overall, GAAM represents an advancement towards development of better performing and more explainable attention models across multiple modalities.

categories: cs.LG cs.AI cs.CL cs.CV cs.SD eess.AS eess.SP


title: Towards Open-World Gesture Recognition

abstract: Static machine learning methods in gesture recognition assume that training and test data come from the same underlying distribution. However, in real-world applications involving gesture recognition on wrist-worn devices, data distribution may change over time. We formulate this problem of adapting recognition models to new tasks, where new data patterns emerge, as open-world gesture recognition (OWGR). We propose leveraging continual learning to make machine learning models adaptive to new tasks without degrading performance on previously learned tasks. However, the exploration of parameters for questions around when and how to train and deploy recognition models requires time-consuming user studies and is sometimes impractical. To address this challenge, we propose a design engineering approach that enables offline analysis on a collected large-scale dataset with various parameters and compares different continual learning methods. Finally, design guidelines are provided to enhance the development of an open-world wrist-worn gesture recognition process.


title: Document Set Expansion with Positive-Unlabeled Learning: A Density Estimation-based Approach

abstract: Document set expansion aims to identify relevant documents from a large collection based on a small set of documents that are on a fine-grained topic. Previous work shows that PU learning is a promising method for this task. However, some serious issues remain unresolved, i.e. typical challenges that PU methods suffer such as unknown class prior and imbalanced data, and the need for transductive experimental settings. In this paper, we propose a novel PU learning framework based on density estimation, called puDE, that can handle the above issues. The advantage of puDE is that it neither constrained to the SCAR assumption and nor require any class prior knowledge. We demonstrate the effectiveness of the proposed method using a series of real-world datasets and conclude that our method is a better alternative for the DSE task.


title: Generalized Optimal AMG Convergence Theory for Nonsymmetric and Indefinite Problems

abstract: Algebraic multigrid (AMG) is known to be an effective solver for many sparse symmetric positive definite (SPD) linear systems. For SPD systems, the convergence theory of AMG is well-understood in terms of the $A$-norm but in a nonsymmetric setting such an energy norm is non-existent. For this reason, convergence of AMG for nonsymmetric systems of equations remains an open area of research. Existing nonsymmetric AMG algorithms in this setting mostly rely on heuristics motivated by SPD convergence theory. In the SPD setting, the classical form of optimal AMG interpolation provides a useful insight in determining the two grid convergence rate of the method. In this work, we discuss a generalization of the optimal AMG convergence theory targeting nonsymmetric problems by constructing a $2\times 2$ block symmetric indefinite system so that the Petrov-Galerkin AMG process for the nonsymmetric matrix $A$ can be recast as a Galerkin AMG process for a symmetric indefinite system. We show that using this generalization of the optimal interpolation theory, one can obtain the same identity for the two-grid convergence rate as that derived in the SPD setting for optimal interpolation. We also provide supporting numerical results for the convergence result and nonsymmetric advection-diffusion problems.


title: Nonadiabatic geometric quantum gates with on-demand trajectories

abstract: High-fidelity quantum gates are an essential prerequisite for large-scale quantum computation. When manipulating practical quantum systems, environmentally and operationally induced errors are inevitable, and thus, in addition to being fast, it is preferable that operations should be intrinsically robust against different errors. Here, we propose a general protocol for constructing geometric quantum gates with on-demand trajectories by modulating the applied pulse shapes that define the system's evolution trajectory. Our scheme adopts reverse engineering of the target Hamiltonian using smooth pulses, which also eliminates the difficulty of calculating geometric phases for an arbitrary trajectory. Furthermore, because a particular geometric gate can be induced by various different trajectories, we can further optimize the gate performance under different scenarios; the results of numerical simulations indicate that this optimization can greatly enhance the quality of the gate. In addition, we present an implementation of our proposal using superconducting circuits, showcasing substantial enhancements in gate performance compared with conventional schemes. Our protocol thus presents a promising approach for high-fidelity and strong-robust geometric quantum gates for large-scale quantum computation.


title: Enhancing System-Level Safety in Mixed-Autonomy Platoon via Safe Reinforcement Learning

abstract: Connected and automated vehicles (CAVs) have recently gained prominence in traffic research due to advances in communication technology and autonomous driving. Various longitudinal control strategies for CAVs have been developed to enhance traffic efficiency, stability, and safety in mixed-autonomy scenarios. Deep reinforcement learning (DRL) is one promising strategy for mixed-autonomy platoon control, thanks to its capability of managing complex scenarios in real time after sufficient offline training. However, there are three research gaps for DRL-based mixed-autonomy platoon control: (i) the lack of theoretical collision-free guarantees, (ii) the widely adopted but impractical assumption of skilled and rational drivers who will not collide with preceding vehicles, and (iii) the strong assumption of a known human driver model. To address these research gaps, we propose a safe DRL-based controller that can provide a system-level safety guarantee for mixed-autonomy platoon control. First, we combine control barrier function (CBF)-based safety constraints and DRL via a quadratic programming (QP)-based differentiable neural network layer to provide theoretical safety guarantees. Second, we incorporate system-level safety constraints into our proposed method to account for the safety of both CAVs and the following HDVs to address the potential collisions due to irrational human driving behavior. Third, we devise a learning-based system identification approach to estimate the unknown human car-following behavior in the real system. Simulation results demonstrate that our proposed method effectively ensures CAV safety and improves HDV safety in mixed platoon environments while simultaneously enhancing traffic capacity and string stability.


title: Weaving classical turbulence with quantum skeleton

abstract: Matter entanglement is a common chaotic structure in both quantum and classical systems. Turbulence can be pictured as a tangle of vortex filaments in superfluids and viscous vortices in classical fluids. However, it is hard to explain how the statistical properties of turbulence arise from elemental structures. Here we use the quantum vortex tangle as a skeleton to generate an instantaneous classical turbulent field with intertwined vortex tubes. Combining the quantum skeleton and tunable vortex thickness makes the synthetic turbulence satisfy key statistical laws and provides valuable insights for elucidating energy cascade and extreme events. By manipulating the elemental structures, we customize turbulence with desired statistical features. This bottom-up approach of "weaving" turbulence provides a testbed for analyzing and modeling turbulence.


title: Simultaneous Gesture Classification and Localization with an Automatic Gesture Annotation Model

abstract: Training a real-time gesture recognition model heavily relies on annotated data. However, manual data annotation is costly and demands substantial human effort. In order to address this challenge, we propose a novel annotation model that can automatically annotate gesture classes and identify their temporal ranges. Our ablation study demonstrates that our annotation model design surpasses the baseline in terms of both gesture classification accuracy (3-4\% improvement) and localization accuracy (71-75\% improvement). We believe that this annotation model has immense potential to improve the training of downstream gesture recognition models using unlabeled datasets.


title: Determination of the Energy Eigenvalues of the Varshni-Hellmann Potential

abstract: In this paper, we solve the bound state problem for Varshni-Hellmann potential via a useful technique. In our technique, we obtain the bound state solution of the Schrodinger equation for the Varshni-Hellmann potential via ansatz method. We obtain the energy eigenvalues and the corresponding eigen-functions. Also, the behavior of the energy spectra for both the ground and the excited state of the two body systems is illustrated graphically. The similarity of our results to the accurate numerical values is indicative of the efficiency of our technique.


title: Face numbers of triangulations of manifolds

abstract: In this paper we discuss face numbers of generalised triangulations of manifolds in arbitrary dimensions. This is motivated by the study of triangulations of simply connected $4$-manifolds: We observe that, for a triangulation $\mathcal{T}$ of a simply connected $4$-manifold $\mathcal{M}$ with $n$ pentachora, an upper bound on the number of vertices $v$ of $\mathcal{T}$ as a function of $n$ yields a lower bound for $n$ depending only on the second Betti number $\beta_2(\mathcal{M})$ of $\mathcal{M}$. Within this framework we conjecture that $v \leq \frac{n}{2}+4$, implying $n \geq 2\beta_2(\mathcal{M})$. In forthcoming work by the authors, this conjectured bound is shown to be almost tight for all values of $\beta_2(\mathcal{M})$, with a gap of at most two. We extend our conjecture to arbitrary dimensions and show that an $n$-facet triangulation of an odd-dimensional $d$-manifold, $n \geq d$, can have at most $n + \frac{d-1}{2}$ vertices, and conjecture that, for $d$ even, the bound is $\frac{n}{2}+d$. We show that these (conjectured) bounds are (would be) tight for all odd (even) dimensions and all values of $n \geq d$. Finally, we give necessary conditions for the dual graph of $\mathcal{T}$ to satisfy our conjecture. We furthermore present families of $4$-dimensional pseudomanifolds with singularities in their edge links that have more than $\frac{n}{2}+4$ vertices, thereby proving that the manifold condition is necessary for our conjecture to hold.


title: A generalization of the dimension and radius of a subcategory of modules and its applications

abstract: Let $R$ be a commutative noetherian local ring and denote by $\operatorname{mod} R$ the category of finitely generated $R$-modules. In this paper, we give some evaluations of the singular locus of $R$ and annihilators of Tor and Ext from a viewpoint of the finiteness of dimensions/radii of full subcategories of $\operatorname{mod} R$. As an application, we recover a theorem of Dey and Takahashi when $R$ is Cohen--Macaulay. Moreover, we obtain the divergence of the dimensions of specific full subcategories of $\operatorname{mod} R$ in non-Cohen--Macaulay case.


title: Motility and pair-wise interactions of chemically active droplets in 1-D confinement

abstract: Self-propelled droplets serve as ideal model systems to delve deeper into understanding of the motion of biological micro-swimmers by simulating their motility. Biological microorganisms are renowned for showcasing a diverse array of dynamic swimming behaviors when confronted with physical constraints. This study aims to elucidate the impact of physical constraints on swimming characteristics of biological microorganisms. To achieve this, we present observations on the individual and pair-wise behavior of micellar solubilized self-propelled 4-Cyano-4'-pentyl-biphenyl (5CB) oil droplets in a square capillary channel filled with a surfactant trimethyl ammonium bromide (TTAB) aqueous solution. To explore the effect of the underlying P\'eclet ($Pe$) number of the swimming droplets, the study is also performed in the presence of additives such as high molecular weight polymer Polyethylene oxide (PEO) and molecular solute glycerol. The capillary confinement restricts droplet to predominantly one-dimensional (1D) motion, albeit with noticeable differences in their motion across the three scenarios. Through a characterization of the chemical and hydrodynamic flow fields surrounding the droplets, we illustrate that the modification of the droplets' chemical field due to confinement varies significantly based on the underlying differences in the P\'eclet number ($Pe$) in these cases. This alteration in the chemical field distribution notably affects the individual droplets' motion. Moreover, these distinct chemical field interactions between the droplets also lead to variations in their pair-wise motion, ranging from behaviors like chasing to scattering.


title: Deep Learning-Based Adaptive Joint Source-Channel Coding using Hypernetworks

abstract: Deep learning-based joint source-channel coding (DJSCC) is expected to be a key technique for {the} next-generation wireless networks. However, the existing DJSCC schemes still face the challenge of channel adaptability as they are typically trained under specific channel conditions. In this paper, we propose a generic framework for channel-adaptive DJSCC by utilizing hypernetworks. To tailor the hypernetwork-based framework for communication systems, we propose a memory-efficient hypernetwork parameterization and then develop a channel-adaptive DJSCC network, named Hyper-AJSCC. Compared with existing adaptive DJSCC based on the attention mechanism, Hyper-AJSCC introduces much fewer parameters and can be seamlessly combined with various existing DJSCC networks without any substantial modifications to their neural network architecture. Extensive experiments demonstrate the better adaptability to channel conditions and higher memory efficiency of Hyper-AJSCC compared with state-of-the-art baselines.


title: Generalizing Speaker Verification for Spoof Awareness in the Embedding Space

abstract: It is now well-known that automatic speaker verification (ASV) systems can be spoofed using various types of adversaries. The usual approach to counteract ASV systems against such attacks is to develop a separate spoofing countermeasure (CM) module to classify speech input either as a bonafide, or a spoofed utterance. Nevertheless, such a design requires additional computation and utilization efforts at the authentication stage. An alternative strategy involves a single monolithic ASV system designed to handle both zero-effort imposter (non-targets) and spoofing attacks. Such spoof-aware ASV systems have the potential to provide stronger protections and more economic computations. To this end, we propose to generalize the standalone ASV (G-SASV) against spoofing attacks, where we leverage limited training data from CM to enhance a simple backend in the embedding space, without the involvement of a separate CM module during the test (authentication) phase. We propose a novel yet simple backend classifier based on deep neural networks and conduct the study via domain adaptation and multi-task integration of spoof embeddings at the training stage. Experiments are conducted on the ASVspoof 2019 logical access dataset, where we improve the performance of statistical ASV backends on the joint (bonafide and spoofed) and spoofed conditions by a maximum of 36.2% and 49.8% in terms of equal error rates, respectively.


title: Quasiparticle scattering in three-dimensional topological insulators near the thickness limit

abstract: In the ultra-thin regime, Bi2Te3 films feature two surfaces (with each surface being a two-dimensional Dirac-fermion system) with complicated spin textures and a tunneling term between them. We find in this regime that the quasiparticle scattering is completely different compared with the thick-film case and even behaves differently at each thickness. The thickness-dependent warping effect and tunneling term are found to be the two main factors that govern the scattering behaviors. The inter-band back-scattering that signals the existence of a tunneling term is found to disappear at 4 quintuple layers by the step-edge reflection approach. A four-band model is presented that captures the main features of the thickness-dependent scattering behaviors. Our work clarifies that the prohibition of back-scattering guaranteed by symmetry in topological insulators breaks down in the ultra-thin regime.


title: Data-driven Option Pricing

abstract: We propose an innovative data-driven option pricing methodology that relies exclusively on the dataset of historical underlying asset prices. While the dataset is rooted in the objective world, option prices are commonly expressed as discounted expectations of their terminal payoffs in a risk-neutral world. Bridging this gap motivates us to identify a pricing kernel process, transforming option pricing into evaluating expectations in the objective world. We recover the pricing kernel by solving a utility maximization problem, and evaluate the expectations in terms of a functional optimization problem. Leveraging the deep learning technique, we design data-driven algorithms to solve both optimization problems over the dataset. Numerical experiments are presented to demonstrate the efficiency of our methodology.


title: Solar cycle variability induced by stochastic fluctuations of BMR properties and at different amounts of dynamo supercriticality

abstract: Understanding the irregular variation of the solar cycle is crucial due to its significant impact on global climates and the heliosphere. Since the polar magnetic field determines the amplitude of the next solar cycle, variations in the polar field can lead to fluctuations in the solar cycle. We have explored the variability of the solar cycle at different levels of dynamo supercriticality. We observe that the variability depends on the dynamo operation regime, with the near-critical regime exhibiting more variability than the supercritical regime. Furthermore, we have explored the effects of the irregular BMR properties (emergence rate, latitude, tilt, and flux) on the polar field and the solar cycle. We find that they all produce considerable variation in the solar cycle; however, the variation due to the tilt scatter is the largest.


title: Quasi-Perfect and Distance-Optimal Codes Sum-Rank Codes

abstract: Constructions of distance-optimal codes and quasi-perfect codes are challenging problems and have attracted many attentions. In this paper, we give the following three results. 1) If $\lambda|q^{sm}-1$ and $\lambda <\sqrt{\frac{(q^s-1)}{2(q-1)^2(1+\epsilon)}}$, an infinite family of distance-optimal $q$-ary cyclic sum-rank codes with the block length $t=\frac{q^{sm}-1}{\lambda}$, the matrix size $s \times s$, the cardinality $q^{s^2t-s(2m+3)}$ and the minimum sum-rank distance four is constructed. 2) Block length $q^4-1$ and the matrix size $2 \times 2$ distance-optimal sum-rank codes with the minimum sum-rank distance four and the Singleton defect four are constructed. These sum-rank codes are close to the sphere packing bound , the Singleton-like bound and have much larger block length $q^4-1>>q-1$. 3) For given positive integers $m$ satisfying $2 \leq m$, an infinite family of quasi-perfect sum-rank codes with the matrix size $2 \times m$, and the minimum sum-rank distance three is also constructed. Quasi-perfect binary sum-rank codes with the minimum sum-rank distance four are also given. Almost MSRD $q$-ary codes with the block lengths up to $q^2$ are given. We show that more distance-optimal binary sum-rank codes can be obtained from the Plotkin sum.


title: BinaryAI: Binary Software Composition Analysis via Intelligent Binary Source Code Matching

abstract: While third-party libraries are extensively reused to enhance productivity during software development, they can also introduce potential security risks such as vulnerability propagation. Software composition analysis, proposed to identify reused TPLs for reducing such risks, has become an essential procedure within modern DevSecOps. As one of the mainstream SCA techniques, binary-to-source SCA identifies the third-party source projects contained in binary files via binary source code matching, which is a major challenge in reverse engineering since binary and source code exhibit substantial disparities after compilation. The existing binary-to-source SCA techniques leverage basic syntactic features that suffer from redundancy and lack robustness in the large-scale TPL dataset, leading to inevitable false positives and compromised recall. To mitigate these limitations, we introduce BinaryAI, a novel binary-to-source SCA technique with two-phase binary source code matching to capture both syntactic and semantic code features. First, BinaryAI trains a transformer-based model to produce function-level embeddings and obtain similar source functions for each binary function accordingly. Then by applying the link-time locality to facilitate function matching, BinaryAI detects the reused TPLs based on the ratio of matched source functions. Our experimental results demonstrate the superior performance of BinaryAI in terms of binary source code matching and the downstream SCA task. Specifically, our embedding model outperforms the state-of-the-art model CodeCMR, i.e., achieving 22.54% recall@1 and 0.34 MRR compared with 10.75% and 0.17 respectively. Additionally, BinaryAI outperforms all existing binary-to-source SCA tools in TPL detection, increasing the precision from 73.36% to 85.84% and recall from 59.81% to 64.98% compared with the well-recognized commercial SCA product Black Duck.


title: Extending Polaris to Support Transactions

abstract: In Polaris, we introduced a cloud-native distributed query processor to perform analytics at scale. In this paper, we extend the underlying Polaris distributed computation framework, which can be thought of as a read-only transaction engine, to execute general transactions (including updates, deletes, inserts and bulk loads, in addition to queries) for Tier 1 warehousing workloads in a highly performant and predictable manner. We take advantage of the immutability of data files in log-structured data stores and build on SQL Server transaction management to deliver full transactional support with Snapshot Isolation semantics, including multi-table and multi-statement transactions. With the enhancements described in this paper, Polaris supports both query processing and transactions for T-SQL in Microsoft Fabric.


title: Unveiling the stacking-dependent electronic properties of 2D ultrathin rare-earth metalloxenes family LnX$_2$ (Ln = Eu, Gd, Dy; X = Ge, Si)

abstract: The studies of electronic effects in reduced dimensionality have become a frontier in nanoscience due to exotic and highly tunable character of quantum phenomena. Recently, a new class of 2D ultrathin Ln$X_2$ metalloxenes composed of a triangular lattice of lanthanide ions (Ln) coupled with 2D-Xenes of silicene or germanene ($X_2$) was introduced and studied with a particular focus on magnetic and transport properties. However, the electronic properties of metalloxenes and their effective functionalization remain mainly unexplored. Here, using a number of experimental and theoretical techniques, we trace the evolution of electronic properties and magnetic ground state of metalloxenes triggered by external perturbations. We demonstrate that the band structure of Ln$X_2$ films can be uniquely modified by controlling the Xenes stacking, thickness, varying the rare-earth and host elements, and applying an external electric field. Our findings suggest new pathways to manipulate the electronic properties of 2D rare-earth magnets that can be adjusted for spintronics applications.