title: Convex-hull Estimation using XPSNR for Versatile Video Coding

abstract: As adaptive streaming becomes crucial for delivering high-quality video content across diverse network conditions, accurate metrics to assess perceptual quality are essential. This paper explores using the eXtended Peak Signal-to-Noise Ratio (XPSNR) metric as an alternative to the popular Video Multimethod Assessment Fusion (VMAF) metric for determining optimized bitrate-resolution pairs in the context of Versatile Video Coding (VVC). Our study is rooted in the observation that XPSNR shows a superior correlation with subjective quality scores for VVC-coded Ultra-High Definition (UHD) content compared to VMAF. We predict the average XPSNR of VVC-coded bitstreams using spatiotemporal complexity features of the video and the target encoding configuration and then determine the convex-hull online. On average, the proposed convex-hull using XPSNR (VEXUS) achieves an overall quality improvement of 5.84 dB PSNR and 0.62 dB XPSNR while maintaining the same bitrate, compared to the default UHD encoding using the VVenC encoder, accompanied by an encoding time reduction of 44.43% and a decoding time reduction of 65.46%. This shift towards XPSNR as a guiding metric shall enhance the effectiveness of adaptive streaming algorithms, ensuring an optimal balance between bitrate efficiency and perceptual fidelity with advanced video coding standards.


title: Benchmarking Open-Source Language Models for Efficient Question Answering in Industrial Applications

abstract: In the rapidly evolving landscape of Natural Language Processing (NLP), Large Language Models (LLMs) have demonstrated remarkable capabilities in tasks such as question answering (QA). However, the accessibility and practicality of utilizing these models for industrial applications pose significant challenges, particularly concerning cost-effectiveness, inference speed, and resource efficiency. This paper presents a comprehensive benchmarking study comparing open-source LLMs with their non-open-source counterparts on the task of question answering. Our objective is to identify open-source alternatives capable of delivering comparable performance to proprietary models while being lightweight in terms of resource requirements and suitable for Central Processing Unit (CPU)-based inference. Through rigorous evaluation across various metrics including accuracy, inference speed, and resource consumption, we aim to provide insights into selecting efficient LLMs for real-world applications. Our findings shed light on viable open-source alternatives that offer acceptable performance and efficiency, addressing the pressing need for accessible and efficient NLP solutions in industry settings.


title: BEACON: Balancing Convenience and Nutrition in Meals With Long-Term Group Recommendations and Reasoning on Multimodal Recipes

abstract: A common, yet regular, decision made by people, whether healthy or with any health condition, is to decide what to have in meals like breakfast, lunch, and dinner, consisting of a combination of foods for appetizer, main course, side dishes, desserts, and beverages. However, often this decision is seen as a trade-off between nutritious choices (e.g., low salt and sugar) or convenience (e.g., inexpensive, fast to prepare/obtain, taste better). In this preliminary work, we present a data-driven approach for the novel meal recommendation problem that can explore and balance choices for both considerations while also reasoning about a food's constituents and cooking process. Beyond the problem formulation, our contributions also include a goodness measure, a recipe conversion method from text to the recently introduced multimodal rich recipe representation (R3) format, and learning methods using contextual bandits that show promising results.


title: Converging Dimensions: Information Extraction and Summarization through Multisource, Multimodal, and Multilingual Fusion

abstract: Recent advances in large language models (LLMs) have led to new summarization strategies, offering an extensive toolkit for extracting important information. However, these approaches are frequently limited by their reliance on isolated sources of data. The amount of information that can be gathered is limited and covers a smaller range of themes, which introduces the possibility of falsified content and limited support for multilingual and multimodal data. The paper proposes a novel approach to summarization that tackles such challenges by utilizing the strength of multiple sources to deliver a more exhaustive and informative understanding of intricate topics. The research progresses beyond conventional, unimodal sources such as text documents and integrates a more diverse range of data, including YouTube playlists, pre-prints, and Wikipedia pages. The aforementioned varied sources are then converted into a unified textual representation, enabling a more holistic analysis. This multifaceted approach to summary generation empowers us to extract pertinent information from a wider array of sources. The primary tenet of this approach is to maximize information gain while minimizing information overlap and maintaining a high level of informativeness, which encourages the generation of highly coherent summaries.


title: MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values

abstract: Choreographic programming is a concurrent paradigm in which a single global program called a choreography describes behavior across an entire distributed network of participants. Choreographies are easier to reason about than separate programs running in parallel, and choreographic programming systems can check for deadlocks statically. We present MultiChor, a library for writing and running choreographies as monadic values in Haskell. Unlike prior Haskell implementations, MultiChor does not require excess communication to handle Knowledge-of-Choice. Unlike all prior general-purpose choreographic languages, MultiChor can express choreographies that are polymorphic over the number of participants.


title: Beyond modified Urca: the nucleon width approximation for flavor-changing processes in dense matter

abstract: Flavor-changing charged current ("Urca") processes are of central importance in the astrophysics of neutron stars. Standard calculations approximate the Urca rate as the sum of two contributions, direct Urca and modified Urca. Attempts to make modified Urca calculations more accurate have been impeded by an unphysical divergence at the direct Urca threshold density. In this paper we describe a systematically improvable approach where, in the simplest approximation, instead of modified Urca we include an imaginary part of the nucleon mass (nucleon width). The total Urca rate is then obtained via a straightforward generalization of the direct Urca calculation, yielding results that agree with both direct and modified Urca at the densities where those approximations are valid. At low densities, we observe an enhancement of the rate by more than an order of magnitude, with important ramifications for neutron star cooling and other transport properties.


title: Evaluating Large Language Models along Dimensions of Language Variation: A Systematik Invesdigatiom uv Cross-lingual Generalization

abstract: While large language models exhibit certain cross-lingual generalization capabilities, they suffer from performance degradation (PD) on unseen closely-related languages (CRLs) and dialects relative to their high-resource language neighbour (HRLN). However, we currently lack a fundamental understanding of what kinds of linguistic distances contribute to PD, and to what extent. Furthermore, studies of cross-lingual generalization are confounded by unknown quantities of CRL language traces in the training data, and by the frequent lack of availability of evaluation data in lower-resource related languages and dialects. To address these issues, we model phonological, morphological, and lexical distance as Bayesian noise processes to synthesize artificial languages that are controllably distant from the HRLN. We analyse PD as a function of underlying noise parameters, offering insights on model robustness to isolated and composed linguistic phenomena, and the impact of task and HRL characteristics on PD. We calculate parameter posteriors on real CRL-HRLN pair data and show that they follow computed trends of artificial languages, demonstrating the viability of our noisers. Our framework offers a cheap solution to estimating task performance on an unseen CRL given HRLN performance using its posteriors, as well as for diagnosing observed PD on a CRL in terms of its linguistic distances from its HRLN, and opens doors to principled methods of mitigating performance degradation.


title: GUI Action Narrator: Where and When Did That Action Take Place?

abstract: The advent of Multimodal LLMs has significantly enhanced image OCR recognition capabilities, making GUI automation a viable reality for increasing efficiency in digital tasks. One fundamental aspect of developing a GUI automation system is understanding primitive GUI actions. This comprehension is crucial as it enables agents to learn from user demonstrations, an essential element of automation. To rigorously evaluate such capabilities, we developed a video captioning benchmark for GUI actions, comprising 4,189 diverse video captioning samples. This task presents unique challenges compared to natural scene video captioning: 1) GUI screenshots typically contain denser information than natural scenes, and 2) events within GUIs are subtler and occur more rapidly, requiring precise attention to the appropriate time span and spatial region for accurate understanding. To address these challenges, we introduce our GUI action dataset \textbf{Act2Cap} as well as a simple yet effective framework, \textbf{GUI Narrator}, for GUI video captioning that utilizes the cursor as a visual prompt to enhance the interpretation of high-resolution screenshots. Specifically, a cursor detector is trained on our dataset, and a multimodal LLM model with mechanisms for selecting keyframes and key regions generates the captions. Experimental results indicate that even for today's most advanced multimodal models, such as GPT-4o, the task remains highly challenging. Additionally, our evaluations show that our strategy effectively enhances model performance, whether integrated into the fine-tuning of open-source models or employed as a prompting strategy in closed-source models.


title: On the Utility of Domain-Adjacent Fine-Tuned Model Ensembles for Few-shot Problems

abstract: Large Language Models (LLMs) have been observed to perform well on a wide range of downstream tasks when fine-tuned on domain-specific data. However, such data may not be readily available in many applications, motivating zero-shot or few-shot approaches using domain-adjacent models. While several fine-tuned models for various tasks are available, finding an appropriate domain-adjacent model for a given task is often not straight forward. In this paper, we study DAFT-E, a framework that utilizes an Ensemble of Domain-Adjacent Fine-Tuned Foundation Models for few-shot problems. We show that for zero-shot problems, this ensembling method provides an accuracy performance close to that of the single best model. With few-shot problems, this performance improves further, at which point DEFT-E can outperform any single domain-adjacent model while requiring much less data for domain-specific fine-tuning.


title: Which One Changes More? A Novel Radial Visualization for State Change Comparison

abstract: It is common to compare state changes of multiple data items and identify which data items have changed more in various applications (e.g., annual GDP growth of different countries and daily increase of new COVID-19 cases in different regions). Grouped bar charts and slope graphs can visualize both state changes and their initial and final states of multiple data items, and are thus widely used for state change comparison. But they leverage implicit bar differences or line slopes to indicate state changes, which has been proven less effective for visual comparison. Both visualizations also suffer from visual scalability issues when an increasing number of data items need to be compared. This paper fills the research gap by proposing a novel radial visualization called Intercept Graph to facilitate visual comparison of multiple state changes. It consists of inner and outer axes, and leverages the lengths of line segments intercepted by the inner axis to explicitly encode the state changes. Users can interactively adjust the inner axis to filter large changes of their interest and magnify the difference of relatively-similar state changes, enhancing its visual scalability and comparison accuracy. We extensively evaluate the Intercept Graph in comparison with baseline methods through two usage scenarios, quantitative metric evaluations, and well-designed crowdsourcing user studies with 50 participants. Our results demonstrate the usefulness and effectiveness of the Intercept Graph.


title: Channel Charting in Real-World Coordinates with Distributed MIMO

abstract: Channel charting is an emerging self-supervised method that maps channel-state information (CSI) to a low-dimensional latent space (the channel chart) that represents pseudo-positions of user equipments (UEs). While channel charts preserve local geometry, i.e., nearby UEs are nearby in the channel chart (and vice versa), the pseudo-positions are in arbitrary coordinates and global geometry is typically not preserved. In order to embed channel charts in real-world coordinates, we first propose a bilateration loss for distributed multiple-input multiple-output (D-MIMO) wireless systems in which only the access point (AP) positions are known. The idea behind this loss is to compare the received power at pairs of APs to determine whether a UE should be placed closer to one AP or the other in the channel chart. Second, we propose a line-of-sight (LoS) bounding-box loss that places the UE in a predefined LoS area of each AP that is estimated to have a LoS path to the UE. We demonstrate the efficacy of combining both of these loss functions with neural-network-based channel charting using ray-tracing-based and measurement-based channel vectors. Our approach outperforms several baselines and maintains the self-supervised nature of channel charting as it does not rely on geometrical propagation models or require ground-truth UE position information.


title: Distortion in groups of generalized piecewise-linear transformations

abstract: For each natural number $n$, we consider the subgroup $\mathcal{R}_n$ of Homeo$_+[0,1]$ made by the elements that are linear except for a subset whose Cantor-Bendixson rank is less than or equal to $n$. These groups of generalized piecewise-linear transformations yield an ascending chain of groups as we increase $n$. We study how the notion of distorted element changes along this chain. Our main result establishes that for each natural number $n$, there exits an element that is undistorted of $\mathcal{R}_n$ yet distorted in $\mathcal{R}_{n+1}$. Actually, such an element is explicitly constructed.


title: Heterogeneous Graph Neural Networks with Post-hoc Explanations for Multi-modal and Explainable Land Use Inference

abstract: Urban land use inference is a critically important task that aids in city planning and policy-making. Recently, the increased use of sensor and location technologies has facilitated the collection of multi-modal mobility data, offering valuable insights into daily activity patterns. Many studies have adopted advanced data-driven techniques to explore the potential of these multi-modal mobility data in land use inference. However, existing studies often process samples independently, ignoring the spatial correlations among neighbouring objects and heterogeneity among different services. Furthermore, the inherently low interpretability of complex deep learning methods poses a significant barrier in urban planning, where transparency and extrapolability are crucial for making long-term policy decisions. To overcome these challenges, we introduce an explainable framework for inferring land use that synergises heterogeneous graph neural networks (HGNs) with Explainable AI techniques, enhancing both accuracy and explainability. The empirical experiments demonstrate that the proposed HGNs significantly outperform baseline graph neural networks for all six land-use indicators, especially in terms of 'office' and 'sustenance'. As explanations, we consider feature attribution and counterfactual explanations. The analysis of feature attribution explanations shows that the symmetrical nature of the `residence' and 'work' categories predicted by the framework aligns well with the commuter's 'work' and 'recreation' activities in London. The analysis of the counterfactual explanations reveals that variations in node features and types are primarily responsible for the differences observed between the predicted land use distribution and the ideal mixed state. These analyses demonstrate that the proposed HGNs can suitably support urban stakeholders in their urban planning and policy-making.


title: Tree-Sliced Wasserstein Distance on a System of Lines

abstract: Sliced Wasserstein (SW) distance in Optimal Transport (OT) is widely used in various applications thanks to its statistical effectiveness and computational efficiency. On the other hand, Tree Wassenstein (TW) and Tree-sliced Wassenstein (TSW) are instances of OT for probability measures where its ground cost is a tree metric. TSW also has a low computational complexity, i.e. linear to the number of edges in the tree. Especially, TSW is identical to SW when the tree is a chain. While SW is prone to loss of topological information of input measures due to relying on one-dimensional projection, TSW is more flexible and has a higher degree of freedom by choosing a tree rather than a line to alleviate the curse of dimensionality in SW. However, for practical applications, popular tree metric sampling methods are heavily built upon given supports, which limits their capacity to adapt to new supports. In this paper, we propose the Tree-Sliced Wasserstein distance on a System of Lines (TSW-SL), which brings a connection between SW and TSW. Compared to SW and TSW, our TSW-SL benefits from the higher degree of freedom of TSW while being suitable to dynamic settings as SW. In TSW-SL, we use a variant of the Radon Transform to project measures onto a system of lines, resulting in measures on a space with a tree metric, then leverage TW to efficiently compute distances between them. We empirically verify the advantages of TSW-SL over the traditional SW by conducting a variety of experiments on gradient flows, image style transfer, and generative models.


title: Global Solutions to Master Equations for Continuous Time Heterogeneous Agent Macroeconomic Models

abstract: We propose and compare new global solution algorithms for continuous time heterogeneous agent economies with aggregate shocks. First, we approximate the agent distribution so that equilibrium in the economy can be characterized by a high, but finite, dimensional non-linear partial differential equation. We consider different approximations: discretizing the number of agents, discretizing the agent state variables, and projecting the distribution onto a finite set of basis functions. Second, we represent the value function using a neural network and train it to solve the differential equation using deep learning tools. We refer to the solution as an Economic Model Informed Neural Network (EMINN). The main advantage of this technique is that it allows us to find global solutions to high dimensional, non-linear problems. We demonstrate our algorithm by solving important models in the macroeconomics and spatial literatures (e.g. Krusell and Smith (1998), Khan and Thomas (2007), Bilal (2023)).


title: Neutrino Tomography of the Earth: the Earth Total Mass, Moment of Inertia and Hydrostatic Equilibrium Constraints

abstract: We investigate the implications of the constraints following from the precise knowledge of the total Earth mass, $M_\oplus$, and moment of inertia, $I_\oplus$, and from the requirement that Earth be in hydrostatic equilibrium (EHE), in the neutrino tomography studies of the Earth density structure. In order to estimate the sensitivity of a given neutrino detector to possible deviations of the inner core (IC), outer core (OC), core (IC + OC) and mantle Earth densities from those obtained using geophysical and seismological data and described by the preliminary reference Earth model (PREM), in the statistical analyses performed within the neutrino tomography studies one typically varies the density of each of these structures. These variations, however, must respect the $M_\oplus$, $I_\oplus$ and EHE constraints. Working with PREM average densities we derive the $M_\oplus$, $I_\oplus$ and EHE constraints on the possible density variations when one approximates the Earth density structure with i) three layers - mantle, outer core and inner core, and ii) four layers - upper mantle, lower mantle, outer core and inner core. We get drastically different results in the two cases.


title: A Combinatorial Perspective on the Noncommutative Symmetric Functions

abstract: The noncommutative symmetric functions $\textbf{NSym}$ were first defined abstractly by Gelfand et al. in 1995 as the free associative algebra generated by noncommuting indeterminants $\{\boldsymbol{e}_n\}_{n\in \mathbb{N}}$ that were taken as a noncommutative analogue of the elementary symmetric functions. The resulting space was thus a variation on the traditional symmetric functions $\Lambda$. Giving noncommutative analogues of generating function relations for other bases of $\Lambda$ allowed Gelfand et al. to define additional bases of $\textbf{NSym}$ and then determine change-of-basis formulas using quasideterminants. In this paper, we aim for a self-contained exposition that expresses these bases concretely as functions in infinitely many noncommuting variables and avoids quasideterminants. Additionally, we look at the noncommutative analogues of two different interpretations of change-of-basis in $\Lambda$: both as a product of a minimal number of matrices, mimicking Macdonald's exposition of $\Lambda$ in Symmetric Functions and Hall Polynomials, and as statistics on brick tabloids, as in work by E\u{g}ecio\u{g}lu and Remmel, 1990.


title: On the Saito number of plane curves

abstract: In this work we study the \emph{Saito number} of a plane curve and we present a method to determine the minimal Saito number for plane curves in a given equisingularity class, that gives rise to an actual algorithm. In particular situations, we also provide various formulas for this number. In addition, if $\nu_0$ and $\nu_1$ are two coprime positive integers and $N>0$ then we show that for any $1\leq k\leq \left [\frac{N\nu_0}{2}\right ]$ there exits a plane curve equisingular to the curve $$y^{N\nu_0}-x^{N\nu_1}=0$$ such that its Saito number is precisely $k$.


title: Prescribed exponential stabilization of a one-layer neural network with delayed feedback: Insights in seizure prevention and neural control

abstract: This paper provides control-oriented delay-based modelling of a one-layer neural network of Hopfield-type subject to an external input designed as delayed feedback. The specificity of such a model is that it makes the considered neuron less susceptible to seizure caused by its inherent dynamic instability. This modelling exploits a recently set partial pole placement for linear functional differential equations, which relies on the coexistence of real spectral values, allowing the explicit prescription of the closed-loop solution's exponential decay. The proposed framework improves some pioneering and scarce results from the literature on the characterization of the exact solution's exponential decay when a simple real spectral value exists. Indeed, it improves neural stability when the inherent dynamic is stable and provides insights into the design of a one-layer neural network that can be stabilized exponentially with delayed feedback and with a prescribed decay rate regardless of whether the inherent neuron dynamic is stable or unstable.


title: Integrating Fuzzy Logic with Causal Inference: Enhancing the Pearl and Neyman-Rubin Methodologies

abstract: In this paper, we generalize the Pearl and Neyman-Rubin methodologies in causal inference by introducing a generalized approach that incorporates fuzzy logic. Indeed, we introduce a fuzzy causal inference approach that consider both the vagueness and imprecision inherent in data, as well as the subjective human perspective characterized by fuzzy terms such as 'high', 'medium', and 'low'. To do so, we introduce two fuzzy causal effect formulas: the Fuzzy Average Treatment Effect (FATE) and the Generalized Fuzzy Average Treatment Effect (GFATE), together with their normalized versions: NFATE and NGFATE. When dealing with a binary treatment variable, our fuzzy causal effect formulas coincide with classical Average Treatment Effect (ATE) formula, that is a well-established and popular metric in causal inference. In FATE, all values of the treatment variable are considered equally important. In contrast, GFATE takes into account the rarity and frequency of these values. We show that for linear Structural Equation Models (SEMs), the normalized versions of our formulas, NFATE and NGFATE, are equivalent to ATE. Further, we provide identifiability criteria for these formulas and show their stability with respect to minor variations in the fuzzy subsets and the probability distributions involved. This ensures the robustness of our approach in handling small perturbations in the data. Finally, we provide several experimental examples to empirically validate and demonstrate the practical application of our proposed fuzzy causal inference methods.


title: On the dark matter content of ultra-diffuse galaxies

abstract: I compare the dark matter content within stellar half-mass radius expected in a $\Lambda$CDM-based galaxy formation model with existing observational estimates for the observed dwarf satellites of the Milky Way and ultra-diffuse galaxies (UDGs). The model reproduces the main properties and scaling relations of dwarf galaxies, in particular their stellar mass-size relation. I show that the model also reproduces the relation between the dark matter mass within the half-mass radius, $M_{\rm dm}(<r_{1/2})$, and stellar mass exhibited by the observed dwarf galaxies. The scatter in the $M_{\rm dm}(<r_{1/2})-M_\star$ relation is driven primarily by the broad range of sizes of galaxies of a given stellar mass. I also show the $M_{\rm dm}(<r_{1/2})$ of UDGs are within the range expected in the model for their stellar mass, but they tend to lie above the median relation due to their large sizes. The upper limits on $M_{\rm dm}(<r_{1/2})$ for the dark matter deficient UDGs are also consistent with the range of dark matter masses expected in the model. The most dark matter-deficient galaxies of a given size correspond to halos with the smallest concentrations and the largest ratios of $M_\star/M_{\rm 200c}$. Conversely, the most dark matter-dominated galaxies are hosted by the highest concentration halos with the smallest $M_\star/M_{\rm 200c}$ ratios. The model indicates that the scatter between $M_{\rm dm}(<r_{1/2})$ and $M_{\rm 200c}$ is large, which renders inference of the virial mass from $M_{\rm dm}(<r_{1/2})$ uncertain and dependent on specific assumptions about the halo mass profile. Results presented in this paper indicate that dark matter-deficient UDGs may represent a tail of the expected dark matter profiles, especially if the effect of feedback on these profiles is taken into account.


title: You can't handle the (dirty) truth: Data-centric insights improve pseudo-labeling

abstract: Pseudo-labeling is a popular semi-supervised learning technique to leverage unlabeled data when labeled samples are scarce. The generation and selection of pseudo-labels heavily rely on labeled data. Existing approaches implicitly assume that the labeled data is gold standard and 'perfect'. However, this can be violated in reality with issues such as mislabeling or ambiguity. We address this overlooked aspect and show the importance of investigating labeled data quality to improve any pseudo-labeling method. Specifically, we introduce a novel data characterization and selection framework called DIPS to extend pseudo-labeling. We select useful labeled and pseudo-labeled samples via analysis of learning dynamics. We demonstrate the applicability and impact of DIPS for various pseudo-labeling methods across an extensive range of real-world tabular and image datasets. Additionally, DIPS improves data efficiency and reduces the performance distinctions between different pseudo-labelers. Overall, we highlight the significant benefits of a data-centric rethinking of pseudo-labeling in real-world settings.


title: A Unified Core Structure in Multiplex Networks: From Finding the Densest Subgraph to Modeling User Engagement

abstract: In many complex systems, the interactions between objects span multiple aspects. Multiplex networks are accurate paradigms to model such systems, where each edge is associated with a type. A key graph mining primitive is extracting dense subgraphs, and this has led to interesting notions such as K-cores, known as building blocks of complex networks. Despite recent attempts to extend the notion of core to multiplex networks, existing studies suffer from a subset of the following limitations: They 1) force all nodes to exhibit their high degree in the same set of relation types while in multiplex networks some connection types can be noisy for some nodes, 2) either require high computational cost or miss the complex information of multiplex networks, and 3) assume the same importance for all relation types. We introduce S-core, a novel and unifying family of dense structures in multiplex networks that uses a function S(.) to summarize the degree vector of each node. We then discuss how one can choose a proper S(.) from the data. To demonstrate the usefulness of S-cores, we focus on finding the densest subgraph as well as modeling user engagement in multiplex networks. We present a new density measure in multiplex networks and discuss its advantages over existing density measures. We show that the problem of finding the densest subgraph in multiplex networks is NP-hard and design an efficient approximation algorithm based on S-cores. Finally, we present a new mathematical model of user engagement in the presence of different relation types. Our experiments shows the efficiency and effectiveness of our algorithms and supports the proposed mathematical model of user engagement.


title: StableSemantics: A Synthetic Language-Vision Dataset of Semantic Representations in Naturalistic Images

abstract: Understanding the semantics of visual scenes is a fundamental challenge in Computer Vision. A key aspect of this challenge is that objects sharing similar semantic meanings or functions can exhibit striking visual differences, making accurate identification and categorization difficult. Recent advancements in text-to-image frameworks have led to models that implicitly capture natural scene statistics. These frameworks account for the visual variability of objects, as well as complex object co-occurrences and sources of noise such as diverse lighting conditions. By leveraging large-scale datasets and cross-attention conditioning, these models generate detailed and contextually rich scene representations. This capability opens new avenues for improving object recognition and scene understanding in varied and challenging environments. Our work presents StableSemantics, a dataset comprising 224 thousand human-curated prompts, processed natural language captions, over 2 million synthetic images, and 10 million attention maps corresponding to individual noun chunks. We explicitly leverage human-generated prompts that correspond to visually interesting stable diffusion generations, provide 10 generations per phrase, and extract cross-attention maps for each image. We explore the semantic distribution of generated images, examine the distribution of objects within images, and benchmark captioning and open vocabulary segmentation methods on our data. To the best of our knowledge, we are the first to release a diffusion dataset with semantic attributions. We expect our proposed dataset to catalyze advances in visual semantic understanding and provide a foundation for developing more sophisticated and effective visual models. Website: https://stablesemantics.github.io/StableSemantics


title: Constraining cosmological parameters using void statistics from the SDSS survey

abstract: We identify voids as maximal non-overlapping spheres within the haloes of the Uchuu simulation and three smaller halo simulation boxes with smaller volume and different $\sigma_{8}$ values, and galaxies with redshift in the range $0.02<z<0.132$ and absolute magnitude in the $r-$band $M_{r}<-20.5$ of 32 Uchuu-SDSS simulated lightcones the seventh release of \textit{The Sloan Digital Sky Survey} (SDSS DR7) survey. We compute the Void Probability Function and the abundance of voids larger than $r$ predicted by the theoretical framework used in this work and we check that it predicts successfully both void functions for the halo simulation boxes. Next, we asses the potential of this theoretical framework to constrain cosmological parameters using Uchuu-SDSS void statistics, and we calculate the confidence levels using Monte Carlo Markov Chain techniques to infer the values of $\sigma_{8}$, $\Omega_{\rm m}$ and H$_{0}$ from the SDSS sample used. The constraints we obtain from the SDSS survey sample used. The results are: $\sigma_{8}=1.028^{+0.273}_{-0.305}$, $\Omega_{\rm m}=0.296^{+0.110}_{-0.102}$, H$_{0}=83.43\pm^{+29.27}_{-27.70}$, $\Gamma=0.1947^{+0.0578}_{-0.0516}$ and S$_{8}$=1.017$^{+0.363}_{-0.359}$. If we combine these constraints with KiDS-1000+DESY3, we get $\sigma_{8}=0.858^{+0.040}_{-0.040}$, $\Omega_{\rm m}=0.257\pm^{+0.023}_{-0.020}$, H$_{0}=74.17^{+4.66}_{-4.66}$ and S$_{8}$=0.794$^{+0.016}_{-0.016}$. The combined uncertainties are approximately a factor 2-3 smaller than only-Weak-Lensing uncertainties. This is a consequence of the orientation of the confidence level contours of SDSS voids and Weak Lensing in the plane $\sigma_{8}-\Omega_{\rm m}$, which are almost orthogonal (abridged).


title: The Born regime of gravitational amplitudes

abstract: We study the $2 \to 2$ scattering in the regime where the wavelength of the scattered objects is comparable to their distance but is much larger than any Compton wavelength in the quantum field theory. We observe that in this regime - which differs from the eikonal - the Feynman diagram expansion takes the form of a geometric series, akin to the Born series of quantum mechanics. Conversely, we can define the Feynman diagram expansion as the Born series of a relativistic effective-one-body (EOB) Schr\"odinger equation. For a gravitational theory in this regime we observe that the EOB Schr\"odinger equation reduces to the Regge-Wheeler or Teukolsky wave equations. We make use of this understanding to study the tree-level Compton scattering off a Kerr black hole. We compute the scalar and photon Compton amplitude up to $O(a^{30})$ in the black hole spin $a$ and propose an all-order expression. Remarkably, we find that boundary terms, which are typically neglected, give non-zero contact pieces necessary for restoring crossing symmetry and gauge invariance of the Kerr-Compton amplitude.


title: Abelian Instantons and Monopole Scattering

abstract: It is usually assumed that $4D$ instantons can only arise in non-Abelian theories. In this paper we re-examine this conventional wisdom by explicitly constructing instantons in an Abelian gauge theory: ${\rm QED}_4$ with $N_f$ flavors of Dirac fermions, in the background of a Dirac monopole. This is the low-energy effective field theory for fermions interacting with a 't Hooft-Polyakov monopole, in the limit where the monopole is infinitely heavy (hence pointlike) and static. This theory, whose non-topological sectors were studied by Rubakov and Callan, has a far richer structure than previously explored. We show how to calculate the topological instanton number, demonstrate the existence of 't Hooft zero modes localized around such instantons, and show how instantons in the path integral provide the underlying mechanism for the Callan-Rubakov process: monopole-catalyzed baryon decay with a cross section that saturates the unitarity bound. Our computation relies on correctly identifying the relevant $2D$ EFT for monopole catalysis as Axial ${\rm QED}_2$ in an effective $AdS_2$ metric.


title: A correspondence between the quantum K theory and quantum cohomology of Grassmannians

abstract: We utilize physics arguments, and the nonabelian/abelian correspondence, to relate the Givental and Lee's quantum K theory ring of Grassmannians to a twisted variant of the quantum cohomology ring. Furthermore, the quantum K pairing is related to correlators arising from supersymmetric localization. We state some mathematical conjectures, which we illustrate in several examples.


title: Kinetic Inductance, Quantum Geometry, and Superconductivity in Magic-Angle Twisted Bilayer Graphene

abstract: The physics of superconductivity in magic-angle twisted bilayer graphene (MATBG) is a topic of keen interest in moir\'e systems research, and it may provide insight into the pairing mechanism of other strongly correlated materials such as high-$T_{\mathrm{c}}$ superconductors. Here, we use DC-transport and microwave circuit quantum electrodynamics (cQED) to measure directly the superfluid stiffness of superconducting MATBG via its kinetic inductance. We find the superfluid stiffness to be much larger than expected from conventional single-band Fermi liquid theory; rather, it aligns well with theory involving quantum geometric effects that are dominant at the magic angle. The temperature dependence of the superfluid stiffness exhibits a power-law behavior, which contraindicates an isotropic BCS model; instead, the extracted power-law exponents indicate an anisotropic superconducting gap, whether interpreted using the conventional anisotropic BCS model or a quantum geometric theory of flat-band superconductivity. Moreover, the quadratic dependence of the stiffness on both DC and microwave current is consistent with Ginzburg-Landau theory. Taken together, these findings strongly suggest a connection between quantum geometry, superfluid stiffness, and unconventional superconductivity in MATBG. Finally, the combined DC-microwave measurement platform used here is applicable to the investigation of other atomically thin superconductors.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.str-el quant-ph


title: Integrable Conformal Defects in N=4 SYM

abstract: In this paper we classify integrable conformal defects in N=4 SYM theory for which the scalar fields pick up a non-trivial vacuum expectation value. Defects of this form correspond to Dirichlet boundary conditions that have a pole at the defect. These set-ups typically appear on the field theory side of probe brane set-ups in the AdS/CFT correspondence. We show that such defects, for any codimension, are related to fuzzy spheres. We discuss the properties of the different possible fuzzy spheres that can appear and present the corresponding Matrix Product States. We furthermore set-up the quantum field theoretic framework by computing the mass matrix and finding the propagators.


title: Superfluid stiffness of twisted multilayer graphene superconductors

abstract: The robustness of the macroscopic quantum nature of a superconductor can be characterized by the superfluid stiffness, $\rho_s$, a quantity that describes the energy required to vary the phase of the macroscopic quantum wave function. In unconventional superconductors, such as cuprates, the low-temperature behavior of $\rho_s$ drastically differs from that of conventional superconductors due to quasiparticle excitations from gapless points (nodes) in momentum space. Intensive research on the recently discovered magic-angle twisted graphene family has revealed, in addition to superconducting states, strongly correlated electronic states associated with spontaneously broken symmetries, inviting the study of $\rho_s$ to uncover the potentially unconventional nature of its superconductivity. Here we report the measurement of $\rho_s$ in magic-angle twisted trilayer graphene (TTG), revealing unconventional nodal-gap superconductivity. Utilizing radio-frequency reflectometry techniques to measure the kinetic inductive response of superconducting TTG coupled to a microwave resonator, we find a linear temperature dependence of $\rho_s$ at low temperatures and nonlinear Meissner effects in the current bias dependence, both indicating nodal structures in the superconducting order parameter. Furthermore, the doping dependence shows a linear correlation between the zero temperature $\rho_s$ and the superconducting transition temperature $T_c$, reminiscent of Uemura's relation in cuprates, suggesting phase-coherence-limited superconductivity. Our results provide strong evidence for nodal superconductivity in TTG and put strong constraints on the mechanisms of these graphene-based superconductors.


title: GenAI-Bench: Evaluating and Improving Compositional Text-to-Visual Generation

abstract: While text-to-visual models now produce photo-realistic images and videos, they struggle with compositional text prompts involving attributes, relationships, and higher-order reasoning such as logic and comparison. In this work, we conduct an extensive human study on GenAI-Bench to evaluate the performance of leading image and video generation models in various aspects of compositional text-to-visual generation. We also compare automated evaluation metrics against our collected human ratings and find that VQAScore -- a metric measuring the likelihood that a VQA model views an image as accurately depicting the prompt -- significantly outperforms previous metrics such as CLIPScore. In addition, VQAScore can improve generation in a black-box manner (without finetuning) via simply ranking a few (3 to 9) candidate images. Ranking by VQAScore is 2x to 3x more effective than other scoring methods like PickScore, HPSv2, and ImageReward at improving human alignment ratings for DALL-E 3 and Stable Diffusion, especially on compositional prompts that require advanced visio-linguistic reasoning. We will release a new GenAI-Rank benchmark with over 40,000 human ratings to evaluate scoring metrics on ranking images generated from the same prompt. Lastly, we discuss promising areas for improvement in VQAScore, such as addressing fine-grained visual details. We will release all human ratings (over 80,000) to facilitate scientific benchmarking of both generative models and automated metrics.


title: SRL-VIC: A Variable Stiffness-Based Safe Reinforcement Learning for Contact-Rich Robotic Tasks

abstract: Reinforcement learning (RL) has emerged as a promising paradigm in complex and continuous robotic tasks, however, safe exploration has been one of the main challenges, especially in contact-rich manipulation tasks in unstructured environments. Focusing on this issue, we propose SRL-VIC: a model-free safe RL framework combined with a variable impedance controller (VIC). Specifically, safety critic and recovery policy networks are pre-trained where safety critic evaluates the safety of the next action using a risk value before it is executed and the recovery policy suggests a corrective action if the risk value is high. Furthermore, the policies are updated online where the task policy not only achieves the task but also modulates the stiffness parameters to keep a safe and compliant profile. A set of experiments in contact-rich maze tasks demonstrate that our framework outperforms the baselines (without the recovery mechanism and without the VIC), yielding a good trade-off between efficient task accomplishment and safety guarantee. We show our policy trained on simulation can be deployed on a physical robot without fine-tuning, achieving successful task completion with robustness and generalization. The video is available at https://youtu.be/ksWXR3vByoQ.


title: Formation of super-thin galaxies in Illustris-TNG

abstract: Superthin galaxies are observed to have stellar disks with extremely small minor-to-major axis ratios. In this work, we investigate the formation of superthin galaxies in the TNG100 simulation. We trace the merger history and investigate the evolution of galaxy properties of a selected sample of superthin galaxies and a control sample of galaxies that share the same joint probability distribution in the stellar-mass and color diagram. Through making comparisons between the two galaxy samples, we find that present-day superthin galaxies had similar morphologies as the control sample counterparts at higher redshifts, but have developed extended flat `superthin' morphologies since $z \sim 1$. During this latter evolution stage, superthin galaxies undergo overwhelmingly higher frequency of prograde mergers (with orbit-spin angle $\theta_{\rm orb} \leqslant 40^\circ$). Accordingly the spins of their dark matter halos have grown significantly and become noticeably higher than that of their normal disk counterparts. This further results in the buildup of their stellar disks at larger distances much beyond the regimes of normal disk galaxies. We also discuss the formation scenario of those superthin galaxies that live in larger dark matter halos as satellite galaxies therein.


title: Insights into the Production of $^{44}$Ti and Nickel Isotopes in Core-Collapse Supernovae

abstract: We report nucleosynthetic results for both $^{44}$Ti and nickel isotopes for eighteen three-dimensional (3D) core-collapse supernova (CCSN) simulations extended to $\sim$20 seconds after bounce. We find that many of our long-term models are able to achieve $^{44}$Ti/$^{56}$Ni ratios similar to that observed in Cassiopeia A, and modern supernova models can synthesize up to $2\times10^{-4}M_\odot$ of $^{44}$Ti. Neutrino-driven winds and the fact that there can be simultaneous accretion and explosion in 3D models of core-collapse supernovae play central roles in its production. We conclude that the $^{44}$Ti underproduction problem in previous CCSN models is no longer an issue. In addition, we discuss the production of both $^{57}$Ni and stable nickel/iron ratios and compare our results to observations of SN1987A and the Crab.


title: Cosmological tests with bright and dark standard sirens

abstract: Gravitational waves (GWs) are signals that propagate across large distances in the Universe, and thus, they bring information on the cosmic history. GW sources are at the same time distance indicators and tracers of the matter field. Events generated by binary systems can be divided into bright standard sirens, when followed by electromagnetic transients from which the redshift of the source can be measured, and the more numerous dark standard sirens, when counterparts are not available. In this proceeding, I will discuss some methods for testing the cosmological model using either bright or dark sirens and their combinations with other cosmological probes, focusing on some of my own recent contributions.


title: Every Language Counts: Learn and Unlearn in Multilingual LLMs

abstract: This paper investigates the propagation of harmful information in multilingual large language models (LLMs) and evaluates the efficacy of various unlearning methods. We demonstrate that fake information, regardless of the language it is in, once introduced into these models through training data, can spread across different languages, compromising the integrity and reliability of the generated content. Our findings reveal that standard unlearning techniques, which typically focus on English data, are insufficient in mitigating the spread of harmful content in multilingual contexts and could inadvertently reinforce harmful content across languages. We show that only by addressing harmful responses in both English and the original language of the harmful data can we effectively eliminate generations for all languages. This underscores the critical need for comprehensive unlearning strategies that consider the multilingual nature of modern LLMs to enhance their safety and reliability across diverse linguistic landscapes.


title: Combining Combined Forecasts: a Network Approach

abstract: This study investigates the practice of experts aggregating forecasts before informing a decision-maker. The significance of this subject extends to various contexts where experts inform their assessments to a decision-maker following discussions with peers. My findings show that, irrespective of the information structure, aggregation rules introduce no bias to decision-making in expected terms. Nevertheless, the concern revolves around variance. In situations where experts are equally precise, and pair-wise correlation of forecasts is the same across all pairs of experts, the network structure plays a pivotal role in decision-making variance. For classical structures, I show that star networks exhibit the highest variance, contrasting with $d$-regular networks that achieve zero variance, emphasizing their efficiency. Additionally, by employing the Poisson random graph model under the assumptions of a large network size and a small connection probability, the results indicate that both the expected Network Bias and its variance converge to zero as the network size becomes sufficiently large. These insights enhance the understanding of decision-making under different information, network structures and aggregation rules. They enrich the literature on combining forecasts by exploring the effects of prior network communication on decision-making.


title: Empowering Tuberculosis Screening with Explainable Self-Supervised Deep Neural Networks

abstract: Tuberculosis persists as a global health crisis, especially in resource-limited populations and remote regions, with more than 10 million individuals newly infected annually. It stands as a stark symbol of inequity in public health. Tuberculosis impacts roughly a quarter of the global populace, with the majority of cases concentrated in eight countries, accounting for two-thirds of all tuberculosis infections. Although a severe ailment, tuberculosis is both curable and manageable. However, early detection and screening of at-risk populations are imperative. Chest x-ray stands as the predominant imaging technique utilized in tuberculosis screening efforts. However, x-ray screening necessitates skilled radiologists, a resource often scarce, particularly in remote regions with limited resources. Consequently, there is a pressing need for artificial intelligence (AI)-powered systems to support clinicians and healthcare providers in swift screening. However, training a reliable AI model necessitates large-scale high-quality data, which can be difficult and costly to acquire. Inspired by these challenges, in this work, we introduce an explainable self-supervised self-train learning network tailored for tuberculosis case screening. The network achieves an outstanding overall accuracy of 98.14% and demonstrates high recall and precision rates of 95.72% and 99.44%, respectively, in identifying tuberculosis cases, effectively capturing clinically significant features.


title: Candidate de Sitter Vacua

abstract: We construct compactifications of type IIB string theory that yield, at leading order in the $\alpha^\prime$ and $g_s$ expansions, de Sitter vacua of the form envisioned by Kachru, Kallosh, Linde, and Trivedi. We specify explicit Calabi-Yau orientifolds and quantized fluxes for which we derive the four-dimensional effective supergravity theories, incorporating the exact flux superpotential, the nonperturbative superpotential from Euclidean D3-branes, and the K\"ahler potential at tree level in the string loop expansion but to all orders in $\alpha'$. Each example includes a Klebanov-Strassler throat region containing a single anti-D3-brane, whose supersymmetry-breaking energy, computed at leading order in $\alpha'$, causes an uplift to a metastable de Sitter vacuum in which all moduli are stabilized. Finding vacua that demonstrably survive subleading corrections, and in which the quantization conditions are completely understood, is an important open problem for which this work has prepared the foundations.


title: COAC: Cross-layer Optimization of Accelerator Configurability for Efficient CNN Processing

abstract: To achieve high accuracy, convolutional neural networks (CNNs) are increasingly growing in complexity and diversity in layer types and topologies. This makes it very challenging to efficiently deploy such networks on custom processor architectures for resource-scarce edge devices. Existing mapping exploration frameworks enable searching for the optimal execution schedules or hardware mappings of individual network layers, by optimizing each layer's spatial (dataflow parallelization) and temporal unrolling (execution order). However, these tools fail to take into account the overhead of supporting different unrolling schemes within a common hardware architecture. Using a fixed unrolling scheme across all layers is also not ideal, as this misses significant opportunities for energy and latency savings from optimizing the mapping of diverse layer types. A balanced approach assesses the right amount of mapping flexibility needed across target neural networks, while taking into account the overhead to support multiple unrollings. This paper, therefore, presents COAC, a cross-layer design space exploration and mapping framework to optimize the flexibility of neural processing architectures by balancing configurability overhead against resulting energy and latency savings for end-to-end inference. COAC does not only provide a systematical analysis of the architectural overhead in function of the supported spatial unrollings, but also builds an automated flow to find the best unrolling combination(s) for efficient end-to-end inference with limited hardware overhead. Results demonstrate that architectures with carefully optimized flexibility can achieve up to 38% EDP (energy-delay-product) savings for a set of six neural networks at the expense of a relative area increase of 9.5%.


title: Non-global logarithms up to four loops at finite-N$_c$ for V/H+jet processes at hadron colliders

abstract: We extend our previous work [1] on calculating non-global logarithms in $e^+ e^-$ annihilation to Higgs/vector boson production in association with a single hard jet at hadron colliders. We analytically compute non-global coefficients in the jet mass distribution up to four loops using the anti-k$_t$ jet algorithm. Our calculations are performed in the eikonal approximation, assuming strong energy ordering for the emitted gluons, thus capturing only the leading logarithms of the distribution. We compare our analytical results with the all-orders large-N$_c$ numerical solution. In general, the gross features of the non-global logarithm distribution observed in the $e^+ e^-$ case remain valid for the V/H+jet processes.


title: Concept Drift Visualization of SVM with Shifting Window

abstract: In machine learning, concept drift is an evolution of information that invalidates the current data model. It happens when the statistical properties of the input data change over time in unforeseen ways. Concept drift detection is crucial when dealing with dynamically changing data. Its visualization can bring valuable insight into the data dynamics, especially for multidimensional data, and is related to visual knowledge discovery. We propose a novel visualization model based on parallel coordinates, denoted as parallel histograms through time. Our model represents histograms of feature distributions for successive time-shifted windows. The drift is shown as variations of these histograms, obtained by connecting the means of the distribution for successive time windows. We show how these diagrams can be used to explain the decision made by the machine learning model in choosing the drift point. By isolating the drift at the edges of successive time windows, there will be none (or reduced) drift within the adjacent windows. We illustrate this concept on both synthetic and real datasets. In our experiments, we use an incremental/decremental SVM with shifting window, introduced by us in previous work. With our proposed technique, in addition to detect the presence of concept drift, we can also depict it. This information can be further used to explain the change. mental results, opening the possibility for further investigations.


title: A detailed time-resolved and energy-resolved spectro-polarimetric study of bright GRBs detected by AstroSat CZTI in its first year of operation

abstract: The radiation mechanism underlying the prompt emission remains unresolved and can be resolved using a systematic and uniform time-resolved spectro-polarimetric study. In this paper, we investigated the spectral, temporal, and polarimetric characteristics of five bright GRBs using archival data from AstroSat CZTI, Swift BAT, and Fermi GBM. These bright GRBs were detected by CZTI in its first year of operation, and their average polarization characteristics have been published in Chattopadhyay et al. (2022). In the present work, we examined the time-resolved (in 100-600 keV) and energy-resolved polarization measurements of these GRBs with an improved polarimetric technique such as increasing the effective area and bandwidth (by using data from low-gain pixels), using an improved event selection logic to reduce noise in the double events and extend the spectral bandwidth. In addition, we also separately carried out detailed time-resolved spectral analyses of these GRBs using empirical and physical synchrotron models. By these improved time-resolved and energy-resolved spectral and polarimetric studies (not fully coupled spectro-polarimetric fitting), we could pin down the elusive prompt emission mechanism of these GRBs. Our spectro-polarimetric analysis reveals that GRB 160623A, GRB 160703A, and GRB 160821A have Poynting flux-dominated jets. On the other hand, GRB 160325A and GRB 160802A have baryonic-dominated jets with mild magnetization. Furthermore, we observe a rapid change in polarization angle by $\sim$ 90 degrees within the main pulse of very bright GRB 160821A, consistent with our previous results. Our study suggests that the jet composition of GRBs may exhibit a wide range of magnetization, which can be revealed by utilizing spectro-polarimetric investigations of the bright GRBs.


title: Multi-messenger Approach to Ultra-light Scalars

abstract: We propose a novel method to study the ultra-light scalars, where compact rotating objects undergo the phenomenon of superradiance to create gravitational waves and neutrino flux signals. The neutrino flux results from the 'right' coupling between the ultra-light scalars and the neutrinos. We study the intertwining of gravitational waves and neutrino flux signals produced from a single source and elaborate if and when the signals can be detected in existing and upcoming experiments in a direct manner. We also discuss an indirect way to test it by means of cosmic neutrino background which can be detected by upcoming PTOLEMY experiment.


title: Magnetic Fields of M Dwarfs from the Pleiades Open Cluster

abstract: Average magnetic field measurements are presented for 62 M-dwarf members of the Pleiades open cluster, derived from Zeeman-enhanced Fe I lines in the H-band. An MCMC methodology was employed to model magnetic filling factors using SDSS-IV APOGEE high-resolution spectra, along with the radiative transfer code SYNMAST, MARCS stellar atmosphere models, and the APOGEE DR17 spectral line list. There is a positive correlation between mean magnetic fields and stellar rotation, with slow-rotator stars (Rossby number, Ro$>$0.13) exhibiting a steeper slope than rapid-rotators (Ro$<$0.13). However, the latter sample still shows a positive trend between Ro and magnetic fields, which is given by $<$B$>$ = 1604 $\times$ Ro$^{-0.20}$. The derived stellar radii, when compared with physical isochrones, show that on average, our sample shows radius inflation, with median enhanced radii ranging from +3.0$\%$ to +7.0$\%$, depending on the model. There is a positive correlation between magnetic field strength and radius inflation, as well as with stellar spot coverage, correlations that together indicate that stellar spot-filling factors generated by strong magnetic fields might be the mechanism that drives radius inflation in these stars. We also compare our derived magnetic fields with chromospheric emission lines (H$\alpha$, H$\beta$ and Ca II K), as well as with X-ray and H$\alpha$ to bolometric luminosity ratios, and find that stars with higher chromospheric and coronal activity tend to be more magnetic.


title: Plane symmetric gravitational fields in (D+1)-dimensional General Relativity

abstract: We consider plane symmetric gravitational fields within the framework of General Relativity in (D+1)-dimensional spacetime. Two classes of vacuum solutions correspond to higher-dimensional generalizations of the Rindler and Taub spacetimes. The general solutions are presented for a positive and negative cosmological constant as the only source of the gravity. Matching conditions on a planar boundary between two regions with distinct plane symmetric metric tensors are discussed. An example is considered with Rindler and Taub geometries in neighboring half-spaces. As another example, we discuss a finite thickness cosmological constant slab embedded into the Minkowski, Rindler and Taub spacetimes. The corresponding surface energy-momentum tensor is found required for matching the exterior and interior geometries.


title: The Structure of Symbolic Powers of Matroids

abstract: We describe the structure of the symbolic powers $I^{(\ell)}$ of the Stanley-Reisner ideals, and cover ideals, $I$, of matroids. We (a) prove a structure theorem describing a minimal generating set for every $I^{(\ell)}$; (b) describe the (non--standard graded) symbolic Rees algebra $\mathcal{R}_s(I)$ of $I$ and show its minimal algebra generators have degree at most ht $I$; (c) provide an explicit, simple formula to compute the largest degree of a minimal algebra generator of $\mathcal{R}_s(I)$; (d) provide algebraic applications, including formulas for the symbolic defects of $I$, the initial degree of $I^{(\ell)}$, and the Waldschmidt constant of $I$; (e) provide a new algorithm allowing fast computations of very large symbolic powers of $I$. One of the by-products is a new characterization of matroids in terms of minimal generators of $I^{(\ell)}$ for some $\ell\geq 2$. In particular, it yields a new, simple characterization of matroids in terms of the minimal generators of $I^{(2)}$. This is the first characterization of matroids in terms of $I^{(2)}$, and it complements a celebrated theorem by Minh-Trung, Varbaro, and Terai-Trung which requires the investigation of homological properties of $I^{(\ell)}$ for some $\ell\geq 3$.


title: Hacking coherent-one-way quantum key distribution with present-day technology

abstract: Recent results have shown that the secret-key rate of coherent-one-way (COW) quantum key distribution (QKD) scales quadratically with the system's transmittance, thus rendering this protocol unsuitable for long-distance transmission. This was proven by using a so-called zero-error attack, which relies on an unambiguous state discrimination (USD) measurement. This type of attack allows the eavesdropper to learn the whole secret key without introducing any error. Here, we investigate the feasibility and effectiveness of zero-error attacks against COW QKD with present-day technology. For this, we introduce two practical USD receivers that can be realized with linear passive optical elements, phase-space displacement operations and threshold single-photon detectors. The first receiver is optimal with respect to its success probability, while the second one can impose stronger restrictions on the protocol's performance with faulty eavesdropping equipment. Our findings suggest that zero-error attacks could break the security of COW QKD even assuming realistic experimental conditions.


title: Exponential time differencing for matrix-valued dynamical systems

abstract: Matrix evolution equations occur in many applications, such as dynamical Lyapunov/Sylvester systems or Riccati equations in optimization and stochastic control, machine learning or data assimilation. In many cases, their tightest stability condition is coming from a linear term. Exponential time differencing (ETD) is known to produce highly stable numerical schemes by treating the linear term in an exact fashion. In particular, for stiff problems, ETD methods are a method of choice. We propose an extension of the class of ETD algorithms to matrix-valued dynamical equations. This allows us to produce highly efficient and stable integration schemes. We show their efficiency and applicability for a variety of real-world problems, from geophysical applications to dynamical problems in machine learning.


title: Unveiling the Hidden Structure of Self-Attention via Kernel Principal Component Analysis

abstract: The remarkable success of transformers in sequence modeling tasks, spanning various applications in natural language processing and computer vision, is attributed to the critical role of self-attention. Similar to the development of most deep learning models, the construction of these attention mechanisms rely on heuristics and experience. In our work, we derive self-attention from kernel principal component analysis (kernel PCA) and show that self-attention projects its query vectors onto the principal component axes of its key matrix in a feature space. We then formulate the exact formula for the value matrix in self-attention, theoretically and empirically demonstrating that this value matrix captures the eigenvectors of the Gram matrix of the key vectors in self-attention. Leveraging our kernel PCA framework, we propose Attention with Robust Principal Components (RPC-Attention), a novel class of robust attention that is resilient to data contamination. We empirically demonstrate the advantages of RPC-Attention over softmax attention on the ImageNet-1K object classification, WikiText-103 language modeling, and ADE20K image segmentation task.


title: Through the Theory of Mind's Eye: Reading Minds with Multimodal Video Large Language Models

abstract: Can large multimodal models have a human-like ability for emotional and social reasoning, and if so, how does it work? Recent research has discovered emergent theory-of-mind (ToM) reasoning capabilities in large language models (LLMs). LLMs can reason about people's mental states by solving various text-based ToM tasks that ask questions about the actors' ToM (e.g., human belief, desire, intention). However, human reasoning in the wild is often grounded in dynamic scenes across time. Thus, we consider videos a new medium for examining spatio-temporal ToM reasoning ability. Specifically, we ask explicit probing questions about videos with abundant social and emotional reasoning content. We develop a pipeline for multimodal LLM for ToM reasoning using video and text. We also enable explicit ToM reasoning by retrieving key frames for answering a ToM question, which reveals how multimodal LLMs reason about ToM.


title: Can LLMs Reason in the Wild with Programs?

abstract: Large Language Models (LLMs) have shown superior capability to solve reasoning problems with programs. While being a promising direction, most of such frameworks are trained and evaluated in settings with a prior knowledge of task requirements. However, as LLMs become more capable, it is necessary to assess their reasoning abilities in more realistic scenarios where many real-world problems are open-ended with ambiguous scope, and often require multiple formalisms to solve. To investigate this, we introduce the task of reasoning in the wild, where an LLM is tasked to solve a reasoning problem of unknown type by identifying the subproblems and their corresponding formalisms, and writing a program to solve each subproblem, guided by a tactic. We create a large tactic-guided trajectory dataset containing detailed solutions to a diverse set of reasoning problems, ranging from well-defined single-form reasoning (e.g., math, logic), to ambiguous and hybrid ones (e.g., commonsense, combined math and logic). This allows us to test various aspects of LLMs reasoning at the fine-grained level such as the selection and execution of tactics, and the tendency to take undesired shortcuts. In experiments, we highlight that existing LLMs fail significantly on problems with ambiguous and mixed scope, revealing critical limitations and overfitting issues (e.g. accuracy on GSM8K drops by at least 50\%). We further show the potential of finetuning a local LLM on the tactic-guided trajectories in achieving better performance. Project repo is available at github.com/gblackout/Reason-in-the-Wild


title: A game of life with dormancy

abstract: The factors contributing to the persistence and stability of life are fundamental for understanding complex living systems. Organisms are commonly challenged by harsh and fluctuating environments that are suboptimal for growth and reproduction, which can lead to extinction. Species often contend with unfavorable and noisy conditions by entering a reversible state of reduced metabolic activity, a phenomenon known as dormancy. Here, we develop Spore Life, a model to investigate the effects of dormancy on population dynamics. It is based on Conway's Game of Life, a deterministic cellular automaton where simple rules govern the metabolic state of an individual based on the metabolic state of its neighbors. For individuals that would otherwise die, Spore Life provides a refuge in the form of an inactive state. These dormant individuals (spores) can resuscitate when local conditions improve. The model includes a parameter alpha that controls the survival probability of spores, interpolating between Game of Life (alpha = 0) and Spore Life (alpha = 1), while capturing stochastic dynamics in the intermediate regime (0 < alpha < 1). In addition to identifying the emergence of unique periodic configurations, we find that spore survival increases the average number of active individuals and buffers populations from extinction. Contrary to expectations, the stabilization of the population is not the result of a large and long-lived seed bank. Instead, the demographic patterns in Spore Life only require a small number of resuscitation events. Our approach yields novel insight into what is minimally required for the emergence of complex behaviors associated with dormancy and the seed banks that they generate.


title: Nonlinear modulation of dispersive fast magnetosonic waves in an inhomogeneous rotating solar low-$\beta$ magnetoplasma

abstract: We study the modulation of fast magnetosonic waves (MSWs) in rotating inhomogeneous low-$\beta$ magnetoplasmas with the effects of gravitation and the Coriolis force. By employing the standard multiple-scale reductive perturbation technique (RPT), we derive a nonlinear Schr\"{o}dinger (NLS) equation that governs the evolution of slowly varying MSW envelopes. The fast MSW becomes dispersive by the effects of the Coriolis force in the fluid motion, and the magnetic field and density inhomogeneity effects favor the Jeans instability in self-gravitating plasmas in a larger domain of the wave number ($k$, below the Jeans critical wave number, $k_J$) than homogeneous plasmas. The relative influence of the Jeans frequency ($\omega_J$, associated with the gravitational force) and the angular frequency ($\Omega_0$, relating to the Coriolis force) on the Jeans carrier MSW mode and the modulational instability (MI) of the MSW envelope is studied. We show that the MSW envelope (corresponding to the unstable carrier Jeans mode with $\omega_J>2\Omega_0$ and $k<k_J$) is always unstable against the plane wave perturbation with no cut-offs for growth rates. In contrast, the stable Jeans mode with $\omega_J>2\Omega_0$ but $k>k_J$ manifests either modulational stability or MI having a finite growth rate before being cut off. We find an enhancement of the MI growth rate by the influence of magnetic field or density inhomogeneity. The case with constant gravity force (other than the self-gravity) perpendicular to the magnetic field is also briefly discussed to show that the fast magnetosonic carrier mode is always unstable, giving MI of slowly varying envelopes with no cut-offs for the growth rates. Possible applications of MI in solar plasmas, such as those in the X-ray corona, are also briefly discussed.


title: A fully observer-covariant formulation of the fluid dynamics of simple fluids: derivation, simple examples and a generalized Orr-Sommerfeld equation

abstract: We present a formalism to describe the motion of a fluid that is fully covariant with respect to arbitrary observers. To achieve full covariance, we write prognostic equations for quantities that belong to the graded exterior algebra of the cotangent bundle of the manifold occupied by the fluid. With the new formalism, we consider problems of stability, and we derive a generalization of the Orr-Sommerfeld equation that describes the evolution of perturbations relative to an arbitrary observer. The latter is applied to cases where the observer is the Lagrangian observer comoving with the background flow.


title: FastPersist: Accelerating Model Checkpointing in Deep Learning

abstract: Model checkpoints are critical Deep Learning (DL) artifacts that enable fault tolerance for training and downstream applications, such as inference. However, writing checkpoints to persistent storage, and other I/O aspects of DL training, are mostly ignored by compute-focused optimization efforts for faster training of rapidly growing models and datasets. Towards addressing this imbalance, we propose FastPersist to accelerate checkpoint creation in DL training. FastPersist combines three novel techniques: (i) NVMe optimizations for faster checkpoint writes to SSDs, (ii) efficient write parallelism using the available SSDs in training environments, and (iii) overlapping checkpointing with independent training computations. Our evaluation using real world dense and sparse DL models shows that FastPersist creates checkpoints in persistent storage up to 116x faster than baseline, and enables per-iteration checkpointing with negligible overhead.


title: Structural and Electronic Properties of Amorphous Silicon and Germanium Monolayers and Nanotubes: A DFT Investigation

abstract: A recent breakthrough has been achieved by synthesizing monolayer amorphous carbon (MAC), which introduces a material with unique optoelectronic properties. Here, we used ab initio (DFT) molecular dynamics simulations to study silicon and germanium MAC analogs. Typical unit cells contain more than 600 atoms. We also considered their corresponding nanotube structures. The cohesion energy values for MASi and MAGe range from -8.41 to -7.49 eV/atom and follow the energy ordering of silicene and germanene. Their electronic behavior varies from metallic to small band gap semiconductors. Since silicene, germanene, and MAC have already been experimentally realized, the corresponding MAC-like versions we propose are within our present synthetic capabilities.


title: Elliptical Attention

abstract: Pairwise dot-product self-attention is key to the success of transformers that achieve state-of-the-art performance across a variety of applications in language and vision. This dot-product self-attention computes attention weights among the input tokens using Euclidean distance, which makes the model prone to representation collapse and vulnerable to contaminated samples. In this paper, we propose using a Mahalanobis distance metric for computing the attention weights to stretch the underlying feature space in directions of high contextual relevance. In particular, we define a hyper-ellipsoidal neighborhood around each query to increase the attention weights of the tokens lying in the contextually important directions. We term this novel class of attention Elliptical Attention. Our Elliptical Attention provides two benefits: 1) reducing representation collapse and 2) enhancing the model's robustness as the Elliptical Attention pays more attention to contextually relevant information rather than focusing on some small subset of informative features. We empirically demonstrate the advantages of Elliptical Attention over the baseline dot-product attention and state-of-the-art attention methods on various practical tasks, including object classification, image segmentation, and language modeling across different data modalities.


title: Notes on the Cheeger and Colding version of the Reifenberg theorem for metric spaces

abstract: The classical Reifenberg's theorem says that a set which is sufficiently well approximated by planes uniformly at all scales is a topological H\"older manifold. Remarkably, this generalizes to metric spaces, where the approximation by planes is replaced by the Gromov-Hausdorff distance. This fact was shown by Cheeger and Colding in an appendix of one of their celebrated works on Ricci limit spaces [8]. Given the recent interest around this statement in the growing field of analysis in metric spaces, in this note we provide a self contained and detailed proof of the Cheeger and Colding result. Our presentation substantially expands the arguments in [8] and makes explicit all the relevant estimates and constructions. As a byproduct we also shows a biLipschitz version of this result which, even if folklore among experts, was not present in the literature. This work is an extract from the doctoral dissertation of the second author.


title: A new look at subrepresentation formulas

abstract: We extend the subrepresentation formula $$ |f(x)|\le c_n\,I_1(|\nabla f|)(x) $$ in several ways. First, we consider more general $A_1$-potential operators on the right-hand side and prove local and global pointwise inequalities for these operators. Second, we show that we can improve the right-hand side using fractional derivatives. Finally, we extend our results to rough singular integral operators, similar to the main result in [HMP1].


title: A rigorous approach to pattern formation for isotropic isoperimetric problems with competing nonlocal interactions

abstract: We introduce a rigorous approach to the study of the symmetry breaking and pattern formation phenomenon for isotropic functionals with local/nonlocal interactions in competition. We consider a general class of nonlocal variational problems in dimension $d\geq 2$, in which an isotropic surface term favouring pure phases competes with an isotropic nonlocal term with power law kernel favouring alternation between different phases. Close to the critical regime in which the two terms are of the same order, we give a rigorous proof of the conjectured structure of global minimizers, in the shape of domains with flat boundary (e.g., stripes or lamellae). The natural framework in which our approach is set and developed is the one of calculus of variations and geometric measure theory. Among others, we detect a nonlocal curvature-type quantity which is controlled by the energy functional and whose finiteness implies flatness for sufficiently regular boundaries. The power of decay of the considered kernels at infinity is $p\geq d+3$ and it is related to pattern formation in synthetic antiferromagnets. The decay $p=d+3$ is optimal to get the flatness of regular boundaries of finite energy in the critical regime.


title: Chessboard and level sets of continuous functions

abstract: We show the following result: Let $f \colon I^n \to \mathbb{R}^{n-1}$ be a continuous function. Then, there exist $p \in \mathbb{R}^{n-1}$ and compact subset $S \subset f^{-1}\left[\left\{p\right\}\right]$ which connects some opposite faces of the $n$-dimensional unit cube $I^n$. We give an example that shows it cannot be generalized to path-connected sets. We also provide a discrete version of this result which is inspired by the $n$-dimensional Steinhaus Chessboard Theorem. Additionally, we show that the latter one and the Brouwer Fixed Point Theorem are simple consequences of the main result.


title: Finite (quantum) effect algebras

abstract: We investigate finite effect algebras and their classification. We show that an effect algebra with $n$ elements has at least $n-2$ and at most $(n-1)(n-2)/2$ nontrivial defined sums. We characterize finite effect algebras with these minimal and maximal number of defined sums. The latter effect algebras are scale effect algebras (i.e., subalgebras of [0,1]), and only those. We prove that there is exactly one scale effect algebra with $n$ elements for every integer $n \geq 2$. We show that a finite effect algebra is quantum effect algebra (i.e. a subeffect algebra of the standard quantum effect algebra) if and only if it has a finite set of order-determining states. Among effect algebras with 2-6 elements, we identify all quantum effect algebras.


title: Flow and clogging of capillary droplets

abstract: Capillary droplets form due to surface tension when two immiscible fluids are mixed. We describe the motion of gravity-driven capillary droplets flowing through narrow constrictions and obstacle arrays in both simulations and experiments. Our new capillary deformable particle model recapitulates the shape and velocity of single oil droplets in water as they pass through narrow constrictions in microfluidic chambers. Using this experimentally validated model, we simulate the flow and clogging of single capillary droplets in narrow channels and obstacle arrays and find several important results. First, the capillary droplet speed profile is nonmonotonic as the droplet exits the narrow orifice, and we can tune the droplet properties so that the speed overshoots the terminal speed far from the constriction. Second, in obstacle arrays, we find that extremely deformable droplets can wrap around obstacles, which leads to decreased average droplet speed in the continuous flow regime and increased probability for clogging in the regime where permanent clogs form. Third, the wrapping mechanism causes the clogging probability in obstacle arrays to become nonmonotonic with surface tension $\Gamma$. At large $\Gamma$, the droplets are nearly rigid and the clogging probability is large since the droplets can not squeeze through the gaps between obstacles. With decreasing $\Gamma$, the clogging probability decreases as the droplets become more deformable. However, in the small-$\Gamma$ limit the clogging probability increases, since the droplets are extremely deformable and cause clogs as they wrap around the obstacles. The results from these studies are important for developing a predictive understanding of capillary droplet flows through complex and confined geometries.


title: Game of LLMs: Discovering Structural Constructs in Activities using Large Language Models

abstract: Human Activity Recognition is a time-series analysis problem. A popular analysis procedure used by the community assumes an optimal window length to design recognition pipelines. However, in the scenario of smart homes, where activities are of varying duration and frequency, the assumption of a constant sized window does not hold. Additionally, previous works have shown these activities to be made up of building blocks. We focus on identifying these underlying building blocks--structural constructs, with the use of large language models. Identifying these constructs can be beneficial especially in recognizing short-duration and infrequent activities. We also propose the development of an activity recognition procedure that uses these building blocks to model activities, thus helping the downstream task of activity monitoring in smart homes.


title: Benchmarking Unsupervised Online IDS for Masquerade Attacks in CAN

abstract: Vehicular controller area networks (CANs) are susceptible to masquerade attacks by malicious adversaries. In masquerade attacks, adversaries silence a targeted ID and then send malicious frames with forged content at the expected timing of benign frames. As masquerade attacks could seriously harm vehicle functionality and are the stealthiest attacks to detect in CAN, recent work has devoted attention to compare frameworks for detecting masquerade attacks in CAN. However, most existing works report offline evaluations using CAN logs already collected using simulations that do not comply with domain's real-time constraints. Here we contribute to advance the state of the art by introducing a benchmark study of four different non-deep learning (DL)-based unsupervised online intrusion detection systems (IDS) for masquerade attacks in CAN. Our approach differs from existing benchmarks in that we analyze the effect of controlling streaming data conditions in a sliding window setting. In doing so, we use realistic masquerade attacks being replayed from the ROAD dataset. We show that although benchmarked IDS are not effective at detecting every attack type, the method that relies on detecting changes at the hierarchical structure of clusters of time series produces the best results at the expense of higher computational overhead. We discuss limitations, open challenges, and how the benchmarked methods can be used for practical unsupervised online CAN IDS for masquerade attacks.


title: FoRAG: Factuality-optimized Retrieval Augmented Generation for Web-enhanced Long-form Question Answering

abstract: Retrieval Augmented Generation (RAG) has become prevalent in question-answering (QA) tasks due to its ability of utilizing search engine to enhance the quality of long-form question-answering (LFQA). Despite the emergence of various open source methods and web-enhanced commercial systems such as Bing Chat, two critical problems remain unsolved, i.e., the lack of factuality and clear logic in the generated long-form answers. In this paper, we remedy these issues via a systematic study on answer generation in web-enhanced LFQA. Specifically, we first propose a novel outline-enhanced generator to achieve clear logic in the generation of multifaceted answers and construct two datasets accordingly. Then we propose a factuality optimization method based on a carefully designed doubly fine-grained RLHF framework, which contains automatic evaluation and reward modeling in different levels of granularity. Our generic framework comprises conventional fine-grained RLHF methods as special cases. Extensive experiments verify the superiority of our proposed \textit{Factuality-optimized RAG (FoRAG)} method on both English and Chinese benchmarks. In particular, when applying our method to Llama2-7B-chat, the derived model FoRAG-L-7B outperforms WebGPT-175B in terms of three commonly used metrics (i.e., coherence, helpfulness, and factuality), while the number of parameters is much smaller (only 1/24 of that of WebGPT-175B). Our datasets and models are made publicly available for better reproducibility: https://huggingface.co/forag.


title: On the maximum $F$-free induced subgraphs in $K_t$-free graphs

abstract: For graphs $F$ and $H$, let $f_{F,H}(n)$ be the minimum possible size of a maximum $F$-free induced subgraph in an $n$-vertex $H$-free graph. This notion generalizes the Ramsey function and the Erd\H{o}s--Rogers function. Establishing a container lemma for the $F$-free subgraphs, we give a general upper bound on $f_{F,H}(n)$, assuming the existence of certain locally dense $H$-free graphs. In particular, we prove that for every graph $F$ with $\mathrm{ex}(m,F) = O(m^{1+\alpha})$, where $\alpha \in [0,1/2)$, we have \[ f_{F, K_3}(n) = O\left(n^{\frac{1}{2-\alpha}}\left(\log n\right)^{\frac{3}{2- \alpha}}\right) \quad \textrm{and} \quad f_{F, K_4}(n) = O\left(n^{\frac{1}{3-2\alpha}}\left(\log n\right)^{\frac{6}{3-2\alpha}}\right). \] For the cases where $F$ is a complete multipartite graph, letting $s = \sum_{i=1}^r s_i$, we prove that \[ f_{K_{s_1,\ldots,s_r}, K_{r+2}}(n) = O \left( n^{\frac{2s -3}{4s -5}} (\log n)^{3} \right). \] We also make an observation which improves the bounds of $\mathrm{ex}(G(n,p),C_4)$ by a polylogarithmic factor.


title: A Primal-Dual Framework for Transformers and Neural Networks

abstract: Self-attention is key to the remarkable success of transformers in sequence modeling tasks including many applications in natural language processing and computer vision. Like neural network layers, these attention mechanisms are often developed by heuristics and experience. To provide a principled framework for constructing attention layers in transformers, we show that the self-attention corresponds to the support vector expansion derived from a support vector regression problem, whose primal formulation has the form of a neural network layer. Using our framework, we derive popular attention layers used in practice and propose two new attentions: 1) the Batch Normalized Attention (Attention-BN) derived from the batch normalization layer and 2) the Attention with Scaled Head (Attention-SH) derived from using less training data to fit the SVR model. We empirically demonstrate the advantages of the Attention-BN and Attention-SH in reducing head redundancy, increasing the model's accuracy, and improving the model's efficiency in a variety of practical applications including image and time-series classification.


title: Clock-line-mediated Sisyphus Cooling

abstract: We demonstrate sub-recoil Sisyphus cooling using the long-lived $^{3}\mathrm{P}_{0}$ clock state in alkaline-earth-like ytterbium. A 1388 nm optical standing wave nearly resonant with the $^{3}\textrm{P}_{0}$$\,\rightarrow$$\,^{3}\textrm{D}_{1}$ transition creates a spatially periodic light shift of the $^{3}\textrm{P}_{0}$ clock state. Following excitation on the ultranarrow clock transition, we observe Sisyphus cooling in this potential, as the light shift is correlated with excitation to $^{3}\textrm{D}_{1}$ and subsequent spontaneous decay to the $^{1}\textrm{S}_{0}$ ground state. We observe that cooling enhances the loading efficiency of atoms into a 759 nm magic-wavelength one-dimensional (1D) optical lattice, as compared to standard Doppler cooling on the $^{1}\textrm{S}_{0}$$\,\rightarrow\,$$^{3}\textrm{P}_{1}$ transition. Sisyphus cooling yields temperatures below 200 nK in the weakly confined, transverse dimensions of the 1D optical lattice. These lower temperatures improve optical lattice clocks by facilitating the use of shallow lattices with reduced light shifts, while retaining large atom numbers to reduce the quantum projection noise. This Sisyphus cooling can be pulsed or continuous and is applicable to a range of quantum metrology applications.


title: Nash equilibria of quasisupermodular games

abstract: We prove three results on the existence and structure of Nash equilibria for quasisupermodular games. A theorem is purely order-theoretic, and the other two involve topological hypotheses. Our topological results genralize Zhou's theorem (for supermodular games) and Calciano's theorem.


title: The interplay of WGC and WCCC via charged scalar field fluxes in the RPST framework

abstract: In this paper, we investigate the weak cosmic censorship conjecture (WCCC) for the Reissner-Nordstrom (R-N) AdS black hole in a restricted phase space thermodynamics (RPST). Also here, we consider energy flux and equivalence mass-energy principle and examine the weak gravity conjecture (WGC) and the weak cosmic censorship conjecture. The incoming and outgoing energy flux leads to changes in the black hole. In that case, by applying the first law, we examined whether the second law of thermodynamics is valid. And also one can say that, in the case where absorption and superradiance are in the saturated to an equilibrium. Also, by using the thermodynamics of black holes in the restricted phase space, we show that if the black hole is in an extreme or close to an extreme state with radiation and particle absorption, the weak cosmic censorship conjecture is established. In addition, with the help of equivalence mass and energy principle and second-order approximation, in the near extremity, we find that when the black hole radiates and its central charge is greater than the scaled electric charge, the superradiance particles obey the weak gravity conjecture, and this causes the black hole to move further away from its extreme state. But when the particles that obey the weak gravity conjecture are attracted to the black hole when the black hole is very small. Then, in this case, we note that the black hole becomes closer to its extreme state.


title: Efficient Implementation of a Quantum Search Algorithm for Arbitrary N

abstract: This paper presents an enhancement to Grover's search algorithm for instances where the number of items (or the size of the search problem) $N$ is not a power of 2. By employing an efficient algorithm for the preparation of uniform quantum superposition states over a subset of the computational basis states, we demonstrate that a considerable reduction in the number of oracle calls (and Grover's iterations) can be achieved in many cases. For special cases (i.e., when $N$ is of the form such that it is slightly greater than an integer power of 2), the reduction in the number of oracle calls (and Grover's iterations) asymptotically approaches 29.33\%. This improvement is significant compared to the traditional Grover's algorithm, which handles such cases by rounding $N$ up to the nearest power of 2. The key to this improvement is our algorithm for the preparation of uniform quantum superposition states over a subset of the computational basis states, which requires gate complexity and circuit depth of only $ O (\log_2 (N)) $, without using any ancilla qubits.


title: Galaxy-group-associated distances to Very High Energy gamma-ray emitting BL Lacs KUV 00311-1938 and S2 0109+22

abstract: Blazars constitute the most numerous source class in the known extragalactic population of very high energy (VHE) gamma-ray sources. However, determining their redshifts is often challenging due to weak or non-existent emission lines in their spectra. This study focuses on two BL Lacs, KUV 00311-1938 and S2 0109+22, where previous attempts at redshift determination have faced difficulties. By combining spectroscopic observations with photometric redshift estimates, we tentatively assign a redshift of z = 0.634 to KUV 00311-1938 and a likely redshift of z = 0.49 to S2 0109+22. Establishing redshift estimates for high-redshift blazars is crucial for understanding extragalactic VHE gamma-ray sources and their interactions with the surrounding universe.


title: LIT: Large Language Model Driven Intention Tracking for Proactive Human-Robot Collaboration -- A Robot Sous-Chef Application

abstract: Large Language Models (LLM) and Vision Language Models (VLM) enable robots to ground natural language prompts into control actions to achieve tasks in an open world. However, when applied to a long-horizon collaborative task, this formulation results in excessive prompting for initiating or clarifying robot actions at every step of the task. We propose Language-driven Intention Tracking (LIT), leveraging LLMs and VLMs to model the human user's long-term behavior and to predict the next human intention to guide the robot for proactive collaboration. We demonstrate smooth coordination between a LIT-based collaborative robot and the human user in collaborative cooking tasks.


title: Groupwise Deformable Registration of Diffusion Tensor Cardiovascular Magnetic Resonance: Disentangling Diffusion Contrast, Respiratory and Cardiac Motions

abstract: Diffusion tensor based cardiovascular magnetic resonance (DT-CMR) offers a non-invasive method to visualize the myocardial microstructure. With the assumption that the heart is stationary, frames are acquired with multiple repetitions for different diffusion encoding directions. However, motion from poor breath-holding and imprecise cardiac triggering complicates DT-CMR analysis, further challenged by its inherently low SNR, varied contrasts, and diffusion-induced textures. Our solution is a novel framework employing groupwise registration with an implicit template to isolate respiratory and cardiac motions, while a tensor-embedded branch preserves diffusion contrast textures. We've devised a loss refinement tailored for non-linear least squares fitting and low SNR conditions. Additionally, we introduce new physics-based and clinical metrics for performance evaluation. Access code and supplementary materials at: https://github.com/Mobbyjj/DTCMRRegistration


title: Death, Taxes, and Inequality. Can a Minimal Model Explain Real Economic Inequality?

abstract: Income inequalities and redistribution policies are modeled with a minimal, endogenous model of a simple foraging economy. The model is scaled to match human lifespans and overall death rates. Stochastic income distributions from the model are compared to empirical data from actual economies. Empirical data are fit to implied distributions providing necessary resolution for comparison. The impacts of redistribution policies on total wealth, income distributions, and inequality are shown to be similar for the empirical data and the model. These comparisons enable detailed determinations of population welfare beyond what is possible with total wealth and inequality metrics. Estate taxes in the model appear quite effective in reducing inequality without reducing total wealth. Significant income inequality emerges for the model for a population of equally capable individuals presented with equal opportunities. Stochastic population instability at both the high and low ends of infertility are considered.