title: Logic-dependent emergence of multistability, hysteresis, and biphasic dynamics in a minimal positive feedback network with an autoloop

abstract: Cellular decision-making (CDM) is a dynamic phenomenon often controlled by regulatory networks defining interactions between genes and transcription factor proteins. Traditional studies have focussed on molecular switches such as positive feedback circuits that exhibit at most bistability. However, higher-order dynamics such as tristability is also prominent in many biological processes. It is thus imperative to identify a minimal circuit that can alone explain mono, bi, and tristable dynamics. In this work, we consider a two-component positive feedback network with an autoloop and explore these regimes of stability for different degrees of multimerization and the choice of Boolean logic functions. We report that this network can exhibit numerous dynamical scenarios such as bi-and tristability, hysteresis, and biphasic kinetics, explaining the possibilities of abrupt cell state transitions and the smooth state swap without a step-like switch. Specifically, while with monomeric regulation and competitive OR logic, the circuit exhibits mono-and bistability and biphasic dynamics, with non-competitive AND and OR logics only monostability can be achieved. To obtain bistability in the latter cases, we show that the autoloop must have (at least) dimeric regulation. In pursuit of higher-order stability, we show that tristability occurs with higher degrees of multimerization and with non-competitive OR logic only. Our results, backed by rigorous analytical calculations and numerical examples, thus explain the association between multistability, multimerization, and logic in this minimal circuit. Since this circuit underlies various biological processes, including epithelial-mesenchymal transition which often drives carcinoma metastasis, these results can thus offer crucial inputs to control cell state transition by manipulating multimerization and the logic of regulation in cells.


title: Nonlinear chiral forms in the Sen formulation

abstract: The Sen formulation for chiral $(2p)$-form in $4p+2$ dimensions describes a system with two separate sectors, one is physical while the other is unphysical. Each contains a chiral form and a metric. In this paper, we focus on the cases where the self-duality condition for the unphysical sector is linear while for the physical sector can be nonlinear. We show that in order for the decoupling to be realised at the Hamiltonian and Lagrangian levels, the action should take a certain form. The decoupling at the Hamiltonian level follows the idea in the literature. Then by an appropriate field redefinition of the corresponding first-order Lagrangian, the separation at the Lagrangian level follows. We derive the diffeomorphism of the theory in the case where the chiral form in the physical sector is nonlinear and couple to external $(2p+1)$-form field. Explicit forms of Sen theories are also discussed. The Lagrangian for the quadratic theory is separated into two Henneaux-Teitelboim Lagrangians. We also discuss the method of generating explicit nonlinear theories with $p=1$ is discussed. Finally, we also show that the M5-brane action in the Sen formulation is separated into a Henneaux-Teitleboim action in unphysical sector and a gauge-fixed PST in physical sector.


title: Regular occupation measures of Volterra processes

abstract: In this work, we give a local non-determinism condition applicable to general Volterra Ito processes that allow us to obtain the space-time regularity of the occupation measure and the self-intersection measure. For the particular case of solutions to a stochastic Volterra equation, we also obtain the regularity of the one-dimensional distributions and study the absolute continuity of the finite-dimensional distributions. Finally, based on the previously shown regularity of the self-intersection measure, we prove the existence, uniqueness and stability of Volterra equations with distributional drifts of "self-intersection" type in terms of corresponding nonlinear Young equations.


title: Vortex matching at 6 T in YBa$_2$Cu$_3$O$_{7-\delta}$ thin films by imprinting a 20 nm-periodic pinning array with a focused helium ion beam

abstract: Controlled engineering of vortex pinning sites in copper-oxide superconductors is a critical issue in manufacturing devices based on magnetic flux quanta. To address this, we employed a focused He-ion beam (He-FIB) to irradiate thin YBa$_2$Cu$_3$O$_{7-\delta}$ films and create ultradense hexagonal arrays of defects with lattice spacings as small as 20 nm. Critical current and magnetoresistance measurements demonstrate efficient pinning by an unprecedentedly high matching field of 6 T visible in a huge temperature range from the critical temperature $T_c$ down to 2 K. These results show that He-FIB irradiation provides excellent opportunities for the development and application of superconducting fluxonic devices based on Abrikosov vortices. In particular, our findings suggest that such devices can operate at temperatures far below $T_c$, where superconductivity is robust.


title: Laser Resonance Chromatography: First Commissioning Results and Future Prospects

abstract: We report first results obtained during the commissioning of the Laser Resonance Chromatography (LRC) apparatus, which is conceived to enable atomic structure investigations in the region of the heaviest elements beyond nobelium. In our studies we first established optimum conditions for the operation of the different components of the setup, including the radio-frequency quadrupole ion buncher and the cryogenic drift tube, which was operated with helium buffer gas at relatively low electric fields. We used laser ablated hafnium, lutetium, and ytterbium cations to assess the chromatography performance of the drift tube at a gas temperature of $295$K. Arrival time distributions of singly charged lutetium revealed two distinct ion mobilities of this ion in the ground and metastable state in helium with a relative difference of about $19$%. By using $^{219}$Rn ions from a $^{223}$Ra recoil source the overall efficiency of the apparatus is found to be $(0.6\pm0.1)$%. The findings help to establish LRC on lutetium, which is the lighter chemical homolog of lawrencium.


title: Rethinking the Spatial Inconsistency in Classifier-Free Diffusion Guidance

abstract: Classifier-Free Guidance (CFG) has been widely used in text-to-image diffusion models, where the CFG scale is introduced to control the strength of text guidance on the whole image space. However, we argue that a global CFG scale results in spatial inconsistency on varying semantic strengths and suboptimal image quality. To address this problem, we present a novel approach, Semantic-aware Classifier-Free Guidance (S-CFG), to customize the guidance degrees for different semantic units in text-to-image diffusion models. Specifically, we first design a training-free semantic segmentation method to partition the latent image into relatively independent semantic regions at each denoising step. In particular, the cross-attention map in the denoising U-net backbone is renormalized for assigning each patch to the corresponding token, while the self-attention map is used to complete the semantic regions. Then, to balance the amplification of diverse semantic units, we adaptively adjust the CFG scales across different semantic regions to rescale the text guidance degrees into a uniform level. Finally, extensive experiments demonstrate the superiority of S-CFG over the original CFG strategy on various text-to-image diffusion models, without requiring any extra training cost. our codes are available at https://github.com/SmilesDZgk/S-CFG.


title: Multiple Floquet Chern insulator phases in the spin-charge coupled triangular-lattice ferrimagnet: Crucial roles of higher-order terms in the high-frequency expansion

abstract: We study the effects of photoirradiation with circularly polarized light on the Dirac half-metal state induced by the ferrimagnetic order in a triangular Kondo-lattice model. Our analysis based on the Floquet theory reveals that two types of Floquet Chern insulator phases appear as photoinduced nonequilibrium steady states and that these two phases can be experimentally detected and distinguished by measurements of the Hall conductivity. It is elucidated that these rich nonequilibrium topological phases come from higher-order terms in the high-frequency expansion called Brillouin-Wigner expansion, which is in striking contrast to usually discussed Floquet Chern insulator phases originating from the lowest-order terms of the expansion. So far, the lattice electron models on simple non-multipartite lattices such as triangular lattices and square lattices have not been regarded as targets of the Floquet engineering because the lowest-order terms of the high-frequency expansion for Floquet effective Hamiltonians cancel each other to vanish in these systems. Our findings of the Floquet Chern insulator phases in a triangular Kondo-lattice model are expected to expand the range of potential models and even materials targeted by the Floquet engineering.


title: MealRec$^+$: A Meal Recommendation Dataset with Meal-Course Affiliation for Personalization and Healthiness

abstract: Meal recommendation, as a typical health-related recommendation task, contains complex relationships between users, courses, and meals. Among them, meal-course affiliation associates user-meal and user-course interactions. However, an extensive literature review demonstrates that there is a lack of publicly available meal recommendation datasets including meal-course affiliation. Meal recommendation research has been constrained in exploring the impact of cooperation between two levels of interaction on personalization and healthiness. To pave the way for meal recommendation research, we introduce a new benchmark dataset called MealRec$^+$. Due to constraints related to user health privacy and meal scenario characteristics, the collection of data that includes both meal-course affiliation and two levels of interactions is impeded. Therefore, a simulation method is adopted to derive meal-course affiliation and user-meal interaction from the user's dining sessions simulated based on user-course interaction data. Then, two well-known nutritional standards are used to calculate the healthiness scores of meals. Moreover, we experiment with several baseline models, including separate and cooperative interaction learning methods. Our experiment demonstrates that cooperating the two levels of interaction in appropriate ways is beneficial for meal recommendations. Furthermore, in response to the less healthy recommendation phenomenon found in the experiment, we explore methods to enhance the healthiness of meal recommendations. The dataset is available on GitHub (https://github.com/WUT-IDEA/MealRecPlus).


title: On the existence and rigidity of critical Z2 eigenvalues

abstract: In this article, we study the eigenvalues and eigenfunction problems for the Laplace operator on multivalued functions, defined on the complement of the 2n points on the round sphere. These eigenvalues and eigensections could also be viewed as functions on the configuration spaces of points, introduced and systematically studied by Taubes-Wu. Critical eigenfunctions, which serve as local singularity models for gauge theoretical problems, are of particular interest. Our study focuses on the existence and rigidity problems pertaining to these critical eigenfunctions. We prove that for generic configurations, the critical eigenfunctions do not exist. Furthermore, for each n>1, we construct infinitely many configurations that admit critical eigensections. Additionally, we show that the Taubes-Wu tetrahedral eigensections are deformation rigid and non-degenerate. Our main tools are algebraic identities developed by Taubes-Wu and finite group representation theory.


title: An AI System Evaluation Framework for Advancing AI Safety: Terminology, Taxonomy, Lifecycle Mapping

abstract: The advent of advanced AI underscores the urgent need for comprehensive safety evaluations, necessitating collaboration across communities (i.e., AI, software engineering, and governance). However, divergent practices and terminologies across these communities, combined with the complexity of AI systems-of which models are only a part-and environmental affordances (e.g., access to tools), obstruct effective communication and comprehensive evaluation. This paper proposes a framework for AI system evaluation comprising three components: 1) harmonised terminology to facilitate communication across communities involved in AI safety evaluation; 2) a taxonomy identifying essential elements for AI system evaluation; 3) a mapping between AI lifecycle, stakeholders, and requisite evaluations for accountable AI supply chain. This framework catalyses a deeper discourse on AI system evaluation beyond model-centric approaches.


title: Design and implementation of a synchronous Hardware Performance Monitor for a RISC-V space-oriented processor

abstract: The ability to collect statistics about the execution of a program within a CPU is of the utmost importance across all fields of computing since it allows characterizing the timing performance of a program. This capability is even more relevant in safety-critical software systems, where it is mandatory to analyze software timing requirements to ensure the correct operation of the programs. Moreover, in order to properly evaluate and verify the extra-functional properties of these systems, besides timing performance, there are many other statistics available on a CPU, such as those associated with resource utilization. In this paper, we showcase a Performance Measurement Unit, also known as Hardware Performance Monitor, integrated into a RISC-V On-Board Computer designed for space applications by our research group. The monitoring technique features a novel approach whereby the events triggered are not counted immediately but instead are propagated through the pipeline so that their annotation is synchronized with the executed instruction. Additionally, we demonstrate the use of this PMU in a process to characterize the execution model of the processor. Finally, as an example of the statistics provided by the PMU, the results obtained running the CoreMark and Dhrystone benchmarks on the RISC-V OBC are shown.


title: Stress state evolution of a cemented granular material subjected to bond dissolution by Discrete Element Modeling

abstract: Rock weathering is a common phenomenon in most engineering applications, such as underground storage or geothermal energy. This work offers a discrete element modelization of the problem considering cohesive granular material and debonding effect. Oedometer conditions are applied during the weathering and the evolution of the coefficient of lateral earth pressure, a proxy of the state of stress, is tracked. Especially, the influence of the degree of cementation, the confining pressure, the initial value of k0 and the history of load are investigated. It has been emphasized that the granular media aims to reach an attractor configuration. And the grain reorganization occurring is divided into two main phenomena: the collapse of the unstable chain forces (stable only thanks to the cementation) and the softening of the grains.


title: Escape time in bistable neuronal populations driven by colored synaptic noise

abstract: Local networks of neurons are nonlinear systems driven by synaptic currents elicited by its own spiking activity and the input received from other brain areas. Synaptic currents are well approximated by correlated Gaussian noise. Besides, the population dynamics of neuronal networks is often found to be multistable, allowing the noise source to induce state transitions. State changes in neuronal systems underlies the way information is encoded and transformed. The characterization of the escape time from metastable states is then a cornerstone to understand how information is processed in the brain. The effects of correlated input forcing bistable systems have been studied for over half a century, nonetheless most results are perturbative or valid only when a separation of time scales is present. Here, we present a novel and exact result holding when the correlation time of the noise source is identical to that of the neural population, hence solving in a very general setting the mean escape time problem.


title: T-DEED: Temporal-Discriminability Enhancer Encoder-Decoder for Precise Event Spotting in Sports Videos

abstract: In this paper, we introduce T-DEED, a Temporal-Discriminability Enhancer Encoder-Decoder for Precise Event Spotting in sports videos. T-DEED addresses multiple challenges in the task, including the need for discriminability among frame representations, high output temporal resolution to maintain prediction precision, and the necessity to capture information at different temporal scales to handle events with varying dynamics. It tackles these challenges through its specifically designed architecture, featuring an encoder-decoder for leveraging multiple temporal scales and achieving high output temporal resolution, along with temporal modules designed to increase token discriminability. Leveraging these characteristics, T-DEED achieves SOTA performance on the FigureSkating and FineDiving datasets. Code is available at https://github.com/arturxe2/T-DEED.


title: PAT: Pixel-wise Adaptive Training for Long-tailed Segmentation

abstract: Beyond class frequency, we recognize the impact of class-wise relationships among various class-specific predictions and the imbalance in label masks on long-tailed segmentation learning. To address these challenges, we propose an innovative Pixel-wise Adaptive Training (PAT) technique tailored for long-tailed segmentation. PAT has two key features: 1) class-wise gradient magnitude homogenization, and 2) pixel-wise class-specific loss adaptation (PCLA). First, the class-wise gradient magnitude homogenization helps alleviate the imbalance among label masks by ensuring equal consideration of the class-wise impact on model updates. Second, PCLA tackles the detrimental impact of both rare classes within the long-tailed distribution and inaccurate predictions from previous training stages by encouraging learning classes with low prediction confidence and guarding against forgetting classes with high confidence. This combined approach fosters robust learning while preventing the model from forgetting previously learned knowledge. PAT exhibits significant performance improvements, surpassing the current state-of-the-art by 2.2% in the NyU dataset. Moreover, it enhances overall pixel-wise accuracy by 2.85% and intersection over union value by 2.07%, with a particularly notable declination of 0.39% in detecting rare classes compared to Balance Logits Variation, as demonstrated on the three popular datasets, i.e., OxfordPetIII, CityScape, and NYU.


title: Spanning plane subgraphs of $1$-plane graphs

abstract: A graph drawn on the plane is called $1$-plane if each edge is crossed at most once by another edge. In this paper, we show that every $4$-connected $1$-plane graph has a connected spanning plane subgraph. We also show that there exist infinitely many $4$-connected $1$-plane graphs that have no $2$-connected spanning plane subgraphs. Moreover, we consider the condition of $k$ and $l$ such that every $k$-connected $1$-plane graph has an $l$-connected spanning plane subgraph.


title: On an optimal AFEM for elastoplasticity

abstract: In this paper, optimal convergence for an adaptive finite element algorithm for elastoplasticity is considered. To this end, the proposed adaptive algorithm is established within the abstract framework of the axioms of adaptivity [Comput. Math. Appl., 67(6) (2014), 1195-1253], which provides a specific proceeding to prove the optimal convergence of the scheme. The proceeding is based on verifying four axioms, which ensure the optimal convergence. The verification is done by using results from [Numer. Math., 132(1) (2016), 131-154], which presents an alternative approach to optimality without explicitly relying on the axioms.


title: Emergent polar order in non-polar mixtures with non-reciprocal interactions

abstract: Phenomenological rules that govern the collective behaviour of complex physical systems are powerful tools because they can make concrete predictions about their universality class based on generic considerations, such as symmetries, conservation laws, and dimensionality. While in most cases such considerations are manifestly ingrained in the constituents, novel phenomenology can emerge when composite units associated with emergent symmetries dominate the behaviour of the system. We study a generic class of active matter systems with non-reciprocal interactions and demonstrate the existence of true long-range polar order in two dimensions and above, both at the linear level and by including all relevant nonlinearities in the Renormalization Group sense. We achieve this by uncovering a mapping of our scalar active mixture theory to the Toner-Tu theory of dry polar active matter by employing a suitably defined polar order parameter. We then demonstrate that the complete effective field theory -- which includes all the soft modes and the relevant nonlinear terms -- belongs to the (Burgers-) Kardar-Parisi-Zhang universality class. This classification allows us to prove the stability of the emergent polar long-range order in scalar non-reciprocal mixtures in two dimensions, and hence a conclusive violation of the Mermin-Wagner theorem.


title: Quantisation of semisimple real Lie groups

abstract: We provide a novel construction of quantized universal enveloping $*$-algebras of real semisimple Lie algebras, based on Letzter's theory of quantum symmetric pairs. We show that these structures can be `integrated', leading to a quantization of the group C$^*$-algebra of an arbitrary semisimple algebraic real Lie group.


title: Unveiling the nanomorphology of HfN thin films by ultrafast reciprocal space mapping

abstract: Hafnium Nitride (HfN) is a promising and very robust alternative to gold for applications of nanoscale metals. Details of the nanomorphology related to variations in strain states and optical properties can be crucial for applications in nanophotonics and plasmon-assisted chemistry. We use ultrafast reciprocal space mapping (URSM) with hard x-rays to unveil the nanomorphology of thin HfN films. Static high-resolution x-ray diffraction reveals a twofold composition of the thin films being separated into regions with identical lattice constant and similar out-of-plane but hugely different in-plane coherence lengths. URSM upon femtosecond laser excitation reveals different transient strain dynamics for the two respective Bragg peak components. This unambiguously locates the longer in-plane coherence length in the first 15\,nm of the thin film adjacent to the substrate. The transient shift of the broad diffraction peak displays the strain dynamics of the entire film, implying that the near-substrate region hosts nanocrystallites with small and large coherence length, whereas the upper part of the film grows in small columnar grains. Our results illustrate that URSM is a suitable technique for non-destructive investigations of the depth-resolved nanomorphology of nanostructures.


title: SafetyPrompts: a Systematic Review of Open Datasets for Evaluating and Improving Large Language Model Safety

abstract: The last two years have seen a rapid growth in concerns around the safety of large language models (LLMs). Researchers and practitioners have met these concerns by introducing an abundance of new datasets for evaluating and improving LLM safety. However, much of this work has happened in parallel, and with very different goals in mind, ranging from the mitigation of near-term risks around bias and toxic content generation to the assessment of longer-term catastrophic risk potential. This makes it difficult for researchers and practitioners to find the most relevant datasets for a given use case, and to identify gaps in dataset coverage that future work may fill. To remedy these issues, we conduct a first systematic review of open datasets for evaluating and improving LLM safety. We review 102 datasets, which we identified through an iterative and community-driven process over the course of several months. We highlight patterns and trends, such as a a trend towards fully synthetic datasets, as well as gaps in dataset coverage, such as a clear lack of non-English datasets. We also examine how LLM safety datasets are used in practice -- in LLM release publications and popular LLM benchmarks -- finding that current evaluation practices are highly idiosyncratic and make use of only a small fraction of available datasets. Our contributions are based on SafetyPrompts.com, a living catalogue of open datasets for LLM safety, which we commit to updating continuously as the field of LLM safety develops.


title: Generating Galaxy Clusters Mass Density Maps from Mock Multiview Images via Deep Learning

abstract: Galaxy clusters are composed of dark matter, gas and stars. Their dark matter component, which amounts to around 80\% of the total mass, cannot be directly observed but traced by the distribution of diffused gas and galaxy members. In this work, we aim to infer the cluster's projected total mass distribution from mock observational data, i.e. stars, Sunyaev-Zeldovich, and X-ray, by training deep learning models. To this end, we have created a multiview images dataset from {\sc{The Three Hundred}} simulation that is optimal for training Machine Learning models. We further study deep learning architectures based on the U-Net to account for single-input and multi-input models. We show that the predicted mass distribution agrees well with the true one.


title: Continuous-time state-space methods for delta-O-18 and delta-C-13

abstract: Time series analysis of delta-O-18 and delta-C-13 measurements from benthic foraminifera for purposes of paleoclimatology is challenging. The time series reach back tens of millions of years, they are relatively sparse in the early record and relatively dense in the later, the time stamps of the observations are not evenly spaced, and there are instances of multiple different observations at the same time stamp. The time series appear non-stationary over most of the historical record with clearly visible temporary trends of varying directions. In this paper, we propose a continuous-time state-space framework to analyze the time series. State space models are uniquely suited for this purpose, since they can accommodate all the challenging features mentioned above. We specify univariate models and joint bivariate models for the two time series of delta-O-18 and delta-C-13. The models are estimated using maximum likelihood by way of the Kalman filter recursions. The suite of models we consider has an interpretation as an application of the Butterworth filter. We propose model specifications that take the origin of the data from different studies into account and that allow for a partition of the total period into sub-periods reflecting different climate states. The models can be used, for example, to impute evenly time-stamped values by way of Kalman filtering. They can also be used, in future work, to analyze the relation to proxies for CO2 concentrations.


title: Air-Water Interface-Assisted Synthesis and Charge Transport Characterization of Quasi-2D Polyacetylene Films with Enhanced Electron Mobility via Ring-Opening Polymerization of Pyrrole

abstract: Water surfaces catalyze some organic reactions more effectively, making them unique for 2D organic material synthesis. This report introduces a new synthesis method via surfactant-monolayer-assisted interfacial synthesis on water surfaces for ring-opening polymerization of pyrrole, producing distinct polypyrrole derivatives with polyacetylene backbones and ionic substitutions. The synthesis result in quasi 2D polyacetylene (q2DPA) film with enhanced charge transport behavior. We employed time-of-flight photoconductivity (TOFP) measurements using pulsed laser light of tunable wavelength for photoexcitation of the charge carriers within the q2DPA film. The charge transport was measured in the lateral direction as a function of external bias voltage ranging from 0 V to 200 V. We observed high electron mobility ({\mu}) of q2DPA reaching values of 375 cm2 V-1 s-1 at bias voltage Vb = -20V and photon energy of 3.8 eV.


title: SoK: Gradient Leakage in Federated Learning

abstract: Federated learning (FL) enables collaborative model training among multiple clients without raw data exposure. However, recent studies have shown that clients' private training data can be reconstructed from the gradients they share in FL, known as gradient inversion attacks (GIAs). While GIAs have demonstrated effectiveness under \emph{ideal settings and auxiliary assumptions}, their actual efficacy against \emph{practical FL systems} remains under-explored. To address this gap, we conduct a comprehensive study on GIAs in this work. We start with a survey of GIAs that establishes a milestone to trace their evolution and develops a systematization to uncover their inherent threats. Specifically, we categorize the auxiliary assumptions used by existing GIAs based on their practical accessibility to potential adversaries. To facilitate deeper analysis, we highlight the challenges that GIAs face in practical FL systems from three perspectives: \textit{local training}, \textit{model}, and \textit{post-processing}. We then perform extensive theoretical and empirical evaluations of state-of-the-art GIAs across diverse settings, utilizing eight datasets and thirteen models. Our findings indicate that GIAs have inherent limitations when reconstructing data under practical local training settings. Furthermore, their efficacy is sensitive to the trained model, and even simple post-processing measures applied to gradients can be effective defenses. Overall, our work provides crucial insights into the limited effectiveness of GIAs in practical FL systems. By rectifying prior misconceptions, we hope to inspire more accurate and realistic investigations on this topic.


title: Contouring Error Bounded Control for Biaxial Switched Linear Systems

abstract: Biaxial motion control systems are used extensively in manufacturing and printing industries. To improve throughput and reduce machine cost, lightweight materials are being proposed in structural components but may result in higher flexibility in the machine links. This flexibility is often position dependent and compromises precision of the end effector of the machine. To address the need for improved contouring accuracy in industrial machines with position-dependent structural flexibility, this paper introduces a novel contouring error-bounded control algorithm for biaxial switched linear systems. The proposed algorithm utilizes model predictive control to guarantee the satisfaction of state, input, and contouring error constraints for any admissible mode switching. In this paper, the switching signal remains unknown to the controller, although information about the minimum time the system is expected to stay in a specific mode is considered to be available. The proposed algorithm has the property of recursive feasibility and ensures the stability of the closed-loop system. The effectiveness of the proposed method is demonstrated by applying it to a high-fidelity simulation of a dual-drive industrial laser machine. The results show that the contouring error is successfully bounded within the given tolerance.


title: Physics of Language Models: Part 3.3, Knowledge Capacity Scaling Laws

abstract: Scaling laws describe the relationship between the size of language models and their capabilities. Unlike prior studies that evaluate a model's capability via loss or benchmarks, we estimate the number of knowledge bits a model stores. We focus on factual knowledge represented as tuples, such as (USA, capital, Washington D.C.) from a Wikipedia page. Through multiple controlled datasets, we establish that language models can and only can store 2 bits of knowledge per parameter, even when quantized to int8, and such knowledge can be flexibly extracted for downstream applications. Consequently, a 7B model can store 14B bits of knowledge, surpassing the English Wikipedia and textbooks combined based on our estimation. More broadly, we present 12 results on how (1) training duration, (2) model architecture, (3) quantization, (4) sparsity constraints such as MoE, and (5) data signal-to-noise ratio affect a model's knowledge storage capacity. Notable insights include: * The GPT-2 architecture, with rotary embedding, matches or even surpasses LLaMA/Mistral architectures in knowledge storage, particularly over shorter training durations. This arises because LLaMA/Mistral uses GatedMLP, which is less stable and harder to train. * Prepending training data with domain names (e.g., wikipedia.org) significantly increases a model's knowledge capacity. Language models can autonomously identify and prioritize domains rich in knowledge, optimizing their storage capacity.


title: PerkwE_COQA: Enhanced Persian Conversational Question Answering by combining contextual keyword extraction with Large Language Models

abstract: Smart cities need the involvement of their residents to enhance quality of life. Conversational query-answering is an emerging approach for user engagement. There is an increasing demand of an advanced conversational question-answering that goes beyond classic systems. Existing approaches have shown that LLMs offer promising capabilities for CQA, but may struggle to capture the nuances of conversational contexts. The new approach involves understanding the content and engaging in a multi-step conversation with the user to fulfill their needs. This paper presents a novel method to elevate the performance of Persian Conversational question-answering (CQA) systems. It combines the strengths of Large Language Models (LLMs) with contextual keyword extraction. Our method extracts keywords specific to the conversational flow, providing the LLM with additional context to understand the user's intent and generate more relevant and coherent responses. We evaluated the effectiveness of this combined approach through various metrics, demonstrating significant improvements in CQA performance compared to an LLM-only baseline. The proposed method effectively handles implicit questions, delivers contextually relevant answers, and tackles complex questions that rely heavily on conversational context. The findings indicate that our method outperformed the evaluation benchmarks up to 8% higher than existing methods and the LLM-only baseline.


title: On vector measures with values in $c_0(\kappa)$

abstract: Let $\nu$ be a vector measure defined on a $\sigma$-algebra $\Sigma$ and taking values in a Banach space. We prove that if $\nu$ is homogeneous and $L_1(\nu)$ is non-separable, then there is a vector measure $\tilde{\nu}:\Sigma \to c_0(\kappa)$ such that $L_1(\nu)=L_1(\tilde{\nu})$ with equal norms, where $\kappa$ is the density character of $L_1(\nu)$. This is a non-separable version of a result of [G.P. Curbera, Pacific J. Math. 162 (1994), no. 2, 287--303].


title: A new solution of the pulsar equation

abstract: We present the first new type of solution of the pulsar equation since 1999. In it, the whole magnetosphere is confined inside the light cylinder and an electrically charged layer wraps around it and holds it together. The reason this new solution has never been obtained before is that all current time-dependent simulations are initialized with a vacuum dipole configuration that extends to infinity, thus their final steady-state solution also extends to infinity. Under special conditions, such a confined configuration may be attained when the neutron star first forms in the interior of a collapsing star during a supernova explosion, or when it accretes from an external wind or disk from a donor star. It is shown that this new maximally closed non-decelerating solution is the limit of a continuous sequence of standard magnetospheres with open and closed field lines when the amount of open field lines gradually drops to zero. The minimum energy solution in this sequence is a standard magnetosphere in which the closed field line region extends up to about 80% of the light cylinder. We estimate that the released energy when the new solution transitions to the minimum energy one is enough to power a fast radio burst.


title: Anatomical Conditioning for Contrastive Unpaired Image-to-Image Translation of Optical Coherence Tomography Images

abstract: For a unified analysis of medical images from different modalities, data harmonization using image-to-image (I2I) translation is desired. We study this problem employing an optical coherence tomography (OCT) data set of Spectralis-OCT and Home-OCT images. I2I translation is challenging because the images are unpaired, and a bijective mapping does not exist due to the information discrepancy between both domains. This problem has been addressed by the Contrastive Learning for Unpaired I2I Translation (CUT) approach, but it reduces semantic consistency. To restore the semantic consistency, we support the style decoder using an additional segmentation decoder. Our approach increases the similarity between the style-translated images and the target distribution. Importantly, we improve the segmentation of biomarkers in Home-OCT images in an unsupervised domain adaptation scenario. Our data harmonization approach provides potential for the monitoring of diseases, e.g., age related macular disease, using different OCT devices.


title: Solving quantum impurity problems on the L-shaped Kadanoff-Baym contour

abstract: The path integral formalism is the building block of many powerful numerical methods for quantum impurity problems. However, existing fermionic path integral based numerical calculations have only been performed in either the imaginary-time or the real-time axis, while the most generic scenario formulated on the L-shaped Kadanoff-Baym contour is left unexplored. In this work, we extended the recently developed Grassmann time-evolving matrix product operator (GTEMPO) method to solve quantum impurity problems directly on the Kadanoff-Baym contour. The resulting method is numerically exact, with only two sources of numerical errors, e.g., the time discretization error and the matrix product state bond truncation error, which can both be well controlled. The accuracy of this method is numerically demonstrated against exact solutions in the noninteracting case, and against existing calculations on the real- and imaginary-time axes for the single-orbital Anderson impurity model. Our method is a perfect benchmarking baseline for its alternatives which often employ less-controlled approximations, and can also be used as a real-time impurity solver in dynamical mean field theory and its non-equilibrium extension.


title: Know When To Stop: A Study of Semantic Drift in Text Generation

abstract: In this work, we explicitly show that modern LLMs tend to generate correct facts first, then "drift away" and generate incorrect facts later: this was occasionally observed but never properly measured. We develop a semantic drift score that measures the degree of separation between correct and incorrect facts in generated texts and confirm our hypothesis when generating Wikipedia-style biographies. This correct-then-incorrect generation pattern suggests that factual accuracy can be improved by knowing when to stop generation. Therefore, we explore the trade-off between information quantity and factual accuracy for several early stopping methods and manage to improve factuality by a large margin. We further show that reranking with semantic similarity can further improve these results, both compared to the baseline and when combined with early stopping. Finally, we try calling external API to bring the model back to the right generation path, but do not get positive results. Overall, our methods generalize and can be applied to any long-form text generation to produce more reliable information, by balancing trade-offs between factual accuracy, information quantity and computational cost.


title: Valley edge states as bound states in the continuum

abstract: Bound states in the continuum (BICs) are spatially localized states with energy embedded in the continuum spectrum of extended states. The combination of BICs physics and nontrivial band topology theory giving rise to topological BICs, which are robust against disorders and meanwhile of the merit of conventional BICs, is attracting wide attention recently. Here, we report valley edge states as topological BICs, which appear at domain wall between two distinct valley topological phases. The robustness of such BICs is demonstrated. The simulations and experiments show great agreement. Our findings of valley related topological BICs shed light on both BICs and valley physics, and may foster innovative applications of topological acoustic devices.


title: Search and study of young infrared stellar clusters

abstract: The main aim of this paper is to study both the Interstellar Medium (ISM) and the young stellar population in the three star-forming regions, namely IRAS 05137+3919, 05168+3634, and 19110+1045. The study of the ISM includes determination of the hydrogen column density (N(H_2)) and dust temperature (T_d) in the regions using Modified blackbody fitting. The main parameters of identified and classified young stellar objects (YSOs) belonging to the regions were determined comparing with the radiation transfer models. We also constructed a colour-magnitude diagram to compare the parameters of the YSOs with the results of the radiative transfer models. The three stellar populations appear to have formed under different scenarios. In the cases of IRAS 05137+3919 and IRAS 05168+3634, the age spread is considerably wider, suggesting that the stellar population likely emerged from independent condensations. In contrast, the third region comprises a pair of ultra-compact HII regions (UCHIIs), G45.12+0.13 and G45.07+0.13, with a notably smaller age spread. This hints at the possibility that these clusters originated from a single triggering event.


title: Two Hands Are Better Than One: Resolving Hand to Hand Intersections via Occupancy Networks

abstract: 3D hand pose estimation from images has seen considerable interest from the literature, with new methods improving overall 3D accuracy. One current challenge is to address hand-to-hand interaction where self-occlusions and finger articulation pose a significant problem to estimation. Little work has applied physical constraints that minimize the hand intersections that occur as a result of noisy estimation. This work addresses the intersection of hands by exploiting an occupancy network that represents the hand's volume as a continuous manifold. This allows us to model the probability distribution of points being inside a hand. We designed an intersection loss function to minimize the likelihood of hand-to-point intersections. Moreover, we propose a new hand mesh parameterization that is superior to the commonly used MANO model in many respects including lower mesh complexity, underlying 3D skeleton extraction, watertightness, etc. On the benchmark InterHand2.6M dataset, the models trained using our intersection loss achieve better results than the state-of-the-art by significantly decreasing the number of hand intersections while lowering the mean per-joint positional error. Additionally, we demonstrate superior performance for 3D hand uplift on Re:InterHand and SMILE datasets and show reduced hand-to-hand intersections for complex domains such as sign-language pose estimation.


title: Relation Extraction Using Large Language Models: A Case Study on Acupuncture Point Locations

abstract: In acupuncture therapy, the accurate location of acupoints is essential for its effectiveness. The advanced language understanding capabilities of large language models (LLMs) like Generative Pre-trained Transformers (GPT) present a significant opportunity for extracting relations related to acupoint locations from textual knowledge sources. This study aims to compare the performance of GPT with traditional deep learning models (Long Short-Term Memory (LSTM) and Bidirectional Encoder Representations from Transformers for Biomedical Text Mining (BioBERT)) in extracting acupoint-related location relations and assess the impact of pretraining and fine-tuning on GPT's performance. We utilized the World Health Organization Standard Acupuncture Point Locations in the Western Pacific Region (WHO Standard) as our corpus, which consists of descriptions of 361 acupoints. Five types of relations ('direction_of,' 'distance_of,' 'part_of,' 'near_acupoint,' and 'located_near') (n= 3,174) between acupoints were annotated. Five models were compared: BioBERT, LSTM, pre-trained GPT-3.5, fine-tuned GPT-3.5, as well as pre-trained GPT-4. Performance metrics included micro-average exact match precision, recall, and F1 scores. Our results demonstrate that fine-tuned GPT-3.5 consistently outperformed other models in F1 scores across all relation types. Overall, it achieved the highest micro-average F1 score of 0.92. This study underscores the effectiveness of LLMs like GPT in extracting relations related to acupoint locations, with implications for accurately modeling acupuncture knowledge and promoting standard implementation in acupuncture training and practice. The findings also contribute to advancing informatics applications in traditional and complementary medicine, showcasing the potential of LLMs in natural language processing.


title: Geometry of infinite dimensional Cartan Developments

abstract: The Cartan development takes a Lie algebra valued 1-form satisfying the Maurer-Cartan equation on a simply connected manifold $M$ to a smooth mapping from $M$ into the Lie group. In this paper this is generalized to infinite dimensional $M$ for infinite dimensional regular Lie groups. The Cartan development is viewed as a generalization of the evolution map of a regular Lie group. The tangent mapping of a Cartan development is identified as another Cartan development.


title: Indexing Analytics to Instances: How Integrating a Dashboard can Support Design Education

abstract: We investigate how to use AI-based analytics to support design education. The analytics at hand measure multiscale design, that is, students' use of space and scale to visually and conceptually organize their design work. With the goal of making the analytics intelligible to instructors, we developed a research artifact integrating a design analytics dashboard with design instances, and the design environment that students use to create them. We theorize about how Suchman's notion of mutual intelligibility requires contextualized investigation of AI in order to develop findings about how analytics work for people. We studied the research artifact in 5 situated course contexts, in 3 departments. A total of 236 students used the multiscale design environment. The 9 instructors who taught those students experienced the analytics via the new research artifact. We derive findings from a qualitative analysis of interviews with instructors regarding their experiences. Instructors reflected on how the analytics and their presentation in the dashboard have the potential to affect design education. We develop research implications addressing: (1) how indexing design analytics in the dashboard to actual design work instances helps design instructors reflect on what they mean and, more broadly, is a technique for how AI-based design analytics can support instructors' assessment and feedback experiences in situated course contexts; and (2) how multiscale design analytics, in particular, have the potential to support design education. By indexing, we mean linking which provides context, here connecting the numbers of the analytics with visually annotated design work instances.


title: Joint Active and Passive Beamforming for IRS-Aided Wireless Energy Transfer Network Exploiting One-Bit Feedback

abstract: To reap the active and passive beamforming gain in an intelligent reflecting surface (IRS)-aided wireless network, a typical way is to first acquire the channel state information (CSI) relying on the pilot signal, and then perform the joint beamforming design. However, it is a great challenge when the receiver can neither send pilot signals nor have complex signal processing capabilities due to its hardware limitation. To tackle this problem, we study in this paper an IRS-aided wireless energy transfer (WET) network and propose two joint beamforming design methods, namely, the channel-estimationbased method and the distributed-beamforming-based method, that require only one-bit feedback from the energy receiver (ER) to the energy transmitter (ET). Specifically, for the channelestimation-based method, according to the feedback information, the ET is able to infer the cascaded ET-IRS-ER channel by continually adjusting its transmit beamformer while applying the analytic center cutting plane method (ACCPM). Then, based on the estimated cascaded CSI, the joint beamforming design can be performed by using the existing optimization techniques. While for the distributed-beamforming-based method, we first apply the distributed beamforming algorithm to optimize the IRS reflection coefficients, which is theoretically proven to converge to a local optimum almost surely. Then, the optimal ET's transmit covariance matrix is obtained based on the effective ET-ER channel learned by applying the ACCPM only once. Numerical results demonstrate the effectiveness of our proposed one-bitfeedback-based joint beamforming design schemes while greatly reducing the requirement on the hardware complexity of the ER. In particular, the high accuracy of our IRS-involved cascaded channel estimation method exploiting one-bit feedback is also validated.


title: Dunford-Pettis type properties in $L_1$ of a vector measure

abstract: Let $\nu$ be a countably additive vector measure defined on a $\sigma$-algebra and taking values in a Banach space. In this paper we deal with the following three properties for the Banach lattice $L_1(\nu)$ of all $\nu$-integrable real-valued functions: the Dunford-Pettis property, the positive Schur property and being lattice-isomorphic to an AL-space. We give new results and we also provide alternative proofs of some already known ones.


title: Accretion Funnel Reconfiguration during an Outburst in a Young Stellar Object: EX Lupi

abstract: EX Lupi, a low-mass young stellar object, went into an accretion-driven outburst in March of 2022. The outburst caused a sudden phase change of ~ 112$^{\circ}$ $\pm$ 5$^{\circ}$ in periodically oscillating multiband lightcurves. Our high resolution spectra obtained with HRS on SALT also revealed a consistent phase change in the periodically varying radial velocities, along with an increase in the radial velocity amplitude of various emission lines. The phase change and increase of radial velocity amplitude morphologically translates to a change in the azimuthal and latitudinal location of the accretion hotspot over the stellar surface, which indicates a reconfiguration of the accretion funnel geometry. Our 3D MHD simulations reproduce the phase change for EX Lupi. To explain the observations we explored the possibility of forward shifting of the dipolar accretion funnel as well as the possibility of an emergence of a new accretion funnel. During the outburst, we also found evidence of the hotspot's morphology extending azimuthally, asymmetrically with a leading hot edge and cold tail along the stellar rotation. Our high cadence photometry showed that the accretion flow has clumps. We also detected possible clumpy accretion events in the HRS spectra, that showed episodically highly blue-shifted wings in the Ca II IRT and Balmer H lines.


title: The $\kappa$-model under test of the SPARC database

abstract: Our main goal is here to make a comparative analysis between the well-known MOND theory and a more recent model called$\kappa$-model. An additional connection, between the $\kappa$-model and twoother novel MOND-type theories: Newtonian Fractional-DimensionGravity (NFDG) and Refracted Gravity (RG), is likewise presented.All these models are built to overtake the DM paradigm, or at leastto strongly reduce the dark matter content. Whereas they rely ondifferent formalisms, however, all four seem to suggest that the universal parameter, a0, appearing in MOND theory could intrinsicallybe correlated to either the sole baryonic mean mass density (RG and$\kappa$-model) and/or to the dimension of the object under consideration(NFDG and $\kappa$-model). We could then confer to the parameter a0 amore flexible status of multiscale parameter, as required to explainthe dynamics together in galaxies and in galaxy clusters. Eventually,the conformal gravity theory (CFT) also seems to have some remotelink with the $\kappa$-model, even though the first one is an extension ofgeneral relativity, and the second one is Newtonian in essence. The$\kappa$-model has been tested on a small sample of spiral galaxies and ingalaxy clusters. Now we test this model on a large sample of galaxiesissued from the SPARC database.


title: Selecting active matter according to motility in an acoustofluidic setup: Self-propelled particles and sperm cells

abstract: Active systems -- including sperm cells, living organisms like bacteria, fish, birds, or active soft matter systems like synthetic ''microswimmers'' -- are characterized by motility, i.e., the ability to propel using their own ''engine''. Motility is the key feature that distinguishes active systems from passive or externally driven systems. In a large ensemble, motility of individual species can vary in a wide range. Selecting active species according to their motility represents an exciting and challenging problem. We propose a new method for selecting active species based on their motility using an acoustofluidic setup where highly motile species escape from the acoustic trap. This is demonstrated in simulations and in experiments with self-propelled Janus particles and human sperm. The immediate application of this method is selecting highly motile sperm for medically assisted reproduction (MAR). Due to the tunable acoustic trap, the proposed method is more flexible than the existing passive microfluidic methods. The proposed selection method based on motility can also be applied to other active systems that require selecting highly motile species or removing immotile species.

categories: cond-mat.soft physics.bio-ph physics.chem-ph physics.flu-dyn physics.med-ph


title: Residual Chain Prediction for Autonomous Driving Path Planning

abstract: In the rapidly evolving field of autonomous driving systems, the refinement of path planning algorithms is paramount for navigating vehicles through dynamic environments, particularly in complex urban scenarios. Traditional path planning algorithms, which are heavily reliant on static rules and manually defined parameters, often fall short in such contexts, highlighting the need for more adaptive, learning-based approaches. Among these, behavior cloning emerges as a noteworthy strategy for its simplicity and efficiency, especially within the realm of end-to-end path planning. However, behavior cloning faces challenges, such as covariate shift when employing traditional Manhattan distance as the metric. Addressing this, our study introduces the novel concept of Residual Chain Loss. Residual Chain Loss dynamically adjusts the loss calculation process to enhance the temporal dependency and accuracy of predicted path points, significantly improving the model's performance without additional computational overhead. Through testing on the nuScenes dataset, we underscore the method's substantial advancements in addressing covariate shift, facilitating dynamic loss adjustments, and ensuring seamless integration with end-to-end path planning frameworks. Our findings highlight the potential of Residual Chain Loss to revolutionize planning component of autonomous driving systems, marking a significant step forward in the quest for level 5 autonomous driving system.


title: What Are the Odds? Improving the foundations of Statistical Model Checking

abstract: Markov decision processes (MDPs) are a fundamental model for decision making under uncertainty. They exhibit non-deterministic choice as well as probabilistic uncertainty. Traditionally, verification algorithms assume exact knowledge of the probabilities that govern the behaviour of an MDP. As this assumption is often unrealistic in practice, statistical model checking (SMC) was developed in the past two decades. It allows to analyse MDPs with unknown transition probabilities and provide probably approximately correct (PAC) guarantees on the result. Model-based SMC algorithms sample the MDP and build a model of it by estimating all transition probabilities, essentially for every transition answering the question: ``What are the odds?'' However, so far the statistical methods employed by the state of the art SMC algorithms are quite naive. Our contribution are several fundamental improvements to those methods: On the one hand, we survey statistics literature for better concentration inequalities; on the other hand, we propose specialised approaches that exploit our knowledge of the MDP. Our improvements are generally applicable to many kinds of problem statements because they are largely independent of the setting. Moreover, our experimental evaluation shows that they lead to significant gains, reducing the number of samples that the SMC algorithm has to collect by up to two orders of magnitude.


title: Requirements Elicitation in Government Projects: A Preliminary Empirical Study

abstract: Government development projects vary significantly from private sector initiatives in scope, stakeholder complexity, and regulatory requirements. There is a lack of empirical studies focusing on requirements engineering (RE) activities specifically for government projects. We addressed this gap by conducting a series of semi-structured interviews with 12 professional software practitioners working on government projects. These interviewees are employed by two types of companies, each serving different government departments. Our findings uncover differences in the requirements elicitation phase between government projects, particularly for data visualization aspects, and other software projects, such as stakeholders and policy requirements. Additionally, we explore the coverage of human and social aspects in requirements elicitation, finding that culture, team dynamics, and policy implications are critical considerations. Our findings also pinpoint the main challenges encountered during the requirements elicitation phase for government projects. Our findings highlight future research work that is important to bridge the gap in RE activities for government software projects.


title: Test-Time Zero-Shot Temporal Action Localization

abstract: Zero-Shot Temporal Action Localization (ZS-TAL) seeks to identify and locate actions in untrimmed videos unseen during training. Existing ZS-TAL methods involve fine-tuning a model on a large amount of annotated training data. While effective, training-based ZS-TAL approaches assume the availability of labeled data for supervised learning, which can be impractical in some applications. Furthermore, the training process naturally induces a domain bias into the learned model, which may adversely affect the model's generalization ability to arbitrary videos. These considerations prompt us to approach the ZS-TAL problem from a radically novel perspective, relaxing the requirement for training data. To this aim, we introduce a novel method that performs Test-Time adaptation for Temporal Action Localization (T3AL). In a nutshell, T3AL adapts a pre-trained Vision and Language Model (VLM). T3AL operates in three steps. First, a video-level pseudo-label of the action category is computed by aggregating information from the entire video. Then, action localization is performed adopting a novel procedure inspired by self-supervised learning. Finally, frame-level textual descriptions extracted with a state-of-the-art captioning model are employed for refining the action region proposals. We validate the effectiveness of T3AL by conducting experiments on the THUMOS14 and the ActivityNet-v1.3 datasets. Our results demonstrate that T3AL significantly outperforms zero-shot baselines based on state-of-the-art VLMs, confirming the benefit of a test-time adaptation approach.


title: AutoCodeRover: Autonomous Program Improvement

abstract: Researchers have made significant progress in automating the software development process in the past decades. Recent progress in Large Language Models (LLMs) has significantly impacted the development process, where developers can use LLM-based programming assistants to achieve automated coding. Nevertheless software engineering involves the process of program improvement apart from coding, specifically to enable software maintenance (e.g. bug fixing) and software evolution (e.g. feature additions). In this paper, we propose an automated approach for solving GitHub issues to autonomously achieve program improvement. In our approach called AutoCodeRover, LLMs are combined with sophisticated code search capabilities, ultimately leading to a program modification or patch. In contrast to recent LLM agent approaches from AI researchers and practitioners, our outlook is more software engineering oriented. We work on a program representation (abstract syntax tree) as opposed to viewing a software project as a mere collection of files. Our code search exploits the program structure in the form of classes/methods to enhance LLM's understanding of the issue's root cause, and effectively retrieve a context via iterative search. The use of spectrum based fault localization using tests, further sharpens the context, as long as a test-suite is available. Experiments on SWE-bench-lite which consists of 300 real-life GitHub issues show increased efficacy in solving GitHub issues (22-23% on SWE-bench-lite). On the full SWE-bench consisting of 2294 GitHub issues, AutoCodeRover solved around 16% of issues, which is higher than the efficacy of the recently reported AI software engineer Devin from Cognition Labs, while taking time comparable to Devin. We posit that our workflow enables autonomous software engineering, where, in future, auto-generated code from LLMs can be autonomously improved.


title: Language Models on a Diet: Cost-Efficient Development of Encoders for Closely-Related Languages via Additional Pretraining

abstract: The world of language models is going through turbulent times, better and ever larger models are coming out at an unprecedented speed. However, we argue that, especially for the scientific community, encoder models of up to 1 billion parameters are still very much needed, their primary usage being in enriching large collections of data with metadata necessary for downstream research. We investigate the best way to ensure the existence of such encoder models on the set of very closely related languages - Croatian, Serbian, Bosnian and Montenegrin, by setting up a diverse benchmark for these languages, and comparing the trained-from-scratch models with the new models constructed via additional pretraining of existing multilingual models. We show that comparable performance to dedicated from-scratch models can be obtained by additionally pretraining available multilingual models even with a limited amount of computation. We also show that neighboring languages, in our case Slovenian, can be included in the additional pretraining with little to no loss in the performance of the final model.


title: Re-Ranking News Comments by Constructiveness and Curiosity Significantly Increases Perceived Respect, Trustworthiness, and Interest

abstract: Online commenting platforms have commonly developed systems to address online harms by removing and down-ranking content. An alternative, under-explored approach is to focus on up-ranking content to proactively prioritize prosocial commentary and set better conversational norms. We present a study with 460 English-speaking US-based news readers to understand the effects of re-ranking comments by constructiveness, curiosity, and personal stories on a variety of outcomes related to willingness to participate and engage, as well as perceived credibility and polarization in a comment section. In our rich-media survey experiment, participants across these four ranking conditions and a control group reviewed prototypes of comment sections of a Politics op-ed and Dining article. We found that outcomes varied significantly by article type. Up-ranking curiosity and constructiveness improved a number of measures for the Politics article, including perceived Respect, Trustworthiness, and Interestingness of the comment section. Constructiveness also increased perceptions that the comments were favorable to Republicans, with no condition worsening perceptions of partisans. Additionally, in the Dining article, personal stories and constructiveness rankings significantly improved the perceived informativeness of the comments. Overall, these findings indicate that incorporating prosocial qualities of speech into ranking could be a promising approach to promote healthier, less polarized dialogue in online comment sections.


title: New ideas on the formation and astrophysical detection of primordial black holes

abstract: Recently, a number of novel scenarios for primordial black hole (PBH) formation have been discovered. Some of them require very minimal new physics, some others require no new ingredients besides those already present in commonly considered models, such as supersymmetry. At the same time, new strategies have emerged for detection of PBHs. For example, an observation of an orphan kilonova unaccompanied by the gravitational waves signal of merging neutron stars, but associated with a fast radio burst, could be a smoking gun of PBH dark matter. We review some new ideas for PBH formation and detection.


title: Simplifying MBA Expression Using E-Graphs

abstract: Code obfuscation involves the addition of meaningless code or the complication of existing code in order to make a program difficult to reverse engineer. In recent years, MBA (Mixed Boolean Arithmetic) obfuscation has been applied to virus and malware code to impede expert analysis. Among the various obfuscation techniques, Mixed Boolean Arithmetic (MBA) obfuscation is considered the most challenging to decipher using existing code deobfuscation techniques. In this paper, we have attempted to simplify the MBA expression. We use an e-graph data structure to efficiently hold multiple expressions of the same semantics to systematically rewrite terms and find simpler expressions. The preliminary experimental result shows that our e-graph based MBA deobfuscation approach works faster with reasonable performance than other approaches do.


title: Nonadiabatic Field with Triangle Window Functions on Quantum Phase Space

abstract: The constraint coordinate-momentum phase space (CPS) formulation of finite-state quantum systems has recently revealed that the triangle window function approach is an isomorphic representation of the exact population-population correlation function of the two-state system. We use the triangle window (TW) function and the CPS mapping kernel element to formulate a novel useful representation of discrete electronic degrees of freedom (DOFs). When it is employed with nonadiabatic field (NaF) dynamics, a new variant of the NaF approach (i.e., NaF-TW) is proposed. Extensive benchmark tests of model systems in both the condensed phase and gas phase demonstrate that the NaF-TW approach is competent in faithfully capturing the dynamical interplay between electronic and nuclear DOFs. In comparison to the symmetrical quasi-classical (SQC) method where triangle window functions were originally proposed, the performance of NaF-TW is significantly better when the bifurcation characteristic of nuclear motion in the asymptotic region is important.

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


title: Combinatorial Correlation Clustering

abstract: Correlation Clustering is a classic clustering objective arising in numerous machine learning and data mining applications. Given a graph $G=(V,E)$, the goal is to partition the vertex set into clusters so as to minimize the number of edges between clusters plus the number of edges missing within clusters. The problem is APX-hard and the best known polynomial time approximation factor is 1.73 by Cohen-Addad, Lee, Li, and Newman [FOCS'23]. They use an LP with $|V|^{1/\epsilon^{\Theta(1)}}$ variables for some small $\epsilon$. However, due to the practical relevance of correlation clustering, there has also been great interest in getting more efficient sequential and parallel algorithms. The classic combinatorial pivot algorithm of Ailon, Charikar and Newman [JACM'08] provides a 3-approximation in linear time. Like most other algorithms discussed here, this uses randomization. Recently, Behnezhad, Charikar, Ma and Tan [FOCS'22] presented a $3+\epsilon$-approximate solution for solving problem in a constant number of rounds in the Massively Parallel Computation (MPC) setting. Very recently, Cao, Huang, Su [SODA'24] provided a 2.4-approximation in a polylogarithmic number of rounds in the MPC model and in $\tilde{O}(|E|^{1.5})$ time in the classic sequential setting. They asked whether it is possible to get a better than 3-approximation in near-linear time? We resolve this problem with an efficient combinatorial algorithm providing a drastically better approximation factor. It achieves a $\sim 2-2/13 < 1.847$-approximation in sub-linear ($\tilde O(|V|)$) sequential time or in sub-linear ($\tilde O(|V|)$) space in the streaming setting, and it uses only a constant number of rounds in the MPC model.


title: Evolution of the nuclear spin-orbit splitting explored via the $^{32}$Si($d$,$p$)$^{33}$Si reaction using SOLARIS

abstract: The spin-orbit splitting between neutron 1$p$ orbitals at $^{33}$Si has been deduced using the single-neutron-adding ($d$,$p$) reaction in inverse kinematics with a beam of $^{32}$Si, a long-lived radioisotope. Reaction products were analyzed by the newly implemented SOLARIS spectrometer at the reaccelerated-beam facility at the National Superconducting Cyclotron Laboratory. The measurements show reasonable agreement with shell-model calculations that incorporate modern cross-shell interactions, but they contradict the prediction of proton density depletion based on relativistic mean-field theory. The evolution of the neutron 1$p$-shell orbitals is systematically studied using the present and existing data in the isotonic chains of $N=17$, 19, and 21. In each case, a smooth decrease in the separation of the $1p_{3/2}$-$1p_{1/2}$ orbitals is seen as the respective $p$-orbitals approach zero binding, suggesting that the finite nuclear potential strongly influences the evolution of nuclear structure in this region.


title: Paired and Toeplitz + Hankel operators

abstract: We present complete classifications of paired operators on the Hilbert space $L^2(\mathbb{T})$ and Toeplitz + Hankel operators on vector-valued Hardy spaces. We introduce the notion of inner-paired operators defined on the Hardy space that use the classical model spaces. We fully classify inner-paired operators.


title: An intriguing connection between the Bardeen-Moshe-Bander phenomenon and 2+p spin glasses

abstract: This paper aims to establish a close connection between the Bardeen-Moshe-Bander phenomenon and a p=2+3 spin-glass model with sextic confinement potential. This is made possible by the unconventional power-counting induced by the effective kinetics provided by the disorder coupling in the large N -limit. Because of the absence of epsilon expansion, our approach is more attractive than the previous one and may probably play a relevant role in the signal detection issue in nearly continuous spectra.


title: Mapping finite-fault slip with spatial correlation between seismicity and point-source Coulomb failure stress change

abstract: Most earthquake energy release arises during fault slip many kilometers below the Earth's surface. Understanding earthquakes and their hazard requires mapping the geometry and distribution of this slip. Such finite-fault maps are typically derived from surface phenomena, such as seismic and geodetic ground motions. Here we introduce an imaging procedure for mapping finite-fault slip directly from seismicity and aftershocks - phenomena occurring at depth around an earthquake rupture. For specified source and receiver faults, we map source-fault slip in 3D by correlation of point-source Coulomb failure stress change (${\Delta}$CFS) kernels across the distribution of seismicity around an earthquake. These seismicity-stress maps show relative, static fault slip compatible with the surrounding seismicity given the physics of ${\Delta}$CFS; they can aid other slip inversions and aftershock forecasting, and be obtained for early instrumental earthquakes. We verify this procedure recovers synthetic fault slip, and matches independent estimates of slip for the 2004 Mw 6.0 Parkfield and 2021 Mw 6.0 Antelope Valley California earthquakes. For the 2018 Mw 7.1 Anchorage Alaska intra-slab earthquake, seismicity-stress maps, combined with multi-scale precise hypocenter relocation, resolve the enigma of which mainshock faulting plane ruptured (the gently east-dipping plane), and clarify slab structures activated in the energetic aftershock sequence.


title: SrRuO3 under tensile strain: Thickness-dependent electronic and magnetic properties

abstract: The burgeoning fields of spintronics and topological electronics require materials possessing a unique combination of properties: ferromagnetism, metallicity, and chemical stability. SrRuO3 (SRO) stands out as a compelling candidate due to its exceptional combination of these attributes. However, understanding its behavior under tensile strain, especially its thickness-dependent changes, remains elusive. This study employs machine-learning-assisted molecular beam epitaxy to investigate SRO films with thicknesses from 1 to 10 nm. This work complements the existing focus on compressive-strained SRO, opening a new avenue for exploring its hitherto concealed potential. Using soft X-ray magnetic circular dichroism, we uncover an intriguing interplay between film thickness, electronic structure, and magnetic properties. Our key findings reveal an intensified localization of Ru 4d t2g-O 2p hybridized states at lower thicknesses, attributed to the weakened orbital hybridization. Furthermore, we find a progressive reduction of magnetic moments for both Ru and O ions as film thickness decreases. Notably, a non-ferromagnetic insulating state emerges at a critical thickness of 1 nm, marking a pivotal transition from the metallic ferromagnetic phase. These insights emphasize the importance of considering thickness-dependent properties when tailoring SRO for next-generation spintronic and topological electronic devices.


title: Action-conditioned video data improves predictability

abstract: Long-term video generation and prediction remain challenging tasks in computer vision, particularly in partially observable scenarios where cameras are mounted on moving platforms. The interaction between observed image frames and the motion of the recording agent introduces additional complexities. To address these issues, we introduce the Action-Conditioned Video Generation (ACVG) framework, a novel approach that investigates the relationship between actions and generated image frames through a deep dual Generator-Actor architecture. ACVG generates video sequences conditioned on the actions of robots, enabling exploration and analysis of how vision and action mutually influence one another in dynamic environments. We evaluate the framework's effectiveness on an indoor robot motion dataset which consists of sequences of image frames along with the sequences of actions taken by the robotic agent, conducting a comprehensive empirical study comparing ACVG to other state-of-the-art frameworks along with a detailed ablation study.


title: Tree Search-Based Policy Optimization under Stochastic Execution Delay

abstract: The standard formulation of Markov decision processes (MDPs) assumes that the agent's decisions are executed immediately. However, in numerous realistic applications such as robotics or healthcare, actions are performed with a delay whose value can even be stochastic. In this work, we introduce stochastic delayed execution MDPs, a new formalism addressing random delays without resorting to state augmentation. We show that given observed delay values, it is sufficient to perform a policy search in the class of Markov policies in order to reach optimal performance, thus extending the deterministic fixed delay case. Armed with this insight, we devise DEZ, a model-based algorithm that optimizes over the class of Markov policies. DEZ leverages Monte-Carlo tree search similar to its non-delayed variant EfficientZero to accurately infer future states from the action queue. Thus, it handles delayed execution while preserving the sample efficiency of EfficientZero. Through a series of experiments on the Atari suite, we demonstrate that although the previous baseline outperforms the naive method in scenarios with constant delay, it underperforms in the face of stochastic delays. In contrast, our approach significantly outperforms the baselines, for both constant and stochastic delays. The code is available at http://github.com/davidva1/Delayed-EZ .


title: A birdcage resonant antenna for helicon wave generation in TORPEX

abstract: A birdcage resonant helicon antenna is designed, mounted and tested in the toroidal device TORPEX. The birdcage resonant antenna is an alternative to the usual Boswell or half-helical antenna designs commonly used for $\sim$ 10 cm diameter helicon sources in low temperature plasma devices. The main advantage of the birdcage antenna lies in its resonant nature, which makes it easily operational even at large scales, an appealing feature for the TORPEX device whose poloidal cross section is 40 cm in diameter. With this antenna helicon waves are shown to be launched and sustained throughout the whole torus of TORPEX. The helicon waves can be launched at low power on a pre-existing magnetron-generated plasma with little effect on the density profiles. The birdcage antenna can also be used alone to produce plasma, which removes the constraint of a narrow range of applied magnetic fields required by the magnetron, opening the way to a new range of studies on TORPEX with the external magnetic field as a control parameter.


title: Unlocking Adaptive User Experience with Generative AI

abstract: Developing user-centred applications that address diverse user needs requires rigorous user research. This is time, effort and cost-consuming. With the recent rise of generative AI techniques based on Large Language Models (LLMs), there is a possibility that these powerful tools can be used to develop adaptive interfaces. This paper presents a novel approach to develop user personas and adaptive interface candidates for a specific domain using ChatGPT. We develop user personas and adaptive interfaces using both ChatGPT and a traditional manual process and compare these outcomes. To obtain data for the personas we collected data from 37 survey participants and 4 interviews in collaboration with a not-for-profit organisation. The comparison of ChatGPT generated content and manual content indicates promising results that encourage using LLMs in the adaptive interfaces design process.


title: Quantum Annealers Chain Strengths: A Simple Heuristic to Set Them All

abstract: Quantum annealers (QA), such as D-Wave systems, become increasingly efficient and competitive at solving combinatorial optimization problems. However, solving problems that do not directly map the chip topology remains challenging for this type of quantum computer. The creation of logical qubits as sets of interconnected physical qubits overcomes limitations imposed by the sparsity of the chip at the expense of increasing the problem size and adding new parameters to optimize. This paper explores the advantages and drawbacks provided by the structure of the logical qubits and the impact of the rescaling of coupler strength on the minimum spectral gap of Ising models. We show that densely connected logical qubits require a lower chain strength to maintain the ferromagnetic coupling. We also analyze the optimal chain strength variations considering different minor embeddings of the same instance. This experimental study suggests that the chain strength can be optimized for each instance. We design a heuristic that optimizes the chain strength using a very low number of shots during the pre-processing step. This heuristic outperforms the default method used to initialize the chain strength on D-Wave systems, increasing the quality of the best solution by up to 17.2% for tested instances on the max-cut problem.


title: The Open Autonomy Safety Case Framework

abstract: A system safety case is a compelling, comprehensible, and valid argument about the satisfaction of the safety goals of a given system operating in a given environment supported by convincing evidence. Since the publication of UL 4600 in 2020, safety cases have become a best practice for measuring, managing, and communicating the safety of autonomous vehicles (AVs). Although UL 4600 provides guidance on how to build the safety case for an AV, the complexity of AVs and their operating environments, the novelty of the used technology, the need for complying with various regulations and technical standards, and for addressing cybersecurity concerns and ethical considerations make the development of safety cases for AVs challenging. To this end, safety case frameworks have been proposed that bring strategies, argument templates, and other guidance together to support the development of a safety case. This paper introduces the Open Autonomy Safety Case Framework, developed over years of work with the autonomous vehicle industry, as a roadmap for how AVs can be deployed safely and responsibly.


title: Unsupervised Training of Convex Regularizers using Maximum Likelihood Estimation

abstract: Unsupervised learning is a training approach in the situation where ground truth data is unavailable, such as inverse imaging problems. We present an unsupervised Bayesian training approach to learning convex neural network regularizers using a fixed noisy dataset, based on a dual Markov chain estimation method. Compared to classical supervised adversarial regularization methods, where there is access to both clean images as well as unlimited to noisy copies, we demonstrate close performance on natural image Gaussian deconvolution and Poisson denoising tasks.


title: XL$^2$Bench: A Benchmark for Extremely Long Context Understanding with Long-range Dependencies

abstract: Large Language Models (LLMs) have demonstrated remarkable performance across diverse tasks but are constrained by their small context window sizes. Various efforts have been proposed to expand the context window to accommodate even up to 200K input tokens. Meanwhile, building high-quality benchmarks with much longer text lengths and more demanding tasks to provide comprehensive evaluations is of immense practical interest to facilitate long context understanding research of LLMs. However, prior benchmarks create datasets that ostensibly cater to long-text comprehension by expanding the input of traditional tasks, which falls short to exhibit the unique characteristics of long-text understanding, including long dependency tasks and longer text length compatible with modern LLMs' context window size. In this paper, we introduce a benchmark for extremely long context understanding with long-range dependencies, XL$^2$Bench, which includes three scenarios: Fiction Reading, Paper Reading, and Law Reading, and four tasks of increasing complexity: Memory Retrieval, Detailed Understanding, Overall Understanding, and Open-ended Generation, covering 27 subtasks in English and Chinese. It has an average length of 100K+ words (English) and 200K+ characters (Chinese). Evaluating six leading LLMs on XL$^2$Bench, we find that their performance significantly lags behind human levels. Moreover, the observed decline in performance across both the original and enhanced datasets underscores the efficacy of our approach to mitigating data contamination.


title: Pansharpening of PRISMA products for archaeological prospection

abstract: Hyperspectral data recorded from satellite platforms are often ill-suited for geo-archaeological prospection due to low spatial resolution. The established potential of hyperspectral data from airborne sensors in identifying archaeological features has, on the other side, generated increased interest in enhancing hyperspectral data to achieve higher spatial resolution. This improvement is crucial for detecting traces linked to sub-surface geo-archaeological features and can make satellite hyperspectral acquisitions more suitable for archaeological research. This research assesses the usability of pansharpened PRISMA satellite products in geo-archaeological prospections. Three pan-sharpening methods (GSA, MTF-GLP and HySure) are compared quantitatively and qualitatively and tested over the archaeological landscape of Aquileia (Italy). The results suggest that the application of pansharpening techniques makes hyperspectral satellite imagery highly suitable, under certain conditions, to the identification of sub-surface archaeological features of small and large size.


title: Efficient Encodings of the Travelling Salesperson Problem for Variational Quantum Algorithms

abstract: Routing problems are a common optimization problem in industrial applications, which occur on a large scale in supply chain planning. Due to classical limitations for solving NP-hard problems, quantum computing hopes to improve upon speed or solution quality. Several suggestions have been made for encodings of routing problems to solve them with variational quantum algorithms. However, for an end user it is hard to decide a priori which encoding will give the best solutions according to their needs. In this work, we investigate different encodings for the Travelling Salesperson Problem. We compare their scaling and performance when using the Quantum Approximate Optimization Algorithm and the Variational Quantum Eigensolver and provide a clear guide for users when to choose which encoding. For small instances, we find evidence that the permutation encoding can yield good results since it does not suffer from feasibility issues.


title: RoT: Enhancing Large Language Models with Reflection on Search Trees

abstract: Large language models (LLMs) have demonstrated impressive capability in reasoning and planning when integrated with tree-search-based prompting methods. However, since these methods ignore the previous search experiences, they often make the same mistakes in the search process. To address this issue, we introduce Reflection on search Trees (RoT), an LLM reflection framework designed to improve the performance of tree-search-based prompting methods. It uses a strong LLM to summarize guidelines from previous tree search experiences to enhance the ability of a weak LLM. The guidelines are instructions about solving this task through tree search which can prevent the weak LLMs from making similar mistakes in the past search process. In addition, we proposed a novel state selection method, which identifies the critical information from historical search processes to help RoT generate more specific and meaningful guidelines. In our extensive experiments, we find that RoT significantly improves the performance of LLMs in reasoning or planning tasks with various tree-search-based prompting methods (e.g., BFS and MCTS). Non-tree-search-based prompting methods such as Chain-of-Thought (CoT) can also benefit from RoT guidelines since RoT can provide task-specific knowledge collected from the search experience.


title: Raman scattering by carbon nanotubes coupled to quantum dots via dipolar excitonic interaction

abstract: The dipole-dipole interactions between excitons are of paramount importance in the nanoscale structures. When two excitons are placed together they can exchange the energy can manifest in the resonant Raman cross sections. We provide theoretical framework for such effects by combining the coupled oscillator model and perturbation theory. We apply this theory to a hybrid film comprising semiconducting quantum dots and metallic carbon nanotubes. The quantum dots exciton has a fixed energy, while the nanotube resonances span across a larger range from 1.7 to \SI{1.93}{eV}. We acquire the resonant Raman profiles of the pristine nanotubes and hybrids and find a relative shift between them. The shift direction depends on the relative energies between the CNT and QD exciton energies, as predicted by our theory.


title: Estimates for the approximation characteristics of the Nikol'skii-Besov classes of functions with mixed smoothness in the space $B_{q,1}$

abstract: Exact-order estimates are obtained for some approximation characteristics of the classes of periodic multivariate functions with mixed smoothness (the Nikol'skii-Besov classes $B^{\boldsymbol{r}}_{p, \theta}$) in the space $B_{q,1}$, $1 \leq p, q \leq \infty$, which norm is stronger than the $L_q$-norm. It is shown, that in the multivariate case (in contrast to the univariate) in most of the considered situations the obtained estimates differ in order from the corresponding estimates in the space $L_q$. Besides, a significant progress is made in estimates for the considered approximation characteristics of the classes $B^{\boldsymbol{r}}_{p, \theta}$ in the space $B_{q, 1}$ comparing to the known estimates in the space $L_q$.


title: A Hessian for Gaussian Mixture Likelihoods in Nonlinear Least Squares

abstract: This paper proposes a novel Hessian approximation for Maximum a Posteriori estimation problems in robotics involving Gaussian mixture likelihoods. The proposed Hessian leads to better convergence properties. Previous approaches manipulate the Gaussian mixture likelihood into a form that allows the problem to be represented as a nonlinear least squares (NLS) problem. However, they result in an inaccurate Hessian approximation due to additional nonlinearities that are not accounted for in NLS solvers. The proposed Hessian approximation is derived by setting the Hessians of the Gaussian mixture component errors to zero, which is the same starting point as for the Gauss-Newton Hessian approximation for NLS, and using the chain rule to account for additional nonlinearities. The proposed Hessian approximation is more accurate, resulting in improved convergence properties that are demonstrated on simulated and real-world experiments. A method to maintain compatibility with existing solvers, such as ceres, is also presented. Accompanying software and supplementary material can be found at https://github.com/decargroup/hessian_sum_mixtures.


title: Complex network approach to the turbulent velocity gradient dynamics: High- and low-probability Lagrangian paths

abstract: Understanding the dynamics of the turbulent velocity gradient tensor (VGT) is essential to gain insights into the Navier-Stokes equations and improve small-scale turbulence modeling. However, characterizing the VGT dynamics conditional on all its relevant invariants in a continuous fashion is extremely difficult. In this paper, we represent the VGT Lagrangian dynamics using a network where each node represents a unique flow state. This approach enables us to discern how the VGT transitions from one state to another in a simplified fashion. Our analysis reveals intriguing features of the resulting network, such as the clustering of the commonly visited nodes where the eigenvalues of the VGT are real, in the proximity of the Vieillefosse tail. We then relate our complex network approach to the well-established VGT discretization based on the sign of its principal invariants, $Q$ and $R$, and its discriminant, $\Delta$. To this end, we separate the shortest paths on the network (geodesics) based on the $Q$-$R$ region to which their starting and arrival nodes belong. The distribution of the length of intra-region geodesics, with starting and arrival nodes belonging to the same $Q$-$R$ region, exhibits a distinct bimodality in two regions of the $Q$-$R$ plane, those in which the deviatoric part of the pressure Hessian introduces complexity to the VGT dynamics. Such bimodality is associated with infrequently visited nodes having to follow a long, low probability path to drastically change the state of the VGT compared to other flow states that can acquire the necessary characteristics without changing their sign for $Q$ or $R$. We complement the geodesics approach by examining random walks on the network, showing how the VGT non-normality and the associated production terms distinguish the shortest commuting paths between different $Q$-$R$ regions.


title: B-ary Tree Push-Pull Method is Provably Efficient for Distributed Learning on Heterogeneous Data

abstract: This paper considers the distributed learning problem where a group of agents cooperatively minimizes the summation of their local cost functions based on peer-to-peer communication. Particularly, we propose a highly efficient algorithm, termed ``B-ary Tree Push-Pull'' (BTPP), that employs two B-ary spanning trees for distributing the information related to the parameters and stochastic gradients across the network. The simple method is efficient in communication since each agent interacts with at most $(B+1)$ neighbors per iteration. More importantly, BTPP achieves linear speedup for smooth nonconvex objective functions with only $\tilde{O}(n)$ transient iterations, significantly outperforming the state-of-the-art results to the best of our knowledge.


title: Minimal gap for higher dimensional sequences

abstract: In this note, we extend the notion of minimal gaps to the higher dimensional sequences. We bound the minimal gap for $(\{\boldsymbol{a}_n\boldsymbol{\alpha}\}),$ $(\{a_n\boldsymbol{\alpha}\})$ and $(\{\boldsymbol{a}_n\cdot\boldsymbol{\alpha}\})$ in terms of cardinality of the difference set of $a_n$ and $\boldsymbol{a}_n,$ where $a_n$ and $a_n^{(1)},\dots,a_n^{(d)}$ are sequences of distinct integers.


title: On Optimal Transport Maps Between 1 /d-Concave Densities

abstract: In this paper, we extend the scope of Caffarelli's contraction theorem, which provides a measure of the Lipschitz constant for optimal transport maps between log-concave probability densities in $\R^d$. Our focus is on a broader category of densities, specifically those that are $\nicefrac{1}{d}$-concave and can be represented as $V^{-d}$, where $V$ is convex. By setting appropriate conditions, we derive linear or sublinear limitations for the optimal transport map. This leads us to a comprehensive Lipschitz estimate that aligns with the principles established in Caffarelli's theorem.


title: WebPie: A Tiny Slice of Dependent Typing

abstract: Dependently typed programming languages have become increasingly relevant in recent years. They have been adopted in industrial strength programming languages and have been extremely successful as the basis for theorem provers. There are however, very few entry level introductions to the theory of language constructs for dependently typed languages, and even less sources on didactical implementations. In this paper, we present a small dependently typed programming language called WebPie. The main features of the language are inductive types, recursion and case matching. While none of these features are new, we believe this article can provide a step forward towards the understanding and systematic construction of dependently typed languages for researchers new to dependent types.


title: Teaching Higher-Order Logic Using Isabelle

abstract: We present a formalization of higher-order logic in the Isabelle proof assistant, building directly on the foundational framework Isabelle/Pure and developed to be as small and readable as possible. It should therefore serve as a good introduction for someone looking into learning about higher-order logic and proof assistants, without having to study the much more complex Isabelle/HOL with heavier automation. To showcase our development and approach we explain a sample proof, describe the axioms and rules of our higher-order logic, and discuss our experience with teaching the subject in a classroom setting.


title: A Coq Library of Sets for Teaching Denotational Semantics

abstract: Sets and relations are very useful concepts for defining denotational semantics. In the Coq proof assistant, curried functions to Prop are used to represent sets and relations, e.g. A -> Prop, A -> B -> Prop, A -> B -> C -> Prop, etc. Further, the membership relation can be encoded by function applications, e.g. X a represents a in X if X: A -> Prop. This is very convenient for developing formal definitions and proofs for professional users, but it makes propositions more difficult to read for non-professional users, e.g. students of a program semantics course. We develop a small Coq library of sets and relations so that standard math notations can be used when teaching denotational semantics of simple imperative languages. This library is developed using Coq's type class system. It brings about zero proof-term overhead comparing with the existing formalization of sets.


title: Thermal melting of a vortex lattice in a quasi two-dimensional Bose gas

abstract: We report the observation of the melting of a vortex lattice in a fast rotating quasi-two dimensional Bose gas, under the influence of thermal fluctuations. We image the vortex lattice after a time-of-flight expansion, for increasing rotation frequency at constant atom number and temperature. We detect the vortex positions and study the order of the lattice using the pair correlation function and the orientational correlation function. We evidence the melting transition by an abrupt change in the decay of orientational correlations, associated to a proliferation of dislocations. Our findings are consistent with the hexatic to liquid transition in the KTHNY scenario for two-dimensional melting.