title: Effect of Interface on Density and Elastic Moduli of $\textbf{Al/C}_{60}$ Nanocomposites

abstract: The paper analyzes theoretically the influence of fullerenes on the characteristics of $\mathrm{Al/C}_{60}$ composites. The molecular dynamics method is used to study the dependences of density and stiffness constants on the concentration of inclusions, and to calculate the values of the bulk and shear moduli for isotropic polycrystalline nanocomposites. The analysis shows that interfacial interaction significantly affects the properties of nanocomposites. This effect can be taken into account within the framework of the theory of heterogeneous media using the interphase layer model. The properties of the interphase layer are determined by interfacial interaction and can be calculated by approximating the results of molecular dynamics calculations. Using assumptions about the simplified form of the two-particle distribution function allows the interfacial interaction energy to be calculated and the interphase layer properties to be assessed analytically. The paper compares numerical results and analytical estimates, and discusses the validity of the approximations used. The analysis performed on the example of an $\mathrm{Al/C}_{60}$ composite material demonstrates the feasibility of using the analytical model of the interphase layer to estimate the effective density and elastic moduli of heterogeneous media with nano-inhomogeneities.


title: PreFLMR: Scaling Up Fine-Grained Late-Interaction Multi-modal Retrievers

abstract: Large Multimodal Models (LMMs) excel in natural language and visual understanding but are challenged by exacting tasks such as Knowledge-based Visual Question Answering (KB-VQA) which involve the retrieval of relevant information from document collections to use in shaping answers to questions. We present an extensive training and evaluation framework, M2KR, for KB-VQA. M2KR contains a collection of vision and language tasks which we have incorporated into a single suite of benchmark tasks for training and evaluating general-purpose multi-modal retrievers. We use M2KR to develop PreFLMR, a pre-trained version of the recently developed Fine-grained Late-interaction Multi-modal Retriever (FLMR) approach to KB-VQA, and we report new state-of-the-art results across a range of tasks. We also present investigations into the scaling behaviors of PreFLMR intended to be useful in future developments in general-purpose multi-modal retrievers.


title: Dual Likelihood for Causal Inference under Structure Uncertainty

abstract: Knowledge of the underlying causal relations is essential for inferring the effect of interventions in complex systems. In a widely studied approach, structural causal models postulate noisy functional relations among interacting variables, where the underlying causal structure is then naturally represented by a directed graph whose edges indicate direct causal dependencies. In the typical application, this underlying causal structure must be learned from data, and thus, the remaining structure uncertainty needs to be incorporated into causal inference in order to draw reliable conclusions. In recent work, test inversions provide an ansatz to account for this data-driven model choice and, therefore, combine structure learning with causal inference. In this article, we propose the use of dual likelihood to greatly simplify the treatment of the involved testing problem. Indeed, dual likelihood leads to a closed-form solution for constructing confidence regions for total causal effects that rigorously capture both sources of uncertainty: causal structure and numerical size of nonzero effects. The proposed confidence regions can be computed with a bottom-up procedure starting from sink nodes. To render the causal structure identifiable, we develop our ideas in the context of linear causal relations with equal error variances.


title: A novel solution to the hyperon-puzzle in neutron stars

abstract: Neutron stars offer a great opportunity to study highly compressed hadronic matter experimentally and theoretically. However, the so-called hyperon-puzzle arises at neutron star densities. The hyperon coexistence with other particles in compressed matter softens the equation of state and many widely-accepted models fail to reproduce precise observations of large neutron star masses. Here, we propose a novel mechanism to retain the stiffness of the high density state with hyperons by considering the explicit momentum dependence of their in-medium potentials. Our approach modifies conventional strangeness threshold conditions and generates new threshold effects on hyperons in high-density matter. We demonstrate these effects within the Non-Linear Derivative model, which incorporates baryon momentum-dependent fields based on empirical and microscopic studies. It turns out that even soft momentum-dependent strangeness fields do prohibit their populations in neutron star matter. The generic momentum dependence of strangeness potentials, as modeled by the non-linear derivative approach, is crucial for resolving the long-standing hyperon-puzzle in neutron stars.


title: Making Closed-Shell Lead-Pthalocyanine Paramagnetic on Pb(100)

abstract: Lead phthalocyanine (PbPc), a non-planar molecule, is studied on Pb(100) using scanning tunneling spectroscopy. A rigid shift of the molecular orbitals is found between molecules with the central Pb ion pointing to (PbPc$\downarrow$) or away (PbPc$\uparrow$) from the substrate and understood from the interaction between the molecules and their image charges. Inside the superconducting energy gap, Yu-Shiba-Rusinov (YSR) resonances are observed for PbPc$\uparrow$ molecules in islands indicating the presence of a magnetic moment. Such bound states are neither present on PbPc$\downarrow$ molecules nor isolated PbPc$\uparrow$ or molecules that lost the Pb ion during deposition (H$_0$Pc). The YSR energies vary depending on the orientation and type of the molecular neighbors. We analyze the role of the out-of-plane dipole moment of PbPc.


title: Beatty Sequences for a Quadratic Irrational: Decidability and Applications

abstract: Let $\alpha$ and $\beta$ belong to the same quadratic field. We show that the inhomogeneous Beatty sequence $(\lfloor n \alpha + \beta \rfloor)_{n \geq 1}$ is synchronized, in the sense that there is a finite automaton that takes as input the Ostrowski representations of $n$ and $y$ in parallel, and accepts if and only if $y = \lfloor n \alpha + \beta \rfloor$. Since it is already known that the addition relation is computable for Ostrowski representations based on a quadratic number, a consequence is a new and rather simple proof that the first-order logical theory of these sequences with addition is decidable. The decision procedure is easily implemented in the free software Walnut. As an application, we show that for each $r \geq 1$ it is decidable whether the set $\{ \lfloor n \alpha + \beta \rfloor \, : \, n \geq 1 \}$ forms an additive basis (or asymptotic additive basis) of order $r$. Using our techniques, we also solve some open problems of Reble and Kimberling, and give an explicit characterization of a sequence of Hildebrand et al.


title: Detecting $K_{2,3}$ as an induced minor

abstract: We consider a natural generalization of chordal graphs, in which every minimal separator induces a subgraph with independence number at most $2$. Such graphs can be equivalently defined as graphs that do not contain the complete bipartite graph $K_{2,3}$ as an induced minor, that is, graphs from which $K_{2,3}$ cannot be obtained by a sequence of edge contractions and vertex deletions. We develop a polynomial-time algorithm for recognizing these graphs. Our algorithm relies on a characterization of $K_{2,3}$-induced minor-free graphs in terms of excluding particular induced subgraphs, called Truemper configurations.


title: Scribble-based fast weak-supervision and interactive corrections for segmenting whole slide images

abstract: This paper proposes a dynamic interactive and weakly supervised segmentation method with minimal user interactions to address two major challenges in the segmentation of whole slide histopathology images. First, the lack of hand-annotated datasets to train algorithms. Second, the lack of interactive paradigms to enable a dialogue between the pathologist and the machine, which can be a major obstacle for use in clinical routine. We therefore propose a fast and user oriented method to bridge this gap by giving the pathologist control over the final result while limiting the number of interactions needed to achieve a good result (over 90\% on all our metrics with only 4 correction scribbles).


title: An Executable Specification of Oncology Dose-Escalation Protocols with Prolog

abstract: We present, as a pure Prolog program, the first executable specification of the 3 + 3 dose-escalation protocol commonly used in early-phase oncology drug development. In this program, the imperative operations of the protocol emerge as consequences of clinically meaningful anticipatory-regret scenarios that are declared as CLP(Z) constraints. This 'regret-constrained' (RC) specification yields a robust formulation which can be used to prove clinically meaningful safety and liveness properties of the protocol before incorporating it into a trial, and then as an on-line decision support system while the trial is underway. Our RC specification also readily accommodates certain pragmatic modifications to trial enrollment which severely strain traditionally imperative formulations. The features of modern Prolog systems let us describe the 3 + 3 protocol with a short and general program that has desirable algebraic properties and can therefore be used, tested and reasoned about in several different ways.


title: Joint Modeling of Multivariate Longitudinal and Survival Outcomes with the R package INLAjoint

abstract: This paper introduces the R package INLAjoint, designed as a toolbox for fitting a diverse range of regression models addressing both longitudinal and survival outcomes. INLAjoint relies on the computational efficiency of the integrated nested Laplace approximations methodology, an efficient alternative to Markov chain Monte Carlo for Bayesian inference, ensuring both speed and accuracy in parameter estimation and uncertainty quantification. The package facilitates the construction of complex joint models by treating individual regression models as building blocks, which can be assembled to address specific research questions. Joint models are relevant in biomedical studies where the collection of longitudinal markers alongside censored survival times is common. They have gained significant interest in recent literature, demonstrating the ability to rectify biases present in separate modeling approaches such as informative censoring by a survival event or confusion bias due to population heterogeneity. We provide a comprehensive overview of the joint modeling framework embedded in INLAjoint with illustrative examples. Through these examples, we demonstrate the practical utility of INLAjoint in handling complex data scenarios encountered in biomedical research.


title: A two-step approach for analyzing time to event data under non-proportional hazards

abstract: The log-rank test and the Cox proportional hazards model are commonly used to compare time-to-event data in clinical trials, as they are most powerful under proportional hazards. But there is a loss of power if this assumption is violated, which is the case for some new oncology drugs like immunotherapies. We consider a two-stage test procedure, in which the weighting of the log-rank test statistic depends on a pre-test of the proportional hazards assumption. I.e., depending on the pre-test either the log-rank or an alternative test is used to compare the survival probabilities. We show that if naively implemented this can lead to a substantial inflation of the type-I error rate. To address this, we embed the two-stage test in a permutation test framework to keep the nominal level alpha. We compare the operating characteristics of the two-stage test with the log-rank test and other tests by clinical trial simulations.


title: Ultracold LiCr: a new pathway to quantum gases of paramagnetic polar molecules

abstract: Quantum gases of doubly-polar molecules represent appealing frameworks for a variety of cross-disciplinary applications, encompassing quantum simulation and computation, controlled quantum chemistry and precision measurements. Through a joint experimental and theoretical study, here we explore a novel class of ultracold paramagnetic polar molecules combining lithium alkali and chromium transition metal elements. Focusing on the specific bosonic isotopologue $^{6}$Li$^{53}$Cr, leveraging on the Fermi statistics of the parent atomic mixture and on suitable Feshbach resonances recently discovered, we produce up to $50\times10^3$ ultracold LiCr molecules at peak phase-space densities exceeding 0.1, prepared within the least-bound rotationless level of the LiCr electronic $sextet$ ground state $X^6\Sigma^+$. We thoroughly characterize the molecular gas, demonstrating the paramagnetic nature of LiCr dimers and the precise control of their quantum state. We investigate their stability against inelastic processes and identify a parameter region where pure LiCr samples exhibit lifetimes exceeding 0.2 s. Parallel to this, we employ state-of-the-art quantum-chemical calculations to predict the properties of LiCr ground and excited electronic states. We identify efficient paths to coherently transfer weakly-bound LiCr dimers to their absolute ground state, to deliver ultracold gases of doubly-polar molecules with significant electric (3.3 D) and magnetic ($5\,\mu_\text{B}$) dipole moments.


title: Nonlocal elliptic PDEs with general nonlinearities

abstract: In this thesis we investigate how the nonlocalities affect the study of different PDEs coming from physics, and we analyze these equations under almost optimal assumptions of the nonlinearity. In particular, we focus on the fractional Laplacian operator and on sources involving convolution with the Riesz potential, as well as on the interaction of the two, and we aim to do it through variational and topological methods. We examine both quantitative and qualitative aspects, proving multiplicity of solutions for nonlocal nonlinear problems with free or prescribed mass, showing regularity, positivity, symmetry and sharp asymptotic decay of ground states, and exploring the influence of the topology of a potential well in presence of concentration phenomena. On the nonlinearities we consider general assumptions which avoid monotonicity and homogeneity: this generality obstructs the use of classical variational tools and forces the implementation of new ideas. Throughout the thesis we develop some new tools: among them, a Lagrangian formulation modeled on Pohozaev mountains is used for the existence of normalized solutions, annuli-shaped multidimensional paths are built for genus-based multiplicity results, a fractional chain rule is proved to treat concave powers, and a fractional center of mass is defined to detect semiclassical standing waves. We believe that these tools could be used to face problems in different frameworks as well.


title: Interleaved snowballing: Reducing the workload of literature curators

abstract: We formally define the literature (reference) snowballing method and present a refined version of it. We show that the improved algorithm can substantially reduce curator work, even before application of text classification, by reducing the number of candidates to classify. We also present a desktop application named LitBall that implements this and other literature collection methods, through access to the Semantic Scholar academic graph (S2AG).


title: Limiting behaviour of MacMahon-like q-series

abstract: In a famous 1921 paper, MacMahon drew many connections between q-series, partitions, and divisor sums. Recently, it has been proven that many of MacMahon's generalized sum-of-divisor functions produce elements of the algebra of quasimodular forms and are intimately connected with q-multiple zeta values. A recent paper by Amdeberhan-Ono-Singh showed that MacMahon's infinite sequence of quasimodular forms is a family of approximations to the 3-colored partition function. In this note, we address a recent question of Ono by producing infinite families of generalized sum-of-divisor functions that approximate colored partition functions, and we determine their relationship to quasimodular forms and q-multiple zeta values.


title: Eliciting Personality Traits in Large Language Models

abstract: Large Language Models (LLMs) are increasingly being utilized by both candidates and employers in the recruitment context. However, with this comes numerous ethical concerns, particularly related to the lack of transparency in these "black-box" models. Although previous studies have sought to increase the transparency of these models by investigating the personality traits of LLMs, many of the previous studies have provided them with personality assessments to complete. On the other hand, this study seeks to obtain a better understanding of such models by examining their output variations based on different input prompts. Specifically, we use a novel elicitation approach using prompts derived from common interview questions, as well as prompts designed to elicit particular Big Five personality traits to examine whether the models were susceptible to trait-activation like humans are, to measure their personality based on the language used in their outputs. To do so, we repeatedly prompted multiple LMs with different parameter sizes, including Llama-2, Falcon, Mistral, Bloom, GPT, OPT, and XLNet (base and fine tuned versions) and examined their personality using classifiers trained on the myPersonality dataset. Our results reveal that, generally, all LLMs demonstrate high openness and low extraversion. However, whereas LMs with fewer parameters exhibit similar behaviour in personality traits, newer and LMs with more parameters exhibit a broader range of personality traits, with increased agreeableness, emotional stability, and openness. Furthermore, a greater number of parameters is positively associated with openness and conscientiousness. Moreover, fine-tuned models exhibit minor modulations in their personality traits, contingent on the dataset. Implications and directions for future research are discussed.


title: Bernstein--Sato Polynomials for Positively Weighted Homogeneous Locally Everywhere Divisors, Hyperplane Arrangements, in $\mathbb{C}^{3}$

abstract: We consider the Bernstein--Sato polynomial of a polynomial $f \in R = \mathbb{C}[x_{1}, x_{2}, x_{3}]$ that analytically locally everywhere admits a positively weighted homogeneous defining equation. We construct, in the analytic category, a complex of $\mathscr{D}_{X}[s]$-modules that can be used to compute the $\mathscr{D}_{X}[s]$-dual of $\mathscr{D}_{X}[s] f^{s-1}$ as the middle term of a short exact sequence where the outer terms are well understood. This extends a result by Narv\'{a}ez Macarro where a freeness assumption was required. We derive many results about the zeroes of the Bernstein--Sato polynomial. First, we prove each nonvanishing degree of the zeroeth local cohomology of the Milnor algebra $H_{\mathfrak{m}}^{0} (R / (\partial f))$ contributes a root to the Bernstein--Sato polynomial, generalizing a result of Saito's (where the argument cannot weaken homogeneity to positive homogeneity). Second, we prove the zeroes of Bernstein--Sato polynomial admit a partial symmetry about $-1$, extending a result of Narv\'{a}ez Macarro that again required freeness. We give applications to very small roots, the twisted Logarithmic Comparison Theorem, and more precise statements when $f$ is additionally assumed to be homogeneous. Finally, when $f$ defines a hyperplane arrangement in $\mathbb{C}^{3}$ we give a complete formula for the zeroes of the Bernstein--Sato polynomial of $f$. We show all zeroes except the candidate root $-2 + (2 / \text{deg}(f))$ are (easily) combinatorially given; we give many equivalent characterizations of when the only non-combinatorial candidate root $-2 + (2/ \text{deg}(f))$ is in fact a zero of the Bernstein--Sato polynomial. One equivalent condition is the nonvanishing of $H_{\mathfrak{m}}^{0}( R / (\partial f))_{\text{deg}(f) - 1}$.


title: A New Hybrid Approach for Identifying Obsolescence Features: Applied to Railway Signaling Infrastructure

abstract: Electrical component obsolescence poses a major issue especially within systems with large life cycles. Thus, finding the optimal management solution for each obsolescence case is as crucial as knowing what to consider when faced with an obsolescence case. In this paper, a novel hybrid approach for identifying features affecting electrical component obsolescence management is introduced, which combines features engineering techniques and expert knowledge. The method then uses machine learning to predict obsolescence resolution techniques in order to find the optimal resolution. The motivation behind this research is driven by the imperative need for SNCF RESEAU to optimally address and mitigate the challenges posed by electrical component obsolescence in railway infrastructure.


title: Implicit Bias in Noisy-SGD: With Applications to Differentially Private Training

abstract: Training Deep Neural Networks (DNNs) with small batches using Stochastic Gradient Descent (SGD) yields superior test performance compared to larger batches. The specific noise structure inherent to SGD is known to be responsible for this implicit bias. DP-SGD, used to ensure differential privacy (DP) in DNNs' training, adds Gaussian noise to the clipped gradients. Surprisingly, large-batch training still results in a significant decrease in performance, which poses an important challenge because strong DP guarantees necessitate the use of massive batches. We first show that the phenomenon extends to Noisy-SGD (DP-SGD without clipping), suggesting that the stochasticity (and not the clipping) is the cause of this implicit bias, even with additional isotropic Gaussian noise. We theoretically analyse the solutions obtained with continuous versions of Noisy-SGD for the Linear Least Square and Diagonal Linear Network settings, and reveal that the implicit bias is indeed amplified by the additional noise. Thus, the performance issues of large-batch DP-SGD training are rooted in the same underlying principles as SGD, offering hope for potential improvements in large batch training strategies.


title: Conditional Information Gain Trellis

abstract: Conditional computing processes an input using only part of the neural network's computational units. Learning to execute parts of a deep convolutional network by routing individual samples has several advantages: Reducing the computational burden is an obvious advantage. Furthermore, if similar classes are routed to the same path, that part of the network learns to discriminate between finer differences and better classification accuracies can be attained with fewer parameters. Recently, several papers have exploited this idea to take a particular child of a node in a tree-shaped network or to skip parts of a network. In this work, we follow a Trellis-based approach for generating specific execution paths in a deep convolutional neural network. We have designed routing mechanisms that use differentiable information gain-based cost functions to determine which subset of features in a convolutional layer will be executed. We call our method Conditional Information Gain Trellis (CIGT). We show that our conditional execution mechanism achieves comparable or better model performance compared to unconditional baselines, using only a fraction of the computational resources.


title: Tight (Double) Exponential Bounds for Identification Problems: Locating-Dominating Set and Test Cover

abstract: We investigate fine-grained algorithmic aspects of identification problems in graphs and set systems, with a focus on Locating-Dominating Set and Test Cover. We prove, among other things, the following three (tight) conditional lower bounds. \begin{enumerate} \item \textsc{Locating-Dominating Set} does not admit an algorithm running in time $2^{o(k^2)} \cdot poly(n)$, nor a polynomial time kernelization algorithm that reduces the solution size and outputs a kernel with $2^{o(k)}$ vertices, unless the \ETH\ fails. \end{enumerate} To the best of our knowledge, \textsc{Locating-Dominating Set} is the first problem that admits such an algorithmic lower-bound (with a quadratic function in the exponent) when parameterized by the solution size. \begin{enumerate}[resume] \item \textsc{Test Cover} does not admit an algorithm running in time $2^{2^{o(k)}} \cdot poly(|U| + |\calF|)$. \end{enumerate} After \textsc{Edge Clique Cover} and \textsc{BiClique Cover}, this is the only example that we know of that admits a double exponential lower bound when parameterized by the solution size. \begin{enumerate}[resume] \item \textsc{Locating-Dominating Set} (respectively, \textsc{Test Cover}) parameterized by the treewidth of the input graph (respectively, of the natural auxiliary graph) does not admit an algorithm running in time $2^{2^{o(\tw)}} \cdot poly(n)$ (respectively, $2^{2^{o(\tw)}} \cdot poly(|U| + |\calF|))$. \end{enumerate} This result augments the small list of NP-Complete problems that admit double exponential lower bounds when parameterized by treewidth. We also present algorithms whose running times match the above lower bounds. We also investigate the parameterizations by several other structural graph parameters, answering some open problems from the literature.


title: A statistical combination of ATLAS Run 2 searches for charginos and neutralinos at the LHC

abstract: Statistical combinations of searches for charginos and neutralinos using various decay channels are performed using $139\,$fb$^{-1}$ of $pp$ collision data at $\sqrt{s}=13\,$TeV with the ATLAS detector at the Large Hadron Collider. Searches targeting pure-wino chargino pair production, pure-wino chargino-neutralino production, or higgsino production decaying via Standard Model $W$, $Z$, or $h$ bosons are combined to extend the mass reach to the produced SUSY particles by 30-100 GeV. The depth of the sensitivity of the original searches is also improved by the combinations, lowering the 95% CL cross-section upper limits by 15%-40%.


title: Visually Dehallucinative Instruction Generation

abstract: In recent years, synthetic visual instructions by generative language model have demonstrated plausible text generation performance on the visual question-answering tasks. However, challenges persist in the hallucination of generative language models, i.e., the generated image-text data contains unintended contents. This paper presents a novel and scalable method for generating visually dehallucinative instructions, dubbed CAP2QA, that constrains the scope to only image contents. Our key contributions lie in introducing image-aligned instructive QA dataset CAP2QA-COCO and its scalable recipe. In our experiments, we compare synthetic visual instruction datasets that share the same source data by visual instruction tuning and conduct general visual recognition tasks. It shows that our proposed method significantly reduces visual hallucination while consistently improving visual recognition ability and expressiveness.


title: Evaluating the Data Model Robustness of Text-to-SQL Systems Based on Real User Queries

abstract: Text-to-SQL systems (also known as NL-to-SQL systems) have become an increasingly popular solution for bridging the gap between user capabilities and SQL-based data access. These systems translate user requests in natural language to valid SQL statements for a specific database. Recent Text-to-SQL systems have benefited from the rapid improvement of transformer-based language models. However, while Text-to-SQL systems that incorporate such models continuously reach new high scores on -- often synthetic -- benchmark datasets, a systematic exploration of their robustness towards different data models in a real-world, realistic scenario is notably missing. This paper provides the first in-depth evaluation of the data model robustness of Text-to-SQL systems in practice based on a multi-year international project focused on Text-to-SQL interfaces. Our evaluation is based on a real-world deployment of FootballDB, a system that was deployed over a 9 month period in the context of the FIFA World Cup 2022, during which about 6K natural language questions were asked and executed. All of our data is based on real user questions that were asked live to the system. We manually labeled and translated a subset of these questions for three different data models. For each data model, we explore the performance of representative Text-to-SQL systems and language models. We further quantify the impact of training data size, pre-, and post-processing steps as well as language model inference time. Our comprehensive evaluation sheds light on the design choices of real-world Text-to-SQL systems and their impact on moving from research prototypes to real deployments. Last, we provide a new benchmark dataset to the community, which is the first to enable the evaluation of different data models for the same dataset and is substantially more challenging than most previous datasets in terms of query complexity.


title: A refinement of Horn's conjecture

abstract: We provide a refinement of Horn's conjecture by considering spectra with repetitions. To do this we adapt P. Belkale's techniques to our context, in the form proposed by N. Berline, M. Vergne and M. Walter.


title: Wireless Channel Prediction via Gaussian Mixture Models

abstract: In this work, we utilize a Gaussian mixture model (GMM) to capture the underlying probability density function (PDF) of the channel trajectories of moving mobile terminals (MTs) within the coverage area of a base station (BS) in an offline phase. We propose to leverage the same GMM for channel prediction in the online phase. Our proposed approach does not require signal-to-noise ratio (SNR)-specific training and allows for parallelization. Numerical simulations for both synthetic and measured channel data demonstrate the effectiveness of our proposed GMM-based channel predictor compared to state-ofthe-art channel prediction methods.


title: Riemann--Hilbert method to the Ablowitz--Ladik equation: higher-order case

abstract: We focused on the Ablowitz--Ladik equation on a zero background, specifically considering the scenario of $N$ pairs of multiple poles. Our first goal was to establish a mapping between the initial data and the scattering data. This allowed us to introduce a direct problem by analyzing the discrete spectrum associated with $N$ pairs of higher-order zeros. Next, we constructed another mapping from the scattering data to a $2\times2$ matrix Riemann--Hilbert problem equipped with several residue conditions set at $N$ pairs of multiple poles. By characterizing the inverse problem based on this Riemann--Hilbert problem, we were able to derive higher-order soliton solutions in the reflectionless case. Furthermore, we expressed an infinite-order soliton solution using a special Riemann--Hilbert problem formulation.


title: Nonparametric velocity estimation in stochastic convection-diffusion equations from multiple local measurements

abstract: We investigate pointwise estimation of the function-valued velocity field of a second-order linear SPDE. Based on multiple spatially localised measurements, we construct a weighted augmented MLE and study its convergence properties as the spatial resolution of the observations tends to zero and the number of measurements increases. By imposing H\"older smoothness conditions, we recover the pointwise convergence rate known to be minimax-optimal in the linear regression framework. The optimality of the rate in the current setting is verified by adapting the lower bound ansatz based on the RKHS of local measurements to the nonparametric situation.


title: Pressure-dependent bandgap study of MBE grown {CdO/MgO} short period SLs using diamond anvil cell

abstract: Semiconductor superlattices have found widespread applications in electronic industries. In this work, short-period superlattice structure (SLs) composed of CdO and MgO layers was grown using the plasma-assisted molecular beam epitaxy (PA-MBE) technique. The optical property of the SLs was investigated by absorption measurement at room temperature. The ambient-pressure direct bandgap was found to be 2.76 eV. The pressure dependence of fundamental bandgap has been studied using a diamond anvil cell (DAC) technique. It has been found that the band-to-band transition shifts toward higher energy with applied pressure. The bandgap of SLs was varied from 2.76 eV to 2.87 eV with applied pressure varied from 0 to 5.9 GPa. The pressure coefficient for the direct bandgap of SLs was found to be 26 meV/GPa. The obtained experimental result was supported by theoretical results obtained using DFT calculations. The volume deformation potential was estimated using the empirical rule. We believe our findings may provide valuable insight for a better understanding of {CdO/MgO} SLs towards their future applications in optoelectronics.


title: Structural Descriptors and Information Extraction from X-ray Spectra of Liquids

abstract: Machine learning can reveal new insights into X-ray spectroscopy of liquids when the local atomistic environment is presented to the model in a suitable way. Many unique structural descriptor families have been developed for this purpose. We benchmark the performance of six different descriptor types using a computational data set of 24200 sulfur K\b{eta} X-ray emission spectra of aqueous sulfuric acid simulated at six different concentrations. We train a feed-forward neural network to predict the spectra from the corresponding descriptor vectors and find that the local many-body tensor representation, smooth overlap of atomic positions and atom-centered symmetry functions excel in this comparison. We found a similar hierarchy when applying the emulator-based component analysis to identify the spectrally relevant structural characteristics. The spectra were dominantly dependent on the concentration of the system, whereas adding the second most significant degree of freedom in the decomposition allowed for distinction of the protonation state of the acid molecule.


title: Azimuthal metallicity variations, spiral structure, and the failure of radial actions based on assuming axisymmetry

abstract: We study azimuthal variations in the mean stellar metallicity, <[Fe/H]>, in a self-consistent, isolated simulation in which all stars form out of gas. We find <[Fe/H]> variations comparable to those observed in the Milky Way and which are coincident with the spiral density waves. The azimuthal variations are present in young and old stars and therefore are not a result of recently formed stars. Similar variations are present in the mean age and alpha-abundance. We measure the pattern speeds of the <[Fe/H]>-variations and find that they match those of the spirals, indicating that they are at the origin of the metallicity patterns. Because younger stellar populations are not just more [Fe/H]-rich and alpha-poor but also dynamically cooler, we expect them to more strongly support spirals, which is indeed the case in the simulation. However, if we measure the radial action, J_R, using the Stackel axisymmetric approximation, we find that the spiral ridges are traced by regions of high J_R, contrary to expectations. Assuming that the passage of stars through the spirals leads to unphysical variations in the measured J_R, we obtain an improved estimate of J_R by averaging over a 1 Gyr time interval. This time-averaged J_R is a much better tracer of the spiral structure, with minima at the spiral ridges. We conclude that the errors incurred by the axisymmetric approximation introduce correlated deviations large enough to render the instantaneous radial action inadequate for tracing spirals.


title: The binary actions of simple groups of Lie type of characteristic 2

abstract: Let $\mathcal{C}$ be a conjugacy class of involutions in a group $G$. We study the graph $\Gamma(\mathcal{C})$ whose vertices are elements of $\mathcal{C}$ with $g,h\in\mathcal{C}$ connected by an edge if and only if $gh\in\mathcal{C}$. For $t\in \mathcal{C}$, we define the component group of $t$ to be the subgroup of $G$ generated by all vertices in $\Gamma(\mathcal{C})$ that lie in the connected component of the graph that contains $t$. We classify the component groups of all involutions in simple groups of Lie type over a field of characteristic $2$. We use this classification to partially classify the transitive binary actions of the simple groups of Lie type over a field of characteristic $2$ for which a point stabilizer has even order. The classification is complete unless the simple group in question is a symplectic or unitary group.


title: De la Vall\'ee Poussin filtered polynomial approximation on the half line

abstract: On the half line we introduce a new sequence of near--best uniform approximation polynomials, easily computable by the values of the approximated function at a truncated number of Laguerre zeros. Such approximation polynomials come from a discretization of filtered Fourier--Laguerre partial sums, which are filtered by using a de la Vall\'ee Poussin (VP) filter. They have the peculiarity of depending on two parameters: a truncation parameter that determines how many of the $n$ Laguerre zeros are considered, and a localization parameter, which determines the range of action of the VP filter that we are going to apply. As $n\to\infty$, under simple assumptions on such parameters and on the Laguerre exponents of the involved weights, we prove that the new VP filtered approximation polynomials have uniformly bounded Lebesgue constants and uniformly convergence at a near--best approximation rate, for any locally continuous function on the semiaxis. \newline The theoretical results have been validated by the numerical experiments. In particular, they show a better performance of the proposed VP filtered approximation versus the truncated Lagrange interpolation at the same nodes, especially for functions a.e. very smooth with isolated singularities. In such cases we see a more localized approximation as well as a good reduction of the Gibbs phenomenon.


title: Learning to Produce Semi-dense Correspondences for Visual Localization

abstract: This study addresses the challenge of performing visual localization in demanding conditions such as night-time scenarios, adverse weather, and seasonal changes. While many prior studies have focused on improving image-matching performance to facilitate reliable dense keypoint matching between images, existing methods often heavily rely on predefined feature points on a reconstructed 3D model. Consequently, they tend to overlook unobserved keypoints during the matching process. Therefore, dense keypoint matches are not fully exploited, leading to a notable reduction in accuracy, particularly in noisy scenes. To tackle this issue, we propose a novel localization method that extracts reliable semi-dense 2D-3D matching points based on dense keypoint matches. This approach involves regressing semi-dense 2D keypoints into 3D scene coordinates using a point inference network. The network utilizes both geometric and visual cues to effectively infer 3D coordinates for unobserved keypoints from the observed ones. The abundance of matching information significantly enhances the accuracy of camera pose estimation, even in scenarios involving noisy or sparse 3D models. Comprehensive evaluations demonstrate that the proposed method outperforms other methods in challenging scenes and achieves competitive results in large-scale visual localization benchmarks. The code will be available.


title: Visual Question Answering Instruction: Unlocking Multimodal Large Language Model To Domain-Specific Visual Multitasks

abstract: Having revolutionized natural language processing (NLP) applications, large language models (LLMs) are expanding into the realm of multimodal inputs. Owing to their ability to interpret images, multimodal LLMs (MLLMs) have been primarily used for vision-language tasks. Currently, MLLMs have not yet been extended for domain-specific visual tasks, which require a more explicit understanding of visual information. We developed a method to transform domain-specific visual and vision-language datasets into a unified question answering format called Visual Question Answering Instruction (VQA-IN), thereby extending MLLM to domain-specific tasks. The VQA-IN was applied to train multiple MLLM architectures using smaller versions of LLMs (sLLMs). The experimental results indicated that the proposed method achieved a high score metric on domainspecific visual tasks while also maintaining its performance on vision-language tasks in a multitask manner.


title: A Brauer--Galois height zero conjecture

abstract: Recently, Malle and Navarro obtained a Galois strengthening of Brauer's height zero conjecture for principal $p$-blocks when $p=2$, considering a particular Galois automorphism of order~$2$. In this paper, for any prime $p$ we consider a certain elementary abelian $p$-subgroup of the absolute Galois group and propose a Galois version of Brauer's height zero conjecture for principal $p$-blocks. We prove it when $p=2$ and also for arbitrary $p$ when $G$ does not involve certain groups of Lie type of small rank as composition factors. Furthermore, we prove it for almost simple groups and for $p$-solvable groups.


title: Multiple higher-order poles solutions in spinor Bose-Einstein condensates

abstract: In this study, we explore multiple higher-order pole solutions in spinor Bose--Einstein condensates. These solutions are associated with different pairs of higher-order poles of the transmission coefficient in the inverse scattering transform, and they represent solutions of the spin-1 Gross--Pitaevskii equation. We introduce a direct scattering map that maps initial data to scattering data, which includes discrete spectrums, reflection coefficients, and a polynomial that replaces normalization constants. To analyze symmetries and discrete spectrums in the direct problem, we introduce a generalized cross product in 4-dimensional vector space. Additionally, we characterize the inverse problem in terms of a $4\times 4$ matrix Riemann--Hilbert problem that is subject to residue conditions at these higher-order poles. In the reflectionless scenario, the Riemann--Hilbert problem can be converted into a linear algebraic system. The resulting algebraic system has a unique solution, which allows us to display multiple higher-order poles solutions.


title: Astronomy potential of KM3NeT/ARCA

abstract: The KM3NeT/ARCA neutrino detector is currently under construction at 3500 m depth offshore Capo Passero, Sicily, in the Mediterranean Sea. The main science objectives are the detection of high-energy cosmic neutrinos and the discovery of their sources. Simulations were conducted for the full KM3NeT/ARCA detector, instrumenting a volume of 1 km$^3$, to estimate the sensitivity and discovery potential to point-like neutrino sources and an all-sky diffuse neutrino flux. This paper covers the reconstruction of track- and shower-like signatures, as well as the criteria employed for neutrino event selection. By leveraging both the track and shower observation channels, the KM3NeT/ARCA detector demonstrates the capability to detect the diffuse astrophysical neutrino flux within half a year of operation, achieving a 5$\sigma$ statistical significance. With an angular resolution below 0.1$^\circ$ for tracks and under 2$^\circ$ for showers, the sensitivity to point-like neutrino sources surpasses existing observed limits across the entire sky.


title: An improved Magellan weak lensing analysis of the galaxy cluster Abell 2744

abstract: We present a new weak lensing analysis of the Hubble Frontier Fields galaxy cluster Abell 2744 ($z$ = 0.308) using new Magellan/MegaCam multi-band $gri$ imaging data. We carry out our study by applying brand-new PSF and shape measurement softwares that allow for the use of multi-band data simultaneously, which we first test on Subaru/Suprime-Cam $BR_cz'$ imaging data of the same cluster. The projected total mass of this system within $2.35 \, \mathrm{Mpc}$ from the south-west BCG is $(2.56 \pm 0.26) \times 10^{15} \, \mathrm{M}_\odot$, which makes Abell 2744 one of the most massive clusters known. This value is consistent, within the errors, with previous weak lensing and dynamical studies. Our analysis reveals the presence of three high-density substructures, thus supporting the picture of a complex merging scenario. This result is also confirmed by a comparison with a recent strong lensing study based on high-resolution JWST imaging. Moreover, our reconstructed total mass profile nicely agrees with an extrapolation of the strong lensing best-fit model up to several Mpc from the BCG centre.


title: Learning Better Representations From Less Data For Propositional Satisfiability

abstract: Training neural networks on NP-complete problems typically demands very large amounts of training data and often needs to be coupled with computationally expensive symbolic verifiers to ensure output correctness. In this paper, we present NeuRes, a neuro-symbolic approach to address both challenges for propositional satisfiability, being the quintessential NP-complete problem. By combining certificate-driven training and expert iteration, our model learns better representations than models trained for classification only, with a much higher data efficiency -- requiring orders of magnitude less training data. NeuRes employs propositional resolution as a proof system to generate proofs of unsatisfiability and to accelerate the process of finding satisfying truth assignments, exploring both possibilities in parallel. To realize this, we propose an attention-based architecture that autoregressively selects pairs of clauses from a dynamic formula embedding to derive new clauses. Furthermore, we employ expert iteration whereby model-generated proofs progressively replace longer teacher proofs as the new ground truth. This enables our model to reduce a dataset of proofs generated by an advanced solver by ~32% after training on it with no extra guidance. This shows that NeuRes is not limited by the optimality of the teacher algorithm owing to its self-improving workflow. We show that our model achieves far better performance than NeuroSAT in terms of both correctly classified and proven instances.


title: Small-scale dynamo with nonzero correlation time

abstract: The small-scale dynamo is typically studied by assuming that the correlation time of the velocity field is zero. Some authors have used a smooth renovating flow model to study how the properties of the dynamo are affected by the correlation time being nonzero. Here, we assume the velocity is an incompressible Gaussian random field (which need not be smooth), and derive the lowest-order corrections to the evolution equation for the two-point correlation of the magnetic field in Fourier space. Using this, we obtain the evolution equation for the longitudinal correlation function of the magnetic field ($M_L$) in nonhelical turbulence, valid for arbitrary Prandtl number. The non-resistive terms of this equation do not contain spatial derivatives of $M_L$ of order greater than two. We further simplify this equation in the limit of high Prandtl number, and find that the growth rate of the magnetic energy is much smaller than previously reported. Nevertheless, the magnetic power spectrum still retains the Kazantsev form at high Prandtl number.


title: RBF-PINN: Non-Fourier Positional Embedding in Physics-Informed Neural Networks

abstract: While many recent Physics-Informed Neural Networks (PINNs) variants have had considerable success in solving Partial Differential Equations, the empirical benefits of feature mapping drawn from the broader Neural Representations research have been largely overlooked. We highlight the limitations of widely used Fourier-based feature mapping in certain situations and suggest the use of the conditionally positive definite Radial Basis Function. The empirical findings demonstrate the effectiveness of our approach across a variety of forward and inverse problem cases. Our method can be seamlessly integrated into coordinate-based input neural networks and contribute to the wider field of PINNs research.


title: On solitary waves for the Korteweg--de Vries equation on metric star graphs

abstract: We study the Korteweg--de Vries equation on a metric star graph and investigate existence of solitary waves on the metric graph in terms of the coefficients of the equation on each edge, the coupling condition at the central vertex of the star and the speeds of the travelling wave. We show that, with a continuity condition at the vertex, solitary waves can occur exactly when the parameters are chosen in a fairly special manner. We also consider coupling conditions beyond continuity.


title: One-shot Imitation in a Non-Stationary Environment via Multi-Modal Skill

abstract: One-shot imitation is to learn a new task from a single demonstration, yet it is a challenging problem to adopt it for complex tasks with the high domain diversity inherent in a non-stationary environment. To tackle the problem, we explore the compositionality of complex tasks, and present a novel skill-based imitation learning framework enabling one-shot imitation and zero-shot adaptation; from a single demonstration for a complex unseen task, a semantic skill sequence is inferred and then each skill in the sequence is converted into an action sequence optimized for environmental hidden dynamics that can vary over time. Specifically, we leverage a vision-language model to learn a semantic skill set from offline video datasets, where each skill is represented on the vision-language embedding space, and adapt meta-learning with dynamics inference to enable zero-shot skill adaptation. We evaluate our framework with various one-shot imitation scenarios for extended multi-stage Meta-world tasks, showing its superiority in learning complex tasks, generalizing to dynamics changes, and extending to different demonstration conditions and modalities, compared to other baselines.


title: Breakup of liquid jets: Thermodynamic perspectives

abstract: Breakup of a liquid jet into a chain of droplets is common in nature and industry. Previous researchers developed profound mathematic and fluid dynamic models to address this breakup phenomenon starting from tiny perturbations. However, the morphological evolution of the jets at large amplitude perturbations is still an open question. Here, we report a concise thermodynamic model based on the surface area minimization principle. Our results demonstrate a reversible breakup transition from a continuous jet via droplets towards a uniform-radius cylinder, which has not been found previously, but is observed in our simulations. This new observation is attributed to a geometric constraint, which was often overlooked in former studies. We anticipate our model to be a shortcut to tackle many similar highly nonlinear morphological evolutions without solving abstruse fluid dynamic equations for inviscid fluids.


title: Helping university students to choose elective courses by using a hybrid multi-criteria recommendation system with genetic optimization

abstract: The wide availability of specific courses together with the flexibility of academic plans in university studies reveal the importance of Recommendation Systems (RSs) in this area. These systems appear as tools that help students to choose courses that suit to their personal interests and their academic performance. This paper presents a hybrid RS that combines Collaborative Filtering (CF) and Content-based Filtering (CBF) using multiple criteria related both to student and course information to recommend the most suitable courses to the students. A Genetic Algorithm (GA) has been developed to automatically discover the optimal RS configuration which include both the most relevant criteria and the configuration of the rest of parameters. The experimental study has used real information of Computer Science Degree of University of Cordoba (Spain) including information gathered from students during three academic years, counting on 2500 entries of 95 students and 63 courses. Experimental results show a study of the most relevant criteria for the course recommendation, the importance of using a hybrid model that combines both student information and course information to increase the reliability of the recommendations as well as an excellent performance compared to previous models.


title: Dynamic Force Spectroscopy of Phase-Change Crystallographic Twinning

abstract: Crystallographic twinning dynamics exhibit nanoscale force fluctuations that, when probed by dynamic force spectroscopy, reveal the underlying interactions within the lattice. We explore twinning in single crystalline titanium nickel, a type of lattice instability mediated by a martensitic phase transition, which creates mirror planes in the lattice. Exploiting the responses generated under imposed strain ramps, we show that the dynamic force spectra of the twinning rate process across various applied strain rates can be reconciled using a statistical mechanics-based framework, demonstrating a more effective utilisation of stochastic responses. The twinning mechanism is mapped onto a free energy landscape to model the microscopic evolution of atomic configurations under imposed time-dependent deformation. The framework enables consistent inference of the relevant fundamental properties that define the structural transition rate process. The study demonstrates how the statistical characterisation of nanomechanical response-stimulus patterns can offer microscopic insights into the deformation behaviours of crystalline materials.


title: Time-Series Classification for Dynamic Strategies in Multi-Step Forecasting

abstract: Multi-step forecasting (MSF) in time-series, the ability to make predictions multiple time steps into the future, is fundamental to almost all temporal domains. To make such forecasts, one must assume the recursive complexity of the temporal dynamics. Such assumptions are referred to as the forecasting strategy used to train a predictive model. Previous work shows that it is not clear which forecasting strategy is optimal a priori to evaluating on unseen data. Furthermore, current approaches to MSF use a single (fixed) forecasting strategy. In this paper, we characterise the instance-level variance of optimal forecasting strategies and propose Dynamic Strategies (DyStrat) for MSF. We experiment using 10 datasets from different scales, domains, and lengths of multi-step horizons. When using a random-forest-based classifier, DyStrat outperforms the best fixed strategy, which is not knowable a priori, 94% of the time, with an average reduction in mean-squared error of 11%. Our approach typically triples the top-1 accuracy compared to current approaches. Notably, we show DyStrat generalises well for any MSF task.


title: Biophysical Fluid Dynamics in a Petri Dish

abstract: The humble Petri dish is perhaps the simplest setting in which to examine the locomotion of swimming organisms, particularly those whose body size is tens of microns to millimetres. The fluid layer in such a container has a bottom no-slip surface and a stress-free upper boundary. It is of fundamental interest to understand the flow fields produced by the elementary and composite singularities of Stokes flow in this geometry. Building on the few particular cases that have previously been considered in the literature, we study here the image systems for the primary singularities of Stokes flow subject to such boundary conditions - the stokeslet, rotlet, source, rotlet dipole, source dipole and stresslet - paying particular attention to the far-field behavior. In several key situations, the depth-averaged fluid flow is accurately captured by the solution of an associated Brinkman equation whose screening length is proportional to the depth of the fluid layer. The case of hydrodynamic bound states formed by spinning microswimmers near a no-slip surface, discovered first using the alga $Volvox$, is reconsidered in the geometry of a Petri dish, where the power-law attractive interaction between microswimmers acquires unusual exponentially screened oscillations.


title: Adiabatic approach to the trans-Planckian problem in Loop Quantum Cosmology

abstract: We study the scalar modes that, being observable today, were trans-Planckian before inflation, within the context of hybrid Loop Quantum Cosmology (LQC). We analyse the dynamics of these highly ultraviolet modes by introducing modified dispersion relations to their equations of motion and discuss the impact that these relations would introduce in the power spectrum by computing the adiabaticity coefficient. More precisely, we consider two different models compatible with observations for the standard linear dispersion relation which are based on different initial conditions for the perturbations and background. One of these models avoids the issue altogether by generating less $e$-folds of inflation, so that the observable modes are never trans-Planckian, whereas the other suffers (arguably softly) from the trans-Planckian problem. This shows that the existence of the trans-Planckian problem in LQC is model-dependent.


title: The generalized Hausman test for detecting non-normality in the latent variable distribution of the two-parameter IRT model

abstract: This paper introduces the generalized Hausman test as a novel method for detecting non-normality of the latent variable distribution of unidimensional Item Response Theory (IRT) models for binary data. The test utilizes the pairwise maximum likelihood estimator obtained for the parameters of the classical two-parameter IRT model, which assumes normality of the latent variable, and the quasi-maximum likelihood estimator obtained under a semi-nonparametric framework, allowing for a more flexible distribution of the latent variable. The performance of the generalized Hausman test is evaluated through a simulation study and it is compared with the likelihood-ratio and the M2 test statistics. Additionally, various information criteria are computed. The simulation results show that the generalized Hausman test outperforms the other tests under most conditions. However, the results obtained from the information criteria are somewhat contradictory under certain conditions, suggesting a need for further investigation and interpretation.


title: VAMPyR -- A High-Level Python Library for Mathematical Operations in a Multiwavelets Representation

abstract: Wavelets and Multiwavelets have lately been adopted in Quantum Chemistry to overcome challenges presented by the two main families of basis sets: Gaussian atomic orbitals and plane waves. In addition to their numerical advantages (high precision, locality, fast algorithms for operator application, linear scaling with respect to system size, to mention a few) they provide a framework which narrows the gap between the theoretical formalism of the fundamental equations and the practical implementation in a working code. This realization led us to the development of the Python library called VAMPyR, (Very Accurate Multiresolution Python Routines). VAMPyR encodes the binding to a C++ library for Multiwavelet calculations (algebra, integral and differential operator application) and exposes the required functionality to write simple Python code to solve among others, the Hartree--Fock equations, the generalized Poisson Equation, the Dirac equation and the time-dependent Schr\"odinger equation up to any predefined precision. In this contribution we will outline the main features of Multiresolution Analysis using multiwavelets and we will describe the design of the code. A few illustrative examples will show the code capabilities and its interoperability with other software platforms.


title: A complete Bernstein function related to the fractal dimension of Pascal's pyramid modulo a prime

abstract: Let $f_r(x)=\log(1+rx)/\log(1+x)$ for $x>0$. We prove that $f_r$ is a complete Bernstein function for $0\le r\le 1$ and a Stieltjes function for $1\le r$. This answers a conjecture of David Bradley that $f_r$ is a Bernstein function when $0\le r\le 1$.


title: The Duet of Representations and How Explanations Exacerbate It

abstract: An algorithm effects a causal representation of relations between features and labels in the human's perception. Such a representation might conflict with the human's prior belief. Explanations can direct the human's attention to the conflicting feature and away from other relevant features. This leads to causal overattribution and may adversely affect the human's information processing. In a field experiment we implemented an XGBoost-trained model as a decision-making aid for counselors at a public employment service to predict candidates' risk of long-term unemployment. The treatment group of counselors was also provided with SHAP. The results show that the quality of the human's decision-making is worse when a feature on which the human holds a conflicting prior belief is displayed as part of the explanation.


title: Evidence for flare-accelerated particles in large scale loops in the behind-the-limb gamma-ray solar flare of September 29, 2022

abstract: We report on the detection of the gamma-ray emission above 100 MeV from the solar flare of September 29, 2022, by Fermi LAT with simultaneous coverage in HXR by Solar Orbiter STIX. The Solar Orbiter-Earth separation was 178$^{\circ}$ at the time of the flare as seen from Earth, with Solar Orbiter observing the east limb. Based on STIX imaging, the flare was located 16$^{\circ}$ behind the eastern limb as seen from Earth. The STIX and GBM non-thermal emission and the LAT emission above 100 MeV all show similarly shaped time profiles, and the Fermi profiles peaked only 20 seconds after the STIX signal from the main flare site, setting this flare apart from all the other occulted flares observed by Fermi LAT. The radio spectral imaging based on the Nan\c{c}ay Radioheliograph and ORFEES spectrograph reveal geometries consistent with a magnetic structure that connects the parent active region behind the limb to the visible disk. We studied the basic characteristics of the gamma-ray time profile, in particular, the rise and decay times and the time delay between the gamma-ray and HXR peak fluxes. We compared the characteristics of this event with those of four Fermi LAT behind-the-limb flares and with an on-disk event and found that this event is strikingly similar to the impulsive on-disk flare. Based on multiwavelength observations, we find that the gamma-ray emission above 100 MeV originated from ions accelerated in the parent active region behind the limb and was transported to the visible disk via a large magnetic structure connected to the parent active region behind the limb. Our results strongly suggest that the source of the emission above 100 MeV from the September 29, 2022 flare cannot be the CME-driven shock.


title: MAVRL: Learn to Fly in Cluttered Environments with Varying Speed

abstract: Many existing obstacle avoidance algorithms overlook the crucial balance between safety and agility, especially in environments of varying complexity. In our study, we introduce an obstacle avoidance pipeline based on reinforcement learning. This pipeline enables drones to adapt their flying speed according to the environmental complexity. Moreover, to improve the obstacle avoidance performance in cluttered environments, we propose a novel latent space. The latent space in this representation is explicitly trained to retain memory of previous depth map observations. Our findings confirm that varying speed leads to a superior balance of success rate and agility in cluttered environments. Additionally, our memory-augmented latent representation outperforms the latent representation commonly used in reinforcement learning. Finally, after minimal fine-tuning, we successfully deployed our network on a real drone for enhanced obstacle avoidance.


title: Punctuation Restoration Improves Structure Understanding without Supervision

abstract: Unsupervised learning objectives like language modeling and de-noising constitute a significant part in producing pre-trained models that perform various downstream applications from natural language understanding to conversational tasks. However, despite impressive generative capabilities of recent large language models, their abilities to capture syntactic or semantic structure within text lag behind. We hypothesize that the mismatch between linguistic performance and competence in machines is attributable to insufficient transfer of linguistic structure knowledge to computational systems with currently popular pre-training objectives. We show that punctuation restoration as a learning objective improves in- and out-of-distribution performance on structure-related tasks like named entity recognition, open information extraction, chunking, and part-of-speech tagging. Punctuation restoration is an effective learning objective that can improve structure understanding and yield a more robust structure-aware representations of natural language.


title: Uncertainty Quantification for Forward and Inverse Problems of PDEs via Latent Global Evolution

abstract: Deep learning-based surrogate models have demonstrated remarkable advantages over classical solvers in terms of speed, often achieving speedups of 10 to 1000 times over traditional partial differential equation (PDE) solvers. However, a significant challenge hindering their widespread adoption in both scientific and industrial domains is the lack of understanding about their prediction uncertainties, particularly in scenarios that involve critical decision making. To address this limitation, we propose a method that integrates efficient and precise uncertainty quantification into a deep learning-based surrogate model. Our method, termed Latent Evolution of PDEs with Uncertainty Quantification (LE-PDE-UQ), endows deep learning-based surrogate models with robust and efficient uncertainty quantification capabilities for both forward and inverse problems. LE-PDE-UQ leverages latent vectors within a latent space to evolve both the system's state and its corresponding uncertainty estimation. The latent vectors are decoded to provide predictions for the system's state as well as estimates of its uncertainty. In extensive experiments, we demonstrate the accurate uncertainty quantification performance of our approach, surpassing that of strong baselines including deep ensembles, Bayesian neural network layers, and dropout. Our method excels at propagating uncertainty over extended auto-regressive rollouts, making it suitable for scenarios involving long-term predictions. Our code is available at: https://github.com/AI4Science-WestlakeU/le-pde-uq.


title: Selective Learning: Towards Robust Calibration with Dynamic Regularization

abstract: Miscalibration in deep learning refers to there is a discrepancy between the predicted confidence and performance. This problem usually arises due to the overfitting problem, which is characterized by learning everything presented in the training set, resulting in overconfident predictions during testing. Existing methods typically address overfitting and mitigate the miscalibration by adding a maximum-entropy regularizer to the objective function. The objective can be understood as seeking a model that fits the ground-truth labels by increasing the confidence while also maximizing the entropy of predicted probabilities by decreasing the confidence. However, previous methods lack clear guidance on confidence adjustment, leading to conflicting objectives (increasing but also decreasing confidence). Therefore, we introduce a method called Dynamic Regularization (DReg), which aims to learn what should be learned during training thereby circumventing the confidence adjusting trade-off. At a high level, DReg aims to obtain a more reliable model capable of acknowledging what it knows and does not know. Specifically, DReg effectively fits the labels for in-distribution samples (samples that should be learned) while applying regularization dynamically to samples beyond model capabilities (e.g., outliers), thereby obtaining a robust calibrated model especially on the samples beyond model capabilities. Both theoretical and empirical analyses sufficiently demonstrate the superiority of DReg compared with previous methods.


title: Hitchin systems: some recent advances

abstract: A survey of some recent advances in parabolic Hitchin systems (parabolic Bouville--Narasimhan--Ramanan correspondence, mirror symmetry for parabolic Hitchin systems), and in exact methods of solving the non-parabolic Hitchin systems.


title: Approaching the structure of rotating bodies from dimension reduction

abstract: We show that the two-dimensional structure of a rigidly rotating self-gravitating body is accessible with relatively good precision by assuming a purely spheroidal stratification. With this hypothesis, the two-dimensional problem becomes one-dimensional, and consists in solving two coupled fixed-point equations in terms of equatorial mass density and eccentricity of isopycnics. We propose a simple algorithm of resolution based on the self-consistent field method. Compared to the full unconstrained-surface two-dimensional problem, the precision in the normalized enthalpy field is better than $10^{-3}$ in absolute, and the computing time is drastically reduced. In addition, this one-dimensional approach is fully appropriate to fast rotators, works for any density profile (including any barotropic equation of state), and can account for mass density jumps in the system, including the existence of an ambient pressure. Several tests are given.

categories: astro-ph.SR astro-ph.EP gr-qc physics.class-ph


title: Portfolio Optimization under Transaction Costs with Recursive Preferences

abstract: The Merton investment-consumption problem is fundamental, both in the field of finance, and in stochastic control. An important extension of the problem adds transaction costs, which is highly relevant from a financial perspective but also challenging from a control perspective because the solution now involves singular control. A further significant extension takes us from additive utility to stochastic differential utility (SDU), which allows time preferences and risk preferences to be disentangled. In this paper, we study this extended version of the Merton problem with proportional transaction costs and Epstein-Zin SDU. We fully characterise all parameter combinations for which the problem is well posed (which may depend on the level of transaction costs) and provide a full verification argument that relies on no additional technical assumptions and uses primal methods only. The case with SDU requires new mathematical techniques as duality methods break down. Even in the special case of (additive) power utility, our arguments are significantly simpler, more elegant and more far-reaching than the ones in the extant literature. This means that we can easily analyse aspects of the problem which previously have been very challenging, including comparative statics, boundary cases which heretofore have required separate treatment and the situation beyond the small transaction cost regime. A key and novel idea is to parametrise consumption and the value function in terms of the shadow fraction of wealth, which may be of much wider applicability.


title: Entropy bounds for the absolute convex hull of tensors

abstract: We derive entropy bounds for the absolute convex hull of vectors $X= (x_1 , \ldots , x_p)\in \mathbb{R}^{n \times p} $ in $\mathbb{R}^n$ and apply this to the case where $X$ is the $d$-fold tensor matrix $$X = \underbrace{\Psi \otimes \cdots \otimes \Psi}_{d \ {\rm times} }\in \mathbb{R}^{m^d \times r^d },$$ with a given $\Psi = ( \psi_1 , \ldots , \psi_r ) \in \mathbb{R}^{m \times r} $, normalized to that $ \| \psi_j \|_2 \le 1$ for all $j \in \{1 , \ldots , r\}$. For $\epsilon >0$ we let ${\cal V} \subset \mathbb{R}^m$ be the linear space with smallest dimension $M ( \epsilon , \Psi)$ such that $ \max_{1 \le j \le r } \min_{v \in {\cal V} } \| \psi_j - v \|_2 \le \epsilon$. We call $M( \epsilon , \psi)$ the $\epsilon$-approximation of $\Psi$ and assume it is -- up to log terms -- polynomial in $\epsilon$. We show that the entropy of the absolute convex hull of the $d$-fold tensor matrix $X$ is up to log-terms of the same order as the entropy for the case $d=1$. The results are generalized to absolute convex hulls of tensors of functions in $L_2 (\mu)$ where $\mu$ is Lebesgue measure on $[0,1]$. As an application we consider the space of functions on $[0,1]^d$ with bounded $q$-th order Vitali total variation for a given $q \in \mathbb{N}$. As a by-product, we construct an orthonormal, piecewise polynomial, wavelet dictionary for functions that are well-approximated by piecewise polynomials.


title: Asymptotic Weak Gravity Conjecture in M-theory on K3 $\times$ K3

abstract: The Asymptotic WGC has been proposed as a special case of the tower WGC that probes infinite distances in the moduli space corresponding to weakly coupled gauge regimes. The conjecture has been studied in M-theory on Calabi-Yau threefold (CY3) with finite volume inducing a 5D effective QFT. In this paper, we extend the scope of the previous study to encompass lower dimensions, particularly we generalise the obtained 5D asymptotic WGC to the effective field theory $EFT_{3D}$ coupled to 3D gravity that descends from M-theory compactified on Calabi-Yau fourfold with an emphasis on K3 x K3. We find that the CY4 has three fibration structures labelled as line Type-$T^2$, surface Type-$S$ and bulk Type-$V$. The emergent $EFT_{3D}$ is shown to have 2+2 towers of states occupied by light and heavy BPS as well as non BPS particles. To ensure the viability of the 3D Asymptotic WGC, we give explicit calculations to thoroughly test the swampland constraint for both the weakly and strongly gauge coupled regimes. Additional aspects, including the gauge symmetry breaking and duality symmetry are also investigated.


title: Exceptionally Dense and Resilient Polydisperse Disk Packings

abstract: Understanding the way disordered particle packings transition between jammed (rigid) and unjammed (fluid) states is of both great practical importance and strong fundamental interest. The values of critical packing fraction (and other state variables) at the jamming transition are protocol dependent. Here, we demonstrate that this variability can be systematically traced to structural measures of packing, as well as to energy measures inside the jamming regime. A novel generalized simultaneous particle swap algorithm constructs overjammed states of desired energy, which upon decompression lead to predictable critical packing fractions. Thus, for a given set of particle sizes, states with extraordinarily high critical packing fractions can be found efficiently, which sustain substantial shear strain and preserve their special structure over the entire jammed domain. The close relation revealed here between the energy landscape of overjammed soft-particle packings and the behavior near the jamming transition points towards new ways of understanding and constructing disordered materials with exceptional properties.


title: Uniform estimates for oscillatory integrals with parameter-dependent phases

abstract: We consider the oscillatory integrals with parameter-dependent phases. We decompose the integrals into a leading term and a remainder term. Instead of the pointwise estimate, we use some $L^p$-estimate for the remainder term and get various uniform estimates when the phase functions satisfy certain conditions. This enables us to reduce the requirement of the smoothness on the phase functions, and hence improve the results in \cite[Theorem 7.7.5]{Hormander} and also obtain a refined version of the well-known Van der Corput Lemma. Some applications on the uniform expansion of the Bessel functions and dispersive estimates are also given.


title: Large Language Models as Minecraft Agents

abstract: In this work we examine the use of Large Language Models (LLMs) in the challenging setting of acting as a Minecraft agent. We apply and evaluate LLMs in the builder and architect settings, introduce clarification questions and examining the challenges and opportunities for improvement. In addition, we present a platform for online interaction with the agents and an evaluation against previous works.


title: NfgTransformer: Equivariant Representation Learning for Normal-form Games

abstract: Normal-form games (NFGs) are the fundamental model of strategic interaction. We study their representation using neural networks. We describe the inherent equivariance of NFGs -- any permutation of strategies describes an equivalent game -- as well as the challenges this poses for representation learning. We then propose the NfgTransformer architecture that leverages this equivariance, leading to state-of-the-art performance in a range of game-theoretic tasks including equilibrium-solving, deviation gain estimation and ranking, with a common approach to NFG representation. We show that the resulting model is interpretable and versatile, paving the way towards deep learning systems capable of game-theoretic reasoning when interacting with humans and with each other.


title: Dipolar many-body complexes and their interactions in stacked 2D heterobilayers

abstract: Highly customizable interfaces created by van der Waals stacked 2D materials provide an extremely flexible opportunity for engineering and effectively controlling material properties. The atomic-thin nature and strong scalability of transition metal dichalcogenides (TMDs), the star family of two-dimensional semiconducting materials, allow for the modulation of their inherent optical and electrical characteristics by utilizing various environmental stimuli. In such a material system, the stacking mechanism with spatial separation in the structure enables recent observations of dipolar many-body complexes with the interplay of multi-particles, leading to some exotic and novel excitonic phenomena and enabling the closer study of high-correlated quantum physics. The presence of powerful dipole-dipole interactions among long-lived interlayer excitons can cause the system to enter unique classical and quantum phases with multiparticle correlations, such as dipolar liquids, dipolar crystals and superfluids. The strong binding energy of interlayer excitons in TMD-based hetero-bilayers especially enhances the critical temperature of these exotic phenomena. Here, we provide a concise summary of the recent frontier research progress on dipolar complexes and many-body effects in TMD double layers, encompassing fundamental theory and properties modulation. We reveal the significance and current challenges of this research field and present the potential developing directions of the hetero-bilayers in quantum physics and quantum devices by adding new levels of external control or integration.


title: New limiter regions for multidimensional flows

abstract: Accurate transport algorithms are crucial for computational fluid dynamics and more accurate and efficient schemes are always in development. One dimensional limiting is commonly employed to suppress nonphysical oscillations. However, the application of such limiters can reduce accuracy. It is important to identify the weakest set of sufficient conditions required on the limiter as to allow the development of successful numerical algorithms. The main goal of this paper is to identify new less restrictive sufficient conditions for flux form in-compressible advection to remain monotonic. We identify additional necessary conditions for incompressible flux form advection to be monotonic, demonstrating that the Spekreijse limiter region is not sufficient for incompressible flux form advection to remain monotonic. Then a convex combination argument is used to derive new sufficient conditions that are less restrictive than the Sweby region for a discrete maximum principle. This allows the introduction of two new more general limiter regions suitable for flux form incompressible advection.


title: Domestic Competitive Balance and International Success: The Case of The Football Industry

abstract: This paper examines the interdependence of international success and competitive balance of domestic sports competitions. More specifically, we apply the notion of the Herfindahl-Hirschman index to examine the effect of international rewards on distortion of competitive balance in domestic competitions and derive conditions under which the level of domestic competitive balance raises or falls. Our results yield interesting policy implications for the regulation of prize schemes in international competitions.


title: A Neural-network Enhanced Video Coding Framework beyond ECM

abstract: In this paper, a hybrid video compression framework is proposed that serves as a demonstrative showcase of deep learning-based approaches extending beyond the confines of traditional coding methodologies. The proposed hybrid framework is founded upon the Enhanced Compression Model (ECM), which is a further enhancement of the Versatile Video Coding (VVC) standard. We have augmented the latest ECM reference software with well-designed coding techniques, including block partitioning, deep learning-based loop filter, and the activation of block importance mapping (BIM) which was integrated but previously inactive within ECM, further enhancing coding performance. Compared with ECM-10.0, our method achieves 6.26, 13.33, and 12.33 BD-rate savings for the Y, U, and V components under random access (RA) configuration, respectively.


title: Correlating parent-fragment relationships in cluster photoionization

abstract: Fragment signals in ordinary mass spectra carry no label to identify their parent molecule. By correlating mass signals with rotational Raman spectra, we created a method to label each ion signal with the spectroscopic fingerprint of its neutral parent molecule. In data for a carbon disulfide molecular cluster beam, we assigned 28 distinct ionization and fragmentation channels based on their mass-correlated rotational fingerprints. Unexpected observations included the formation of energetic S2 and SCCS cationic fragments from the CS2-dimer cluster and a significant CS3 signal, uncorrelated to the dimer. The large number of observed channels revealed a surprising complexity that could only be addressed with correlated spectroscopy and computer-aided correlation analysis.


title: Deep Learning-based Real-time Smartphone Pose Detection for Ultra-wideband Tagless Gate

abstract: As commercial interest in proximity services increased, the development of various wireless localization techniques was promoted. In line with this trend, Ultra-wideband (UWB) is emerging as a promising solution that can realize proximity services thanks to centimeter-level localization accuracy. In addition, since the actual location of the mobile device (MD) on the human body, called pose, affects the localization accuracy, poses are also important to provide accurate proximity services, especially for the UWB tagless gate (UTG). In this paper, a real-time pose detector, termed D3, is proposed to estimate the pose of MD when users pass through UTG. D3 is based on line-of-sight (LOS) and non-LOS (NLOS) classification using UWB channel impulse response and utilizes the inertial measurement unit embedded in the smartphone to estimate the pose. D3 is implemented on Samsung Galaxy Note20 Ultra (i.e., SMN986B) and Qorvo UWB board to show the feasibility and applicability. D3 achieved an LOS/NLOS classification accuracy of 0.984, and ultimately detected four different poses of MD with an accuracy of 0.961 in real-time.


title: Adaptive Hierarchical Certification for Segmentation using Randomized Smoothing

abstract: Certification for machine learning is proving that no adversarial sample can evade a model within a range under certain conditions, a necessity for safety-critical domains. Common certification methods for segmentation use a flat set of fine-grained classes, leading to high abstain rates due to model uncertainty across many classes. We propose a novel, more practical setting, which certifies pixels within a multi-level hierarchy, and adaptively relaxes the certification to a coarser level for unstable components classic methods would abstain from, effectively lowering the abstain rate whilst providing more certified semantically meaningful information. We mathematically formulate the problem setup, introduce an adaptive hierarchical certification algorithm and prove the correctness of its guarantees. Since certified accuracy does not take the loss of information into account for coarser classes, we introduce the Certified Information Gain ($\mathrm{CIG}$) metric, which is proportional to the class granularity level. Our extensive experiments on the datasets Cityscapes, PASCAL-Context, ACDC and COCO-Stuff demonstrate that our adaptive algorithm achieves a higher $\mathrm{CIG}$ and lower abstain rate compared to the current state-of-the-art certification method. Our code can be found here: https://github.com/AlaaAnani/adaptive-certify.


title: LOSS-GAT: Label Propagation and One-Class Semi-Supervised Graph Attention Network for Fake News Detection

abstract: In the era of widespread social networks, the rapid dissemination of fake news has emerged as a significant threat, inflicting detrimental consequences across various dimensions of people's lives. Machine learning and deep learning approaches have been extensively employed for identifying fake news. However, a significant challenge in identifying fake news is the limited availability of labeled news datasets. Therefore, the One-Class Learning (OCL) approach, utilizing only a small set of labeled data from the interest class, can be a suitable approach to address this challenge. On the other hand, representing data as a graph enables access to diverse content and structural information, and label propagation methods on graphs can be effective in predicting node labels. In this paper, we adopt a graph-based model for data representation and introduce a semi-supervised and one-class approach for fake news detection, called LOSS-GAT. Initially, we employ a two-step label propagation algorithm, utilizing Graph Neural Networks (GNNs) as an initial classifier to categorize news into two groups: interest (fake) and non-interest (real). Subsequently, we enhance the graph structure using structural augmentation techniques. Ultimately, we predict the final labels for all unlabeled data using a GNN that induces randomness within the local neighborhood of nodes through the aggregation function. We evaluate our proposed method on five common datasets and compare the results against a set of baseline models, including both OCL and binary labeled models. The results demonstrate that LOSS-GAT achieves a notable improvement, surpassing 10%, with the advantage of utilizing only a limited set of labeled fake news. Noteworthy, LOSS-GAT even outperforms binary labeled models.


title: Enhanced Blandford Znajek Jet in Loop Quantum Black Hole

abstract: The Blandford-Znajek (BZ) process powers energetic jets by extracting the rotating energy of a Kerr black hole. It is important to understand this process in non-Kerr black hole spacetimes. In this study, we conduct two-dimensional and three-dimensional two-temperature General Relativistic Magnetohydrodynamic (GRMHD) simulations of magnetized accretion flows onto a rotating Loop-Quantum black hole (LQBH). Our investigation focuses on the accretion flow structure and jet launching dynamics from our simulations. We observe that the loop quantum effects increase the black hole angular frequency for spinning black holes.This phenomenon intensifies the frame-dragging effect, leading to an amplification of the toroidal magnetic field within the funnel region and enhancement of the launching jet power. It is possible to fit the jet power following a similar fitting formula of the black hole angular frequency as seen in the Kerr black hole. Based on the General Relativistic Radiation Transfer (GRRT) calculation, we find that the jet image from LQBH has a wider opening angle and an extended structure than the Kerr BH.


title: LLMs and the Human Condition

abstract: Theory based AI research has had a hard time recently and the aim here is to propose a model of what LLMs are actually doing when they impress us with their language skills. The model integrates three established theories of human decision-making from philosophy, sociology, and computer science. The paper starts with the collective understanding of reasoning from the early days of AI research - primarily because that model is how we humans think we think, and is the most accessible. It then describes what is commonly thought of as "reactive systems" which is the position taken by many philosophers and indeed many contemporary AI researchers. The third component to the proposed model is from sociology and, although not flattering to our modern ego, provides an explanation to a puzzle that for many years has occupied those of us working on conversational user interfaces.


title: Simulating vacuum arc initiation by coupling emission, heating and plasma processes

abstract: Vacuum arcing poses significant challenges for high-field vacuum devices, underscoring the importance of understanding it for their efficient design. A detailed description of the physical mechanisms involved in vacuum arcing is yet to be achieved, despite extensive research. In this work, we further develop the modelling of the physical processes involved in the initiation of vacuum arcing, starting from field emission and leading to plasma onset. Our model concurrently combines particle-in-cell with Monte Carlo collisions (PIC-MCC) simulations of plasma processes with finite element-based calculations of electron emission and the associated thermal effects. Including the processes of evaporation, impact ionization and direct field ionization allowed us to observe the dynamics of plasma buildup from an initially cold cathode surface. We simulated a static nanotip at various local fields to study the thresholds for thermal runaway and plasma initiation, identifying the significance of various interactions. We found that direct field ionization of neutrals has a significant effect at high fields on the order of 10 GV/m. Furthermore, we find that cathode surface interactions such as evaporation, sputtering and bombardment heating play a major role in the initiation of vacuum arcs. Consequently, the inclusion of these interactions in vacuum arc simulations is imperative.


title: A Novel Approach to Regularising 1NN classifier for Improved Generalization

abstract: In this paper, we propose a class of non-parametric classifiers, that learn arbitrary boundaries and generalize well. Our approach is based on a novel way to regularize 1NN classifiers using a greedy approach. We refer to this class of classifiers as Watershed Classifiers. 1NN classifiers are known to trivially over-fit but have very large VC dimension, hence do not generalize well. We show that watershed classifiers can find arbitrary boundaries on any dense enough dataset, and, at the same time, have very small VC dimension; hence a watershed classifier leads to good generalization. Traditional approaches to regularize 1NN classifiers are to consider $K$ nearest neighbours. Neighbourhood component analysis (NCA) proposes a way to learn representations consistent with ($n-1$) nearest neighbour classifier, where $n$ denotes the size of the dataset. In this article, we propose a loss function which can learn representations consistent with watershed classifiers, and show that it outperforms the NCA baseline.


title: Transition Constrained Bayesian Optimization via Markov Decision Processes

abstract: Bayesian optimization is a methodology to optimize black-box functions. Traditionally, it focuses on the setting where you can arbitrarily query the search space. However, many real-life problems do not offer this flexibility; in particular, the search space of the next query may depend on previous ones. Example challenges arise in the physical sciences in the form of local movement constraints, required monotonicity in certain variables, and transitions influencing the accuracy of measurements. Altogether, such transition constraints necessitate a form of planning. This work extends classical Bayesian optimization via the framework of Markov Decision Processes. We iteratively solve a tractable linearization of our utility function using reinforcement learning to obtain a policy that plans ahead for the entire horizon. This is a parallel to the optimization of an acquisition function in policy space. The resulting policy is potentially history-dependent and non-Markovian. We showcase applications in chemical reactor optimization, informative path planning, machine calibration, and other synthetic examples.


title: Coding-Based Hybrid Post-Quantum Cryptosystem for Non-Uniform Information

abstract: We introduce for non-uniform messages a novel hybrid universal network coding cryptosystem (NU-HUNCC) in the finite blocklength regime that provides Post-Quantum (PQ) security at high communication rates. Recently, hybrid cryptosystems offered PQ security by premixing the data using secure coding schemes and encrypting only a small portion of it, assuming the data is uniformly distributed. An assumption that is often challenging to enforce. Standard fixed-length lossless source coding and compression schemes guarantee a uniform output in normalized divergence. Yet, his is not sufficient to guarantee security. We consider an efficient almost uniform compression scheme in non-normalized variational distance for the proposed hybrid cryptosystem, that by utilizing uniform sub-linear shared seed, guarantees PQ security. Specifically, for the proposed PQ cryptosystem, first, we provide an end-to-end coding scheme, NU-HUNCC, for non-uniform messages. Second, we show that NU-HUNCC is information-theoretic individually secured (IS) against an eavesdropper with access to any subset of the links. Third, we introduce a modified security definition, individually semantically secure under a chosen ciphertext attack (ISS-CCA1), and show that against an all-observing eavesdropper, NU-HUNCC satisfies its conditions. Finally, we provide an analysis that shows the high communication rate of NU-HUNCC and the negligibility of the shared seed size.


title: The baryon cycle in modern cosmological hydrodynamical simulations

abstract: In recent years, cosmological hydrodynamical simulations have proven their utility as key interpretative tools in the study of galaxy formation and evolution. In this work, we present a like-for-like comparison between the baryon cycle in three publicly available, leading cosmological simulation suites: EAGLE, IllustrisTNG, and SIMBA. While these simulations broadly agree in terms of their predictions for the stellar mass content and star formation rates of galaxies at $z\approx0$, they achieve this result for markedly different reasons. In EAGLE and SIMBA, we demonstrate that at low halo masses ($M_{\rm 200c}\lesssim 10^{11.5}\, M_{\odot}$), stellar feedback (SF)-driven outflows can reach far beyond the scale of the halo, extending up to $2-3\times R_{\rm 200c}$. In contrast, in TNG, SF-driven outflows, while stronger at the scale of the ISM, recycle within the CGM (within $R_{\rm 200c}$). We find that AGN-driven outflows in SIMBA are notably potent, reaching several times $R_{\rm 200c}$ even at halo masses up to $M_{\rm 200c}\approx10^{13.5}\, M_{\odot}$. In both TNG and EAGLE, AGN feedback can eject gas beyond $R_{\rm 200c}$ at this mass scale, but seldom beyond $2-3\times R_{\rm 200c}$. We find that the scale of feedback-driven outflows can be directly linked with the prevention of cosmological inflow, as well as the total baryon fraction of haloes within $R_{\rm 200c}$. This work lays the foundation to develop targeted observational tests that can discriminate between feedback scenarios, and inform sub-grid feedback models in the next generation of simulations.


title: Transferring Ultrahigh-Field Representations for Intensity-Guided Brain Segmentation of Low-Field Magnetic Resonance Imaging

abstract: Ultrahigh-field (UHF) magnetic resonance imaging (MRI), i.e., 7T MRI, provides superior anatomical details of internal brain structures owing to its enhanced signal-to-noise ratio and susceptibility-induced contrast. However, the widespread use of 7T MRI is limited by its high cost and lower accessibility compared to low-field (LF) MRI. This study proposes a deep-learning framework that systematically fuses the input LF magnetic resonance feature representations with the inferred 7T-like feature representations for brain image segmentation tasks in a 7T-absent environment. Specifically, our adaptive fusion module aggregates 7T-like features derived from the LF image by a pre-trained network and then refines them to be effectively assimilable UHF guidance into LF image features. Using intensity-guided features obtained from such aggregation and assimilation, segmentation models can recognize subtle structural representations that are usually difficult to recognize when relying only on LF features. Beyond such advantages, this strategy can seamlessly be utilized by modulating the contrast of LF features in alignment with UHF guidance, even when employing arbitrary segmentation models. Exhaustive experiments demonstrated that the proposed method significantly outperformed all baseline models on both brain tissue and whole-brain segmentation tasks; further, it exhibited remarkable adaptability and scalability by successfully integrating diverse segmentation models and tasks. These improvements were not only quantifiable but also visible in the superlative visual quality of segmentation masks.