title: Scouring Parrondo's Paradox in Discrete-Time Quantum Walks

abstract: We propose a quantum game based on coin-based quantum walks. Given a quantum walk and a Hermitian operator on the coin-position composite space, winning this game involves choosing an initial coin state such that the given quantum walk leads to a composite state in which the expectation value of the given Hermitian operator is greater than a certain value. Parrondo's paradox is a phenomenon where a combination of losing strategies becomes a winning strategy. We give a deterministic scheme for identifying Parrondo's paradox in our game, in the sense that, given a collection of distinct quantum steps, we identify initial coin states which happen to be losing states for all quantum walks comprising solely of these steps individually, but turn out to be winning states for a quantum walk comprising of all the given steps taken in a sequence. Unlike traditional quantum steps that allow for equal magnitude forward and backward strides based on the outcome of the coin-toss, the steps of the quantum walks employed here, though still contingent upon coin-toss, permit the strides to be of unequal magnitude, and not necessarily in opposite directions. We believe the results presented here will contribute to a deeper understanding of evolution of expectation values of observables in quantum walks, and facilitate the development of novel quantum algorithms.


title: A GAN-based data poisoning framework against anomaly detection in vertical federated learning

abstract: In vertical federated learning (VFL), commercial entities collaboratively train a model while preserving data privacy. However, a malicious participant's poisoning attack may degrade the performance of this collaborative model. The main challenge in achieving the poisoning attack is the absence of access to the server-side top model, leaving the malicious participant without a clear target model. To address this challenge, we introduce an innovative end-to-end poisoning framework P-GAN. Specifically, the malicious participant initially employs semi-supervised learning to train a surrogate target model. Subsequently, this participant employs a GAN-based method to produce adversarial perturbations to degrade the surrogate target model's performance. Finally, the generator is obtained and tailored for VFL poisoning. Besides, we develop an anomaly detection algorithm based on a deep auto-encoder (DAE), offering a robust defense mechanism to VFL scenarios. Through extensive experiments, we evaluate the efficacy of P-GAN and DAE, and further analyze the factors that influence their performance.


title: The Influence of Stellar Rotation in Binary Systems on Core-Collapse Supernova Progenitors and Multi-messenger Signals

abstract: The detailed structure of core-collapse supernova progenitors is crucial for studying supernova explosion engines and the corresponding multimessenger signals. In this paper, we investigate the influence of stellar rotation on binary systems consisting of a 30 solar mass donor star and a 20 solar mass accretor using the MESA stellar evolution code. We find that through mass transfer in binary systems, fast-rotating red- and blue-supergiant progenitors can be formed within a certain range of initial orbital periods, albeit the correlation is not linear. We also find that even with the same initial mass ratio of the binary system, the resulting final masses of the collapsars, the iron core masses, the compactness parameters, and the final rotational rates can vary widely and are sensitive to the initial orbital periods. For instance, the progenitors with strong convection form a thinner Si-shell and a wider O-shell compared to those in single-star systems. In addition, we conduct two-dimensional self-consistent core-collapse supernova simulations with neutrino transport for these rotating progenitors derived from binary stellar evolution. We find that the neutrino and gravitational-wave signatures of these binary progenitors could exhibit significant variations. Progenitors with larger compactness parameters produce more massive proto-neutron stars, have higher mass-accretion rates, and emit brighter neutrino luminosity and louder gravitational emissions. Finally, we observe stellar-mass black hole formation in some of our failed exploding models.


title: Rigid Protein-Protein Docking via Equivariant Elliptic-Paraboloid Interface Prediction

abstract: The study of rigid protein-protein docking plays an essential role in a variety of tasks such as drug design and protein engineering. Recently, several learning-based methods have been proposed for the task, exhibiting much faster docking speed than those computational methods. In this paper, we propose a novel learning-based method called ElliDock, which predicts an elliptic paraboloid to represent the protein-protein docking interface. To be specific, our model estimates elliptic paraboloid interfaces for the two input proteins respectively, and obtains the roto-translation transformation for docking by making two interfaces coincide. By its design, ElliDock is independently equivariant with respect to arbitrary rotations/translations of the proteins, which is an indispensable property to ensure the generalization of the docking process. Experimental evaluations show that ElliDock achieves the fastest inference time among all compared methods and is strongly competitive with current state-of-the-art learning-based models such as DiffDock-PP and Multimer particularly for antibody-antigen docking.


title: The Quantum Cryptography Approach: Unleashing the Potential of Quantum Key Reconciliation Protocol for Secure Communication

abstract: Quantum cryptography is the study of delivering secret communications across a quantum channel. Recently, Quantum Key Distribution (QKD) has been recognized as the most important breakthrough in quantum cryptography. This process facilitates two distant parties to share secure communications based on physical laws. The BB84 protocol was developed in 1984 and remains the most widely used among BB92, Ekert91, COW, and SARG04 protocols. However the practical security of QKD with imperfect devices have been widely discussed, and there are many ways to guarantee that generated key by QKD still provides unconditional security. This paper proposed a novel method that allows users to communicate while generating the secure keys as well as securing the transmission without any leakage of the data. In this approach sender will never reveal her basis, hence neither the receiver nor the intruder will get knowledge of the fundamental basis.Further to detect Eve, polynomial interpolation is also used as a key verification technique. In order to fully utilize the quantum computing capabilities provided by IBM quantum computers, the protocol is executed using the Qiskit backend for 45 qubits. This article discusses a plot of % error against alpha (strength of eavesdropping). As a result, different types of noise have been included, and the success probability of the desired key bits has been determined. Furthermore, the success probability under depolarizing noise is explained for different qubit counts.Last but not least, even when the applied noise is increased to maximum capacity, a 50% probability of successful key generation is still observed in an experiment.


title: DECENT-BRM: Decentralization through Block Reward Mechanisms

abstract: Proof-of-Work is a consensus algorithm where miners solve cryptographic puzzles to mine blocks and obtain a reward through some Block Reward Mechanism (BRM). PoW blockchain faces the problem of centralization due to the formation of mining pools, where miners mine blocks as a group and distribute rewards. The rationale is to reduce the risk (variance) in reward while obtaining the same expected block reward. In this work, we address the problem of centralization due to mining pools in PoW blockchain. We propose a two-player game between the new miner joining the system and the PoW blockchain system. We model the utility for the incoming miner as a combination of (i) expected block reward, (ii) risk, and (iii) cost of switching between different mining pools. With this utility structure, we analyze the equilibrium strategy of the incoming miner for different BRMs: (a) memoryless -- block reward is history independent (e.g., Bitcoin) (b) retentive: block reward is history-dependent (e.g., Fruitchains). For memoryless BRMs, we show that depending on the coefficient of switching cost $c$, the protocol is decentralized when $c = 0$ and centralized when $c > \underline{c}$. In addition, we show the impossibility of constructing a memoryless BRM where solo mining gives a higher payoff than forming/joining mining pools. While retentive BRM in Fruitchains reduces risk in solo mining, the equilibrium strategy for incoming miners is still to join mining pools, leading to centralization. We then propose our novel retentive BRM -- \textsf{Decent-BRM}. We show that under \textsf{Decent-BRM}, incoming miners obtain higher utility in solo mining than joining mining pools. Therefore, no mining pools are formed, and the Pow blockchain using \textsf{Decent-BRM} is decentralized.


title: Five Starter Problems: Solving Quadratic Unconstrained Binary Optimization Models on Quantum Computers

abstract: Several articles and books adequately cover quantum computing concepts, such as gate/circuit model (and Quantum Approximate Optimization Algorithm, QAOA), Adiabatic Quantum Computing (AQC), and Quantum Annealing (QA). However, they typically stop short of accessing quantum hardware and solve numerical problem instances. This tutorial offers a quick hands-on introduction to solving Quadratic Unconstrained Binary Optimization (QUBO) problems on currently available quantum computers. We cover both IBM and D-Wave machines: IBM utilizes a gate/circuit architecture, and D-Wave is a quantum annealer. We provide examples of three canonical problems (Number Partitioning, Max-Cut, Minimum Vertex Cover), and two models from practical applications (from cancer genomics and a hedge fund portfolio manager, respectively). An associated GitHub repository provides the codes in five companion notebooks. Catering to undergraduate and graduate students in computationally intensive disciplines, this article also aims to reach working industry professionals seeking to explore the potential of near-term quantum applications.


title: Products in double categories, revisited

abstract: Products in double categories, as found in cartesian double categories, are an elegant concept with numerous applications, yet also have a few puzzling aspects. In this paper, we revisit double-categorical products from an unbiased perspective, following up an original idea by Par\'e to employ a double-categorical analogue of the family construction, or free product completion. Defined in this way, double categories with finite products are strictly more expressive than cartesian double categories, while being governed by a single universal property that is no more difficult to work with. We develop the basic theory and examples of such products and, by duality, of coproducts in double categories. As an application, we introduce finite-product double theories, a categorification of finite-product theories that extends recent work by Lambert and the author on cartesian double theories, and we construct the virtual double category of models of a finite-product double theory.


title: Knight Watch: Ubiquitous Computing Enhancements To Sleep Quality With Acoustic Analysis

abstract: This project introduces a wearable, non-intrusive device for snoring detection and remediation, designed to be placed under or alongside a pillow. The device uses sensors and machine learning algorithms to detect snoring and employs gentle vibrations to prompt positional changes, thereby reducing snoring episodes. The device is capable of connecting via an API to a cloud-based platform for the analysis of snoring sleep patterns and environmental context. The paper details the development from concept to prototype, emphasizing the technical challenges, solutions, and alignment with ubiquitous computing in sleep quality improvement.


title: Efficient Adapter Finetuning for Tail Languages in Streaming Multilingual ASR

abstract: The end-to-end ASR model is often desired in the streaming multilingual scenario since it is easier to deploy and can benefit from pre-trained speech models such as powerful foundation models. Meanwhile, the heterogeneous nature and imbalanced data abundance of different languages may cause performance degradation, leading to asynchronous peak performance for different languages during training, especially on tail ones. Sometimes even the data itself may become unavailable as a result of the enhanced privacy protection. Existing work tend to significantly increase the model size or learn language-specific decoders to accommodate each language separately. In this study, we explore simple yet effective Language-Dependent Adapter (LDA) finetuning under a cascaded Conformer transducer framework enhanced by teacher pseudo-labeling for tail languages in the streaming multilingual ASR. The adapter only accounts for 0.4% of the full model per language. It is plugged into the frozen foundation model and is the only trainable module during the finetuning process with noisy student training. The final model merges the adapter parameters from different checkpoints for different languages. The model performance is validated on a challenging multilingual dictation dataset, which includes 39 tail languages across Latin, Greek, Arabic, etc. Our proposed method brings 12.2% word error rate reduction on average and up to 37.5% on a single locale. Furthermore, we show that our parameter-efficient LDA can match the quality of the full model finetuning, thus greatly alleviating the asynchronous peak performance issue.


title: Estimating Gender Completeness in Wikipedia

abstract: Gender imbalance in Wikipedia content is a known challenge which the editor community is actively addressing. The aim of this paper is to provide the Wikipedia community with instruments to estimate the magnitude of the problem for different entity types (also known as classes) in Wikipedia. To this end, we apply class completeness estimation methods based on the gender attribute. Our results show not only which gender for different sub-classes of Person is more prevalent in Wikipedia, but also an idea of how complete the coverage is for difference genders and sub-classes of Person.


title: Understanding and Facilitating Mental Health Help-Seeking of Young Adults: A Socio-technical Ecosystem Framework

abstract: Prior research on young adults' mental health help-seeking mostly focuses on one particular resource such as a mobile app or digital platform, paying less attention to their lived experiences interacting with the ecosystem of resources. We conducted in-depth interviews with 18 participants about their help-seeking and non-help-seeking experiences. Guided by Social Ecological Theory, we proposed a Socio-technical Ecosystem Framework for mental health care, consisting of four levels of resources, including technological-, interpersonal-, community-, and societal level resources. Using this framework, we identified two types of support systems for help-seeking, single-resource support system and multi-resource support system. These resources support young adults' help-seeking via three mechanisms, \textit{care-giving}, \textit{care-mediating}, and \textit{care-outreaching}, forming various pathways to care. We then pointed out the barriers to resource use at each level and the general challenges in finding a support system. Our findings contributed to a conceptual framework to categorize mental health care. It also serves as a practical framework to identify challenges in the pathways to care and discover design implications.


title: Explicit design optimization of air rudders for maximizing stiffness and fundamental frequency

abstract: In aerospace engineering, there is a growing demand for lightweight design through topology optimization. This paper presents a novel design optimization method for stiffened air rudders, commonly used for aircraft attitude control, based on the Moving Morphable Components (MMC) method. The stiffeners within the irregular enclosed design domain are modeled as MMCs and discretized by shell elements, accurately capturing their geometry and evolution during optimization process using explicit parameters. In order to maximize the stiffness and fundamental frequency of the rudder structures, numerical analysis algorithms were developed with shape sensitivity analysis conducted. To comply with the manufacturing requirement, a minimum thickness is prescribed for the stiffeners. Penalty strategies were developed for the thickness and density of stiffeners with thickness smaller than the threshold to meet the thickness requirement and suppress spurious modes. The method's effectiveness was demonstrated through optimization examples of two typical air rudders, illustrating the significance of stiffener's distribution on design objectives. The explicit modeling characteristics allow for directly importing the optimization results into CAD systems, significantly enhancing the engineering applicability.


title: MicroNAS: Zero-Shot Neural Architecture Search for MCUs

abstract: Neural Architecture Search (NAS) effectively discovers new Convolutional Neural Network (CNN) architectures, particularly for accuracy optimization. However, prior approaches often require resource-intensive training on super networks or extensive architecture evaluations, limiting practical applications. To address these challenges, we propose MicroNAS, a hardware-aware zero-shot NAS framework designed for microcontroller units (MCUs) in edge computing. MicroNAS considers target hardware optimality during the search, utilizing specialized performance indicators to identify optimal neural architectures without high computational costs. Compared to previous works, MicroNAS achieves up to 1104x improvement in search efficiency and discovers models with over 3.23x faster MCU inference while maintaining similar accuracy


title: Five families of rapidly convergent evaluations of zeta values

abstract: This work derives 5 methods to evaluate families of odd zeta values by combining a power of $\pi$ with Lambert series whose ratios of successive terms tend to $e^{-\pi\sqrt{a}}$ with integers $a\ge7$, outperforming Ramanujan's results with merit $a=4$. Families with $a=7$ and $a=8$ evaluate $\zeta(2n+1)$. Families with $a=9$ and $a=16$ evaluate $\zeta(4n+1)$ with faster convergence. A fifth family with $a=12$ evaluates $\zeta(6n+1)$ and gives the fastest convergence for $\zeta(6n+7)$. Members of three of the families were discovered empirically by Simon Plouffe. An intensive new search strongly suggests that there are no more than 5 families with integers $a\ge7$. There are at least 20 families that involve Lambert series with rational $a>4$. Quasi-modular transformations of Lambert series resolve rational sequences that were discovered empirically. Expansions of Lambert series in polylogarithms, familiar from quantum field theory, provide proofs of all known evaluations with rational merit $a>4$.


title: Attack and Reset for Unlearning: Exploiting Adversarial Noise toward Machine Unlearning through Parameter Re-initialization

abstract: With growing concerns surrounding privacy and regulatory compliance, the concept of machine unlearning has gained prominence, aiming to selectively forget or erase specific learned information from a trained model. In response to this critical need, we introduce a novel approach called Attack-and-Reset for Unlearning (ARU). This algorithm leverages meticulously crafted adversarial noise to generate a parameter mask, effectively resetting certain parameters and rendering them unlearnable. ARU outperforms current state-of-the-art results on two facial machine-unlearning benchmark datasets, MUFAC and MUCAC. In particular, we present the steps involved in attacking and masking that strategically filter and re-initialize network parameters biased towards the forget set. Our work represents a significant advancement in rendering data unexploitable to deep learning models through parameter re-initialization, achieved by harnessing adversarial noise to craft a mask.


title: Continuous Time Continuous Space Homeostatic Reinforcement Learning (CTCS-HRRL) : Towards Biological Self-Autonomous Agent

abstract: Homeostasis is a biological process by which living beings maintain their internal balance. Previous research suggests that homeostasis is a learned behaviour. Recently introduced Homeostatic Regulated Reinforcement Learning (HRRL) framework attempts to explain this learned homeostatic behavior by linking Drive Reduction Theory and Reinforcement Learning. This linkage has been proven in the discrete time-space, but not in the continuous time-space. In this work, we advance the HRRL framework to a continuous time-space environment and validate the CTCS-HRRL (Continuous Time Continuous Space HRRL) framework. We achieve this by designing a model that mimics the homeostatic mechanisms in a real-world biological agent. This model uses the Hamilton-Jacobian Bellman Equation, and function approximation based on neural networks and Reinforcement Learning. Through a simulation-based experiment we demonstrate the efficacy of this model and uncover the evidence linked to the agent's ability to dynamically choose policies that favor homeostasis in a continuously changing internal-state milieu. Results of our experiments demonstrate that agent learns homeostatic behaviour in a CTCS environment, making CTCS-HRRL a promising framework for modellng animal dynamics and decision-making.


title: A new method of measuring Forbush decreases

abstract: Forbush decreases (FDs) are short-term depressions in the galactic cosmic ray flux and one of the common signatures of coronal mass ejections (CMEs) in the heliosphere. They often show a two-step profile, the second one associated with the CMEs magnetic structure (flux rope, FR), which can be described by the recently developed model ForbMod. The aim of this study is to utilise ForbMod to develop a best-fit procedure to be applied on FR-related FDs as a convenient measurement tool. We develop a best-fit procedure that can be applied to a data series from an arbitrary detector. Thus, the basic procedure facilitates measurement estimation of the magnitude of the FR-related FD, with the possibility of being adapted for the energy response of a specific detector for a more advanced analysis. The non-linear fitting was performed by calculating all possible ForbMod curves constrained within the FR borders to the designated dataset and minimising the mean square error (MSE). In order to evaluate the performance of the ForbMod best-fit procedure, we used synthetic measurements produced by calculating the theoretical ForbMod curve for a specific example CME and then applying various effects to the data to mimic the imperfection of the real measurements. We also tested the ForbMod best-fit function on the real data, measured by detector F of the SOHO-EPHIN instrument on a sample containing 30 events, all of which have a distinct FD corresponding to the CMEs magnetic structure. Overall, we find that the ForbMod best-fit procedure performs similar to the traditional algorithm-based observational method, but with slightly smaller values for the FD amplitude, as it is taking into account the noise in the data. Furthermore, we find that the best-fit procedure has an advantage compared to the traditional method as it can estimate the FD amplitude even when there is a data gap at the onset of the FD.


title: Enablers and Barriers of Empathy in Software Developer and User Interaction: A Mixed Methods Case Study

abstract: Software engineering (SE) requires developers to collaborate with stakeholders, and understanding their emotions and perspectives is often vital. Empathy is a concept characterising a person's ability to understand and share the feelings of another. However, empathy continues to be an under-researched human aspect in SE. We studied how empathy is practised between developers and end users using a mixed methods case study. We used an empathy test, observations and interviews to collect data, and socio technical grounded theory and descriptive statistics to analyse data. We identified the nature of awareness required to trigger empathy and enablers of empathy. We discovered barriers to empathy and a set of potential strategies to overcome these barriers. We report insights on emerging relationships and present a set of recommendations and potential future works on empathy and SE for software practitioners and SE researchers.


title: AttackEval: How to Evaluate the Effectiveness of Jailbreak Attacking on Large Language Models

abstract: In our research, we pioneer a novel approach to evaluate the effectiveness of jailbreak attacks on Large Language Models (LLMs), such as GPT-4 and LLaMa2, diverging from traditional robustness-focused binary evaluations. Our study introduces two distinct evaluation frameworks: a coarse-grained evaluation and a fine-grained evaluation. Each framework, using a scoring range from 0 to 1, offers a unique perspective, enabling a more comprehensive and nuanced evaluation of attack effectiveness and empowering attackers to refine their attack prompts with greater understanding. Furthermore, we have developed a comprehensive ground truth dataset specifically tailored for jailbreak tasks. This dataset not only serves as a crucial benchmark for our current study but also establishes a foundational resource for future research, enabling consistent and comparative analyses in this evolving field. Upon meticulous comparison with traditional evaluation methods, we discovered that our evaluation aligns with the baseline's trend while offering a more profound and detailed assessment. We believe that by accurately evaluating the effectiveness of attack prompts in the Jailbreak task, our work lays a solid foundation for assessing a wider array of similar or even more complex tasks in the realm of prompt injection, potentially revolutionizing this field.


title: Augmenting Math Word Problems via Iterative Question Composing

abstract: Despite the advancements in large language models (LLMs) for mathematical reasoning, solving competition-level math problems remains a significant challenge, especially for open-source LLMs without external tools. We introduce the MMIQC dataset, comprising a mixture of processed web data and synthetic question-response pairs, aimed at enhancing the mathematical reasoning capabilities of base language models. Models fine-tuned on MMIQC consistently surpass their counterparts in performance on the MATH benchmark across various model sizes. Notably, Qwen-72B-MMIQC achieves a 45.0% accuracy, exceeding the previous open-source state-of-the-art by 8.2% and outperforming the initial version GPT-4 released in 2023. Extensive evaluation results on Hungarian high school finals suggest that such improvement can generalize to unseen data. Our ablation study on MMIQC reveals that a large part of the improvement can be attributed to our novel augmentation method, Iterative Question Composing (IQC), which involves iteratively composing new questions from seed problems using an LLM and applying rejection sampling through another LLM. The MMIQC dataset is available on the HuggingFace hub at https://huggingface.co/datasets/Vivacem/MMIQC. Our code is available at https://github.com/iiis-ai/IterativeQuestionComposing.


title: Stability analysis of f(Q) gravity models using dynamical systems

abstract: In recent years, the modified theory of gravity known as $f(Q)$ gravity has drawn interest as a potential alternative to general relativity. According to this theory, the gravitational force is determined by a function of the so-called ``non-metricity" tensor $Q$, which expresses how far a particle space-time is from the metric geometry. In contrast to general relativity, which describes the gravitational field using the curvature tensor, $f(Q)$ gravity builds a theory of gravity using the non-metricity tensor. For this class of theories, dynamical system analysis of the background and perturbation equations has been carried out in this work to determine how various models behave cosmologically. Here, the critical points are determined for two $f(Q)$ models from the literature: the power law, $ f(Q)=Q+mQ^{n} $, and the logarithmic, $ f(Q)=\alpha+\beta log Q $ models. The stability behaviour and corresponding cosmology are displayed for each critical point. For the power law model, we achieve a matter-dominated saddle point with the right matter perturbation growth rate. For the logarithmic model, we get a saddle point dominated by the geometric component of the $ f(Q)$ model with perturbations in the decomposition of matter. For both models, we later achieved a stable and accelerating Universe with constant matter perturbations.


title: Sharp two-sided heat kernel estimates for Schr\"{o}dinger operators with decaying potentials

abstract: We establish global two-sided heat kernel estimates (for full time and space) of the Schr\"odinger operator $-\frac{1}{2}\Delta+V$ on $\R^d$, where the potential $V(x)$ is locally bounded and behaves like $c|x|^{-\alpha}$ near infinity with $\alpha\in (0,2)$ and $c> 0$, or with $\alpha>0$ and $c<0$.Our results improve all known results in the literature, and it seems that the current paper is the first one where consistent two-sided heat kernel bounds for the long range potentials are established.


title: Generalized Face Liveness Detection via De-spoofing Face Generator

abstract: Previous Face Anti-spoofing (FAS) works face the challenge of generalizing in unseen domains. One of the major problems is that most existing FAS datasets are relatively small and lack data diversity. However, we find that there are numerous real faces that can be easily achieved under various conditions, which are neglected by previous FAS works. In this paper, we conduct an Anomalous cue Guided FAS (AG-FAS) method, which leverages real faces for improving model generalization via a De-spoofing Face Generator (DFG). Specifically, the DFG trained only on the real faces gains the knowledge of what a real face should be like and can generate a "real" version of the face corresponding to any given input face. The difference between the generated "real" face and the input face can provide an anomalous cue for the downstream FAS task. We then propose an Anomalous cue Guided FAS feature extraction Network (AG-Net) to further improve the FAS feature generalization via a cross-attention transformer. Extensive experiments on a total of nine public datasets show our method achieves state-of-the-art results under cross-domain evaluations with unseen scenarios and unknown presentation attacks.


title: Quantum singular value transformation for an arbitrary bounded operator embedded in a unitary operator

abstract: This research extends quantum singular value transformation (QSVT) for general bounded operators embedded in unitary operators on possibly infinite-dimensional Hilbert spaces. Through in-depth mathematical exploration, we have achieved a refined operator-theoretic understanding of QSVT, leading to a more streamlined approach. One of the key discoveries is that polynomial transformations in QSVT inherently apply to the entire operator, rather than being contingent on the selection of a specific basis. We expect that this research will pave the way for applying these insights to a broader range of problems in quantum information processing and provide analytical tools for quantum dynamics, such as quantum walks.


title: Hybrid of DiffStride and Spectral Pooling in Convolutional Neural Networks

abstract: Stride determines the distance between adjacent filter positions as the filter moves across the input. A fixed stride causes important information contained in the image can not be captured, so that important information is not classified. Therefore, in previous research, the DiffStride Method was applied, namely the Strided Convolution Method with which it can learn its own stride value. Severe Quantization and a constraining lower bound on preserved information are arises with Max Pooling Downsampling Method. Spectral Pooling reduce the constraint lower bound on preserved information by cutting off the representation in the frequency domain. In this research a CNN Model is proposed with the Downsampling Learnable Stride Technique performed by Backpropagation combined with the Spectral Pooling Technique. Diffstride and Spectral Pooling techniques are expected to maintain most of the information contained in the image. In this study, we compare the Hybrid Method, which is a combined implementation of Spectral Pooling and DiffStride against the Baseline Method, which is the DiffStride implementation on ResNet 18. The accuracy result of the DiffStride combination with Spectral Pooling improves over DiffStride which is baseline method by 0.0094. This shows that the Hybrid Method can maintain most of the information by cutting of the representation in the frequency domain and determine the stride of the learning result through Backpropagation.


title: Estimation of Tsallis entropy for exponentially distributed several populations

abstract: We study the estimation of Tsallis entropy of a finite number of independent populations, each following an exponential distribution with the same scale parameter and distinct location parameters for $q>0$. We derive a Stein-type improved estimate, establishing the inadmissibility of the best affine equivariant estimate of the parameter function. A class of smooth estimates utilizing the Brewster technique is obtained, resulting in a significant improvement in the risk value. We computed the Brewster-Zidek estimates for both one and two populations, to illustrate the comparison with best affine equivariant and Stein-type estimates. We further derive that the Bayesian estimate, employing an inverse gamma prior, which takes the best affine equivariant estimate as a particular case. We provide a numerical illustration utilizing simulated samples for a single population. The purpose is to demonstrate the impact of sample size, location parameter, and entropic index on the estimates.


title: Robust flat bands in twisted trilayer graphene quasicrystals

abstract: Moir\'e structures formed by twisting three layers of graphene with two independent twist angles present an ideal platform for studying correlated quantum phenomena, as an infinite set of angle pairs is predicted to exhibit flat bands. Moreover, the two mutually incommensurate moir\'e patterns among the twisted trilayer graphene (TTG) can form highly tunable moir\'e quasicrystals. This enables us to extend correlated physics in periodic moir\'e crystals to quasiperiodic systems. However, direct local characterization of the structure of the moir\'e quasicrystals and of the resulting flat bands are still lacking, which is crucial to fundamental understanding and control of the correlated moir\'e physics. Here, we demonstrate the existence of flat bands in a series of TTGs with various twist angle pairs and show that the TTGs with different magic angle pairs are strikingly dissimilar in their atomic and electronic structures. The lattice relaxation and the interference between moir\'e patterns are highly dependent on the twist angles. Our direct spatial mappings, supported by theoretical calculations, reveal that the localization of the flat bands exhibits distinct symmetries in different regions of the moir\'e quasicrystals.


title: Inductive Models for Artificial Intelligence Systems are Insufficient without Good Explanations

abstract: This paper discusses the limitations of machine learning (ML), particularly deep artificial neural networks (ANNs), which are effective at approximating complex functions but often lack transparency and explanatory power. It highlights the `problem of induction' : the philosophical issue that past observations may not necessarily predict future events, a challenge that ML models face when encountering new, unseen data. The paper argues for the importance of not just making predictions but also providing good explanations, a feature that current models often fail to deliver. It suggests that for AI to progress, we must seek models that offer insights and explanations, not just predictions.


title: First study of antihyperon-nucleon scattering $\bar{\Lambda}p\rightarrow\bar{\Lambda}p$ and measurement of $\Lambda p\rightarrow\Lambda p$ cross section

abstract: Using $(10.087\pm0.044)\times10^{9}$ $J/\psi$ events collected with the BESIII detector at the BEPCII storage ring, the processes $\Lambda p\rightarrow\Lambda p$ and $\bar{\Lambda}p\rightarrow\bar{\Lambda}p$ are studied, where the $\Lambda/\bar{\Lambda}$ baryons are produced in the process $J/\psi\rightarrow\Lambda\bar{\Lambda}$ and the protons are the hydrogen nuclei in the cooling oil of the beam pipe. Clear signals are observed for the two reactions. The cross sections in $-0.9\leq\rm{cos}\theta_{\Lambda/\bar{\Lambda}}\leq0.9$ are measured to be $\sigma(\Lambda p\rightarrow\Lambda p)=(12.2\pm1.6_{\rm{stat}}\pm1.1_{\rm{sys}})$ mb and $\sigma(\bar{\Lambda} p\rightarrow\bar{\Lambda} p)=(17.5\pm2.1_{\rm{stat}}\pm1.6_{\rm{sys}})$ mb at the $\Lambda/\bar{\Lambda}$ momentum of $1.074$ GeV/$c$ within a range of $\pm0.017$ GeV/$c$, where the $\theta_{\Lambda/\bar{\Lambda}}$ are the scattering angles of the $\Lambda/\bar{\Lambda}$ in the $\Lambda p/\bar{\Lambda}p$ rest frames. Furthermore, the differential cross sections of the two reactions are also measured, where there is a slight tendency of forward scattering for $\Lambda p\rightarrow\Lambda p$, and a strong forward peak for $\bar{\Lambda}p\rightarrow\bar{\Lambda}p$. We present an approach to extract the total elastic cross sections by extrapolation. The study of $\bar{\Lambda}p\rightarrow\bar{\Lambda}p$ represents the first study of antihyperon-nucleon scattering, and these new measurements will serve as important inputs for the theoretical understanding of the (anti)hyperon-nucleon interaction.


title: An Improved Virtual Force Approach for UAV Deployment and Resource Allocation in Emergency Communications

abstract: In this paper, we consider an unmanned aerial vehicle (UAV)-enabled emergency communication system, which establishes temporary communication link with users equipment (UEs) in a typical disaster environment with mountainous forest and obstacles. Towards this end, a joint deployment, power allocation, and user association optimization problem is formulated to maximize the total transmission rate, while considering the demand of each UE and the disaster environment characteristics. Then, an alternating optimization algorithm is proposed by integrating coalition game and virtual force approach which captures the impact of the demand priority of UEs and the obstacles to the flight path and consumed power. Simulation results demonstrate that the computation time consumed by our proposed algorithm is only $5.6\%$ of the traditional heuristic algorithms, which validates its effectiveness in disaster scenarios.


title: Data assimilation approach for addressing imperfections in people flow measurement techniques using particle filter

abstract: Understanding and predicting people flow in urban areas is useful for decision-making in urban planning and marketing strategies. Traditional methods for understanding people flow can be divided into measurement-based approaches and simulation-based approaches. Measurement-based approaches have the advantage of directly capturing actual people flow, but they face the challenge of data imperfection. On the other hand, simulations can obtain complete data on a computer, but they only consider some of the factors determining human behavior, leading to a divergence from actual people flow. Both measurement and simulation methods have unresolved issues, and combining the two can complementarily overcome them. This paper proposes a method that applies data assimilation, a fusion technique of measurement and simulation, to agent-based simulation. Data assimilation combines the advantages of both measurement and simulation, contributing to the creation of an environment that can reflect real people flow while acquiring richer data. The paper verifies the effectiveness of the proposed method in a virtual environment and demonstrates the potential of data assimilation to compensate for the three types of imperfection in people flow measurement techniques. These findings can serve as guidelines for supplementing sparse measurement data in physical environments.


title: Flow and correlations measurements in small and large systems

abstract: Measurements of flow coefficients and correlations between different types of particles are used to characterise the properties of the quark-gluon plasma created in heavy-ion collisions. Moreover, these precise measurements became a key observable in understanding the possible origin of the collective-like behaviour in small collision systems. Recent results of flow and correlations measurements of light and heavy hadrons, in pp, p-Pb, and Pb-Pb collisions are presented.


title: Fast parallel sampling under isoperimetry

abstract: We show how to sample in parallel from a distribution $\pi$ over $\mathbb R^d$ that satisfies a log-Sobolev inequality and has a smooth log-density, by parallelizing the Langevin (resp. underdamped Langevin) algorithms. We show that our algorithm outputs samples from a distribution $\hat\pi$ that is close to $\pi$ in Kullback--Leibler (KL) divergence (resp. total variation (TV) distance), while using only $\log(d)^{O(1)}$ parallel rounds and $\widetilde{O}(d)$ (resp. $\widetilde O(\sqrt d)$) gradient evaluations in total. This constitutes the first parallel sampling algorithms with TV distance guarantees. For our main application, we show how to combine the TV distance guarantees of our algorithms with prior works and obtain RNC sampling-to-counting reductions for families of discrete distribution on the hypercube $\{\pm 1\}^n$ that are closed under exponential tilts and have bounded covariance. Consequently, we obtain an RNC sampler for directed Eulerian tours and asymmetric determinantal point processes, resolving open questions raised in prior works.


title: Invertibility of local geodesic transverse and mixed ray transforms I: basic cases

abstract: Consider a compact Riemannian manifold in dimension $n\geq 3$ with strictly convex boundary. We show that the transverse ray transform of $1$ tensors and the mixed ray transform of $1+1$ tensors are invertible, up to natural obstructions, near a boundary point. When the manifold admits a strictly convex function, this local invertibility result leads to a global result by a layer stripping argument.


title: Residual Alignment: Uncovering the Mechanisms of Residual Networks

abstract: The ResNet architecture has been widely adopted in deep learning due to its significant boost to performance through the use of simple skip connections, yet the underlying mechanisms leading to its success remain largely unknown. In this paper, we conduct a thorough empirical study of the ResNet architecture in classification tasks by linearizing its constituent residual blocks using Residual Jacobians and measuring their singular value decompositions. Our measurements reveal a process called Residual Alignment (RA) characterized by four properties: (RA1) intermediate representations of a given input are equispaced on a line, embedded in high dimensional space, as observed by Gai and Zhang [2021]; (RA2) top left and right singular vectors of Residual Jacobians align with each other and across different depths; (RA3) Residual Jacobians are at most rank C for fully-connected ResNets, where C is the number of classes; and (RA4) top singular values of Residual Jacobians scale inversely with depth. RA consistently occurs in models that generalize well, in both fully-connected and convolutional architectures, across various depths and widths, for varying numbers of classes, on all tested benchmark datasets, but ceases to occur once the skip connections are removed. It also provably occurs in a novel mathematical model we propose. This phenomenon reveals a strong alignment between residual branches of a ResNet (RA2+4), imparting a highly rigid geometric structure to the intermediate representations as they progress linearly through the network (RA1) up to the final layer, where they undergo Neural Collapse.


title: Change Detection Between Optical Remote Sensing Imagery and Map Data via Segment Anything Model (SAM)

abstract: Unsupervised multimodal change detection is pivotal for time-sensitive tasks and comprehensive multi-temporal Earth monitoring. In this study, we explore unsupervised multimodal change detection between two key remote sensing data sources: optical high-resolution imagery and OpenStreetMap (OSM) data. Specifically, we propose to utilize the vision foundation model Segmentation Anything Model (SAM), for addressing our task. Leveraging SAM's exceptional zero-shot transfer capability, high-quality segmentation maps of optical images can be obtained. Thus, we can directly compare these two heterogeneous data forms in the so-called segmentation domain. We then introduce two strategies for guiding SAM's segmentation process: the 'no-prompt' and 'box/mask prompt' methods. The two strategies are designed to detect land-cover changes in general scenarios and to identify new land-cover objects within existing backgrounds, respectively. Experimental results on three datasets indicate that the proposed approach can achieve more competitive results compared to representative unsupervised multimodal change detection methods.


title: Whither or wither the Sulfur Anomaly in Planetary Nebulae?

abstract: We present a thorough investigation of the long standing sulfur anomaly enigma. Our analysis uses chemical abundances from the most extensive dataset available for 126 planetary nebulae (PNe) with improved accuracy and reduced uncertainties from a 10x10 degree Galactic bulge region. By using argon as a superior PNe metallicity indicator, the anomaly is significantly reduced and better constrained. For the first time in PNe we show sulfur alpha-element lock-step with both oxygen and argon. We dispel hypotheses that the anomaly originates from underestimation of higher sulfur ionization stages. Using a machine learning approach, we show that earlier ionization correction factor (ICFs) schemes contributed significantly to the anomaly. We find a correlation between the sulfur anomaly and the age/mass of PNe progenitors, with the anomaly either absent or significantly reduced in PNe with young progenitors. Despite inherent challenges and uncertainties, we link this to PNe dust chemistry, noting those with carbon-dust chemistry show a more pronounced anomaly. By integrating these findings, we provide a plausible explanation for the residual, reduced sulfur anomaly and propose its potential as an indicator of relative galaxy age compositions based on PNe.


title: A family of quasi-axisymmetric stellarators with varied rotational transform

abstract: We apply a continuation method to recently optimized stellarator equilibria with excellent quasi-axisymmetry (QA) to generate new equilibria with a wide range of rotational transform profiles. Using these equilibria, we investigate how the rotational transform affects fast-particle confinement, the maximum coil-plasma distance, the maximum growth rate in linear gyrokinetic ion-temperature gradient (ITG) simulations, and the ion heat flux in corresponding nonlinear simulations. We find values of two-term quasisymmetry error comparable to or lower than the similar Landreman-Paul (Phys. Rev. Lett. 128, 035001) configuration for values of the mean rotational transform $\bar{\iota}$ between $0.12$ and $0.75$. The fast-particle confinement improves with $\bar{\iota}$ until $\bar{\iota} = 0.73$, at which point the degradation in quasisymmetry outweighs the benefits of further increasing $\bar{\iota}$. The required coil-plasma distance only varies by about $\pm 10\%$ for the configurations under consideration, and is between $2.8\,\mathrm{m}$ to $3.3\,\mathrm{m}$ when the configuration is scaled up to reactor size. The maximum growth rate from linear gyrokinetic simulations increases with $\bar{\iota}$, but also shifts towards higher $k_y$ values. The maximum linear growth rate is sensitive to the choice of flux tube at rational $\iota$, but this can be compensated for by taking the maximum over several flux tubes. The corresponding ion heat fluxes from nonlinear simulations display a non-monotonic relation to $\iota$. Sufficiently large positive shear is destabilizing. This is reflected both in linear growth rates and nonlinear heat fluxes.


title: Spatio-temporal analysis for extreme temperature indices over the Levant region

abstract: The temporal and spatial trends of 16 climate extreme indices based on daily maximum and minimum temperatures during the period 1987-2016 at 28 stations distributed across Israel and Palestine in the Levant region were annually and seasonally analysed. The Man-Kendall test and the Sen's slope estimator were employed for the trend analysis. Results showed that the region has significantly experienced a dominant warming trend for the last three decades, with more intense changes for minimum temperatures than for maximum. At annual scale, maximum values of minimum temperatures exhibited significant increasing trends up to 0.68{\deg}C/decade. Changes detected were more pronounced than those for the absolute extreme temperature indices, with 93 and 89% of stations significantly showed increasing trends in TX90p and TN90p, respectively. The duration and fixed threshold extreme indices confirmed the trend toward a warming, with the 86% of the stations exhibited significant increasing trends in the annual SU25 and TR20. Moreover, 57% of stations showed significant increasing trends in their SU30 index. At seasonal scale, the analysis of trends for extreme temperature indices showed intense and broad significant increasing trends in all absolute extreme temperature indices. In summer, more than 75% of total stations exhibited significant increasing trends for warm days and warm nights. In winter and spring, 71% of the total stations also showed significant increasing trends in SU25 index, whereas the percentage of stations reached 82% in summer and 64% in autumn for significant increasing trends in TR20 index. Finally, the influence of large-scale circulation patterns on temperature extremes was examined. The results highlighted the presence of significant correlations between most of the selected extreme temperature indices and the North Sea-Caspian pattern at annual and seasonal scales.


title: Explain Thyself Bully: Sentiment Aided Cyberbullying Detection with Explanation

abstract: Cyberbullying has become a big issue with the popularity of different social media networks and online communication apps. While plenty of research is going on to develop better models for cyberbullying detection in monolingual language, there is very little research on the code-mixed languages and explainability aspect of cyberbullying. Recent laws like "right to explanations" of General Data Protection Regulation, have spurred research in developing interpretable models rather than focusing on performance. Motivated by this we develop the first interpretable multi-task model called {\em mExCB} for automatic cyberbullying detection from code-mixed languages which can simultaneously solve several tasks, cyberbullying detection, explanation/rationale identification, target group detection and sentiment analysis. We have introduced {\em BullyExplain}, the first benchmark dataset for explainable cyberbullying detection in code-mixed language. Each post in {\em BullyExplain} dataset is annotated with four labels, i.e., {\em bully label, sentiment label, target and rationales (explainability)}, i.e., which phrases are being responsible for annotating the post as a bully. The proposed multitask framework (mExCB) based on CNN and GRU with word and sub-sentence (SS) level attention is able to outperform several baselines and state of the art models when applied on {\em BullyExplain} dataset.


title: Timelike Surfaces with Parallel Normalized Mean Curvature Vector Field in the Minkowski 4-Space

abstract: In the present paper, we study timelike surfaces with parallel normalized mean curvature vector field in the four-dimensional Minkowski space. We introduce special isotropic parameters on each such surface, which we call canonical parameters, and prove a fundamental existence and uniqueness theorem stating that each timelike surface with parallel normalized mean curvature vector field is determined up to a rigid motion in the Minkowski space by three geometric functions satisfying a system of three partial differential equations. In this way we minimize the number of functions and the number of partial differential equations determining the surface, thus solving the Lund-Regge problem for this class of surfaces.


title: Exploring the Diversity of Music Experiences for Deaf and Hard of Hearing People

abstract: Sensory substitution or enhancement techniques have been proposed to enable deaf or hard of hearing (DHH) people to listen to and even compose music. However, little is known about how such techniques enhance DHH people's music experience. Since deafness is a spectrum -- as are DHH people's preferences and perceptions of music -- a more situated understanding of their interaction with music is needed. To understand the music experience of this population, we conducted social media analyses, both qualitatively and quantitatively, in the deaf and hard of hearing Reddit communities. Our content analysis revealed that DHH people leveraged sign language and visual/haptic cues to feel the music and preferred familiar, non-lyrical, instrument-heavy, and loud music. In addition, hearing aids were not customized for music, and the visual/haptic techniques developed were not widely adopted by DHH people, leading to their suboptimal music experiences. The DHH community embodied mutual support among music lovers, evidenced by active information sharing and Q&A around music and hearing loss. We reflect on design justice for DHH people's music experience and propose practical design implications to create a more accessible music experience for them.


title: Convex sets approximable as the sum of a compact set and a cone

abstract: The class of convex sets that admit approximations as Minkowski sum of a compact convex set and a closed convex cone in the Hausdorff distance is introduced. These sets are called approximately Motzkin-decomposable and generalize the notion of Motzkin-decomposability, i.e. the representation of a set as the sum of a compact convex set and a closed convex cone. We characterize these sets in terms of their support functions and show that they coincide with self-bounded sets, i.e. sets contained in the sum of a compact convex set and a closed convex cone, if their recession cones are polyhedral but are more restrictive in general. In particular we prove that a set is approximately Motzkin-decomposable if and only if its support function has a closed domain relative to which it is continuous.


title: Exact Homomorphic Encryption

abstract: Inspired by the concept of fault tolerance quantum computation, this article proposes a framework dubbed Exact Homomorphic Encryption, EHE, enabling exact computations on encrypted data without the need for pre-decryption. The introduction of quantum gates is a critical step for constructing the message encryption and the computation encryption within the framework. Of significance is that both encryptions are respectively accomplished in a multivariate polynomial set generated by quantum gates. Two fundamental traits of quantum gates, the invertibility and the noncommutativity, establish the success of EHE. The encrypted computation is exact because its encryption transformation is conducted with invertible gates. In the same vein, decryptions for both an encrypted message and encrypted computation are exact. The second trait of noncommutativity among applied quantum gates brings forth the security for the two encryptions. Toward the message encryption, a plaintext is encoded into a ciphertext via a polynomial set generated by a product of noncommuting gates randomly chosen. In the computation encryption, a desired operation is encoded into an encrypted polynomial set generated by another product of noncommuting gates. The encrypted computation is then the evaluation of the encrypted polynomial set on the ciphertext and is referred to as the cryptovaluation. EHE is not only attainable on quantum computers, but also straightforwardly realizable on traditional computing environments. Surpassing the standard security 2^128 of quantum resilience, both the encryptions further reach a security greater than the suggested threshold 2^1024 and are characterized as hyper quantum-resilient. Thanks to the two essential traits of quantum gates, this framework can be regarded as the initial tangible manifestation of the concept noncommutative cryptography.


title: A Novel Interpretable Fusion Analytic Framework for Investigating Functional Brain Connectivity Differences in Cognitive Impairments

abstract: Functional magnetic resonance imaging (fMRI) data is characterized by its complexity and high--dimensionality, encompassing signals from various regions of interests (ROIs) that exhibit intricate correlations. Analyzing fMRI data directly proves challenging due to its intricate structure. Nevertheless, ROIs convey crucial information about brain activities through their connections, offering insights into distinctive brain activity characteristics between different groups. To address this, we propose a cutting-edge interpretable fusion analytic framework that facilitates the identification and understanding of ROI connectivity disparities between two groups, thereby revealing their unique features. Our novel approach encompasses three key steps. Firstly, we construct ROI functional connectivity networks (FCNs) to effectively manage fMRI data. Secondly, employing the FCNs, we utilize a self--attention deep learning model for binary classification, generating an attention distribution that encodes group differences. Lastly, we employ a latent space item-response model to extract group representative ROI features, visualizing these features on the group summary FCNs. We validate the effectiveness of our framework by analyzing four types of cognitive impairments, showcasing its capability to identify significant ROIs contributing to the differences between the two disease groups. This novel interpretable fusion analytic framework holds immense potential for advancing our understanding of cognitive impairments and could pave the way for more targeted therapeutic interventions.


title: Cross-modality Guidance-aided Multi-modal Learning with Dual Attention for MRI Brain Tumor Grading

abstract: Brain tumor represents one of the most fatal cancers around the world, and is very common in children and the elderly. Accurate identification of the type and grade of tumor in the early stages plays an important role in choosing a precise treatment plan. The Magnetic Resonance Imaging (MRI) protocols of different sequences provide clinicians with important contradictory information to identify tumor regions. However, manual assessment is time-consuming and error-prone due to big amount of data and the diversity of brain tumor types. Hence, there is an unmet need for MRI automated brain tumor diagnosis. We observe that the predictive capability of uni-modality models is limited and their performance varies widely across modalities, and the commonly used modality fusion methods would introduce potential noise, which results in significant performance degradation. To overcome these challenges, we propose a novel cross-modality guidance-aided multi-modal learning with dual attention for addressing the task of MRI brain tumor grading. To balance the tradeoff between model efficiency and efficacy, we employ ResNet Mix Convolution as the backbone network for feature extraction. Besides, dual attention is applied to capture the semantic interdependencies in spatial and slice dimensions respectively. To facilitate information interaction among modalities, we design a cross-modality guidance-aided module where the primary modality guides the other secondary modalities during the process of training, which can effectively leverage the complementary information of different MRI modalities and meanwhile alleviate the impact of the possible noise.


title: Linear-Quadratic Graphon Mean Field Games with Common Noise

abstract: This paper studies linear quadratic graphon mean field games (LQ-GMFGs) with common noise, in which a large number of agents are coupled via a weighted undirected graph. One special feature, compared with the well-studied graphon mean field games, is that the states of agents are described by the dynamic systems with the idiosyncratic noises and common noise. The limit LQ-GMFGs with common noise are formulated based on the assumption that these graphs lie in a sequence converging to a limit graphon. By applying the spectral decomposition method, the existence of solution for the formulated limit LQ-GMFGs is derived. Moreover, based on the adequate convergence assumptions, a set of $\epsilon$-Nash equilibrium strategies for the finite large population problem is constructed.


title: Data Attribution for Diffusion Models: Timestep-induced Bias in Influence Estimation

abstract: Data attribution methods trace model behavior back to its training dataset, offering an effective approach to better understand ''black-box'' neural networks. While prior research has established quantifiable links between model output and training data in diverse settings, interpreting diffusion model outputs in relation to training samples remains underexplored. In particular, diffusion models operate over a sequence of timesteps instead of instantaneous input-output relationships in previous contexts, posing a significant challenge to extend existing frameworks to diffusion models directly. Notably, we present Diffusion-TracIn that incorporates this temporal dynamics and observe that samples' loss gradient norms are highly dependent on timestep. This trend leads to a prominent bias in influence estimation, and is particularly noticeable for samples trained on large-norm-inducing timesteps, causing them to be generally influential. To mitigate this effect, we introduce Diffusion-ReTrac as a re-normalized adaptation that enables the retrieval of training samples more targeted to the test sample of interest, facilitating a localized measurement of influence and considerably more intuitive visualization. We demonstrate the efficacy of our approach through various evaluation metrics and auxiliary tasks, reducing the amount of generally influential samples to $\frac{1}{3}$ of its original quantity.


title: Improved Consensus ADMM for Cooperative Motion Planning of Large-Scale Connected Autonomous Vehicles with Limited Communication

abstract: This paper investigates a cooperative motion planning problem for large-scale connected autonomous vehicles (CAVs) under limited communications, which addresses the challenges of high communication and computing resource requirements. Our proposed methodology incorporates a parallel optimization algorithm with improved consensus ADMM considering a more realistic locally connected topology network, and time complexity of O(N) is achieved by exploiting the sparsity in the dual update process. To further enhance the computational efficiency, we employ a lightweight evolution strategy for the dynamic connectivity graph of CAVs, and each sub-problem split from the consensus ADMM only requires managing a small group of CAVs. The proposed method implemented with the receding horizon scheme is validated thoroughly, and comparisons with existing numerical solvers and approaches demonstrate the efficiency of our proposed algorithm. Also, simulations on large-scale cooperative driving tasks involving 80 vehicles are performed in the high-fidelity CARLA simulator, which highlights the remarkable computational efficiency, scalability, and effectiveness of our proposed development. Demonstration videos are available at https://henryhcliu.github.io/icadmm_cmp_carla.


title: Mass suppression effect in QCD radiation and hadron angular distribution in jet

abstract: The finite mass of the heavy quark suppresses the collimated radiations, which is generally referred to as the dead cone effect. In this paper, we study the distribution of hadron multiplicity over the hadron opening angle with respect to the jet axis in various flavors of jets. The corresponding measurement can be the most straightforward and simplest to explore the dynamical evolution of the radiations in the corresponding jet, which can expose the mass effect. We also propose the transverse energy-weighted angular distribution which sheds light on the interplay between perturbative and nonperturbative effects in the radiation. With Monte-Carlo simulations, our calculation shows that the dead cone effect can be clearly seen by taking the ratio between the b jet and the light-quark (inclusive) jet, promising to be measured at the LHC in the future.


title: UOEP: User-Oriented Exploration Policy for Enhancing Long-Term User Experiences in Recommender Systems

abstract: Reinforcement learning (RL) has gained traction for enhancing user long-term experiences in recommender systems by effectively exploring users' interests. However, modern recommender systems exhibit distinct user behavioral patterns among tens of millions of items, which increases the difficulty of exploration. For example, user behaviors with different activity levels require varying intensity of exploration, while previous studies often overlook this aspect and apply a uniform exploration strategy to all users, which ultimately hurts user experiences in the long run. To address these challenges, we propose User-Oriented Exploration Policy (UOEP), a novel approach facilitating fine-grained exploration among user groups. We first construct a distributional critic which allows policy optimization under varying quantile levels of cumulative reward feedbacks from users, representing user groups with varying activity levels. Guided by this critic, we devise a population of distinct actors aimed at effective and fine-grained exploration within its respective user group. To simultaneously enhance diversity and stability during the exploration process, we further introduce a population-level diversity regularization term and a supervision module. Experimental results on public recommendation datasets demonstrate that our approach outperforms all other baselines in terms of long-term performance, validating its user-oriented exploration effectiveness. Meanwhile, further analyses reveal our approach's benefits of improved performance for low-activity users as well as increased fairness among users.


title: Numerical GR MHD simulations of the post-merger system with a composition-dependent equation of state

abstract: By means of HARM\_COOL\_EOS, which is our code for conservative relativistic magnetohydrodynamics, we developed a new scheme for the simulation of a system formed after compact binary merger. Our code works with a tabulated equation of state of dense matter, accounts for the neutrino leakage, and follows the mass outflows via the tracer particle method. We discuss the numerical scheme, and present the recovery method included in our code. We also show results of a numerical simulation, addressed to the post-merger system after the coalescence of binary neutron stars, or a neutron star with a stellar mass black hole. The plasma is very neutron-rich, so the r-process nucleosynthesis in the ejected material may lead to unstable heavy isotopes creation. They are responsible for an electromagnetic signal, observed as a kilonova. In addition, the magnetized, neutrino-driven wind can act as a collimating mechanism for the relativistic jet.


title: IRS-Enhanced Anti-Jamming Precoding Against DISCO Physical Layer Jamming Attacks

abstract: Illegitimate intelligent reflective surfaces (IRSs) can pose significant physical layer security risks on multi-user multiple-input single-output (MU-MISO) systems. Recently, a DISCO approach has been proposed an illegitimate IRS with random and time-varying reflection coefficients, referred to as a "disco" IRS (DIRS). Such DIRS can attack MU-MISO systems without relying on either jamming power or channel state information (CSI), and classical anti-jamming techniques are ineffective for the DIRS-based fully-passive jammers (DIRS-based FPJs). In this paper, we propose an IRS-enhanced anti-jamming precoder against DIRS-based FPJs that requires only statistical rather than instantaneous CSI of the DIRS-jammed channels. Specifically, a legitimate IRS is introduced to reduce the strength of the DIRS-based jamming relative to the transmit signals at a legitimate user (LU). In addition, the active beamforming at the legitimate access point (AP) is designed to maximize the signal-to-jamming-plus-noise ratios (SJNRs). Numerical results are presented to evaluate the effectiveness of the proposed IRS-enhanced anti-jamming precoder against DIRS-based FPJs.


title: Rubin's conjecture on local units in the anticyclotomic tower at inert primes: $p=3$ case

abstract: We prove Rubin's conjecture on the structure of local units in the anticyclotomic $\mathbb{Z}_p$-extension of unramified quadratic extension of $\mathbb{Q}_p$ in $p=3$ case by extending Burungale-Kobayashi-Ota's work.


title: Visual Robotic Manipulation with Depth-Aware Pretraining

abstract: Recent work on visual representation learning has shown to be efficient for robotic manipulation tasks. However, most existing works pretrained the visual backbone solely on 2D images or egocentric videos, ignoring the fact that robots learn to act in 3D space, which is hard to learn from 2D observation. In this paper, we examine the effectiveness of pretraining for vision backbone with public-available large-scale 3D data to improve manipulation policy learning. Our method, namely Depth-aware Pretraining for Robotics (DPR), enables an RGB-only backbone to learn 3D scene representations from self-supervised contrastive learning, where depth information serves as auxiliary knowledge. No 3D information is necessary during manipulation policy learning and inference, making our model enjoy both efficiency and effectiveness in 3D space manipulation. Furthermore, we introduce a new way to inject robots' proprioception into the policy networks that makes the manipulation model robust and generalizable. We demonstrate in experiments that our proposed framework improves performance on unseen objects and visual environments for various robotics tasks on both simulated and real robots.


title: Hairy Reissner-Nordstrom Black Holes with Asymmetric Vacua

abstract: We minimally coupled a scalar potential $V(\phi)$ with asymmetric vacua to the Einstein gravity to numerically construct the hairy Reissner-Nordstrom black hole (RNBH) as a direct generalization of RNBHs to possess scalar hair. By fixing the electric charge to mass ratio $q$, a branch of hairy RNBHs bifurcates from the RNBH when the scalar field $\phi_H$ is non-trivial at the horizon. The values of $q$ are bounded for $0 \leq q \leq 1$, which contrast to a class of hairy black holes with $q>1$ in the Einstein-Maxwell-scalar theory. We find that the profiles of solutions affected by the competition between the strength of $\phi_H$ and $q$, for instance, the gradient of scalar field at the horizon can increase very sharply when $q \rightarrow 1$ and $\phi_H$ is small but its gradient can be very small which independent of $q$ when $\phi_H$ is large. Furthermore, the weak energy condition of hairy RNBHs, particularly at the horizon can be satisfied when $q>0$.


title: Pseudo Twirling Mitigation of Coherent Errors in non-Clifford Gates

abstract: The conventional circuit paradigm, utilizing a limited number of gates to construct arbitrary quantum circuits, is hindered by significant noise overhead. For instance, the standard gate paradigm employs two CNOT gates for the partial CPhase rotation in the quantum Fourier transform, even when the rotation angle is very small. In contrast, some quantum computer platforms can directly implement such operations using their native interaction, resulting in considerably shorter and less noisy implementations for small rotation angles. Unfortunately, coherent errors stemming from qubit crosstalk and calibration imperfections render these implementations impractical. In Clifford gates such as the CNOT, these errors can be addressed through Pauli twirling (also known as randomized compiling). However, this technique is not applicable to the non-Clifford native implementations described above. The present work introduces, analyzes, and experimentally demonstrates a technique called `Pseudo Twirling' to address coherent errors in general gates and circuits. Additionally, we experimentally showcase that integrating pseudo twirling with a quantum error mitigation method called `Adaptive KIK' enables the simultaneous mitigation of both noise and coherent errors in non-Clifford gates. Due to its unique features pseudo twirling could become a valuable asset in enhancing the capabilities of both present and future NISQ devices.


title: Textual Summarisation of Large Sets: Towards a General Approach

abstract: We are developing techniques to generate summary descriptions of sets of objects. In this paper, we present and evaluate a rule-based NLG technique for summarising sets of bibliographical references in academic papers. This extends our previous work on summarising sets of consumer products and shows how our model generalises across these two very different domains.


title: LLMs for Relational Reasoning: How Far are We?

abstract: Large language models (LLMs) have revolutionized many areas (e.g. natural language processing, software engineering, etc.) by achieving state-of-the-art performance on extensive downstream tasks. Aiming to achieve robust and general artificial intelligence, there has been a surge of interest in investigating the reasoning ability of the LLMs. Whereas the textual and numerical reasoning benchmarks adopted by previous works are rather shallow and simple, it is hard to conclude that the LLMs possess strong reasoning ability by merely achieving positive results on these benchmarks. Recent efforts have demonstrated that the LLMs are poor at solving sequential decision-making problems that require common-sense planning by evaluating their performance on the reinforcement learning benchmarks. In this work, we conduct an in-depth assessment of several state-of-the-art LLMs' reasoning ability based on the inductive logic programming (ILP) benchmark, which is broadly recognized as a representative and challenging measurement for evaluating logic program induction/synthesis systems as it requires inducing strict cause-effect logic to achieve robust deduction on independent and identically distributed (IID) and out-of-distribution (OOD) test samples. Our evaluations illustrate that compared with the neural program induction systems which are much smaller in model size, the state-of-the-art LLMs are much poorer in terms of reasoning ability by achieving much lower performance and generalization using either natural language prompting or truth-value matrix prompting.


title: On propositional logic semirings

abstract: Propositional logic serves as a fundamental cornerstone in mathematical logic. This paper delves into a semiring characterization of propositional logic, employing the Gr\"oebner-Shirshov basis theory to furnish an algebraic framework for deduction and proof grounded in atoms of propositional logic. The result is an algebraic approach to proving propositions in propositional logic. To illustrate the effectiveness and constraints of this method, we conclude with several specific examples.


title: Algorithmic amplification of biases on Google Search

abstract: The evolution of information-seeking processes, driven by search engines like Google, has transformed the access to information people have. This paper investigates how individuals' preexisting attitudes influence the modern information-seeking process, specifically the results presented by Google Search. Through a comprehensive study involving surveys and information-seeking tasks focusing on the topic of abortion, the paper provides four crucial insights: 1) Individuals with opposing attitudes on abortion receive different search results. 2) Individuals express their beliefs in their choice of vocabulary used in formulating the search queries, shaping the outcome of the search. 3) Additionally, the user's search history contributes to divergent results among those with opposing attitudes. 4) Google Search engine reinforces preexisting beliefs in search results. Overall, this study provides insights into the interplay between human biases and algorithmic processes, highlighting the potential for information polarization in modern information-seeking processes.


title: Eigenphase distributions of unimodular circular ensembles

abstract: Motivated by the study of Polyakov lines in gauge theories, Hanada and Watanabe recently presented a conjectured formula for the distribution of eigenphases of Haar-distributed random SU(N) matrices ($\beta$=2), supported by explicit examples at small N and by numerical samplings at larger N. In this note, I spell out a concise proof of their formula, and present its orthogonal and symplectic counterparts, i.e. the eigenphase distributions of Haar-random unimodular symmetric ($\beta$=1) and selfdual ($\beta$=4) unitary matrices parametrizing SU(N)/SO(N) and SU(2N)/Sp(2N), respectively.

categories: math-ph cond-mat.dis-nn hep-lat hep-th math.MP


title: Instabilities in models of supergiants MWC 137 and MWC 314

abstract: In several B-type supergiants photometric and spectroscopic variabilities together with episodes of enhanced mass-loss have been observed. Here we present the preliminary results of linear stability analysis followed by nonlinear numerical simulations in two B-type supergiants MWC 137 and MWC 314. All the considered models of MWC 137 having mass in the range of 30 M$_{\odot}$ to 70 M$_{\odot}$ are unstable while for the case of MWC 314 models with mass below 31 M$_{\odot}$ are unstable. The instabilities have been followed into nonlinear regime for selected models of these two supergiants. During the nonlinear numerical simulations, instabilities lead to finite amplitude pulsation with a well defined saturation level in the considered models of MWC 137 with mass greater than 42 M$_{\odot}$. The model of MWC 314 with mass of 40 M$_{\odot}$ - the suggested mass for the primary star - does not show any instabilities both in linear stability analysis and nonlinear numerical simulations. Velocity amplitude reaches to 10$^7$ cm/s in the nonlinear regime for the model of MWC 314 with mass of 30 M$_{\odot}$. Further extensive numerical simulations and observations are required to understand the origin of the observed variabilities in these stars.


title: VideoCrafter2: Overcoming Data Limitations for High-Quality Video Diffusion Models

abstract: Text-to-video generation aims to produce a video based on a given prompt. Recently, several commercial video models have been able to generate plausible videos with minimal noise, excellent details, and high aesthetic scores. However, these models rely on large-scale, well-filtered, high-quality videos that are not accessible to the community. Many existing research works, which train models using the low-quality WebVid-10M dataset, struggle to generate high-quality videos because the models are optimized to fit WebVid-10M. In this work, we explore the training scheme of video models extended from Stable Diffusion and investigate the feasibility of leveraging low-quality videos and synthesized high-quality images to obtain a high-quality video model. We first analyze the connection between the spatial and temporal modules of video models and the distribution shift to low-quality videos. We observe that full training of all modules results in a stronger coupling between spatial and temporal modules than only training temporal modules. Based on this stronger coupling, we shift the distribution to higher quality without motion degradation by finetuning spatial modules with high-quality images, resulting in a generic high-quality video model. Evaluations are conducted to demonstrate the superiority of the proposed method, particularly in picture quality, motion, and concept composition.


title: Compose and Conquer: Diffusion-Based 3D Depth Aware Composable Image Synthesis

abstract: Addressing the limitations of text as a source of accurate layout representation in text-conditional diffusion models, many works incorporate additional signals to condition certain attributes within a generated image. Although successful, previous works do not account for the specific localization of said attributes extended into the three dimensional plane. In this context, we present a conditional diffusion model that integrates control over three-dimensional object placement with disentangled representations of global stylistic semantics from multiple exemplar images. Specifically, we first introduce \textit{depth disentanglement training} to leverage the relative depth of objects as an estimator, allowing the model to identify the absolute positions of unseen objects through the use of synthetic image triplets. We also introduce \textit{soft guidance}, a method for imposing global semantics onto targeted regions without the use of any additional localization cues. Our integrated framework, \textsc{Compose and Conquer (CnC)}, unifies these techniques to localize multiple conditions in a disentangled manner. We demonstrate that our approach allows perception of objects at varying depths while offering a versatile framework for composing localized objects with different global semantics. Code: https://github.com/tomtom1103/compose-and-conquer/


title: Enhancing Lidar-based Object Detection in Adverse Weather using Offset Sequences in Time

abstract: Automated vehicles require an accurate perception of their surroundings for safe and efficient driving. Lidar-based object detection is a widely used method for environment perception, but its performance is significantly affected by adverse weather conditions such as rain and fog. In this work, we investigate various strategies for enhancing the robustness of lidar-based object detection by processing sequential data samples generated by lidar sensors. Our approaches leverage temporal information to improve a lidar object detection model, without the need for additional filtering or pre-processing steps. We compare $10$ different neural network architectures that process point cloud sequences including a novel augmentation strategy introducing a temporal offset between frames of a sequence during training and evaluate the effectiveness of all strategies on lidar point clouds under adverse weather conditions through experiments. Our research provides a comprehensive study of effective methods for mitigating the effects of adverse weather on the reliability of lidar-based object detection using sequential data that are evaluated using public datasets such as nuScenes, Dense, and the Canadian Adverse Driving Conditions Dataset. Our findings demonstrate that our novel method, involving temporal offset augmentation through randomized frame skipping in sequences, enhances object detection accuracy compared to both the baseline model (Pillar-based Object Detection) and no augmentation.


title: Consistent3D: Towards Consistent High-Fidelity Text-to-3D Generation with Deterministic Sampling Prior

abstract: Score distillation sampling (SDS) and its variants have greatly boosted the development of text-to-3D generation, but are vulnerable to geometry collapse and poor textures yet. To solve this issue, we first deeply analyze the SDS and find that its distillation sampling process indeed corresponds to the trajectory sampling of a stochastic differential equation (SDE): SDS samples along an SDE trajectory to yield a less noisy sample which then serves as a guidance to optimize a 3D model. However, the randomness in SDE sampling often leads to a diverse and unpredictable sample which is not always less noisy, and thus is not a consistently correct guidance, explaining the vulnerability of SDS. Since for any SDE, there always exists an ordinary differential equation (ODE) whose trajectory sampling can deterministically and consistently converge to the desired target point as the SDE, we propose a novel and effective "Consistent3D" method that explores the ODE deterministic sampling prior for text-to-3D generation. Specifically, at each training iteration, given a rendered image by a 3D model, we first estimate its desired 3D score function by a pre-trained 2D diffusion model, and build an ODE for trajectory sampling. Next, we design a consistency distillation sampling loss which samples along the ODE trajectory to generate two adjacent samples and uses the less noisy sample to guide another more noisy one for distilling the deterministic prior into the 3D model. Experimental results show the efficacy of our Consistent3D in generating high-fidelity and diverse 3D objects and large-scale scenes, as shown in Fig. 1. The codes are available at https://github.com/sail-sg/Consistent3D.


title: Canvil: Designerly Adaptation for LLM-Powered User Experiences

abstract: Advancements in large language models (LLMs) are poised to spark a proliferation of LLM-powered user experiences. In product teams, designers are often tasked with crafting user experiences that align with user needs. To involve designers and leverage their user-centered perspectives to create effective and responsible LLM-powered products, we introduce the practice of designerly adaptation for engaging with LLMs as an adaptable design material. We first identify key characteristics of designerly adaptation through a formative study with designers experienced in designing for LLM-powered products (N=12). These characteristics are 1) have a low technical barrier to entry, 2) leverage designers' unique perspectives bridging users and technology, and 3) encourage model tinkering. Based on this characterization, we build Canvil, a Figma widget that operationalizes designerly adaptation. Canvil supports structured authoring of system prompts to adapt LLM behavior, testing of adapted models on diverse user inputs, and integration of model outputs into interface designs. We use Canvil as a technology probe in a group-based design study (6 groups, N=17) to investigate the implications of integrating designerly adaptation into design workflows. We find that designers are able to iteratively tinker with different adaptation approaches and reason about interface affordances to enhance end-user interaction with LLMs. Furthermore, designers identified promising collaborative workflows for designerly adaptation. Our work opens new avenues for collaborative processes and tools that foreground designers' user-centered expertise in the crafting and deployment of LLM-powered user experiences.


title: Flow Divergence: Comparing Maps of Flows with Relative Entropy

abstract: Networks represent how the entities of a system are connected and can be partitioned differently, prompting ways to compare partitions. Common approaches for comparing network partitions include information-theoretic measures based on mutual information and set-theoretic measures such as the Jaccard index. These measures are often based on computing the agreement in terms of overlap between different partitions of the same set. However, they ignore link patterns which are essential for the organisation of networks. We propose flow divergence, an information-theoretic divergence measure for comparing network partitions, inspired by the ideas behind the Kullback-Leibler divergence and the map equation for community detection. Similar to the Kullback-Leibler divergence, flow divergence adopts a coding perspective and compares two network partitions $\mathsf{M}_a$ and $\mathsf{M}_b$ by considering the expected extra number of bits required to describe a random walk on a network using $\mathsf{M}_b$ relative to reference partition $\mathsf{M}_a$. Because flow divergence is based on random walks, it can be used to compare partitions with arbitrary and different depths. We show that flow divergence distinguishes between partitions that traditional measures consider to be equally good when compared to a reference partition. Applied to real networks, we use flow divergence to estimate the cost of overfitting in incomplete networks and to visualise the solution landscape of network partitions.


title: On some computational properties of open sets

abstract: Open sets are central to mathematics, especially analysis and topology, in ways few notions are. In most, if not all, computational approaches to mathematics, open sets are only studied indirectly via their 'codes' or 'representations'. In this paper, we study how hard it is to compute, given an arbitrary open set of reals, the most common representation, i.e. a countable set of open intervals. We work in Kleene's higher-order computability theory, which was historically based on the S1-S9 schemes and which now has an intuitive lambda calculus formulation due to the authors. We establish many computational equivalences between on one hand the 'structure' functional that converts open sets to the aforementioned representation, and on the other hand functionals arising from mainstream mathematics, like basic properties of semi-continuous functions, the Urysohn lemma, and the Tietze extension theorem. We also compare these functionals to known operations on regulated and bounded variation functions, and the Lebesgue measure restricted to closed sets. We obtain a number of natural computational equivalences for the latter involving theorems from mainstream mathematics.


title: On conditioning and consistency for nonlinear functionals

abstract: We consider a family of conditional nonlinear expectations defined on the space of bounded random variables and indexed by the class of all the sub-sigma-algebras of a given underlying sigma-algebra. We show that if this family satisfies a natural consistency property, then it collapses to a conditional certainty equivalent defined in terms of a state-dependent utility function. This result is obtained by embedding our problem in a decision theoretical framework and providing a new characterization of the Sure-Thing Principle. In particular we prove that this principle characterizes those preference relations which admit consistent backward conditional projections. We build our analysis on state-dependent preferences for a general state space as in Wakker and Zank (1999) and show that their numerical representation admits a continuous version of the state-dependent utility. In this way, we also answer positively to a conjecture posed in the aforementioned paper.


title: Controlling ultrafast laser writing in silica glass by pulse temporal contrast

abstract: Control of laser writing in transparent dielectrics using temporal contrast of light pulses is demonstrated. Anisotropic nanopores in silica glass are produced by high-contrast of 10^7 femtosecond Yb: KGW laser pulses rather than low-contrast of 10^3 Yb fiber laser pulses. Low-contrast pulses are useful for creating lamellar birefringent structures, possibly driven by quadrupole nonlinear current. The difference originates in the fiber laser storing third of its energy in a post-pulse of 200 ps duration. The absorption of this low-intensity fraction of the pulse by laser-induced transient defects with relatively long lifetime and low excitation energy, such as self-trapped holes, drastically changes the kinetics of energy deposition and type of material modification.


title: AI Thrust: Ranking Emerging Powers for Tech Startup Investment in Latin America

abstract: Artificial intelligence (AI) is rapidly transforming the global economy, and Latin America is no exception. In recent years, there has been a growing interest in AI development and implementation in the region. This paper presents a ranking of Latin American (LATAM) countries based on their potential to become emerging powers in AI. The ranking is based on three pillars: infrastructure, education, and finance. Infrastructure is measured by the availability of electricity, high-speed internet, the quality of telecommunications networks, and the availability of supercomputers. Education is measured by the quality of education and the research status. Finance is measured by the cost of investments, history of investments, economic metrics, and current implementation of AI. While Brazil, Chile, and Mexico have established themselves as major players in the AI industry in Latin America, our ranking demonstrates the new emerging powers in the region. According to the results, Argentina, Colombia, Uruguay, Costa Rica, and Ecuador are leading as new emerging powers in AI in Latin America. These countries have strong education systems, well-developed infrastructure, and growing financial resources. The ranking provides a useful tool for policymakers, investors, and businesses interested in AI development in Latin America. It can help to identify emerging LATAM countries with the greatest potential for AI growth and success.


title: CrossVideo: Self-supervised Cross-modal Contrastive Learning for Point Cloud Video Understanding

abstract: This paper introduces a novel approach named CrossVideo, which aims to enhance self-supervised cross-modal contrastive learning in the field of point cloud video understanding. Traditional supervised learning methods encounter limitations due to data scarcity and challenges in label acquisition. To address these issues, we propose a self-supervised learning method that leverages the cross-modal relationship between point cloud videos and image videos to acquire meaningful feature representations. Intra-modal and cross-modal contrastive learning techniques are employed to facilitate effective comprehension of point cloud video. We also propose a multi-level contrastive approach for both modalities. Through extensive experiments, we demonstrate that our method significantly surpasses previous state-of-the-art approaches, and we conduct comprehensive ablation studies to validate the effectiveness of our proposed designs.


title: Security of position-based quantum cryptography limits Hamiltonian simulation via holography

abstract: We investigate the link between position-based quantum cryptography (PBQC) and holography established in [MPS19] using holographic quantum error correcting codes as toy models. If the "temporal" scaling of the AdS metric is inserted by hand into the toy model via the bulk Hamiltonian interaction strength we recover a toy model with consistent causality structure. This leads to an interesting implication between two topics in quantum information: if position-based cryptography is secure against attacks with small entanglement then there are new fundamental lower bounds for resources required for one Hamiltonian to simulate another.


title: Autonomous Catheterization with Open-source Simulator and Expert Trajectory

abstract: Endovascular robots have been actively developed in both academia and industry. However, progress toward autonomous catheterization is often hampered by the widespread use of closed-source simulators and physical phantoms. Additionally, the acquisition of large-scale datasets for training machine learning algorithms with endovascular robots is usually infeasible due to expensive medical procedures. In this chapter, we introduce CathSim, the first open-source simulator for endovascular intervention to address these limitations. CathSim emphasizes real-time performance to enable rapid development and testing of learning algorithms. We validate CathSim against the real robot and show that our simulator can successfully mimic the behavior of the real robot. Based on CathSim, we develop a multimodal expert navigation network and demonstrate its effectiveness in downstream endovascular navigation tasks. The intensive experimental results suggest that CathSim has the potential to significantly accelerate research in the autonomous catheterization field. Our project is publicly available at https://github.com/airvlab/cathsim.


title: Joint Route Selection and Power Allocation in Multi-hop Cache-enabled Networks

abstract: The caching paradigm has been introduced to alleviate backhaul traffic load and to reduce latencies due to massive never ending increase in data traffic. To fully exploit the benefits offered by caching, unmanned aerial vehicles (UAVs) and device-to-device (D2D) communication can be further utilized. In contrast to prior works, that strictly limits the content delivery routes up to two hops, we explore a multi-hop communications scenario, where the UAVs, the UEs, or both can relay the content to individual users. In this context, we formulate the problem for joint route selection and power allocation to minimize the overall system content delivery duration. First, motivated by the limitations of existing works, we consider the case where the nodes may transmit content simultaneously rather than sequentially and propose simple yet effective approach to allocate the transmission power. Second, we design a low-complexity greedy algorithm jointly handling route selection and power allocation. The simulation results demonstrate that the proposed greedy algorithm outperforms the benchmark algorithm by up to 56.98% in terms of content delivery duration while it achieves close-to-optimal performance.