title: Frequency-Based Reduced Models from Purely Time-Domain Data via Data Informativity

abstract: Frequency-based methods have been successfully employed in creating high fidelity data-driven reduced order models (DDROMs) for linear dynamical systems. These methods require access to values (and sometimes derivatives) of the frequency-response function (transfer function) in the complex plane. These frequency domain values can at times be costly or difficult to obtain (especially if the method of choice requires resampling); instead one may have access to only time-domain input-output data. The data informativity approach to moment matching provides a powerful new framework for recovering the required frequency data from a single time-domain trajectory. In this work, we analyze and extend upon this framework, resulting in vastly improved conditioning of the associated linear systems, an error indicator, and removal of an assumption that the system order is known. This analysis leads to a robust algorithm for recovering frequency information from time-domain data, suitable for large scale systems. We demonstrate the effectiveness of our algorithm by forming frequency based DDROMs from time-domain data of several dynamical systems.


title: Reinforcement Learning Generalization for Nonlinear Systems Through Dual-Scale Homogeneity Transformations

abstract: Reinforcement learning is an emerging approach to control dynamical systems for which classical approaches are difficult to apply. However, trained agents may not generalize against the variations of system parameters. This paper presents the concept of dual-scale homogeneity, an important property in understating the scaling behavior of nonlinear systems. Furthermore, it also presents an effective yet simple approach to designing a parameter-dependent control law that homogenizes a nonlinear system. The presented approach is applied to two systems, demonstrating its ability to provide a consistent performance irrespective of parameters variations. To demonstrate the practicality of the proposed approach, the control policy is generated by a deep deterministic policy gradient to control the load position of a quadrotor with a slung load. The proposed synergy between the homogeneity transformations and reinforcement learning yields superior performance compared to other recent learning-based control techniques. It achieves a success rate of 96% in bringing the load to its designated target with a 3D RMSE of 0.0253 m. The video that shows the experimental results along with a summary of the paper is available at this link.


title: Interpreting Pretrained Language Models via Concept Bottlenecks

abstract: Pretrained language models (PLMs) have made significant strides in various natural language processing tasks. However, the lack of interpretability due to their ``black-box'' nature poses challenges for responsible implementation. Although previous studies have attempted to improve interpretability by using, e.g., attention weights in self-attention layers, these weights often lack clarity, readability, and intuitiveness. In this research, we propose a novel approach to interpreting PLMs by employing high-level, meaningful concepts that are easily understandable for humans. For example, we learn the concept of ``Food'' and investigate how it influences the prediction of a model's sentiment towards a restaurant review. We introduce C$^3$M, which combines human-annotated and machine-generated concepts to extract hidden neurons designed to encapsulate semantically meaningful and task-specific concepts. Through empirical evaluations on real-world datasets, we manifest that our approach offers valuable insights to interpret PLM behavior, helps diagnose model failures, and enhances model robustness amidst noisy concept labels.


title: Beamforming Performances of Holographic Surfaces

abstract: In this paper, we investigate the beamforming performances of holographic surfaces implemented as lossless antenna arrays with less than half-wavelength spacing. We first develop a method to quantify the mutual coupling effect among the antennas in an array. The developed coupling model is general and applicable to arrays with arbitrary distribution of any type of antennas with arbitrary structure, physical size and radiation power pattern. In particular, it reduces to a neat analytical expression for arbitrarily deployed isotropic antenna arrays. We then discuss the beamforming design for holographic surfaces, and in particular provide analytical beamforming characterizations for arrays with two arbitrarily spaced isotropic antennas. Numerical results indicate that, by accounting for the mutual coupling effect between antennas, the array densification by packing more antennas in a given surface aperture can significantly enhance both the beamforming gain and spatial resolution of the system. The beamforming gain enhancement and beamwidth reduction can be several dBs higher than, and more than half of, those achieved by the conventional half-wavelength spaced antenna arrays in the same surface aperture. The gains of densification become saturated when the antenna spacing is below a critical value, and the saturated gain reduces as the surface aperture increases.


title: The SPARC Primary Reference Discharge defined by cfsPOPCON

abstract: The Primary Reference Discharge (PRD) is a design point maximizing the highest-achievable fusion power gain in a full-field (12.2T), full-current (8.7MA) DT-fueled H-mode on SPARC. The Primary Reference Discharge was defined in the SPARC Physics Basis using a precursor to the cfsPOPCON scoping tool. In this memo, we discuss modifications made to the cfsPOPCON scoping tool since the release of the SPARC Physics Basis and show that the key parameters of the PRD design point have not changed significantly.


title: Joint Sensing and Semantic Communications with Multi-Task Deep Learning

abstract: This paper explores the integration of deep learning techniques for joint sensing and communications, with an extension to semantic communications. The integrated system comprises a transmitter and receiver operating over a wireless channel, subject to noise and fading effects. The transmitter employs a deep neural network, namely an encoder, for joint operations of source coding, channel coding, and modulation, while the receiver utilizes another deep neural network, namely a decoder, for joint operations of demodulation, channel decoding, and source decoding to reconstruct the data samples. The transmitted signal serves a dual purpose, supporting communication with the receiver and enabling sensing. When a target is present, the reflected signal is received, and another deep neural network decoder is utilized for sensing. This decoder is responsible for detecting the target's presence and determining its range. All these deep neural networks, including one encoder and two decoders, undergo joint training through multi-task learning, considering data and channel characteristics. This paper extends to incorporate semantic communications by introducing an additional deep neural network, another decoder at the receiver, operating as a task classifier. This decoder evaluates the fidelity of label classification for received signals, enhancing the integration of semantics within the communication process. The study presents results based on using the CIFAR-10 as the input data and accounting for channel effects like Additive White Gaussian Noise (AWGN) and Rayleigh fading. The results underscore the effectiveness of multi-task deep learning in achieving high-fidelity joint sensing and semantic communications.


title: Towards Effective Paraphrasing for Information Disguise

abstract: Information Disguise (ID), a part of computational ethics in Natural Language Processing (NLP), is concerned with best practices of textual paraphrasing to prevent the non-consensual use of authors' posts on the Internet. Research on ID becomes important when authors' written online communication pertains to sensitive domains, e.g., mental health. Over time, researchers have utilized AI-based automated word spinners (e.g., SpinRewriter, WordAI) for paraphrasing content. However, these tools fail to satisfy the purpose of ID as their paraphrased content still leads to the source when queried on search engines. There is limited prior work on judging the effectiveness of paraphrasing methods for ID on search engines or their proxies, neural retriever (NeurIR) models. We propose a framework where, for a given sentence from an author's post, we perform iterative perturbation on the sentence in the direction of paraphrasing with an attempt to confuse the search mechanism of a NeurIR system when the sentence is queried on it. Our experiments involve the subreddit 'r/AmItheAsshole' as the source of public content and Dense Passage Retriever as a NeurIR system-based proxy for search engines. Our work introduces a novel method of phrase-importance rankings using perplexity scores and involves multi-level phrase substitutions via beam search. Our multi-phrase substitution scheme succeeds in disguising sentences 82% of the time and hence takes an essential step towards enabling researchers to disguise sensitive content effectively before making it public. We also release the code of our approach.


title: DEMASQ: Unmasking the ChatGPT Wordsmith

abstract: The potential misuse of ChatGPT and other Large Language Models (LLMs) has raised concerns regarding the dissemination of false information, plagiarism, academic dishonesty, and fraudulent activities. Consequently, distinguishing between AI-generated and human-generated content has emerged as an intriguing research topic. However, current text detection methods lack precision and are often restricted to specific tasks or domains, making them inadequate for identifying content generated by ChatGPT. In this paper, we propose an effective ChatGPT detector named DEMASQ, which accurately identifies ChatGPT-generated content. Our method addresses two critical factors: (i) the distinct biases in text composition observed in human- and machine-generated content and (ii) the alterations made by humans to evade previous detection methods. DEMASQ is an energy-based detection model that incorporates novel aspects, such as (i) optimization inspired by the Doppler effect to capture the interdependence between input text embeddings and output labels, and (ii) the use of explainable AI techniques to generate diverse perturbations. To evaluate our detector, we create a benchmark dataset comprising a mixture of prompts from both ChatGPT and humans, encompassing domains such as medical, open Q&A, finance, wiki, and Reddit. Our evaluation demonstrates that DEMASQ achieves high accuracy in identifying content generated by ChatGPT.


title: First Tragedy, then Parse: History Repeats Itself in the New Era of Large Language Models

abstract: Many NLP researchers are experiencing an existential crisis triggered by the astonishing success of ChatGPT and other systems based on large language models (LLMs). After such a disruptive change to our understanding of the field, what is left to do? Taking a historical lens, we look for guidance from the first era of LLMs, which began in 2005 with large $n$-gram models for machine translation (MT). We identify durable lessons from the first era, and more importantly, we identify evergreen problems where NLP researchers can continue to make meaningful contributions in areas where LLMs are ascendant. We argue that disparities in scale are transient and researchers can work to reduce them; that data, rather than hardware, is still a bottleneck for many applications; that meaningful realistic evaluation is still an open problem; and that there is still room for speculative approaches.


title: Leveraging a realistic synthetic database to learn Shape-from-Shading for estimating the colon depth in colonoscopy images

abstract: Colonoscopy is the choice procedure to diagnose colon and rectum cancer, from early detection of small precancerous lesions (polyps), to confirmation of malign masses. However, the high variability of the organ appearance and the complex shape of both the colon wall and structures of interest make this exploration difficult. Learned visuospatial and perceptual abilities mitigate technical limitations in clinical practice by proper estimation of the intestinal depth. This work introduces a novel methodology to estimate colon depth maps in single frames from monocular colonoscopy videos. The generated depth map is inferred from the shading variation of the colon wall with respect to the light source, as learned from a realistic synthetic database. Briefly, a classic convolutional neural network architecture is trained from scratch to estimate the depth map, improving sharp depth estimations in haustral folds and polyps by a custom loss function that minimizes the estimation error in edges and curvatures. The network was trained by a custom synthetic colonoscopy database herein constructed and released, composed of 248,400 frames (47 videos), with depth annotations at the level of pixels. This collection comprehends 5 subsets of videos with progressively higher levels of visual complexity. Evaluation of the depth estimation with the synthetic database reached a threshold accuracy of 95.65%, and a mean-RMSE of 0.451 cm, while a qualitative assessment with a real database showed consistent depth estimations, visually evaluated by the expert gastroenterologist coauthoring this paper. Finally, the method achieved competitive performance with respect to another state-of-the-art method using a public synthetic database and comparable results in a set of images with other five state-of-the-art methods.


title: The role of Debye temperature in achieving large adiabatic temperature changes at cryogenic temperatures: a case study on $Pr_2In$

abstract: The excellent magnetic entropy change ($\Delta S_T$) in the temperature range of 20 $\sim$ 77 K due to the first-order phase transition makes $Pr_2In$ an intriguing candidate for magnetocaloric hydrogen liquefaction. As an equally important magnetocaloric parameter, the adiabatic temperature change ($\Delta T_{ad}$) of $Pr_2In$ associated with the first-order phase transition has not yet been reported. In this work, the $\Delta T_{ad}$ of $Pr_2In$ is obtained from heat capacity measurements: 2 K in fields of 2 T and 4.3 K in fields of 5 T. While demonstrating a $\Delta T_{ad}$ that is not as impressive as its remarkable $\Delta S_T$, $Pr_2In$ exhibits an unusual low Debye temperature ($T_D$) of around 110 K. Based on these two observations, an approach that combines the mean-field and Debye models is developed to study the correlation between $\Delta T_{ad}$ and $T_D$. The role of $T_D$ in achieving large $\Delta T_{ad}$ is revealed: materials with higher $T_D$ tend to exhibit larger $\Delta T_{ad}$, particularly in the cryogenic temperature range. This discovery explains the absence of an outstanding $\Delta T_{ad}$ in $Pr_2In$ and can serve as a tool for designing or searching materials with both a large $\Delta S_T$ and a $\Delta T_{ad}$.


title: Origin of Symmetry Breaking in the Grasshopper Model

abstract: The planar grasshopper problem, originally introduced in (Goulko & Kent 2017 Proc. R. Soc. A 473, 20170494), is a striking example of a model with long-range isotropic interactions whose ground states break rotational symmetry. In this work we analyze and explain the nature of this symmetry breaking with emphasis on the importance of dimensionality. Interestingly, rotational symmetry is recovered in three dimensions for small jumps, which correspond to the non-isotropic cogwheel regime of the two-dimensional problem. We discuss simplified models that reproduce the symmetry properties of the original system in N dimensions. For the full grasshopper model in two dimensions we obtain quantitative predictions for optimal perturbations of the disk. Our analytical results are confirmed by numerical simulations.

categories: math-ph cond-mat.stat-mech math.MP quant-ph


title: Einstien-Multidimensional Extrapolation methods

abstract: In this paper, we present a new framework for the recent multidimensional extrapolation methods: Tensor Global Minimal Polynomial (TG-MPE) and Tensor Global Reduced Rank Extrapolation (TG-RRE) methods. We develop a new approach to the one presented in \cite{17}. The proposed framework highlights, in addition their polynomial feature, the connection of TG-MPE and TG-RRE with nonlinear Krylov subspace methods. A unified algorithm is proposed for their implemention. Theoretical results are given and some numerical experiments on linear and nonlinear problems are considered to confirm the performance of the proposed algorithms.


title: Unbiased Kinetic Langevin Monte Carlo with Inexact Gradients

abstract: We present an unbiased method for Bayesian posterior means based on kinetic Langevin dynamics that combines advanced splitting methods with enhanced gradient approximations. Our approach avoids Metropolis correction by coupling Markov chains at different discretization levels in a multilevel Monte Carlo approach. Theoretical analysis demonstrates that our proposed estimator is unbiased, attains finite variance, and satisfies a central limit theorem. It can achieve accuracy $\epsilon>0$ for estimating expectations of Lipschitz functions in $d$ dimensions with $\mathcal{O}(d^{1/4}\epsilon^{-2})$ expected gradient evaluations, without assuming warm start. We exhibit similar bounds using both approximate and stochastic gradients, and our method's computational cost is shown to scale independently of the size of the dataset. The proposed method is tested using a multinomial regression problem on the MNIST dataset and a Poisson regression model for soccer scores. Experiments indicate that the number of gradient evaluations per effective sample is independent of dimension, even when using inexact gradients. For product distributions, we give dimension-independent variance bounds. Our results demonstrate that the unbiased algorithm we present can be much more efficient than the ``gold-standard" randomized Hamiltonian Monte Carlo.


title: Simultaneously unveiling the EBL and intrinsic spectral parameters of gamma-ray sources with Hamiltonian Monte Carlo

abstract: The Extragalactic Background Light (EBL) is the main radiation field responsible for attenuating extragalactic gamma-ray emission at very high energies, but its precise spectral intensity is not fully determined. Therefore, disentangling propagation effects from the intrinsic spectral properties of gamma-ray sources (such as active galactic nuclei, AGN) is the primary challenge to interpreting observations of these objects. We present a Bayesian and Markov Chain Monte Carlo approach to simultaneously infer parameters characterizing the EBL and the intrinsic spectra in a combined fit of a set of sources, which has the advantage of easily incorporating the uncertainties of both sets of parameters into one another through marginalization of the posterior distribution. Taking a sample of synthetic blazars observed by the ideal CTA configuration, we study the effects on the EBL constraints of combining multiple observations and varying their exposure. We also apply the methodology to a set of 65 gamma-ray spectra of 36 different AGNs measured by current Imaging Atmospheric Cherenkov Telescopes, using Hamiltonian Monte Carlo as a solution to the difficult task of sampling in spaces with a high number of parameters. We find robust constraints in the mid-IR region while simultaneously obtaining intrinsic spectral parameters for all of these objects. In particular, we identify Markarian 501 (Mkn 501) flare data (HEGRA/1997) as essential for constraining the EBL above 30$\mu$m.


title: Undulatory swimming in viscoelastic fluids under confinement

abstract: Low Reynolds number swimmers frequently move near boundaries, such as spirochetes moving through porous tissues and sperm navigating the reproductive tract. Furthermore, these microorganisms must often navigate non-Newtonian fluids such as mucus, which are typically shear-thinning and viscoelastic. Here, we experimentally investigate such a system using the model biological organism \textit{C. elegans} swimming through microfluidic channels containing viscous Newtonian fluids and viscoelastic fluids. Swimmer kinematics and resulting flow fields are measured as a function of channel width and therefore the strength of confinement. Results show that, for viscoelastic fluids, weak or moderate confinement can lead to enhancement in propulsion speed but for strong confinement this enhancement is lost and the swimming speed is slower than for an unconfined nematode. We use theory developed for bending elastic filaments in viscoelastic fluids to show that while (weak) confinement leads to increases in swimming speed there is a, $De-$ dependent, $Wi$ (Weissenberg number) number transition from a linear stress response regime to a nonlinear (or exponential) stress response regime. The experimentally obtained velocity fields are used to calculate a Weissenberg number to show that the decrease in swimming speed with confinement is likely related to growth in elastic stresses around the swimmer.


title: The Impact of Changes to Daylight Illumination level on Architectural experience in Offices Based on VR and EEG

abstract: This study investigates the influence of varying illumination levels on architectural experiences by employing a comprehensive approach that combines self-reported assessments and neurophysiological measurements. Thirty participants were exposed to nine distinct illumination conditions in a controlled virtual reality environment. Subjective assessments, collected through questionnaires in which participants were asked to rate how pleasant, interesting, exciting, calming, complex, bright and spacious they found the space. Objective measurements of brain activity were collected by electroencephalogram (EEG). Data analysis demonstrated that illumination levels significantly influenced cognitive engagement and different architectural experience indicators. This alignment between subjective assessment and EEG data underscores the relationship between illuminance and architectural experiences. The study bridges the gap between quantitative and qualitative assessments, providing a deeper understanding of the intricate connection between lighting conditions and human responses. These findings contribute to the enhancement of environmental design based on neuroscientific insights, emphasizing the critical role of well-considered daylighting design in positively influencing occupants' cognitive and emotional states within built environments.


title: S$^3$AD: Semi-supervised Small Apple Detection in Orchard Environments

abstract: Crop detection is integral for precision agriculture applications such as automated yield estimation or fruit picking. However, crop detection, e.g., apple detection in orchard environments remains challenging due to a lack of large-scale datasets and the small relative size of the crops in the image. In this work, we address these challenges by reformulating the apple detection task in a semi-supervised manner. To this end, we provide the large, high-resolution dataset MAD comprising 105 labeled images with 14,667 annotated apple instances and 4,440 unlabeled images. Utilizing this dataset, we also propose a novel Semi-Supervised Small Apple Detection system S$^3$AD based on contextual attention and selective tiling to improve the challenging detection of small apples, while limiting the computational overhead. We conduct an extensive evaluation on MAD and the MSU dataset, showing that S$^3$AD substantially outperforms strong fully-supervised baselines, including several small object detection systems, by up to $14.9\%$. Additionally, we exploit the detailed annotations of our dataset w.r.t. apple properties to analyze the influence of relative size or level of occlusion on the results of various systems, quantifying current challenges.


title: A two-phase model of galaxy formation: I. The growth of galaxies and supermassive black holes

abstract: We develop a model for galaxy formation and the growth of supermassive black holes (SMBHs), based on the fact that cold dark matter (CDM) halos form their gravitational potential wells through a fast phase with rapid change in the potential, and that the high universal baryon fraction makes cooled gas in halos self-gravitating and turbulent before it can form rotation-supported disks. Gas fragmentation produces sub-clouds so dense that cloud-cloud collision and drag on clouds are not significant, producing a dynamically hot system of sub-clouds that form stars and move ballistically to feed the central SMBH. Active galactic nucleus (AGN) and supernova (SN) feedback is effective only in the fast phase, and the cumulative effects are to regulate star formation and SMBH growth, as well as to reduce the amount of cold gas in halos to allow the formation of globally stable disks. Using a set of halo assembly histories, we demonstrate that the model can reproduce a number of observations, including correlations among SMBH mass, stellar mass of galaxies and halo mass, the number densities of galaxies and SMBH, as well as their evolution over the cosmic time.


title: Quadrupolar Phases and Plateau States In Skewed Ladders

abstract: Exotic quantum phases in low dimensional frustrated quantum magnets emerge due to strong quantum fluctuations and competing spin exchanges. Two legged skewed spin ladders with periodically missing rung bonds and periodically placed slanted rung bonds are particularly interesting from this stand point. Here, we study ground state (gs) properties of a spin- 1/2 Heisenberg model on 3/4, 3/5 and 5/5 skewed ladders in the presence of an axial magnetic field, B, using exact diagonalization and the density matrix renormalization group method. We note the existence of plateaus at m = 1/3 and 2/3 for 3/4 skewed ladder, at m = 1/4, 1/2, and 3/4 for 3/5 skewed ladder, and at m = 0, 1/3, and 2/3 for 5/5 skewed ladder. The plateau state is always a gapped state and it depends on the gap in the system. Surprisingly, the 3/4 and 5/5 skewed ladders show interesting quadrupolar or n-type spin nematic phases below the 1/3rd plateau, i.e, at very low magnetic fields. These two systems are unique as they host both a plateau and a quadrupolar phase at low magnetic fields. The linear variation of pitch angle of the spin with magnetization and behavior of binding energy of magnon pairs as function of magnetic field are also studied in both the systems.


title: Transfer learning from a sparsely annotated dataset of 3D medical images

abstract: Transfer learning leverages pre-trained model features from a large dataset to save time and resources when training new models for various tasks, potentially enhancing performance. Due to the lack of large datasets in the medical imaging domain, transfer learning from one medical imaging model to other medical imaging models has not been widely explored. This study explores the use of transfer learning to improve the performance of deep convolutional neural networks for organ segmentation in medical imaging. A base segmentation model (3D U-Net) was trained on a large and sparsely annotated dataset; its weights were used for transfer learning on four new down-stream segmentation tasks for which a fully annotated dataset was available. We analyzed the training set size's influence to simulate scarce data. The results showed that transfer learning from the base model was beneficial when small datasets were available, providing significant performance improvements; where fine-tuning the base model is more beneficial than updating all the network weights with vanilla transfer learning. Transfer learning with fine-tuning increased the performance by up to 0.129 (+28\%) Dice score than experiments trained from scratch, and on average 23 experiments increased the performance by 0.029 Dice score in the new segmentation tasks. The study also showed that cross-modality transfer learning using CT scans was beneficial. The findings of this study demonstrate the potential of transfer learning to improve the efficiency of annotation and increase the accessibility of accurate organ segmentation in medical imaging, ultimately leading to improved patient care. We made the network definition and weights publicly available to benefit other users and researchers.


title: Distribution-free tests for lossless feature selection in classification and regression

abstract: We study the problem of lossless feature selection for a $d$-dimensional feature vector $X=(X^{(1)},\dots ,X^{(d)})$ and label $Y$ for binary classification as well as nonparametric regression. For an index set $S\subset \{1,\dots ,d\}$, consider the selected $|S|$-dimensional feature subvector $X_S=(X^{(i)}, i\in S)$. If $L^*$ and $L^*(S)$ stand for the minimum risk based on $X$ and $X_S$, respectively, then $X_S$ is called lossless if $L^*=L^*(S)$. For classification, the minimum risk is the Bayes error probability, while in regression, the minimum risk is the residual variance. We introduce nearest-neighbor based test statistics to test the hypothesis that $X_S$ is lossless. For the threshold $a_n=\log n/\sqrt{n}$, the corresponding tests are proved to be consistent under conditions on the distribution of $(X,Y)$ that are significantly milder than in previous work. Also, our threshold is dimension-independent, in contrast to earlier methods where for large $d$ the threshold becomes too large to be useful in practice.


title: Just-in-time Quantization with Processing-In-Memory for Efficient ML Training

abstract: Data format innovations have been critical for machine learning (ML) scaling, which in turn fuels ground-breaking ML capabilities. However, even in the presence of low-precision formats, model weights are often stored in both high-precision and low-precision during training. Furthermore, with emerging directional data formats (e.g., MX9, MX6, etc.) multiple low-precision weight copies can be required. To lower memory capacity needs of weights, we explore just-in-time quantization (JIT-Q) where we only store high-precision weights in memory and generate low-precision weights only when needed. To perform JIT-Q efficiently, in this work, we evaluate emerging processing-in-memory (PIM) technology to execute quantization. With PIM, we can offload quantization to in-memory compute units enabling quantization to be performed without incurring costly data movement while allowing quantization to be concurrent with accelerator computation. Our proposed PIM-offloaded quantization keeps up with GPU compute and delivers considerable capacity savings (up to 24\%) at marginal throughput loss (up to 2.4\%). Said memory capacity savings can unlock several benefits such as fitting larger model in the same system, reducing model parallelism requirement, and improving overall ML training efficiency.


title: Ginzburg-Landau energy of multiband superconductors with interband pairing

abstract: We derive microscopically the Ginzburg-Landau free energy functional for a superconductor in which the Cooper pairs are formed not only by quasiparticles from the same band, but also by quasiparticles from different bands. In the simplest case of an s-wave or d-wave pairing in a two-band system, the order parameter has three components describing two intraband and one interband pair condensates. The interband pairing-specific terms in the free energy bring about some qualitative changes in the phase diagram, for example, time-reversal symmetry breaking superconducting states are stabilized at low temperatures.


title: Dynamical Masses for the Hyades Binary System vB 120

abstract: We report spectroscopic observations of vB 120 (HD 30712), a 5.7 yr astrometric-spectroscopic binary system in the Hyades cluster. We combine our radial velocities with others from the literature, and with existing speckle interferometry measurements, to derive an improved 3D orbit for the system. We infer component masses of M1 = 1.065 +/- 0.018 MSun and M2 = 1.008 +/- 0.016 MSun, and an orbital parallax of 21.86 +/- 0.15 mas, which we show to be more accurate than the parallax from Gaia DR3. This is the ninth binary or multiple system in the Hyades with dynamical mass determinations, and one of the examples with the highest precision. An analysis of the spectral energy distribution yields the absolute radii of the stars, R1 = 0.968 +/- 0.012 RSun and R2 = 0.878 +/- 0.013 RSun, and effective temperatures of 5656 +/- 56 K and 5489 +/- 60 K for the primary and secondary, respectively. A comparison of these properties with the predictions of current stellar evolution models for the known age and metallicity of the cluster shows only minor differences.


title: Embedded Platform Patterns for Distributed and Secure Logging

abstract: With the advent of modern embedded systems, logging as a process is becoming more and more prevalent for diagnostic and analytic services. Traditionally, storage and managing of the logged data are generally kept as a part of one entity together with the main logic components. In systems that implement network connections, this activity is usually handled over a remote device. However, enabling remote connection is still considered a limiting factor for many embedded devices due to the demanding production cost. A significant challenge is presented to vendors who need to decide how the data will be extracted and handled for an embedded platform during the design concept phase. It is generally desirable that logging memory modules are able to be addressed as separate units. These devices need to be appropriately secured and verifiable on a different system since data compromise can lead to enormous privacy and even financial losses. In this paper, we present two patterns. First, a pattern that allows flexible logging operation design in terms of module and interface responsibility separation. Second, a pattern for the design of secure logging processes during the utilization of constrained embedded devices. The introduced patterns fulfil the following conditions: (i) flexibility, design is independent of the chip vendors making the logging memory modules easily replaceable, (ii) self-sufficiency, every logging controller is maintained as a separate entity in a decentralized topology, (iii) security, through providing authenticity, confidentiality, and integrity by means of using a dedicated security module.


title: An approach to performance portability through generic programming

abstract: The expanding hardware diversity in high performance computing adds enormous complexity to scientific software development. Developers who aim to write maintainable software have two options: 1) To use a so-called data locality abstraction that handles portability internally, thereby, performance-productivity becomes a trade off. Such abstractions usually come in the form of libraries, domain-specific languages, and run-time systems. 2) To use generic programming where performance, productivity and portability are subject to software design. In the direction of the second, this work describes a design approach that allows the integration of low-level and verbose programming tools into high-level generic algorithms based on template meta-programming in C++. This enables the development of performance-portable applications targeting host-device computer architectures, such as CPUs and GPUs. With a suitable design in place, the extensibility of generic algorithms to new hardware becomes a well defined procedure that can be developed in isolation from other parts of the code. That allows scientific software to be maintainable and efficient in a period of diversifying hardware in HPC. As proof of concept, a finite-difference modelling algorithm for the acoustic wave equation is developed and benchmarked using roofline model analysis on Intel Xeon Gold 6248 CPU, Nvidia Tesla V100 GPU, and AMD MI100 GPU.


title: SPIRou reveals unusually strong magnetic fields of slowly rotating M dwarfs

abstract: In this paper, we study six slowly rotating mid-to-late M~dwarfs (rotation period $P_{\mathrm{rot}} \approx 40-190\,\mathrm{dy}$) by analysing spectropolarimetric data collected with SPIRou at the Canada-France-Hawaii Telescope as part of the SPIRou Legacy Survey from 2019 to 2022. From $\approx$100--200 Least-Squares-Deconvolved (LSD) profiles of circularly polarised spectra of each star, we confirm the stellar rotation periods of the six M~dwarfs and explore their large-scale magnetic field topology and its evolution with time using both the method based on Principal Component Analysis (PCA) proposed recently and Zeeman-Doppler Imaging. All M~dwarfs show large-scale field variations on the time-scale of their rotation periods, directly seen from the circularly polarised LSD profiles using the PCA method. We detect a magnetic polarity reversal for the fully-convective M~dwarf GJ~1151, and a possible inversion in progress for Gl~905. The four fully-convective M~dwarfs of our small sample (Gl~905, GJ~1289, GJ~1151, GJ~1286) show a larger amount of temporal variations (mainly in field strength and axisymmetry) than the two partly-convective ones (Gl~617B, Gl~408). Surprisingly, the six M~dwarfs show large-scale field strengths in the range between 20 to 200\,G similar to those of M~dwarfs rotating significantly faster. Our findings imply that the large-scale fields of very slowly rotating M~dwarfs are likely generated through dynamo processes operating in a different regime than those of the faster rotators that have been magnetically characterized so far.


title: Network Flow Problems with Electric Vehicles

abstract: Electric vehicle (EV) adoption in long-distance logistics faces challenges such as range anxiety and uneven distribution of charging stations. Two pivotal questions emerge: How can EVs be efficiently routed in a charging network considering range limits, charging speeds and prices? And, can the existing charging infrastructure sustain the increasing demand for EVs in long-distance logistics? This paper addresses these questions by introducing a novel theoretical and computational framework to study the EV network flow problems. We present an EV network flow model that incorporates range constraints and nonlinear charging rates, and identify conditions under which polynomial-time solutions can be obtained for optimal single EV routing, maximum flow, and minimum-cost flow problems. Our findings provide insights for optimizing EV routing in logistics, ensuring an efficient and sustainable future.


title: Active Transfer Learning for Efficient Video-Specific Human Pose Estimation

abstract: Human Pose (HP) estimation is actively researched because of its wide range of applications. However, even estimators pre-trained on large datasets may not perform satisfactorily due to a domain gap between the training and test data. To address this issue, we present our approach combining Active Learning (AL) and Transfer Learning (TL) to adapt HP estimators to individual video domains efficiently. For efficient learning, our approach quantifies (i) the estimation uncertainty based on the temporal changes in the estimated heatmaps and (ii) the unnaturalness in the estimated full-body HPs. These quantified criteria are then effectively combined with the state-of-the-art representativeness criterion to select uncertain and diverse samples for efficient HP estimator learning. Furthermore, we reconsider the existing Active Transfer Learning (ATL) method to introduce novel ideas related to the retraining methods and Stopping Criteria (SC). Experimental results demonstrate that our method enhances learning efficiency and outperforms comparative methods. Our code is publicly available at: https://github.com/ImIntheMiddle/VATL4Pose-WACV2024


title: Automated Annotation of Scientific Texts for ML-based Keyphrase Extraction and Validation

abstract: Advanced omics technologies and facilities generate a wealth of valuable data daily; however, the data often lacks the essential metadata required for researchers to find and search them effectively. The lack of metadata poses a significant challenge in the utilization of these datasets. Machine learning-based metadata extraction techniques have emerged as a potentially viable approach to automatically annotating scientific datasets with the metadata necessary for enabling effective search. Text labeling, usually performed manually, plays a crucial role in validating machine-extracted metadata. However, manual labeling is time-consuming; thus, there is an need to develop automated text labeling techniques in order to accelerate the process of scientific innovation. This need is particularly urgent in fields such as environmental genomics and microbiome science, which have historically received less attention in terms of metadata curation and creation of gold-standard text mining datasets. In this paper, we present two novel automated text labeling approaches for the validation of ML-generated metadata for unlabeled texts, with specific applications in environmental genomics. Our techniques show the potential of two new ways to leverage existing information about the unlabeled texts and the scientific domain. The first technique exploits relationships between different types of data sources related to the same research study, such as publications and proposals. The second technique takes advantage of domain-specific controlled vocabularies or ontologies. In this paper, we detail applying these approaches for ML-generated metadata validation. Our results show that the proposed label assignment approaches can generate both generic and highly-specific text labels for the unlabeled texts, with up to 44% of the labels matching with those suggested by a ML keyword extraction algorithm.


title: Zero-shot Translation of Attention Patterns in VQA Models to Natural Language

abstract: Converting a model's internals to text can yield human-understandable insights about the model. Inspired by the recent success of training-free approaches for image captioning, we propose ZS-A2T, a zero-shot framework that translates the transformer attention of a given model into natural language without requiring any training. We consider this in the context of Visual Question Answering (VQA). ZS-A2T builds on a pre-trained large language model (LLM), which receives a task prompt, question, and predicted answer, as inputs. The LLM is guided to select tokens which describe the regions in the input image that the VQA model attended to. Crucially, we determine this similarity by exploiting the text-image matching capabilities of the underlying VQA model. Our framework does not require any training and allows the drop-in replacement of different guiding sources (e.g. attribution instead of attention maps), or language models. We evaluate this novel task on textual explanation datasets for VQA, giving state-of-the-art performances for the zero-shot setting on GQA-REX and VQA-X. Our code is available at: https://github.com/ExplainableML/ZS-A2T.


title: A volume averaging approach to the interfacial force in homogeneous bubbly flows with monodisperse bubbles

abstract: The mathematical up-scaling of gas-liquid bubbly flows was carried out under the framework of the volume averaging theory. A two-fluid model and its associated closure problem were deduced. The closure problem was solved for a case study: a liquid flow past an assembly of homogeneous and monodisperse distorted bubbles. To this end, a cylindrical unit cells with concentric bubbles was used as approach of a representative elementary volume. The following conditions were evaluated: 0 < Re <= 675, 0 < {\epsilon}g <= 0.2, 7.15 x 10-9 <= We <= 3.96 and Mo = 2.55 x 10-11. The interfacial force closure was analyzed in terms of the ratio between the interfacial force for bubbly flow and that existing for a single bubble with the equivalent Re (in an unbounded liquid). It was found that, for creeping regime (0.001 <= Re <= 0.1), the ratio between drag coefficients increases as {\epsilon}g increases independently of Re. For intermediate and inertial regimes (1 <= Re <= 650), the ratio also increases as {\epsilon}g increases; however, two different trends were observed with respect to Re: the ratio decreases for the intermediate regime (1 <= Re <= 50) and increases for the inertial regime (50 < Re <= 650). A transition point around Re = 50 was found, which could be related to the boundary layer formation. Similar trends with respect to existing data from direct numerical simulations of bubbly flows were obtained, showing that this approach represents a good alternative, in terms of computing efforts, to obtain closure laws for two-phase flow modeling.


title: Exact Solutions for the NP-hard Wasserstein Barycenter Problem using a Doubly Nonnegative Relaxation and a Splitting Method

abstract: The simplified Wasserstein barycenter problem consists in selecting one point from $k$ given sets, each set consisting of $n$ points, with the aim of minimizing the sum of distances to the barycenter of the $k$ points chosen. This problem is known to be NP-hard. We compute the Wasserstein barycenter by exploiting the Euclidean distance matrix structure to obtain a facially reduced doubly nonnegative relaxation (DNN). The facial reduction provides a natural splitting for applying the symmetric alternating directions method of multipliers (sADMM) to the DNN relaxation. The sADMM method exploits structure in the subproblems to find strong upper and lower bounds. The purpose of this paper is twofold. First we want to illustrate the strength of this DNN relaxation with a splitting approach. Our numerical tests then illustrate the surprising success on random problems, as we generally, efficiently, find the provable exact solution of this NP-hard problem. Comparisons with current commercial software illustrate this surprising efficiency. However, we demonstrate and prove that there is a duality gap for problems with enough multiple optimal solutions, and that this arises from problems with highly symmetrized structure.


title: On the Consistency of Maximum Likelihood Estimation of Probabilistic Principal Component Analysis

abstract: Probabilistic principal component analysis (PPCA) is currently one of the most used statistical tools to reduce the ambient dimension of the data. From multidimensional scaling to the imputation of missing data, PPCA has a broad spectrum of applications ranging from science and engineering to quantitative finance. Despite this wide applicability in various fields, hardly any theoretical guarantees exist to justify the soundness of the maximal likelihood (ML) solution for this model. In fact, it is well known that the maximum likelihood estimation (MLE) can only recover the true model parameters up to a rotation. The main obstruction is posed by the inherent identifiability nature of the PPCA model resulting from the rotational symmetry of the parameterization. To resolve this ambiguity, we propose a novel approach using quotient topological spaces and in particular, we show that the maximum likelihood solution is consistent in an appropriate quotient Euclidean space. Furthermore, our consistency results encompass a more general class of estimators beyond the MLE. Strong consistency of the ML estimate and consequently strong covariance estimation of the PPCA model have also been established under a compactness assumption.


title: DeepLearningBrasil@LT-EDI-2023: Exploring Deep Learning Techniques for Detecting Depression in Social Media Text

abstract: In this paper, we delineate the strategy employed by our team, DeepLearningBrasil, which secured us the first place in the shared task DepSign-LT-EDI@RANLP-2023, achieving a 47.0% Macro F1-Score and a notable 2.4% advantage. The task was to classify social media texts into three distinct levels of depression - "not depressed," "moderately depressed," and "severely depressed." Leveraging the power of the RoBERTa and DeBERTa models, we further pre-trained them on a collected Reddit dataset, specifically curated from mental health-related Reddit's communities (Subreddits), leading to an enhanced understanding of nuanced mental health discourse. To address lengthy textual data, we used truncation techniques that retained the essence of the content by focusing on its beginnings and endings. Our model was robust against unbalanced data by incorporating sample weights into the loss. Cross-validation and ensemble techniques were then employed to combine our k-fold trained models, delivering an optimal solution. The accompanying code is made available for transparency and further development.


title: Astrophysical Distance Scale VII: A Self-Consistent, Multi-Wavelength Calibration of the Slopes and Relative Zero Points for the Run of Luminosity with Color of Stars Defining the Tip of the Red Giant Branch

abstract: Given the recent successful launch of the James Webb Space Telescope, determining robust calibrations of the slopes and absolute magnitudes of the near- to mid-infrared Tip of the Red Giant Branch (TRGB) will be essential to measuring precise extragalactic distances via this method. Using ground-based data of the Large Magellanic Cloud from the Magellanic Clouds Photometric Survey along with near-infrared (NIR) data from 2MASS and mid-infrared (MIR) data collected as a part of the SAGE survey using the Spitzer Space Telescope, we present slopes and zero-points for the TRGB in the optical (VI), NIR (JHK) and MIR ([3.6] & [4.5]) bandpasses. These calibrations utilize stars +0.3 +/- 0.1 mag below the tip, providing a substantial statistical improvement over previous calibrations which only used the sample of stars narrowly encompassing the tip.


title: Constrained Independent Vector Analysis with Reference for Multi-Subject fMRI Analysis

abstract: Independent component analysis (ICA) is now a widely used solution for the analysis of multi-subject functional magnetic resonance imaging (fMRI) data. Independent vector analysis (IVA) generalizes ICA to multiple datasets, i.e., to multi-subject data, and in addition to higher-order statistical information in ICA, it leverages the statistical dependence across the datasets as an additional type of statistical diversity. As such, it preserves variability in the estimation of single-subject maps but its performance might suffer when the number of datasets increases. Constrained IVA is an effective way to bypass computational issues and improve the quality of separation by incorporating available prior information. Existing constrained IVA approaches often rely on user-defined threshold values to define the constraints. However, an improperly selected threshold can have a negative impact on the final results. This paper proposes two novel methods for constrained IVA: one using an adaptive-reverse scheme to select variable thresholds for the constraints and a second one based on a threshold-free formulation by leveraging the unique structure of IVA. We demonstrate that our solutions provide an attractive solution to multi-subject fMRI analysis both by simulations and through analysis of resting state fMRI data collected from 98 subjects -- the highest number of subjects ever used by IVA algorithms. Our results show that both proposed approaches obtain significantly better separation quality and model match while providing computationally efficient and highly reproducible solutions.


title: Quantum Generative Modeling of Sequential Data with Trainable Token Embedding

abstract: Generative models are a class of machine learning models that aim to learn the underlying probability distribution of data. Unlike discriminative models, generative models focus on capturing the data's inherent structure, allowing them to generate new samples that resemble the original data. To fully exploit the potential of modeling probability distributions using quantum physics, a quantum-inspired generative model known as the Born machines have shown great advancements in learning classical and quantum data over matrix product state(MPS) framework. The Born machines support tractable log-likelihood, autoregressive and mask sampling, and have shown outstanding performance in various unsupervised learning tasks. However, much of the current research has been centered on improving the expressive power of MPS, predominantly embedding each token directly by a corresponding tensor index. In this study, we generalize the embedding method into trainable quantum measurement operators that can be simultaneously honed with MPS. Our study indicated that combined with trainable embedding, Born machines can exhibit better performance and learn deeper correlations from the dataset.


title: Deep Learning Brasil at ABSAPT 2022: Portuguese Transformer Ensemble Approaches

abstract: Aspect-based Sentiment Analysis (ABSA) is a task whose objective is to classify the individual sentiment polarity of all entities, called aspects, in a sentence. The task is composed of two subtasks: Aspect Term Extraction (ATE), identify all aspect terms in a sentence; and Sentiment Orientation Extraction (SOE), given a sentence and its aspect terms, the task is to determine the sentiment polarity of each aspect term (positive, negative or neutral). This article presents we present our participation in Aspect-Based Sentiment Analysis in Portuguese (ABSAPT) 2022 at IberLEF 2022. We submitted the best performing systems, achieving new state-of-the-art results on both subtasks.


title: Matrix Completion via Memoryless Scalar Quantization

abstract: We delve into the impact of memoryless scalar quantization on matrix completion. We broaden our theoretical discussion to encompass the coarse quantization scenario with a dithering scheme, where the only available information for low-rank matrix recovery is few-bit low-resolution data. Our primary motivation for this research is to evaluate the recovery performance of nuclear norm minimization in handling quantized matrix problems without the use of any regularization terms such as those stemming from maximum likelihood estimation. We furnish theoretical guarantees for both scenarios: when access to dithers is available during the reconstruction process, and when we have access solely to the statistical properties of the dithers. Additionally, we conduct a comprehensive analysis of the effects of sign flips and prequantization noise on the recovery performance, particularly when the impact of sign flips is quantified using the well-known Hamming distance in the upper bound of recovery error.


title: Temperature-induced suppression of structural disproportionation in paramagnetic quantum materials

abstract: With the development of electronic structure theory, a new class of materials - quantum ones has been recognized by the community. Traditionally, it has been believed that the properties of such compounds cannot be described within the framework of modern density functional theory, and indeed, more advanced post-mean-field theory methods are needed. Motivated by this, herein, we develop a fundamental understanding of such complex materials using the example of paramagnetic YNiO3, which is experimentally known to exhibit metal-to-insulator phase transition. We show that this material has a temperature-dependent distribution of local structural and spin motifs. Thus, while at low temperatures, YNiO3 has distinct structural disproportionation with the formation of large and small octahedra, as the temperature increases, this disproportionation is suppressed. We also explain the paramagnetic monoclinic to paramagnetic orthorhombic phase transition within the double-well to single-well energy profile, predicting the variation of the corresponding energy profile as a function of octahedral size distribution. In this way, we demonstrate a fundamental understanding of structural phase transitions in quantum materials, giving insight into how it can be used for different applications and what minimum level of theory is needed to describe such types of complex materials correctly.


title: Geometry-Calibrated DRO: Combating Over-Pessimism with Free Energy Implications

abstract: Machine learning algorithms minimizing average risk are susceptible to distributional shifts. Distributionally Robust Optimization (DRO) addresses this issue by optimizing the worst-case risk within an uncertainty set. However, DRO suffers from over-pessimism, leading to low-confidence predictions, poor parameter estimations as well as poor generalization. In this work, we conduct a theoretical analysis of a probable root cause of over-pessimism: excessive focus on noisy samples. To alleviate the impact of noise, we incorporate data geometry into calibration terms in DRO, resulting in our novel Geometry-Calibrated DRO (GCDRO) for regression. We establish the connection between our risk objective and the Helmholtz free energy in statistical physics, and this free-energy-based risk can extend to standard DRO methods. Leveraging gradient flow in Wasserstein space, we develop an approximate minimax optimization algorithm with a bounded error ratio and elucidate how our approach mitigates noisy sample effects. Comprehensive experiments confirm GCDRO's superiority over conventional DRO methods.


title: Electric or gasoline: a simple model to decide when buying a new vehicle

abstract: In this work, a simple methodology to follow the behavior of motorized urban vehicles, from the point of view of personal finances, is presented. Including the acquisition of a new vehicle, the analysis considers the driving distance per week, the average speed, the time spent at rest due to traffic conditions, the evolution of gasoline and electric energy prices, maintenance and services, and local taxes. Herein, two low-range compact vehicles were chosen and compared: one powered by combustion of gasoline, and the other by electric energy stored in batteries. Historical data and trend projections, according to inflation and prices evolution, are taken into consideration. The developed model may help to select adequately a new vehicle, according to the user's needs. A good choice depends strongly on the usage and traffic conditions, the electric vehicle being suitable for large weekly driving distances and heavy traffic, whereas the gasoline vehicle is preferred for short distances and light traffic. The expenses of the vehicles are compared through time, with different scenarios envisaged according to the user's resolution to keep the vehicle for the entire lifespan or to sell it quickly.


title: High-dimensional Newey-Powell Test Via Approximate Message Passing

abstract: Homoscedastic regression error is a common assumption in many high-dimensional regression models and theories. Although heteroscedastic error commonly exists in real-world datasets, testing heteroscedasticity remains largely underexplored under high-dimensional settings. We consider the heteroscedasticity test proposed in Newey and Powell (1987), whose asymptotic theory has been well-established for the low-dimensional setting. We show that the Newey-Powell test can be developed for high-dimensional data. For asymptotic theory, we consider the setting where the number of dimensions grows with the sample size at a linear rate. The asymptotic analysis for the test statistic utilizes the Approximate Message Passing (AMP) algorithm, from which we obtain the limiting distribution of the test. The numerical performance of the test is investigated through an extensive simulation study. As real-data applications, we present the analysis based on "international economic growth" data (Belloni et al. 2011), which is found to be homoscedastic, and "supermarket" data (Lan et al., 2016), which is found to be heteroscedastic.


title: Electron liquids in solids: hydrodynamic description inspired by ideas of Radii Gurzhi

abstract: This is the preface article written for the special issue of Low Temperature Physics on the captivating topic of electron hydrodynamics dedicated to the pioneering work of Radii Gurzhi. The article features a brief synopsis of Gurzhi's seminal contributions that have played a pivotal role in shaping this continuously evolving area of condensed matter physics. This tribute is followed by a brief introduction to the collection of contributed papers published in the issue representing recent research in this dynamic field.


title: Quantum simulation of excited states from parallel contracted quantum eigensolvers

abstract: Computing excited-state properties of molecules and solids is considered one of the most important near-term applications of quantum computers. While many of the current excited-state quantum algorithms differ in circuit architecture, specific exploitation of quantum advantage, or result quality, one common feature is their rooting in the Schr\"odinger equation. However, through contracting (or projecting) the eigenvalue equation, more efficient strategies can be designed for near-term quantum devices. Here we demonstrate that when combined with the Rayleigh-Ritz variational principle for mixed quantum states, the ground-state contracted quantum eigensolver (CQE) can be generalized to compute any number of quantum eigenstates simultaneously. We introduce two excited-state (anti-Hermitian) CQEs that perform the excited-state calculation while inheriting many of the remarkable features of the original ground-state version of the algorithm, such as its scalability. To showcase our approach, we study several model and chemical Hamiltonians and investigate the performance of different implementations.


title: Symmetry breaking in optimal transport networks

abstract: Despite its importance for practical applications, not much is known about the optimal shape of a network that connects in an efficient way a set of points. This problem can be formulated in terms of a multiplex network with a fast layer embedded in a slow one. To connect a pair of points, one can then use either the fast or slow layer, or both, with a switching cost when going from one layer to the other. We consider here distributions of points in spaces of arbitrary dimension d and search for the fast-layer network of given size that minimizes the average time to reach a central node. We discuss the d = 1 case analytically and the d > 1 case numerically, and show the existence of transitions when we vary the network size, the switching cost and/or the relative speed of the two layers. Surprisingly, there is a transition characterized by a symmetry breaking indicating that it is sometimes better to avoid serving a whole area in order to save on switching costs, at the expense of using more the slow layer. Our findings underscore the importance of considering switching costs while studying optimal network structures, as small variations of the cost can lead to strikingly dissimilar results. Finally, we discuss real-world subways and their efficiency for the cities of Atlanta, Boston, and Toronto. We find that real subways are farther away from the optimal shapes as traffic congestion increases.


title: Small bodies global gravity inversion via the level-set method

abstract: We propose an approach to infer large-scale heterogeneities within a small celestial body from measurements of its gravitational potential, provided for instance by spacecraft radio-tracking. The non-uniqueness of the gravity inversion is here mitigated by limiting the solutions to piecewise-constant density distributions, thus composed of multiple regions of uniform density (mass anomalies) dispersed in a background medium. The boundary of each anomaly is defined implicitly as the 0-level surface of a scalar field (called the level-set function), so that by modifying this field the shape and location of the anomaly are varied. The gravitational potential associated with a density distribution is here computed via a line-integral polyhedron method, yielding the coefficients of its spherical harmonics expansion. The density distribution is then adjusted via an iterative least-squares approach with Tikhonov regularization, estimating at every iteration corrections to the level-set function, the density contrast of each anomaly, and the background density, in order to minimize the residuals between the predicted gravity coefficients and those measured. Given the non-convexity of the problem and the lack of prior knowledge assumed (save for the shape of the body), the estimation process is repeated for several random initial distributions, and the resulting solutions are clustered based on global properties independent of the input measurements. This provides families of candidate interior models in agreement with the data, and the spread of the local density values across each family is used to assess the uncertainties associated with the estimated distributions.


title: Efficient Compression of Overparameterized Deep Models through Low-Dimensional Learning Dynamics

abstract: Overparameterized models have proven to be powerful tools for solving various machine learning tasks. However, overparameterization often leads to a substantial increase in computational and memory costs, which in turn requires extensive resources to train. In this work, we present a novel approach for compressing overparameterized models, developed through studying their learning dynamics. We observe that for many deep models, updates to the weight matrices occur within a low-dimensional invariant subspace. For deep linear models, we demonstrate that their principal components are fitted incrementally within a small subspace, and use these insights to propose a compression algorithm for deep linear networks that involve decreasing the width of their intermediate layers. We empirically evaluate the effectiveness of our compression technique on matrix recovery problems. Remarkably, by using an initialization that exploits the structure of the problem, we observe that our compressed network converges faster than the original network, consistently yielding smaller recovery errors. We substantiate this observation by developing a theory focused on deep matrix factorization. Finally, we empirically demonstrate how our compressed model has the potential to improve the utility of deep nonlinear models. Overall, our algorithm improves the training efficiency by more than 2x, without compromising generalization.


title: Vibration modes of the Euler-Bernoulli beam equation with singularities

abstract: We consider the time dependent Euler--Bernoulli beam equation with discontinuous and singular coefficients. Using an extension of the H\"ormander product of distributions with non-intersecting singular supports [L. H\"ormander, The Analysis of Linear Partial Diffe\-rential Operators I, Springer-Verlag, 1983], we obtain an explicit formulation of the differential problem which is strictly defined within the space of Schwartz distributions. We determine the general structure of its separable solutions and prove existence, uniqueness and regularity results under quite general conditions. This formalism is used to study the dynamics of an Euler--Bernoulli beam model with discontinuous flexural stiffness and structural cracks. We consider the cases of simply supported and clamped--clamped boundary conditions and study the relation between the characteristic frequencies of the beam and the position, magnitude and structure of the singularities in the flexural stiffness. Our results are compared with some recent formulations of the same problem.


title: Rust for Embedded Systems: Current State, Challenges and Open Problems

abstract: Embedded software is used in safety-critical systems such as medical devices and autonomous vehicles, where software defects, including security vulnerabilities, have severe consequences. Most embedded codebases are developed in unsafe languages, specifically C/C++, and are riddled with memory safety vulnerabilities. To prevent such vulnerabilities, RUST, a performant memory-safe systems language, provides an optimal choice for developing embedded software. RUST interoperability enables developing RUST applications on top of existing C codebases. Despite this, even the most resourceful organizations continue to develop embedded software in C/C++. This paper performs the first systematic study to holistically understand the current state and challenges of using RUST for embedded systems. Our study is organized across three research questions. We collected a dataset of 2,836 RUST embedded software spanning various categories and 5 Static Application Security Testing ( SAST) tools. We performed a systematic analysis of our dataset and surveys with 225 developers to investigate our research questions. We found that existing RUST software support is inadequate, SAST tools cannot handle certain features of RUST embedded software, resulting in failures, and the prevalence of advanced types in existing RUST software makes it challenging to engineer interoperable code. In addition, we found various challenges faced by developers in using RUST for embedded systems development.


title: Exact and Efficient Representation of Totally Anti-Symmetric Functions

abstract: This paper concerns the long-standing question of representing (totally) anti-symmetric functions in high dimensions. We propose a new ansatz based on the composition of an odd function with a fixed set of anti-symmetric basis functions. We prove that this ansatz can exactly represent every anti-symmetric and continuous function and the number of basis functions has efficient scaling with respect to dimension (number of particles).


title: Nonlinear propagation and localisation in photonic crystal waveguides

abstract: Anderson predicted that electrons diffused by a disordered potential in doped semiconductors see a metal-to-insulator transition of the material when the disorder is sufficiently high. In this manuscript we demonstrate an equivalent metal-to-insulator transition for nonlinear waves, namely Gap-Solitons, in disordered photonic crystal waveguides. Light localization is described by introducing a new metric able to track the wavepacket center of mass. By statistical averaging this quantity over many realizations of the disorder, we demonstrate that in linear regime the ensemble averaged barycenter matches the localization length lloc as defined in literature. Then, by applying our barycenter method, we prove that for Gap-Solitons the transition from localized to ballistic transport goes faster than the vg2 law ruling the linear regime. By overcoming this scaling law, improved robustness to disorder of nonlinear waves is demonstrated.


title: Induced subgraphs and tree decompositions XIII. Basic obstructions in $\mathcal{H}$-free graphs for finite $\mathcal{H}$

abstract: Unlike minors, the induced subgraph obstructions to bounded treewidth come in a large variety, including, for every $t\geq 1$, the $t$-basic obstructions: the graphs $K_{t+1}$ and $K_{t,t}$, along with the subdivisions of the $t$-by-$t$ wall and their line graphs. But this list is far from complete. The simplest example of a ''non-basic'' obstruction is due to Pohoata and Davies (independently). For every $n \geq 1$, they construct certain graphs of treewidth $n$ and with no $3$-basic obstruction as an induced subgraph, which we call $n$-arrays. Let us say a graph class $\mathcal{G}$ is clean if the only obstructions to bounded treewidth in $\mathcal{G}$ are in fact the basic ones. It follows that a full description of the induced subgraph obstructions to bounded treewidth is equivalent to a characterization of all families $\mathcal{H}$ of graphs for which the class of all $\mathcal{H}$-free graphs is clean (a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to any graph in $\mathcal{H}$). This remains elusive, but there is an immediate necessary condition: if $\mathcal{H}$-free graphs are clean, then there are only finitely many integers $n\geq 1$ such that there is an $n$-array which is $\mathcal{H}$-free. The above necessary condition is not sufficient in general. However, the situation turns out to be different if $\mathcal{H}$ is finite: we prove that for every finite set $\mathcal{H}$ of graphs, the class of all $\mathcal{H}$-free graphs is clean if and only if there is no $\mathcal{H}$-free $n$-array except possibly for finitely many values of $n$.


title: Accelerating Exploration with Unlabeled Prior Data

abstract: Learning to solve tasks from a sparse reward signal is a major challenge for standard reinforcement learning (RL) algorithms. However, in the real world, agents rarely need to solve sparse reward tasks entirely from scratch. More often, we might possess prior experience to draw on that provides considerable guidance about which actions and outcomes are possible in the world, which we can use to explore more effectively for new tasks. In this work, we study how prior data without reward labels may be used to guide and accelerate exploration for an agent solving a new sparse reward task. We propose a simple approach that learns a reward model from online experience, labels the unlabeled prior data with optimistic rewards, and then uses it concurrently alongside the online data for downstream policy and critic optimization. This general formula leads to rapid exploration in several challenging sparse-reward domains where tabula rasa exploration is insufficient, including the AntMaze domain, Adroit hand manipulation domain, and a visual simulated robotic manipulation domain. Our results highlight the ease of incorporating unlabeled prior data into existing online RL algorithms, and the (perhaps surprising) effectiveness of doing so.


title: Nonlinear dynamics of large-amplitude, small-scale Alfv\'en waves

abstract: We study large-amplitude, very oblique Alfv\'en waves at low $\beta$, with small gradient length scales, comparable to the ion inertial scale $d_i$. Such waves have large density fluctuations, and slight dispersion from finite-frequency and finite ion sound radius effects. We derive a weakly nonlinear evolution equation governing the behaviour of the waves in one dimension, and categorize the different solitons appearing in different regimes: the regular solitons involve full rotations of the transverse magnetic field, similar to modified Korteweg-de Vries (mKdV) solitons (our nonlinear equation reduces to the mKdV equation in the long-wavelength limit). However, for sufficiently small soliton widths, some become singular, small-amplitude solitons with density discontinuities, and are thus expected to become strongly dissipative in a real plasma. These solutions may be useful in explaining some aspects of the sharp, ion-scale magnetic field rotations (switchbacks) observed in the near-Sun solar wind by Parker Solar Probe.


title: Robotics for poultry farming: challenges and opportunities

abstract: Poultry farming plays a pivotal role in addressing human food demand. Robots are emerging as promising tools in poultry farming, with the potential to address sustainability issues while meeting the increasing production needs and demand for animal welfare. This review aims to identify the current advancements, limitations and future directions of development for robotics in poultry farming by examining existing challenges, solutions and innovative research, including robot-animal interactions. We cover the application of robots in different areas, from environmental monitoring to disease control, floor eggs collection and animal welfare. Robots not only demonstrate effective implementation on farms but also hold potential for ethological research on collective and social behaviour, which can in turn drive a better integration in industrial farming, with improved productivity and enhanced animal welfare.


title: Multiplicity correlations in the model with string clusters in pp collisions at LHC energies

abstract: In the framework of the model with string fusion and the formation of string clusters the correlations between multiplicities in two separated rapidity windows in pp collisions at LHC energies were studied and the results obtained were compared with data from the ALICE collaboration at CERN. The simulation is carried out within the framework of a Monte Carlo implementation of the colour quark-gluon string model. String fusion effects are taken into account by implementing a finite lattice in the plane of the impact parameter. The dependence of the correlation coefficient between multiplicities in two rapidity observation windows on the distance between these windows is calculated for four values of their width and three values of initial energy. It is shown that the model with string clusters describes the main features of the behavior of the correlation coefficient: its increase with increasing initial energy, decrease with increasing rapidity distance between observation windows, and nonlinear dependence on the width of the rapidity window.


title: On the Behavior of Audio-Visual Fusion Architectures in Identity Verification Tasks

abstract: We train an identity verification architecture and evaluate modifications to the part of the model that combines audio and visual representations, including in scenarios where one input is missing in either of two examples to be compared. We report results on the Voxceleb1-E test set that suggest averaging the output embeddings improves error rate in the full-modality setting and when a single modality is missing, and makes more complete use of the embedding space than systems which use shared layers and discuss possible reasons for this behavior.


title: The effect of flight on a turbulent jet: coherent structure eduction and resolvent analysis

abstract: We study coherent structures in subsonic turbulent jets subject to a flight stream. A thorough characterisation of the effects of a flight stream on the turbulent field was recently performed by Maia et al. (2023) and fluctuation energy attenuations were observed over a broad range of frequencies and azimuthal wavenumbers. The Kelvin-Helmholtz, Orr and lift-up mecahnisms were all shown to be weakened by the flight stream. Here we expand upon that study and model the changes in the dynamics of jets in flight using global resolvent analysis. The resolvent model is found to correctly capture the main effects of the flight stream on the dynamics of coherent structures, which are educed from a large-eddy simulation database using spectral proper orthogonal decomposition (SPOD). Three modifications of note are: the damping of low-frequency streaky/Orr structures that carry most of the fluctuation energy; a degradation of the low-rank behaviour of the jet in frequencies where modal instability mechanisms are dominant; and a rank decrease at very low Strouhal numbers. The latter effect is underpinned by larger gain separations predicted by the resolvent analysis, due to a reduction in the wavelength of associated flow structures. This leads to a clearer relative dominance of streaky structures generated by the lift-up mechanism, despite the fact that the lift-up mechanism has been weakened with respect to the static jet.


title: Detecting Phase Synchronization in Latent Variable Subspace: Non-generating Partitions and Symbol Sequence Statistics

abstract: The detection of phase synchronization of coupled chaotic oscillators which are not phase-coherent is known to be a challenging task. In this work a method to detect and measure phase synchronization is presented. The procedure uses symbol sequence statistics together with Principal Component Analysis (PCA) and is applied in the phase synchronization analysis of pairs of coupled chaotic systems with different characteristics. Using PCA, we extract a 3D space (called latent space) from the original 6D space of the coupled oscillators. When the oscillators are in complete synchronization, the latent space represents the dynamics of an isolated oscillator. However, as synchronization deteriorates, the latent space becomes increasingly disorganized, although it does retain some level of organization during phase synchronization. A 2D Poincar\'e-type section is defined in the latent space and the corresponding 1D map is used to define a non-generating partition such that an arbitrary symbol sequence is forbidden for any synchronized regime. It is shown that the probability of occurrence of such a symbol sequence is closely related to the quality of phase synchronization. The procedure does not require a phase definition or complicated partitioning algorithms, which is performed by a simple threshold-crossing technique. This method requires data from different levels of synchronization to be able to determine the required non-generating partition.


title: GRASP: A Disagreement Analysis Framework to Assess Group Associations in Perspectives

abstract: Human annotation plays a core role in machine learning -- annotations for supervised models, safety guardrails for generative models, and human feedback for reinforcement learning, to cite a few avenues. However, the fact that many of these human annotations are inherently subjective is often overlooked. Recent work has demonstrated that ignoring rater subjectivity (typically resulting in rater disagreement) is problematic within specific tasks and for specific subgroups. Generalizable methods to harness rater disagreement and thus understand the socio-cultural leanings of subjective tasks remain elusive. In this paper, we propose GRASP, a comprehensive disagreement analysis framework to measure group association in perspectives among different rater sub-groups, and demonstrate its utility in assessing the extent of systematic disagreements in two datasets: (1) safety annotations of human-chatbot conversations, and (2) offensiveness annotations of social media posts, both annotated by diverse rater pools across different socio-demographic axes. Our framework (based on disagreement metrics) reveals specific rater groups that have significantly different perspectives than others on certain tasks, and helps identify demographic axes that are crucial to consider in specific task contexts.


title: Mental Health Diagnosis in the Digital Age: Harnessing Sentiment Analysis on Social Media Platforms upon Ultra-Sparse Feature Content

abstract: Amid growing global mental health concerns, particularly among vulnerable groups, natural language processing offers a tremendous potential for early detection and intervention of people's mental disorders via analyzing their postings and discussions on social media platforms. However, ultra-sparse training data, often due to vast vocabularies and low-frequency words, hinders the analysis accuracy. Multi-labeling and Co-occurrences of symptoms may also blur the boundaries in distinguishing similar/co-related disorders. To address these issues, we propose a novel semantic feature preprocessing technique with a three-folded structure: 1) mitigating the feature sparsity with a weak classifier, 2) adaptive feature dimension with modulus loops, and 3) deep-mining and extending features among the contexts. With enhanced semantic features, we train a machine learning model to predict and classify mental disorders. We utilize the Reddit Mental Health Dataset 2022 to examine conditions such as Anxiety, Borderline Personality Disorder (BPD), and Bipolar-Disorder (BD) and present solutions to the data sparsity challenge, highlighted by 99.81% non-zero elements. After applying our preprocessing technique, the feature sparsity decreases to 85.4%. Overall, our methods, when compared to seven benchmark models, demonstrate significant performance improvements: 8.0% in accuracy, 0.069 in precision, 0.093 in recall, 0.102 in F1 score, and 0.059 in AUC. This research provides foundational insights for mental health prediction and monitoring, providing innovative solutions to navigate challenges associated with ultra-sparse data feature and intricate multi-label classification in the domain of mental health analysis.


title: Evaluating diversion and treatment policies for opioid use disorder

abstract: The United States opioid crisis contributed to 80,411 fatalities in 2021. It has strained hospitals, treatment facilities, and law enforcement agencies due to the enormous resources and procedures needed to respond to the crisis. As a result, many individuals who use opioids never receive or finish the treatment they need and instead have many interactions with hospitals or the criminal justice system. This paper introduces a discrete event simulation model that evaluates three opioid use disorder treatment policies: arrest diversion, re-entry case management, and overdose diversion. Publicly available data from 2011 to 2019 in Dane County, Wisconsin, was used to forecast opioid-related outcomes through 2032. Through analyzing a variety of policy-mix implementations, the study offers a versatile framework for evaluating policies at various implementation levels. The results demonstrate that treatment policies that create new pathways and programming by utilizing treatment services and successfully divert at least 20% of eligible individuals can lead to more opioid-resilient communities. The benefits increase when more policies are enacted and/or are offered to more individuals. We assume communities invest in increasing treatment capacity to meet increased treatment demand. In policy-mixes where societal savings from decreased opioid use, hospital encounters, and opioid-related arrests outweigh the costs of opioid use disorder treatment, the 2032 total savings range from $7.04 to $29.73 million. To reverse the opioid crisis within a community, treatment policies may need to be combined with other strategies, such as harm reduction, supply reduction, and use prevention.


abstract: Human silhouette extraction is a fundamental task in computer vision with applications in various downstream tasks. However, occlusions pose a significant challenge, leading to incomplete and distorted silhouettes. To address this challenge, we introduce POISE: Pose Guided Human Silhouette Extraction under Occlusions, a novel self-supervised fusion framework that enhances accuracy and robustness in human silhouette prediction. By combining initial silhouette estimates from a segmentation model with human joint predictions from a 2D pose estimation model, POISE leverages the complementary strengths of both approaches, effectively integrating precise body shape information and spatial information to tackle occlusions. Furthermore, the self-supervised nature of \POISE eliminates the need for costly annotations, making it scalable and practical. Extensive experimental results demonstrate its superiority in improving silhouette extraction under occlusions, with promising results in downstream tasks such as gait recognition. The code for our method is available https://github.com/take2rohit/poise.


title: Multi Higgs Boson Signals of a Modified Muon Yukawa Coupling at a Muon Collider

abstract: We study di-Higgs and tri-Higgs boson productions at a muon collider as functions of the modification of the muon Yukawa coupling resulting from new physics parameterized by the dimension 6 mass operator. We show that the di-Higgs signal can be used to observe a deviation in the muon Yukawa coupling at the 10 % level for $\sqrt{s} = 10$ TeV and at the 3.5 % level for $\sqrt{s} = 30$ TeV. The tri-Higgs signal improves the sensitivity dramatically with increasing $\sqrt{s}$, reaching 0.8 % at $\sqrt{s} = 30$ TeV. We also study all processes involving Goldstone bosons originating from the same operator, discuss possible model dependence resulting from other operators of dimension 6 and higher, and identify multi-Higgs productions and one additional process as golden channels. We further extend the study to the two Higgs doublet model type-II and show that di-Higgs and tri-Higgs signals involving heavy Higgs bosons can be enhanced by a factor of $(\tan \beta)^6$, which results in the potential sensitivity to a modified muon Yukawa coupling at the $10^{-6}$ level already at a $\sqrt{s} = 10 $ TeV muon collider. The results can be easily customized for other extensions of the Higgs sector.


title: Social Media Bot Detection using Dropout-GAN

abstract: Bot activity on social media platforms is a pervasive problem, undermining the credibility of online discourse and potentially leading to cybercrime. We propose an approach to bot detection using Generative Adversarial Networks (GAN). We discuss how we overcome the issue of mode collapse by utilizing multiple discriminators to train against one generator, while decoupling the discriminator to perform social media bot detection and utilizing the generator for data augmentation. In terms of classification accuracy, our approach outperforms the state-of-the-art techniques in this field. We also show how the generator in the GAN can be used to evade such a classification technique.


title: Characterization of the Hamamatsu 8-inch R14688-100 PMT

abstract: Large-scale optical neutrino and dark-matter detectors rely on large-area photomultiplier tubes (PMTs) for cost-effective light detection. The new R14688-100 8-inch PMT developed by Hamamatsu provides state-of-the-art timing resolution of around 1 ns (FWHM), which can help improve vertex reconstruction and enable Cherenkov and scintillation light separation in scintillation-based detectors. This PMT also provides excellent charge resolution, allowing for precision photoelectron counting and improved energy reconstruction. The Eos experiment is the first large-scale optical detector to utilize these PMTs. In this manuscript we present a characterization of the R14688-100 single photoelectron response, such as the transit-time spreads, the dark-rates, and the afterpulsing. The single photoelectron response measurements are performed for the 206 PMTs that will be used in Eos.


title: Generalized test utilities for long-tail performance in extreme multi-label classification

abstract: Extreme multi-label classification (XMLC) is the task of selecting a small subset of relevant labels from a very large set of possible labels. As such, it is characterized by long-tail labels, i.e., most labels have very few positive instances. With standard performance measures such as precision@k, a classifier can ignore tail labels and still report good performance. However, it is often argued that correct predictions in the tail are more "interesting" or "rewarding," but the community has not yet settled on a metric capturing this intuitive concept. The existing propensity-scored metrics fall short on this goal by confounding the problems of long-tail and missing labels. In this paper, we analyze generalized metrics budgeted "at k" as an alternative solution. To tackle the challenging problem of optimizing these metrics, we formulate it in the expected test utility (ETU) framework, which aims to optimize the expected performance on a fixed test set. We derive optimal prediction rules and construct computationally efficient approximations with provable regret guarantees and robustness against model misspecification. Our algorithm, based on block coordinate ascent, scales effortlessly to XMLC problems and obtains promising results in terms of long-tail performance.


title: Dynamic Adaptation Gains for Nonlinear Systems with Unmatched Uncertainties

abstract: We present a new direct adaptive control approach for nonlinear systems with unmatched and matched uncertainties. The method relies on adjusting the adaptation gains of individual unmatched parameters whose adaptation transients would otherwise destabilize the closed-loop system. The approach also guarantees the restoration of the adaptation gains to their nominal values and can readily incorporate direct adaptation laws for matched uncertainties. The proposed framework is general as it only requires stabilizability for all possible models.


title: Composite-fermion pairing at half and quarter filled lowest Landau level

abstract: The Halperin-Lee-Read Fermi sea of composite fermions (CFs) at half-filled lowest Landau level is the realization of a fascinating non-Fermi liquid metallic phase. Remarkably, experiments have found that as the width of the quantum well is increased, this state makes a transition into a fractional quantum Hall (FQH) state, the origin of which has remained an important puzzle since its discovery more than three decades ago. We perform detailed and accurate quantitative calculations using a systematic variational framework for the pairing of CFs that closely mimics the BCS theory of superconductivity. We find: (i) as the quantum-well width is increased, the single-component CF Fermi sea occupying the lowest symmetric subband of the quantum well undergoes an instability into a single-component p-wave paired state of CFs; (ii) the theoretical phase diagram in the quantum-well width - electron density plane is in excellent agreement with experiments; (iii) a sufficient amount of asymmetry in the charge distribution of the quantum well destroys the FQH effect, as observed experimentally; and (iv) the two-component 331 state is energetically less favorable than the single component paired state. Evidence for FQH effect has been seen in wide quantum wells also at quarter-filled lowest Landau level; here our calculations indicate an f-wave paired state of CFs. We further investigate bosons in the lowest Landau level at filling factor equal to one and show that a p-wave pairing instability of CFs, which are bosons carrying a single flux quantum, in agreement with exact diagonalization studies. The general consistency of the composite-fermion BCS approach with experiments lends support to the notion of CF pairing as the mechanism of FQH effects at even-denominator filling factors. Various experimental implications are mentioned.


title: Signal Temporal Logic-Guided Apprenticeship Learning

abstract: Apprenticeship learning crucially depends on effectively learning rewards, and hence control policies from user demonstrations. Of particular difficulty is the setting where the desired task consists of a number of sub-goals with temporal dependencies. The quality of inferred rewards and hence policies are typically limited by the quality of demonstrations, and poor inference of these can lead to undesirable outcomes. In this letter, we show how temporal logic specifications that describe high level task objectives, are encoded in a graph to define a temporal-based metric that reasons about behaviors of demonstrators and the learner agent to improve the quality of inferred rewards and policies. Through experiments on a diverse set of robot manipulator simulations, we show how our framework overcomes the drawbacks of prior literature by drastically improving the number of demonstrations required to learn a control policy.


title: Characterizing Large Language Models as Rationalizers of Knowledge-intensive Tasks

abstract: Large language models (LLMs) are proficient at generating fluent text with minimal task-specific supervision. Yet, their ability to provide well-grounded rationalizations for knowledge-intensive tasks remains under-explored. Such tasks, like commonsense multiple-choice questions, require rationales based on world knowledge to support predictions and refute alternate options. We consider the task of generating knowledge-guided rationalization in natural language by using expert-written examples in a few-shot manner. Surprisingly, crowd-workers preferred knowledge-grounded rationales over crowdsourced rationalizations, citing their factuality, sufficiency, and comprehensive refutations. Although LLMs-generated rationales were preferable, further improvements in conciseness and novelty are required. In another study, we show how rationalization of incorrect model predictions erodes humans' trust in LLM-generated rationales. Motivated by these observations, we create a two-stage pipeline to review task predictions and eliminate potential incorrect decisions before rationalization, enabling trustworthy rationale generation.


title: $\Delta S=0$ Hadronic Parity Violation in Next-to-Leading Order QCD: Anomalous Dimension Matrices and Their Implications

abstract: We construct the effective Hamiltonian for hadronic parity violation in strangeness-nonchanging ($\Delta S=0$) processes in next-to-leading order (NLO) in QCD, for all isosectors, and at a renormalization scale of 2 GeV, thus extending our earlier leading-order (LO) analysis. Hadronic parity violation, studied in the context of the low-energy interactions of nucleons and nuclei, exposes the complex interplay of weak and strong interactions in these systems, and thus supports our extension to NLO. Here we exploit the flavor-blind nature of QCD interactions to construct the needed anomalous dimension matrices from those computed in flavor physics, which we then use to refine our effective Hamiltonian and finally our predicted parity-violating meson-nucleon coupling constants, to find improved agreement with few-body experiments.


title: Boundary vertex algebras for 3d $\mathcal{N}=4$ rank-0 SCFTs

abstract: We initiate the study of boundary Vertex Operator Algebras (VOAs) of topologically twisted 3d $\mathcal{N}=4$ rank-0 SCFTs. This is a recently introduced class of $\mathcal{N}=4$ SCFTs that by definition have zero-dimensional Higgs and Coulomb branches. We briefly explain why it is reasonable to obtain rational VOAs at the boundary of their topological twists. When a rank-0 SCFT is realized as the IR fixed point of a $\mathcal{N}=2$ Lagrangian theory, we propose a technique for the explicit construction of its topological twists and boundary VOAs based on deformations of the holomorphic-topological twist of the $\mathcal{N}=2$ microscopic description. We apply this technique to the $B$ twist of a newly discovered family of 3d $\mathcal{N}=4$ rank-0 SCFTs ${\mathcal T}_r$ and argue that they admit the simple affine VOAs $L_r(\mathfrak{osp}(1|2))$ at their boundary. In the simplest case, this leads to a novel level-rank duality between $L_1(\mathfrak{osp}(1|2))$ and the minimal model $M(2,5)$. As an aside, we present a TQFT obtained by twisting a 3d $\mathcal{N}=2$ QFT that admits the $M(3,4)$ minimal model as a boundary VOA and briefly comment on the classical freeness of VOAs at the boundary of 3d TQFTs.