title: Effective Large Language Model Adaptation for Improved Grounding and Citation Generation

abstract: Large language models (LLMs) have achieved remarkable advancements in natural language understanding and generation. However, one major issue towards their widespread deployment in the real world is that they can generate "hallucinated" answers that are not factual. Towards this end, this paper focuses on improving LLMs by grounding their responses in retrieved passages and by providing citations. We propose a new framework, AGREE, Adaptation for GRounding EnhancEment, that improves the grounding from a holistic perspective. Our framework tunes LLMs to selfground the claims in their responses and provide accurate citations to retrieved documents. This tuning on top of the pre-trained LLMs requires well-grounded responses (with citations) for paired queries, for which we introduce a method that can automatically construct such data from unlabeled queries. The selfgrounding capability of tuned LLMs further grants them a test-time adaptation (TTA) capability that can actively retrieve passages to support the claims that have not been grounded, which iteratively improves the responses of LLMs. Across five datasets and two LLMs, our results show that the proposed tuningbased AGREE framework generates superior grounded responses with more accurate citations compared to prompting-based approaches and post-hoc citing-based approaches


title: Dissipation Enhanced Unidirectional Transport in Topological Systems

abstract: Dissipation is a common occurrence in real-world systems and is generally considered to be detrimental to transport. In this study, we examine the transport properties of a narrow quantum anomalous Hall system with dissipation applied on one edge. When the Fermi level resides within the hybridization gap, we find that while transport is suppressed on one edge, it is significantly enhanced on the other. We reveal that this enhancement arises from dissipation-induced gap closure, which is deeply rooted in the point gap topology of the system, resulting in a reduction of the decaying coefficient. When the dissipation is very large, we find that the low-energy physics is nearly indistinguishable from a narrower system, whose dissipation amplitude is inversely proportional to that of the original one. To get more physical intuition, we demonstrate that the low-energy physics can be well captured by a pair of coupled counter-propagating chiral edge states, one of which has a modified group velocity and an effective dissipation. We also briefly discuss the possible experimental realizations of this enhanced unidirectional transport.


title: FunctionMarker: Watermarking Language Datasets via Knowledge Injection

abstract: Large Language Models (LLMs) have demonstrated superior performance in various natural language processing tasks. Meanwhile, they require extensive training data, raising concerns related to dataset copyright protection. Backdoor-based watermarking is a viable approach to protect the copyright of classification datasets. However, these methods may introduce malicious misclassification behaviors into watermarked LLMs by attackers and also affect the semantic information of the watermarked text. To address these issues, we propose FunctionMarker, a novel copyright protection method for language datasets via knowledge injection. FunctionMarker enables LLMs to learn specific knowledge through fine-tuning on watermarked datasets, and we can extract the embedded watermark by obtaining the responses of LLMs to specific knowledge-related queries. Considering watermark capacity and stealthness, we select customizable functions as specific knowledge for LLMs to learn and embed the watermark into them. Moreover, FunctionMarker can embed multi-bit watermarks while preserving the original semantic information, thereby increasing the difficulty of adaptive attacks. We take mathematical functions as an instance to evaluate the effectiveness of FunctionMarker, and experiments show that only 0.3% of watermarked text achieves a 90% watermark extraction accuracy in most cases, validating our method's effectiveness.


title: Correlation networks: Interdisciplinary approaches beyond thresholding

abstract: Many empirical networks originate from correlational data, arising in domains as diverse as psychology, neuroscience, genomics, microbiology, finance, and climate science. Specialized algorithms and theory have been developed in different application domains for working with such networks, as well as in statistics, network science, and computer science, often with limited communication between practitioners in different fields. This leaves significant room for cross-pollination across disciplines. A central challenge is that it is not always clear how to best transform correlation matrix data into networks for the application at hand, and probably the most widespread method, i.e., thresholding on the correlation value to create either unweighted or weighted networks, suffers from multiple problems. In this article, we review various methods of constructing and analyzing correlation networks, ranging from thresholding and its improvements to weighted networks, regularization, dynamic correlation networks, threshold-free approaches, and more. Finally, we propose and discuss a variety of key open questions currently confronting this field.


title: Future Full-Ocean Deep SSPs Prediction based on Hierarchical Long Short-Term Memory Neural Networks

abstract: The spatial-temporal distribution of underwater sound velocity affects the propagation mode of underwater acoustic signals. Therefore, rapid estimation and prediction of underwater sound velocity distribution is crucial for providing underwater positioning, navigation and timing (PNT) services. Currently, sound speed profile (SSP) inversion methods have a faster time response rate compared to direct measurement methods, however, most SSP inversion methods focus on constructing spatial dimensional sound velocity fields and are highly dependent on sonar observation data, thus high requirements have been placed on observation data sources. To explore the distribution pattern of sound velocity in the time dimension and achieve future SSP prediction without sonar observation data, we propose a hierarchical long short-term memory (H-LSTM) neural network for SSP prediction. By our SSP prediction method, the sound speed distribution could be estimated without any on-site data measurement process, so that the time efficiency could be greatly improved. Through comparing with other state-of-the-art methods, H-LSTM has better accuracy performance on prediction of monthly average sound velocity distribution, which is less than 1 m/s in different depth layers.


title: Reducing Privacy Risks in Online Self-Disclosures with Language Models

abstract: Self-disclosure, while being common and rewarding in social media interaction, also poses privacy risks. In this paper, we take the initiative to protect the user-side privacy associated with online self-disclosure through detection and abstraction. We develop a taxonomy of 19 self-disclosure categories and curate a large corpus consisting of 4.8K annotated disclosure spans. We then fine-tune a language model for detection, achieving over 65% partial span F$_1$. We further conduct an HCI user study, with 82% of participants viewing the model positively, highlighting its real-world applicability. Motivated by the user feedback, we introduce the task of self-disclosure abstraction, which is rephrasing disclosures into less specific terms while preserving their utility, e.g., "Im 16F" to "I'm a teenage girl". We explore various fine-tuning strategies, and our best model can generate diverse abstractions that moderately reduce privacy risks while maintaining high utility according to human evaluation. To help users in deciding which disclosures to abstract, we present a task of rating their importance for context understanding. Our fine-tuned model achieves 80% accuracy, on-par with GPT-3.5. Given safety and privacy considerations, we will only release our corpus and models to researcher who agree to the ethical guidelines outlined in Ethics Statement.


title: Entanglement constraint on wave-particle duality for tripartite systems

abstract: A global multi-partite entanglement may place a constraint on the wave-particle duality. We investigate this constraint relation of the global entanglement and the quantitative wave-particle duality in tripartite systems. We perform quantum state tomography to reconstruct the reduced density matrix by using the OriginQ quantum computing cloud platform. As a result, we show that, theoretically and experimentally, the quantitative wave-particle duality is indeed constrained by the global tripartite entanglement.


title: FedFusion: Manifold Driven Federated Learning for Multi-satellite and Multi-modality Fusion

abstract: Multi-satellite, multi-modality in-orbit fusion is a challenging task as it explores the fusion representation of complex high-dimensional data under limited computational resources. Deep neural networks can reveal the underlying distribution of multi-modal remote sensing data, but the in-orbit fusion of multimodal data is more difficult because of the limitations of different sensor imaging characteristics, especially when the multimodal data follows non-independent identically distribution (Non-IID) distributions. To address this problem while maintaining classification performance, this paper proposes a manifold-driven multi-modality fusion framework, FedFusion, which randomly samples local data on each client to jointly estimate the prominent manifold structure of shallow features of each client and explicitly compresses the feature matrices into a low-rank subspace through cascading and additive approaches, which is used as the feature input of the subsequent classifier. Considering the physical space limitations of the satellite constellation, we developed a multimodal federated learning module designed specifically for manifold data in a deep latent space. This module achieves iterative updating of the sub-network parameters of each client through global weighted averaging, constructing a framework that can represent compact representations of each client. The proposed framework surpasses existing methods in terms of performance on three multimodal datasets, achieving a classification average accuracy of 94.35$\%$ while compressing communication costs by a factor of 4. Furthermore, extensive numerical evaluations of real-world satellite images were conducted on the orbiting edge computing architecture based on Jetson TX2 industrial modules, which demonstrated that FedFusion significantly reduced training time by 48.4 minutes (15.18%) while optimizing accuracy.}


title: Cauchy-Riemann beams in GRIN media

abstract: We investigate the propagation characteristics of Cauchy-Riemann beams in gradient-index media. Our study reveals two key findings: a) the preservation of their form during propagation, and b) surprisingly, the feasibility of obtaining the fractional Fourier transform for any arbitrary entire function. We provide an explicit and straightforward expression for this transform. Additionally, our results contribute to a deeper understanding of the behavior of Cauchy-Riemann beams in complex media, offering insights that may have implications for various applications in optics and wave propagation.


title: Pregnant Questions: The Importance of Pragmatic Awareness in Maternal Health Question Answering

abstract: Questions posed by information-seeking users often contain implicit false or potentially harmful assumptions. In a high-risk domain such as maternal and infant health, a question-answering system must recognize these pragmatic constraints and go beyond simply answering user questions, examining them in context to respond helpfully. To achieve this, we study assumptions and implications, or pragmatic inferences, made when mothers ask questions about pregnancy and infant care by collecting a dataset of 2,727 inferences from 500 questions across three diverse sources. We study how health experts naturally address these inferences when writing answers, and illustrate that informing existing QA pipelines with pragmatic inferences produces responses that are more complete, mitigating the propagation of harmful beliefs.


title: Temporal-Aware Refinement for Video-based Human Pose and Shape Recovery

abstract: Though significant progress in human pose and shape recovery from monocular RGB images has been made in recent years, obtaining 3D human motion with high accuracy and temporal consistency from videos remains challenging. Existing video-based methods tend to reconstruct human motion from global image features, which lack detailed representation capability and limit the reconstruction accuracy. In this paper, we propose a Temporal-Aware Refining Network (TAR), to synchronously explore temporal-aware global and local image features for accurate pose and shape recovery. First, a global transformer encoder is introduced to obtain temporal global features from static feature sequences. Second, a bidirectional ConvGRU network takes the sequence of high-resolution feature maps as input, and outputs temporal local feature maps that maintain high resolution and capture the local motion of the human body. Finally, a recurrent refinement module iteratively updates estimated SMPL parameters by leveraging both global and local temporal information to achieve accurate and smooth results. Extensive experiments demonstrate that our TAR obtains more accurate results than previous state-of-the-art methods on popular benchmarks, i.e., 3DPW, MPI-INF-3DHP, and Human3.6M.


title: Scaling User Modeling: Large-scale Online User Representations for Ads Personalization in Meta

abstract: Effective user representations are pivotal in personalized advertising. However, stringent constraints on training throughput, serving latency, and memory, often limit the complexity and input feature set of online ads ranking models. This challenge is magnified in extensive systems like Meta's, which encompass hundreds of models with diverse specifications, rendering the tailoring of user representation learning for each model impractical. To address these challenges, we present Scaling User Modeling (SUM), a framework widely deployed in Meta's ads ranking system, designed to facilitate efficient and scalable sharing of online user representation across hundreds of ads models. SUM leverages a few designated upstream user models to synthesize user embeddings from massive amounts of user features with advanced modeling techniques. These embeddings then serve as inputs to downstream online ads ranking models, promoting efficient representation sharing. To adapt to the dynamic nature of user features and ensure embedding freshness, we designed SUM Online Asynchronous Platform (SOAP), a latency free online serving system complemented with model freshness and embedding stabilization, which enables frequent user model updates and online inference of user embeddings upon each user request. We share our hands-on deployment experiences for the SUM framework and validate its superiority through comprehensive experiments. To date, SUM has been launched to hundreds of ads ranking models in Meta, processing hundreds of billions of user requests daily, yielding significant online metric gains and improved infrastructure efficiency.


title: Causality-Informed Data-Driven Predictive Control

abstract: As a useful and efficient alternative to generic model-based control scheme, data-driven predictive control is subject to bias-variance trade-off and is known to not perform desirably in face of uncertainty. Through the connection between direct data-driven control and subspace predictive control, we gain insight into the reason being the lack of causality as a main cause for high variance of implicit prediction. In this article, we seek to address this deficiency by devising a novel causality-informed formulation of direct data-driven control. Built upon LQ factorization, an equivalent two-stage reformulation of regularized data-driven control is first derived, which bears clearer interpretability and a lower complexity than generic forms. This paves the way for deriving a two-stage causality-informed formulation of data-driven predictive control, as well as a regularized form that balances between control cost minimization and implicit identification of multi-step predictor. Since it only calls for block-triangularization of a submatrix in LQ factorization, the new causality-informed formulation comes at no excess cost as compared to generic ones. Its efficacy is investigated based on numerical examples and application to model-free control of a simulated industrial heating furnace. Empirical results corroborate that the proposed method yields obvious performance improvement over existing formulations in handling stochastic noise and process nonlinearity.


title: Stability estimates for an inverse boundary value problem for biharmonic operators with first order perturbation from partial data

abstract: In this paper we study an inverse boundary value problem for the biharmonic operator with first order perturbation. Our geometric setting is that of a bounded simply connected domain in the Euclidean space of dimension three or higher. Assuming that the inaccessible portion of the boundary is flat, and we have knowledge of the Dirichlet-to-Neumann map on the complement, we prove logarithmic type stability estimates for both the first and the zeroth order perturbation of the biharmonic operator.


title: Direct detections of the Axion-like particle Revisited

abstract: Axion-like particles (ALPs) are promising dark matter candidates. Their signals in direct detection experiments arise from the well-known inverse Primakoff effect or the inverse Compton scattering of the ALPs with the electron. In this paper, we revisit the direct detection of ALP by carefully considering the interference between the inverse Primakoff amplitude and the inverse Compton amplitude in the scattering process $a+e \to e+\gamma$ for the first time. It shows that the contribution of the interference term turns to be dominated in the scattering for a large ALP energy. Given the new analytical formula, signals or constraints of ALP couplings in various projected experiments are investigated. Our results show that these experiments may put strong constraints on ALP couplings for relatively heavy ALP. We further study projected constraints on the ALP from the JUNO experiment, which shows competitive constraints on ALP couplings using a ten-year exposure.


title: Universally Optimal Information Dissemination and Shortest Paths in the HYBRID Distributed Model

abstract: In this work we consider the HYBRID model of distributed computing, introduced recently by Augustine, Hinnenthal, Kuhn, Scheideler, and Schneider (SODA 2020), where nodes have access to two different communication modes: high-bandwidth local communication along the edges of the graph and low-bandwidth all-to-all communication, capturing the non-uniform nature of modern communication networks. Prior work in HYBRID has focused on showing existentially optimal algorithms, meaning there exists a pathological family of instances on which no algorithm can do better. This neglects the fact that such worst-case instances often do not appear or can be actively avoided in practice. In this work, we focus on the notion of universal optimality, first raised by Garay, Kutten, and Peleg (FOCS 1993). Roughly speaking, a universally optimal algorithm is one that, given any input graph, runs as fast as the best algorithm designed specifically for that graph. We show the first universally optimal algorithms in HYBRID. We present universally optimal solutions for fundamental information dissemination tasks, such as broadcasting and unicasting multiple messages in HYBRID. Furthermore, we apply these tools to obtain universally optimal solutions for various shortest paths problems in HYBRID. A main conceptual contribution of this work is the conception of a new graph parameter called neighborhood quality that captures the inherent complexity of many fundamental graph problems in HYBRID. We also show new existentially optimal shortest paths algorithms in HYBRID, which are utilized as key subroutines in our universally optimal algorithms and are of independent interest. Our new algorithms for $k$-source shortest paths match the existing $\tilde{\Omega}(\sqrt{k})$ lower bound for all $k$. Previously, the lower bound was only known to be tight when $k \in \tilde{\Omega}(n^{2/3})$.


title: SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring

abstract: Automated code generation and performance optimizations for sparse tensor algebra are cardinal since they have become essential in many real-world applications like quantum computing, physics, chemistry, and machine learning. General sparse tensor algebra compilers are not always versatile enough to generate asymptotically optimal code for sparse tensor contractions. This paper shows how to optimize and generate asymptotically better schedules for complex tensor expressions using kernel fission and fusion. We present a generalized loop transformation to achieve loop nesting for minimized memory footprint and reduced asymptotic complexity. Furthermore, we present an auto-scheduler that uses a partially ordered set-based cost model that uses both time and auxiliary memory complexities in its pruning stages. In addition, we highlight the use of SMT solvers in sparse auto-schedulers to prune the Pareto frontier of schedules to the smallest number of possible schedules with user-defined constraints available at compile time. Finally, we show that our auto-scheduler can select asymptotically better schedules that use our compiler transformation to generate optimized code. Our results show that the auto-scheduler achieves orders of magnitude speedup compared to the TACO-generated code for several real-world tensor algebra computations on different real-world inputs.


title: A Speed Odyssey for Deployable Quantization of LLMs

abstract: The large language model era urges faster and less costly inference. Prior model compression works on LLMs tend to undertake a software-centric approach primarily focused on the simulated quantization performance. By neglecting the feasibility of deployment, these approaches are typically disabled in real practice. They used to drastically push down the quantization bit range for a reduced computation which might not be supported by the mainstream hardware, or involve sophisticated algorithms that introduce extra computation or memory access overhead. We argue that pursuing a hardware-centric approach in the construction of quantization algorithms is crucial. In this regard, we are driven to build our compression method on top of hardware awareness, eliminating impractical algorithm choices while maximizing the benefit of hardware acceleration. Our method, OdysseyLLM, comes with a novel W4A8 kernel implementation called FastGEMM and a combined recipe of quantization strategies. Extensive experiments manifest the superiority of our W4A8 method which brings the actual speed boosting up to \textbf{4$\times$} compared to Hugging Face FP16 inference and \textbf{2.23$\times$} vs. the state-of-the-art inference engine TensorRT-LLM in FP16, and \textbf{1.45$\times$} vs. TensorRT-LLM in INT8, yet without substantially harming the performance.


title: Universal Hyperuniform Organization of Cellular Structures in Leaf Vein Networks

abstract: Leaf vein network is a hierarchical vascular system that transports water and nutrients to the leaf cells. The thick primary veins form a branched network, while the secondary veins develop closed circuits forming a well-defined cellular structure. Through extensive analysis of a variety of distinct leaf species, we discover that the apparently disordered cellular structures of the secondary vein networks exhibit a universal hyperuniform organization and possess a hidden order on large scales. Disorder hyperuniform (DHU) systems lack conventional long-range order, yet they completely suppress normalized large-scale density fluctuations like crystals. Specifically, we find that the distributions of the geometric centers associated with the vein network loops possess a vanishing static structure factor in the zero-wavenumber limit, i.e., $S(k) \sim k^{\alpha}$, where $\alpha \approx 0.64$, providing an example of class III hyperuniformity in biology. This hyperuniform organization leads to superior efficiency of diffusive transport, as evidenced by the much faster convergence of the time-dependent spreadability $\mathcal{S}(t)$ to its long-time asymptotic limit, compared to that of other uncorrelated or correlated disordered but non-hyperuniform organizations. Our results also have implications for the discovery and design of novel disordered network materials with optimal transport properties.


title: Large Language Models are Few-Shot Training Example Generators: A Case Study in Fallacy Recognition

abstract: Recognizing fallacies is crucial for ensuring the quality and validity of arguments across various domains. However, computational fallacy recognition faces challenges due to the diverse genres, domains, and types of fallacies found in datasets. This leads to a highly multiclass, and even multi-label, setup with substantial class imbalance. In this study, we aim to enhance existing models for fallacy recognition by incorporating additional context and by leveraging large language models to generate synthetic data, thus increasing the representation of the infrequent classes. We experiment with GPT3.5 to generate synthetic examples and we examine the impact of prompt settings for this. Moreover, we explore zero-shot and few-shot scenarios to evaluate the effectiveness of using the generated examples for training smaller models within a unified fallacy recognition framework. Furthermore, we analyze the overlap between the synthetic data and existing fallacy datasets. Finally, we investigate the usefulness of providing supplementary context for detecting fallacy types that need such context, e.g., diversion fallacies. Our evaluation results demonstrate consistent improvements across fallacy types, datasets, and generators.


title: Program-Aided Reasoners (better) Know What They Know

abstract: Prior work shows that program-aided reasoning, in which large language models (LLMs) are combined with programs written in programming languages such as Python, can significantly improve accuracy on various reasoning tasks. However, while accuracy is essential, it is also important for such reasoners to "know what they know", which can be quantified through the calibration of the model. In this paper, we compare the calibration of Program Aided Language Models (PAL) and text-based Chain-of-thought (COT) prompting techniques over 5 datasets and 2 model types: LLaMA models and OpenAI models. Our results indicate that PAL leads to improved calibration in 75% of the instances. Our analysis uncovers that prompting styles that produce lesser diversity in generations also have more calibrated results, and thus we also experiment with inducing lower generation diversity using temperature scaling and find that for certain temperatures, PAL is not only more accurate but is also more calibrated than COT. Overall, we demonstrate that, in the majority of cases, program-aided reasoners better know what they know than text-based counterparts.


title: The diffusion and scattering of accelerating particles in compressible MHD turbulence

abstract: We numerically study the diffusion and scattering of cosmic rays (CRs) together with their acceleration processes in the framework of the modern understanding of magnetohydrodynamic (MHD) turbulence. Based on the properties of compressible MHD turbulence obtained from observations and numerical experiments, we investigate the interaction of CRs with plasma modes. We find that (1) the gyroradius of particles exponentially increases with the acceleration timescale; (2) the momentum diffusion presents the power-law relationship with the gyroradius in the strong turbulence regime, and shows a plateau in the weak turbulence regime implying a stochastic acceleration process; (3) the spatial diffusion is dominated by the parallel diffusion in the sub-Alfv\'enic regime, while it is dominated by the perpendicular diffusion in the super-Alfv\'enic one; (4) as for the interaction of CRs with plasma modes, the particle acceleration is dominated by the fast mode in the high $\beta$ case, while in the low $\beta$ case, it is dominated by the fast and slow modes; (5) in the presence of acceleration, magnetosonic modes still play a critical role in diffusion and scattering processes of CRs, which is in good agreement with the earlier theoretical predictions.


title: Soft and Rigid Object Grasping With Cross-Structure Hand Using Bilateral Control-Based Imitation Learning

abstract: Object grasping is an important ability required for various robot tasks. In particular, tasks that require precise force adjustments during operation, such as grasping an unknown object or using a grasped tool, are difficult for humans to program in advance. Recently, AI-based algorithms that can imitate human force skills have been actively explored as a solution. In particular, bilateral control-based imitation learning achieves human-level motion speeds with environmental adaptability, only requiring human demonstration and without programming. However, owing to hardware limitations, its grasping performance remains limited, and tasks that involves grasping various objects are yet to be achieved. Here, we developed a cross-structure hand to grasp various objects. We experimentally demonstrated that the integration of bilateral control-based imitation learning and the cross-structure hand is effective for grasping various objects and harnessing tools.


title: Linear-scale simulations of quench dynamics

abstract: The accurate description and robust computational modeling of the nonequilibrium properties of quantum systems remain a challenge in condensed matter physics. In this work, we develop a linear-scale computational simulation technique for the non-equilibrium dynamics of quantum quench systems. In particular, we report a polynomial-expansion of the Loschmidt echo to describe the dynamical quantum phase transitions of noninteracting quantum quench systems. An expansion-based method allows us to efficiently compute the Loschmidt echo for infinitely large systems without diagonalizing the system Hamiltonian. To demonstrate its utility, we highlight quantum quenching dynamics under tight-binding quasicrystals and disordered lattices in one spatial dimension. In addition, the role of the wave vector on the quench dynamics under lattice models is addressed. We observe wave vector-independent dynamical phase transitions in self-dual localization models.


title: Products of boundary classes on M_0,n-bar via balanced weights

abstract: In this note, we give a simple closed formula for an arbitrary product, landing in dimension 0, of boundary classes on the Deligne--Mumford moduli space M_0,n-bar. For any such boundary strata $X_{T_1}, \ldots, X_{T_\ell}$, we show the intersection product $\int \prod_{i=1}^\ell [X_{T_i}]$ is either a signed product of multinomial coefficients, or zero, and provide a simple criterion for determining when it is nonzero. We do not claim originality for our product formula, but to our knowledge it does not appear elsewhere in the literature.


title: What if you said that differently?: How Explanation Formats Affect Human Feedback Efficacy and User Perception

abstract: Eliciting feedback from end users of NLP models can be beneficial for improving models. However, how should we present model responses to users so they are most amenable to be corrected from user feedback? Further, what properties do users value to understand and trust responses? We answer these questions by analyzing the effect of rationales (or explanations) generated by QA models to support their answers. We specifically consider decomposed QA models that first extract an intermediate rationale based on a context and a question and then use solely this rationale to answer the question. A rationale outlines the approach followed by the model to answer the question. Our work considers various formats of these rationales that vary according to well-defined properties of interest. We sample rationales from language models using few-shot prompting for two datasets, and then perform two user studies. First, we present users with incorrect answers and corresponding rationales in various formats and ask them to provide natural language feedback to revise the rationale. We then measure the effectiveness of this feedback in patching these rationales through in-context learning. The second study evaluates how well different rationale formats enable users to understand and trust model answers, when they are correct. We find that rationale formats significantly affect how easy it is (1) for users to give feedback for rationales, and (2) for models to subsequently execute this feedback. In addition, formats with attributions to the context and in-depth reasoning significantly enhance user-reported understanding and trust of model outputs.


title: Prompt-based Pseudo-labeling Strategy for Sample-Efficient Semi-Supervised Extractive Summarization

abstract: Semi-supervised learning (SSL) is a widely used technique in scenarios where labeled data is scarce and unlabeled data is abundant. While SSL is popular for image and text classification, it is relatively underexplored for the task of extractive text summarization. Standard SSL methods follow a teacher-student paradigm to first train a classification model and then use the classifier's confidence values to select pseudo-labels for the subsequent training cycle; however, such classifiers are not suitable to measure the accuracy of pseudo-labels as they lack specific tuning for evaluation, which leads to confidence values that fail to capture the semantics and correctness of the generated summary. To address this problem, we propose a prompt-based pseudo-labeling strategy with LLMs that picks unlabeled examples with more accurate pseudo-labels than using just the classifier's probability outputs. Our approach also includes a relabeling mechanism that improves the quality of pseudo-labels. We evaluate our method on three text summarization datasets: TweetSumm, WikiHow, and ArXiv/PubMed. We empirically show that a prompting-based LLM that scores and generates pseudo-labels outperforms existing SSL methods on ROUGE-1, ROUGE-2, and ROUGE-L scores on all the datasets. Furthermore, our method achieves competitive G-Eval scores (evaluation with GPT-4) as a fully supervised method that uses 100% of the labeled data with only 16.67% of the labeled data.


title: An experimental study of flow near an advancing contact line: a rigorous test of theoretical models

abstract: The flow near a moving contact line depends on the dynamic contact angle, viscosity ratio, and capillary number. We report experiments involving immersing a plate into a liquid bath, concurrently measuring the interface shape, interfacial velocity, and fluid flow using digital image processing and particle image velocimetry. All experiments were performed at low plate speeds to maintain small Reynolds and capillary numbers for comparison with viscous theories. The dynamic contact angle, measured in the viscous phase, was kept below $90^{\circ}$, an unexplored region of parameter space. An important aim of the present study is to provide valuable experimental data using which new contact line models can be developed and validated. Interface shapes reveal that the strong viscous bending predicted by theoretical models is absent in the experimental data. The flow field is directly compared against the prediction from the viscous theory of \cite{huh1971hydrodynamic} but with a slight modification involving the curved interface. Remarkable agreement is found between experiments and theory across a wide parameter range. The prediction for interfacial speed from \cite{huh1971hydrodynamic} is also in excellent agreement with experiments except in the vicinity of the contact line. Material points along the interface were found to rapidly slow down near the contact line, thus alleviating the singularity at the moving contact line. To the best of our knowledge, such a detailed test of theoretical models has not been performed before and we hope the present study will spur new modeling efforts in the field.


title: Supportive psychotherapy on insomnia induced by COVID-19; Evaluation of patients and hospital staff

abstract: Introduction: The global COVID-19 pandemic has heightened stress, anxiety, and sadness, leading to increased rates of insomnia (6-10%). This study explores the effectiveness of supportive psychotherapy, specifically Cognitive-Behavioral Therapy for Insomnia (CBT-I), in managing COVID-19-induced insomnia among patients and hospital staff. Method: A before-and-after design assessed the impact of supportive care by a psychiatrist on anxiety and insomnia in 18 hospitalized COVID-19 patients. Four CBT-I sessions (20 minutes to an hour each) were administered. Baseline assessments included sleep efficiency, insomnia severity, and generalized anxiety disorder symptoms. Statistical analyses, including paired t-tests, McNemar tests, and regression models using IBM SPSS Statistics, were employed. Results: Supportive psychotherapy significantly improved outcomes in patients. Anxiety levels decreased (mean score: 4.49 to 2.65, p = 0.038), and insomnia severity scores decreased across all three items. Sleep quality improved (mean score: 6.44 to 8.55, p = 0.005). Staff members also experienced positive outcomes, with significant reductions in anxiety (mean score: 3.88 to 2.6, p = 0.037) and improvements in insomnia severity. Sleep quality showed improvement but did not reach statistical significance (p = 0.08). Conclusion: Supportive psychotherapy, particularly CBT-I, effectively reduces anxiety, improves insomnia symptoms, and enhances sleep quality in patients and staff. This approach proves valuable for managing COVID-19-induced insomnia. Larger-scale research is necessary to validate and generalize these outcomes, emphasizing the importance of CBT-I for individuals affected by the pandemic.


title: TextEE: Benchmark, Reevaluation, Reflections, and Future Challenges in Event Extraction

abstract: Event extraction has gained considerable interest due to its wide-ranging applications. However, recent studies draw attention to evaluation issues, suggesting that reported scores may not accurately reflect the true performance. In this work, we identify and address evaluation challenges, including inconsistency due to varying data assumptions or preprocessing steps, the insufficiency of current evaluation frameworks that may introduce dataset or data split bias, and the low reproducibility of some previous approaches. To address these challenges, we present TextEE, a standardized, fair, and reproducible benchmark for event extraction. TextEE comprises standardized data preprocessing scripts and splits for 16 datasets spanning eight diverse domains and includes 14 recent methodologies, conducting a comprehensive benchmark reevaluation. We also evaluate five varied large language models on our TextEE benchmark and demonstrate how they struggle to achieve satisfactory performance. Inspired by our reevaluation results and findings, we discuss the role of event extraction in the current NLP era, as well as future challenges and insights derived from TextEE. We believe TextEE, the first standardized comprehensive benchmarking tool, will significantly facilitate future event extraction research.


title: Multi-Objective Transmission Expansion: An Offshore Wind Power Integration Case Study

abstract: Despite ambitious offshore wind targets in the U.S. and globally, offshore grid planning guidance remains notably scarce, contrasting with well-established frameworks for onshore grids. This gap, alongside the increasing penetration of offshore wind and other clean-energy resources in onshore grids, highlights the urgent need for a coordinated planning framework. Our paper describes a multi-objective, multistage generation, storage and transmission expansion planning model to facilitate efficient and resilient large-scale adoption of offshore wind power. Recognizing regulatory emphasis and, in some cases, requirements to consider externalities, this model explicitly accounts for negative externalities: greenhouse gas emissions and local emission-induced air pollution. Utilizing an 8-zone ISO-NE test system and a 9-zone PJM test system, we explore grid expansion sensitivities such as impacts of optimizing Points of Interconnection (POIs) versus fixed POIs, negative externalities, and consideration of extreme operational scenarios resulting from offshore wind integration. Our results indicate that accounting for negative externalities necessitates greater upfront investment in clean generation and storage (balanced by lower expected operational costs). Optimizing POIs could significantly reshape offshore topology or POIs, and lower total cost. Finally, accounting for extreme operational scenarios typically results in greater operational costs and sometimes may alter onshore line investment.


title: LongBoX: Evaluating Transformers on Long-Sequence Clinical Tasks

abstract: Many large language models (LLMs) for medicine have largely been evaluated on short texts, and their ability to handle longer sequences such as a complete electronic health record (EHR) has not been systematically explored. Assessing these models on long sequences is crucial since prior work in the general domain has demonstrated performance degradation of LLMs on longer texts. Motivated by this, we introduce LongBoX, a collection of seven medical datasets in text-to-text format, designed to investigate model performance on long sequences. Preliminary experiments reveal that both medical LLMs (e.g., BioGPT) and strong general domain LLMs (e.g., FLAN-T5) struggle on this benchmark. We further evaluate two techniques designed for long-sequence handling: (i) local-global attention, and (ii) Fusion-in-Decoder (FiD). Our results demonstrate mixed results with long-sequence handling - while scores on some datasets increase, there is substantial room for improvement. We hope that LongBoX facilitates the development of more effective long-sequence techniques for the medical domain. Data and source code are available at https://github.com/Mihir3009/LongBoX.


title: The Physical Logic of Protein Machines

abstract: Proteins are intricate molecular machines whose complexity arises from the heterogeneity of the amino acid building blocks and their dynamic network of many-body interactions. These nanomachines gain function when put in the context of a whole organism through interaction with other inhabitants of the biological realm. And this functionality shapes their evolutionary histories through intertwined paths of selection and adaptation. Recent advances in machine learning have solved the decades-old problem of how protein sequence determines their structure. However, the ultimate question regarding the basic logic of protein machines remains open: How does the collective physics of proteins lead to their functionality? and how does a sequence encode the full range of dynamics and chemical interactions that facilitate function? Here, we explore these questions within a physical approach that treats proteins as mechano-chemical machines, which are adapted to function via concerted evolution of structure, motion, and chemical interactions.


title: A Knowledge Distillation Approach for Sepsis Outcome Prediction from Multivariate Clinical Time Series

abstract: Sepsis is a life-threatening condition triggered by an extreme infection response. Our objective is to forecast sepsis patient outcomes using their medical history and treatments, while learning interpretable state representations to assess patients' risks in developing various adverse outcomes. While neural networks excel in outcome prediction, their limited interpretability remains a key issue. In this work, we use knowledge distillation via constrained variational inference to distill the knowledge of a powerful "teacher" neural network model with high predictive power to train a "student" latent variable model to learn interpretable hidden state representations to achieve high predictive performance for sepsis outcome prediction. Using real-world data from the MIMIC-IV database, we trained an LSTM as the "teacher" model to predict mortality for sepsis patients, given information about their recent history of vital signs, lab values and treatments. For our student model, we use an autoregressive hidden Markov model (AR-HMM) to learn interpretable hidden states from patients' clinical time series, and use the posterior distribution of the learned state representations to predict various downstream outcomes, including hospital mortality, pulmonary edema, need for diuretics, dialysis, and mechanical ventilation. Our results show that our approach successfully incorporates the constraint to achieve high predictive power similar to the teacher model, while maintaining the generative performance.


title: Entangling gates on degenerate spin qubits dressed by a global field

abstract: Coherently dressed spins have shown promising results as building blocks for future quantum computers owing to their resilience to environmental noise and their compatibility with global control fields. This mode of operation allows for more amenable qubit architecture requirements and simplifies signal routing on the chip. However, multi-qubit operations, such as qubit addressability and two-qubit gates, are yet to be demonstrated to establish global control in combination with dressed qubits as a viable path to universal quantum computing. Here we demonstrate simultaneous on-resonance driving of degenerate qubits using a global field while retaining addressability for qubits with equal Larmor frequencies. Furthermore, we implement SWAP oscillations during on-resonance driving, constituting the demonstration of driven two-qubit gates. Significantly, our findings highlight the fragility of entangling gates between superposition states and how dressing can increase the noise robustness. These results represent a crucial milestone towards global control operation with dressed qubits. It also opens a door to interesting spin physics on degenerate spins.


title: Demonstrating the Q-Pix front-end using discrete OpAmp and CMOS transistors

abstract: Using Commercial Off-The-Shelf (COTS) Operational Amplifiers (OpAmps) and Complementary Metal-Oxide Semiconductor (CMOS) transistors, we present a demonstration of the Q-Pix front-end architecture, a novel readout solution for kiloton-scale Liquid Argon Time Projection Chamber (LArTPC) detectors. The Q-Pix scheme employs a Charge-Integrate/Reset process based on the Least Action principle, enabling pixel-scale self-triggering charge collection and processing, minimizing energy consumption, and maximizing data compression. We examine the architecture's sensitivity, linearity, noise, and other features at the circuit board level and draw comparisons to SPICE simulations. Furthermore, we highlight the resemblance between the Q-Pix front-end and Sigma-Delta modulator, emphasizing that digital data processing techniques for Sigma-Delta can be directly applied to Q-Pix, resulting in enhanced signal-to-noise performance. These insights will inform the development of Q-Pix front-end designs in integrated circuits (IC) and guide data collection and processing for future large-scale LArTPC detectors in neutrino physics and other high-energy physics experiments.


title: Strings from the Library of Babel: Random Sampling as a Strong Baseline for Prompt Optimisation

abstract: Recent prompt optimisation approaches use the generative nature of language models to produce prompts -- even rivaling the performance of human-curated prompts. In this paper, we demonstrate that randomly sampling tokens from the model vocabulary as ``separators'' can be as effective as language models for prompt-style text classification. Our experiments show that random separators are competitive baselines, having less than a 1% difference compared to previous self-optimisation methods and showing a 12% average relative improvement over strong human baselines across nine text classification tasks and eight language models. We further analyse this phenomenon in detail using three different random generation strategies, establishing that the language space is rich with potentially good separators, with a greater than 40% average chance that a randomly drawn separator performs better than human-curated separators. These observations challenge the common assumption that an effective prompt should be human readable or task relevant and establish a strong baseline for prompt optimisation research.


title: NV with nitrogen

abstract: The paper highlights the difference the properties the nitrogen vacancy centre in bulk diamond containing nitrogen compared to the properties of single centres. Charge transfer between the negative and neutral charge state can occur with a tunnelling of an electron from an adjacent nitrogen atom without involving conduction or valence electrons. This contrasts with charge transfer of single sites. There are other differences for example with the intersystem crossing.


title: 3D Paintbrush: Local Stylization of 3D Shapes with Cascaded Score Distillation

abstract: In this work we develop 3D Paintbrush, a technique for automatically texturing local semantic regions on meshes via text descriptions. Our method is designed to operate directly on meshes, producing texture maps which seamlessly integrate into standard graphics pipelines. We opt to simultaneously produce a localization map (to specify the edit region) and a texture map which conforms to it. This synergistic approach improves the quality of both the localization and the stylization. To enhance the details and resolution of the textured area, we leverage multiple stages of a cascaded diffusion model to supervise our local editing technique with generative priors learned from images at different resolutions. Our technique, referred to as Cascaded Score Distillation (CSD), simultaneously distills scores at multiple resolutions in a cascaded fashion, enabling control over both the granularity and global understanding of the supervision. We demonstrate the effectiveness of 3D Paintbrush to locally texture a variety of shapes within different semantic regions. Project page: https://threedle.github.io/3d-paintbrush


title: A Meta Logarithmic-Sobolev Inequality for Phase-Covariant Gaussian Channels

abstract: We introduce a meta logarithmic-Sobolev (log-Sobolev) inequality for the Lindbladian of all single-mode phase-covariant Gaussian channels of bosonic quantum systems, and prove that this inequality is saturated by thermal states. We show that our inequality provides a general framework to derive information theoretic results regarding phase-covariant Gaussian channels. Specifically, by using the optimality of thermal states, we explicitly compute the optimal constant $\alpha_p$, for $1\leq p\leq 2$, of the $p$-log-Sobolev inequality associated to the quantum Ornstein-Uhlenbeck semigroup. These constants were previously known for $p=1$ only. Our meta log-Sobolev inequality also enables us to provide an alternative proof for the constrained minimum output entropy conjecture in the single-mode case. Specifically, we show that for any single-mode phase-covariant Gaussian channel $\Phi$, the minimum of the von Neumann entropy $S\big(\Phi(\rho)\big)$ over all single-mode states $\rho$ with a given lower bound on $S(\rho)$, is achieved at a thermal state.


title: On origin of active/inactive branches on moderate rotating solar analogs

abstract: The fast rotating solar analogs show a decrease of the dynamo period with an increase of the rotation rate for the moderate stellar rotation periods in the range between 10 and 25 days. Simultaneously, observations indicate two branches: the "in-active" branch stars shows short dynamo cycles and the active branch stars show the relatively long magnetic cycles. We suggest that this phenomenon can be produced by effect of the doubling frequency of the dynamo waves, which is due to excitation of the second harmonic. It is generated because of the nonlinear $B^{2}$ effects in the large-scale dynamo.


title: LymphoML: An interpretable artificial intelligence-based method identifies morphologic features that correlate with lymphoma subtype

abstract: The accurate classification of lymphoma subtypes using hematoxylin and eosin (H&E)-stained tissue is complicated by the wide range of morphological features these cancers can exhibit. We present LymphoML - an interpretable machine learning method that identifies morphologic features that correlate with lymphoma subtypes. Our method applies steps to process H&E-stained tissue microarray cores, segment nuclei and cells, compute features encompassing morphology, texture, and architecture, and train gradient-boosted models to make diagnostic predictions. LymphoML's interpretable models, developed on a limited volume of H&E-stained tissue, achieve non-inferior diagnostic accuracy to pathologists using whole-slide images and outperform black box deep-learning on a dataset of 670 cases from Guatemala spanning 8 lymphoma subtypes. Using SHapley Additive exPlanation (SHAP) analysis, we assess the impact of each feature on model prediction and find that nuclear shape features are most discriminative for DLBCL (F1-score: 78.7%) and classical Hodgkin lymphoma (F1-score: 74.5%). Finally, we provide the first demonstration that a model combining features from H&E-stained tissue with features from a standardized panel of 6 immunostains results in a similar diagnostic accuracy (85.3%) to a 46-stain panel (86.1%).


title: Exact solution of Boltzmann equation in a longitudinal expanding system

abstract: Analytical solutions to the microscopic Boltzmann equation are useful in testing the applicability and accuracy of macroscopic hydrodynamic theory. In this work, we present exact solutions of the relativistic Boltzmann equation, based on a new family of exact solutions of the relativistic ideal hydrodynamic equations [Phys. Rev. C 105, L021902].. To the best of our knowledge, this is the first exact solution that allows longitudinal expansion with broken boost invariance.


title: Work State-Centric AI Agents: Design, Implementation, and Management of Cognitive Work Threads

abstract: AI agents excel in executing predefined tasks, but the dynamic management of work state information during task execution remains an underexplored area. We propose a work state-centric AI agent model employing "work notes" to record and reflect the state throughout task execution. This paper details the model's architecture, featuring worker threads for task oversight, planner modules for task decomposition and planning, and executor modules for performing subtasks using a ReAct-inspired thought-action loop. We provide an exhaustive work state record incorporating plans and outcomes, constituting a comprehensive work journal. Our results show that this model not only improves task execution efficiency but also lays a solid foundation for subsequent task analysis and auditing.


title: Group-Aware Interest Disentangled Dual-Training for Personalized Recommendation

abstract: Personalized recommender systems aim to predict users' preferences for items. It has become an indispensable part of online services. Online social platforms enable users to form groups based on their common interests. The users' group participation on social platforms reveals their interests and can be utilized as side information to mitigate the data sparsity and cold-start problem in recommender systems. Users join different groups out of different interests. In this paper, we generate group representation from the user's interests and propose IGRec (Interest-based Group enhanced Recommendation) to utilize the group information accurately. It consists of four modules. (1) Interest disentangler via self-gating that disentangles users' interests from their initial embedding representation. (2) Interest aggregator that generates the interest-based group representation by Gumbel-Softmax aggregation on the group members' interests. (3) Interest-based group aggregation that fuses user's representation with the participated group representation. (4) A dual-trained rating prediction module to utilize both user-item and group-item interactions. We conduct extensive experiments on three publicly available datasets. Results show IGRec can effectively alleviate the data sparsity problem and enhance the recommender system with interest-based group representation. Experiments on the group recommendation task further show the informativeness of interest-based group representation.


title: Tied-Lora: Enhancing parameter efficiency of LoRA with weight tying

abstract: We introduce Tied-LoRA, a novel paradigm leveraging weight tying and selective training to enhance the parameter efficiency of Low-rank Adaptation (LoRA). Our exploration encompasses different plausible combinations of parameter training and freezing, coupled with weight tying, aimed at identifying the optimal trade-off between performance and the count of trainable parameters. Across $5$ diverse tasks and two foundational language models with different parameter counts, our experiments provide comprehensive insights into the inherent trade-offs between efficiency and performance. Our findings reveal a specific Tied-LoRA configuration that distinguishes itself by showcasing comparable performance to LoRA across multiple tasks while utilizing only a fraction of the parameters employed by the standard LoRA method, particularly at elevated ranks. This underscores the efficacy of Tied-LoRA in achieving impressive results with significantly reduced model complexity.


title: Crafting In-context Examples according to LMs' Parametric Knowledge

abstract: In-context learning can improve the performances of knowledge-rich tasks such as question answering. In such scenarios, in-context examples trigger a language model (LM) to surface information stored in its parametric knowledge. We study how to better construct in-context example sets, based on whether the model is aware of the in-context examples. We identify 'known' examples, where models can correctly answer from their parametric knowledge, and 'unknown' ones. Our experiments show that prompting with 'unknown' examples decreases the performance, potentially as it encourages hallucination rather than searching for its parametric knowledge. Constructing an in-context example set that presents both known and unknown information performs the best across diverse settings. We perform analysis on three multi-answer question answering datasets, which allows us to further study answer set ordering strategies based on the LM's knowledge of each answer. Together, our study sheds light on how to best construct in-context example sets for knowledge-rich tasks.


title: MMOE: Mixture of Multimodal Interaction Experts

abstract: Multimodal machine learning, which studies the information and interactions across various input modalities, has made significant advancements in understanding the relationship between images and descriptive text. However, this is just a portion of the potential multimodal interactions seen in the real world and does not include new interactions between conflicting utterances and gestures in predicting sarcasm, for example. Notably, the current methods for capturing shared information often do not extend well to these more nuanced interactions, sometimes performing as low as 50% in binary classification. In this paper, we address this problem via a new approach called MMOE, which stands for a mixture of multimodal interaction experts. Our method automatically classifies data points from unlabeled multimodal datasets by their interaction type and employs specialized models for each specific interaction. Based on our experiments, this approach improves performance on these challenging interactions by more than 10%, leading to an overall increase of 2% for tasks like sarcasm prediction. As a result, interaction quantification provides new insights for dataset analysis and yields simple approaches that obtain state-of-the-art performance.


title: DocLens: Multi-aspect Fine-grained Evaluation for Medical Text Generation

abstract: Medical text generation aims to assist with administrative work and highlight salient information to support decision-making. To reflect the specific requirements of medical text, in this paper, we propose a set of metrics to evaluate the completeness, conciseness, and attribution of the generated text at a fine-grained level. The metrics can be computed by various types of evaluators including instruction-following (both proprietary and open-source) and supervised entailment models. We demonstrate the effectiveness of the resulting framework, DocLens, with three evaluators on three tasks: clinical note generation, radiology report summarization, and patient question summarization. A comprehensive human study shows that DocLens exhibits substantially higher agreement with the judgments of medical experts than existing metrics. The results also highlight the need to improve open-source evaluators and suggest potential directions.


title: Quantum Conformal Gravity

abstract: We present the manifestly covariant canonical operator formalism of a Weyl invariant (or equivalently, a locally scale invariant) gravity whose classical action consists of the well-known conformal gravity and Weyl invariant scalar-tensor gravity, on the basis of the Becchi-Rouet-Stora-Tyupin (BRST) formalism. It is shown that there exists a Poincar${\rm{\acute{e}}}$-like $\mathit{IOSp}(8|8)$ global symmetry as in Einstein's general relativity, which should be contrasted to the case of only the Weyl invariant scalar-tensor gravity where we have a more extended Poincar${\rm{\acute{e}}}$-like $\mathit{IOSp}(10|10)$ global symmetry. This reduction of the global symmetry is attributed to the presence of the St\"{u}ckelberg symmetry.


title: Light-induced ideal Weyl semimetal in HgTe via nonlinear phononics

abstract: Interactions between light and matter allow the realization of out-of-equilibrium states in quantum solids. In particular, nonlinear phononics is one of the efficient approaches to realizing the stationary electronic state in non-equilibrium. Herein, by using extended $ab~initio$ molecular dynamics, we identify that long-lived light-driven quasi-stationary geometry could stabilize the topological nature in the material family of HgTe compounds. We show that coherent excitation of the infrared-active phonon mode results in a distortion of the atomic geometry with a lifetime of several picoseconds. We show that four Weyl points are located exactly at the Fermi level in this non-equilibrium geometry, making it an ideal long-lived metastable Weyl semimetal. We propose that such a metastable topological phase can be identified by photoelectron spectroscopy of the Fermi arc surface states or ultrafast pump-probe transport measurements of the nonlinear Hall effect.


title: A Dichotomy Hierarchy Characterizing Linear Time Subgraph Counting in Bounded Degeneracy Graphs

abstract: Subgraph and homomorphism counting are fundamental algorithmic problems. Given a constant-sized pattern graph $H$ and a large input graph $G$, we wish to count the number of $H$-homomorphisms/subgraphs in $G$. Given the massive sizes of real-world graphs and the practical importance of counting problems, we focus on when (near) linear time algorithms are possible. The seminal work of Chiba-Nishizeki (SICOMP 1985) shows that for bounded degeneracy graphs $G$, clique and $4$-cycle counting can be done linear time. Recent works (Bera et al, SODA 2021, JACM 2022) show a dichotomy theorem characterizing the patterns $H$ for which $H$-homomorphism counting is possible in linear time, for bounded degeneracy inputs $G$. At the other end, Ne\v{s}et\v{r}il and Ossona de Mendez used their deep theory of "sparsity" to define bounded expansion graphs. They prove that, for all $H$, $H$-homomorphism counting can be done in linear time for bounded expansion inputs. What lies between? For a specific $H$, can we characterize input classes where $H$-homomorphism counting is possible in linear time? We discover a hierarchy of dichotomy theorems that precisely answer the above questions. We show the existence of an infinite sequence of graph classes $\mathcal{G}_0$ $\supseteq$ $\mathcal{G}_1$ $\supseteq$ ... $\supseteq$ $\mathcal{G}_\infty$ where $\mathcal{G}_0$ is the class of bounded degeneracy graphs, and $\mathcal{G}_\infty$ is the class of bounded expansion graphs. Fix any constant sized pattern graph $H$. Let $LICL(H)$ denote the length of the longest induced cycle in $H$. We prove the following. If $LICL(H) < 3(r+2)$, then $H$-homomorphisms can be counted in linear time for inputs in $\mathcal{G}_r$. If $LICL(H) \geq 3(r+2)$, then $H$-homomorphism counting on inputs from $\mathcal{G}_r$ takes $\Omega(m^{1+\gamma})$ time. We prove similar dichotomy theorems for subgraph counting.


title: LifeTox: Unveiling Implicit Toxicity in Life Advice

abstract: As large language models become increasingly integrated into daily life, detecting implicit toxicity across diverse contexts is crucial. To this end, we introduce LifeTox, a dataset designed for identifying implicit toxicity within a broad range of advice-seeking scenarios. Unlike existing safety datasets, LifeTox comprises diverse contexts derived from personal experiences through open-ended questions. Experiments demonstrate that RoBERTa fine-tuned on LifeTox matches or surpasses the zero-shot performance of large language models in toxicity classification tasks. These results underscore the efficacy of LifeTox in addressing the complex challenges inherent in implicit toxicity. We open-sourced the dataset\footnote{\url{https://huggingface.co/datasets/mbkim/LifeTox}} and the LifeTox moderator family; 350M, 7B, and 13B.


title: Geometry and quasi-classical quantization of magnetic monopoles

abstract: We present the basic physical and mathematical ideas (P. Curie, Darboux, Poincare, Dirac) that led to the concept of magnetic charge, the general construction of magnetic Laplacians for magnetic monopoles on Riemannian manifolds, and the results of Yu.A. Kordyukov and the author on the quasi-classical approximation for the eigensections of these operators.


title: A general approach to backaction-evading receivers with magnetomechanical and electromechanical sensors

abstract: Today's mechanical sensors are capable of detecting extremely weak perturbations while operating near the standard quantum limit. However, further improvements can be made in both sensitivity and bandwidth when we reduce the noise originating from the process of measurement itself -- the quantum-mechanical backaction of measurement -- and go below this 'standard' limit, possibly approaching the Heisenberg limit. One of the ways to eliminate this noise is by measuring a quantum nondemolition variable such as the momentum in a free-particle system. Here, we propose and characterize theoretical models for direct velocity measurement that utilize traditional electric and magnetic transducer designs to generate a signal while enabling this backaction evasion. We consider the general readout of this signal via electric or magnetic field sensing by creating toy models analogous to the standard optomechanical position-sensing problem, thereby facilitating the assessment of measurement-added noise. Using simple models that characterize a wide range of transducers, we find that the choice of readout scheme -- voltage or current -- for each mechanical detector configuration implies access to either the position or velocity of the mechanical sub-system. This in turn suggests a path forward for key fundamental physics experiments such as the direct detection of dark matter particles.


title: Orientation-dependent superconductivity and electronic structure of the rare-earth metal/KTaO3 interfaces

abstract: The recent discovery of orientation-dependent superconductivity in KTaO3-based interfaces has attracted considerable interest, while the underlying origin remains an open question. Here we report a different approach to tune the interfacial electron gas and superconductivity by forming interfaces between rare-earth (RE) metals (RE being La, Ce, Eu) and KTaO3 substrates with different orientations. We found that the interfacial superconductivity is strongest for the Eu/KTaO3 interfaces, becomes weaker in La/KTaO3 and is absent in Ce/KTaO3. Using in-situ photoemission, we observed distinct valence bands associated with RE metals, as well as a pronounced orientation dependence in the interfacial electronic structure, which can be linked to the orientation-dependent superconductivity. The photoemission spectra show similar double-peak structures for the (111) and (110) oriented interfaces, with an energy separation close to the LO4 phonon of KTaO3. Detailed analyses suggest that this double-peak structure could be attributed to electron-phonon coupling, which might be important for the interfacial superconductivity.


title: Mortal Computation: A Foundation for Biomimetic Intelligence

abstract: This review motivates and synthesizes research efforts in neuroscience-inspired artificial intelligence and biomimetic computing in terms of mortal computation. Specifically, we characterize the notion of mortality by recasting ideas in biophysics, cybernetics, and cognitive science in terms of a theoretical foundation for sentient behavior. We frame the mortal computation thesis through the Markov blanket formalism and the circular causality entailed by inference, learning, and selection. The ensuing framework -- underwritten by the free energy principle -- could prove useful for guiding the construction of unconventional connectionist computational systems, neuromorphic intelligence, and chimeric agents, including sentient organoids, which stand to revolutionize the long-term future of embodied, enactive artificial intelligence and cognition research.


title: MARformer: An Efficient Metal Artifact Reduction Transformer for Dental CBCT Images

abstract: Cone Beam Computed Tomography (CBCT) plays a key role in dental diagnosis and surgery. However, the metal teeth implants could bring annoying metal artifacts during the CBCT imaging process, interfering diagnosis and downstream processing such as tooth segmentation. In this paper, we develop an efficient Transformer to perform metal artifacts reduction (MAR) from dental CBCT images. The proposed MAR Transformer (MARformer) reduces computation complexity in the multihead self-attention by a new Dimension-Reduced Self-Attention (DRSA) module, based on that the CBCT images have globally similar structure. A Patch-wise Perceptive Feed Forward Network (P2FFN) is also proposed to perceive local image information for fine-grained restoration. Experimental results on CBCT images with synthetic and real-world metal artifacts show that our MARformer is efficient and outperforms previous MAR methods and two restoration Transformers.


title: Accelerating material discovery with a threshold-driven hybrid acquisition policy-based Bayesian optimization

abstract: Advancements in materials play a crucial role in technological progress. However, the process of discovering and developing materials with desired properties is often impeded by substantial experimental costs, extensive resource utilization, and lengthy development periods. To address these challenges, modern approaches often employ machine learning (ML) techniques such as Bayesian Optimization (BO), which streamline the search for optimal materials by iteratively selecting experiments that are most likely to yield beneficial results. However, traditional BO methods, while beneficial, often struggle with balancing the trade-off between exploration and exploitation, leading to sub-optimal performance in material discovery processes. This paper introduces a novel Threshold-Driven UCB-EI Bayesian Optimization (TDUE-BO) method, which dynamically integrates the strengths of Upper Confidence Bound (UCB) and Expected Improvement (EI) acquisition functions to optimize the material discovery process. Unlike the classical BO, our method focuses on efficiently navigating the high-dimensional material design space (MDS). TDUE-BO begins with an exploration-focused UCB approach, ensuring a comprehensive initial sweep of the MDS. As the model gains confidence, indicated by reduced uncertainty, it transitions to the more exploitative EI method, focusing on promising areas identified earlier. The UCB-to-EI switching policy dictated guided through continuous monitoring of the model uncertainty during each step of sequential sampling results in navigating through the MDS more efficiently while ensuring rapid convergence. The effectiveness of TDUE-BO is demonstrated through its application on three different material datasets, showing significantly better approximation and optimization performance over the EI and UCB-based BO methods in terms of the RMSE scores and convergence efficiency, respectively.


title: Scalable and Adaptively Secure Any-Trust Distributed Key Generation and All-hands Checkpointing

abstract: The classical distributed key generation protocols (DKG) are resurging due to their widespread applications in blockchain. While efforts have been made to improve DKG communication, practical large-scale deployments are still yet to come due to various challenges, including the heavy computation and communication (particularly broadcast) overhead in their adversarial cases. In this paper, we propose a practical DKG for DLog-based cryptosystems, which achieves (quasi-)linear computation and communication per-node cost with the help of a common coin, even in the face of the maximal amount of Byzantine nodes. Moreover, our protocol is secure against adaptive adversaries, which can corrupt less than half of all nodes. The key to our improvements lies in delegating the most costly operations to an Any-Trust group together with a set of techniques for adaptive security. This group is randomly sampled and consists of a small number of individuals. The population only trusts that at least one member in the group is honest, without knowing which one. Moreover, we present a generic transformer that enables us to efficiently deploy a conventional distributed protocol like our DKG, even when the participants have different weights. Additionally, we introduce an extended broadcast channel based on a blockchain and data dispersal network (such as IPFS), enabling reliable broadcasting of arbitrary-size messages at the cost of constant-size blockchain storage.


title: Multi-Step Dialogue Workflow Action Prediction

abstract: In task-oriented dialogue, a system often needs to follow a sequence of actions, called a workflow, that complies with a set of guidelines in order to complete a task. In this paper, we propose the novel problem of multi-step workflow action prediction, in which the system predicts multiple future workflow actions. Accurate prediction of multiple steps allows for multi-turn automation, which can free up time to focus on more complex tasks. We propose three modeling approaches that are simple to implement yet lead to more action automation: 1) fine-tuning on a training dataset, 2) few-shot in-context learning leveraging retrieval and large language model prompting, and 3) zero-shot graph traversal, which aggregates historical action sequences into a graph for prediction. We show that multi-step action prediction produces features that improve accuracy on downstream dialogue tasks like predicting task success, and can increase automation of steps by 20% without requiring as much feedback from a human overseeing the system.


title: Canonical triangulations of Dehn fillings of the Borromean rings link complement

abstract: The set of canonical decompositions of a cusped hyperbolic 3-manifold is a complete topological invariant. However, there are only a handful of infinite families for which canonical decompositions are known. In this paper, we find canonical triangulations for Dehn fillings of the Borromean rings link complement and two related manifolds obtained by half-twists. The underlying triangulations were shown to be geometric by Ham and Purcell. To obtain canonical triangulations, we show a local convexity result at every face of the geometric triangulation.


title: Logarithmic corrections for near-extremal black holes

abstract: We present the computation of logarithmic corrections to near-extremal black hole entropy from one-loop Euclidean gravity path integral around the near-horizon geometry. We extract these corrections employing a suitably modified heat kernel method, where the near-extremal near-horizon geometry is treated as a perturbation around the extremal near-horizon geometry. Using this method we compute the logarithmic corrections to non-rotating solutions in four dimensional Einstein-Maxwell and $\mathcal{N} = 2,4,8$ supergravity theories. We also discuss the limit that suitably recovers the extremal black hole results.


title: Generating Drug Repurposing Hypotheses through the Combination of Disease-Specific Hypergraphs

abstract: The drug development pipeline for a new compound can last 10-20 years and cost over 10 billion. Drug repurposing offers a more time- and cost-effective alternative. Computational approaches based on biomedical knowledge graph representations have recently yielded new drug repurposing hypotheses. In this study, we present a novel, disease-specific hypergraph representation learning technique to derive contextual embeddings of biological pathways of various lengths but that all start at any given drug and all end at the disease of interest. Further, we extend this method to multi-disease hypergraphs. To determine the repurposing potential of each of the 1,522 drugs, we derive drug-specific distributions of cosine similarity values and ultimately consider the median for ranking. Cosine similarity values are computed between (1) all biological pathways starting at the considered drug and ending at the disease of interest and (2) all biological pathways starting at drugs currently prescribed against that disease and ending at the disease of interest. We illustrate our approach with Alzheimer's disease (AD) and two of its risk factors: hypertension (HTN) and type 2 diabetes (T2D). We compare each drug's rank across four hypergraph settings (single- or multi-disease): AD only, AD + HTN, AD + T2D, and AD + HTN + T2D. Notably, our framework led to the identification of two promising drugs whose repurposing potential was significantly higher in hypergraphs combining two diseases: dapagliflozin (antidiabetic; moved up, from top 32$\%$ to top 7$\%$, across all considered drugs) and debrisoquine (antihypertensive; moved up, from top 76$\%$ to top 23$\%$). Our approach serves as a hypothesis generation tool, to be paired with a validation pipeline relying on laboratory experiments and semi-automated parsing of the biomedical literature.


title: Evolution Operator Can Always be Separated into the Product of Holonomy and Dynamic Operators

abstract: The geometric phase is a fundamental quantity characterizing the holonomic feature of quantum systems. It is well known that the evolution operator of a quantum system undergoing a cyclic evolution can be simply written as the product of holonomic and dynamical components for the three special cases concerning the Berry phase, adiabatic non-Abelian geometric phase, and nonadiabatic Abelian geometric phase. However, for the most general case concerning the nonadiabatic non-Abelian geometric phase, how to separate the evolution operator into holonomic and dynamical components is a long-standing open problem. In this work, we solve this open problem. We show that the evolution operator of a quantum system can always be separated into the product of holonomy and dynamic operators. Based on it, we further derive a matrix representation of this separation formula for cyclic evolution, and give a necessary and sufficient condition for a general evolution being purely holonomic. Our finding is not only of theoretical interest itself, but also of vital importance for the application of quantum holonomy. It unifies the representations of all four types of evolution concerning the adiabatic/nonadiabatic Abelian/non-Abelian geometric phase, and provides a general approach to realizing purely holonomic evolution.


title: Waring Problem For Triangular Matrix Algebra

abstract: The Matrix Waring problem is if we can write every matrix as a sum of $k$-th powers. Here, we look at the same problem for triangular matrix algebra $T_n(\mathbb{F}_q)$ consisting of upper triangular matrices over a finite field. We prove that for all integers $k, n \geq 1$, there exists a constant $\mathcal C(k, n)$, such that for all $q> \mathcal C(k,n)$, every matrix in $T_n(\mathbb{F}_q)$ is a sum of three $k$-th powers. Moreover, if $-1$ is $k$-th power in $\mathbb{F}_q$, then for all $q>\mathcal C(k,n)$, every matrix in $T_n(\mathbb{F}_q)$ is a sum of two $k$-th powers. We make use of Lang-Weil estimates about the number of solutions of equations over finite fields to achieve the desired results.


title: Gradual Source Domain Expansion for Unsupervised Domain Adaptation

abstract: Unsupervised domain adaptation (UDA) tries to overcome the need for a large labeled dataset by transferring knowledge from a source dataset, with lots of labeled data, to a target dataset, that has no labeled data. Since there are no labels in the target domain, early misalignment might propagate into the later stages and lead to an error build-up. In order to overcome this problem, we propose a gradual source domain expansion (GSDE) algorithm. GSDE trains the UDA task several times from scratch, each time reinitializing the network weights, but each time expands the source dataset with target data. In particular, the highest-scoring target data of the previous run are employed as pseudo-source samples with their respective pseudo-label. Using this strategy, the pseudo-source samples induce knowledge extracted from the previous run directly from the start of the new training. This helps align the two domains better, especially in the early training epochs. In this study, we first introduce a strong baseline network and apply our GSDE strategy to it. We conduct experiments and ablation studies on three benchmarks (Office-31, OfficeHome, and DomainNet) and outperform state-of-the-art methods. We further show that the proposed GSDE strategy can improve the accuracy of a variety of different state-of-the-art UDA approaches.


title: Homology and twisted C*-algebras for self-similar actions and Zappa-Sz\'ep products

abstract: We study the categorical homology of Zappa-Sz\'ep products of small categories, which include all self-similar actions. We prove that the categorical homology coincides with the homology of a double complex, and so can be computed via a spectral sequence involving homology groups of the constituent categories. We give explicit formulae for the isomorphisms involved, and compute the homology of a class of examples that generalise odometers. We define the C*-algebras of self-similar groupoid actions on k-graphs twisted by 2-cocycles arising from this homology theory, and prove some fundamental results about their structure.


title: Code Models are Zero-shot Precondition Reasoners

abstract: One of the fundamental skills required for an agent acting in an environment to complete tasks is the ability to understand what actions are plausible at any given point. This work explores a novel use of code representations to reason about action preconditions for sequential decision making tasks. Code representations offer the flexibility to model procedural activities and associated constraints as well as the ability to execute and verify constraint satisfaction. Leveraging code representations, we extract action preconditions from demonstration trajectories in a zero-shot manner using pre-trained code models. Given these extracted preconditions, we propose a precondition-aware action sampling strategy that ensures actions predicted by a policy are consistent with preconditions. We demonstrate that the proposed approach enhances the performance of few-shot policy learning approaches across task-oriented dialog and embodied textworld benchmarks.


title: Language Models (Mostly) Do Not Consider Emotion Triggers When Predicting Emotion

abstract: Situations and events evoke emotions in humans, but to what extent do they inform the prediction of emotion detection models? This work investigates how well human-annotated emotion triggers correlate with features that models deemed salient in their prediction of emotions. First, we introduce a novel dataset EmoTrigger, consisting of 900 social media posts sourced from three different datasets; these were annotated by experts for emotion triggers with high agreement. Using EmoTrigger, we evaluate the ability of large language models (LLMs) to identify emotion triggers, and conduct a comparative analysis of the features considered important for these tasks between LLMs and fine-tuned models. Our analysis reveals that emotion triggers are largely not considered salient features for emotion prediction models, instead there is intricate interplay between various features and the task of emotion detection.


title: Self-Contradictory Reasoning Evaluation and Detection

abstract: In a plethora of recent work, large language models (LLMs) demonstrated impressive reasoning ability, but many proposed downstream reasoning tasks focus on performance-wise evaluation. Two fundamental questions persist: 1) how reliable is the quality of reasoning, and 2) can models detect unreliable reasoning? In this paper, we investigate self-contradictory (Self-Contra) reasoning, where the model reasoning does not support predictions. To address 1), we assess the Self-Contra rate across four datasets and delve into finer-grained categories of Self-Contra reasoning. We find that LLMs often contradict themselves when performing reasoning tasks that involve contextual information understanding or commonsense. Importantly, a higher accuracy does not necessarily correspond to a lower Self-Contra rate. The model may appear to generate correct answers but it may take shortcuts in reasoning or skip over contextual evidence, thereby displaying Self-Contra behaviors with compromised reasoning. As for 2), we task GPT-4 with identifying Self-Contra reasoning and finer-grained fallacies. We observe that GPT-4 struggles to effectively detect Self-Contra reasoning, with significantly low performance compared with human judgment. Our results indicate that the current LLMs lack robustness necessary for reliable reasoning and we emphasize the urgent need for establishing best practices in comprehensive reasoning evaluations beyond accuracy-based metrics.


title: Deterministic Quantum Field Trajectories and Macroscopic Effects

abstract: In this work the root to macroscopic quantum effects is revealed based on the quasiparticle model of collective excitations in an arbitrary degenerate electron gas. The $N$-electron quantum system is considered as $N$ streams coupled, through the Poisson's relation, which are localized in momentum space rather than electron localization in real space, assumed in ordinary many body theories. Using a new wavefunction representation, the $N+1$-coupled system is reduced to simple pseudoforce equations via quasiparticle (collective quantum) model leading to a generalized matter wave dispersion relation. It is shown that the resulting dual lengthscale de Broglie's matter wave theory predicts macroscopic quantum effects and deterministic field trajectories for charges moving in the electron gas due to the coupling of the electrostatic field to the local electron number density. It is remarked that any quantum many body system composed of large number of interacting particles acts as a dual arm device controlling the microscopic single particle effects with one hand and the macroscopic phenomena with the other. Current analysis can be further extended to include the magnetic potential and spin exchange effects. Present model can also be used to confirm macroscopic entanglement of charged particles embedded in a quantum electron fluid.


title: Measuring and Improving Attentiveness to Partial Inputs with Counterfactuals

abstract: The inevitable appearance of spurious correlations in training datasets hurts the generalization of NLP models on unseen data. Previous work has found that datasets with paired inputs are prone to correlations between a specific part of the input (e.g., the hypothesis in NLI) and the label; consequently, models trained only on those outperform chance. Are these correlations picked up by models trained on the full input data? To address this question, we propose a new evaluation method, Counterfactual Attentiveness Test (CAT). CAT uses counterfactuals by replacing part of the input with its counterpart from a different example (subject to some restrictions), expecting an attentive model to change its prediction. Using CAT, we systematically investigate established supervised and in-context learning models on ten datasets spanning four tasks: natural language inference, reading comprehension, paraphrase detection, and visual & language reasoning. CAT reveals that reliance on such correlations is mainly data-dependent. Surprisingly, we find that GPT3 becomes less attentive with an increased number of demonstrations, while its accuracy on the test data improves. Our results demonstrate that augmenting training or demonstration data with counterfactuals is effective in improving models' attentiveness. We show that models' attentiveness measured by CAT reveals different conclusions from solely measuring correlations in data.


title: GistScore: Learning Better Representations for In-Context Example Selection with Gist Bottlenecks

abstract: In-context Learning (ICL) is the ability of Large Language Models (LLMs) to perform new tasks when conditioned on prompts comprising a few task examples. However, ICL performance can be critically sensitive to the choice of examples. To dynamically select the best examples for every test input, we propose Example Gisting, a novel approach for training example encoders through supervised fine-tuning with an attention bottleneck between the inputs and outputs. These gist models form the basis for GistScore, a novel metric for scoring and selecting informative examples. Further, we experiment with two variations: (1) fine-tuning gist models for each dataset and (2) multi-task training a single model on a large collection of datasets. The latter can be used for new tasks out-of-the-box, enabling a training-free ICL pipeline. Evaluations with 21 datasets spanning 9 tasks and 8 diverse LLMs show that our fine-tuned models get state-of-the-art ICL performance with over 20% absolute gain over off-the-shelf retrievers and 5% over the best prior methods. Further, our multi-task model generalizes well to new tasks, datasets, and prompt templates. Selection using this model matches or outperforms prior methods while being three orders of magnitude faster than the strongest training-free baseline.


title: Multi-Task Learning Approach for Unified Biometric Estimation from Fetal Ultrasound Anomaly Scans

abstract: Precise estimation of fetal biometry parameters from ultrasound images is vital for evaluating fetal growth, monitoring health, and identifying potential complications reliably. However, the automated computerized segmentation of the fetal head, abdomen, and femur from ultrasound images, along with the subsequent measurement of fetal biometrics, remains challenging. In this work, we propose a multi-task learning approach to classify the region into head, abdomen and femur as well as estimate the associated parameters. We were able to achieve a mean absolute error (MAE) of 1.08 mm on head circumference, 1.44 mm on abdomen circumference and 1.10 mm on femur length with a classification accuracy of 99.91\% on a dataset of fetal Ultrasound images. To achieve this, we leverage a weighted joint classification and segmentation loss function to train a U-Net architecture with an added classification head. The code can be accessed through \href{https://github.com/BioMedIA-MBZUAI/Multi-Task-Learning-Approach-for-Unified-Biometric-Estimation-from-Fetal-Ultrasound-Anomaly-Scans.git}{\texttt{Github}


title: Deep Neural Helmholtz Operators for 3D Elastic Wave Propagation and Inversion

abstract: Numerical simulations of seismic wave propagation in heterogeneous 3D media are central to investigating subsurface structures and understanding earthquake processes, yet are computationally expensive for large problems. This is particularly problematic for full waveform inversion, which typically involves numerous runs of the forward process. In machine learning there has been considerable recent work in the area of operator learning, with a new class of models called neural operators allowing for data-driven solutions to partial differential equations. Recent works in seismology have shown that when neural operators are adequately trained, they can significantly shorten the compute time for wave propagation. However, the memory required for the 3D time domain equations may be prohibitive. In this study, we show that these limitations can be overcome by solving the wave equations in the frequency domain, also known as the Helmholtz equations, since the solutions for a set of frequencies can be determined in parallel. The 3D Helmholtz neural operator is 40 times more memory-efficient than an equivalent time-domain version. We employ a U-shaped neural operator for 2D and 3D elastic wave modeling, achieving two orders of magnitude acceleration compared to a baseline spectral element method. The neural operator accurately generalizes to variable velocity structures and can be evaluated on denser input meshes than used in the training simulations. We also show that when solving for wavefields strictly on the surface, the accuracy can be significantly improved via a graph neural operator layer. In leveraging automatic differentiation, the proposed method can serve as an alternative to the adjoint-state approach for 3D full-waveform inversion, reducing the computation time by a factor of 350.


title: Suppression of Antiferromagnetic Order by Strain in Honeycomb Cobaltate: Implication for Quantum Spin Liquid

abstract: Recently, layered honeycomb cobaltates have been predicted as a new promising system for realizing the Kitaev quantum spin liquid, a many-body quantum entangled ground state characterized by fractional excitations. However, these cobaltates, similar to other candidate materials, exhibit classical antiferromagnetic ordering at low temperatures, which impedes the formation of the expected quantum state. Here, we demonstrate that the control of the trigonal crystal field of Co ions is crucial to suppress classical antiferromagnetic ordering and to locate its ground state in closer vicinity to quantum spin liquid in layered honeycomb cobaltates. By utilizing heterostructure engineering on Cu3Co2SbO6 thin films, we adjust the trigonal distortion of CoO6 octahedra and the associated trigonal crystal field. The original N\'eel temperature of 16 K in bulk Cu3Co2SbO6 decreases (increases) to 7.8 K (22.7 K) in strained Cu3Co2SbO6 films by decreasing (increasing) the magnitude of the trigonal crystal fields. Our experimental finding substantiates the potential of layered honeycomb cobaltate heterostructures and strain engineering to accomplish the extremely elusive quantum phase of matter.


title: Extended edge modes and disorder preservation of a symmetry-protected topological phase out-of-equilibrium

abstract: The time evolution of topological systems is an active area of interest due to their expected applications in fault-tolerant quantum computing. Here, we analyze the dynamics of a non-interacting spinless fermion chain in its topological phase, quenched out-of-equilibrium by a Hamiltonian belonging to the same symmetry class. Due to particle-hole symmetry, the bulk properties of the system remain intact throughout its evolution. However, the boundary properties may be drastically altered, with the initially localized Majorana edge modes extending across the chain. Up to a timescale $t^*$, identified by area-law behavior of the entanglement entropy, these extended edge modes are an example of exotic effects in topological systems out-of-equilibrium. Further, whilst local disorder can be utilized to preserve localization and increase $t^*$, we still identify non-trivial dynamics in the Majorana polarization and Loschmidt echo.


title: DeltaLCA: Comparative Life-Cycle Assessment for Electronics Design

abstract: Reducing the environmental footprint of electronics and computing devices requires new tools that empower designers to make informed decisions about sustainability during the design process itself. This is not possible with current tools for life cycle assessment (LCA) which require substantial domain expertise and time to evaluate the numerous chips and other components that make up a device. We observe first that informed decision-making does not require absolute metrics and can instead be done by comparing designs. Second, we can use domain-specific heuristics to perform these comparisons. We combine these insights to develop DeltaLCA, an open-source interactive design tool that addresses the dual challenges of automating life cycle inventory generation and data availability by performing comparative analyses of electronics designs. Users can upload standard design files from Electronic Design Automation (EDA) software and the tool will guide them through determining which one has greater carbon footprint. DeltaLCA leverages electronics-specific LCA datasets and heuristics and tries to automatically rank the two designs, prompting users to provide additional information only when necessary. We show through case studies DeltaLCA achieves the same result as evaluating full LCAs, and that it accelerates LCA comparisons from eight expert-hours to a single click for devices with ~30 components, and 15 minutes for more complex devices with ~100 components.