title: The use of restricted mean survival time to estimate treatment effect under model misspecification, a simulation study

abstract: The use of the non-parametric Restricted Mean Survival Time endpoint (RMST) has grown in popularity as trialists look to analyse time-to-event outcomes without the restrictions of the proportional hazards assumption. In this paper, we evaluate the power and type I error rate of the parametric and non-parametric RMST estimators when treatment effect is explained by multiple covariates, including an interaction term. Utilising the RMST estimator in this way allows the combined treatment effect to be summarised as a one-dimensional estimator, which is evaluated using a one-sided hypothesis Z-test. The estimators are either fully specified or misspecified, both in terms of unaccounted covariates or misspecified knot points (where trials exhibit crossing survival curves). A placebo-controlled trial of Gamma interferon is used as a motivating example to simulate associated survival times. When correctly specified, the parametric RMST estimator has the greatest power, regardless of the time of analysis. The misspecified RMST estimator generally performs similarly when covariates mirror those of the fitted case study dataset. However, as the magnitude of the unaccounted covariate increases, the associated power of the estimator decreases. In all cases, the non-parametric RMST estimator has the lowest power, and power remains very reliant on the time of analysis (with a later analysis time correlated with greater power).


title: Efficient Black-Box Adversarial Attacks on Neural Text Detectors

abstract: Neural text detectors are models trained to detect whether a given text was generated by a language model or written by a human. In this paper, we investigate three simple and resource-efficient strategies (parameter tweaking, prompt engineering, and character-level mutations) to alter texts generated by GPT-3.5 that are unsuspicious or unnoticeable for humans but cause misclassification by neural text detectors. The results show that especially parameter tweaking and character-level mutations are effective strategies.


title: Singularities of functions: a global point of view

abstract: This text surveys cohomological properties of pairs $(U,f)$ consisting of a smooth complex quasi-projective variety $U$ together with a regular function on~it. On the one hand, one tries to mimic the case of a germ of holomorphic function in its Milnor ball and, on the other hand, one takes advantage of the algebraicity of~$U$ and $f$ to apply technique of algebraic geometry, in particular Hodge theory. The monodromy properties are expressed by means of tools provided by the theory of linear differential equations, by mimicking the Stokes phenomenon. In the case of tame functions on smooth affine varieties, which is an algebraic analogue of that of a holomorphic function with an isolated critical point, the theory simplifies much and the formulation of the results are nicer. Examples of such tame functions are exhibited.


title: Enhancing Functional Data Analysis with Sequential Neural Networks: Advantages and Comparative Study

abstract: Functional Data Analysis (FDA) is a statistical domain developed to handle functional data characterized by high dimensionality and complex data structures. Sequential Neural Networks (SNNs) are specialized neural networks capable of processing sequence data, a fundamental aspect of functional data. Despite their great flexibility in modeling functional data, SNNs have been inadequately employed in the FDA community. One notable advantage of SNNs is the ease of implementation, making them accessible to a broad audience beyond academia. Conversely, FDA-based methodologies present challenges, particularly for practitioners outside the field, due to their intricate complexity. In light of this, we propose utilizing SNNs in FDA applications and demonstrate their effectiveness through comparative analyses against popular FDA regression models based on numerical experiments and real-world data analysis. SNN architectures allow us to surpass the limitations of traditional FDA methods, offering scalability, flexibility, and improved analytical performance. Our findings highlight the potential of SNN-based methodologies as powerful tools for data applications involving functional data.


title: Sentiment Analysis through LLM Negotiations

abstract: A standard paradigm for sentiment analysis is to rely on a singular LLM and makes the decision in a single round under the framework of in-context learning. This framework suffers the key disadvantage that the single-turn output generated by a single LLM might not deliver the perfect decision, just as humans sometimes need multiple attempts to get things right. This is especially true for the task of sentiment analysis where deep reasoning is required to address the complex linguistic phenomenon (e.g., clause composition, irony, etc) in the input. To address this issue, this paper introduces a multi-LLM negotiation framework for sentiment analysis. The framework consists of a reasoning-infused generator to provide decision along with rationale, a explanation-deriving discriminator to evaluate the credibility of the generator. The generator and the discriminator iterate until a consensus is reached. The proposed framework naturally addressed the aforementioned challenge, as we are able to take the complementary abilities of two LLMs, have them use rationale to persuade each other for correction. Experiments on a wide range of sentiment analysis benchmarks (SST-2, Movie Review, Twitter, yelp, amazon, IMDB) demonstrate the effectiveness of proposed approach: it consistently yields better performances than the ICL baseline across all benchmarks, and even superior performances to supervised baselines on the Twitter and movie review datasets.


title: Homogeneous ACM bundles on rational homogeneous spaces

abstract: In this paper, we characterize homogeneous arithmetically Cohen-Macaulay (ACM) bundles and Ulrich bundles on rational homogeneous spaces. %with respect to general polarizations. From this result, we see that there are only finitely many irreducible homogeneous ACM bundles (up to twist) and Ulrich bundles on these varieties. Moreover, we give numerical criteria for some special irreducible homogeneous bundles to be ACM bundles.


title: Long-time asymptotics for the Korteweg-de Vries equation with integrable reflectionless initial data

abstract: We show that solutions of the Korteweg-de Vries equation with reflectionless integrable initial data decompose into a (in general infinite) linear superposition of solitons after long enough time. The proof is based on a representation of reflectionless integrable potentials in terms of solutions to symmetric coupling problems for entire functions.


title: Effects of Cr content on ion-irradiation hardening of FeCrAl ODS ferritic steels with 9 wt\% Al

abstract: FeCrAl ODS steels for accident tolerant fuel claddings are designed to bear high-Cr and Al for enhancing oxidation resistance. In this study, we investigated the effects of Cr content on ion-irradiation hardening of three ODS ferritic steels with different Cr contents added with 9 wt\% Al, Fe12Cr9Al (SP12), Fe15Cr9Al (SP13), and Fe18Cr9Al (SP14). The specimens were irradiated with 6.4MeV Fe\textsuperscript{3+} at 300 \textdegree C to nominal 3 dpa. The irradiation hardening was measured by nanoindentation method, and the Nix-Gao plots were used to evaluate the bulk-equivalent hardness. The results showed that the irradiation hardening decreased with increasing Cr content. The reason is due to the growth of dislocation loops hindered by solute Cr atoms. TEM observations showed both $\langle 100\rangle$ and $1/2\langle 111\rangle$ dislocation loops existed in the irradiated area. The irradiation hardening was estimated by dispersed barrier hardening (DBH) model with dislocation loops.


title: Topological phases of strongly-interacting time-reversal invariant topological superconducting chains under a magnetic field

abstract: Using the density-matrix renormalization group, we determine the different topological phases and low-energy excitations of a time-reversal invariant topological superconducting (TRITOPS) wire with extended s-wave superconductivity, Rashba spin-orbit coupling (SOC) and on-site repulsion $U$, under an externally applied Zeeman field $J$. For the case in which $J$ is perpendicular to the SOC, the model describes a chain of Shiba impurities on top of a superconductor with extended superconductor pairing. We identify the different topological phases of the model at temperature $T=0$, and in particular study the stability of the TRITOPS phase against the Zeeman field $J$ and the chemical potential $\mu$, for different values of $U$. In the case where the magnetic field $J$ is perpendicular to the SOC axis, the pair of Kramers-degenerate Majorana zero modes at the edges of the system that exist for $J=0$, remain degenerate until a critical value of the magnetic field is reached. For $J$ parallel to the SOC and up to moderate values of $U$, the fractional spin projection $\langle S_y \rangle=1/4$ at the ends, found for non-interacting wires at $U=0$, is recovered. In addition, the analytic expression that relates $\langle S_y \rangle$ with $J$ for finite non-interacting chains is shown to be universal up to moderate values of $U$.


title: Quantitative Evaluation of a Multi-Modal Camera Setup for Fusing Event Data with RGB Images

abstract: Event-based cameras, also called silicon retinas, potentially revolutionize computer vision by detecting and reporting significant changes in intensity asynchronous events, offering extended dynamic range, low latency, and low power consumption, enabling a wide range of applications from autonomous driving to longtime surveillance. As an emerging technology, there is a notable scarcity of publicly available datasets for event-based systems that also feature frame-based cameras, in order to exploit the benefits of both technologies. This work quantitatively evaluates a multi-modal camera setup for fusing high-resolution DVS data with RGB image data by static camera alignment. The proposed setup, which is intended for semi-automatic DVS data labeling, combines two recently released Prophesee EVK4 DVS cameras and one global shutter XIMEA MQ022CG-CM RGB camera. After alignment, state-of-the-art object detection or segmentation networks label the image data by mapping boundary boxes or labeled pixels directly to the aligned events. To facilitate this process, various time-based synchronization methods for DVS data are analyzed, and calibration accuracy, camera alignment, and lens impact are evaluated. Experimental results demonstrate the benefits of the proposed system: the best synchronization method yields an image calibration error of less than 0.90px and a pixel cross-correlation deviation of1.6px, while a lens with 8mm focal length enables detection of objects with size 30cm at a distance of 350m against homogeneous background.


title: Indicative Summarization of Long Discussions

abstract: Online forums encourage the exchange and discussion of different stances on many topics. Not only do they provide an opportunity to present one's own arguments, but may also gather a broad cross-section of others' arguments. However, the resulting long discussions are difficult to overview. This paper presents a novel unsupervised approach using large language models (LLMs) to generating indicative summaries for long discussions that basically serve as tables of contents. Our approach first clusters argument sentences, generates cluster labels as abstractive summaries, and classifies the generated cluster labels into argumentation frames resulting in a two-level summary. Based on an extensively optimized prompt engineering approach, we evaluate 19~LLMs for generative cluster labeling and frame classification. To evaluate the usefulness of our indicative summaries, we conduct a purpose-driven user study via a new visual interface called Discussion Explorer: It shows that our proposed indicative summaries serve as a convenient navigation tool to explore long discussions.


title: Approaches for Biobjective Integer Linear Robust Optimization

abstract: Real-world optimization problems often do not just involve multiple objectives but also uncertain parameters. In this case, the goal is to find Pareto-optimal solutions that are robust, i.e., reasonably good under all possible realizations of the uncertain data. Such solutions have been studied in many papers within the last ten years and are called robust efficient. However, solution methods for finding robust efficient solutions are scarce. In this paper, we develop three algorithms for determining robust efficient solutions to biobjective mixed-integer linear robust optimization problems. To this end, we draw from methods for both multiobjective optimization and robust optimization: dichotomic search for biobjective mixed-integer optimization problems and an optimization-pessimization approach from (single-objective) robust optimization, which iteratively adds scenarios and thereby increases the uncertainty set. We propose two algorithms that combine dichotomic search with the optimization-pessimization method as well as a dichotomic search method for biobjective linear robust optimization that exploits duality. On the way we derive some other results: We extend dichotomic search from biobjective linear problems to biobjective linear minmax problems and generalize the optimization-pessimization method from single-objective to multi-objective robust optimization problems. We implemented and tested the three algorithms on linear and integer linear instances and discuss their respective strengths and weaknesses.


title: A note on median eigenvalues of subcubic graphs

abstract: Let $G$ be an simple graph of order $n$ whose adjacency eigenvalues are $\lambda_1\ge\dots\ge\lambda_n$. The HL--index of $G$ is defined to be $R(G)= \max\{|\lambda_{h}|, |\lambda_{l}|\}$ with $h=\left\lfloor\frac{n+1}{2}\right\rfloor$ and $ l=\left\lceil\frac{n+1}{2}\right\rceil.$ Mohar conjectured that $R(G)\le 1$ for every planar subcubic graph $G$. In this note, we prove that Mohar's Conjecture holds for every $K_4$-minor-free subcubic graph. Note that a $K_4$-minor-free graph is also called a series--parallel graph. In addition, $R(G)\le 1$ for every subcubic graph $G$ which contains a subgraph $K_{2,3}$.


title: Domain Randomization via Entropy Maximization

abstract: Varying dynamics parameters in simulation is a popular Domain Randomization (DR) approach for overcoming the reality gap in Reinforcement Learning (RL). Nevertheless, DR heavily hinges on the choice of the sampling distribution of the dynamics parameters, since high variability is crucial to regularize the agent's behavior but notoriously leads to overly conservative policies when randomizing excessively. In this paper, we propose a novel approach to address sim-to-real transfer, which automatically shapes dynamics distributions during training in simulation without requiring real-world data. We introduce DOmain RAndomization via Entropy MaximizatiON (DORAEMON), a constrained optimization problem that directly maximizes the entropy of the training distribution while retaining generalization capabilities. In achieving this, DORAEMON gradually increases the diversity of sampled dynamics parameters as long as the probability of success of the current policy is sufficiently high. We empirically validate the consistent benefits of DORAEMON in obtaining highly adaptive and generalizable policies, i.e. solving the task at hand across the widest range of dynamics parameters, as opposed to representative baselines from the DR literature. Notably, we also demonstrate the Sim2Real applicability of DORAEMON through its successful zero-shot transfer in a robotic manipulation setup under unknown real-world parameters.


title: Bridging the Gap between Multi-focus and Multi-modal: A Focused Integration Framework for Multi-modal Image Fusion

abstract: Multi-modal image fusion (MMIF) integrates valuable information from different modality images into a fused one. However, the fusion of multiple visible images with different focal regions and infrared images is a unprecedented challenge in real MMIF applications. This is because of the limited depth of the focus of visible optical lenses, which impedes the simultaneous capture of the focal information within the same scene. To address this issue, in this paper, we propose a MMIF framework for joint focused integration and modalities information extraction. Specifically, a semi-sparsity-based smoothing filter is introduced to decompose the images into structure and texture components. Subsequently, a novel multi-scale operator is proposed to fuse the texture components, capable of detecting significant information by considering the pixel focus attributes and relevant data from various modal images. Additionally, to achieve an effective capture of scene luminance and reasonable contrast maintenance, we consider the distribution of energy information in the structural components in terms of multi-directional frequency variance and information entropy. Extensive experiments on existing MMIF datasets, as well as the object detection and depth estimation tasks, consistently demonstrate that the proposed algorithm can surpass the state-of-the-art methods in visual perception and quantitative evaluation. The code is available at https://github.com/ixilai/MFIF-MMIF.


title: Graphs with arbitrary Ramsey number and connectivity

abstract: The Ramsey number $r(G)$ of a graph $G$ is the minimum number $N$ such that any red-blue colouring of the edges of $K_N$ contains a monochromatic copy of $G$. Pavez-Sign\'e, Piga and Sanhueza-Matamala proved that for any function $n\leq f(n) \leq r(K_n)$, there is a sequence of connected graphs $(G_n)_{n\in \mathbb{N}}$ with $|V(G_n)|=n$ such that $r(G_n)=\Theta(f(n))$ and conjectured that $G_n$ can additionally have arbitrarily large connectivity. In this note we prove their conjecture.


title: Learning Sparse Codes with Entropy-Based ELBOs

abstract: Standard probabilistic sparse coding assumes a Laplace prior, a linear mapping from latents to observables, and Gaussian observable distributions. We here derive a solely entropy-based learning objective for the parameters of standard sparse coding. The novel variational objective has the following features: (A) unlike MAP approximations, it uses non-trivial posterior approximations for probabilistic inference; (B) unlike for previous non-trivial approximations, the novel objective is fully analytical; and (C) the objective allows for a novel principled form of annealing. The objective is derived by first showing that the standard ELBO objective converges to a sum of entropies, which matches similar recent results for generative models with Gaussian priors. The conditions under which the ELBO becomes equal to entropies are then shown to have analytical solutions, which leads to the fully analytical objective. Numerical experiments are used to demonstrate the feasibility of learning with such entropy-based ELBOs. We investigate different posterior approximations including Gaussians with correlated latents and deep amortized approximations. Furthermore, we numerically investigate entropy-based annealing which results in improved learning. Our main contributions are theoretical, however, and they are twofold: (1) for non-trivial posterior approximations, we provide the (to the knowledge of the authors) first analytical ELBO objective for standard probabilistic sparse coding; and (2) we provide the first demonstration on how a recently shown convergence of the ELBO to entropy sums can be used for learning.


title: Complete electroweak O(Nc^2) two-loop contributions to the Higgs boson masses in the MSSM and aspects of two-loop renormalisation

abstract: Results for the full electroweak two-loop contributions of O(Nc^2), where Nc is the colour factor, to the Higgs-boson masses in the MSSM are obtained using a Feynman-diagrammatic approach including the full dependence on the external momentum. These corrections are expected to constitute the dominant part of the two-loop corrections that were still missing up to now. As a consequence of working at O(Nc^2), the relevant two-loop self-energies decompose into products of one-loop integrals, giving rise to a transparent analytical structure of the self-energies. We compare different renormalisation schemes for tanb, the ratio of the vacuum expectation values of the two Higgs doublets, and demonstrate under which conditions different renormalisation schemes can be related to each other via a simple reparametrisation. We explicitly show that this is in general not possible for mixed renormalisation schemes due to the presence of evanescent terms. In our numerical analysis, the new corrections are compared with already known two-loop contributions and the experimental uncertainty of the mass of the observed Higgs boson. While smaller than the already known two-loop corrections, the new terms are typically larger in size than the experimental uncertainty. This underlines the relevance of the so-far unknown electroweak two-loop contributions.


title: Parameterized algorithms for block-structured integer programs with large entries

abstract: We study two classic variants of block-structured integer programming. Two-stage stochastic programs are integer programs of the form $\{A_i \mathbf{x} + D_i \mathbf{y}_i = \mathbf{b}_i\textrm{ for all }i=1,\ldots,n\}$, where $A_i$ and $D_i$ are bounded-size matrices. On the other hand, $n$-fold programs are integer programs of the form $\{{\sum_{i=1}^n C_i\mathbf{y}_i=\mathbf{a}} \textrm{ and } D_i\mathbf{y}_i=\mathbf{b}_i\textrm{ for all }i=1,\ldots,n\}$, where again $C_i$ and $D_i$ are bounded-size matrices. It is known that solving these kind of programs is fixed-parameter tractable when parameterized by the maximum dimension among the relevant matrices $A_i,C_i,D_i$ and the maximum absolute value of any entry appearing in the constraint matrix. We show that the parameterized tractability results for two-stage stochastic and $n$-fold programs persist even when one allows large entries in the global part of the program. More precisely, we prove that: - The feasibility problem for two-stage stochastic programs is fixed-parameter tractable when parameterized by the dimensions of matrices $A_i,D_i$ and by the maximum absolute value of the entries of matrices $D_i$. That is, we allow matrices $A_i$ to have arbitrarily large entries. - The linear optimization problem for $n$-fold integer programs that are uniform -- all matrices $C_i$ are equal -- is fixed-parameter tractable when parameterized by the dimensions of matrices $C_i$ and $D_i$ and by the maximum absolute value of the entries of matrices $D_i$. That is, we require that $C_i=C$ for all $i=1,\ldots,n$, but we allow $C$ to have arbitrarily large entries. In the second result, the uniformity assumption is necessary; otherwise the problem is $\mathsf{NP}$-hard already when the parameters take constant values. Both our algorithms are weakly polynomial: the running time is measured in the total bitsize of the input.


title: Sedimentation of particles with very small inertia II: Derivation, Cauchy problem and hydrodynamic limit of the Vlasov-Stokes equation

abstract: We consider the sedimentation of $N$ spherical particles with identical radii $R$ in a Stokes flow in $\mathbb R^3$. The particles satisfy a no-slip boundary condition and are subject to constant gravity. The dynamics of the particles is modeled by Newton's law but with very small particle inertia as $N$ tends to infinity and $R$ to $0$. In a mean-field scaling we show that the evolution of the $N$-particle system is well approximated by the Vlasov-Stokes equation. In contrast to the transport-Stokes equation considered in the first part of this series, \cite{HoferSchubert23}, the Vlasov-Stokes equation takes into account the (small) inertia. Therefore we obtain improved error estimates. We also improve previous results on the Cauchy problem for the Vlasov-Stokes equation and on its convergence to the transport-Stokes equation in the limit of vanishing inertia. The proofs are based on relative energy estimates. In particular, we show new stability estimates for the Vlasov-Stokes equation in the $2$-Wasserstein distance. By combining a Lagrangian approach with a study of the energy dissipation, we obtain uniform stability estimates for arbitrary small particle inertia. We show that a corresponding stability estimate continues to hold for the empirical particle density which formally solves the Vlasov-Stokes equation up to an error. To this end we exploit certain uniform control on the particle configuration thanks to results in the first part \cite{HoferSchubert23}.


title: The real spectrum compactification of character varieties

abstract: We study the real spectrum compactification of character varieties of finitely generated groups in semisimple Lie groups. This provides a compactification with good topological properties, and we interpret the boundary points in terms of actions on building-like spaces. Among the applications we give a general framework guaranteeing the existence of equivariant harmonic maps in building-like spaces.


title: Spatial prediction of diameter distributions for the alpine protection forests in Ebensee, Austria, using ALS/PLS and spatial distributional regression models

abstract: A spatial distributional regression model is presented to predict the forest structural diversity in terms of the distributions of the stem diameter at breast height (DBH) in the protection forests in Ebensee, Austria. In total 36,338 sample trees were measured via a handheld mobile personal laser scanning system (PLS) on 273 sample plots each having a 20 m radius. Recent airborne laser scanning (ALS) data was used to derive regression covariates from the normalized digital vegetation height model (DVHM) and the digital terrain model (DTM). Candidate models were constructed that differed in their linear predictors of the two gamma distribution parameters. Non-linear smoothing splines outperformed linear parametric slope coefficients, and the best implementation of spatial structured effects was achieved by a Gaussian process smooth. Model fitting and posterior parameter inference was achieved by using full Bayesian methodology and MCMC sampling algorithms implemented in the R-package BAMLSS. Spatial predictions of stem count proportions per DBH classes revealed that regeneration of smaller trees was lacking in certain areas of the protection forest landscape.


title: Simulation of acquisition shifts in T2 Flair MR images to stress test AI segmentation networks

abstract: Purpose: To provide a simulation framework for routine neuroimaging test data, which allows for "stress testing" of deep segmentation networks against acquisition shifts that commonly occur in clinical practice for T2 weighted (T2w) fluid attenuated inversion recovery (FLAIR) Magnetic Resonance Imaging (MRI) protocols. Approach: The approach simulates "acquisition shift derivatives" of MR images based on MR signal equations. Experiments comprise the validation of the simulated images by real MR scans and example stress tests on state-of-the-art MS lesion segmentation networks to explore a generic model function to describe the F1 score in dependence of the contrast-affecting sequence parameters echo time (TE) and inversion time (TI). Results: The differences between real and simulated images range up to 19 % in gray and white matter for extreme parameter settings. For the segmentation networks under test the F1 score dependency on TE and TI can be well described by quadratic model functions (R^2 > 0.9). The coefficients of the model functions indicate that changes of TE have more influence on the model performance than TI. Conclusions: We show that these deviations are in the range of values as may be caused by erroneous or individual differences of relaxation times as described by literature. The coefficients of the F1 model function allow for quantitative comparison of the influences of TE and TI. Limitations arise mainly from tissues with the low baseline signal (like CSF) and when the protocol contains contrast-affecting measures that cannot be modelled due to missing information in the DICOM header.


title: Enhancing search engine precision and user experience through sentiment-based polysemy resolution

abstract: With the proliferation of digital content and the need for efficient information retrieval, this study's insights can be applied to various domains, including news services, e-commerce, and digital marketing, to provide users with more meaningful and tailored experiences. The study addresses the common problem of polysemy in search engines, where the same keyword may have multiple meanings. It proposes a solution to this issue by embedding a smart search function into the search engine, which can differentiate between different meanings based on sentiment. The study leverages sentiment analysis, a powerful natural language processing (NLP) technique, to classify and categorize news articles based on their emotional tone. This can provide more insightful and nuanced search results. The article reports an impressive accuracy rate of 85% for the proposed smart search function, which outperforms conventional search engines. This indicates the effectiveness of the sentiment-based approach. The research explores multiple sentiment analysis models, including Sentistrength and Valence Aware Dictionary for Sentiment Reasoning (VADER), to determine the best-performing approach. The findings can be applied to enhance search engines, making them more capable of understanding the context and intent behind users 'queries. This can lead to better search results that are more aligned with what users are looking for. The proposed smart search function can improve the user experience by reducing the need to sift through irrelevant search results. This is particularly important in an age where information overload is common.


title: From a distance: Shuttleworth revisited

abstract: The Shuttleworth equation: a linear stress-strain relation ubiquitously used in modeling the behavior of soft surfaces. Its validity in the realm of materials subject to large deformation is a topic of current debate. Here, we allow for large deformation by deriving the constitutive behavior of the surface from the general framework of finite kinematics. We distinguish cases of finite and infinitesimal surface relaxation preceding an infinitesimal applied deformation. The Shuttleworth equation identifies as the Cauchy stress measure in the fully linearized setting. We show that both in finite and linearized cases, measured elastic constants depend on the utilized stress measure. In addition, we discuss the physical implications of our results and analyze the impact of surface relaxation on the estimation of surface elastic moduli in the light of two different test cases.


title: Mean field theory for strongly coupled systems: Holographic approach

abstract: In this paper, we develop the holographic mean field theory for strongly interacting fermion systems. We investigate various types of the symmetry-breakings and their effect on the spectral function. We found analytic expressions of fermion Green's functions in the probe-limit for all types of tensor order parameter fields. We classified the spectral shapes and singularity types from the analytic Green's function. We calculated the fermions spectral function in the full backreacted background and then compared it with the analytic results to show the reliability of analytic results in the probe limit.


title: A Custom Discrete Amplifier-Shaper-Discriminator Circuit for the Drift Chambers of the R3B Experiment at GSI

abstract: This contribution presents a pragmatic approach to read-out electronics for drift chambers used in particle physics experiments, specifically for the R3B experiment at GSI. The design uses discrete miniature SMD components and LVDS inputs of a low-cost FPGA to achieve a performance similar to classic ASIC solutions to the problem. The circuit comprises a high gain, low noise amplifier, a custom signal shaper, tailored to the specifics of proportional counter signals, and a leading-edge discriminator with programmable threshold. The presented approach offers an attractive solution for small to medium sized detector systems that require specialized read-out electronics but cannot afford the high cost and development effort associated with ASICs.


title: A brief review on Fast Radio Bursts

abstract: This is a brief, non-exhaustive review of Fast Radio Burst (FRB), a new category of radio transients originating from extragalactic distances. We discuss the key observational properties known so far and the scientific applications of FRBs. We summarize the FRB-related research in the French astrophysics community, and conclude by sharing some insights to the future of FRB science.


title: Online non-parametric likelihood-ratio estimation by Pearson-divergence functional minimization

abstract: Quantifying the difference between two probability density functions, $p$ and $q$, using available data, is a fundamental problem in Statistics and Machine Learning. A usual approach for addressing this problem is the likelihood-ratio estimation (LRE) between $p$ and $q$, which -- to our best knowledge -- has been investigated mainly for the offline case. This paper contributes by introducing a new framework for online non-parametric LRE (OLRE) for the setting where pairs of iid observations $(x_t \sim p, x'_t \sim q)$ are observed over time. The non-parametric nature of our approach has the advantage of being agnostic to the forms of $p$ and $q$. Moreover, we capitalize on the recent advances in Kernel Methods and functional minimization to develop an estimator that can be efficiently updated online. We provide theoretical guarantees for the performance of the OLRE method along with empirical validation in synthetic experiments.


title: Agent-based Modelling of Credit Card Promotions

abstract: Interest-free promotions are a prevalent strategy employed by credit card lenders to attract new customers, yet the research exploring their effects on both consumers and lenders remains relatively sparse. The process of selecting an optimal promotion strategy is intricate, involving the determination of an interest-free period duration and promotion-availability window, all within the context of competing offers, fluctuating market dynamics, and complex consumer behaviour. In this paper, we introduce an agent-based model that facilitates the exploration of various credit card promotions under diverse market scenarios. Our approach, distinct from previous agent-based models, concentrates on optimising promotion strategies and is calibrated using benchmarks from the UK credit card market from 2019 to 2020, with agent properties derived from historical distributions of the UK population from roughly the same period. We validate our model against stylised facts and time-series data, thereby demonstrating the value of this technique for investigating pricing strategies and understanding credit card customer behaviour. Our experiments reveal that, in the absence of competitor promotions, lender profit is maximised by an interest-free duration of approximately 12 months while market share is maximised by offering the longest duration possible. When competitors do not offer promotions, extended promotion availability windows yield maximum profit for lenders while also maximising market share. In the context of concurrent interest-free promotions, we identify that the optimal lender strategy entails offering a more competitive interest-free period and a rapid response to competing promotional offers. Notably, a delay of three months in responding to a rival promotion corresponds to a 2.4% relative decline in income.


title: High Precision Causal Model Evaluation with Conditional Randomization

abstract: The gold standard for causal model evaluation involves comparing model predictions with true effects estimated from randomized controlled trials (RCT). However, RCTs are not always feasible or ethical to perform. In contrast, conditionally randomized experiments based on inverse probability weighting (IPW) offer a more realistic approach but may suffer from high estimation variance. To tackle this challenge and enhance causal model evaluation in real-world conditional randomization settings, we introduce a novel low-variance estimator for causal error, dubbed as the pairs estimator. By applying the same IPW estimator to both the model and true experimental effects, our estimator effectively cancels out the variance due to IPW and achieves a smaller asymptotic variance. Empirical studies demonstrate the improved of our estimator, highlighting its potential on achieving near-RCT performance. Our method offers a simple yet powerful solution to evaluate causal inference models in conditional randomization settings without complicated modification of the IPW estimator itself, paving the way for more robust and reliable model assessments.


title: A symmetry-based theory for the mean velocity profiles of turbulent boundary layers subjected to pressure gradient and historical turbulence effects

abstract: The pressure gradient has a significant influence on the mean-flow properties of turbulent boundary layers. Conventional analytical studies on PG turbulent boundary layers are conducted separately for the viscous sub-layer and overlap layer only, with the remaining large portion of the boundary layers less described theoretically. Here a symmetry approach is proposed for modeling whole mean velocity profiles of turbulent boundary layers with both PG and historical turbulence effects. First, a modified defect law is constructed for the total stress profile to capture the Reynolds stress overshoot owing to the PG and historical turbulence effects. Second, the multi-layered power-law formulation of the stress length function in the structural ensemble dynamics theory of the canonical zero-PG turbulent boundary layer (J. Fluid Mechanics, 2017, Vol. 827, pp. 322-35) is extended to describe the PG turbulent boundary layer. Comparing with that of the zero-PG turbulent boundary layers, the stress length of the PG turbulent boundary layer possesses a variable (in magnitude and extension) plateau in the defect layer, which are characterized by three parameters: the buffer layer thickness, the (nominal) K'arm'an constant, and the defect-law exponent. In the case of intense turbulence from upstream flow, a newly-identified "bulk turbulent layer" replaces the conventional buffer layer and overlap layer. With the above formulations, the entire mean velocity profile is predicted analytically, and validated to accurately describe the published direct numerical simulation data on a two-dimensional separation bubble. The study provides a novel method to parameterize PG turbulent boundary layers with high accuracy and sound physics, and paves a way for quantifying complicated boundary-layer flows.


title: ViCTORIA project: The LOFAR-view of environmental effects in Virgo Cluster star-forming galaxies

abstract: Environmental effects such as ram-pressure stripping (RPS) shape the evolution of galaxies in dense regions. We use the nearby Virgo cluster as a laboratory to study environmental effects on the non-thermal components of star-forming galaxies. We constructed a sample of 17 RPS galaxies in the Virgo cluster and a statistical control sample of 119 nearby galaxies from the Herschel Reference Survey. All objects in these samples are detected in LOFAR 144 MHz observations and come with H$\alpha$ and/or far-UV star formation rate (SFR) estimates. We derived the radio-SFR relations, confirming a clearly super-linear slope of $\approx1.4$. We found that Virgo cluster RPS galaxies have radio luminosities that are a factor of 2-3 larger than galaxies in our control sample. We also investigated the total mass-spectral index relation, where we found a relation for the Virgo cluster RPS galaxies that is shifted to steeper spectral index values by $0.17\pm0.06$. Analyzing the spatially resolved ratio between the observed and the expected radio emission based on the hybrid near-UV + 100$\,\mu$m SFR surface density, we generally observe excess radio emission all across the disk with the exception of a few leading-edge radio-deficient regions. The radio excess and the spectral steepening for the RPS sample could be explained by an increased magnetic field strength if the disk-wide radio enhancement is due to projection effects. For the galaxies that show the strongest radio excesses (NGC 4330, NGC 4396, NGC 4522), a rapid decline of the SFR ($t_\mathrm{quench} \leq 100$ Myr) could be an alternative explanation. We disfavor shock acceleration of electrons as cause for the radio excess since it cannot easily explain the spectral steepening and radio morphology.


title: From Chaos to Calibration: A Geometric Mutual Information Approach to Target-Free Camera LiDAR Extrinsic Calibration

abstract: Sensor fusion is vital for the safe and robust operation of autonomous vehicles. Accurate extrinsic sensor to sensor calibration is necessary to accurately fuse multiple sensor's data in a common spatial reference frame. In this paper, we propose a target free extrinsic calibration algorithm that requires no ground truth training data, artificially constrained motion trajectories, hand engineered features or offline optimization and that is accurate, precise and extremely robust to initialization error. Most current research on online camera-LiDAR extrinsic calibration requires ground truth training data which is impossible to capture at scale. We revisit analytical mutual information based methods first proposed in 2012 and demonstrate that geometric features provide a robust information metric for camera-LiDAR extrinsic calibration. We demonstrate our proposed improvement using the KITTI and KITTI-360 fisheye data set.


title: Simplifying Transformer Blocks

abstract: A simple design recipe for deep Transformers is to compose identical building blocks. But standard transformer blocks are far from simple, interweaving attention and MLP sub-blocks with skip connections & normalisation layers in precise arrangements. This complexity leads to brittle architectures, where seemingly minor changes can significantly reduce training speed, or render models untrainable. In this work, we ask to what extent the standard transformer block can be simplified? Combining signal propagation theory and empirical observations, we motivate modifications that allow many block components to be removed with no loss of training speed, including skip connections, projection or value parameters, sequential sub-blocks and normalisation layers. In experiments on both autoregressive decoder-only and BERT encoder-only models, our simplified transformers emulate the per-update training speed and performance of standard transformers, while enjoying 15% faster training throughput, and using 15% fewer parameters.


title: BoschAI @ PLABA 2023: Leveraging Edit Operations in End-to-End Neural Sentence Simplification

abstract: Automatic simplification can help laypeople to comprehend complex scientific text. Language models are frequently applied to this task by translating from complex to simple language. In this paper, we describe our system based on Llama 2, which ranked first in the PLABA shared task addressing the simplification of biomedical text. We find that the large portion of shared tokens between input and output leads to weak training signals and conservatively editing models. To mitigate these issues, we propose sentence-level and token-level loss weights. They give higher weight to modified tokens, indicated by edit distance and edit operations, respectively. We conduct an empirical evaluation on the PLABA dataset and find that both approaches lead to simplifications closer to those created by human annotators (+1.8% / +3.5% SARI), simpler language (-1 / -1.1 FKGL) and more edits (1.6x / 1.8x edit distance) compared to the same model fine-tuned with standard cross entropy. We furthermore show that the hyperparameter $\lambda$ in token-level loss weights can be used to control the edit distance and the simplicity level (FKGL).


title: LLM-driven Multimodal Target Volume Contouring in Radiation Oncology

abstract: Target volume contouring for radiation therapy is considered significantly more challenging than the normal organ segmentation tasks as it necessitates the utilization of both image and text-based clinical information. Inspired by the recent advancement of large language models (LLMs) that can facilitate the integration of the textural information and images, here we present a novel LLM-driven multimodal AI, namely LLMSeg, that utilizes the clinical text information and is applicable to the challenging task of target volume contouring for radiation therapy, and validate it within the context of breast cancer radiation therapy target volume contouring. Using external validation and data-insufficient environments, which attributes highly conducive to real-world applications, we demonstrate that the proposed model exhibits markedly improved performance compared to conventional unimodal AI models, particularly exhibiting robust generalization performance and data efficiency. To our best knowledge, this is the first LLM-driven multimodal AI model that integrates the clinical text information into target volume delineation for radiation oncology.


title: Version Age-Optimal Cached Status Updates in a Gossiping Network with Energy Harvesting Sensor

abstract: In this work, we consider a real-time IoT monitoring system in which an energy harvesting sensor with a finite-size battery measures a physical process and transmits the status updates to an aggregator. The aggregator, equipped with caching capabilities, can serve the external requests of a destination network with either a stored update or a fresh update from the sensor. We assume the destination network acts as a gossiping network in which the update packets are forwarded among the nodes in a randomized setting. We utilize the Markov Decision Process framework to model and optimize the network's average Version Age of Information (AoI) and obtain the optimal policy at the aggregator. The structure of the optimal policy is analytically demonstrated and numerically verified. Numerical results highlight the effect of the system parameters on the average Version AoI. The simulations reveal the superior performance of the optimal policy compared to a set of baseline policies.


title: Isola and mushroom dynamics of limit cycles and bifurcations in a predator-prey system with additive Allee effect

abstract: This paper investigates a predator-prey system with an additive Allee effect and a generalized Holling IV functional response using a dynamical system approach. By means of a mixture of analytical and numerical procedures, we find the existence of codimension two and three Bogdanov-Takens bifurcation, codimension-three generalized Hopf bifurcation, and codimension-two cusp of limit cycles. We also found mushroom and isola bifurcations of limit cycles as the first examples of such phenomena in a predatory interaction. The model predicts that extinction of both populations may only occur if the Allee effect is strong. However, long term coexistence is possible in both weak and strong Allee regimes indicating that predation has a balancing role in the interaction dynamics. Nonetheless, a weak Allee effect can result in complex dynamics as well, including the presence of isolas, mushrooms and cusps of limit cycles.


title: Astrophysical black holes: theory and observations

abstract: These notes cover part of the lectures presented by Andrea Maselli for the 59th Winter School of Theoretical Physics and third COST Action CA18108 Training School 'Gravity -- Classical, Quantum and Phenomenology'. The school took place at Palac Wojan\'ow, Poland, from February 12th to 21st, 2023. The lectures focused on some key aspects of black hole physics, and in particular on the dynamics of particles and on the scattering of waves in the Schwarzschild spacetime. The goal of the course was to introduce the students to the concept of black hole quasi normal modes, to discuss their properties, their connection with the geodesic motion of massless particles, and to provide numerical approaches to compute their actual values.


title: End-to-End assessment of AR-assisted neurosurgery systems

abstract: Augmented Reality (AR) has emerged as a significant advancement in surgical procedures, offering a solution to the challenges posed by traditional neuronavigation methods. These conventional techniques often necessitate surgeons to split their focus between the surgical site and a separate monitor that displays guiding images. Over the years, many systems have been developed to register and track the hologram at the targeted locations, each employed its own evaluation technique. On the other hand, hologram displacement measurement is not a straightforward task because of various factors such as occlusion, Vengence-Accomodation Conflict, and unstable holograms in space. In this study, we explore and classify different techniques for assessing an AR-assisted neurosurgery system and propose a new technique to systematize the assessment procedure. Moreover, we conduct a deeper investigation to assess surgeon error in the pre- and intra-operative phases of the surgery based on the respective feedback given. We found that although the system can undergo registration and tracking errors, physical feedback can significantly reduce the error caused by hologram displacement. However, the lack of visual feedback on the hologram does not have a significant effect on the user 3D perception.


title: Extended Relative Power Contribution that Allows to Evaluate the Effect of Correlated Noise

abstract: We proposed an extension of Akaike's relative power contribution that could be applied to data with correlations between noises. This method decomposes the power spectrum into a contribution of the terms caused by correlation between two noises, in addition to the contributions of the independent noises. Numerical examples confirm that some of the correlated noise has the effect of reducing the power spectrum.


title: Dynamic Redundancy-aware Blockchain-based Partial Computation Offloading for the Metaverse in In-network Computing

abstract: The computing in the network (COIN) paradigm has emerged as a potential solution for computation-intensive applications like the metaverse by utilizing unused network resources. The blockchain (BC) guarantees task-offloading privacy, but cost reduction, queueing delays, and redundancy elimination remain open problems. This paper presents a redundancy-aware BC-based approach for the metaverse's partial computation offloading (PCO). Specifically, we formulate a joint BC redundancy factor (BRF) and PCO problem to minimize computation costs, maximize incentives, and meet delay and BC offloading constraints. We proved this problem is NP-hard and transformed it into two subproblems based on their temporal correlation: real-time PCO and Markov decision process-based BRF. We formulated the PCO problem as a multiuser game, proposed a decentralized algorithm for Nash equilibrium under any BC redundancy state, and designed a double deep Q-network-based algorithm for the optimal BRF policy. The BRF strategy is updated periodically based on user computation demand and network status to assist the PCO algorithm. The experimental results suggest that the proposed approach outperforms existing schemes, resulting in a remarkable 47% reduction in cost overhead, delivering approximately 64% higher rewards, and achieving convergence in just a few training episodes.


title: Discrete infinity Laplace equations on graphs and tug-of-war games

abstract: We study the Dirichlet problem of the following discrete infinity Laplace equation on a subgraph with finite width $$\Delta_{\infty} u(x) = \inf_{y \sim x}u(y)+\sup_{y \sim x}u(y)-2u(x) = f(x).$$ We say that a subgraph has finite width if the distances from all vertices to the boundary are uniformly bounded. By Perron's method, we show the existence of bounded solutions. We also prove the uniqueness if $f$ is nonnegative by establishing a comparison result, and hence obtain the existence of game values for corresponding tug-of-war games introduced by Peres, Schramm, Sheffield, and Wilson (2009). As an application we show a strong Liouville property for infinity harmonic functions. By an argument of Arzela-Ascoli, we prove the convergence of solutions of $\varepsilon$-tug-of-war games as $\varepsilon$ tends to 0. Correspondingly, we obtain the existence of bounded solutions to normalized infinity Laplace equations on Euclidean domains with finite width.


title: Contrast-Agnostic Groupwise Registration by Robust PCA for Quantitative Cardiac MRI

abstract: Quantitative cardiac magnetic resonance imaging (MRI) is an increasingly important diagnostic tool for cardiovascular diseases. Yet, co-registration of all baseline images within the quantitative MRI sequence is essential for the accuracy and precision of quantitative maps. However, co-registering all baseline images from a quantitative cardiac MRI sequence remains a nontrivial task because of the simultaneous changes in intensity and contrast, in combination with cardiac and respiratory motion. To address the challenge, we propose a novel motion correction framework based on robust principle component analysis (rPCA) that decomposes quantitative cardiac MRI into low-rank and sparse components, and we integrate the groupwise CNN-based registration backbone within the rPCA framework. The low-rank component of rPCA corresponds to the quantitative mapping (i.e. limited degree of freedom in variation), while the sparse component corresponds to the residual motion, making it easier to formulate and solve the groupwise registration problem. We evaluated our proposed method on cardiac T1 mapping by the modified Look-Locker inversion recovery (MOLLI) sequence, both before and after the Gadolinium contrast agent administration. Our experiments showed that our method effectively improved registration performance over baseline methods without introducing rPCA, and reduced quantitative mapping error in both in-domain (pre-contrast MOLLI) and out-of-domain (post-contrast MOLLI) inference. The proposed rPCA framework is generic and can be integrated with other registration backbones.


title: Pion scattering, light resonances and chiral symmetry restoration at nonzero chiral imbalance and temperature

abstract: We calculate the pion scattering amplitude at nonzero temperature and nonzero $\mu_5$, the chemical potential associated to chiral imbalance in a locally $P$-breaking scenario. The amplitude is calculated up to next to leading order in Chiral Perturbation Theory and is unitarized with the Inverse Amplitude Method to generate the poles of the $f_0(500)$ and $\rho (770)$ resonances. Within the saturation approach, the thermal $f_0(500)$ pole allows to determine $T_c(\mu_5)$, the transition temperature for chiral symmetry restoration. Our results confirm the growing behaviour of $T_c(\mu_5)$ found in previous works and, through a fit to lattice results, we improve the uncertainty range of the low-energy constants associated to $\mu_5$ corrections in the chiral lagrangian. The results for the $\rho (770)$ pole are compatible with previous works regarding the dilepton yield in heavy-ion collisions.


title: Large Language Models Illuminate a Progressive Pathway to Artificial Healthcare Assistant: A Review

abstract: With the rapid development of artificial intelligence, large language models (LLMs) have shown promising capabilities in mimicking human-level language comprehension and reasoning. This has sparked significant interest in applying LLMs to enhance various aspects of healthcare, ranging from medical education to clinical decision support. However, medicine involves multifaceted data modalities and nuanced reasoning skills, presenting challenges for integrating LLMs. This paper provides a comprehensive review on the applications and implications of LLMs in medicine. It begins by examining the fundamental applications of general-purpose and specialized LLMs, demonstrating their utilities in knowledge retrieval, research support, clinical workflow automation, and diagnostic assistance. Recognizing the inherent multimodality of medicine, the review then focuses on multimodal LLMs, investigating their ability to process diverse data types like medical imaging and EHRs to augment diagnostic accuracy. To address LLMs' limitations regarding personalization and complex clinical reasoning, the paper explores the emerging development of LLM-powered autonomous agents for healthcare. Furthermore, it summarizes the evaluation methodologies for assessing LLMs' reliability and safety in medical contexts. Overall, this review offers an extensive analysis on the transformative potential of LLMs in modern medicine. It also highlights the pivotal need for continuous optimizations and ethical oversight before these models can be effectively integrated into clinical practice. Visit https://github.com/mingze-yuan/Awesome-LLM-Healthcare for an accompanying GitHub repository containing latest papers.


title: Reconfigurable Intelligent Surface & Edge -- An Introduction of an EM manipulation structure on obstacles' edge

abstract: Reconfigurable Intelligent Surface (RIS) or metasurface is one of the important enabling technologies in mobile cellular networks that can effectively enhance the signal coverage performance in obstructed regions, and it is generally deployed on surfaces different from obstacles to redirect electromagnetic (EM) waves by reflection, or covered on objects' surfaces to manipulate EM waves by refraction. In this paper, Reconfigurable Intelligent Surface & Edge (RISE) is proposed to extend RIS' abilities of reflection and refraction over surfaces to diffraction around obstacles' edge for better adaptation to specific coverage scenarios. Based on that, this paper analyzes the performance of several different deployment locations and EM manipulation structure designs for different coverage scenarios. Then a novel EM manipulation structure deployed at the obstacles' edge is proposed to achieve static EM environment modification. Simulations validate the preference of the schemes for different scenarios and the new structure achieves better coverage performance than other typical structures in the static scheme.


title: ChartGPT: Leveraging LLMs to Generate Charts from Abstract Natural Language

abstract: The use of natural language interfaces (NLIs) for the creation of charts is becoming increasingly popular due to the intuitiveness of natural language interactions. One key challenge in this approach is to accurately capture user intents and transform them to proper chart specifications. This obstructs the wide use of NLI in chart generation, as users' natural language inputs are generally abstract (i.e., ambiguous or under-specified), without a clear specification of visual encodings. Recently, pre-trained large language models (LLMs) have exhibited superior performance in understanding and generating natural language, demonstrating great potential for downstream tasks. Inspired by this major trend, we propose ChartGPT, generating charts from abstract natural language inputs. However, LLMs are struggling to address complex logic problems. To enable the model to accurately specify the complex parameters and perform operations in chart generation, we decompose the generation process into a step-by-step reasoning pipeline, so that the model only needs to reason a single and specific sub-task during each run. Moreover, LLMs are pre-trained on general datasets, which might be biased for the task of chart generation. To provide adequate visualization knowledge, we create a dataset consisting of abstract utterances and charts and improve model performance through fine-tuning. We further design an interactive interface for ChartGPT that allows users to check and modify the intermediate outputs of each step. The effectiveness of the proposed system is evaluated through quantitative evaluations and a user study.


title: The dynamics of discrete particles in turbulent flows: open issues and current challenges in statistical modeling

abstract: This article is an invitation. It is, first, an invitation to consider as a subject worthy of attention the wide range of situations where small discrete elements, either bubbles, droplets or solid particles, are embedded in turbulent flows. Occurring often at a human scale and in our daily environments, these turbulent dispersed two-phase flows display complex behavior due to the interplay of two fundamental interactions, the fluid-particle and particle-particle interactions, compounded by the turbulence of the carrier flow. This is not a domain where the basic laws are unknown but where the huge number of degrees of freedom involved call for reduced, or coarse-grained, statistical descriptions to be developed. Since we are considering transport and collision phenomena or relaxation processes, it would seem that they can be handled by kinetic theory. In the general case of non-fully resolved turbulent flows, we are however dealing with particles influenced by random media with non-zero time and space correlations. The second invitation is therefore to recognize the limitations of kinetic-based descriptions and to address the challenges driving us to extend the classical framework, for fluid-particle as well as particle-particle interactions. Taking the standpoint provided by the modern formulation of stochastic processes and focusing on the description of the particle phase, this review proposes a step-by-step pedagogical presentation of current models while pointing out new directions and remaining uncharted territories. This is done to provide answers to the question `why?' as much as `how?' and to try to kindle interest into these open and fascinating issues.


title: Welded graphs, Wirtinger groups and knotted punctured spheres

abstract: We develop a general diagrammatic theory of welded graphs, and provide an extension of Satoh's Tube map from welded graphs to ribbon surface-links. As a topological application, we obtain a complete link-homotopy classification of so-called \emph{knotted punctured spheres} in $4$--space, by means of the $4$--dimensional Milnor invariants introduced by the authors in \cite{cutAMY}. On the algebraic side, we show that the theory of welded graphs can be reinterpreted as a theory of Wirtinger group presentations, up to a natural set of transformations; these groups arise as the fundamental group of the exterior of the surface-link obtained from the given welded graph by the extended Tube map. Finally, we address the injectivity question for the Tube map, identifying a new family of local moves on welded links, called $\Upsilon$ moves, under which the (non extended) Tube map is invariant.


title: A Proof of the Kashaev Signature Conjecture

abstract: In 2018 Kashaev introduced a diagrammatic link invariant conjectured to be twice the Levine-Tristram signature. If true, the conjecture would provide a simple way of computing the Levine-Tristram signature of a link by taking the signature of a real symmetric matrix associated with a corresponding link diagram. This paper establishes the conjecture using the Seifert surface definition of the Levine-Tristram signature on the disjoint union of an oriented link and its reverse. The proof also reveals yet another formula for the Alexander polynomial.


title: Cascadic Tensor Multigrid Method and Economic Cascadic Tensor Multigrid Method for Image Restoration Problems

abstract: A cascadic tensor multigrid method and an economic cascadic tensor multigrid method is presented for solving the image restoration models. The methods use quadratic interpolation as prolongation operator to provide more accurate initial values for the next fine grid level, and constructs a preserving-edge-denoising operator to obtain better edges and remove noise. The experimental results show that the new methods not only improves computational efficiency but also achieve better restoration quality.


title: Purcell-Enhanced Single-Photon Emission in the Telecom C-Band

abstract: Purcell-enhanced quantum dot single-photon emission in the telecom C-band from InAs quantum dots inside circular Bragg grating cavities is shown. The InAs quantum dots are grown by means of molecular beam epitaxy on an InP substrate and are embedded into a quaternary $\mathrm{In}_{0.53}\mathrm{Al}_{0.23}\mathrm{Ga}_{0.24}\mathrm{As}$ membrane structure. In a post-growth flip-chip process with subsequent substrate removal and electron beam-lithography, circular Bragg grating ("bullseye") resonators are defined. Micro-photoluminescence studies of the devices at cryogenic temperatures of T = 5 K reveal individual quantum dot emission lines into a pronounced cavity mode. Time-correlated single-photon counting measurements under above-band gap excitation yield Purcell-enhanced excitonic decay times of $\tau = (180 \pm 3)$ ps corresponding to a Purcell factor of $F_P = (6.7 \pm 0.6)$. Pronounced photon antibunching with a background limited $g^{(2)}(0) = (0.057 \pm 0.004)$ is observed, which demonstrates that the light originated mostly from one single quantum dot.


title: On Schreier-type Sets, Partitions, and Compositions

abstract: A nonempty set $A\subset\mathbb{N}$ is $\ell$-strong Schreier if $\min A\geqslant \ell|A|-\ell+1$. We define a set of positive integers to be sparse if either the set has at most two numbers or the differences between consecutive numbers in increasing order are non-decreasing. This note establishes a connection between sparse Schreier-type sets and (restricted) partition numbers. One of our results states that if $\mathcal{G}_{n,\ell}$ consists of partitions of $n$ that contain no parts in $\{2, \ldots, \ell\}$, and \begin{equation*} \mathcal{A}_{n,\ell} \ :=\ \{A\subset \{1, \ldots, n\}\,:\, n\in A, A\mbox{ is sparse and }\ell\mbox{-strong Schreier}\}, \end{equation*} then $$|\mathcal{A}_{n,\ell}|\ =\ |\mathcal{G}_{n-1,\ell}|, \quad n, \ell\in \mathbb{N}.$$ The special case $\mathcal{G}_{n-1, 1}$ consists of all partitions of $n-1$. Besides partitions, integer compositions are also investigated.


title: GateLoop: Fully Data-Controlled Linear Recurrence for Sequence Modeling

abstract: Linear Recurrence has proven to be a powerful tool for modeling long sequences efficiently. In this work, we show that existing models fail to take full advantage of its potential. Motivated by this finding, we develop GateLoop, a foundational sequence model that generalizes linear recurrent models such as S4, S5, LRU and RetNet, by employing data-controlled state transitions. Utilizing this theoretical advance, GateLoop empirically outperforms existing models for auto-regressive language modeling. Our method comes with a low-cost $O(l)$ recurrent mode and an efficient $O(l \log_{2} l)$ parallel mode making use of highly optimized associative scan implementations. Furthermore, we derive an $O(l^2)$ surrogate attention mode, revealing remarkable implications for Transformer and recently proposed architectures. Specifically, we prove that our approach can be interpreted as providing data-controlled relative-positional information to Attention. While many existing models solely rely on data-controlled cumulative sums for context aggregation, our findings suggest that incorporating data-controlled complex cumulative products may be a crucial step towards more powerful sequence models.


title: Constructing Temporal Dynamic Knowledge Graphs from Interactive Text-based Games

abstract: In natural language processing, interactive text-based games serve as a test bed for interactive AI systems. Prior work has proposed to play text-based games by acting based on discrete knowledge graphs constructed by the Discrete Graph Updater (DGU) to represent the game state from the natural language description. While DGU has shown promising results with high interpretability, it suffers from lower knowledge graph accuracy due to its lack of temporality and limited generalizability to complex environments with objects with the same label. In order to address DGU's weaknesses while preserving its high interpretability, we propose the Temporal Discrete Graph Updater (TDGU), a novel neural network model that represents dynamic knowledge graphs as a sequence of timestamped graph events and models them using a temporal point based graph neural network. Through experiments on the dataset collected from a text-based game TextWorld, we show that TDGU outperforms the baseline DGU. We further show the importance of temporal information for TDGU's performance through an ablation study and demonstrate that TDGU has the ability to generalize to more complex environments with objects with the same label. All the relevant code can be found at \url{https://github.com/yukw777/temporal-discrete-graph-updater}.


title: ProS: Facial Omni-Representation Learning via Prototype-based Self-Distillation

abstract: This paper presents a novel approach, called Prototype-based Self-Distillation (ProS), for unsupervised face representation learning. The existing supervised methods heavily rely on a large amount of annotated training facial data, which poses challenges in terms of data collection and privacy concerns. To address these issues, we propose ProS, which leverages a vast collection of unlabeled face images to learn a comprehensive facial omni-representation. In particular, ProS consists of two vision-transformers (teacher and student models) that are trained with different augmented images (cropping, blurring, coloring, etc.). Besides, we build a face-aware retrieval system along with augmentations to obtain the curated images comprising predominantly facial areas. To enhance the discrimination of learned features, we introduce a prototype-based matching loss that aligns the similarity distributions between features (teacher or student) and a set of learnable prototypes. After pre-training, the teacher vision transformer serves as a backbone for downstream tasks, including attribute estimation, expression recognition, and landmark alignment, achieved through simple fine-tuning with additional layers. Extensive experiments demonstrate that our method achieves state-of-the-art performance on various tasks, both in full and few-shot settings. Furthermore, we investigate pre-training with synthetic face images, and ProS exhibits promising performance in this scenario as well.


title: Quantum Sensors for High Energy Physics

abstract: Strong motivation for investing in quantum sensing arises from the need to investigate phenomena that are very weakly coupled to the matter and fields well described by the Standard Model. These can be related to the problems of dark matter, dark sectors not necessarily related to dark matter (for example sterile neutrinos), dark energy and gravity, fundamental constants, and problems with the Standard Model itself including the Strong CP problem in QCD. Resulting experimental needs typically involve the measurement of very low energy impulses or low power periodic signals that are normally buried under large backgrounds. This report documents the findings of the 2023 Quantum Sensors for High Energy Physics workshop which identified enabling quantum information science technologies that could be utilized in future particle physics experiments, targeting high energy physics science goals.


title: Cohomology Isomorphism of Symmetric Power of Cotangent Bundle of Ball quotient and Its Toroidal Compactification

abstract: In this paper, we investigate the $L^2$-Dolbeault cohomology of the symmetric power of cotangent bundles of ball quotients with finite volume, as well as their toroidal compactification. Through the application of Hodge theory for complete hermitian manifolds, we establish the existence of Hodge decomposition and Green's operator. Moreover, we extend the results by Adachi [A21] and Lee-Seo [LS23-2] from compact complex hyperbolic spaces to complex hyperbolic spaces with finite volume.


title: The Merino--Welsh conjecture is false for matroids

abstract: The matroidal version of the Merino--Welsh conjecture states that the Tutte polynomial $T_M(x,y)$ of any matroid $M$ without loops and coloops satisfies that $$\max(T_M(2,0),T_M(0,2))\geq T_M(1,1).$$ Equivalently, if the Merino--Welsh conjecture is true for all matroids without loops and coloops, then the following inequalities are also satisfied for all matroids without loops and coloops: $$T_M(2,0)+T_M(0,2)\geq 2T_M(1,1),$$ and $$T_M(2,0)T_M(0,2)\geq T_M(1,1)^2.$$ We show a counter-example for these inequalities.


title: ForecastPFN: Synthetically-Trained Zero-Shot Forecasting

abstract: The vast majority of time-series forecasting approaches require a substantial training dataset. However, many real-life forecasting applications have very little initial observations, sometimes just 40 or fewer. Thus, the applicability of most forecasting methods is restricted in data-sparse commercial applications. While there is recent work in the setting of very limited initial data (so-called `zero-shot' forecasting), its performance is inconsistent depending on the data used for pretraining. In this work, we take a different approach and devise ForecastPFN, the first zero-shot forecasting model trained purely on a novel synthetic data distribution. ForecastPFN is a prior-data fitted network, trained to approximate Bayesian inference, which can make predictions on a new time series dataset in a single forward pass. Through extensive experiments, we show that zero-shot predictions made by ForecastPFN are more accurate and faster compared to state-of-the-art forecasting methods, even when the other methods are allowed to train on hundreds of additional in-distribution data points.


title: Does Difficulty even Matter? Investigating Difficulty Adjustment and Practice Behavior in an Open-Ended Learning Task

abstract: Difficulty adjustment in practice exercises has been shown to be beneficial for learning. However, previous research has mostly investigated close-ended tasks, which do not offer the students multiple ways to reach a valid solution. Contrary to this, in order to learn in an open-ended learning task, students need to effectively explore the solution space as there are multiple ways to reach a solution. For this reason, the effects of difficulty adjustment could be different for open-ended tasks. To investigate this, as our first contribution, we compare different methods of difficulty adjustment in a user study conducted with 86 participants. Furthermore, as the practice behavior of the students is expected to influence how well the students learn, we additionally look at their practice behavior as a post-hoc analysis. Therefore, as a second contribution, we identify different types of practice behavior and how they link to students' learning outcomes and subjective evaluation measures as well as explore the influence the difficulty adjustment methods have on the practice behaviors. Our results suggest the usefulness of taking into account the practice behavior in addition to only using the practice performance to inform adaptive intervention and difficulty adjustment methods.


title: Nuclear density dependence of polarization transfer in quasi-elastic ${\rm A}(\vec{e},e' \vec{p})$ reactions

abstract: The ratio of the transverse and longitudinal component of polarization transfer to protons in quasi-elastic $(\vec{e}, e^{\prime} \vec{p}\,)$ reaction, $P^{\prime}_x/P^{\prime}_z$, is sensitive to the proton's electromagnetic form factor ratio, $G_E/G_M$. To explore density-dependent in-medium modifications, a comparison of polarization transfer ratios involving protons from distinct nuclear shells, each with different local nuclear densities, has been proposed. In this study, we present such comparisons between four shells, $1s_{1/2}$, $1p_{3/2}$ in $^{12}\mathrm{C}$ and $1d_{3/2}$, $2s_{1/2}$ in $^{40}\mathrm{Ca}$. In an effort to account for other many-body effects that may differ between shells, we use state-of-the-art relativistic distorted-wave impulse-approximation (RDWIA) calculation and present the double ratios, $(P^{\prime}_x/P^{\prime}_z)_{\rm Data}/(P^{\prime}_x/P^{\prime}_z)_{\rm RDWIA}$ as well as the super ratios, $\left[(P^{\prime}_x/P^{\prime}_z)_{\rm A}/(P^{\prime}_x/P^{\prime}_z)_{\rm B}\right]_{\rm Data}/\left[(P^{\prime}_x/P^{\prime}_z)_{\rm A}/(P^{\prime}_x/P^{\prime}_z)_{\rm B}\right]_{\rm RDWIA}$, for chosen shells A and B, as a function of effective local nuclear densities. We find that double ratios for individual shells show a dependence on the probed effective nuclear densities. Studying the ratios, we observed a systematic variation between pairs of higher- and lower-density shells.


title: Permutation Tutte polynomial

abstract: The classical Tutte polynomial is a two-variate polynomial $T_G(x,y)$ associated to graphs or more generally, matroids. In this paper, we introduce a polynomial $\widetilde{T}_H(x,y)$ associated to a bipartite graph $H$ that we call the permutation Tutte polynomial of the graph $H$. It turns out that $T_G(x,y)$ and $\widetilde{T}_H(x,y)$ share many properties, and the permutation Tutte polynomial serves as a tool to study the classical Tutte polynomial. We discuss the analogs of Brylawsi's identities and Conde--Merino--Welsh type inequalities. In particular, we will show that if $H$ does not contain isolated vertices, then $$\widetilde{T}_H(3,0)\widetilde{T}_H(0,3)\geq \widetilde{T}_H(1,1)^2,$$ which gives a short proof to the analogous result of Jackson: $$T_G(3,0)T_G(0,3)\geq T_G(1,1)^2$$ for graphs without loops and bridges. We also improve on the constant $3$ in this statement by showing that one can replace it with $2.9243$.


title: Supermind Ideator: Exploring generative AI to support creative problem-solving

abstract: Previous efforts to support creative problem-solving have included (a) techniques (such as brainstorming and design thinking) to stimulate creative ideas, and (b) software tools to record and share these ideas. Now, generative AI technologies can suggest new ideas that might never have occurred to the users, and users can then select from these ideas or use them to stimulate even more ideas. Here, we describe such a system, Supermind Ideator. The system uses a large language model (GPT 3.5) and adds prompting, fine tuning, and a user interface specifically designed to help people use creative problem-solving techniques. Some of these techniques can be applied to any problem; others are specifically intended to help generate innovative ideas about how to design groups of people and/or computers ("superminds"). We also describe our early experiences with using this system and suggest ways it could be extended to support additional techniques for other specific problem-solving domains.


title: Computer-assisted proofs of existence of KAM tori in planetary dynamical models of $\upsilon$-And $\mathbf{b}$

abstract: We reconsider the problem of the orbital dynamics of the innermost exoplanet of the $\upsilon$-Andromedae system (i.e., $\upsilon$-And $\mathbf{b}$) into the framework of a Secular Quasi-Periodic Restricted Hamiltonian model. This means that we preassign the orbits of the planets that are expected to be the biggest ones in that extrasolar system (namely, $\upsilon$-And $\mathbf{c}$ and $\upsilon$-And $\mathbf{d}$). The Fourier decompositions of their secular motions are injected in the equations describing the orbital dynamics of $\upsilon$-And $\mathbf{b}$ under the gravitational effects exerted by those two exoplanets. By a computer-assisted procedure, we prove the existence of KAM tori corresponding to orbital motions that we consider to be very robust configurations, according to the analysis and the numerical explorations made in our previous article. The computer-assisted assisted proofs are successfully performed for two variants of the Secular Quasi-Periodic Restricted Hamiltonian model, which differs for what concerns the effects of the relativistic corrections on the orbital motion of $\upsilon$-And $\mathbf{b}$, depending on whether they are considered or not.


title: A Quantitative Autonomy Quantification Framework for Fully Autonomous Robotic Systems

abstract: Although autonomous functioning facilitates deployment of robotic systems in domains that admit limited human oversight on our planet and beyond, finding correspondence between task requirements and autonomous capability is still an open challenge. Consequently, a number of methods for quantifying autonomy have been proposed over the last three decades, but to our knowledge all these have no discernment of sub-mode features of variation of autonomy and some are based on metrics that violet the Goodhart's law. This paper focuses on the full autonomous mode and proposes a quantitative autonomy assessment framework based on task requirements. The framework starts by establishing robot task characteristics from which three autonomy metrics, namely requisite capability set, reliability and responsiveness are derived. These characteristics were founded on the realization that robots ultimately replace human skilled workers, from which a relationship between human job and robot task characteristics was established. Additionally, mathematical functions mapping metrics to autonomy as a two-part measure, namely of level and degree of autonomy are also presented. The distinction between level and degree of autonomy stemmed from the acknowledgment that autonomy is not just a question of existence, but also one of performance of requisite capability. The framework has been demonstrated on two case studies, namely autonomous vehicle at an on-road dynamic driving task and the DARPA subterranean challenge rules analysis. The framework provides not only a tool for quantifying autonomy, but also a regulatory interface and common language for autonomous systems developers and users. Its greatest feature is the ability to monitor system integrity when implemented online.


title: Balanced independent sets and colorings of hypergraphs

abstract: A $k$-uniform hypergraph $H = (V, E)$ is $k$-partite if $V$ can be partitioned into $k$ sets $V_1, \ldots, V_k$ such that every edge in $E$ contains precisely one vertex from each $V_i$. We call such a graph $n$-balanced if $|V_i| = n$ for each $i$. An independent set $I$ in $H$ is balanced if $|I\cap V_i| = |I|/k$ for each $i$, and a coloring is balanced if each color class induces a balanced independent set in $H$. In this paper, we provide a lower bound on the balanced independence number $\alpha_b(H)$ in terms of the average degree $D = |E|/n$, and an upper bound on the balanced chromatic number $\chi_b(H)$ in terms of the maximum degree $\Delta$. Our results match those of recent work of Chakraborti for $k = 2$.


title: Quantum resource theory of Bell nonlocality in Hilbert space

abstract: We introduce a Hilbert space based resource theory of Bell nonlocality with the aim of providing bona fide measures of quantum nonlocality depending only on the intrinsic properties of the quantum states being considered. We construct our theory by defining the set of local (or free) states, i.e., the states that do not violate the Clauser-Horne-Shimony-Holt inequality; the set of free operations, i.e., the transformations that do not create the nonlocality resource, which includes local operations and shared randomness; and suitable measures of nonlocality based either on geometric distances or relative entropies with respect to the set of local states. We discuss the basic axiomatic structure that is needed for a meaningful characterization and quantification of Bell nonlocality and we illustrate the general resource theory so developed by applying it to specific classes of quantum states, including two-qubit Werner states, Bell-diagonal states, and Bell-diagonal states at fixed convexity.


title: From conductance viewed as transmission to resistance viewed as reflection. An extension of Landauer quantum paradigm to the classical case at finite temperature

abstract: In this paper we present an extension of Landauer paradigm, conductance is transmission, to the case of macroscopic classical conductors making use of a description of conductance and resistance based on the application of the fluctuation dissipation (FD) theorem. The main result is summarized in the expressions below for conductance $G$ and resistance $R$ at thermodynamic equilibrium, with the usual meaning of symbols. $G$ is given in terms of the variance of total carrier number fluctuations between two ideal transparent contacts in an open system described by a grand canonical ensemble as $$ G =\frac{e^2 \overline{v_x'^2} \tau}{L^2 K_BT} \overline{\delta N^2} %= \frac{e^2 \sqrt{\overline{v_x'^2}} \Gamma }{L K_BT} \overline{\delta %N^2} %= \frac{e^2 \overline{N} \Gamma } {Lm\sqrt{\overline{v_x'^2}}} \ \ \ \ $$ By contrast $R$ is given in terms of the variance of carrier drift-velocity fluctuations due to the instantaneous carrier specular reflection at the internal contact interfaces of a closed system described by a canonical ensemble as $$ R= \frac{(m L)^2}{e^2 K_BT \tau} \overline{\delta v_d^2} %= \frac {Lm\sqrt{\overline{v_x'^2}}} {e^2 \overline{N} \Gamma } $$ The FD approach gives evidence of the duality property of conductance related to transmission and resistance related to reflection. Remarkably, the expressions above are shown to recover the quantum Landauer paradigm in the limit of zero temperature for a one-dimensional conductor.


title: Analytic description of the gas flow around planets embedded in protoplanetary disks

abstract: A growing planet embedded in a protoplanetary disk induces three-dimensional gas flow, which exhibits a midplane outflow that can suppress dust accretion onto the planet and form global dust substructures (rings and gaps). Because analytic formulae for the planet-induced outflow are useful for modeling its influences on local and global dust surface densities and planet accretion, we derive the analytic formulae that describe the morphology and velocity of the planet-induced outflow. We first perform three-dimensional, nonisothermal hydrodynamical simulations of the gas flow past a planet, which enables us to introduce a fitting formula describing the morphology of the outflow. We then derive an analytic formula for the outflow speed using Bernoulli's theorem. We successfully derived a fitting formula for the midplane outflow morphology (the shape of the streamline), which is valid when the dimensionless thermal mass falls below $m\lesssim0.6$. The obtained analytic formulae for the outflow, such as the maximum outflow speed and the velocity distributions of the outflow in the radial and vertical directions to the disk, show good agreement with the numerical results. We find the following trends: (1) the maximum outflow speed increases with the planetary mass and has a peak of $\sim$30--40$\%$ of the sound speed when the dimensionless thermal mass is $m\sim0.3$, corresponding to a super-Earth mass planet at 1 au for the typical steady accretion disk model, and (2) the presence of the headwind (namely, the global pressure force acting in the positive radial direction of the disk) enhances (reduces) the outflow toward the outside (inside) of the planetary orbit. The planet-induced outflow of the gas affects the dust motion when the dimensionless stopping time of dust falls below ${\rm St}\lesssim\min(10m^2,0.1)$.


title: Swarm Performance Indicators: Metrics for Robustness, Fault Tolerance, Scalability and Adaptability

abstract: Swarms have distributed control and so are assumed to inherently have superior robustness, scalability and adaptability compared to centralised multi-agent systems. However, these features have generally only been defined qualitatively and there is a lack of quantitative metrics and experimental measures for the claimed parameters. Swarm Performance Indicators are defined here as Key Performance Indicators for swarm features but can be applied to multi-agent systems with centralised control as well. These swarm features are Robustness, Fault Tolerance, Adaptability and Scalability. Swarm Performance Indicators can be used to highlight the benefits of swarms beyond solely considering task-based performance metrics (e.g. time taken)


title: Closure property of contraction-depth of matroids

abstract: The contraction$^*$-depth is the matroid depth parameter analogous to tree-depth of graphs. We establish the matroid analogue of the classical graph theory result asserting that the tree-depth of a graph $G$ is the minimum height of a rooted forest whose closure contains $G$ by proving the following for every matroid $M$ (except the trivial case when $M$ consists of loops and bridges only): the contraction$^*$-depth of $M$ plus one is equal to the minimum contraction-depth of a matroid containing $M$ as a restriction.


title: Switching particle systems for foraging ants showing phase transitions in path selections

abstract: Switching interacting particle systems studied in probability theory are the stochastic processes of hopping particles on a lattice made up of slow and fast particles, where the switching between these types of particles occurs randomly at a given transition rate. This paper explores how such stochastic processes involving multiple particles can model group behaviors of ants. Recent experimental research by the last author's group has investigated how ants switch between two types of primarily relied cues to select foraging paths based on the current situation. Here, we propose a discrete-time interacting random walk model on a square lattice, incorporating two types of hopping rules. Numerical simulation results demonstrate global changes in selected homing paths, transitioning from trailing paths of the `pheromone road' to nearly optimal paths depending on the switching parameters. By introducing two types of order parameters characterizing the dependence of homing duration distributions on switching parameters, we discuss these global changes as phase transitions in ant path selections. We also study critical phenomena associated with continuous phase transitions.

categories: cond-mat.stat-mech nlin.AO physics.bio-ph q-bio.PE


title: Lengths of divisible codes -- the missing cases

abstract: A linear code $C$ over $\mathbb{F}_q$ is called $\Delta$-divisible if the Hamming weights $\operatorname{wt}(c)$ of all codewords $c \in C$ are divisible by $\Delta$. The possible effective lengths of $q^r$-divisible codes have been completely characterized for each prime power $q$ and each non-negative integer $r$. The study of $\Delta$ divisible codes was initiated by Harold Ward. If $c$ divides $\Delta$ but is coprime to $q$, then each $\Delta$-divisible code $C$ over $\F_q$ is the $c$-fold repetition of a $\Delta/c$-divisible code. Here we determine the possible effective lengths of $p^r$-divisible codes over finite fields of characteristic $p$, where $p\in\mathbb{N}$ but $p^r$ is not a power of the field size, i.e., the missing cases.


title: A comparison theorem for Clark-Aleksandrov measures on the torus

abstract: Given two Clark-Aleksandrov measures $\sigma^1$ and $\sigma^2$ on $\bT^2$, we prove a theorem relating the property that $\sigma^1 \ll \sigma^2$ to containment of a concrete function in a certain de Branges-Rovnyak space. We show that our theorem is applicable for all rational inner functions on $\bD^2$, and we provide several examples of how the theorem can be applied to investigate Clark-Aleksandrov measures related to such functions.


title: Hint-enhanced In-Context Learning wakes Large Language Models up for knowledge-intensive tasks

abstract: In-context learning (ICL) ability has emerged with the increasing scale of large language models (LLMs), enabling them to learn input-label mappings from demonstrations and perform well on downstream tasks. However, under the standard ICL setting, LLMs may sometimes neglect query-related information in demonstrations, leading to incorrect predictions. To address this limitation, we propose a new paradigm called Hint-enhanced In-Context Learning (HICL) to explore the power of ICL in open-domain question answering, an important form in knowledge-intensive tasks. HICL leverages LLMs' reasoning ability to extract query-related knowledge from demonstrations, then concatenates the knowledge to prompt LLMs in a more explicit way. Furthermore, we track the source of this knowledge to identify specific examples, and introduce a Hint-related Example Retriever (HER) to select informative examples for enhanced demonstrations. We evaluate HICL with HER on 3 open-domain QA benchmarks, and observe average performance gains of 2.89 EM score and 2.52 F1 score on gpt-3.5-turbo, 7.62 EM score and 7.27 F1 score on LLaMA-2-Chat-7B compared with standard setting.


title: A Lower Bound for the Max Entropy Algorithm for TSP

abstract: One of the most famous conjectures in combinatorial optimization is the four-thirds conjecture, which states that the integrality gap of the subtour LP relaxation of the TSP is equal to $\frac43$. For 40 years, the best known upper bound was 1.5, due to Wolsey (1980). Recently, Karlin, Klein, and Oveis Gharan (2022) showed that the max entropy algorithm for the TSP gives an improved bound of $1.5 - 10^{-36}$. In this paper, we show that the approximation ratio of the max entropy algorithm is at least 1.375, even for graphic TSP. Thus the max entropy algorithm does not appear to be the algorithm that will ultimately resolve the four-thirds conjecture in the affirmative, should that be possible.


title: How quantum mechanics requires non-additive measures

abstract: Measure theory is used in physics, not just to capture classical probability, but also to quantify the number of states. In previous works, we found that state quantification plays a foundational role in classical mechanics, and therefore, we set ourselves to construct the quantum equivalent of the Liouville measure. Unlike the classical counterpart, this quantized measure is non-additive and has a unitary lower bound (i.e. no set of states can have less than one state). Conversely, requiring that state quantification is finite for finite continuous regions and that each state counts as one already implies non-additivity, which in turn implies the failure of classical theory. In this article we show these preliminary results and outline a new line of inquiry that may provide a different insight into the foundations of quantum theory. Additionally, this new approach may prove to be useful to those interested in a quantized theory of space-time, as we believe this requires a quantized measure for the quantification of the independent degrees of freedom.


title: On the algebraic meaning of quantum gravity for closed Universes

abstract: Assuming the von Neumann algebra associated with a generic de Sitter observer is properly infinite (type III) we use Connes cocycle to identify the unique ( up to unitary equivalence) background independent dominant weight on an extended algebra formally including an external observer. The background independent algebra defined as the centralizer of this dominant weight is equipped with a semi finite trace. Quantum gravity effects, as well as an algebraic version of the no boundary Hartle Hawking partition function, can be defined by representing, classically different de Sitter closed Universes, as equivalence classes of finite projections in the background independent algebra. The associated generalized entropy is determined by the value of the semi finite trace on each equivalence class of finite projections.


title: Optimistic Multi-Agent Policy Gradient

abstract: *Relative overgeneralization* (RO) occurs in cooperative multi-agent learning tasks when agents converge towards a suboptimal joint policy due to overfitting to suboptimal behavior of other agents. No methods have been proposed for addressing RO in multi-agent policy gradient (MAPG) methods although these methods produce state-of-the-art results. To address this gap, we propose a general, yet simple, framework to enable optimistic updates in MAPG methods that alleviate the RO problem. Our approach involves clipping the advantage to eliminate negative values, thereby facilitating optimistic updates in MAPG. The optimism prevents individual agents from quickly converging to a local optimum. Additionally, we provide a formal analysis to show that the proposed method retains optimality at a fixed point. In extensive evaluations on a diverse set of tasks including the *Multi-agent MuJoCo* and *Overcooked* benchmarks, our method outperforms strong baselines on 13 out of 19 tested tasks and matches the performance on the rest.


title: Regular bi-interpretability and finite axiomatizability of Chevalley groups

abstract: In this paper we consider Chevalley groups over commutative rings with $1$, constructed by irreducible root systems of rank $>1$. We always suppose that for the systems $A_2, B_\ell, C_\ell, F_4, G_2$ our rings contain $1/2$ and for the system $G_2$ also $1/3$. Under these assumptions we prove that the central quotients of Chevalley groups are regularly bi-interpretable with the corresponding rings, the class of all central quotients of Chevalley groups of a given type is elementarily definable and even finitely axiomatizable. The same holds for adjoint Chevalley groups and for other Chevalley groups with some special condition of bounded generation. We also give an example of Chevalley group with infinite center, which is not bi-interpretable with the corresponding ring and is elementarily equivalent to a group that is not a Chevalley group itself.


title: Too Much Information: Keeping Training Simple for BabyLMs

abstract: This paper details the work of the University of Groningen for the BabyLM Challenge. We follow the idea that, like babies, language models should be introduced to simpler concepts first and build off of that knowledge to understand more complex concepts. We examine this strategy of simple-then-complex through a variety of lenses, namely context size, vocabulary, and overall linguistic complexity of the data. We find that only one, context size, is truly beneficial to training a language model. However this simple change to context size gives us improvements of 2 points on average on (Super)GLUE tasks, 1 point on MSGS tasks, and 12\% on average on BLiMP tasks. Our context-limited model outperforms the baseline that was trained on 10$\times$ the amount of data.