title: TALC: Time-Aligned Captions for Multi-Scene Text-to-Video Generation

abstract: Recent advances in diffusion-based generative modeling have led to the development of text-to-video (T2V) models that can generate high-quality videos conditioned on a text prompt. Most of these T2V models often produce single-scene video clips that depict an entity performing a particular action (e.g., 'a red panda climbing a tree'). However, it is pertinent to generate multi-scene videos since they are ubiquitous in the real-world (e.g., 'a red panda climbing a tree' followed by 'the red panda sleeps on the top of the tree'). To generate multi-scene videos from a pretrained T2V model, we introduce Time-Aligned Captions (TALC) framework. Specifically, we enhance the text-conditioning mechanism in the T2V architecture to recognize the temporal alignment between the video scenes and scene descriptions. As a result, we show that the pretrained T2V model can generate multi-scene videos that adhere to the multi-scene text descriptions and be visually consistent (e.g., w.r.t entity and background). Our TALC-finetuned model outperforms the baseline methods on multi-scene video-text data by 15.5 points on aggregated score, averaging visual consistency and text adherence using human evaluation. The project website is https://talc-mst2v.github.io/.


title: Multicomplex Ideals, Modules and Hilbert Spaces

abstract: In this article we study some algebraic aspects of multicomplex numbers $\mathbb M_n$. For $n\geq 2$ a canonical representation is defined in terms of the multiplication of $n-1$ idempotent elements. This representation facilitates computations in this algebra and makes it possible to introduce a generalized conjugacy $\Lambda_n$, i.e. a composition of the $n$ multicomplex conjugates $\Lambda_n:=\dagger_1\cdots \dagger_n$, as well as a multicomplex norm. The multicomplex algebra equipped with this norm and $\Lambda_n$ as the involution forms a C$^*$-algebra. The ideals of the ring of multicomplex numbers are then studied in details. Free $\mathbb M_n$-modules and their linear operators are considered. Finally, we develop Hilbert spaces on the multicomplex algebra.


title: Clustering and spatial distribution of mitochondria in dendritic trees

abstract: Neuronal dendrites form densely branched tree architectures through which mitochondria must be distributed to supply the cell's energetic needs. Dendritic mitochondria circulate through the tree, undergoing fusion and fission to form clusters of varying sizes. We present a mathematical model for the distribution of such actively-driven particles in a branched geometry. Our model demonstrates that `balanced' trees (wherein cross-sectional area is conserved across junctions and thicker branches support more bushy subtrees) enable symmetric yet distally enriched particle distributions and promote dispersion into smaller clusters. These results highlight the importance of tree architecture and radius-dependent fusion in governing the distribution of neuronal mitochondria.


title: Bridging the Bosphorus: Advancing Turkish Large Language Models through Strategies for Low-Resource Language Adaptation and Benchmarking

abstract: Large Language Models (LLMs) are becoming crucial across various fields, emphasizing the urgency for high-quality models in underrepresented languages. This study explores the unique challenges faced by low-resource languages, such as data scarcity, model selection, evaluation, and computational limitations, with a special focus on Turkish. We conduct an in-depth analysis to evaluate the impact of training strategies, model choices, and data availability on the performance of LLMs designed for underrepresented languages. Our approach includes two methodologies: (i) adapting existing LLMs originally pretrained in English to understand Turkish, and (ii) developing a model from the ground up using Turkish pretraining data, both supplemented with supervised fine-tuning on a novel Turkish instruction-tuning dataset aimed at enhancing reasoning capabilities. The relative performance of these methods is evaluated through the creation of a new leaderboard for Turkish LLMs, featuring benchmarks that assess different reasoning and knowledge skills. Furthermore, we conducted experiments on data and model scaling, both during pretraining and fine-tuning, simultaneously emphasizing the capacity for knowledge transfer across languages and addressing the challenges of catastrophic forgetting encountered during fine-tuning on a different language. Our goal is to offer a detailed guide for advancing the LLM framework in low-resource linguistic contexts, thereby making natural language processing (NLP) benefits more globally accessible.


title: Ultrafast dynamics of wavelength-sensitive magnons in unconventional compensated semiconducting antiferromagnet

abstract: Antiferromagnet is a promising candidate for the next generation spintronic devices, benefiting from its ultrafast dynamics and spontaneous zero stray field. However, the understanding of their ultrafast spin behaviors is lacking due to the challenges of controlling/detecting the quenched net magnetization. Unconventional compensated semiconducting antiferromagnets present strong time-reversal symmetry breaking, spin splitting in the momentum space, and suitable bandgap for optical control/detection. Thus, it is a powerful platform to uncover the ultrafast dynamics of antiferromagnets. Here, we show an exotic wavelength-dependent spin dynamic in the unconventional compensated semiconducting antiferromagnet {\alpha}-MnTe via time-resolved quadratic magneto-optical Kerr effect measurement, where the probing photon energy of the laser matches its bandgap. This direct excitation and detection of distinct magnon modes reveal varying spin behaviors and time characteristics in a broad temperature range. It originates from the spins triggered at different bands of electronic structures and is depicted in an energy transfer model among electrons, phonons, and magnons. Our study of exotic optical properties in this unconventional semiconducting antiferromagnet fulfills the missing information of spin evolution in the time domain and paves the way for its utilization in ultrafast spintronic devices.


title: Towards Human-AI Mutual Learning: A New Research Paradigm

abstract: This paper describes a new research paradigm for studying human-AI collaboration, named "human-AI mutual learning", defined as the process where humans and AI agents preserve, exchange, and improve knowledge during human-AI collaboration. We describe relevant methodologies, motivations, domain examples, benefits, challenges, and future research agenda under this paradigm.


title: On existence of solutions to non-convex minimization problems

abstract: We provide new sufficient conditions for the finiteness of the optimal value and existence of solutions to a general problem of minimizing a proper closed function over a nonempty closed set. The conditions require an asymptotically bounded decay of a function, a relaxation of p-supercoercivity, and a certain relation for the asymptotic cone of the constraint set and the asymptotic function of the objective function. Our analysis combines these conditions with a regularization technique. We refine the notion of retractive directions of a set, extend its definition to functions, and establish some basic relations for such directions for both sets and functions. Using these tools, we provide existence of solutions results that generalize many of the results in the literature for both non-convex and convex problems.


title: Signature of T$_\textrm{c}$ above 111 K in Li-doped (Bi,Pb)-2223 superconductors: synergistic nature of hole concentration, coherence length and Josephson interlayer coupling

abstract: Understanding the bottleneck to drive higher critical transition temperature $T_\textrm{c}$ plays a pivotal role in the underlying study of superconductors. We systematically investigate the effect of Li$^+$ substitution for Cu$^{2+}$ cations on the $T_\textrm{c}$, hole concentration, coherence length and interlayer coupling, and microstructure in Li-doped Bi$_{1.6}$Pb$_{0.4}$Sr$_2$Ca$_2$Cu$_3$O$_{10 + \delta}$ or (Bi,Pb)-2223 compound. Remarkably, we demonstrate by utilizing a long-time sintering accompanied by a multiple recurrent intermediate stages of calcining and pressing within our renovated solid-state reaction method, the optimal Li-doped (Bi,Pb)-2223 samples achieve the well-enhanced $T_\textrm{c}$ of 111--113.8 K compared with the standard value of 110 K. We evince the superconducting mechanism that the substitution of Li$^{+}$ for Cu$^{2+}$ ions on the CuO$_2$ layers causes augmenting the hole concentrations and promotes the correlation between the overdoped outer and the underdoped inner CuO$_2$ planes, and thus effects improve $T_\textrm{c}$. Following a universal quadratic relation between $T_\textrm{c}$ and hole concentration, a new higher optimal hole concentration is provided. Additionally, by analyzing the Aslamazov-Larkin and Lawrence-Doniach theories on the reliable excess conductivity data near the critical temperature, we observe the strong effect of Li-doping on the system. The coherence length steadily increases versus the Li-doped content, while the Josephson interlayer coupling strength between the CuO$_2$ layers almost remains a constant for the whole series of Li-doping. Our findings establish an insightful roadmap to improve the critical temperature and intrinsic superconducting properties in the Bi-2223 compounds through the doping process.


title: An efficient GPU-accelerated multi-source global fit pipeline for LISA data analysis

abstract: The large-scale analysis task of deciphering gravitational wave signals in the LISA data stream will be difficult, requiring a large amount of computational resources and extensive development of computational methods. Its high dimensionality, multiple model types, and complicated noise profile require a global fit to all parameters and input models simultaneously. In this work, we detail our global fit algorithm, called "Erebor," designed to accomplish this challenging task. It is capable of analysing current state-of-the-art datasets and then growing into the future as more pieces of the pipeline are completed and added. We describe our pipeline strategy, the algorithmic setup, and the results from our analysis of the LDC2A Sangria dataset, which contains Massive Black Hole Binaries, compact Galactic Binaries, and a parameterized noise spectrum whose parameters are unknown to the user. We recover posterior distributions for all 15 (6) of the injected MBHBs in the LDC2A training (hidden) dataset. We catalog $\sim12000$ Galactic Binaries ($\sim8000$ as high confidence detections) for both the training and hidden datasets. All of the sources and their posterior distributions are provided in publicly available catalogs.


title: Carbon Filter: Real-time Alert Triage Using Large Scale Clustering and Fast Search

abstract: "Alert fatigue" is one of the biggest challenges faced by the Security Operations Center (SOC) today, with analysts spending more than half of their time reviewing false alerts. Endpoint detection products raise alerts by pattern matching on event telemetry against behavioral rules that describe potentially malicious behavior, but can suffer from high false positives that distract from actual attacks. While alert triage techniques based on data provenance may show promise, these techniques can take over a minute to inspect a single alert, while EDR customers may face tens of millions of alerts per day; the current reality is that these approaches aren't nearly scalable enough for production environments. We present Carbon Filter, a statistical learning based system that dramatically reduces the number of alerts analysts need to manually review. Our approach is based on the observation that false alert triggers can be efficiently identified and separated from suspicious behaviors by examining the process initiation context (e.g., the command line) that launched the responsible process. Through the use of fast-search algorithms for training and inference, our approach scales to millions of alerts per day. Through batching queries to the model, we observe a theoretical maximum throughput of 20 million alerts per hour. Based on the analysis of tens of million alerts from customer deployments, our solution resulted in a 6-fold improvement in the Signal-to-Noise ratio without compromising on alert triage performance.


title: Enhancing Organizational Performance: Harnessing AI and NLP for User Feedback Analysis in Product Development

abstract: This paper explores the application of AI and NLP techniques for user feedback analysis in the context of heavy machine crane products. By leveraging AI and NLP, organizations can gain insights into customer perceptions, improve product development, enhance satisfaction and loyalty, inform decision-making, and gain a competitive advantage. The paper highlights the impact of user feedback analysis on organizational performance and emphasizes the reasons for using AI and NLP, including scalability, objectivity, improved accuracy, increased insights, and time savings. The methodology involves data collection, cleaning, text and rating analysis, interpretation, and feedback implementation. Results include sentiment analysis, word cloud visualizations, and radar charts comparing product attributes. These findings provide valuable information for understanding customer sentiment, identifying improvement areas, and making data-driven decisions to enhance the customer experience. In conclusion, promising AI and NLP techniques in user feedback analysis offer organizations a powerful tool to understand customers, improve product development, increase satisfaction, and drive business success


title: Generalization of the Alpha-Stable Distribution with the Degree of Freedom

abstract: A Wright function based framework is proposed to combine and extend several distribution families. The $\alpha$-stable distribution is generalized by adding the degree of freedom parameter. The PDF of this two-sided super distribution family subsumes those of the original $\alpha$-stable, Student's t distributions, as well as the exponential power distribution and the modified Bessel function of the second kind. Its CDF leads to a fractional extension of the Gauss hypergeometric function. The degree of freedom makes possible for valid variance, skewness, and kurtosis, just like Student's t. The original $\alpha$-stable distribution is viewed as having one degree of freedom, that explains why it lacks most of the moments. A skew-Gaussian kernel is derived from the characteristic function of the $\alpha$-stable law, which maximally preserves the law in the new framework. To facilitate such framework, the stable count distribution is generalized as the fractional extension of the generalized gamma distribution. It provides rich subordination capabilities, one of which is the fractional $\chi$ distribution that supplies the needed 'degree of freedom' parameter. Hence, the "new" $\alpha$-stable distribution is a "ratio distribution" of the skew-Gaussian kernel and the fractional $\chi$ distribution. Mathematically, it is a new form of higher transcendental function under the Wright function family. Last, the new univariate symmetric distribution is extended to the multivariate elliptical distribution successfully.


title: Affine subspaces of matrices with rank in a range

abstract: For every $m,n \in \mathbb{N}$ and every field $K$, let $M(m \times n, K)$ be the vector space of the $(m \times n)$-matrices over $K$ and let $A(n,K)$ be the vector space of the antisymmetric $(n \times n)$-matrices over $K$. Let $r, s $ be natural numbers with $ s \leq r$. Define $${\cal A}^K(m \times n;s,r)= \left\{ \begin{array}{ll} S \;| & \; S \; \mbox{\rm affine subspace of $M(m \times n, K)$ such that } & s =\min \{rank(A)| \; A \in S \}, \; r =\max \{rank(A)| \;, A \in S \} \end{array} \right\}$$ $${\cal A}_{antisym}^K(n;s,r)= \left\{ \begin{array}{ll} S \;| & \; S \; \mbox{\rm affine subspace of $A(n,K)$ such that } & s =\min \{rank(A)| \; A \in S \}, \; r =\max \{rank(A)| \; A \in S \} \end{array} \right\}, $$ $${\cal A}_{echel}^K(m \times n;s,r)= \left\{ \begin{array}{ll} S \;| & \; S \; \mbox{\rm affine subspace of $M( m \times n,K)$ such that } \\ & A \; \mbox{\rm is in row echelon form } \forall A \in S, & s =\min \{rank(A)| \; A \in S \}, \; r =\max \{rank(A)| \; A \in S \} \end{array} \right\}. $$ In this paper we prove the following formulas: if $|K| \geq r+2$ and the characteristic of $K$ is different from $2$, then $$ \max \{\dim(S) \; |\; S \in {\cal A}^K(m \times n; s,r)\} = r \max \{m,n\} - \binom{s+1}{2}$$ and $$ \max \{\dim(S) \; |\; S \in {\cal A}_{antisym}^K( n; s,r) \} \leq (n-1) \frac{r}{2} - \frac{s^2}{4};$$ if $|K| \geq r+1$, then $$ \max \{\dim(S) \; |\; S \in {\cal A}^K_{echel}(m \times n; s,r) \}= \left\{ \begin{array}{ll} r n - \frac{r(r+1)}{2} & \mbox{if} \;\; s=r, \\ r n - \frac{r(r+1)}{2}+1 & \mbox{if} \;\; s<r. \end{array} \right. $$


title: Relationship of temperature changes in the mesopause region with the climate changes at the surface from observations in 1960-2024

abstract: The results of an analysis of temperature variations in the mesopause region based on long-term measurements of hydroxyl airglow at the Zvenigorod Scientific Station of the A.M. Obukhov Institute of Atmospheric Physics RAS (ZSS IAP RAS) in 1960-2024 in comparison with variations of surface temperature characterizing global-scale climate changes are presented. Along with temperature variations in the mesopause region, two versions of temperature variations in the mesopause region, normalized to the same level of solar activity, were analyzed. Quantitative estimates of a strong decrease in temperature in the mesopause region over the past decades in winter against the background of a global increase in surface temperature have been obtained. It was noted that significant coherence of long-term variations for temperature in the mesopause region with the surface temperature in the Northern Hemisphere with the use of cross-wavelet analysis, what was not previously evident in data for a shorter time interval. The possibility of such coherence was predicted in (Mokhov et al., 2017) under the continuation of global warming based on the results of model simulations for the 20-21 centuries, taking into account anthropogenic forcing. It was not previously manifested from observational data for a shorter time interval. Along with long-term trends, features of a sharp decrease in temperature in the mesopause region in the 1970s with its synchronicity with the known shift in surface climate regimes associated with El Ni\~no events were analyzed. The results of cross-wavelet analysis using data obtained at the ZSS IAP RAS for the time interval 1960-2024 indicate a more significant connection between temperature variations in the mesopause region and El Nino indices in recent decades.


title: Nearly Tight Bounds on Approximate Equilibria in Spatial Competition on the Line

abstract: In Hotelling's model of spatial competition, a unit mass of voters is distributed in the interval $[0,1]$ (with their location corresponding to their political persuasion), and each of $m$ candidates selects as a strategy his distinct position in this interval. Each voter votes for the nearest candidate, and candidates choose their strategy to maximize their votes. It is known that if there are more than two candidates, equilibria may not exist in this model. It was unknown, however, how close to an equilibrium one could get. Our work studies approximate equilibria in this model, where a strategy profile is an (additive) $\epsilon$-equilibria if no candidate can increase their votes by $\epsilon$, and provides tight or nearly-tight bounds on the approximation $\epsilon$ achievable. We show that for 3 candidates, for any distribution of the voters, $\epsilon \ge 1/12$. Thus, somewhat surprisingly, for any distribution of the voters and any strategy profile of the candidates, at least $1/12$th of the total votes is always left ``on the table.'' Extending this, we show that in the worst case, there exist voter distributions for which $\epsilon \ge 1/6$, and this is tight: one can always compute a $1/6$-approximate equilibria. We then study the general case of $m$ candidates, and show that as $m$ grows large, we get closer to an exact equilibrium: one can always obtain an $1/(m+1)$-approximate equilibria in polynomial time. We show this bound is asymptotically tight, by giving voter distributions for which $\epsilon \ge 1/(m+3)$.


title: The Existential Theory of the Reals with Summation Operators

abstract: To characterize the computational complexity of satisfiability problems for probabilistic and causal reasoning within the Pearl's Causal Hierarchy, arXiv:2305.09508 [cs.AI] introduce a new natural class, named succ-$\exists$R. This class can be viewed as a succinct variant of the well-studied class $\exists$R based on the Existential Theory of the Reals (ETR). Analogously to $\exists$R, succ-$\exists$R is an intermediate class between NEXP and EXPSPACE, the exponential versions of NP and PSPACE. The main contributions of this work are threefold. Firstly, we characterize the class succ-$\exists$R in terms of nondeterministic real RAM machines and develop structural complexity theoretic results for real RAMs, including translation and hierarchy theorems. Notably, we demonstrate the separation of $\exists$R and succ-$\exists$R. Secondly, we examine the complexity of model checking and satisfiability of fragments of existential second-order logic and probabilistic independence logic. We show succ-$\exists$R- completeness of several of these problems, for which the best-known complexity lower and upper bounds were previously NEXP-hardness and EXPSPACE, respectively. Thirdly, while succ-$\exists$R is characterized in terms of ordinary (non-succinct) ETR instances enriched by exponential sums and a mechanism to index exponentially many variables, in this paper, we prove that when only exponential sums are added, the corresponding class $\exists$R^{\Sigma} is contained in PSPACE. We conjecture that this inclusion is strict, as this class is equivalent to adding a VNP-oracle to a polynomial time nondeterministic real RAM. Conversely, the addition of exponential products to ETR, yields PSPACE. Additionally, we study the satisfiability problem for probabilistic reasoning, with the additional requirement of a small model and prove that this problem is complete for $\exists$R^{\Sigma}.


title: A note on Fourier coefficients of Hecke eigenforms in short intervals

abstract: In this article, we investigate large prime factors of Fourier coefficients of non-CM normalized cuspidal Hecke eigenforms in short intervals. One of the new ingredients involves deriving an explicit version of Chebotarev density theorem in an interval of length $\frac{x}{(\log x)^A}$ for any $A>0$, modifying an earlier work of Balog and Ono. Furthermore, we need to strengthen a work of Rouse-Thorner to derive a lower bound for the largest prime factor of Fourier coefficients in an interval of length $x^{1/2 + \epsilon}$ for any $\epsilon >0$.


title: Algorithm and abstraction in formal mathematics

abstract: I analyse differences in style between traditional prose mathematics writing and computer-formalised mathematics writing, presenting five case studies. I note two aspects where good style seems to differ between the two: in their incorporation of computation and of abstraction. I argue that this reflects a different mathematical aesthetic for formalised mathematics.


title: Robust Implementation of Retrieval-Augmented Generation on Edge-based Computing-in-Memory Architectures

abstract: Large Language Models (LLMs) deployed on edge devices learn through fine-tuning and updating a certain portion of their parameters. Although such learning methods can be optimized to reduce resource utilization, the overall required resources remain a heavy burden on edge devices. Instead, Retrieval-Augmented Generation (RAG), a resource-efficient LLM learning method, can improve the quality of the LLM-generated content without updating model parameters. However, the RAG-based LLM may involve repetitive searches on the profile data in every user-LLM interaction. This search can lead to significant latency along with the accumulation of user data. Conventional efforts to decrease latency result in restricting the size of saved user data, thus reducing the scalability of RAG as user data continuously grows. It remains an open question: how to free RAG from the constraints of latency and scalability on edge devices? In this paper, we propose a novel framework to accelerate RAG via Computing-in-Memory (CiM) architectures. It accelerates matrix multiplications by performing in-situ computation inside the memory while avoiding the expensive data transfer between the computing unit and memory. Our framework, Robust CiM-backed RAG (RoCR), utilizing a novel contrastive learning-based training method and noise-aware training, can enable RAG to efficiently search profile data with CiM. To the best of our knowledge, this is the first work utilizing CiM to accelerate RAG.


title: The Enumerative Geometry and Arithmetic of Banana Nano-Manifolds

abstract: A banana manifold is a Calabi-Yau threefold fibered by Abelian surfaces whose singular fibers contain banana configurations: three rational curves meeting each other in two points. A nano-manifold is a Calabi-Yau threefold $X$ with very small Hodge numbers: $h^{1,1}(X)+h^{2,1}(X)\leq 6$. We construct four rigid banana nano-manifolds $\tilde{X}_N$, $N\in \{5,6,8,9 \}$, each with Hodge numbers given by $(h^{1,1},h^{2,1})=(4,0)$. We compute the Donaldson-Thomas partition function for banana curve classes and show that the associated genus $g$ Gromov-Witten potential is a genus 2 meromorphic Siegel modular form of weight $2g-2$ for a certain discrete subgroup $P^{*}_{N} \subset Sp_{4}(\mathbb{R})$. We also compute the weight 4 modular form whose $p$th Fourier coefficient is given by the trace of the action of Frobenius on $H^{3}_{et }(\tilde{X}_N ,{\mathbb{Q}}_{l})$ for almost all prime $p$. We observe that it is the unique weight 4 cusp form on $\Gamma_{0}(N)$.


title: Mitigating Negative Side Effects in Multi-Agent Systems Using Blame Assignment

abstract: When agents that are independently trained (or designed) to complete their individual tasks are deployed in a shared environment, their joint actions may produce negative side effects (NSEs). As their training does not account for the behavior of other agents or their joint action effects on the environment, the agents have no prior knowledge of the NSEs of their actions. We model the problem of mitigating NSEs in a cooperative multi-agent system as a Lexicographic Decentralized Markov Decision Process with two objectives. The agents must optimize the completion of their assigned tasks while mitigating NSEs. We assume independence of transitions and rewards with respect to the agents' tasks but the joint NSE penalty creates a form of dependence in this setting. To improve scalability, the joint NSE penalty is decomposed into individual penalties for each agent using credit assignment, which facilitates decentralized policy computation. Our results in simulation on three domains demonstrate the effectiveness and scalability of our approach in mitigating NSEs by updating the policies of a subset of agents in the system.


title: A note on non-regular Bonnet-Myers Sharp Graphs

abstract: Self-centred regular graphs which are Ollivier-Ricci Bonnet-Myers sharp have been completely classified. When the conditions of self-centeredness and regularity are removed it is an open problem on what the classification is. We present a complete classification of Bonnet-Myers sharp graphs with a diameter 2 and show that there exists Bonnet-Myers sharp graphs of diameter 3, 4 and 6 that belong to a family of graphs called symmetrical antitees.


title: System Identification of the Upgraded LHPOST6 Reaction Mass at the University of California San Diego

abstract: Upon completing the upgrade from one to six degrees of freedom of the Outdoor Shake Table at UCSD in 2019, forced vibration tests were carried out to identify the dynamic characteristics of the reaction mass and soil system. This report describes the motivation, execution, and results from such tests, which independently excited the reaction mass in four degrees of freedom: longitudinal, transverse, yaw, and vertical. The report discusses the frequency response curves and deformation patterns from which the natural frequencies, damping ratio, mode shapes, and rigid body motion were determined. The first objective of the study was to investigate if the dynamic properties of the system had dramatically changed after the upgrade by comparing the results to those from forced vibration tests performed 20 years ago, during the construction of the facility. In addition, most recent tests also contributed with results from the vertical degree of freedom, which had never been tested. The second objective was to obtain high-quality response data of the system that will be used to develop a high-fidelity computational model of the reaction mass in future research. A comparison of results showed a slight difference of 0.5Hz in the natural frequency of 2 degrees of freedom. Moreover, maximum displacements in the recent tests were overall larger than the previous ones with few exceptions. The report thoroughly discusses the several sources of discrepancy between the past and most recent results. Finally, test results allowed us to estimate the system's response if the shake table actuators were to be used at their maximum nominal capacity. Small displacement and high damping results were consistent with those of previous tests and further validated the design of the reaction mass.


title: Stability and dynamics of the laminar flow past rectangular prisms

abstract: The laminar flow past rectangular prisms is studied in the space of length-to-height ratio ($1 \le L/H \le 5$), width-to-height ratio ($1.2 \le W/H \le 5$) and Reynolds number ($Re \lessapprox 700$). The primary bifurcation is investigated with linear stability analysis. For large $W/L$ it consists of an oscillating mode breaking the top/bottom planar symmetry. For smaller $W/L$ the flow becomes first unstable to stationary perturbations, and the wake experiences a static deflection, vertical for intermediate $W/L$ and horizontal for small $W/L$. Weakly nonlinear analysis and nonlinear direct numerical simulations are used for $L/H = 5$ and larger $Re$. For $W/H = 1.2$ and $2.25$, after the primary bifurcation the flow recovers the top/bottom planar symmetry but loses the left/right one, via supercritical and subcritical pitchfork bifurcations, respectively. Further increasing $Re$, the flow becomes unsteady and oscillates around either the deflected (small $W/H$) or the non-deflected (intermediate $W/H$) wake. For intermediate $W/H$ and $R$e, a periodic and fully symmetric regime is detected, with hairpin vortices shed from the top and bottom leading-edge (LE) shear layers; its triggering mechanism is discussed. At large $Re$ and for all $W/H$, the flow approaches a chaotic state characterised by the superposition of different modes: shedding of hairpin vortices from the LE shear layers, and wake flapping in the horizontal and vertical directions. In some portions of the parameter space the different modes synchronise, giving rise to periodic regimes also at relatively large $Re$.


title: Guiding the Way: A Comprehensive Examination of AI Guidelines in Global Media

abstract: With the increasing adoption of artificial intelligence (AI) technologies in the news industry, media organizations have begun publishing guidelines that aim to promote the responsible, ethical, and unbiased implementation of AI-based technologies. These guidelines are expected to serve journalists and media workers by establishing best practices and a framework that helps them navigate ever-evolving AI tools. Drawing on institutional theory and digital inequality concepts, this study analyzes 37 AI guidelines for media purposes in 17 countries. Our analysis reveals key thematic areas, such as transparency, accountability, fairness, privacy, and the preservation of journalistic values. Results highlight shared principles and best practices that emerge from these guidelines, including the importance of human oversight, explainability of AI systems, disclosure of automated content, and protection of user data. However, the geographical distribution of these guidelines, highlighting the dominance of Western nations, particularly North America and Europe, can further ongoing concerns about power asymmetries in AI adoption and consequently isomorphism outside these regions. Our results may serve as a resource for news organizations, policymakers, and stakeholders looking to navigate the complex AI development toward creating a more inclusive and equitable digital future for the media industry worldwide.


title: A wearable anti-gravity supplement to therapy does not improve arm function in chronic stroke: a randomized trial

abstract: Background: Gravity confounds arm movement ability in post-stroke hemiparesis. Reducing its influence allows effective practice leading to recovery. Yet, there is a scarcity of wearable devices suitable for personalized use across diverse therapeutic activities in the clinic. Objective: In this study, we investigated the safety, feasibility, and efficacy of anti-gravity therapy using the ExoNET device in post-stroke participants. Methods: Twenty chronic stroke survivors underwent six, 45-minute occupational therapy sessions while wearing the ExoNET, randomized into either the treatment (ExoNET tuned to gravity-support) or control group (ExoNET tuned to slack condition). Clinical outcomes were evaluated by a blinded-rater at baseline, post, and six-week follow-up sessions. Kinetic, kinematic, and patient experience outcomes were also assessed. Results: Mixed-effect models showed a significant improvement in Box and Blocks scores in the post-intervention session for the treatment group (effect size: 2.1, p = .04). No significant effects were found between the treatment and control groups for ARAT scores and other clinical metrics. Direct kinetic effects revealed a significant reduction in muscle activity during free exploration with an effect size of (-7.12%, p< 005). There were no significant longitudinal kinetic or kinematic trends. Subject feedback suggested a generally positive perception of the anti-gravity therapy. Conclusions: Anti-gravity therapy with the ExoNET is a safe and feasible treatment for post-stroke rehabilitation. The device provided anti-gravity forces, did not encumber range of motion, and clinical metrics of anti-gravity therapy demonstrated improvements in gross manual dexterity. Further research is required to explore potential benefits in broader clinical metrics.


title: Renormalization of the nonprojectable Horava theory

abstract: We present the proof of renormalization of the Horava theory, in the nonprojectable version. We obtain a form of the quantum action that exhibits a manifest BRST-symmetry structure. Previous analysis have shown that the divergences produced by irregular loops cancel completely between them. The remaining divergences are local. The renormalization is achieved by using the approach developed by Barvinsky et al. with the background-field formalism.


title: Quillen's Fundamental Spectral Sequences Revisited

abstract: Quillen's fundamental spectral sequences relate Andr\'{e}-Quillen homology and cohomology to Tor and Ext functors. The five-term exact sequences arising from these spectral sequences are leveraged to characterize regular and complete intersection local rings. Despite their immense importance in the theory of Andr\'{e}-Quillen homology and cohomology, these spectral sequences are not treated in the literature as they merit. A sketchy argument with gaps for a special case of the first spectral sequence appears in an unpublished manuscript of Quillen, while the second spectral sequence is only stated without proof in another paper of Quillen. A rigorous proof of the spectral sequences requires a delicate investigation of the subtle structures involved. The goal of this expository article is to present a comprehensive and detailed proof of Quillen's fundamental spectral sequences in a readable and well-structured manner.


title: Untangling Lariats: Subgradient Following of Variationally Penalized Objectives

abstract: We describe a novel subgradient following apparatus for calculating the optimum of convex problems with variational penalties. In this setting, we receive a sequence $y_i,\ldots,y_n$ and seek a smooth sequence $x_1,\ldots,x_n$. The smooth sequence attains the minimum Bregman divergence to an input sequence with additive variational penalties in the general form of $\sum_i g_i(x_{i+1}-x_i)$. We derive, as special cases of our apparatus, known algorithms for the fused lasso and isotonic regression. Our approach also facilitates new variational penalties such as non-smooth barrier functions. We next derive and analyze multivariate problems in which $\mathbf{x}_i,\mathbf{y}_i\in\mathbb{R}^d$ and variational penalties that depend on $\|\mathbf{x}_{i+1}-\mathbf{x}_i\|$. The norms we consider are $\ell_2$ and $\ell_\infty$ which promote group sparsity. Last but not least, we derive a lattice-based subgradient following for variational penalties characterized through the output of arbitrary convolutional filters. This paradigm yields efficient solvers for problems in which sparse high-order discrete derivatives such as acceleration and jerk are desirable.


title: Community detection in multi-layer bipartite networks

abstract: The problem of community detection in multi-layer undirected networks has received considerable attention in recent years. However, practical scenarios often involve multi-layer bipartite networks, where each layer consists of two distinct types of nodes. Existing community detection algorithms tailored for multi-layer undirected networks are not directly applicable to multi-layer bipartite networks. To address this challenge, this paper introduces a novel multi-layer degree-corrected stochastic co-block model specifically designed to capture the underlying community structure within multi-layer bipartite networks. Within this framework, we propose an efficient debiased spectral co-clustering algorithm for detecting nodes' communities. We establish the consistent estimation property of our proposed algorithm and demonstrate that an increased number of layers in bipartite networks improves the accuracy of community detection. Through extensive numerical experiments, we showcase the superior performance of our algorithm compared to existing methods. Additionally, we validate our algorithm by applying it to real-world multi-layer network datasets, yielding meaningful and insightful results.


title: Tube Formulae for Generalized von Koch Fractals through Scaling Functional Equations

abstract: In this work, we provide a treatment of scaling functional equations in a general setting involving fractals arising from sufficiently nice self-similar systems in order to analyze the tube functions, tube zeta functions, and complex dimensions of relative fractal drums. Namely, we express the volume of a tubular neighborhood in terms of scaled copies of itself and a remainder term and then solve this expression by means of the tube zeta functions. We then apply our methods to analyze these generalized von Koch fractals, which are a class of fractals that allow for different regular polygons and scaling ratios to be used in the construction of the standard von Koch curve and snowflake. In particular, we describe the volume of an inner tubular neighborhoods and the possible complex dimensions of such fractal snowflakes.


title: Enhancing Knowledge Retrieval with Topic Modeling for Knowledge-Grounded Dialogue

abstract: Knowledge retrieval is one of the major challenges in building a knowledge-grounded dialogue system. A common method is to use a neural retriever with a distributed approximate nearest-neighbor database to quickly find the relevant knowledge sentences. In this work, we propose an approach that utilizes topic modeling on the knowledge base to further improve retrieval accuracy and as a result, improve response generation. Additionally, we experiment with a large language model, ChatGPT, to take advantage of the improved retrieval performance to further improve the generation results. Experimental results on two datasets show that our approach can increase retrieval and generation performance. The results also indicate that ChatGPT is a better response generator for knowledge-grounded dialogue when relevant knowledge is provided.


title: RACER: Epistemic Risk-Sensitive RL Enables Fast Driving with Fewer Crashes

abstract: Reinforcement learning provides an appealing framework for robotic control due to its ability to learn expressive policies purely through real-world interaction. However, this requires addressing real-world constraints and avoiding catastrophic failures during training, which might severely impede both learning progress and the performance of the final policy. In many robotics settings, this amounts to avoiding certain "unsafe" states. The high-speed off-road driving task represents a particularly challenging instantiation of this problem: a high-return policy should drive as aggressively and as quickly as possible, which often requires getting close to the edge of the set of "safe" states, and therefore places a particular burden on the method to avoid frequent failures. To both learn highly performant policies and avoid excessive failures, we propose a reinforcement learning framework that combines risk-sensitive control with an adaptive action space curriculum. Furthermore, we show that our risk-sensitive objective automatically avoids out-of-distribution states when equipped with an estimator for epistemic uncertainty. We implement our algorithm on a small-scale rally car and show that it is capable of learning high-speed policies for a real-world off-road driving task. We show that our method greatly reduces the number of safety violations during the training process, and actually leads to higher-performance policies in both driving and non-driving simulation environments with similar challenges.


title: Causality Pursuit from Heterogeneous Environments via Neural Adversarial Invariance Learning

abstract: Statistics suffers from a fundamental problem, "the curse of endogeneity" -- the regression function, or more broadly the prediction risk minimizer with infinite data, may not be the target we wish to pursue. This is because when complex data are collected from multiple sources, the biases deviated from the interested (causal) association inherited in individuals or sub-populations are not expected to be canceled. Traditional remedies are of hindsight and restrictive in being tailored to prior knowledge like untestable cause-effect structures, resulting in methods that risk model misspecification and lack scalable applicability. This paper seeks to offer a purely data-driven and universally applicable method that only uses the heterogeneity of the biases in the data rather than following pre-offered commandments. Such an idea is formulated as a nonparametric invariance pursuit problem, whose goal is to unveil the invariant conditional expectation $m^\star(x)\equiv \mathbb{E}[Y^{(e)}|X_{S^\star}^{(e)}=x_{S^\star}]$ with unknown important variable set $S^\star$ across heterogeneous environments $e\in \mathcal{E}$. Under the structural causal model framework, $m^\star$ can be interpreted as certain data-driven causality in general. The paper contributes to proposing a novel framework, called Focused Adversarial Invariance Regularization (FAIR), formulated as a single minimax optimization program that can solve the general invariance pursuit problem. As illustrated by the unified non-asymptotic analysis, our adversarial estimation framework can attain provable sample-efficient estimation akin to standard regression under a minimal identification condition for various tasks and models. As an application, the FAIR-NN estimator realized by two Neural Network classes is highlighted as the first approach to attain statistically efficient estimation in general nonparametric invariance learning.


title: Physics-based deep learning reveals rising heating demand heightens air pollution in Norwegian cities

abstract: Policymakers frequently analyze air quality and climate change in isolation, disregarding their interactions. This study explores the influence of specific climate factors on air quality by contrasting a regression model with K-Means Clustering, Hierarchical Clustering, and Random Forest techniques. We employ Physics-based Deep Learning (PBDL) and Long Short-Term Memory (LSTM) to examine the air pollution predictions. Our analysis utilizes ten years (2009-2018) of daily traffic, weather, and air pollution data from three major cities in Norway. Findings from feature selection reveal a correlation between rising heating degree days and heightened air pollution levels, suggesting increased heating activities in Norway are a contributing factor to worsening air quality. PBDL demonstrates superior accuracy in air pollution predictions compared to LSTM. This paper contributes to the growing literature on PBDL methods for more accurate air pollution predictions using environmental variables, aiding policymakers in formulating effective data-driven climate policies.


title: Remote Diffusion

abstract: I explored adapting Stable Diffusion v1.5 for generating domain-specific satellite and aerial images in remote sensing. Recognizing the limitations of existing models like Midjourney and Stable Diffusion, trained primarily on natural RGB images and lacking context for remote sensing, I used the RSICD dataset to train a Stable Diffusion model with a loss of 0.2. I incorporated descriptive captions from the dataset for text-conditioning. Additionally, I created a synthetic dataset for a Land Use Land Classification (LULC) task, employing prompting techniques with RAG and ChatGPT and fine-tuning a specialized remote sensing LLM. However, I faced challenges with prompt quality and model performance. I trained a classification model (ResNet18) on the synthetic dataset achieving 49.48% test accuracy in TorchGeo to create a baseline. Quantitative evaluation through FID scores and qualitative feedback from domain experts assessed the realism and quality of the generated images and dataset. Despite extensive fine-tuning and dataset iterations, results indicated subpar image quality and realism, as indicated by high FID scores and domain-expert evaluation. These findings call attention to the potential of diffusion models in remote sensing while highlighting significant challenges related to insufficient pretraining data and computational resources.


title: Metaverse Survey & Tutorial: Exploring Key Requirements, Technologies, Standards, Applications, Challenges, and Perspectives

abstract: In this paper, we present a comprehensive survey of the metaverse, envisioned as a transformative dimension of next-generation Internet technologies. This study not only outlines the structural components of our survey but also makes a substantial scientific contribution by elucidating the foundational concepts underlying the emergence of the metaverse. We analyze its architecture by defining key characteristics and requirements, thereby illuminating the nascent reality set to revolutionize digital interactions. Our analysis emphasizes the importance of collaborative efforts in developing metaverse standards, thereby fostering a unified understanding among industry stakeholders, organizations, and regulatory bodies. We extend our scrutiny to critical technologies integral to the metaverse, including interactive experiences, communication technologies, ubiquitous computing, digital twins, artificial intelligence, and cybersecurity measures. For each technological domain, we rigorously assess current contributions, principal techniques, and representative use cases, providing a nuanced perspective on their potential impacts. Furthermore, we delve into the metaverse's diverse applications across education, healthcare, business, social interactions, industrial sectors, defense, and mission-critical operations, highlighting its extensive utility. Each application is thoroughly analyzed, demonstrating its value and addressing associated challenges. The survey concludes with an overview of persistent challenges and future directions, offering insights into essential considerations and strategies necessary to harness the full potential of the metaverse. Through this detailed investigation, our goal is to articulate the scientific contributions of this survey paper, transcending a mere structural overview to highlight the transformative implications of the metaverse.


title: First detection of CF$^{+}$ in the Large Magellanic Cloud

abstract: CF$^{+}$ has been established as a valuable diagnostic tool for investigating photo-dissociation regions (PDRs) and fluorine abundances in the Milky Way. However, its role in extragalactic environments remains largely uncharted. Our objective is to explore the significance of CF$^{+}$ in the Large Magellanic Cloud (LMC) and assess its utility as a valuable probe for examining C$^{+}$ and fluorine abundances in external galaxies. We performed pointed CF$^{+}$ observations toward an active star-forming region, N113 in the LMC, using the Atacama Pathfinder EXperiment 12~m sub-millimeter telescope. We report the first discovery of CF$^{+}$ in the LMC through the successful detection of the CF$^{+}$ (2$\to$1) and (3$\to$2) lines. The excitation models indicate that CF$^{+}$ emission originates from dense PDRs characterized by an H$_{2}$ number density of $(0.5-7.9)\times 10^{4}$~cm$^{-3}$ in N113. Our observations provide the first constraint on the fluorine abundance in molecular clouds in the LMC, disclosing a value of $\lesssim 1.7\times 10^{-9}$. This value is about an order of magnitude lower than those previously measured toward red giants in the LMC, indicative of fluorine deficiency in the molecular gas. The estimated column density ratio between C$^{+}$ and CF$^{+}$ appears to be lower than the anticipated equilibrium ratio derived from the fluorine abundance in red giants. Both phenomena can be explained by the deficiency of CF$^{+}$ caused by the freeze-out of its primary chemical precursor, HF, onto dust grains. The deficiency of CF$^{+}$ within molecular clouds suggests that the measurements presented in this work serve exclusively as conservative estimates, establishing lower bounds for both the fluorine abundance and C$^{+}$ column densities in external galaxies.


title: Convergence Rate of the Hypersonic Similarity for Two-Dimensional Steady Potential Flows with Large Data

abstract: We establish the optimal convergence rate of the hypersonic similarity for two-dimensional steady potential flows with {\it large data} past over a straight wedge in the $BV\cap L^1$ framework, provided that the total variation of the large data multiplied by $\gamma-1+\frac{a_{\infty}^2}{M_\infty^2}$ is uniformly bounded with respect to the adiabatic exponent $\gamma>1$, the Mach number $M_\infty$ of the incoming steady flow, and the hypersonic similarity parameter $a_\infty$. Our main approach in this paper is first to establish the Standard Riemann Semigroup of the initial-boundary value problem for the isothermal hypersonic small disturbance equations with large data and then to compare the Riemann solutions between two systems with boundary locally case by case. Based on them, we derive the global $L^1$--estimate between the two solutions by employing the Standard Riemann Semigroup and the local $L^1$--estimates. We further construct an example to show that the convergence rate is optimal.


title: Reconstruction of surface electron spectrum and cyclotron motion in the CDW phase of Weyl semimetals

abstract: Charge density wave (CDW) instability drastically affects the surface electron spectrum of a Weyl semimetal. We show that in the CDW phase, the Fermi arcs reconnect into either closed Fermi loops or Frieze patterns traversing the reconstructed surface mini-Brillouin zone. For the closed reconnection topology, the application of an out-of-plane magnetic field leads to a cyclotron motion of the surface electrons. We determine the cyclotron frequency as a function of the electron energy and the magnitude of the CDW gap $\Delta$ for various orientations of the Fermi arcs. For weak coupling, the period of cyclotron motion is dominated by the time of traversal of the arc reconnection regions and is inversely proportional to $\Delta$.


title: Detecting and Refining HiRISE Image Patches Obscured by Atmospheric Dust

abstract: HiRISE (High-Resolution Imaging Science Experiment) is a camera onboard the Mars Reconnaissance orbiter responsible for photographing vast areas of the Martian surface in unprecedented detail. It can capture millions of incredible closeup images in minutes. However, Mars suffers from frequent regional and local dust storms hampering this data-collection process, and pipeline, resulting in loss of effort and crucial flight time. Removing these images manually requires a large amount of manpower. I filter out these images obstructed by atmospheric dust automatically by using a Dust Image Classifier fine-tuned on Resnet-50 with an accuracy of 94.05%. To further facilitate the seamless filtering of Images I design a prediction pipeline that classifies and stores these dusty patches. I also denoise partially obstructed images using an Auto Encoder-based denoiser and Pix2Pix GAN with 0.75 and 0.99 SSIM Index respectively.


title: Astrometric and photometric characterization of $\eta$ Tel B combining two decades of observations

abstract: $\eta$ Tel is an 18 Myr system with a 2.09 M$_{\odot}$ A-type star and an M7-M8 brown dwarf companion, $\eta$ Tel B, separated by 4.2'' (208 au). High-contrast imaging campaigns over 20 years have enabled orbital and photometric characterization. $\eta$ Tel B, bright and on a wide orbit, is ideal for detailed examination. We analyzed three new SPHERE/IRDIS coronagraphic observations to explore $\eta$ Tel B's orbital parameters, contrast, and surroundings, aiming to detect a circumplanetary disk or close companion. Reduced IRDIS data achieved a contrast of 1.0$\times 10^{-5}$, enabling astrometric measurements with uncertainties of 4 mas in separation and 0.2 degrees in position angle, the smallest so far. With a contrast of 6.8 magnitudes in the H band, $\eta$ Tel B's separation and position angle were measured as 4.218'' and 167.3 degrees, respectively. Orbital analysis using Orvara code, considering Gaia-Hipparcos acceleration, revealed a low eccentric orbit (e $\sim$ 0.34), inclination of 81.9 degrees, and semi-major axis of 218 au. $\eta$ Tel B's mass was determined to be 48 \MJup, consistent with previous calculations. No significant residual indicating a satellite or disk around $\eta$ Tel B was detected. Detection limits ruled out massive objects around $\eta$ Tel B with masses down to 1.6 \MJup at a separation of 33 au.


title: Legendrian knots and multi-crossings

abstract: It was shown in arXiv:1208.5742 that any smooth knot can be represented by an \"ubercrossing projection, i.e. a knot projection with no crossings aside from a single multi-crossing. We extend this idea to Legendrian knots and investigate \"ubercrossing and petal projections in the front and Lagrangian projections. We show that any Legendrian knot with an \"ubercrossing projection in the front projection is smoothly isotopic to the unknot and we demonstrate how to compute the $tb$ and rotation numbers for petal projections in the Lagrangian projection.


title: Formation and Evolution of Transient Prominence Bubbles Driven by Erupting Mini-filaments

abstract: Prominence bubbles, the dark arch-shaped "voids" below quiescent prominences, are generally believed to be caused by the interaction between the prominences and the slowly-emerging or quasi-stable underlying magnetic loops. However, this scenario could not explain some short-lived bubbles with extremely dynamic properties of evolution. Based on high-resolution H$\alpha$ observations, here we propose that bubbles should be classified into two categories according to their dynamic properties: quasi-steady (Type-I) bubbles and transient (Type-II) bubbles. Type-I bubbles could remain relatively stable and last for several hours, indicating the existence of a quasi-stable magnetic topology, while Type-II bubbles grow and collapse quickly within one hour without stability duration, which are usually associated with erupting mini-filaments. Analysis of several typical Type-II bubbles from different views, especially including an on-disk event, reveals that Type-II bubbles quickly appear and expand at a velocity of $\thicksim$5--25 km s$^{-1}$ accompanied by an erupting mini-filament below. The mini-filament's rising velocity is slightly larger than that of the Type-II bubbles' boundary, which will lead to the collision with each other in a short time, subsequent collapse of Type-II bubbles, and formation of a large plume into the above prominence. We also speculate that only if the angle between the axis of the erupting mini-filament and the line-of-sight is large enough, the interaction between the erupting mini-filament and the overlying prominence could trigger a Type-II bubble with a typical arch-shaped but quickly-expanding bright boundary.


title: Learning Phonotactics from Linguistic Informants

abstract: We propose an interactive approach to language learning that utilizes linguistic acceptability judgments from an informant (a competent language user) to learn a grammar. Given a grammar formalism and a framework for synthesizing data, our model iteratively selects or synthesizes a data-point according to one of a range of information-theoretic policies, asks the informant for a binary judgment, and updates its own parameters in preparation for the next query. We demonstrate the effectiveness of our model in the domain of phonotactics, the rules governing what kinds of sound-sequences are acceptable in a language, and carry out two experiments, one with typologically-natural linguistic data and another with a range of procedurally-generated languages. We find that the information-theoretic policies that our model uses to select items to query the informant achieve sample efficiency comparable to, and sometimes greater than, fully supervised approaches.


title: LLMs Can Patch Up Missing Relevance Judgments in Evaluation

abstract: Unjudged documents or holes in information retrieval benchmarks are considered non-relevant in evaluation, yielding no gains in measuring effectiveness. However, these missing judgments may inadvertently introduce biases into the evaluation as their prevalence for a retrieval model is heavily contingent on the pooling process. Thus, filling holes becomes crucial in ensuring reliable and accurate evaluation. Collecting human judgment for all documents is cumbersome and impractical. In this paper, we aim at leveraging large language models (LLMs) to automatically label unjudged documents. Our goal is to instruct an LLM using detailed instructions to assign fine-grained relevance judgments to holes. To this end, we systematically simulate scenarios with varying degrees of holes by randomly dropping relevant documents from the relevance judgment in TREC DL tracks. Our experiments reveal a strong correlation between our LLM-based method and ground-truth relevance judgments. Based on our simulation experiments conducted on three TREC DL datasets, in the extreme scenario of retaining only 10% of judgments, our method achieves a Kendall tau correlation of 0.87 and 0.92 on an average for Vicu\~na-7B and GPT-3.5 Turbo respectively.


title: Degree sequence condition for Hamiltonicity in tough graphs

abstract: Generalizing both Dirac's condition and Ore's condition for Hamilton cycles, Chvatal in 1972 established a degree sequence condition for the existence of a Hamilton cycle in a graph. Hoang in 1995 generalized Chvatal's degree sequence condition for 1-tough graphs and conjectured a t-tough analogue for any positive integer t at least 1. Hoang in the same paper verified his conjecture for t at most 3 and recently Hoang and Robin arXiv:2303.03479v2 verified the conjecture for t = 4. In this paper, we confirm the conjecture for all t at least 4.


title: Machine learning aided parameter analysis in Perovskite X-ray Detector

abstract: Many factors in perovskite X-ray detectors, such as crystal lattice and carrier dynamics, determine the final device performance (e.g., sensitivity and detection limit). However, the relationship between these factors remains unknown due to the complexity of the material. In this study, we employ machine learning to reveal the relationship between 15 intrinsic properties of halide perovskite materials and their device performance. We construct a database of X-ray detectors for the training of machine learning. The results show that the band gap is mainly influenced by the atomic number of the B-site metal, and the lattice length parameter b has the greatest impact on the carrier mobility-lifetime product ({\mu}{\tau}). An X-ray detector (m-F-PEA)2PbI4 were generated in the experiment and it further verified the accuracy of our ML models. We suggest further study on random forest regression for X-ray detector applications.


title: A rigidity property for a type of wave-Klein-Gordon system

abstract: In this paper we investigate the rigidity property of a wave component coupled in a wave-Klein-Gordon system. We prove that when the radiation field of the wave component vanishes at the null infinity, the initial data of this component also vanish, therefor there is no wave in the whole spacetime


title: Magnetic Field-Constrained Ensemble Image Segmentation of Coronal Holes in Chromospheric Observations

abstract: Coronal Holes (CHs) are large-scale, low-density regions in the solar atmosphere which may expel high-speed solar wind streams that incite hazardous, geomagnetic storms. Coronal and solar wind models can predict these high-speed streams and the performance of the coronal model can be validated against segmented CH boundaries. We present a novel method named Sub-Transition Region Identification of Ensemble Coronal Holes (STRIDE-CH) to address prominent challenges in segmenting CHs with Extreme Ultraviolet (EUV) imagery. Ground-based, chromospheric He I 10830 {\AA} line imagery and underlying Fe I photospheric magnetograms are revisited to disambiguate CHs from filaments and quiet Sun, overcome obscuration by coronal loops, and complement established methods in the community which use space-borne, coronal EUV observations. Classical computer vision techniques are applied to constrain the radiative and magnetic properties of detected CHs, produce an ensemble of boundaries, and compile these boundaries in a confidence map that quantifies the likelihood of CH presence throughout the solar disk. This method is science-enabling towards future studies of CH formation and variability from a mid-atmospheric perspective.


title: S-EQA: Tackling Situational Queries in Embodied Question Answering

abstract: We present and tackle the problem of Embodied Question Answering (EQA) with Situational Queries (S-EQA) in a household environment. Unlike prior EQA work tackling simple queries that directly reference target objects and quantifiable properties pertaining them, EQA with situational queries (such as "Is the bathroom clean and dry?") is more challenging, as the agent needs to figure out not just what the target objects pertaining to the query are, but also requires a consensus on their states to be answerable. Towards this objective, we first introduce a novel Prompt-Generate-Evaluate (PGE) scheme that wraps around an LLM's output to create a dataset of unique situational queries, corresponding consensus object information, and predicted answers. PGE maintains uniqueness among the generated queries, using multiple forms of semantic similarity. We validate the generated dataset via a large scale user-study conducted on M-Turk, and introduce it as S-EQA, the first dataset tackling EQA with situational queries. Our user study establishes the authenticity of S-EQA with a high 97.26% of the generated queries being deemed answerable, given the consensus object data. Conversely, we observe a low correlation of 46.2% on the LLM-predicted answers to human-evaluated ones; indicating the LLM's poor capability in directly answering situational queries, while establishing S-EQA's usability in providing a human-validated consensus for an indirect solution. We evaluate S-EQA via Visual Question Answering (VQA) on VirtualHome, which unlike other simulators, contains several objects with modifiable states that also visually appear different upon modification -- enabling us to set a quantitative benchmark for S-EQA. To the best of our knowledge, this is the first work to introduce EQA with situational queries, and also the first to use a generative approach for query creation.


title: One-Bit Phase Retrieval: Optimal Rates and Efficient Algorithms

abstract: In this paper, we study the sample complexity and develop efficient optimal algorithms for 1-bit phase retrieval: recovering a signal $\mathbf{x}\in\mathbb{R}^n$ from $m$ phaseless bits $\{\mathrm{sign}(|\mathbf{a}_i^\top\mathbf{x}|-\tau)\}_{i=1}^m$ generated by standard Gaussian $\mathbf{a}_i$s. By investigating a phaseless version of random hyperplane tessellation, we show that (constrained) hamming distance minimization uniformly recovers all unstructured signals with Euclidean norm bounded away from zero and infinity to the error $\mathcal{O}((n/m)\log(m/n))$, and $\mathcal{O}((k/m)\log(mn/k^2))$ when restricting to $k$-sparse signals. Both error rates are shown to be information-theoretically optimal, up to a logarithmic factor. Intriguingly, the optimal rate for sparse recovery matches that of 1-bit compressed sensing, suggesting that the phase information is non-essential for 1-bit compressed sensing. We also develop efficient algorithms for 1-bit (sparse) phase retrieval that can achieve these error rates. Specifically, we prove that (thresholded) gradient descent with respect to the one-sided $\ell_1$-loss, when initialized via spectral methods, converges linearly and attains the near optimal reconstruction error, with sample complexity $\mathcal{O}(n)$ for unstructured signals and $\mathcal{O}(k^2\log(n)\log^2(m/k))$ for $k$-sparse signals. Our proof is based upon the observation that a certain local (restricted) approximate invertibility condition is respected by Gaussian measurements. To show this, we utilize a delicate covering argument and derive tight concentration bounds for the directional gradients by properly conditioning on the index set of phaseless hyperplane separations, which may be of independent interests and useful for other related problems.


title: The Canadian VirusSeq Data Portal & Duotang: open resources for SARS-CoV-2 viral sequences and genomic epidemiology

abstract: The COVID-19 pandemic led to a large global effort to sequence SARS-CoV-2 genomes from patient samples to track viral evolution and inform public health response. Millions of SARS-CoV-2 genome sequences have been deposited in global public repositories. The Canadian COVID-19 Genomics Network (CanCOGeN - VirusSeq), a consortium tasked with coordinating expanded sequencing of SARS-CoV-2 genomes across Canada early in the pandemic, created the Canadian VirusSeq Data Portal, with associated data pipelines and procedures, to support these efforts. The goal of VirusSeq was to allow open access to Canadian SARS-CoV-2 genomic sequences and enhanced, standardized contextual data that were unavailable in other repositories and that meet FAIR standards (Findable, Accessible, Interoperable and Reusable). The Portal data submission pipeline contains data quality checking procedures and appropriate acknowledgement of data generators that encourages collaboration. Here we also highlight Duotang, a web platform that presents genomic epidemiology and modeling analyses on circulating and emerging SARS-CoV-2 variants in Canada. Duotang presents dynamic changes in variant composition of SARS-CoV-2 in Canada and by province, estimates variant growth, and displays complementary interactive visualizations, with a text overview of the current situation. The VirusSeq Data Portal and Duotang resources, alongside additional analyses and resources computed from the Portal (COVID-MVP, CoVizu), are all open-source and freely available. Together, they provide an updated picture of SARS-CoV-2 evolution to spur scientific discussions, inform public discourse, and support communication with and within public health authorities. They also serve as a framework for other jurisdictions interested in open, collaborative sequence data sharing and analyses.


title: Cryptanalysis of the SIMON Cypher Using Neo4j

abstract: The exponential growth in the number of Internet of Things (IoT) devices has seen the introduction of several Lightweight Encryption Algorithms (LEA). While LEAs are designed to enhance the integrity, privacy and security of data collected and transmitted by IoT devices, it is hazardous to assume that all LEAs are secure and exhibit similar levels of protection. To improve encryption strength, cryptanalysts and algorithm designers routinely probe LEAs using various cryptanalysis techniques to identify vulnerabilities and limitations of LEAs. Despite recent improvements in the efficiency of cryptanalysis utilising heuristic methods and a Partial Difference Distribution Table (PDDT), the process remains inefficient, with the random nature of the heuristic inhibiting reproducible results. However, the use of a PDDT presents opportunities to identify relationships between differentials utilising knowledge graphs, leading to the identification of efficient paths throughout the PDDT. This paper introduces the novel use of knowledge graphs to identify intricate relationships between differentials in the SIMON LEA, allowing for the identification of optimal paths throughout the differentials, and increasing the effectiveness of the differential security analyses of SIMON.


title: Compactifications of Type II Supergravities in Superspace

abstract: We propose a way to describe compactifications of Type II supergravities with fluxes directly from superspace. The superspace used is the one that arises naturally from the pure spinor superstring. We show how previous results of flux compactifications can be obtained from our method.


title: Non-orientable 4-genus of torus knots

abstract: The non-orientable 4-genus of a knot $K$ in $S^{3}$, denoted $\gamma_4(K)$, measures the minimum genus of a non-orientable surface in $B^{4}$ bounded by $K$. We compute bounds for the non-orientable 4-genus of knots $T_{5, q}$ and $T_{6, q}$, extending previous research. Additionally, we provide a generalized, non-recursive formula for $d(S^{3}_{-1}(T_{p,q}))$, the $d$-invariant of -1-surgery on torus knots.


title: Twisted tensor product, smooth DG algebras, and noncommutative resolutions of singular curves

abstract: New families of algebras and DG algebras with two simple modules are introduced and described. Using the twisted tensor product operation, we prove that such algebras have finite global dimension, and the resulting DG algebras are smooth. This description allows us to show that some of these DG algebras determine smooth proper noncommutative curves that provide smooth minimal noncommutative resolutions for singular rational curves.


title: Pressure induced metallization and loss of surface magnetism in FeSi

abstract: Single crystalline FeSi samples with a conducting surface state (CSS) were studied under high pressure ($\textit{P}$) and magnetic field ($\textit{B}$) by means of electrical resistance ($\textit{R}$) measurements to explore how the bulk semiconducting state and the surface state are tuned by the application of pressure. We found that the energy gap ($\Delta$) associated with the semiconducting bulk phase begins to close abruptly at a critical pressure ($P_{cr}$) of ~10 GPa and the bulk material becomes metallic with no obvious sign of any emergent phases or non-Fermi liquid behavior in $\textit{R}$($\textit{T}$) in the neighborhood of $P_{cr}$ above 3 K. Moreover, the metallic phase appears to remain at near-ambient pressure upon release of the pressure. Interestingly, the hysteresis in the $\textit{R}$($\textit{T}$) curve associated with the magnetically ordered CSS decreases with pressure and vanishes at $P_{cr}$, while the slope of the $\textit{R}$($\textit{B}$) curve, d$\textit{R}$/d$\textit{B}$, which has a negative value for $\textit{P}$ < $P_{cr}$, decreases in magnitude with $\textit{P}$ and changes sign at $P_{cr}$. Thus, the CSS and the corresponding two-dimensional magnetic order collapse at $P_{cr}$ where the energy gap $\Delta$ of the bulk material starts to close abruptly, revealing the connection between the CSS and the semiconducting bulk state in FeSi.


title: Probabilistic Forward Modeling of Galaxy Catalogs with Normalizing Flows

abstract: Evaluating the accuracy and calibration of the redshift posteriors produced by photometric redshift (photo-z) estimators is vital for enabling precision cosmology and extragalactic astrophysics with modern wide-field photometric surveys. Evaluating photo-z posteriors on a per-galaxy basis is difficult, however, as real galaxies have a true redshift but not a true redshift posterior. We introduce PZFlow, a Python package for the probabilistic forward modeling of galaxy catalogs with normalizing flows. For catalogs simulated with PZFlow, there is a natural notion of "true" redshift posteriors that can be used for photo-z validation. We use PZFlow to simulate a photometric galaxy catalog where each galaxy has a redshift, noisy photometry, shape information, and a true redshift posterior. We also demonstrate the use of an ensemble of normalizing flows for photo-z estimation. We discuss how PZFlow will be used to validate the photo-z estimation pipeline of the Dark Energy Science Collaboration (DESC), and the wider applicability of PZFlow for statistical modeling of any tabular data.


title: All in One Framework for Multimodal Re-identification in the Wild

abstract: In Re-identification (ReID), recent advancements yield noteworthy progress in both unimodal and cross-modal retrieval tasks. However, the challenge persists in developing a unified framework that could effectively handle varying multimodal data, including RGB, infrared, sketches, and textual information. Additionally, the emergence of large-scale models shows promising performance in various vision tasks but the foundation model in ReID is still blank. In response to these challenges, a novel multimodal learning paradigm for ReID is introduced, referred to as All-in-One (AIO), which harnesses a frozen pre-trained big model as an encoder, enabling effective multimodal retrieval without additional fine-tuning. The diverse multimodal data in AIO are seamlessly tokenized into a unified space, allowing the modality-shared frozen encoder to extract identity-consistent features comprehensively across all modalities. Furthermore, a meticulously crafted ensemble of cross-modality heads is designed to guide the learning trajectory. AIO is the \textbf{first} framework to perform all-in-one ReID, encompassing four commonly used modalities. Experiments on cross-modal and multimodal ReID reveal that AIO not only adeptly handles various modal data but also excels in challenging contexts, showcasing exceptional performance in zero-shot and domain generalization scenarios.


title: Sensing Out-of-Equilibrium and Quantum Non-Gaussian environments via induced Time-Reversal Symmetry Breaking on the quantum-probe dynamics

abstract: Advancing quantum sensing tools for investigating systems at atomic and nanoscales is crucial for the progress of quantum technologies. While numerous protocols employ quantum probes to extract information from stationary or weakly coupled environments, the challenges intensify at atomic- and nano-scales where the environment is inherently out-of-equilibrium or strongly coupled with the sensor. We here prove that the time-reversal symmetry in the quantum-sensor control dynamics is broken, when partial information is probed from an environment that is out-of-equilibrium with non stationary fluctuations or is described by quantum non-Gaussian, strongly coupled environmental correlations. We exploit this phenomenon as a quantum sensing paradigm with proof-of principle experimental quantum simulations using solid-state nuclear magnetic resonance (NMR). This introduces a signal contrast on a qubit-probe that quantifies how far the sensed environment is from equilibrium or its quantum non-Gaussian nature. Protocols are also presented to discern and filter a variety of environmental properties including stationary, non-stationary and non-Gaussian quantum noise fluctuations as a step toward sensing the ubiquitous environments of a quantum-sensor at atomic and nanoscales.


title: Off-Road Autonomy Validation Using Scalable Digital Twin Simulations Within High-Performance Computing Clusters

abstract: Off-road autonomy validation presents unique challenges due to the unpredictable and dynamic nature of off-road environments. Traditional methods focusing on sequentially sweeping across the parameter space for variability analysis struggle to comprehensively assess the performance and safety of off-road autonomous systems within the imposed time constraints. This paper proposes leveraging scalable digital twin simulations within high-performance computing (HPC) clusters to address this challenge. By harnessing the computational power of HPC clusters, our approach aims to provide a scalable and efficient means to validate off-road autonomy algorithms, enabling rapid iteration and testing of autonomy algorithms under various conditions. We demonstrate the effectiveness of our framework through performance evaluations of the HPC cluster in terms of simulation parallelization and present the systematic variability analysis of a candidate off-road autonomy algorithm to identify potential vulnerabilities in the autonomy stack's perception, planning and control modules.


title: A secondary atmosphere on the rocky exoplanet 55 Cancri e

abstract: Characterizing rocky exoplanets is a central endeavor of astronomy, and yet the search for atmospheres on rocky exoplanets has hitherto resulted in either tight upper limits on the atmospheric mass or inconclusive results. The 1.95-REarth and 8.8-MEarth planet 55 Cnc e, with a predominantly rocky composition and an equilibrium temperature of ~2000 K, may have a volatile envelope (containing molecules made from a combination of C, H, O, N, S, and P elements) that accounts for up to a few percent of its radius. The planet has been observed extensively with transmission spectroscopy, and its thermal emission has been measured in broad photometric bands. These observations disfavor a primordial H2/He-dominated atmosphere but cannot conclusively determine whether the planet has a secondary atmosphere. Here we report a thermal emission spectrum of the planet obtained by JWST's NIRCam and MIRI instruments from 4 to 12 {\mu}m. The measurements rule out the scenario where the planet is a lava world shrouded by a tenuous atmosphere made of vaporized rock, and indicate a bona fide volatile atmosphere likely rich in CO2 or CO. This atmosphere can be outgassed from and sustained by a magma ocean.


title: Multiplier ideals of meromorphic functions in dimension two

abstract: We provide an effective method to compute multiplier ideals of meromorphic functions in dimension two. We also prove that meromorphic functions only have integer jumping numbers after reaching some threshold.


title: SVD-AE: Simple Autoencoders for Collaborative Filtering

abstract: Collaborative filtering (CF) methods for recommendation systems have been extensively researched, ranging from matrix factorization and autoencoder-based to graph filtering-based methods. Recently, lightweight methods that require almost no training have been recently proposed to reduce overall computation. However, existing methods still have room to improve the trade-offs among accuracy, efficiency, and robustness. In particular, there are no well-designed closed-form studies for \emph{balanced} CF in terms of the aforementioned trade-offs. In this paper, we design SVD-AE, a simple yet effective singular vector decomposition (SVD)-based linear autoencoder, whose closed-form solution can be defined based on SVD for CF. SVD-AE does not require iterative training processes as its closed-form solution can be calculated at once. Furthermore, given the noisy nature of the rating matrix, we explore the robustness against such noisy interactions of existing CF methods and our SVD-AE. As a result, we demonstrate that our simple design choice based on truncated SVD can be used to strengthen the noise robustness of the recommendation while improving efficiency. Code is available at https://github.com/seoyoungh/svd-ae.


title: Graded Betti numbers of powers of path ideals of paths

abstract: Let $I_{n,m} = (x_1\cdots x_{m},x_2 \cdots x_{m+1},\ldots,x_{n+1}x_{n+2}\cdots x_{n+m})$ be the $m$-path ideal of a path of length $n + m-1$ over a polynomial ring $S = \mathrm{k}[x_1,\ldots,x_{n+m}]$. We compute all the graded Betti numbers of all powers of $I_{n,m}$.


title: On diagonal digraphs, Koszul algebras and triangulations of homology spheres

abstract: We present the magnitude homology of a finite digraph $G$ as a certain subquotient of its path algebra. We use this to prove that the second magnitude homology group ${\rm MH}_{2,\ell}(G,\mathbb{Z})$ is a free abelian group for any $\ell$, and to describe its rank. This allows us to give a condition, denoted by $(\mathcal{V}_2)$, equivalent to vanishing of ${\rm MH}_{2,\ell}(G,\mathbb{Z})$ for $\ell>2.$ Recall that a digraph is called diagonal, if its magnitude homology is concentrated in diagonal degrees. Using the condition $(\mathcal V_2),$ we show that the GLMY-fundamental group of a diagonal (undirected) graph is trivial. In other words, the two-dimensional CW-complex obtained from a diagonal graph by attaching 2-cells to all squares and triangles of the graph is simply connected. We also give an interpretation of diagonality in terms of Koszul algebras: a digraph $G$ is diagonal if and only if the distance algebra $\sigma G$ is Koszul for any ground field; and if and only if $G$ satisfies $(\mathcal{V}_2)$ and the path cochain algebra $\Omega^\bullet(G)$ is Koszul for any ground field. Besides, we show that the path cochain algebra $\Omega^\bullet(G)$ is quadratic for any $G.$ To obtain a source of examples of (non-)diagonal digraphs, we study the extended Hasse diagram $\hat G_K$ of a simplicial complex $K$. For a combinatorial triangulation $K$ of a piecewise-linear manifold $M,$ we express the non-diagonal part of the magnitude homology of $\hat G_K$ via the homology of $M$. As a corollary we obtain that, if $K$ is a combinatorial triangulation of a closed piecewise-linear manifold $M$, then $\hat G_K$ is diagonal if and only if $M$ is a homology sphere.


title: Bayesian Black Hole Photogrammetry

abstract: We propose a simple, analytic dual-cone accretion model for horizon scale images of the cores of Low-Luminosity Active Galactic Nuclei (LLAGN), including those observed by the Event Horizon Telescope (EHT). Our underlying model is of synchrotron emission from an axisymmetric, magnetized plasma, which is constrained to flow within two oppositely oriented cones that are aligned with the black hole's spin axis. We show that this model can accurately reproduce images for a variety of time-averaged general relativistic magnetohydrodynamic (GRMHD) simulations, that it accurately recovers both the black hole and emission parameters from these simulations, and that it is sufficiently efficient to be used to measure these parameters in a Bayesian inference framework with radio interferometric data. We show that non-trivial topologies in the source image can result in non-trivial multi-modal solutions when applied to observations from a sparse array, such as the EHT 2017 observations of M87${}^*$. The presence of these degeneracies underscores the importance of employing Bayesian techniques that adequately sample the posterior space for the interpretation of EHT measurements. We fit our model to the EHT observations of M87${}^*$ and find a 95% Highest Posterior Density Interval (HPDI) for the mass-to-distance ratio of $\theta_g\in(2.84,3.75)\,\mu{\rm as}$, and give an inclination of $\theta_{\rm o}\in(11^\circ,24^\circ)$. These new measurements are consistent with mass measurements from the EHT and stellar dynamical estimates (e.g., Gebhardt et al. 2011; EHTC et al. 2019a,b; Liepold et al. 2023), and with the spin axis inclination inferred from properties of the M87${}^*$ jet (e.g., Walker et al. 2018).


title: The Catalog of early-type Runaway stars from LAMOST-DR8

abstract: Runaway stars are OB-type stars ejected from their birthplace with large peculiar velocities. The leading hypothesis addressed in their formation includes the supernova ejection mechanism and the dynamic ejection scenario. Identification of runaway populations is the first step to investigating their formation and evolution. Here we present our work of searching for Galactic runaway candidate stars from the LAMOST Medium-Resolution Survey DR8 database. After studying the kinematic properties for a collection of 4,432 early-type stars, predominantly B-type stars, using the radial velocity measurements from LAMOST DR8 and astrometric solutions made by Gaia DR3, we identified 229 runaway candidate stars. They span a wide distribution in projected rotational velocities. We investigated the Galactic spatial distribution of the runaway population and noticed that most of them likely reside within the Galactic thin disk. Based upon analyzing the Doppler shifts of the candidate stars, we found two binary runaway candidates displaying velocity variation with estimated orbital periods of 40 and 61 days.


title: Transverse Cooper-Pair Rectifier

abstract: Non-reciprocal devices are key components in modern electronics covering broad applications ranging from transistors to logic circuits thanks to the output rectified signal in the direction parallel to the input. In this work, we propose a transverse Cooper-pair rectifier in which a non-reciprocal current is perpendicular to the driving field, when inversion, time reversal, and mirror symmetries are broken simultaneously. The Blonder-Tinkham-Klapwijk formalism is developed to describe the transverse current-voltage relation in a normal-metal/superconductor tunneling junction, where symmetry constraints are achieved by an effective built-in supercurrent manifesting in an asymmetric and anisotropic Andreev reflection. The asymmetry in the Andreev reflection is induced when inversion and time reversal symmetry are broken by the supercurrent component parallel to the junction while the anisotropy occurs when the mirror symmetry with respect to the normal of the junction interface is broken by the perpendicular supercurrent component to the junction. Compared to the conventional longitudinal one, the transverse rectifier supports fully polarized diode efficiency and colossal nonreciprocal conductance rectification, completely decoupling the path of the input excitation from the output rectified signal. This work provides a formalism for realizing transverse non-reciprocity in superconducting junctions, which is expected to be achieved by modifying current experimental setups and may pave the way for future low-dissipation superconducting electronics.


title: HILCodec: High Fidelity and Lightweight Neural Audio Codec

abstract: The recent advancement of end-to-end neural audio codecs enables compressing audio at very low bitrates while reconstructing the output audio with high fidelity. Nonetheless, such improvements often come at the cost of increased model complexity. In this paper, we identify and address the problems of existing neural audio codecs. We show that the performance of Wave-U-Net does not increase consistently as the network depth increases. We analyze the root cause of such a phenomenon and suggest a variance-constrained design. Also, we reveal various distortions in previous waveform domain discriminators and propose a novel distortion-free discriminator. The resulting model, \textit{HILCodec}, is a real-time streaming audio codec that demonstrates state-of-the-art quality across various bitrates and audio types.


title: AttacKG+:Boosting Attack Knowledge Graph Construction with Large Language Models

abstract: Attack knowledge graph construction seeks to convert textual cyber threat intelligence (CTI) reports into structured representations, portraying the evolutionary traces of cyber attacks. Even though previous research has proposed various methods to construct attack knowledge graphs, they generally suffer from limited generalization capability to diverse knowledge types as well as requirement of expertise in model design and tuning. Addressing these limitations, we seek to utilize Large Language Models (LLMs), which have achieved enormous success in a broad range of tasks given exceptional capabilities in both language understanding and zero-shot task fulfillment. Thus, we propose a fully automatic LLM-based framework to construct attack knowledge graphs named: AttacKG+. Our framework consists of four consecutive modules: rewriter, parser, identifier, and summarizer, each of which is implemented by instruction prompting and in-context learning empowered by LLMs. Furthermore, we upgrade the existing attack knowledge schema and propose a comprehensive version. We represent a cyber attack as a temporally unfolding event, each temporal step of which encapsulates three layers of representation, including behavior graph, MITRE TTP labels, and state summary. Extensive evaluation demonstrates that: 1) our formulation seamlessly satisfies the information needs in threat event analysis, 2) our construction framework is effective in faithfully and accurately extracting the information defined by AttacKG+, and 3) our attack graph directly benefits downstream security practices such as attack reconstruction. All the code and datasets will be released upon acceptance.


title: Moments based entanglement criteria and measures

abstract: Quantum entanglement plays a key role in quantum computation and quantum information processing. It is of great significance to find efficient and experimentally friend separability criteria to detect entanglement. In this paper, we firstly propose two easily used entanglement criteria based on matrix moments. The first entanglement criterion only uses the first two realignment moments of a density matrix. The second entanglement criterion is based on the moments related to the partially transposed matrix. By detailed examples we illustrate the effectiveness of these criteria in detecting entanglement. Moreover, we provide an experimentally measurable lower bound of concurrence based on these moments. Finally, we present both bipartite and genuine tripartite entanglement measures based on the moments of the reduced states. By detailed examples, we show that our entanglement measures characterize the quantum entanglement in a more fine ways than the existing measures.


title: Conditional Local Feature Encoding for Graph Neural Networks

abstract: Graph neural networks (GNNs) have shown great success in learning from graph-based data. The key mechanism of current GNNs is message passing, where a node's feature is updated based on the information passing from its local neighbourhood. A limitation of this mechanism is that node features become increasingly dominated by the information aggregated from the neighbourhood as we use more rounds of message passing. Consequently, as the GNN layers become deeper, adjacent node features tends to be similar, making it more difficult for GNNs to distinguish adjacent nodes, thereby, limiting the performance of GNNs. In this paper, we propose conditional local feature encoding (CLFE) to help prevent the problem of node features being dominated by the information from local neighbourhood. The idea of our method is to extract the node hidden state embedding from message passing process and concatenate it with the nodes feature from previous stage, then we utilise linear transformation to form a CLFE based on the concatenated vector. The CLFE will form the layer output to better preserve node-specific information, thus help to improve the performance of GNN models. To verify the feasibility of our method, we conducted extensive experiments on seven benchmark datasets for four graph domain tasks: super-pixel graph classification, node classification, link prediction, and graph regression. The experimental results consistently demonstrate that our method improves model performance across a variety of baseline GNN models for all four tasks.


title: BiasKG: Adversarial Knowledge Graphs to Induce Bias in Large Language Models

abstract: Modern large language models (LLMs) have a significant amount of world knowledge, which enables strong performance in commonsense reasoning and knowledge-intensive tasks when harnessed properly. The language model can also learn social biases, which has a significant potential for societal harm. There have been many mitigation strategies proposed for LLM safety, but it is unclear how effective they are for eliminating social biases. In this work, we propose a new methodology for attacking language models with knowledge graph augmented generation. We refactor natural language stereotypes into a knowledge graph, and use adversarial attacking strategies to induce biased responses from several open- and closed-source language models. We find our method increases bias in all models, even those trained with safety guardrails. This demonstrates the need for further research in AI safety, and further work in this new adversarial space.


title: Communication-efficient and Differentially-private Distributed Nash Equilibrium Seeking with Linear Convergence

abstract: The distributed computation of a Nash equilibrium (NE) for non-cooperative games is gaining increased attention recently. Due to the nature of distributed systems, privacy and communication efficiency are two critical concerns. Traditional approaches often address these critical concerns in isolation. This work introduces a unified framework, named CDP-NES, designed to improve communication efficiency in the privacy-preserving NE seeking algorithm for distributed non-cooperative games over directed graphs. Leveraging both general compression operators and the noise adding mechanism, CDP-NES perturbs local states with Laplacian noise and applies difference compression prior to their exchange among neighbors. We prove that CDP-NES not only achieves linear convergence to a neighborhood of the NE in games with restricted monotone mappings but also guarantees $\epsilon$-differential privacy, addressing privacy and communication efficiency simultaneously. Finally, simulations are provided to illustrate the effectiveness of the proposed method.


title: Honeyfile Camouflage: Hiding Fake Files in Plain Sight

abstract: Honeyfiles are a particularly useful type of honeypot: fake files deployed to detect and infer information from malicious behaviour. This paper considers the challenge of naming honeyfiles so they are camouflaged when placed amongst real files in a file system. Based on cosine distances in semantic vector spaces, we develop two metrics for filename camouflage: one based on simple averaging and one on clustering with mixture fitting. We evaluate and compare the metrics, showing that both perform well on a publicly available GitHub software repository dataset.


title: Multi-Label Out-of-Distribution Detection with Spectral Normalized Joint Energy

abstract: In today's interconnected world, achieving reliable out-of-distribution (OOD) detection poses a significant challenge for machine learning models. While numerous studies have introduced improved approaches for multi-class OOD detection tasks, the investigation into multi-label OOD detection tasks has been notably limited. We introduce Spectral Normalized Joint Energy (SNoJoE), a method that consolidates label-specific information across multiple labels through the theoretically justified concept of an energy-based function. Throughout the training process, we employ spectral normalization to manage the model's feature space, thereby enhancing model efficacy and generalization, in addition to bolstering robustness. Our findings indicate that the application of spectral normalization to joint energy scores notably amplifies the model's capability for OOD detection. We perform OOD detection experiments utilizing PASCAL-VOC as the in-distribution dataset and ImageNet-22K or Texture as the out-of-distribution datasets. Our experimental results reveal that, in comparison to prior top performances, SNoJoE achieves 11% and 54% relative reductions in FPR95 on the respective OOD datasets, thereby defining the new state of the art in this field of study.