title: Robust Machine Learning Inference from X-ray Absorption Near Edge Spectra through Featurization

abstract: X-ray absorption spectroscopy (XAS) is a commonly-employed technique for characterizing functional materials. In particular, x-ray absorption near edge spectra (XANES) encodes local coordination and electronic information and machine learning approaches to extract this information is of significant interest. To date, most ML approaches for XANES have primarily focused on using the raw spectral intensities as input, overlooking the potential benefits of incorporating spectral transformations and dimensionality reduction techniques into ML predictions. In this work, we focused on systematically comparing the impact of different featurization methods on the performance of ML models for XAS analysis. We evaluated the classification and regression capabilities of these models on computed datasets and validated their performance on previously unseen experimental datasets. Our analysis revealed an intriguing discovery: the cumulative distribution function (CDF) feature achieves both high prediction accuracy and exceptional transferability. This remarkably robust performance can be attributed to its tolerance to horizontal shifts in spectra, which is crucial when validating models using experimental data. While this work exclusively focuses on XANES analysis, we anticipate that the methodology presented here will hold promise as a versatile asset to the broader spectroscopy community.


title: On the well-posedness of the Cahn-Hilliard-Biot model and its applications to tumor growth

abstract: We study the Cahn-Hilliard-Biot model regarding its mathematical well-posedness. The system models flow through deformable porous media in which the solid material has two phases with distinct material properties. The two phases of the porous material evolve according to a generalized Ginzburg-Landau energy functional, with additional influence from both elastic and fluid effects. The flow-deformation coupling in the system is governed by Biot's theory. This results in a three-way coupled system that can be viewed as an extension of the Cahn-Larch\'e equations by adding a fluid flowing through the medium. We use a Galerkin approximation to discretize the system and derive suitable energy estimates. Moreover, we apply compactness methods to pass to the limit in the discretized system. In the case of Vegard's law and homogeneous elasticity, we prove that the weak solution depends continuously on the data and that it is unique. Thus, the system is well-posed. Lastly, we present some numerical simulations to highlight the features of the system as a tumor growth model.


title: Score-Based Generative Models for Designing Binding Peptide Backbones

abstract: Score-based generative models (SGMs) have proven to be powerful tools for designing new proteins. Designing proteins that bind a pre-specified target is highly relevant to a range of medical and industrial applications. Despite the flurry of new SGMs in the last year, there has been little systematic exploration of the impact of design choices in SGMs for protein design. Here we present LoopGen, a flexible SGM framework for the design of short binding peptide structures. We apply our framework to design antibody binding loop structures conditional on a target epitope and evaluate a variety of modelling choices in SGM-based protein design. We demonstrate that modelling residue orientations in addition to positions improves not only the quality of the output structures but also their diversity. Additionally, we identify variance schedules that result in significant performance improvements and observe patterns that may motivate the development of better schedules for protein design. Finally, we develop three novel tests to evaluate whether the model generates structures that are appropriately conditioned on an epitope, demonstrating that LoopGen's generated structures are dependent on the structure, sequence, and position of the epitope. Our findings will help guide future development and evaluation of generative models for binding proteins.


title: Uses of Sub-sample Estimates to Reduce Errors in Stochastic Optimization Models

abstract: Optimization software enables the solution of problems with millions of variables and associated parameters. These parameters are, however, often uncertain and represented with an analytical description of the parameter's distribution or with some form of sample. With large numbers of such parameters, optimization of the resulting model is often driven by mis-specifications or extreme sample characteristics, resulting in solutions that are far from a true optimum. This paper describes how asymptotic convergence results may not be useful in large-scale problems and how the optimization of problems based on sub-sample estimates may achieve improved results over models using full-sample solution estimates. A motivating example and numerical results from a portfolio optimization problem demonstrate the potential improvement. A theoretical analysis also provides insight into the structure of problems where sub-sample optimization may be most beneficial.


title: Soft-Chemical Synthesis, Structure Evolution, and Insulator-to-Metal Transition in a Prototypical Metal Oxide, {\lambda}-RhO$_2$

abstract: ${\lambda}$-RhO$_2$, a prototype 4d transition metal oxide, has been prepared by oxidative delithiation of spinel LiRh$_2$O$_4$ using ceric ammonium nitrate. Average-structure studies of this RhO$_2$ polytype, including synchrotron powder X-ray diffraction and electron diffraction, indicate the room temperature structure to be tetragonal, in the space group I41/amd, with a first-order structural transition to cubic Fd-3m at T = 345 K on warming. Synchrotron X-ray pair distribution function analysis and $^7$Li solid state nuclear magnetic resonance measurements suggest that the room temperature structure displays local Rh-Rh bonding. The formation of these local dimers appears to be associated with a metal-to insulator transition with a non-magnetic ground state, as also supported by density functional theory-based electronic structure calculations. This contribution demonstrates the power of soft chemistry to kinetically stabilize a surprisingly simple binary oxide compound.


title: Simplifying the simulation of local Hamiltonian dynamics

abstract: Local Hamiltonians, $H_k$, describe non-trivial $k$-body interactions in quantum many-body systems. Here, we address the dynamical simulatability of a $k$-local Hamiltonian by a simpler one, $H_{k'}$, with $k'<k$, under the realistic constraint that both Hamiltonians act on the same Hilbert space. When it comes to exact simulation, we build upon known methods to derive examples of $H_k$ and $H_{k'}$ that simulate the same physics. We also address the most realistic case of approximate simulation. There, we upper-bound the error up to which a Hamiltonian can simulate another one, regardless of their internal structure, and prove, by means of an example, that the accuracy of a $(k'=2)$-local Hamiltonian to simulate $H_{k}$ with $k>2$ increases with $k$. Finally, we propose a method to search for the $k'$-local Hamiltonian that simulates, with the highest possible precision, the short time dynamics of a given $H_k$ Hamiltonian.


title: A categorical view of varieties and equations

abstract: We present a common framework to study varieties in great generality from a categorical point of view. The main application of this study is in the setting of algebraic categories, where we introduce Birkhoff varieties which are essentially subvarieties of algebraic categories, and we get a generalization of Birkhoff's variety theorem. In particular, we show that Birkhoff varieties are coreflexive equalizers. The key of this generalization is to give a more general concept of equation for subvarieties of algebraic categories. In order to get our characterization of Birkhoff varieties, we study inserters over algebraic categories, where we generalize some well-known results of algebras for finitary endofunctors over $Set$. By duality, we obtain a characterization of cosubvarieties of coalgebraic categories. Surprisingly, these cosubvarieties turn to be varieties according to our theory of varieties.


title: TextPSG: Panoptic Scene Graph Generation from Textual Descriptions

abstract: Panoptic Scene Graph has recently been proposed for comprehensive scene understanding. However, previous works adopt a fully-supervised learning manner, requiring large amounts of pixel-wise densely-annotated data, which is always tedious and expensive to obtain. To address this limitation, we study a new problem of Panoptic Scene Graph Generation from Purely Textual Descriptions (Caption-to-PSG). The key idea is to leverage the large collection of free image-caption data on the Web alone to generate panoptic scene graphs. The problem is very challenging for three constraints: 1) no location priors; 2) no explicit links between visual regions and textual entities; and 3) no pre-defined concept sets. To tackle this problem, we propose a new framework TextPSG consisting of four modules, i.e., a region grouper, an entity grounder, a segment merger, and a label generator, with several novel techniques. The region grouper first groups image pixels into different segments and the entity grounder then aligns visual segments with language entities based on the textual description of the segment being referred to. The grounding results can thus serve as pseudo labels enabling the segment merger to learn the segment similarity as well as guiding the label generator to learn object semantics and relation predicates, resulting in a fine-grained structured scene understanding. Our framework is effective, significantly outperforming the baselines and achieving strong out-of-distribution robustness. We perform comprehensive ablation studies to corroborate the effectiveness of our design choices and provide an in-depth analysis to highlight future directions. Our code, data, and results are available on our project page: https://vis-www.cs.umass.edu/TextPSG.


title: Exploring Community-Driven Descriptions for Making Livestreams Accessible

abstract: People watch livestreams to connect with others and learn about their hobbies. Livestreams feature multiple visual streams including the main video, webcams, on-screen overlays, and chat, all of which are inaccessible to livestream viewers with visual impairments. While prior work explores creating audio descriptions for recorded videos, live videos present new challenges: authoring descriptions in real-time, describing domain-specific content, and prioritizing which complex visual information to describe. We explore inviting livestream community members who are domain experts to provide live descriptions. We first conducted a study with 18 sighted livestream community members authoring descriptions for livestreams using three different description methods: live descriptions using text, live descriptions using speech, and asynchronous descriptions using text. We then conducted a study with 9 livestream community members with visual impairments, who shared their current strategies and challenges for watching livestreams and provided feedback on the community-written descriptions. We conclude with implications for improving the accessibility of livestreams.


title: Ion Trap with In-Vacuum High Numerical Aperture Imaging for a Dual-Species Modular Quantum Computer

abstract: Photonic interconnects between quantum systems will play a central role in both scalable quantum computing and quantum networking. Entanglement of remote qubits via photons has been demonstrated in many platforms; however, improving the rate of entanglement generation will be instrumental for integrating photonic links into modular quantum computers. We present an ion trap system that has the highest reported free-space photon collection efficiency for quantum networking. We use a pair of in-vacuum aspheric lenses, each with a numerical aperture of 0.8, to couple 10% of the 493 nm photons emitted from a $^{138}$Ba$^+$ ion into single-mode fibers. We also demonstrate that proximal effects of the lenses on the ion position and motion can be mitigated.


title: DKEC: Domain Knowledge Enhanced Multi-Label Classification for Diagnosis Prediction

abstract: Multi-label text classification (MLTC) tasks in the medical domain often face the long-tail label distribution problem. Prior works have explored hierarchical label structures to find relevant information for few-shot classes, but mostly neglected to incorporate external knowledge from medical guidelines. This paper presents DKEC, Domain Knowledge Enhanced Classification for diagnosis prediction with two innovations: (1) automated construction of heterogeneous knowledge graphs from external sources to capture semantic relations among diverse medical entities, (2) incorporating the heterogeneous knowledge graphs in few-shot classification using a label-wise attention mechanism. We construct DKEC using three online medical knowledge sources and evaluate it on a real-world Emergency Medical Services (EMS) dataset and a public electronic health record (EHR) dataset. Results show that DKEC outperforms the state-of-the-art label-wise attention networks and transformer models of different sizes, particularly for the few-shot classes. More importantly, it helps the smaller language models achieve comparable performance to large language models.


title: BeSt-LeS: Benchmarking Stroke Lesion Segmentation using Deep Supervision

abstract: Brain stroke has become a significant burden on global health and thus we need remedies and prevention strategies to overcome this challenge. For this, the immediate identification of stroke and risk stratification is the primary task for clinicians. To aid expert clinicians, automated segmentation models are crucial. In this work, we consider the publicly available dataset ATLAS $v2.0$ to benchmark various end-to-end supervised U-Net style models. Specifically, we have benchmarked models on both 2D and 3D brain images and evaluated them using standard metrics. We have achieved the highest Dice score of 0.583 on the 2D transformer-based model and 0.504 on the 3D residual U-Net respectively. We have conducted the Wilcoxon test for 3D models to correlate the relationship between predicted and actual stroke volume. For reproducibility, the code and model weights are made publicly available: https://github.com/prantik-pdeb/BeSt-LeS.


title: QualiGPT: GPT as an easy-to-use tool for qualitative coding

abstract: Qualitative research delves deeply into individual complex perspectives on technology and various phenomena. However, a meticulous analysis of qualitative data often requires a significant amount of time, especially during the crucial coding stage. Although there is software specifically designed for qualitative evaluation, many of these platforms fall short in terms of automatic coding, intuitive usability, and cost-effectiveness. With the rise of Large Language Models (LLMs) such as GPT-3 and its successors, we are at the forefront of a transformative era for enhancing qualitative analysis. In this paper, we introduce QualiGPT, a specialized tool designed after considering challenges associated with ChatGPT and qualitative analysis. It harnesses the capabilities of the Generative Pretrained Transformer (GPT) and its API for thematic analysis of qualitative data. By comparing traditional manual coding with QualiGPT's analysis on both simulated and actual datasets, we verify that QualiGPT not only refines the qualitative analysis process but also elevates its transparency, credibility, and accessibility. Notably, compared to existing analytical platforms, QualiGPT stands out with its intuitive design, significantly reducing the learning curve and operational barriers for users.


title: Acoustic Model Fusion for End-to-end Speech Recognition

abstract: Recent advances in deep learning and automatic speech recognition (ASR) have enabled the end-to-end (E2E) ASR system and boosted the accuracy to a new level. The E2E systems implicitly model all conventional ASR components, such as the acoustic model (AM) and the language model (LM), in a single network trained on audio-text pairs. Despite this simpler system architecture, fusing a separate LM, trained exclusively on text corpora, into the E2E system has proven to be beneficial. However, the application of LM fusion presents certain drawbacks, such as its inability to address the domain mismatch issue inherent to the internal AM. Drawing inspiration from the concept of LM fusion, we propose the integration of an external AM into the E2E system to better address the domain mismatch. By implementing this novel approach, we have achieved a significant reduction in the word error rate, with an impressive drop of up to 14.3% across varied test sets. We also discovered that this AM fusion approach is particularly beneficial in enhancing named entity recognition.


title: Analysis of above-the-limb Cosmic Rays for EUSO-SPB2

abstract: The Extreme Universe Space Observatory on a Super Pressure Balloon 2 (EUSO-SPB2) experiment is a pathfinder mission for future space-based instruments targeting the fluxes of Ultra-High Energy Cosmic Rays (UHECR), with energies exceeding 1EeV and very high energy diffuse and transient neutrinos, with energies exceeding 1PeV. Using two telescope designs: the Fluorescence Telescope (FT) and the Cherenkov Telescope (CT), EUSO-SPB2 made novel observations of the backgrounds relevant for space-based detection. EUSO-SPB2 will launch from Wanaka, NZ in Spring of 2023, for a long duration (up to 100d) flight at a nominal float altitude of 33km. In this contribution, we will focus on the CT's capability to measure cosmic rays from above Earth's limb via the Cherenkov emission produced by the resultant Extensive Air Showers (EAS). Using the EASCherSim optical Cherenkov generation code, we provide an updated estimate of the event rate of above-the-limb cosmic rays for the CT, taking into account updated values for the trigger efficiency as determined during the field testing of the instrument. We take particular care to consider the longitudinal development of EAS in rarefied atmosphere, accounting for the energy dependent elongation rate. In addition, we consider improvements to the magnetic field modeling present in EASCherSim and illustrate their impact on the observed events and detection thresholds. Finally, we compare these simulations to preliminary flight data from EUSO-SPB2.


title: Large Language Models can Learn Rules

abstract: When prompted with a few examples and intermediate steps, large language models (LLMs) have demonstrated impressive performance in various reasoning tasks. However, prompting methods that rely on implicit knowledge in an LLM often generate incorrect answers when the implicit knowledge is wrong or inconsistent with the task. To tackle this problem, we present Hypotheses-to-Theories (HtT), a framework that learns a rule library for reasoning with LLMs. HtT contains two stages, an induction stage and a deduction stage. In the induction stage, an LLM is first asked to generate and verify rules over a set of training examples. Rules that appear and lead to correct answers sufficiently often are collected to form a rule library. In the deduction stage, the LLM is then prompted to employ the learned rule library to perform reasoning to answer test questions. Experiments on relational reasoning, numerical reasoning and concept learning problems show that HtT improves existing prompting methods, with an absolute gain of 10-30% in accuracy. The learned rules are also transferable to different models and to different forms of the same problem.


title: Exploring medium properties with hard transverse momentum splittings using groomed jet substructure measurements in Pb--Pb collisions with ALICE

abstract: Jet substructure observables provide unique probes of the properties of the Quark-Gluon Plasma (QGP). In these proceedings we report new measurements of groomed jet substructure in central Pb-Pb collisions at $\sqrt{s_\mathrm{NN}}=5.02$ TeV. We present the first application of dynamical grooming in heavy-ion collisions to search for excess $k_{\mathrm{T,g}}$ emissions, which is a signature of large-angle scattering of jets off quasi-particles in the QGP. We present additional measurements employing both the soft drop and dynamical grooming algorithms in 0-10% central Pb-Pb, 30-50% semicentral Pb-Pb, and proton-proton (pp) collisions at $\sqrt{s_{\mathrm{NN}}}=5.02$ TeV. Results from the various grooming methods and parameters are compared. Comparisons to model calculations are also presented. The techniques developed for this measurement are more broadly applicable to jet substructure, which we likewise discussed.


title: Meromorphic convexity on Stein manifolds

abstract: We consider generalizations of rational convexity to Stein manifolds and prove related results


title: Urania Propitia

abstract: A brief account of Maria Cunitz's book Urania Propitia, commemorating the bequest of a rare copy to the London Mathematical Society by Dr A.E.L. Davis in 2020.


title: Taking the human out of decomposition-based optimization via artificial intelligence: Part I. Learning when to decompose

abstract: In this paper, we propose a graph classification approach for automatically determining whether to use a monolithic or a decomposition-based solution method. In this approach, an optimization problem is represented as a graph that captures the structural and functional coupling among the variables and constraints of the problem via an appropriate set of features. Given this representation, a graph classifier is built to determine the best solution method for a given problem. The proposed approach is used to develop a classifier that determines whether a convex Mixed Integer Nonlinear Programming problem should be solved using branch and bound or the outer approximation algorithm. Finally, it is shown how the learned classifier can be incorporated into existing mixed integer optimization solvers.


title: Analyzing Distribution System Load Flow Through Linearization of Non-Holomorphic Functions

abstract: This letter presents a novel non-iterative power flow solution for radial distribution systems. In the pursuit of a linear power flow solution that seamlessly integrates into other power system operations, an approximate solution via complex linearization of non-holomorphic functions, making no assumptions about the network's parameters was developed. This approach can be readily adapted to different load models, and its accuracy is comparable to other established conventional radial load flow analysis tools.


title: D2M2N: Decentralized Differentiable Memory-Enabled Mapping and Navigation for Multiple Robots

abstract: Recently, a number of learning-based models have been proposed for multi-robot navigation. However, these models lack memory and only rely on the current observations of the robot to plan their actions. They are unable to leverage past observations to plan better paths, especially in complex environments. In this work, we propose a fully differentiable and decentralized memory-enabled architecture for multi-robot navigation and mapping called D2M2N. D2M2N maintains a compact representation of the environment to remember past observations and uses Value Iteration Network for complex navigation. We conduct extensive experiments to show that D2M2N significantly outperforms the state-of-the-art model in complex mapping and navigation task.


title: Bonded Trajectories of the $3x+\gamma$ Problem

abstract: Fix $\gamma \in \mathbb{Z}_{>0}^{odd}$ and $n\in\mathbb{Z}_{>0}$. We define the function $C_\gamma:{\mathbb Z}_{>0}\to {\mathbb Z}_{>0}$ such that if $n$ is odd, $C_\gamma(n)=3n+\gamma$; and if $n$ is even, $C_\gamma(n)=n/2$. We define the characteristic mapping $\chi_\gamma: {\mathbb Z}_{>0}\to \{0,\, 1\}$ to be $\chi_\gamma(n)\equiv C_\gamma(n)\, {\rm mod}\, 2$. Let $n$ start an integral loop of length $N$ associated with the $3x+\gamma$ Problem. Let $\rho$ and $\nu$ be the count of the number of zeros and ones in a single period of $B = \left(\chi_\gamma^i(n)\right)_{i\geq 0}$. In a single period of $B$, let $m_j$ denote the number of zeros between the $(j-1)$th and $j$th one. Let $\mathcal{M}_n$ be the matrix associated to $n$ whose elements are the sequential products of $2^{m_j}$ (e.g. $(2^{m_0},2^{m_0+m_1},2^{m_0+m_1+m_2},...)$). Let $p$ be a prime factor for all the terms in the integral loop starting with $n$ with multiplicity $a>0$. Suppose also that $p$ is a prime factor of $\gamma$ and $2^\rho - 3^\nu$ with multiplicity $b$ and $c$, respectively. Finally assume that $c>b-a$. Then $\det(\mathcal{M}_n) \equiv 0 \pmod p$. We do find examples of this property. Let $\nu$ be prime. Let $z_j = 2^{(m_j+2m_{j+1}+3m_{j+2}+...)/\nu}$ be a weighted arithmetic average of the $m_j$. We prove that if $p$ is a prime factor of $2^\rho-3^\nu$ distinct from $\nu$ so that the residue class $p \pmod \nu$ generates the whole group $\mathbb{Z}_\nu^{*}$ then $p\nmid \det(\mathcal{M}_n)$ if and only if $p\nmid(z_1+...+z_\nu)$ and for any $1\leq i<j\leq \nu$ we have $z_i \not\equiv z_j \pmod p$. By this, we give an interesting property for the integral loop.


title: The Sensitivity of Sea Ice Brine Fraction to the Freezing Temperature and Orientation

abstract: Pound for pound, sea ice is the most important component of Earth's climate system. The changing conditions in which sea ice forms and exists are likely to affect the properties of sea ice itself, and potential climate feedbacks need to be identified and understood to improve future projections. Here we perform a set of idealised experiments which model sea ice growth under a range of ambient salinities, freezing temperatures, and freezing orientations. The results confirm existing theories; sea ice growth rate is largest for cooler freezing temperatures, fresher ambient salinities, and bottom oriented freezing configuration. Our primary metric of interest is the brine mass fraction (the mass ratio of brine inclusions to the total sea ice), which we quantify and determine the sensitivity of with respect to changes in freezing conditions. We find that the brine mass fraction of our model sea ice is most sensitive to freezing temperature, and increases 2.5% per 1oC increase of freezing temperature. This finding suggests that future sea ice in warmer climate states will retain more brine, with subsequent flow on effects for circulations driven by brine rejection in the high-latitude oceans.


title: Pull-back Geometry of Persistent Homology Encodings

abstract: Persistent homology (PH) is a method for generating topology-inspired representations of data. Empirical studies that investigate the properties of PH, such as its sensitivity to perturbations or ability to detect a feature of interest, commonly rely on training and testing an additional model on the basis of the PH representation. To gain more intrinsic insights about PH, independently of the choice of such a model, we propose a novel methodology based on the pull-back geometry that a PH encoding induces on the data manifold. The spectrum and eigenvectors of the induced metric help to identify the most and least significant information captured by PH. Furthermore, the pull-back norm of tangent vectors provides insights about the sensitivity of PH to a given perturbation, or its potential to detect a given feature of interest, and in turn its ability to solve a given classification or regression problem. Experimentally, the insights gained through our methodology align well with the existing knowledge about PH. Moreover, we show that the pull-back norm correlates with the performance on downstream tasks, and can therefore guide the choice of a suitable PH encoding.


title: EtrusChain: File Storage with DNA and Blockchain

abstract: This article proposes a blockchain-based file storage system that utilizes DNA encryption for enhanced security. The system utilizes blockchain technology to provide decentralized and tamper-proof file storage, while DNA encryption is employed to further strengthen data protection. The proposed system employs a unique approach to encryption by utilizing DNA sequences as keys, which enhances data security and privacy. Additionally, the use of blockchain technology ensures that all file storage and access operations are transparent, immutable, and distributed among a network of nodes, making it resistant to tampering and unauthorized access. The proposed system represents a significant advancement in file storage security and provides a foundation for future research and development in the field of blockchain-based data storage


title: Don't Fine-Tune, Decode: Syntax Error-Free Tool Use via Constrained Decoding

abstract: Instruction-tuned large language models (LLMs) excel at many tasks but often fail to use external tools due to complicated and unfamiliar syntax constraints. While extensive fine-tuning and prompting can mitigate the issue, these approaches are expensive and hard to generalize. Furthermore, because syntax constraints are only learned implicitly during fine-tuning, models still make frequent syntax errors. Motivated by the fact that these constraints can be better satisfied explicitly with constrained decoding, we propose TOOLDEC, a decoding algorithm using finite state machines to force LLMs to follow tool syntax. Our experiments show that TOOLDEC eliminates all syntax errors, achieving significantly better performance on various base models and benchmarks. More surprisingly, when applied to generalist out-of-the-box LLMs such as Mistral-Instruct, TOOLDEC improves its accuracy in tool use from the initial 0% to an impressive 52%, matching the performance of specialized fine-tuned models such as ToolLLM.


title: Deformation Monitoring of Tunnel using Phase-based Motion Magnification and Optical Flow

abstract: During construction, continuous monitoring of underground tunnels can mitigate potential hazards and facilitate an in-depth understanding of the ground-tunnel interaction behavior. Traditional vision-based monitoring can directly capture an extensive range of motion but cannot separate the tunnel's vibration and deformation mode. Phase-based motion magnification is one of the techniques to magnify the motion in target frequency bands and identify system dynamics. Optical flow is a popular method of calculating the motion of image intensities in computer vision and has a much lower computational cost than Digital Image Correlation. This study combines PMM and OF to quantify the underground tunnel scene's magnified deformation mode pixel displacements. As motion magnification artifacts may lead to inaccurate quantification, the 2D Wiener filter is used to smooth the high-frequency content. With GPU acceleration, a dense OF algorithm computing each pixel's displacement is adopted to derive the whole scene motion. A validation experiment is conducted between the amplification motion and the actual motion of prisms preinstalled in the tunnel.


title: A Note on a Result of Makowski

abstract: In this note, we fix a gap in a proof of the first author that 28 is the only even perfect number which is the sum of two perfect cubes. We also discuss the situation for higher powers.


title: Auditing and Robustifying COVID-19 Misinformation Datasets via Anticontent Sampling

abstract: This paper makes two key contributions. First, it argues that highly specialized rare content classifiers trained on small data typically have limited exposure to the richness and topical diversity of the negative class (dubbed anticontent) as observed in the wild. As a result, these classifiers' strong performance observed on the test set may not translate into real-world settings. In the context of COVID-19 misinformation detection, we conduct an in-the-wild audit of multiple datasets and demonstrate that models trained with several prominently cited recent datasets are vulnerable to anticontent when evaluated in the wild. Second, we present a novel active learning pipeline that requires zero manual annotation and iteratively augments the training data with challenging anticontent, robustifying these classifiers.


title: Secure Decentralized Learning with Blockchain

abstract: Federated Learning (FL) is a well-known paradigm of distributed machine learning on mobile and IoT devices, which preserves data privacy and optimizes communication efficiency. To avoid the single point of failure problem in FL, decentralized federated learning (DFL) has been proposed to use peer-to-peer communication for model aggregation, which has been considered an attractive solution for machine learning tasks on distributed personal devices. However, this process is vulnerable to attackers who share false models and data. If there exists a group of malicious clients, they might harm the performance of the model by carrying out a poisoning attack. In addition, in DFL, clients often lack the incentives to contribute their computing powers to do model training. In this paper, we proposed Blockchain-based Decentralized Federated Learning (BDFL), which leverages a blockchain for decentralized model verification and auditing. BDFL includes an auditor committee for model verification, an incentive mechanism to encourage the participation of clients, a reputation model to evaluate the trustworthiness of clients, and a protocol suite for dynamic network updates. Evaluation results show that, with the reputation mechanism, BDFL achieves fast model convergence and high accuracy on real datasets even if there exist 30\% malicious clients in the system.


title: An Extended B' Formulation for Ablating-Surface Boundary Conditions

abstract: The B' formulation can be understood as a mass and energy conservation formalism at a reacting singular surface. In hypersonics applications, it is typically used to compute the chemical equilibrium properties of gaseous mixtures at ablating surfaces, and to estimate the recession velocity of the interface. In the first half of the paper, we derive the B' formulation to emphasize first principles. In particular, while we eventually specialize to the commonly considered case of chemical equilibrium boundary layers that satisfy the heat and mass transfer analogy, we first derive a general interface jump condition that lets us highlight all the underlying assumptions of the well-known B' equations. This procedure helps elucidate the nature of the B' formalism and it also allows us to straightforwardly extend the original formulation. Specifically, when applied at the interface between a porous material and a boundary layer (as in thermal protection systems applications), the original formulation assumes unidirectional advective transport of gaseous species from the porous material to the boundary layer (i.e., blowing). However, under conditions that may appear in hypersonic flight or in ground-based wind tunnels, boundary layer gases can enter the porous material due to a favorable pressure gradient. We show that this scenario can be easily handled via a straightforward modification to the B' formalism, and we demonstrate via examples that accounting for gas entering the material can impact the predicted recession velocity of ablating surfaces. In order to facilitate the implementation of the extended B' formulation in existing material response codes, we present a short algorithm in section 5 and we also refer readers to a GitHub repository where the scripts used to generate the modified B' tables are publicly available.


title: Crossing the Threshold: Idiomatic Machine Translation through Retrieval Augmentation and Loss Weighting

abstract: Idioms are common in everyday language, but often pose a challenge to translators because their meanings do not follow from the meanings of their parts. Despite significant advances, machine translation systems still struggle to translate idiomatic expressions. We provide a simple characterization of idiomatic translation and related issues. This allows us to conduct a synthetic experiment revealing a tipping point at which transformer-based machine translation models correctly default to idiomatic translations. To expand multilingual resources, we compile a dataset of ~4k natural sentences containing idiomatic expressions in French, Finnish, and Japanese. To improve translation of natural idioms, we introduce two straightforward yet effective techniques: the strategic upweighting of training loss on potentially idiomatic sentences, and using retrieval-augmented models. This not only improves the accuracy of a strong pretrained MT model on idiomatic sentences by up to 13% in absolute accuracy, but also holds potential benefits for non-idiomatic sentences.


title: Taking the human out of decomposition-based optimization via artificial intelligence: Part II. Learning to initialize

abstract: The repeated solution of large-scale optimization problems arises frequently in process systems engineering tasks. Decomposition-based solution methods have been widely used to reduce the corresponding computational time, yet their implementation has multiple steps that are difficult to configure. We propose a machine learning approach to learn the optimal initialization of such algorithms which minimizes the computational time. Active and supervised learning is used to learn a surrogate model that predicts the computational performance for a given initialization. We apply this approach to the initialization of Generalized Benders Decomposition for the solution of mixed integer model predictive control problems. The surrogate models are used to find the optimal number of initial cuts that should be added in the master problem. The results show that the proposed approach can lead to a significant reduction in solution time, and active learning can reduce the data required for learning.


title: $L^{p}$-Caffarelli-Kohn-Nirenberg inequalities and their stabilities

abstract: We establish a general identity (Theorem 1.2) that implies both the $L^{p}$-Hardy identities and the $L^{p}$-Caffarelli-Kohn-Nirenberg identities (Theorems 1.3 and 1.4) and $L^{p}$-Hardy inequalities and the $L^{p}$-Caffarelli-Kohn-Nirenberg inequalities (Theorems 1.5 and 1.6)). Weighted $L^{p}$-Caffarelli-Kohn-Nirenberg inequalities with nonradial weights are also obtained. (Theorem 1.7). Our results provide simple interpretations to the sharp constants, as well as the existence and non-existence of the optimizers, of several $L^{p}$-Hardy and $L^{p}% $-Caffarelli-Kohn-Nirenberg inequalities. As applications of our main results, we are able to establish stabilities of a class of $L^{2}$ and $L^{p}% $-Caffarelli-Kohn-Nirenberg inequalities. (Theorems 1.8 and 1.9.) We also derive the best constants and explicit extremal functions for a large family of $L^{2}$ and $L^{p}$ Caffarelli-Kohn-Nirenberg inequalities. (Corollaries 1.1 and 1.2.)


title: Investigating the Adversarial Robustness of Density Estimation Using the Probability Flow ODE

abstract: Beyond their impressive sampling capabilities, score-based diffusion models offer a powerful analysis tool in the form of unbiased density estimation of a query sample under the training data distribution. In this work, we investigate the robustness of density estimation using the probability flow (PF) neural ordinary differential equation (ODE) model against gradient-based likelihood maximization attacks and the relation to sample complexity, where the compressed size of a sample is used as a measure of its complexity. We introduce and evaluate six gradient-based log-likelihood maximization attacks, including a novel reverse integration attack. Our experimental evaluations on CIFAR-10 show that density estimation using the PF ODE is robust against high-complexity, high-likelihood attacks, and that in some cases adversarial samples are semantically meaningful, as expected from a robust estimator.


title: A canonical Hamiltonian formulation of the Navier-Stokes problem

abstract: This paper presents a novel Hamiltonian formulation of the isotropic Navier-Stokes problem based on a minimum-action principle derived from the principle of least squares. This formulation uses the velocities $u_{i}(x_{j},t)$ and pressure $p(x_{j},t)$ as the field quantities to be varied, along with canonically conjugate momenta deduced from the analysis. From these, a conserved Hamiltonian functional $H^{*}$ satisfying Hamilton's canonical equations is constructed, and the associated Hamilton-Jacobi equation is formulated for both compressible and incompressible flows. This Hamilton-Jacobi equation reduces the problem of finding four separate field quantities ($u_{i}$,$p$) to that of finding a single scalar functional in those fields--Hamilton's principal functional $\text{S}^{*}[t,u_{i},p]$. Moreover, the transformation theory of Hamilton and Jacobi now provides a prescribed recipe for solving the Navier-Stokes problem: Find $\text{S}^{*}$. If an analytical expression for $\text{S}^{*}$ can be obtained, it will lead via canonical transformation to a new set of fields which are simply equal to their initial values, giving analytical expressions for the original velocity and pressure fields. Failing that, if one can only show that a complete solution to this Hamilton-Jacobi equation does or does not exist, that will also resolve the question of existence of solutions. The method employed here is not specific to the Navier-Stokes problem or even to classical mechanics, and can be applied to any traditionally non-Hamiltonian problem.


title: Leveraging Twitter Data for Sentiment Analysis of Transit User Feedback: An NLP Framework

abstract: Traditional methods of collecting user feedback through transit surveys are often time-consuming, resource intensive, and costly. In this paper, we propose a novel NLP-based framework that harnesses the vast, abundant, and inexpensive data available on social media platforms like Twitter to understand users' perceptions of various service issues. Twitter, being a microblogging platform, hosts a wealth of real-time user-generated content that often includes valuable feedback and opinions on various products, services, and experiences. The proposed framework streamlines the process of gathering and analyzing user feedback without the need for costly and time-consuming user feedback surveys using two techniques. First, it utilizes few-shot learning for tweet classification within predefined categories, allowing effective identification of the issues described in tweets. It then employs a lexicon-based sentiment analysis model to assess the intensity and polarity of the tweet sentiments, distinguishing between positive, negative, and neutral tweets. The effectiveness of the framework was validated on a subset of manually labeled Twitter data and was applied to the NYC subway system as a case study. The framework accurately classifies tweets into predefined categories related to safety, reliability, and maintenance of the subway system and effectively measured sentiment intensities within each category. The general findings were corroborated through a comparison with an agency-run customer survey conducted in the same year. The findings highlight the effectiveness of the proposed framework in gauging user feedback through inexpensive social media data to understand the pain points of the transit system and plan for targeted improvements.


title: Probing the evolution of galaxy clusters using SZ effect and non-thermal emission: first results from A1413

abstract: Mass is the most fundamental property of galaxy clusters. However, measuring it is still a challenge. Calibrating mass from intracluster medium observables such as the Sunyaev-Zel'dovich (SZ) effect is subject to uncertainty and biases because of the hydrostatic equilibrium assumption. On the other hand, merging cluster systems have been shown to exhibit radio emission which implies a link with disturbances from hydrostatic equilibrium. We present work on studying deviations of galaxy cluster gas pressure profile from the average (universal) pressure profile using an example of galaxy cluster Abell 1413 with SZ effect data from the Arcminute Microkelvin Imager and Planck. This cluster has also been observed at low radio frequency with the Murchison Widefield Array allowing the investigation of links between gas pressure profile deviations and the presence of radio emission.


title: Diversity of Thought Improves Reasoning Abilities of LLMs

abstract: Large language models (LLMs) are documented to struggle in settings that require complex reasoning. Nevertheless, instructing the model to break down the problem into smaller reasoning steps, or ensembling various generations through modifying decoding steps boosts performance. However, these methods assume that the input prompt is fixed and expect the decoding strategies to introduce the diversity needed for ensembling. In this work, we discuss how one can create and leverage variations of the input prompt as a means of diversity of thought. We propose a method that automatically improves prompt diversity by soliciting feedback from the LLM to ideate approaches that are apt for the problem. We then ensemble the diverse prompts in our method DIVSE (DIVerse reasoning path Self-Ensemble) across multiple inference calls, or use diverse approaches within a single inference call; we call the latter IDIV-SE (In-call DIVerse reasoning path Self-Ensemble). Apart from our approaches outperforming prior work, DIV-SE(in particular) advances state-of-the-art performance on the challenging planning and graph coloring benchmarks. Our results improve the Pareto frontier of the accuracy-cost trade-off.


title: Machine Learning Methods for Background Potential Estimation in 2DEGs

abstract: In the realm of quantum-effect devices and materials, two-dimensional electron gases (2DEGs) stand as fundamental structures that promise transformative technologies. However, the presence of impurities and defects in 2DEGs poses substantial challenges, impacting carrier mobility, conductivity, and quantum coherence time. To address this, we harness the power of scanning gate microscopy (SGM) and employ three distinct machine learning techniques to estimate the background potential of 2DEGs from SGM data: image-to-image translation using generative adversarial neural networks, cellular neural network, and evolutionary search. Our findings, despite data constraints, highlight the effectiveness of an evolutionary search algorithm in this context, offering a novel approach for defect analysis. This work not only advances our understanding of 2DEGs but also underscores the potential of machine learning in probing quantum materials, with implications for quantum computing and nanoelectronics.


title: Shock-Driven Periodic Variability in a Low-Mass-Ratio Supermassive Black Hole Binary

abstract: We investigate the time-varying electromagnetic emission of a low-mass-ratio supermassive black hole binary (SMBHB) embedded in a circumprimary disk, with a particular interest in variability of shocks driven by the binary. We perform a 2D, locally isothermal hydrodynamics simulation of a SMBHB with mass ratio $q=0.01$ and separation $a=100\;R_g$, using a physically self-consistent steady disk model. We estimate the electromagnetic variability from the system by monitoring accretion onto the secondary and using an artificial viscosity scheme to capture shocks and monitor the energy dissipated. The SMBHB produces a wide, eccentric gap in the disk, previously only observed for larger mass ratios, which we attribute to our disk model being much thinner ($H/R\approx0.01$ near the secondary) than is typical of previous works. The eccentric gap drives periodic accretion onto the secondary SMBH on a timescale matching the orbital period of the binary, $t_{\rm{bin}}\approx0.1\;\rm{yr}$, implying that the variable accretion regime of the SMBHB parameter space extends to lower mass ratios than previously established. Shocks driven by the binary are periodic, with a period matching the orbital period, and the shocks are correlated with the accretion rate, with peaks in the shock luminosity lagging peaks in the accretion rate by $0.43\;t_{\rm{bin}}$. We propose that the correlation of these quantities represents a useful identifier of SMBHB candidates, via observations of correlated variability in X-ray and UV monitoring of AGN, rather than single-waveband periodicity alone.


title: Jaeger: A Concatenation-Based Multi-Transformer VQA Model

abstract: Document-based Visual Question Answering poses a challenging task between linguistic sense disambiguation and fine-grained multimodal retrieval. Although there has been encouraging progress in document-based question answering due to the utilization of large language and open-world prior models\cite{1}, several challenges persist, including prolonged response times, extended inference durations, and imprecision in matching. In order to overcome these challenges, we propose Jaegar, a concatenation-based multi-transformer VQA model. To derive question features, we leverage the exceptional capabilities of RoBERTa large\cite{2} and GPT2-xl\cite{3} as feature extractors. Subsequently, we subject the outputs from both models to a concatenation process. This operation allows the model to consider information from diverse sources concurrently, strengthening its representational capability. By leveraging pre-trained models for feature extraction, our approach has the potential to amplify the performance of these models through concatenation. After concatenation, we apply dimensionality reduction to the output features, reducing the model's computational effectiveness and inference time. Empirical results demonstrate that our proposed model achieves competitive performance on Task C of the PDF-VQA Dataset. If the user adds any new data, they should make sure to style it as per the instructions provided in previous sections.


title: Higher-order Lie bracket approximation and averaging of control-affine systems with application to extremum seeking

abstract: This paper provides a rigorous derivation for what is known in the literature as the Lie bracket approximation of control-affine systems in a sequential framework for higher-orders. In fact, by using chronological calculus, we show that said Lie bracket approximations are themselves higher-order averaging terms. Hence, this paper bridges both averaging and approximation theories of control-affine systems. In particular, the Lie bracket approximation of order ($n$) turns out to be a higher-order averaging of order ($n+1$). The derivation and formulation provided in this paper can be directly reduced to the first and second-order Lie bracket approximations available in the literature. However, we do not need to make many of the unproven assumptions provided in the literature and show that they are in fact natural corollaries from our work. Moreover, we use our results to show that important and useful information about control-affine extremum seeking systems can be obtained and used for performance improvement, including faster convergence of very simple structures. We provide multiple numerical simulations to demonstrate both the conceptual elements of this work as well as the significance of our results on extremum seeking with comparison against the literature.


title: Argumentative Stance Prediction: An Exploratory Study on Multimodality and Few-Shot Learning

abstract: To advance argumentative stance prediction as a multimodal problem, the First Shared Task in Multimodal Argument Mining hosted stance prediction in crucial social topics of gun control and abortion. Our exploratory study attempts to evaluate the necessity of images for stance prediction in tweets and compare out-of-the-box text-based large-language models (LLM) in few-shot settings against fine-tuned unimodal and multimodal models. Our work suggests an ensemble of fine-tuned text-based language models (0.817 F1-score) outperforms both the multimodal (0.677 F1-score) and text-based few-shot prediction using a recent state-of-the-art LLM (0.550 F1-score). In addition to the differences in performance, our findings suggest that the multimodal models tend to perform better when image content is summarized as natural language over their native pixel structure and, using in-context examples improves few-shot performance of LLMs.


title: Many-body Chern insulator in the Kondo lattice model on a triangular lattice

abstract: The realization of topological insulators induced by correlation effects is one of the main issues of modern condensed matter physics. An intriguing example of the correlated topological insulators is a magnetic Chern insulator induced by a noncoplanar multiple-Q magnetic order. Although the realization of the magnetic Chern insulator has been studied in the classical limit of the Kondo lattice model, research on the magnetic Chern insulator in the original Kondo lattice model is limited. Here, we investigate the possibility of the many-body Chern insulator with the noncoplanar triple-Q magnetic order in the Kondo lattice model on a triangular lattice. Using the many-variable variational Monte Carlo method, we reveal that the triple-Q magnetic order becomes a ground state at quarter filling in an intermediate Kondo coupling region. We also show that the many-body Chern number is quantized to one in the triple-Q magnetic ordered phase utilizing the polarization operators. Our results provide a pathway for the realization of the many-body Chern insulator in correlated electron systems.


title: Interesting Clues to Detect Hidden Tidal Disruption Events in Active Galactic Nuclei

abstract: In the manuscript, effects of Tidal Disruption Events (TDEs) are estimated on long-term AGN variability, to provide interesting clues to detect probable hidden TDEs in normal broad line AGN with apparent intrinsic variability which overwhelm the TDEs expected variability features, after considering the unique TDEs expected variability patterns. Based on theoretical TDEs expected variability plus AGN intrinsic variability randomly simulated by Continuous AutoRegressive process, long-term variability properties with and without TDEs contributions are well analyzed in AGN. Then, interesting effects of TDEs can be determined on long-term observed variability of AGN. First, more massive BHs, especially masses larger than $10^7{\rm M_\odot}$, can lead to more sensitive and positive dependence of $\tau_{TN}$ on $R_{TN}$, with $\tau_{TN}$ as variability timescale ratio of light curves with TDEs contributions to intrinsic light curves without TDEs contributions, and $R_{TN}$ as ratio of peak intensity of TDEs expected variability to the mean intensity of intrinsic AGN variability without TDEs contributions. Second, stronger TDEs contributions $R_{TN}$ can lead to $\tau_{TN}$ quite larger than 5. Third, for intrinsic AGN variability having longer variability timescales, TDEs contributions will lead $\tau_{TN}$ to be increased more slowly. The results actually provide an interesting forward-looking method to detect probable hidden TDEs in normal broad line AGN, due to quite different variability properties, especially different DRW/CAR process expected variability timescales, in different epochs, especially in normal broad line AGN with shorter intrinsic variability timescales and with BH masses larger than $10^7{\rm M_\odot}$.


title: Sparse Universal Transformer

abstract: The Universal Transformer (UT) is a variant of the Transformer that shares parameters across its layers. Empirical evidence shows that UTs have better compositional generalization than Vanilla Transformers (VTs) in formal language tasks. The parameter-sharing also affords it better parameter efficiency than VTs. Despite its many advantages, scaling UT parameters is much more compute and memory intensive than scaling up a VT. This paper proposes the Sparse Universal Transformer (SUT), which leverages Sparse Mixture of Experts (SMoE) and a new stick-breaking-based dynamic halting mechanism to reduce UT's computation complexity while retaining its parameter efficiency and generalization ability. Experiments show that SUT achieves the same performance as strong baseline models while only using half computation and parameters on WMT'14 and strong generalization results on formal language tasks (Logical inference and CFQ). The new halting mechanism also enables around 50\% reduction in computation during inference with very little performance decrease on formal language tasks.


title: Morawetz's Contributions to the Mathematical Theory of Transonic Flows, Shock Waves, and Partial Differential Equations of Mixed Type

abstract: This article is a survey of Cathleen Morawetz's contributions to the mathematical theory of transonic flows, shock waves, and partial differential equations of mixed elliptic-hyperbolic type. The main focus is on Morawetz's fundamental work on the non-existence of continuous transonic flows past profiles, Morawetz's program regarding the construction of global steady weak transonic flow solutions past profiles via compensated compactness, and a potential theory for regular and Mach reflection of a shock at a wedge. The profound impact of Morawetz's work on recent developments and breakthroughs in these research directions and related areas in pure and applied mathematics are also discussed.

categories: math.AP math-ph math.MP nlin.PS physics.flu-dyn


title: An End-to-end Model for Share-of-choice Product Line Design Problem

abstract: This paper studies the share-of-choice product line design problem, where decision-makers aim to maximize the market share, i.e., the percentage of the consumers to whom at least one product delivers a non-negative utility. Because the customers' utilities are not directly observable, the input utilities of the existing models need to be estimated from some primitive data. The conjoint analysis, which asks respondents to evaluate a set of products, is the main source of such data. However, with the limited survey questions, the utilities cannot be precisely estimated, and therefore, the models that plugin the estimated utilities cannot identify the optimal solution and corresponding market share. In this study, by applying the polyhedral method in utility calibration and robust optimization techniques, we propose a novel end-to-end model inputting the survey data and outputting the data-driven design. Importantly, we provide guarantees of the market share of the returned product line design. For a general product line design problem, we provide the guarantees related to the size of the set containing all possible utilities consistent with the survey data. For a single product design special case, our model can identify the optimal design within an explored set of all the linear combinations of the delivered questions and guarantee the market share even if the uncertainty sets are unbounded. We further develop an adaptive conjoint analysis where new questions better align with the proposed model are added based on its solution. The proposed adaptive conjoint analysis is proven to recover the customer utilities within finite rounds. Through extensive numerical experiments, we show that the proposed model significantly outperforms the "estimate-then-optimize" model and the proposed adaptive conjoint analysis can generate more efficient questions to fit the proposed model.


title: ClausewitzGPT Framework: A New Frontier in Theoretical Large Language Model Enhanced Information Operations

abstract: In a digital epoch where cyberspace is the emerging nexus of geopolitical contention, the melding of information operations and Large Language Models (LLMs) heralds a paradigm shift, replete with immense opportunities and intricate challenges. As tools like the Mistral 7B LLM (Mistral, 2023) democratise access to LLM capabilities (Jin et al., 2023), a vast spectrum of actors, from sovereign nations to rogue entities (Howard et al., 2023), find themselves equipped with potent narrative-shaping instruments (Goldstein et al., 2023). This paper puts forth a framework for navigating this brave new world in the "ClausewitzGPT" equation. This novel formulation not only seeks to quantify the risks inherent in machine-speed LLM-augmented operations but also underscores the vital role of autonomous AI agents (Wang, Xie, et al., 2023). These agents, embodying ethical considerations (Hendrycks et al., 2021), emerge as indispensable components (Wang, Ma, et al., 2023), ensuring that as we race forward, we do not lose sight of moral compasses and societal imperatives. Mathematically underpinned and inspired by the timeless tenets of Clausewitz's military strategy (Clausewitz, 1832), this thesis delves into the intricate dynamics of AI-augmented information operations. With references to recent findings and research (Department of State, 2023), it highlights the staggering year-on-year growth of AI information campaigns (Evgeny Pashentsev, 2023), stressing the urgency of our current juncture. The synthesis of Enlightenment thinking, and Clausewitz's principles provides a foundational lens, emphasising the imperative of clear strategic vision, ethical considerations, and holistic understanding in the face of rapid technological advancement.


title: GraphCloak: Safeguarding Task-specific Knowledge within Graph-structured Data from Unauthorized Exploitation

abstract: As Graph Neural Networks (GNNs) become increasingly prevalent in a variety of fields, from social network analysis to protein-protein interaction studies, growing concerns have emerged regarding the unauthorized utilization of personal data. Recent studies have shown that imperceptible poisoning attacks are an effective method of protecting image data from such misuse. However, the efficacy of this approach in the graph domain remains unexplored. To bridge this gap, this paper introduces GraphCloak to safeguard against the unauthorized usage of graph data. Compared with prior work, GraphCloak offers unique significant innovations: (1) graph-oriented, the perturbations are applied to both topological structures and descriptive features of the graph; (2) effective and stealthy, our cloaking method can bypass various inspections while causing a significant performance drop in GNNs trained on the cloaked graphs; and (3) stable across settings, our methods consistently perform effectively under a range of practical settings with limited knowledge. To address the intractable bi-level optimization problem, we propose two error-minimizing-based poisoning methods that target perturbations on the structural and feature space, along with a subgraph injection poisoning method. Our comprehensive evaluation of these methods underscores their effectiveness, stealthiness, and stability. We also delve into potential countermeasures and provide analytical justification for their effectiveness, paving the way for intriguing future research.


title: Hybrid Arrays: How Many RF Chains Are Required to Prevent Beam Squint?

abstract: With increasing frequencies, bandwidths, and array apertures, the phenomenon of beam squint arises as a serious impairment to beamforming. Fully digital arrays with true time delay per antenna element are a potential solution, but they require downconversion at each element. This paper shows that hybrid arrays can perform essentially as well as digital arrays once the number of radio-frequency chains exceeds a certain threshold that is far below the number of elements. The result is robust, holding also for suboptimum but highly appealing beamspace architectures.


title: Are coronal loops projection effects?

abstract: We report results of an in-depth numerical investigation of three-dimensional projection effects which could influence the observed loop-like structures in an optically thin solar corona. Several archetypal emitting geometries are tested, including collections of luminous structures with circular cross-sections of fixed and random size, light-emitting structures with highly anisotropic cross-sections, as well as two-dimensional stochastic current density structures generated by fully-developed magnetohydrodynamic (MHD) turbulence. A comprehensive set of statistical signatures is used to compare the line of sight -integrated emission signals predicted by the constructed numerical models with the loop profiles observed by the extreme ultraviolet telescope onboard the flight 2.1 of the High-Resolution Coronal Imager (Hi-C). The results suggest that typical cross-sectional emission envelopes of the Hi-C loops are unlikely to have high eccentricity, and that the observed loops cannot be attributed to randomly oriented quasi-two dimensional emitting structures, some of which would produce anomalously strong optical signatures due to an accidental line-of-sight alignment expected in the coronal veil scenario \citep{malanushenko2022}. The possibility of apparent loop-like projections of very small (close to the resolution limit) or very large (comparable with the size of an active region) light-emitting sheets remains open, but the intermediate range of scales commonly associated with observed loop systems is most likely filled with true quasi-one dimensional (roughly axisymmetric) structures embedded into the three-dimensional coronal volume.

categories: astro-ph.SR astro-ph.IM physics.data-an physics.plasm-ph


title: Decentralization of Energy Systems with Blockchain: Bridging Top-down and Bottom-up Management of the Electricity Grid

abstract: For more than a century, the grid has operated in a centralized top-down fashion. However, as distributed energy resources (DERs) penetration grows, the grid edge is increasingly infused with intelligent computing and communication capabilities. Thus, the bottom-up approach to grid operations inclined toward decentralizing energy systems will likely gain momentum alongside the existing centralized paradigm. Decentralization refers to transferring control and decision-making from a centralized entity (individual, organization, or group thereof) to a distributed network. It is not a new concept - in energy systems context or otherwise. In the energy systems context, however, the complexity of this multifaceted concept increases manifolds due to two major reasons - i) the nature of the commodity being traded (the electricity) and ii) the enormity of the traditional electricity sector's structure that builds, operates, and maintains this capital-intensive network. In this work, we aim to highlight the need for and outline a credible path toward restructuring the current operational architecture of the electricity grid in view of the ongoing decentralization trends with an emphasis on peer-to-peer energy trading. We further introduce blockchain technology in the context of decentralized energy systems problems. We also suggest that blockchain is an effective technology for facilitating the synergistic operations of top-down and bottom-up approaches to grid management.


title: On the edge reconstruction of the characteristic and permanental polynomials of a simple graph

abstract: As a variant of the Ulam's vertex reconstruction conjecture and the Harary's edge reconstruction conjecture, Cvetkovi\'c and Schwenk posed independently the following problem: Can the characteristic polynomial of a simple graph $G$ with vertex set $V$ be reconstructed from the characteristic polynomials of all subgraphs in $\{G-v|v\in V\}$ for $|V|\geq 3$? This problem is still open. A natural problem is: Can the characteristic polynomial of a simple graph $G$ with edge set $E$ be reconstructed from the characteristic polynomials of all subgraphs in $\{G-e|e\in E\}$? In this paper, we prove that if $|V|\neq |E|$, then the characteristic polynomial of $G$ can be reconstructed from the characteristic polynomials of all subgraphs in $\{G-uv, G-u-v|uv\in E\}$, and the similar result holds for the permanental polynomial of $G$. We also prove that the Laplacian (resp. signless Laplacian) characteristic polynomial of $G$ can be reconstructed from the Laplacian (resp. signless Laplacian) characteristic polynomials of all subgraphs in $\{G-e|e\in E\}$ (resp. if $|V|\neq |E|$).


title: Murphy's Law for Galois Deformation Rings

abstract: In this paper, we prove, under a technical assumption, that any semi-direct product of a $p$-group $G$ with a group $\Phi$ of order prime to $p$ can appear as the Galois group of a tower of extensions $H/K/F$ with the property that $H$ is the maximal pro-$p$ extension of $K$ that is unramified everywhere, and $\operatorname{Gal}(H/K) = G$. A consequence of this result is that any local ring admitting a surjection to $\mathbb{Z}_5$ or $\mathbb{Z}_7$ with finite kernel can occur as a universal everywhere unramified deformation ring.


title: The Temporal Structure of Language Processing in the Human Brain Corresponds to The Layered Hierarchy of Deep Language Models

abstract: Deep Language Models (DLMs) provide a novel computational paradigm for understanding the mechanisms of natural language processing in the human brain. Unlike traditional psycholinguistic models, DLMs use layered sequences of continuous numerical vectors to represent words and context, allowing a plethora of emerging applications such as human-like text generation. In this paper we show evidence that the layered hierarchy of DLMs may be used to model the temporal dynamics of language comprehension in the brain by demonstrating a strong correlation between DLM layer depth and the time at which layers are most predictive of the human brain. Our ability to temporally resolve individual layers benefits from our use of electrocorticography (ECoG) data, which has a much higher temporal resolution than noninvasive methods like fMRI. Using ECoG, we record neural activity from participants listening to a 30-minute narrative while also feeding the same narrative to a high-performing DLM (GPT2-XL). We then extract contextual embeddings from the different layers of the DLM and use linear encoding models to predict neural activity. We first focus on the Inferior Frontal Gyrus (IFG, or Broca's area) and then extend our model to track the increasing temporal receptive window along the linguistic processing hierarchy from auditory to syntactic and semantic areas. Our results reveal a connection between human language processing and DLMs, with the DLM's layer-by-layer accumulation of contextual information mirroring the timing of neural activity in high-order language areas.


title: Root n consistent extremile regression and its supervised and semi-supervised learning

abstract: Extremile (Daouia, Gijbels and Stupfler,2019) is a novel and coherent measure of risk, determined by weighted expectations rather than tail probabilities. It finds application in risk management, and, in contrast to quantiles, it fulfills the axioms of consistency, taking into account the severity of tail losses. However, existing studies (Daouia, Gijbels and Stupfler,2019,2022) on extremile involve unknown distribution functions, making it challenging to obtain a root n-consistent estimator for unknown parameters in linear extremile regression. This article introduces a new definition of linear extremile regression and its estimation method, where the estimator is root n-consistent. Additionally, while the analysis of unlabeled data for extremes presents a significant challenge and is currently a topic of great interest in machine learning for various classification problems, we have developed a semi-supervised framework for the proposed extremile regression using unlabeled data. This framework can also enhance estimation accuracy under model misspecification. Both simulations and real data analyses have been conducted to illustrate the finite sample performance of the proposed methods.


title: An efficient saddle search method for ordered phase transitions involving translational invariance

abstract: In this work, we propose an efficient nullspace-preserving saddle search (NPSS) method for a class of phase transitions involving translational invariance, where the critical states are often degenerate. The NPSS method includes two stages, escaping from the basin and searching for the index-1 generalized saddle point. The NPSS method climbs upward from the generalized local minimum in segments to overcome the challenges of degeneracy. In each segment, an effective ascent direction is ensured by keeping this direction orthogonal to the nullspace of the initial state in this segment. This method can escape the basin quickly and converge to the transition states. We apply the NPSS method to the phase transitions between crystals, and between crystal and quasicrystal, based on the Landau-Brazovskii and Lifshitz-Petrich free energy functionals. Numerical results show a good performance of the NPSS method.


title: SparseCoder: Advancing Source Code Analysis with Sparse Attention and Learned Token Pruning

abstract: As software projects rapidly evolve, software artifacts become more complex and defects behind get harder to identify. The emerging Transformer-based approaches, though achieving remarkable performance, struggle with long code sequences due to their self-attention mechanism, which scales quadratically with the sequence length. This paper introduces SparseCoder, an innovative approach incorporating sparse attention and learned token pruning (LTP) method (adapted from natural language processing) to address this limitation. Extensive experiments carried out on a large-scale dataset for vulnerability detection demonstrate the effectiveness and efficiency of SparseCoder, scaling from quadratically to linearly on long code sequence analysis in comparison to CodeBERT and RoBERTa. We further achieve 50% FLOPs reduction with a negligible performance drop of less than 1% comparing to Transformer leveraging sparse attention. Moverover, SparseCoder goes beyond making "black-box" decisions by elucidating the rationale behind those decisions. Code segments that contribute to the final decision can be highlighted with importance scores, offering an interpretable, transparent analysis tool for the software engineering landscape.


title: Valuation Duration of the Stock Market

abstract: At the peak of the tech bubble, only 0.57% of market valuation comes from dividends in the next year. Taking the ratio of total market value to the value of one-year dividends, we obtain a valuation-based duration of 175 years. In contrast, at the height of the global financial crisis, more than 2.2% of market value is from dividends in the next year, implying a duration of 46 years. What drives valuation duration? We find that market participants have limited information about cash flow beyond one year. Therefore, an increase in valuation duration is due to a decrease in the discount rate rather than good news about long-term growth. Accordingly, valuation duration negatively predicts annual market return with an out-of-sample R2 of 15%, robustly outperforming other predictors in the literature. While the price-dividend ratio reflects the overall valuation level, our valuation-based measure of duration captures the slope of the valuation term structure. We show that valuation duration, as a discount rate proxy, is a critical state variable that augments the price-dividend ratio in spanning the (latent) state space for stock-market dynamics.


title: An Optically Thin View of the Flaring Chromosphere: Nonthermal widths in a chromospheric condensation during an X-class solar flare

abstract: The bulk of solar flare energy is deposited in the chromosphere. Flare ribbons and footpoints in the chromosphere therefore offer great diagnostic potential of flare energy release and transport processes. High quality observations from the IRIS spacecraft have transformed our view of the Sun's atmospheric response to flares. Since most of the chromospheric lines observed by IRIS are optically thick, forward modelling is required to fully appreciate and extract the information they carry. Reproducing certain aspects of the Mg II lines remain frustratingly out of reach in state-of-the-art flare models, which are unable to satisfactorily reproduce the very broad line profiles. A commonly proposed resolution to this is to assert that very large values of `microturbulence' is present. We asses the validity of that approach by analysing optically thin lines in the flare chromosphere from the X-class flare SOL2014-10-25T17:08:00, using the derived value of nonthermal width as a constraint to our numerical models. A nonthermal width of the order 10~km~s$^{-1}$ was found within the short-lived red wing components of three spectral lines, with relatively narrow stationary components. Simulations of this flare were produced, and in the post-processing spectral synthesis we include within the downflows a microturbulence of 10~km~s$^{-1}$. While we can reproduce the O I 1355.598~\AA\ line rather well, and we can capture the general shape and properties of the Mg II line widths, the synthetic lines are still too narrow.


title: A new mixed finite element method for arbitrary element pair for a quasi-static nonlinear permeability thermo-poroelasticity model

abstract: In this paper, we develop a multiphysics finite element method for solving the quasi-static thermo-poroelasticity model with nonlinear permeability. The model involves multiple physical processes such as deformation, pressure, diffusion and heat transfer. To reveal the multi-physical processes of deformation, diffusion and heat transfer, we reformulate the original model into a fluid coupled problem that is general Stokes equation coupled with two reaction-diffusion equations. Then, we prove the existence and uniqueness of weak solution for the original problem by the $B$-operator technique and by sequence approximation for the reformulated problem. As for the reformulated problem we propose a fully discrete finite element method which can use arbitrary finite element pairs to solve the displacement $\bu$ pressure $\tau $ and variable $\varpi,\varsigma$, and the backward Euler method for time discretization. Finally, we give the stability analysis of the above proposed method, also we prove that the fully discrete multiphysics finite element method has an optimal convergence order. Numerical experiments show that the proposed method can achieve good results under different finite element pairs and are consistent with the theoretical analysis.


title: On the Cauchy Problem of Spherical Capillary Water Waves

abstract: The spherical capillary water waves equation describes the motion of an almost spherical water droplet under zero gravity governed by water-air interface tension. Using para-differential calculus on compact Lie groups and homogeneous spaces developed by the author, the system is symmetrized into a quasi-linear dispersive para-differential equation of order 1.5 defined on the 2-sphere. An immediate consequence of this symmetrization is a new proof of local well-posedness of the system under much weaker regularity assumption compared to previous results.


title: Antimagicness of Tensor product for some wheel related graphs with star

abstract: A graph $G$ with $p$ vertices and $q$ edges has an antimagic labelling if there is a bijection from the graph's edge set to the label set $\left\{1,2, \cdots, q \right\}$ such that $p$ vertices must have distinct vertex sums, where the vertex sums are determined by adding up all the edge labels incident to each vertex $v$ in $V(G)$. Hartsfield and Ringel \cite{Ringel1} in the book "Pearls in Graph Theory" conjectured that every connected graph is antimagic, with the exception of $P_2$. In this study, we identified a class of connected graphs that lend credence to the conjecture. In this article, we proved that the tensor product of a wheel and a star, a helm and a star, and a flower and a star is antimagic.


title: Toward Incompatible Quantum Limits on Multiparameter Estimation

abstract: Achieving the ultimate precisions for multiple parameters simultaneously is an outstanding challenge in quantum physics, because the optimal measurements for incompatible parameters cannot be performed jointly due to the Heisenberg uncertainty principle. In this work, a criterion proposed for multiparameter estimation provides a possible way to beat this curse. According to this criterion, it is possible to mitigate the influence of incompatibility meanwhile improve the ultimate precisions by increasing the variances of the parameter generators simultaneously. For demonstration, a scheme involving high-order Hermite-Gaussian states as probes is proposed for estimating the spatial displacement and angular tilt of light at the same time, and precisions up to 1.45 nm and 4.08 nrad are achieved in experiment simultaneously. Consequently, our findings provide a deeper insight into the role of Heisenberg uncertainty principle in multiparameter estimation, and contribute in several ways to the applications of quantum metrology.


title: A Digital Twin Approach for Adaptive Compliance in Cyber-Physical Systems: Case of Smart Warehouse Logistics

abstract: Engineering regulatory compliance in complex Cyber-Physical Systems (CPS), such as smart warehouse logistics, is challenging due to the open and dynamic nature of these systems, scales, and unpredictable modes of human-robot interactions that can be best learnt at runtime. Traditional offline approaches for engineering compliance often involve modelling at a higher, more abstract level (e.g. using languages like SysML). These abstract models only support analysis in offline-designed and simplified scenarios. However, open and complex systems may be unpredictable, and their behaviours are difficult to be fully captured by abstract models. These systems may also involve other business goals, possibly conflicting with regulatory compliance. To overcome these challenges, fine-grained simulation models are promising to complement abstract models and support accurate runtime predictions and performance evaluation with trade-off analysis. The novel contribution of this work is a Digital Twin-oriented architecture for adaptive compliance leveraging abstract goal modelling, fine-grained agent-based modelling and runtime simulation for managing compliance trade-offs. A case study from smart warehouse logistics is used to demonstrate the approach considering safety and productivity trade-offs.


title: Power spectrum estimation methods on intracluster medium surface brightness fluctuations

abstract: Accurate estimation of galaxy cluster masses is a central problem in cosmology. Turbulence is believed to introduce significant deviations from the hydrostatic mass estimates. Estimation of turbulence properties is complicated by projection of the 3D cluster onto the 2D plane of the sky, and is commonly done in the form of indirect probes from fluctuations in the X-ray surface brightness and Sunyaev-Zeldovich effect maps. In this paper, we address this problem using simulations. We examine different methods for estimating the power spectrum on 2D projected fluctuation data, emulating data projected onto a 2D plane of the sky, and comparing them to the original, expected 3D power spectrum. Noise can contaminate the power spectrum of ICM observations, so we also briefly compare a few methods of reducing noise in the images for better spectral estimation.


title: Unclonable Non-Interactive Zero-Knowledge

abstract: A non-interactive ZK (NIZK) proof enables verification of NP statements without revealing secrets about them. However, an adversary that obtains a NIZK proof may be able to clone this proof and distribute arbitrarily many copies of it to various entities: this is inevitable for any proof that takes the form of a classical string. In this paper, we ask whether it is possible to rely on quantum information in order to build NIZK proof systems that are impossible to clone. We define and construct unclonable non-interactive zero-knowledge proofs (of knowledge) for NP. Besides satisfying the zero-knowledge and proof of knowledge properties, these proofs additionally satisfy unclonability. Very roughly, this ensures that no adversary can split an honestly generated proof of membership of an instance $x$ in an NP language $\mathcal{L}$ and distribute copies to multiple entities that all obtain accepting proofs of membership of $x$ in $\mathcal{L}$. Our result has applications to unclonable signatures of knowledge, which we define and construct in this work; these non-interactively prevent replay attacks.


title: The classical field approximation of ultra light dark matter: quantum breaktimes, corrections, and decoherence

abstract: The classical field approximation is widely used to better understand the predictions of ultra-light dark matter. Here, we use the truncated Wigner approximation method to test the classical field approximation of ultra-light dark matter. This method approximates a quantum state as an ensemble of independently evolving realizations drawn from its Wigner function. The method is highly parallelizable and allows the direct simulation of quantum corrections and decoherence times in systems many times larger than have been previously studied in reference to ultra-light dark matter. Our study involves simulation of systems in 1, 2, and 3 spatial dimensions. We simulate three systems, the condensation of a Gaussian random field in three spatial dimensions, a stable collapsed object in three spatial dimensions, and the merging of two stable objects in two spatial dimensions. We study the quantum corrections to the classical field theory in each case. We find that quantum corrections grow exponentially during nonlinear growth with the timescale being approximately equal to the system dynamical time. In stable systems the corrections grow quadratically. We also find that the primary effect of quantum corrections is to reduce the amplitude of fluctuations on the deBroglie scale in the spatial density. Finally, we find that the timescale associated with decoherence due to gravitational coupling to Baryonic matter is at least as fast as the quantum corrections due to gravitational interactions. These results strongly imply that quantum corrections do not impact the predictions of the classical field theory.


title: Dual epitaxial telecom spin-photon interfaces with correlated long-lived coherence

abstract: Optically active solid-state spin qubits thrive as an appealing technology for quantum interconnect and quantum networking, owing to their atomic size, scalable creation, long-lived coherence, and ability to coherently interface with flying qubits. Trivalent erbium dopants in particular emerge as a compelling candidate with their telecom C band emission and shielded 4f intra-shell spin-optical transitions. However, prevailing top-down architecture for rare-earth qubits and devices has not allowed simultaneous long optical and spin coherence necessary for long-distance quantum networks. Here we demonstrate dual erbium telecom spin-photon interfaces in an epitaxial thin-film platform via wafer-scale bottom-up synthesis. Harnessing precise controls over the matrix purity, dopant placement, and symmetry unique to this platform, we simultaneously achieve millisecond erbium spin coherence time and $<$3 kilohertz optical dephasing rate in an inversion-symmetry protected site and realize both optical and microwave control in a fiber-integrated package for rapid scaling up. These results demonstrate a significant prospect for high-quality rare-earth qubits and quantum memories assembled using a bottom-up method and pave the way for the large-scale development of quantum light-matter interfaces for telecommunication quantum networks.


title: Motion Vector-Domain Video Steganalysis Exploiting Skipped Macroblocks

abstract: Video steganography has the potential to be used to convey illegal information, and video steganalysis is a vital tool to detect the presence of this illicit act. Currently, all the motion vector (MV)-based video steganalysis algorithms extract feature sets directly on the MVs, but ignoring the steganograhic operation may perturb the statistics distribution of other video encoding elements, such as the skipped macroblocks (no direct MVs). This paper proposes a novel 11-dimensional feature set to detect MV-based video steganography based on the above observation. The proposed feature is extracted based on the skipped macroblocks by recompression calibration. Specifically, the feature consists of two components. The first is the probability distribution of motion vector prediction (MVP) difference, and the second is the probability distribution of partition state transfer. Extensive experiments on different conditions demonstrate that the proposed feature set achieves good detection accuracy, especially in lower embedding capacity. In addition, the loss of detection performance caused by recompression calibration using mismatched quantization parameters (QP) is within the acceptable range, so the proposed method can be used in practical scenarios.


title: Spectrum Sharing Towards Delay Deterministic Wireless Network: Delay Performance Analysis

abstract: To accommodate Machine-type Communication (MTC) service, the wireless network needs to support low-delay and low-jitter data transmission, realizing delay deterministic wireless network. This paper analyzes the delay and jitter of the wireless network with and without spectrum sharing. When sharing the spectrum of the licensed network, the spectrum band of wireless network can be expanded, such that the delay and jitter of data transmission are reduced. The challenge of this research is to model the relation between the delay/jitter and the parameters such as node distribution, transmit power, and bandwidth, etc. To this end, this paper applies stochastic geometry and queueing theory to analyze the outage probability of the licensed network and the delay performance of the wireless network with and without spectrum sharing. By establishing the M/G/1 queueing model for the queueing of the Base Station (BS) in the wireless network, the downlink delay and jitter are derived. Monte Carlo simulation results show that the spectrum sharing reduces the delay and jitter without causing serious interference to the licensed network, which can lay a foundation for the application of spectrum sharing in delay deterministic wireless network supporting MTC service.


title: Off-Policy Evaluation for Human Feedback

abstract: Off-policy evaluation (OPE) is important for closing the gap between offline training and evaluation of reinforcement learning (RL), by estimating performance and/or rank of target (evaluation) policies using offline trajectories only. It can improve the safety and efficiency of data collection and policy testing procedures in situations where online deployments are expensive, such as healthcare. However, existing OPE methods fall short in estimating human feedback (HF) signals, as HF may be conditioned over multiple underlying factors and is only sparsely available; as opposed to the agent-defined environmental rewards (used in policy optimization), which are usually determined over parametric functions or distributions. Consequently, the nature of HF signals makes extrapolating accurate OPE estimations to be challenging. To resolve this, we introduce an OPE for HF (OPEHF) framework that revives existing OPE methods in order to accurately evaluate the HF signals. Specifically, we develop an immediate human reward (IHR) reconstruction approach, regularized by environmental knowledge distilled in a latent space that captures the underlying dynamics of state transitions as well as issuing HF signals. Our approach has been tested over two real-world experiments, adaptive in-vivo neurostimulation and intelligent tutoring, as well as in a simulation environment (visual Q&A). Results show that our approach significantly improves the performance toward estimating HF signals accurately, compared to directly applying (variants of) existing OPE methods.


title: Systematic simulation of age-period-cohort analysis: Demonstrating bias of Bayesian regularization

abstract: Age-period-cohort (APC) analysis is one of the fundamental time-series analyses used in the social sciences. This paper evaluates APC analysis via systematic simulation in term of how well the artificial parameters are recovered. We consider three models of Bayesian regularization using normal prior distributions: the random effects model with reference to multilevel analysis, the ridge regression model equivalent to the intrinsic estimator, and the random walk model referred to as the Bayesian cohort model. The proposed simulation generates artificial data through combinations of the linear components, focusing on the fact that the identification problem affects the linear components of the three effects. Among the 13 cases of artificial data, the random walk model recovered the artificial parameters well in 10 cases, while the random effects model and the ridge regression model did so in 4 cases. The cases in which the models failed to recover the artificial parameters show the estimated linear component of the cohort effects as close to zero. In conclusion, the models of Bayesian regularization in APC analysis have a bias: the index weights have a large influence on the cohort effects and these constraints drive the linear component of the cohort effects close to zero. However, the random walk model mitigates underestimating the linear component of the cohort effects.


title: Nanoradian-Scale Precision in Light Rotation Measurement via Indefinite Quantum Dynamics

abstract: The manipulation and metrology of light beams are pivotal for optical science and applications. In particular, achieving ultra-high precision in the measurement of light beam rotations has been a long-standing challenge. Instead of utilizing quantum probes like entangled photons, we address this challenge by incorporating a quantum strategy called "indefinite time direction" into the parameterizing process of quantum parameter estimation. Leveraging this quantum property of the parameterizing dynamics allows us to maximize the utilization of OAM resources for measuring ultra-small angular rotations of beam profile. Notably, a nanoradian-scale precision of light rotation measurement is finally achieved in the experiment, which is the highest precision by far to our best knowledge. Furthermore, this scheme holds promise in various optical applications due to the diverse range of manipulable resources offered by photons.


title: Temperature measurements with the relativistic Sunyaev-Zel'dovich effect

abstract: At temperatures above ~5 keV, the non-relativistic approximation used to derive the classical thermal Sunyaev-Zel'dovich effect spectrum begins to fail. When relativistic effects are included, the spectrum becomes temperature-dependent. This leads to both a problem and an opportunity: a problem, because when the temperature dependence is not accounted for the Compton-y estimate is biased; and an opportunity, because it represents a new way to measure the temperature of the intracluster medium independently of X-ray observations. This work presents current results from investigating the impact of relativistic effects on Planck cluster observations, and projections for future measurements of cluster temperatures using the Atacama Large Aperture Sub-millimetre Telescope.


title: An HCI-Centric Survey and Taxonomy of Human-Generative-AI Interactions

abstract: Generative AI (GenAI) has shown remarkable capabilities in generating diverse and realistic content across different formats like images, videos, and text. In Generative AI, human involvement is essential, thus HCI literature has investigated how to effectively create collaborations between humans and GenAI systems. However, the current literature lacks a comprehensive framework to better understand Human-GenAI Interactions, as the holistic aspects of human-centered GenAI systems are rarely analyzed systematically. In this paper, we present a survey of 291 papers, providing a novel taxonomy and analysis of Human-GenAI Interactions from both human and Gen-AI perspectives. The dimensions of design space include 1) Purposes of Using Generative AI, 2) Feedback from Models to Users, 3) Control from Users to Models, 4) Levels of Engagement, 5) Application Domains, and 6) Evaluation Strategies. Our work is also timely at the current development stage of GenAI, where the Human-GenAI interaction design is of paramount importance. We also highlight challenges and opportunities to guide the design of Gen-AI systems and interactions towards the future design of human-centered Generative AI applications.


title: CrashTranslator: Automatically Reproducing Mobile Application Crashes Directly from Stack Trace

abstract: Crash reports are vital for software maintenance since they allow the developers to be informed of the problems encountered in the mobile application. Before fixing, developers need to reproduce the crash, which is an extremely time-consuming and tedious task. Existing studies conducted the automatic crash reproduction with the natural language described reproducing steps. Yet we find a non-neglectable portion of crash reports only contain the stack trace when the crash occurs. Such stack-trace-only crashes merely reveal the last GUI page when the crash occurs, and lack step-by-step guidance. Developers tend to spend more effort in understanding the problem and reproducing the crash, and existing techniques cannot work on this, thus calling for a greater need for automatic support. This paper proposes an approach named CrashTranslator to automatically reproduce mobile application crashes directly from the stack trace. It accomplishes this by leveraging a pre-trained Large Language Model to predict the exploration steps for triggering the crash, and designing a reinforcement learning based technique to mitigate the inaccurate prediction and guide the search holistically. We evaluate CrashTranslator on 75 crash reports involving 58 popular Android apps, and it successfully reproduces 61.3% of the crashes, outperforming the state-of-the-art baselines by 109% to 206%. Besides, the average reproducing time is 68.7 seconds, outperforming the baselines by 302% to 1611%. We also evaluate the usefulness of CrashTranslator with promising results.