title: Unifying Graded Linear Logic and Differential Operators

abstract: Linear Logic refines Intuitionnistic Logic by taking into account the resources used during the proof and program computation. In the past decades, it has been extended to various frameworks. The most famous are indexed linear logics which can describe the resource management or the complexity analysis of a program. From an other perspective, Differential Linear Logic is an extension which allows the linearization of proofs. In this article, we merge these two directions by first defining a differential version of Graded linear logic: this is made by indexing exponential connectives with a monoid of differential operators. We prove that it is equivalent to a graded version of previously defined extension of finitary differential linear logic. We give a denotational model of our logic, based on distribution theory and linear partial differential operators with constant coefficients.


title: Monotonicity of the cops and robber game for bounded depth treewidth

abstract: We study a variation of the cops and robber game characterising treewidth, where in each play at most q cops can be placed in order to catch the robber, where q is a parameter of the game. We prove that if k cops have a winning strategy in this game, then k cops have a monotone winning strategy. As a corollary we obtain a new characterisation of bounded depth treewidth, and we give a positive answer to an open question by Fluck, Seppelt and Spitzer (2024), thus showing that graph classes of bounded depth treewidth are homomorphism distinguishing closed. Our proof of monotonicity substantially reorganises a winning strategy by first transforming it into a pre-decomposition, which is inspired by decompositions of matroids, and then applying an intricate breadth-first "cleaning up" procedure along the pre-decomposition (which may temporarily lose the property of representing a strategy), in order to achieve monotonicity while controlling the number of cop placements simultaneously across all branches of the decomposition via a vertex exchange argument. We believe this can be useful in future research.


title: The Photochemistry of Rydberg Excited Cyclobutanone: Photoinduced Processes and Ground State Dynamics

abstract: Owing to ring-strain, cyclic ketones exhibit complex excited-state dynamics with multiple competing photochemical channels active on the ultrafast timescale. While the excited-state dynamics of cyclobutanone after $\pi^{\ast}\leftarrow n$ excitation into the lowest-energy excited singlet state (S$_1$) has been extensively studied, the dynamics following 3$s\leftarrow n$ excitation into the higher-lying singlet Rydberg (S$_2$) state are less well understood. Herein, we couple quantum and excited-state trajectory surface-hopping molecular dynamics simulations to study the relaxation of cyclobutanone following 3s$\leftarrow n$ excitation and to predict the ultrafast electron diffraction scattering signal that we anticipate to arise from the relaxation dynamics that we observe. Our simulations indicate that relaxation from the initially-populated singlet Rydberg state occurs on the hundreds-of-femtosecond to picosecond timescale consistent with the symmetry-forbidden nature of the state-to-state transition involved. Once cyclobutanone has relaxed non-radiatively to the electronic ground state (S$_0$), the vibrationally hot molecules have sufficient energy to form multiple fragmentory products on the electronic ground-state surface including C$_2$H$_4$ + CH$_2$CO (C2; 20%), and C$_3$H$_6$ + CO (C3; 2.5%). We discuss the limitations of our simulations, how these may influence the outcome of the excited-state dynamics we observe, and -- ultimately -- the predictive power of the simulated experimental observable.


title: Advancing NLP Models with Strategic Text Augmentation: A Comprehensive Study of Augmentation Methods and Curriculum Strategies

abstract: This study conducts a thorough evaluation of text augmentation techniques across a variety of datasets and natural language processing (NLP) tasks to address the lack of reliable, generalized evidence for these methods. It examines the effectiveness of these techniques in augmenting training sets to improve performance in tasks such as topic classification, sentiment analysis, and offensive language detection. The research emphasizes not only the augmentation methods, but also the strategic order in which real and augmented instances are introduced during training. A major contribution is the development and evaluation of Modified Cyclical Curriculum Learning (MCCL) for augmented datasets, which represents a novel approach in the field. Results show that specific augmentation methods, especially when integrated with MCCL, significantly outperform traditional training approaches in NLP model performance. These results underscore the need for careful selection of augmentation techniques and sequencing strategies to optimize the balance between speed and quality improvement in various NLP tasks. The study concludes that the use of augmentation methods, especially in conjunction with MCCL, leads to improved results in various classification tasks, providing a foundation for future advances in text augmentation strategies in NLP.


title: When Representations Align: Universality in Representation Learning Dynamics

abstract: Deep neural networks come in many sizes and architectures. The choice of architecture, in conjunction with the dataset and learning algorithm, is commonly understood to affect the learned neural representations. Yet, recent results have shown that different architectures learn representations with striking qualitative similarities. Here we derive an effective theory of representation learning under the assumption that the encoding map from input to hidden representation and the decoding map from representation to output are arbitrary smooth functions. This theory schematizes representation learning dynamics in the regime of complex, large architectures, where hidden representations are not strongly constrained by the parametrization. We show through experiments that the effective theory describes aspects of representation learning dynamics across a range of deep networks with different activation functions and architectures, and exhibits phenomena similar to the "rich" and "lazy" regime. While many network behaviors depend quantitatively on architecture, our findings point to certain behaviors that are widely conserved once models are sufficiently flexible.


title: On groups and fields interpretable in differentially closed valued fields and in various $\mathrm{NTP_2}$ fields

abstract: This paper aims at developing model-theoretic tools to study interpretable fields and definably amenable groups, mainly in $\mathrm{NIP}$ or $\mathrm{NTP_2}$ settings. An abstract theorem constructing definable group homomorphisms from generic data is proved. It relies heavily on a stabilizer theorem of Montenegro, Onshuus and Simon. The main application is a structure theorem for definably amenable groups that are interpretable in algebraically bounded perfect $\mathrm{NTP_2}$ fields with bounded Galois group (under some mild assumption on the imaginaries involved), or in algebraically bounded theories of (differential) NIP fields. These imply a classification of the fields interpretable in differentially closed valued fields, and structure theorems for fields interpretable in finitely ramified henselian valued fields of characteristic $0$, or in NIP algebraically bounded differential fields.


title: A comparison of next-generation turbulence profiling instruments at Paranal

abstract: A six-night optical turbulence monitoring campaign has been carried at Cerro Paranal observatory in February and March, 2023 to facilitate the development and characterisation of two novel atmospheric site monitoring instruments - the ring-image next generation scintillation sensor (RINGSS) and 24-hour Shack Hartmann image motion monitor (24hSHIMM) in the context of providing optical turbulence monitoring support for upcoming 20-40m telescopes. Alongside these two instruments, the well-characterised Stereo-SCIDAR and 2016-MASS-DIMM were operated throughout the campaign to provide data for comparison. All instruments obtain estimates of optical turbulence profiles through statistical analysis of intensity and wavefront angle-of-arrival fluctuations from observations of stars. Contemporaneous measurements of the integrated turbulence parameters are compared and the ratios, bias, unbiased root mean square error and correlation of results from each instrument assessed. Strong agreement was observed in measurements of seeing, free atmosphere seeing and coherence time. Less correlation is seen for isoplanatic angle, although the median values agree well. Median turbulence parameters are further compared against long-term monitoring data from Paranal instruments. Profiles from the three small-telescope instruments are compared with the 100-layer profile from the stereo-SCIDAR. It is found that the RINGSS and SHIMM offer improved accuracy in characterisation of the vertical optical turbulence profile over the MASS-DIMM. Finally, the first results of continuous optical turbulence monitoring at Paranal are presented which show a strong diurnal variation and predictable trend in the seeing. A value of 2.65" is found for the median daytime seeing.


title: Lattice Hamiltonians and Stray Interactions Within Quantum Processors

abstract: Unintended interactions between qubits, known as stray couplings, negatively impact gate operations, leading to errors. This study highlights the significance of incorporating the lattice Hamiltonian into quantum circuit design. By comparing the intensity of three-body versus two-body stray couplings, we identify non-trivial circuit parameter domains that help to enhance fidelity of two-qubit gates. Additionally, we demonstrate instances where three-body ZZZ interactions surpass two-body ZZ interactions within the parameter space relevant to quantum computing, indicating the potential use of lattice Hamiltonian for designing novel multi-qubit gates essential for advancing quantum computing technologies.


title: ResQuNNs:Towards Enabling Deep Learning in Quantum Convolution Neural Networks

abstract: In this paper, we present a novel framework for enhancing the performance of Quanvolutional Neural Networks (QuNNs) by introducing trainable quanvolutional layers and addressing the critical challenges associated with them. Traditional quanvolutional layers, although beneficial for feature extraction, have largely been static, offering limited adaptability. Unlike state-of-the-art, our research overcomes this limitation by enabling training within these layers, significantly increasing the flexibility and potential of QuNNs. However, the introduction of multiple trainable quanvolutional layers induces complexities in gradient-based optimization, primarily due to the difficulty in accessing gradients across these layers. To resolve this, we propose a novel architecture, Residual Quanvolutional Neural Networks (ResQuNNs), leveraging the concept of residual learning, which facilitates the flow of gradients by adding skip connections between layers. By inserting residual blocks between quanvolutional layers, we ensure enhanced gradient access throughout the network, leading to improved training performance. Moreover, we provide empirical evidence on the strategic placement of these residual blocks within QuNNs. Through extensive experimentation, we identify an efficient configuration of residual blocks, which enables gradients across all the layers in the network that eventually results in efficient training. Our findings suggest that the precise location of residual blocks plays a crucial role in maximizing the performance gains in QuNNs. Our results mark a substantial step forward in the evolution of quantum deep learning, offering new avenues for both theoretical development and practical quantum computing applications.


title: Into the Unknown: Self-Learning Large Language Models

abstract: We address the main problem of self-learning LLM: the question of what to learn. We propose a self-learning LLM framework that enables an LLM to independently learn previously unknown knowledge through selfassessment of their own hallucinations. Using the hallucination score, we introduce a new concept of Points in the Unknown (PiUs), along with one extrinsic and three intrinsic methods for automatic PiUs identification. It facilitates the creation of a self-learning loop that focuses exclusively on the knowledge gap in Points in the Unknown, resulting in a reduced hallucination score. We also developed evaluation metrics for gauging an LLM's self-learning capability. Our experiments revealed that 7B-Mistral models that have been finetuned or aligned and RWKV5-Eagle are capable of self-learning considerably well. Our self-learning concept allows more efficient LLM updates and opens new perspectives for knowledge exchange. It may also increase public trust in AI.


title: BiasEye: A Bias-Aware Real-time Interactive Material Screening System for Impartial Candidate Assessment

abstract: In the process of evaluating competencies for job or student recruitment through material screening, decision-makers can be influenced by inherent cognitive biases, such as the screening order or anchoring information, leading to inconsistent outcomes. To tackle this challenge, we conducted interviews with seven experts to understand their challenges and needs for support in the screening process. Building on their insights, we introduce BiasEye, a bias-aware real-time interactive material screening visualization system. BiasEye enhances awareness of cognitive biases by improving information accessibility and transparency. It also aids users in identifying and mitigating biases through a machine learning (ML) approach that models individual screening preferences. Findings from a mixed-design user study with 20 participants demonstrate that, compared to a baseline system lacking our bias-aware features, BiasEye increases participants' bias awareness and boosts their confidence in making final decisions. At last, we discuss the potential of ML and visualization in mitigating biases during human decision-making tasks.


title: Static, Cylindrically Symmetric Spacetimes in the Coincident f(Q) Gravity

abstract: In this paper we consider a static, cylindrically symmetric spacetime with coincident f(Q) gravity. Since the field equation of this spacetime in symmetric teleparallel gravity is suitable for choosing the function of f(Q) in the form of power series and exponential forms, perfect fluid solutions of these forms are discussed. Energy densities, directional pressures and energy conditions are plotted and analysed for a few different metric potentials. Although cosmic strings violate all energy conditions in both f(Q) functions, the Levi-Civita solution violates all energy conditions in the power law function of f(Q), but for exponential f(Q) gravity they are satisfied in small regions.


title: Better Decremental and Fully Dynamic Sensitivity Oracles for Subgraph Connectivity

abstract: We study the \emph{sensitivity oracles problem for subgraph connectivity} in the \emph{decremental} and \emph{fully dynamic} settings. In the fully dynamic setting, we preprocess an $n$-vertices $m$-edges undirected graph $G$ with $n_{\rm off}$ deactivated vertices initially and the others are activated. Then we receive a single update $D\subseteq V(G)$ of size $|D| = d \leq d_{\star}$, representing vertices whose states will be switched. Finally, we get a sequence of queries, each of which asks the connectivity of two given vertices $u$ and $v$ in the activated subgraph. The decremental setting is a special case when there is no deactivated vertex initially, and it is also known as the \emph{vertex-failure connectivity oracles} problem. We present a better deterministic vertex-failure connectivity oracle with $\widehat{O}(d_{\star}m)$ preprocessing time, $\widetilde{O}(m)$ space, $\widetilde{O}(d^{2})$ update time and $O(d)$ query time, which improves the update time of the previous almost-optimal oracle [Long-Saranurak, FOCS 2022] from $\widehat{O}(d^{2})$ to $\widetilde{O}(d^{2})$. We also present a better deterministic fully dynamic sensitivity oracle for subgraph connectivity with $\widehat{O}(\min\{m(n_{\rm off} + d_{\star}),n^{\omega}\})$ preprocessing time, $\widetilde{O}(\min\{m(n_{\rm off} + d_{\star}),n^{2}\})$ space, $\widetilde{O}(d^{2})$ update time and $O(d)$ query time, which significantly improves the update time of the state of the art [Hu-Kosinas-Polak, 2023] from $\widetilde{O}(d^{4})$ to $\widetilde{O}(d^{2})$. Furthermore, our solution is even almost-optimal assuming popular fine-grained complexity conjectures.


title: Chinese MentalBERT: Domain-Adaptive Pre-training on Social Media for Chinese Mental Health Text Analysis

abstract: In the current environment, psychological issues are prevalent and widespread, with social media serving as a key outlet for individuals to share their feelings. This results in the generation of vast quantities of data daily, where negative emotions have the potential to precipitate crisis situations. There is a recognized need for models capable of efficient analysis. While pre-trained language models have demonstrated their effectiveness broadly, there's a noticeable gap in pre-trained models tailored for specialized domains like psychology. To address this, we have collected a huge dataset from Chinese social media platforms and enriched it with publicly available datasets to create a comprehensive database encompassing 3.36 million text entries. To enhance the model's applicability to psychological text analysis, we integrated psychological lexicons into the pre-training masking mechanism. Building on an existing Chinese language model, we performed adaptive training to develop a model specialized for the psychological domain. We evaluated our model's performance across six public datasets, where it demonstrated improvements compared to eight other models. Additionally, in the qualitative comparison experiment, our model provided psychologically relevant predictions given the masked sentences. Due to concerns regarding data privacy, the dataset will not be made publicly available. However, we have made the pre-trained models and codes publicly accessible to the community via: https://github.com/zwzzzQAQ/Chinese-MentalBERT.


title: Improved Regret for Bandit Convex Optimization with Delayed Feedback

abstract: We investigate bandit convex optimization (BCO) with delayed feedback, where only the loss value of the action is revealed under an arbitrary delay. Let $n,T,\bar{d}$ denote the dimensionality, time horizon, and average delay, respectively. Previous studies have achieved an $O(\sqrt{n}T^{3/4}+(n\bar{d})^{1/3}T^{2/3})$ regret bound for this problem, whose delay-independent part matches the regret of the classical non-delayed bandit gradient descent algorithm. However, there is a large gap between its delay-dependent part, i.e., $O((n\bar{d})^{1/3}T^{2/3})$, and an existing $\Omega(\sqrt{\bar{d}T})$ lower bound. In this paper, we illustrate that this gap can be filled in the worst case, where $\bar{d}$ is very close to the maximum delay $d$. Specifically, we first develop a novel algorithm, and prove that it enjoys a regret bound of $O(\sqrt{n}T^{3/4}+\sqrt{dT})$ in general. Compared with the previous result, our regret bound is better for $d=O((n\bar{d})^{2/3}T^{1/3})$, and the delay-dependent part is tight in the worst case. The primary idea is to decouple the joint effect of the delays and the bandit feedback on the regret by carefully incorporating the delayed bandit feedback with a blocking update mechanism. Furthermore, we show that the proposed algorithm can improve the regret bound to $O((nT)^{2/3}\log^{1/3}T+d\log T)$ for strongly convex functions. Finally, if the action sets are unconstrained, we demonstrate that it can be simply extended to achieve an $O(n\sqrt{T\log T}+d\log T)$ regret bound for strongly convex and smooth functions.


title: Manipulation of magnetic anisotropy of 2D magnetized graphene by ferroelectric In$_2$Se$_3$

abstract: The capacity to externally manipulate magnetic properties is highly desired from both fundamental and technological perspectives, particularly in the development of magnetoelectronics and spintronics devices. Here, using first-principles calculations, we have demonstrated the ability of controlling the magnetism of magnetized graphene monolayers by interfacing them with a two-dimensional ferroelectric material. When the 3$d$ transition metal (TM) is adsorbed on the graphene monolayer, its magnetization easy axis can be flipped from in-plane to out-of-plane by the ferroelectric polarization reversal of In$_2$Se$_3$, and the magnetocrystalline anisotropy energy (MAE) can be high to -0.692 meV/atom when adopting the Fe atom at bridge site with downward polarization. This may be a universal method since the 3$d$ TM-adsorbed graphene has a very small MAE, which can be easily manipulated by the ferroelectric polarization. As a result, the inherent mechanism is analyzed by second variation method.


title: Attacking Large Language Models with Projected Gradient Descent

abstract: Current LLM alignment methods are readily broken through specifically crafted adversarial prompts. While crafting adversarial prompts using discrete optimization is highly effective, such attacks typically use more than 100,000 LLM calls. This high computational cost makes them unsuitable for, e.g., quantitative analyses and adversarial training. To remedy this, we revisit Projected Gradient Descent (PGD) on the continuously relaxed input prompt. Although previous attempts with ordinary gradient-based attacks largely failed, we show that carefully controlling the error introduced by the continuous relaxation tremendously boosts their efficacy. Our PGD for LLMs is up to one order of magnitude faster than state-of-the-art discrete optimization to achieve the same devastating attack results.


title: Joint and Robust Beamforming Framework for Integrated Sensing and Communication Systems

abstract: Integrated sensing and communication (ISAC) is widely recognized as a fundamental enabler for future wireless communications. In this paper, we present a joint communication and radar beamforming framework for maximizing a sum spectral efficiency (SE) while guaranteeing desired radar performance with imperfect channel state information (CSI) in multi-user and multi-target ISAC systems. To this end, we adopt either a radar transmit beam mean square error (MSE) or receive signal-to-clutter-plus-noise ratio (SCNR) as a radar performance constraint of a sum SE maximization problem. To resolve inherent challenges such as non-convexity and imperfect CSI, we reformulate the problems and identify first-order optimality conditions for the joint radar and communication beamformer. Turning the condition to a nonlinear eigenvalue problem with eigenvector dependency (NEPv), we develop an alternating method which finds the joint beamformer through power iteration and a Lagrangian multiplier through binary search. The proposed framework encompasses both the radar metrics and is robust to channel estimation error with low complexity. Simulations validate the proposed methods. In particular, we observe that the MSE and SCNR constraints exhibit complementary performance depending on the operating environment, which manifests the importance of the proposed comprehensive and robust optimization framework.


title: Crop and Couple: cardiac image segmentation using interlinked specialist networks

abstract: Diagnosis of cardiovascular disease using automated methods often relies on the critical task of cardiac image segmentation. We propose a novel strategy that performs segmentation using specialist networks that focus on a single anatomy (left ventricle, right ventricle, or myocardium). Given an input long-axis cardiac MR image, our method performs a ternary segmentation in the first stage to identify these anatomical regions, followed by cropping the original image to focus subsequent processing on the anatomical regions. The specialist networks are coupled through an attention mechanism that performs cross-attention to interlink features from different anatomies, serving as a soft relative shape prior. Central to our approach is an additive attention block (E-2A block), which is used throughout our architecture thanks to its efficiency.


title: On the Thomas-Fermi model: Gabor J. Kalman's contribution and numerical approximations

abstract: In this article, we would like to pay tribute to Gabor Kalman, outlining his contribution to a model widely used in dense plasma physics: the high-temperature Thomas-Fermi model. The approach of Ruoxian Ying and Kalman relies on the separation of the bound and free electrons, a physically reasonable definition of the bound electrons, a description of the source density in the Poisson equation through the electron-ion and ion-ion pair correlation functions and a determination of the degree of ionization from the minimization of the total free energy. We also report on different approximations of the function $\Phi$, which is a cornerstone of the original Thomas-Femi model.


title: Wireless Crowd Detection for Smart Overtourism Mitigation

abstract: Overtourism occurs when the number of tourists exceeds the carrying capacity of a destination, leading to negative impacts on the environment, culture, and quality of life for residents. By monitoring overtourism, destination managers can identify areas of concern and implement measures to mitigate the negative impacts of tourism while promoting smarter tourism practices. This can help ensure that tourism benefits both visitors and residents while preserving the natural and cultural resources that make these destinations so appealing. This chapter describes a low-cost approach to monitoring overtourism based on mobile devices' wireless activity. A flexible architecture was designed for a smart tourism toolkit to be used by Small and Medium-sized Enterprises (SMEs) in crowding management solutions, to build better tourism services, improve efficiency and sustainability, and reduce the overwhelming feeling of pressure in critical hotspots. The crowding sensors count the number of surrounding mobile devices, by detecting trace elements of wireless technologies, mitigating the effect of MAC address randomization. They run detection programs for several technologies, and fingerprinting analysis results are only stored locally in an anonymized database, without infringing privacy rights. After that edge computing, sensors communicate the crowding information to a cloud server, by using a variety of uplink techniques to mitigate local connectivity limitations, something that has been often disregarded in alternative approaches. Field validation of sensors has been performed on Iscte's campus. Preliminary results show that these sensors can be deployed in multiple scenarios and provide a diversity of spatio-temporal crowding data that can scaffold tourism overcrowding management strategies.


title: On the quotient of affine semigroups by a positive integer

abstract: This work delves into the {\it quotient of an affine semigroup by a positive integer}, exploring its intricate properties and broader implications. We unveil an {\it associated tree} that serves as a valuable tool for further analysis. Moreover, we successfully generalize several key irreducibility results, extending their applicability to the more general class of $\mathcal C$-semigroup quotients. To shed light on these concepts, we introduce the novel notion of an {\it arithmetic variety of affine semigroups}, accompanied by illuminating examples that showcase its power.


title: At the end of the spectrum: Chromatic bounds for the largest eigenvalue of the normalized Laplacian

abstract: For a graph with largest normalized Laplacian eigenvalue $\lambda_N$ and (vertex) coloring number $\chi$, it is known that $\lambda_N\geq \chi/(\chi-1)$. Here we prove properties of graphs for which this bound is sharp, and we study the multiplicity of $\chi/(\chi-1)$. We then describe a family of graphs with largest eigenvalue $\chi/(\chi-1)$. We also study the spectrum of the $1$-sum of two graphs, with a focus on the maximal eigenvalue. Finally, we give upper bounds on $\lambda_N$ in terms of $\chi$.


title: Role-Playing Simulation Games using ChatGPT

abstract: Since the COVID-19 pandemic, educational institutions have embarked on digital transformation projects. The success of these projects depends on integrating new technologies and understanding the needs of digitally literate students. The "learning by doing" approach suggests that real success in learning new skills is achieved when students can try out and practise these skills. In this article, we demonstrate how Large Language Models (LLMs) can enhance the quality of teaching by using ChatGPT in a role-playing simulation game scenario to promote active learning. Moreover, we discuss how LLMs can boost students' interest in learning by allowing them to practice real-life scenarios using ChatGPT.


title: Chern-Gauss-Bonnet theorem via BV localization

abstract: We present a new proof for the Chern-Gauss-Bonnet theorem. We represent the Euler class integral as the partition function for zero-dimensional field theory with on-shell supersymmetry. We rewrite the supersymmetric partition function as a BV integral and deform the Lagrangian submanifold. The new Lagrangian submanifold localizes the BV integral to the critical points of the Morse function.


title: Cosmic radiation drives quasi-periodic changes in the diversity of siliceous marine microplankton

abstract: Radiolarians are significant contributors to the oceanic primary productivity and the global silica cycle in the last 500 Myr. Their diversity throughout the Phanerozoic shows periodic fluctuations. We identify a possible abiotic candidate for driving these patterns which seems to potentially influence radiolarian diversity changes during this period at a significance level of $\sim 2.2 \sigma$. Our finding suggests a significant correlation between the origination of new radiolaria species and maximum excursions of the Solar system from the Galactic plane, where the magnetic shielding of cosmic rays is expected to be weaker. We connect the particularly strong radiolaria blooming during the Middle Triassic to the so-called Mesozoic dipole-low of the geomagnetic field, which was in its deepest state when radiolarias were blooming. According to the scenario, high-energy cosmic rays presumably implied particular damage to the DNA during the maximum excursions which may trigger large chromosomal abnormalities leading to the appearance of a large number of new genera and species during these periods.

categories: q-bio.PE astro-ph.EP astro-ph.GA astro-ph.HE physics.ao-ph


title: Less is More: Fewer Interpretable Region via Submodular Subset Selection

abstract: Image attribution algorithms aim to identify important regions that are highly relevant to model decisions. Although existing attribution solutions can effectively assign importance to target elements, they still face the following challenges: 1) existing attribution methods generate inaccurate small regions thus misleading the direction of correct attribution, and 2) the model cannot produce good attribution results for samples with wrong predictions. To address the above challenges, this paper re-models the above image attribution problem as a submodular subset selection problem, aiming to enhance model interpretability using fewer regions. To address the lack of attention to local regions, we construct a novel submodular function to discover more accurate small interpretation regions. To enhance the attribution effect for all samples, we also impose four different constraints on the selection of sub-regions, i.e., confidence, effectiveness, consistency, and collaboration scores, to assess the importance of various subsets. Moreover, our theoretical analysis substantiates that the proposed function is in fact submodular. Extensive experiments show that the proposed method outperforms SOTA methods on two face datasets (Celeb-A and VGG-Face2) and one fine-grained dataset (CUB-200-2011). For correctly predicted samples, the proposed method improves the Deletion and Insertion scores with an average of 4.9% and 2.5% gain relative to HSIC-Attribution. For incorrectly predicted samples, our method achieves gains of 81.0% and 18.4% compared to the HSIC-Attribution algorithm in the average highest confidence and Insertion score respectively. The code is released at https://github.com/RuoyuChen10/SMDL-Attribution.


title: Unifying Invariance and Spuriousity for Graph Out-of-Distribution via Probability of Necessity and Sufficiency

abstract: Graph Out-of-Distribution (OOD), requiring that models trained on biased data generalize to the unseen test data, has a massive of real-world applications. One of the most mainstream methods is to extract the invariant subgraph by aligning the original and augmented data with the help of environment augmentation. However, these solutions might lead to the loss or redundancy of semantic subgraph and further result in suboptimal generalization. To address this challenge, we propose a unified framework to exploit the Probability of Necessity and Sufficiency to extract the Invariant Substructure (PNSIS). Beyond that, this framework further leverages the spurious subgraph to boost the generalization performance in an ensemble manner to enhance the robustness on the noise data. Specificially, we first consider the data generation process for graph data. Under mild conditions, we show that the invariant subgraph can be extracted by minimizing an upper bound, which is built on the theoretical advance of probability of necessity and sufficiency. To further bridge the theory and algorithm, we devise the PNSIS model, which involves an invariant subgraph extractor for invariant graph learning as well invariant and spurious subgraph classifiers for generalization enhancement. Experimental results demonstrate that our \textbf{PNSIS} model outperforms the state-of-the-art techniques on graph OOD on several benchmarks, highlighting the effectiveness in real-world scenarios.


title: Deinterleaving of Discrete Renewal Process Mixtures with Application to Electronic Support Measures

abstract: In this paper, we propose a new deinterleaving method for mixtures of discrete renewal Markov chains. This method relies on the maximization of a penalized likelihood score. It exploits all available information about both the sequence of the different symbols and their arrival times. A theoretical analysis is carried out to prove that minimizing this score allows to recover the true partition of symbols in the large sample limit, under mild conditions on the component processes. This theoretical analysis is then validated by experiments on synthetic data. Finally, the method is applied to deinterleave pulse trains received from different emitters in a RESM (Radar Electronic Support Measurements) context and we show that the proposed method competes favorably with state-of-the-art methods on simulated warfare datasets.


title: Evolving Restricted Boltzmann Machine-Kohonen Network for Online Clustering

abstract: A novel online clustering algorithm is presented where an Evolving Restricted Boltzmann Machine (ERBM) is embedded with a Kohonen Network called ERBM-KNet. The proposed ERBM-KNet efficiently handles streaming data in a single-pass mode using the ERBM, employing a bias-variance strategy for neuron growing and pruning, as well as online clustering based on a cluster update strategy for cluster prediction and cluster center update using KNet. Initially, ERBM evolves its architecture while processing unlabeled image data, effectively disentangling the data distribution in the latent space. Subsequently, the KNet utilizes the feature extracted from ERBM to predict the number of clusters and updates the cluster centers. By overcoming the common challenges associated with clustering algorithms, such as prior initialization of the number of clusters and subpar clustering accuracy, the proposed ERBM-KNet offers significant improvements. Extensive experimental evaluations on four benchmarks and one industry dataset demonstrate the superiority of ERBM-KNet compared to state-of-the-art approaches.


title: Stabilizing Agreement is Impossible in Delayed Message Passing Models

abstract: Most distributed computing research has focused on terminating problems like consensus and similar agreement problems. Non-terminating problems have been studied exhaustively in the context of self-stabilizing distributed algorithms, however, which may start from arbitrary initial states and can tolerate arbitrary transient faults. Somehow in-between is the stabilizing consensus problem, where the processes start from a well-defined initial state but do not need to decide irrevocably and need to agree on a common value only eventually. Charron-Bost and Moran studied stabilizing consensus in synchronous dynamic networks controlled by a message adversary. They introduced the simple and elegant class of min-max algorithms, which allow to solve stabilizing consensus under every message adversary that (i) allows at least one process to reach all other processes infinitely often, and (ii) does so within a bounded (but unknown) number of rounds. Moreover, the authors proved that (i) is a necessary condition. The question whether (i) is also sufficient, i.e., whether (ii) is also necessary, was left open. We answer this question by proving that stabilizing consensus is impossible if (ii) is dropped, i.e., even if some process reaches all other processes infinitely often but only within finite time. We accomplish this by introducing a novel class of arbitrarily delayed message adversaries, which also allows us to establish a connection between terminating task solvability under some message adversary to stabilizing task solvability under the corresponding arbitrarily delayed message adversary. Finally, we outline how to extend this relation to terminating task solvability in asynchronous message passing with guaranteed broadcasts, which highlights the asynchronous characteristics induced by arbitrary delays.


title: Controlling energy storage crossing quantum phase transitions in an integrable spin quantum battery

abstract: We investigate the performance of a one-dimensional dimerized XY chain as a spin quantum battery. Such integrable model shows a rich quantum phase diagram that emerges through a mapping of the spins onto auxiliary fermionic degrees of freedom. We consider a charging protocol relying on the double quench of an internal parameter, namely the strength of the dimerization, and address the energy stored in the systems. We observe three distinct regimes, depending on the time-scale characterizing the duration of the charging: a short-time regime related to the dynamics of the single dimers, a long-time regime related to the recurrence time of the system at finite size, and a thermodynamic limit time regime. In the latter, the energy stored is almost unaffected by the charging time and the precise values of the charging parameters, provided the quench crosses a quantum phase transition. Such a robust many-body effect, that characterizes also other models like the quantum Ising chain in a transverse field, as we prove analytically, can play a relevant role in the design of stable solid-state quantum batteries.


title: Permittivity Estimation in Ray-tracing Using Path Loss Data based on GAMP

abstract: In this paper, we propose a modified Generalized Approximate Message Passing (GAMP) algorithm to estimate permittivity parameters using path loss data in ray-tracing model.


title: Automated Unit Test Improvement using Large Language Models at Meta

abstract: This paper describes Meta's TestGen-LLM tool, which uses LLMs to automatically improve existing human-written tests. TestGen-LLM verifies that its generated test classes successfully clear a set of filters that assure measurable improvement over the original test suite, thereby eliminating problems due to LLM hallucination. We describe the deployment of TestGen-LLM at Meta test-a-thons for the Instagram and Facebook platforms. In an evaluation on Reels and Stories products for Instagram, 75% of TestGen-LLM's test cases built correctly, 57% passed reliably, and 25% increased coverage. During Meta's Instagram and Facebook test-a-thons, it improved 11.5% of all classes to which it was applied, with 73% of its recommendations being accepted for production deployment by Meta software engineers. We believe this is the first report on industrial scale deployment of LLM-generated code backed by such assurances of code improvement.


title: Davydov's soliton in an external alternating magnetic field

abstract: The influence of an external oscillating in time magnetic field on the dynamics of the Davydov's soliton is investigated. It is shown that it essentially depends not only on the amplitude and frequency of the magnetic field, but also on the field orientation with respect to the molecular chain axis. The soliton velocity and phase are calculated. They are oscillating in time functions with the frequency of the main harmonic, given by the external field frequency, and higher multiple harmonics. It is concluded that such complex effects of external time-depending magnetic fields on the dynamics of solitons modify the charge transport in low-dimensional molecular systems, which can affect functioning of the devices based on such systems. These results suggest also the physical mechanism of therapeutic effects of oscillating magnetic fields, based on the field influence on the dynamics of solitons which provide charge transport through biological macro-molecules in the redox processes.


title: Nearly Optimal Regret for Decentralized Online Convex Optimization

abstract: We investigate decentralized online convex optimization (D-OCO), in which a set of local learners are required to minimize a sequence of global loss functions using only local computations and communications. Previous studies have established $O(n^{5/4}\rho^{-1/2}\sqrt{T})$ and ${O}(n^{3/2}\rho^{-1}\log T)$ regret bounds for convex and strongly convex functions respectively, where $n$ is the number of local learners, $\rho<1$ is the spectral gap of the communication matrix, and $T$ is the time horizon. However, there exist large gaps from the existing lower bounds, i.e., $\Omega(n\sqrt{T})$ for convex functions and $\Omega(n)$ for strongly convex functions. To fill these gaps, in this paper, we first develop novel D-OCO algorithms that can respectively reduce the regret bounds for convex and strongly convex functions to $\tilde{O}(n\rho^{-1/4}\sqrt{T})$ and $\tilde{O}(n\rho^{-1/2}\log T)$. The primary technique is to design an online accelerated gossip strategy that enjoys a faster average consensus among local learners. Furthermore, by carefully exploiting the spectral properties of a specific network topology, we enhance the lower bounds for convex and strongly convex functions to $\Omega(n\rho^{-1/4}\sqrt{T})$ and $\Omega(n\rho^{-1/2})$, respectively. These lower bounds suggest that our algorithms are nearly optimal in terms of $T$, $n$, and $\rho$.


title: Stochastic Comparisons of Random Extremes from non-identical Random Variables

abstract: We propose some new results on the comparison of the minimum or maximum order statistic from a random number of non-identical random variables. Under the non-identical set-up, with certain conditions, we prove that random minimum (maximum) of one system dominates the other in hazard rate (reversed hazard rate) order. Further, we prove variation diminishing property (Karlin [8]) for all possible restrictions to derive the new results.


title: Global existence and long time behavior of solutions to some Oldroyd type models in hybrid Besov spaces

abstract: In this paper, we deal with some Oldroyd type models, which describe incompressible viscoelastic fluids. There are 3 parameters in these models: the viscous coefficient of fluid $\nu_{1}$, the viscous coefficient of the elastic part of the stress tensor $\nu_{2}$, and the damping coefficient of the elastic part of the stress tensor $\alpha$. In this paper, we assume at least one of the parameters is zero: $(\nu_{1}, \nu_{2},\alpha)=(+,0,+), (+,0,0), (0,+,+), (0,+,0), (0,0,+)$ and prove the global existence of unique solutions to all these 5 cases in the framework of hybrid Besov spaces. We also derive decay rates of the solutions except for the case $(\nu_{1}, \nu_{2},\alpha)=(+,0,0)$. To the best of our knowledge, decay rates in this paper are the first results in this framework, and can improve some previous works.


title: Large Language Model Interaction Simulator for Cold-Start Item Recommendation

abstract: Recommending cold items is a long-standing challenge for collaborative filtering models because these cold items lack historical user interactions to model their collaborative features. The gap between the content of cold items and their behavior patterns makes it difficult to generate accurate behavioral embeddings for cold items. Existing cold-start models use mapping functions to generate fake behavioral embeddings based on the content feature of cold items. However, these generated embeddings have significant differences from the real behavioral embeddings, leading to a negative impact on cold recommendation performance. To address this challenge, we propose an LLM Interaction Simulator (LLM-InS) to model users' behavior patterns based on the content aspect. This simulator allows recommender systems to simulate vivid interactions for each cold item and transform them from cold to warm items directly. Specifically, we outline the designing and training process of a tailored LLM-simulator that can simulate the behavioral patterns of users and items. Additionally, we introduce an efficient "filtering-and-refining" approach to take full advantage of the simulation power of the LLMs. Finally, we propose an updating method to update the embeddings of the items. we unified trains for both cold and warm items within a recommender model based on the simulated and real interactions. Extensive experiments using real behavioral embeddings demonstrate that our proposed model, LLM-InS, outperforms nine state-of-the-art cold-start methods and three LLM models in cold-start item recommendations.


title: Leveraging the Context through Multi-Round Interactions for Jailbreaking Attacks

abstract: Large Language Models (LLMs) are susceptible to Jailbreaking attacks, which aim to extract harmful information by subtly modifying the attack query. As defense mechanisms evolve, directly obtaining harmful information becomes increasingly challenging for Jailbreaking attacks. In this work, inspired by human practices of indirect context to elicit harmful information, we focus on a new attack form called Contextual Interaction Attack. The idea relies on the autoregressive nature of the generation process in LLMs. We contend that the prior context--the information preceding the attack query--plays a pivotal role in enabling potent Jailbreaking attacks. Specifically, we propose an approach that leverages preliminary question-answer pairs to interact with the LLM. By doing so, we guide the responses of the model toward revealing the 'desired' harmful information. We conduct experiments on four different LLMs and demonstrate the efficacy of this attack, which is black-box and can also transfer across LLMs. We believe this can lead to further developments and understanding of the context vector in LLMs.


title: Generalized Portrait Quality Assessment

abstract: Automated and robust portrait quality assessment (PQA) is of paramount importance in high-impact applications such as smartphone photography. This paper presents FHIQA, a learning-based approach to PQA that introduces a simple but effective quality score rescaling method based on image semantics, to enhance the precision of fine-grained image quality metrics while ensuring robust generalization to various scene settings beyond the training dataset. The proposed approach is validated by extensive experiments on the PIQ23 benchmark and comparisons with the current state of the art. The source code of FHIQA will be made publicly available on the PIQ23 GitHub repository at https://github.com/DXOMARK-Research/PIQ2023.


title: Instruction Backdoor Attacks Against Customized LLMs

abstract: The increasing demand for customized Large Language Models (LLMs) has led to the development of solutions like GPTs. These solutions facilitate tailored LLM creation via natural language prompts without coding. However, the trustworthiness of third-party custom versions of LLMs remains an essential concern. In this paper, we propose the first instruction backdoor attacks against applications integrated with untrusted customized LLMs (e.g., GPTs). Specifically, these attacks embed the backdoor into the custom version of LLMs by designing prompts with backdoor instructions, outputting the attacker's desired result when inputs contain the pre-defined triggers. Our attack includes 3 levels of attacks: word-level, syntax-level, and semantic-level, which adopt different types of triggers with progressive stealthiness. We stress that our attacks do not require fine-tuning or any modification to the backend LLMs, adhering strictly to GPTs development guidelines. We conduct extensive experiments on 6 prominent LLMs and 5 benchmark text classification datasets. The results show that our instruction backdoor attacks achieve the desired attack performance without compromising utility. Additionally, we propose two defense strategies and demonstrate their effectiveness in reducing such attacks. Our findings highlight the vulnerability and the potential risks of LLM customization such as GPTs.


title: Approximating maximum independent set on Rydberg atom arrays using local detunings

abstract: Rydberg atom arrays are among the most promising quantum simulating platforms due to their scalability and long coherence time. From the perspective of combinatorial optimization, they are intrinsic solver for the maximum independent set problem because of the resemblance between the Rydberg Hamiltonian and the cost function of the maximum independent set problem. In this paper, we suggest a strategy to approximate maximum independent sets by adjusting local detunings on the Rydberg Hamiltonian according to each vertex's vertex support, which is a quantity that represents connectivity between vertices. By doing so, we explicitly reflect on the Rydberg Hamiltonian the potential probability that each vertex will be included in maximum independent sets. Our strategy reduces an error rate three times for the checkerboard graphs with defects when the adiabaticity is enough. Our strategy also decreases the error rate for random graphs of density 3.0, even when the adiabaticity is relatively insufficient. Moreover, we harness our strategy to raise the fidelity between the evolved quantum state and a 2D cat state on a square lattice, showing that our strategy helps to prepare a quantum many-body ground state.


title: OmniMedVQA: A New Large-Scale Comprehensive Evaluation Benchmark for Medical LVLM

abstract: Large Vision-Language Models (LVLMs) have demonstrated remarkable capabilities in various multimodal tasks. However, their potential in the medical domain remains largely unexplored. A significant challenge arises from the scarcity of diverse medical images spanning various modalities and anatomical regions, which is essential in real-world medical applications. To solve this problem, in this paper, we introduce OmniMedVQA, a novel comprehensive medical Visual Question Answering (VQA) benchmark. This benchmark is collected from 73 different medical datasets, including 12 different modalities and covering more than 20 distinct anatomical regions. Importantly, all images in this benchmark are sourced from authentic medical scenarios, ensuring alignment with the requirements of the medical field and suitability for evaluating LVLMs. Through our extensive experiments, we have found that existing LVLMs struggle to address these medical VQA problems effectively. Moreover, what surprises us is that medical-specialized LVLMs even exhibit inferior performance to those general-domain models, calling for a more versatile and robust LVLM in the biomedical field. The evaluation results not only reveal the current limitations of LVLM in understanding real medical images but also highlight our dataset's significance. Our code with dataset are available at https://github.com/OpenGVLab/Multi-Modality-Arena.


title: Design Space of Visual Feedforward And Corrective Feedback in XR-Based Motion Guidance Systems

abstract: Extended reality (XR) technologies are highly suited in assisting individuals in learning motor skills and movements -- referred to as motion guidance. In motion guidance, the "feedforward" provides instructional cues of the motions that are to be performed, whereas the "feedback" provides cues which help correct mistakes and minimize errors. Designing synergistic feedforward and feedback is vital to providing an effective learning experience, but this interplay between the two has not yet been adequately explored. Based on a survey of the literature, we propose design space for both motion feedforward and corrective feedback in XR, and describe the interaction effects between them. We identify common design approaches of XR-based motion guidance found in our literature corpus, and discuss them through the lens of our design dimensions. We then discuss additional contextual factors and considerations that influence this design, together with future research opportunities for motion guidance in XR.


title: Non-contact in situ multi-diagnostic NMR/dielectric spectroscopy

abstract: Introduction of a dielectric material in an NMR probe head modifies the frequency response of the probe circuit, a phenomenon revealed by the detuning of the probe. For NMR spectroscopy, this detuning is corrected for by tuning and matching the probe head prior to the NMR measurement. The magnitude of the probe detuning - the dielectric shift - provides direct access to the dielectric properties of the sample, enabling NMR spectrometers to simultaneously perform both dielectric and NMR spectroscopy. By measuring sample permittivity as function of frequency, permittivity spectroscopy can be performed using the new methodology. As a proof concept, this was evaluated on methanol, ethanol, 1-propanol, 1-pentanol and 1-octanol using a commercial CPMAS NMR probe head. The results accurately match literature data collected by standard dielectric spectroscopy techniques. Subsequently, the method was also applied to investigate the solvent-surface interactions of water confined in the micropores of an MFI-type, hydrophilic zeolite with Si/Al ratio of 11.5. In the micropores, water adsorbs to Br{\o}nsted acid sites and defect sites, resulting in a drastically decreased dielectric permittivity of the nano-confined water. A theoretical background for the new methodology is provided using an effective electric circuit model of a CPMAS probe head with solenoid coil, describing the detuning resulting from insertion of dielectric samples in the probe head.


title: Influence of buffer gas on the formation of $N$-resonances in rubidium vapors

abstract: The $N$-resonance process is an accessible and effective method for obtaining narrow (down to subnatural linewidth), and contrasted resonances, using two continuous lasers and an Rb vapor cell. In this article, we investigate the impact of buffer gas partial pressure on the contrast and linewidth of $N$-resonances formed in the $D_1$ line of an $^{85}$Rb thermal vapor. $N$-resonances are compared to usual EIT resonances, and we highlight their advantages and disadvantages. Several rounds of measurements were performed with five vapor cells, each containing Rb and Ne buffer gas with different partial pressures (ranging from 0 to 400 Torr). This reveals the existence of an optimum Ne partial pressure that yields the best contrast, for which we provide a qualitative description. We then study the behavior of the $N$-resonance components when a transverse magnetic field is applied to the vapor cell. The frequency shift of each component is well described by theoretical calculations.


title: Flattability of Priority Vector Addition Systems

abstract: Vector addition systems (VAS), also known as Petri nets, are a popular model of concurrent systems. Many problems from many areas reduce to the reachability problem for VAS, which consists of deciding whether a target configuration of a VAS is reachable from a given initial configuration. One of the main approaches to solve the problem on practical instances is called flattening, intuitively removing nested loops. This technique is known to terminate for semilinear VAS. In this paper, we prove that also for VAS with nested zero tests, called Priority VAS, flattening does in fact terminate for all semilinear reachability relations. Furthermore, we prove that Priority VAS admit semilinear inductive invariants. Both of these results are obtained by defining a well-quasi-order on runs of Priority VAS which has good pumping properties.


title: Generalised Kochen-Specker Theorem for Finite Non-Deterministic Outcome Assignments

abstract: The Kochen-Specker (KS) theorem is a cornerstone result in quantum foundations, establishing that quantum correlations in Hilbert spaces of dimension $d \geq 3$ cannot be explained by (consistent) hidden variable theories that assign a single deterministic outcome to each measurement. Specifically, there exist finite sets of vectors in these dimensions such that no non-contextual deterministic ($\{0,1\}$) outcome assignment is possible obeying the rules of exclusivity and completeness - that the sum of value assignments to any $d$ mutually orthogonal vectors be equal to $1$. Another central result in quantum foundations is Gleason's theorem that justifies the Born rule as a mathematical consequence of the quantum formalism. The KS theorem can be seen as a consequence of Gleason's theorem and the logical compactness theorem. Notably, Gleason's theorem also indicates the existence of KS-type finite vector constructions to rule out other finite alphabet outcome assignments beyond the $\{0,1\}$ case. Here, we propose a generalisation of the KS theorem that rules out hidden variable theories with outcome assignments in the set $\{0, p, 1-p, 1\}$ for $p \in [0,1/d) \cup (1/d, 1/2]$. The case $p = 1/2$ is especially physically significant. We show that in this case the result rules out (consistent) hidden variable theories that are fundamentally binary, i.e., theories where each measurement has fundamentally at most two outcomes (in contrast to the single deterministic outcome per measurement ruled out by KS). We present a device-independent application of this generalised KS theorem by constructing a two-player non-local game for which a perfect quantum winning strategy exists (a Pseudo-telepathy game) while no perfect classical strategy exists even if the players are provided with additional no-signaling resources of PR-box type (with marginal probabilities in $\{0,1/2,1\}$).


title: Identifying Tractable Quantified Temporal Constraints within Ord-Horn

abstract: The constraint satisfaction problem, parameterized by a relational structure, provides a general framework for expressing computational decision problems. Already the restriction to the class of all finite structures forms an interesting microcosm on its own, but to express decision problems in temporal reasoning one has to take a step beyond the finite-domain realm. An important class of templates used in this context are temporal structures, i.e., structures over $\mathbb{Q}$ whose relations are first-order definable using the usual countable dense linear order without endpoints. In the standard setting, which allows only existential quantification over input variables, the complexity of finite and temporal constraints has been fully classified. In the quantified setting, i.e., when one also allows universal quantifiers, there is only a handful of partial classification results and many concrete cases of unknown complexity. This paper presents a significant progress towards understanding the complexity of the quantified constraint satisfaction problem for temporal structures. We provide a complexity dichotomy for quantified constraints over the Ord-Horn fragment, which played an important role in understanding the complexity of constraints both over temporal structures and in Allen's interval algebra. We show that all problems under consideration are in P or coNP-hard. In particular, we determine the complexity of the quantified constraint satisfaction problem for $(\mathbb{Q};x=y\Rightarrow x\geq z)$, hereby settling a question open for more than ten years.


title: Perazzo hypersurfaces and the weak Lefschetz property

abstract: We deal with Perazzo hypersurfaces $X=V(f)$ in $\PP^{n+2}$ defined by a homogeneous polynomial $f(x_0,x_1,\dots,x_n,u,v)=p_0(u,v)x_0+p_1(u,v)x_1+\cdots +p_n(u,v)x_n+g(u,v)$, where $p_0,p_1,\dots ,p_n$ are algebraically dependent but linearly independent forms of degree $d-1$ in $K[u,v]$ and $g$ is a form in $K[u,v]$ of degree $d$. Perazzo hypersurfaces have vanishing hessian and, hence, the associated graded artinian Gorenstein algebra $A_f$ fails the strong Lefschetz property. In this paper, we first determine the maximum and minimum Hilbert function of $A_f$, we prove that the Hilbert function of $A_f$ is always unimodal and we determine when $A_f$ satisfies the weak Lefschetz property. We illustrate our results with many examples and we show that our results do not generalize to Perazzo hypersurfaces $X=V(f)$ in $\PP^{n+3}$ defined by a homogeneous polynomial $f(x_0,x_1,\dots,x_{n},u,v,w)=p_0(u,v,w)x_0+p_1(u,v,w)x_1+\cdots +p_{n}(u,v,w)x_{n}+g(u,v,w)$, where $p_0,p_1,\dots ,p_{n}$ are algebraically dependent but linearly independent forms of degree $d-1$ in $K[u,v,w]$ and $g$ is a form in $K[u,v,w]$ of degree $d$.


title: Traj-LIO: A Resilient Multi-LiDAR Multi-IMU State Estimator Through Sparse Gaussian Process

abstract: Nowadays, sensor suits have been equipped with redundant LiDARs and IMUs to mitigate the risks associated with sensor failure. It is challenging for the previous discrete-time and IMU-driven kinematic systems to incorporate multiple asynchronized sensors, which are susceptible to abnormal IMU data. To address these limitations, we introduce a multi-LiDAR multi-IMU state estimator by taking advantage of Gaussian Process (GP) that predicts a non-parametric continuous-time trajectory to capture sensors' spatial-temporal movement with limited control states. Since the kinematic model driven by three types of linear time-invariant stochastic differential equations are independent of external sensor measurements, our proposed approach is capable of handling different sensor configurations and resilient to sensor failures. Moreover, we replace the conventional $\mathrm{SE}(3)$ state representation with the combination of $\mathrm{SO}(3)$ and vector space, which enables GP-based LiDAR-inertial system to fulfill the real-time requirement. Extensive experiments on the public datasets demonstrate the versatility and resilience of our proposed multi-LiDAR multi-IMU state estimator. To contribute to the community, we will make our source code publicly available.


title: Invariants of persistence modules defined by order-embeddings

abstract: One of the main objectives of topological data analysis is the study of discrete invariants for persistence modules, in particular when dealing with multiparameter persistence modules. In many cases, the invariants studied for these non-totally ordered posets $P$ can be obtained from restricting a given module to a subposet $X$ of $P$ that is totally ordered (or more generally, of finite representation type), and then computing the barcode (or the general direct sum decomposition) over $X$. We consider in this paper general order-preserving embeddings of representation-finite subposets $X$ into $P$ and study systematically the invariants obtained by decomposing the restriction of a given $P$-module $M$ to $X$ into its indecomposable summands. The restriction functor from $\mathrm{mod} \ P$ to $\mathrm{mod} \ X$ is well-studied, and it is known to be exact and admits both left and right adjoint functors, known as induction and co-induction functors. This allows us to obtain new homological insights, and also to re-interpret previous results. We use this approach also to determine bases, thus generalizing the concept of signed barcodes which is considered in the literature in relation to stability results. It turns out that considering only order-embeddings of one fixed poset $X$ into the poset $P$, and studying the set of all indecomposables obtained from $X$ introduces a lot of redundancy. We therefore also study iterated embeddings of several posets of increasing sizes, while limiting attention to only some indecomposables (that have not been obtained from embedding of smaller posets previously).


title: Cyber Deception Reactive: TCP Stealth Redirection to On-Demand Honeypots

abstract: Cybersecurity is developing rapidly, and new methods of defence against attackers are appearing, such as Cyber Deception (CYDEC). CYDEC consists of deceiving the enemy who performs actions without realising that he/she is being deceived. This article proposes designing, implementing, and evaluating a deception mechanism based on the stealthy redirection of TCP communications to an on-demand honey server with the same characteristics as the victim asset, i.e., it is a clone. Such a mechanism ensures that the defender fools the attacker, thanks to stealth redirection. In this situation, the attacker will focus on attacking the honey server while enabling the recollection of relevant information to generate threat intelligence. The experiments in different scenarios show how the proposed solution can effectively redirect an attacker to a copied asset on demand, thus protecting the real asset. Finally, the results obtained by evaluating the latency times ensure that the redirection is undetectable by humans and very difficult to detect by a machine.


title: Primitive elements of finite fields $\mathbf{F}_{q^r}$ avoiding affine hyperplanes for $q=4$ and $q=5$

abstract: For a finite field $\mathbf{F}_{q^r}$ with fixed $q$ and $r$ sufficiently large, we prove the existence of a primitive element outside of a set of $r$ many affine hyperplanes for $q=4$ and $q=5$. This complements earlier results by Fernandes and Reis for $q\ge 7$. For $q=3$ the analogous result can be derived from a very recent bound on character sums of Iyer and Shparlinski. For $q=2$ the set consists only of a single element, and such a result is thus not possible.


title: (Ir)rationality and Cognitive Biases in Large Language Models

abstract: Do large language models (LLMs) display rational reasoning? LLMs have been shown to contain human biases due to the data they have been trained on; whether this is reflected in rational reasoning remains less clear. In this paper, we answer this question by evaluating seven language models using tasks from the cognitive psychology literature. We find that, like humans, LLMs display irrationality in these tasks. However, the way this irrationality is displayed does not reflect that shown by humans. When incorrect answers are given by LLMs to these tasks, they are often incorrect in ways that differ from human-like biases. On top of this, the LLMs reveal an additional layer of irrationality in the significant inconsistency of the responses. Aside from the experimental results, this paper seeks to make a methodological contribution by showing how we can assess and compare different capabilities of these types of models, in this case with respect to rational reasoning.


title: The Boosted Difference of Convex Functions Algorithm for Value-at-Risk Constrained Portfolio Optimization

abstract: A highly relevant problem of modern finance is the design of Value-at-Risk (VaR) optimal portfolios. Due to contemporary financial regulations, banks and other financial institutions are tied to use the risk measure to control their credit, market and operational risks. For a portfolio with a discrete return distribution and finitely many scenarios, a Difference of Convex (DC) functions representation of the VaR can be derived. Wozabal (2012) showed that this yields a solution to a VaR constrained Markowitz style portfolio selection problem using the Difference of Convex Functions Algorithm (DCA). A recent algorithmic extension is the so-called Boosted Difference of Convex Functions Algorithm (BDCA) which accelerates the convergence due to an additional line search step. It has been shown that the BDCA converges linearly for solving non-smooth quadratic problems with linear inequality constraints. In this paper, we prove that the linear rate of convergence is also guaranteed for a piecewise linear objective function with linear equality and inequality constraints using the Kurdyka-{\L}ojasiewicz property. An extended case study under consideration of best practices for comparing optimization algorithms demonstrates the superiority of the BDCA over the DCA for real-world financial market data. We are able to show that the results of the BDCA are significantly closer to the efficient frontier compared to the DCA. Due to the open availability of all data sets and code, this paper further provides a practical guide for transparent and easily reproducible comparisons of VaR constrained portfolio selection problems in Python.


title: Complete complementarity relations in tree level QED processes

abstract: We exploit complete complementarity relations to fully characterize various aspects of quantumness in a Bhabha scattering process $(e^-e^+ \rightarrow e^-e^+)$ at tree level. For illustrative purposes, we consider three different situations: in the first one the initial electron A and positron B are described by a factorized state; in the second one, the incoming particles are described by local superpositions and the total state is factorized; finally, we consider the more general initial state in which A and B can be entangled. We find that the QED scattering process generates and distributes quantum information in a non-trivial way among the particles, with CCR being fulfilled both for initial and final states.


title: comparison of two models to predict vertebral failure loads on the same experimental dataset

abstract: Clinical use of finite element analysis requires validation and reproducibility studies. The current study compared two models of vertebral bodies including endplates, on the same experimental dataset and evaluated the influence of the operator on the failure load. Models used were strongly correlated (R2=0.91). The intra-operator reproducibility was 6.4% and 3.5 % for each model. Both simulated results were close to experimental results. The differences in performance could be associated to the differences in segmentation process, mesh (hexahedral vs tetrahedral), material representation and failure criteria. Linear analysis did not decrease model accuracy. Comparison with literature for accuracy and precision shows a wide range of values partly related to the different experimental datasets and the different modelling approaches. Models benchmark using the same experimental dataset are needed to go towards clinical applications.


title: Implementing local-explainability in Gradient Boosting Trees: Feature Contribution

abstract: Gradient Boost Decision Trees (GBDT) is a powerful additive model based on tree ensembles. Its nature makes GBDT a black-box model even though there are multiple explainable artificial intelligence (XAI) models obtaining information by reinterpreting the model globally and locally. Each tree of the ensemble is a transparent model itself but the final outcome is the result of a sum of these trees and it is not easy to clarify. In this paper, a feature contribution method for GBDT is developed. The proposed method takes advantage of the GBDT architecture to calculate the contribution of each feature using the residue of each node. This algorithm allows to calculate the sequence of node decisions given a prediction. Theoretical proofs and multiple experiments have been carried out to demonstrate the performance of our method which is not only a local explicability model for the GBDT algorithm but also a unique option that reflects GBDTs internal behavior. The proposal is aligned to the contribution of characteristics having impact in some artificial intelligence problems such as ethical analysis of Artificial Intelligence (AI) and comply with the new European laws such as the General Data Protection Regulation (GDPR) about the right to explain and nondiscrimination.


title: Representational conventions and invariant structure

abstract: In the philosophical literature, symmetries of physical theories are most often interpreted within the general doctrine called 'Sophistication'. Roughly speaking, it says that models related by symmetries can peacefully co-exist while representing the same physical possibility. But this interpretation still leaves open two main worries about Sophistication: (a) it allows the individuation of what I call 'structure-tokens' to remain intractable and thus of limited use, which is why practising physicists frequently invoke 'relational, symmetry-invariant observables'; and (b) it leaves us with no formal framework for expressing counterfactual statements about the world. Here, I will show that a new Desideratum to be satisfied by theories with symmetries answers these worries. The new Desideratum is that the theory admits what I will call representational conventions for its structure-tokens.


title: Ten Words Only Still Help: Improving Black-Box AI-Generated Text Detection via Proxy-Guided Efficient Re-Sampling

abstract: With the rapidly increasing application of large language models (LLMs), their abuse has caused many undesirable societal problems such as fake news, academic dishonesty, and information pollution. This makes AI-generated text (AIGT) detection of great importance. Among existing methods, white-box methods are generally superior to black-box methods in terms of performance and generalizability, but they require access to LLMs' internal states and are not applicable to black-box settings. In this paper, we propose to estimate word generation probabilities as pseudo white-box features via multiple re-sampling to help improve AIGT detection under the black-box setting. Specifically, we design POGER, a proxy-guided efficient re-sampling method, which selects a small subset of representative words (e.g., 10 words) for performing multiple re-sampling in black-box AIGT detection. Experiments on datasets containing texts from humans and seven LLMs show that POGER outperforms all baselines in macro F1 under black-box, partial white-box, and out-of-distribution settings and maintains lower re-sampling costs than its existing counterparts.


title: Discovering Command and Control (C2) Channels on Tor and Public Networks Using Reinforcement Learning

abstract: Command and control (C2) channels are an essential component of many types of cyber attacks, as they enable attackers to remotely control their malware-infected machines and execute harmful actions, such as propagating malicious code across networks, exfiltrating confidential data, or initiating distributed denial of service (DDoS) attacks. Identifying these C2 channels is therefore crucial in helping to mitigate and prevent cyber attacks. However, identifying C2 channels typically involves a manual process, requiring deep knowledge and expertise in cyber operations. In this paper, we propose a reinforcement learning (RL) based approach to automatically emulate C2 attack campaigns using both the normal (public) and the Tor networks. In addition, payload size and network firewalls are configured to simulate real-world attack scenarios. Results on a typical network configuration show that the RL agent can automatically discover resilient C2 attack paths utilizing both Tor-based and conventional communication channels, while also bypassing network firewalls.


title: Better-than-KL PAC-Bayes Bounds

abstract: Let $f(\theta, X_1),$ $ \dots,$ $ f(\theta, X_n)$ be a sequence of random elements, where $f$ is a fixed scalar function, $X_1, \dots, X_n$ are independent random variables (data), and $\theta$ is a random parameter distributed according to some data-dependent posterior distribution $P_n$. In this paper, we consider the problem of proving concentration inequalities to estimate the mean of the sequence. An example of such a problem is the estimation of the generalization error of some predictor trained by a stochastic algorithm, such as a neural network where $f$ is a loss function. Classically, this problem is approached through a PAC-Bayes analysis where, in addition to the posterior, we choose a prior distribution which captures our belief about the inductive bias of the learning problem. Then, the key quantity in PAC-Bayes concentration bounds is a divergence that captures the complexity of the learning problem where the de facto standard choice is the KL divergence. However, the tightness of this choice has rarely been questioned. In this paper, we challenge the tightness of the KL-divergence-based bounds by showing that it is possible to achieve a strictly tighter bound. In particular, we demonstrate new high-probability PAC-Bayes bounds with a novel and better-than-KL divergence that is inspired by Zhang et al. (2022). Our proof is inspired by recent advances in regret analysis of gambling algorithms, and its use to derive concentration inequalities. Our result is first-of-its-kind in that existing PAC-Bayes bounds with non-KL divergences are not known to be strictly better than KL. Thus, we believe our work marks the first step towards identifying optimal rates of PAC-Bayes bounds.


title: A universal scaling limit for diffusive amnesic step-reinforced random walks

abstract: We introduce a variation of the step-reinforced random walk with general memory. For the diffusive regime, we establish a functional invariance principle and show that, given suitable conditions on the memory sequence, the arising limiting processes are always the sum of a noise reinforced Brownian motion and a (not independent) Brownian motion.


title: Thermodynamic properties and phase diagram of quark matter within non-extensive Polyakov chiral SU (3) quark mean field model

abstract: In the present work, we apply Tsallis non-extensive statistics to study the thermodynamic properties and phase diagram of quark matter in the Polyakov chiral SU(3) quark mean field model. Within this model, the properties of the quark matter are modified through the scalar fields $\sigma, \zeta, \delta, \chi$, the vector fields $\omega, \rho$, $\phi$, and the Polyakov fields $\Phi$ and $\bar{\Phi}$ at finite temperature and chemical potential. Non-extensive effects have been introduced through a dimensionless parameter $q$ and the results are compared to the extensive case ($q\rightarrow1$). In the non-extensive case, the exponential in the Fermi-Dirac (FD) function is modified to a $q$-exponential form. The influence of $q$ parameter on the thermodynamic properties: pressure, energy, and entropy density as well as trace anomaly is investigated. The speed of sound and specific heat with non-extensive effects is also studied. Furthermore, the effect of non-extensivity on the deconfinement phase transition as well as the chiral phase transition of $u, d,$ and $s$ quarks is explored. We found that the critical end point (CEP), which defines the point in the $(T - \mu)$ phase diagram where the order of the phase transition changes, shifts to a lower value of temperature, $T_{CEP}$, and a higher value of chemical potential, $\mu_{CEP}$, as the non-extensivity is increased, i.e., $q>$1.


title: Domain-adaptive and Subgroup-specific Cascaded Temperature Regression for Out-of-distribution Calibration

abstract: Although deep neural networks yield high classification accuracy given sufficient training data, their predictions are typically overconfident or under-confident, i.e., the prediction confidences cannot truly reflect the accuracy. Post-hoc calibration tackles this problem by calibrating the prediction confidences without re-training the classification model. However, current approaches assume congruence between test and validation data distributions, limiting their applicability to out-of-distribution scenarios. To this end, we propose a novel meta-set-based cascaded temperature regression method for post-hoc calibration. Our method tailors fine-grained scaling functions to distinct test sets by simulating various domain shifts through data augmentation on the validation set. We partition each meta-set into subgroups based on predicted category and confidence level, capturing diverse uncertainties. A regression network is then trained to derive category-specific and confidence-level-specific scaling, achieving calibration across meta-sets. Extensive experimental results on MNIST, CIFAR-10, and TinyImageNet demonstrate the effectiveness of the proposed method.


title: Tell Me More! Towards Implicit User Intention Understanding of Language Model Driven Agents

abstract: Current language model-driven agents often lack mechanisms for effective user participation, which is crucial given the vagueness commonly found in user instructions. Although adept at devising strategies and performing tasks, these agents struggle with seeking clarification and grasping precise user intentions. To bridge this gap, we introduce Intention-in-Interaction (IN3), a novel benchmark designed to inspect users' implicit intentions through explicit queries. Next, we propose the incorporation of model experts as the upstream in agent designs to enhance user-agent interaction. Employing IN3, we empirically train Mistral-Interact, a powerful model that proactively assesses task vagueness, inquires user intentions, and refines them into actionable goals before starting downstream agent task execution. Integrating it into the XAgent framework, we comprehensively evaluate the enhanced agent system regarding user instruction understanding and execution, revealing that our approach notably excels at identifying vague user tasks, recovering and summarizing critical missing information, setting precise and necessary agent execution goals, and minimizing redundant tool usage, thus boosting overall efficiency. All the data and codes are released.


title: Liquid-liquid phase separation of proteins is modulated by amino acids in vitro and in vivo by regulating protein-protein interactions

abstract: Liquid liquid phase separation (LLPS) of proteins is an intracellular process that is widely used by cells for many purposes. In living cells (in vivo), LLPS occurs in complex and crowded environments. Amino acids (AAs) are vital components of such environments, occupying a significant fraction of the cellular volume. In this work, we studied the effects of proline and other proteinogenic AAs on the LLPS of proteins, both in test tubes (in vitro) and in cells (in vivo). The effects of proline on the protein-protein interaction (PPI) and LLPS of both bovine serum albumin (BSA, a folded protein) and the low-complexity domain of fused in sarcoma (FUS267, an intrinsically disordered protein) is first established in vitro. Then, the effects of proline and other proteinogenic AAs on the formation of stress granules (SGs) by LLPS in U2OS and HeLa cells are studied. We find that the presence of AAs renders the net interaction between proteins more repulsive (i.e. stabilizes protein solution), thus suppressing protein phase separation in vitro and in vivo. We also show that the formation of SGs is suppressed by AAs using both immunofluorescence and live-cell microscopy. Our study reveals an underappreciated role of cellular AAs in modulating intracellular phase separation. It may find biomedical applications, especially in the treatment of protein aggregation diseases.


title: Monoidal model structures on filtered chain complexes relating to spectral sequences

abstract: We establish monoidal model structures on model categories of filtered chain complexes constructed by Cirici, Egas Santander, Livernet and Whitehouse whose weak equivalences are the quasi-isomorphisms on the $r$-page of the associated spectral sequences. In doing so we provide a partial classification of cofibrant objects and cofibrations of the model structures involving a boundedness restriction on the filtration. As a consequence we also obtain, by results of Schwede and Shipley, cofibrantly generated model structures on the categories of filtered differential graded algebras as well as their modules.


title: Coexistence of Superconductivity and Antiferromagnetism in Topological Magnet MnBi2Te4 Films

abstract: The interface of two materials can harbor unexpected emergent phenomena. One example is interface-induced superconductivity. In this work, we employ molecular beam epitaxy to grow a series of heterostructures formed by stacking together two non-superconducting antiferromagnetic materials, an intrinsic antiferromagnetic topological insulator MnBi2Te4 and an antiferromagnetic iron chalcogenide FeTe. Our electrical transport measurements reveal interface-induced superconductivity in these heterostructures. By performing scanning tunneling microscopy and spectroscopy measurements, we observe a proximity-induced superconducting gap on the top surface of the MnBi2Te4 layer, confirming the interaction between superconductivity and antiferromagnetism in the MnBi2Te4 layer. Our findings will advance the fundamental inquiries into the topological superconducting phase in hybrid devices and provide a promising platform for the exploration of chiral Majorana physics in MnBi2Te4-based heterostructures.


title: A general mechanism for enhancer-insulator pairing reveals heterogeneous dynamics in long-distant 3D gene regulation

abstract: Cells regulate fates and complex body plans using spatiotemporal signaling cascades that alter gene expression. Enhancers, short DNA sequences (50-150 base pairs), help coordinate these cascades by attracting regulatory proteins to enhance the transcription of distal genes by binding to promoters. In humans, there are hundreds of thousands of enhancers dispersed across the genome, which poses a challenging coordination task to prevent unintended gene activation. To mitigate this problem, the genome contains additional DNA elements, insulators, that block enhancer-promoter interactions. However, there is an open problem with how the insulation works, especially as enhancer-insulator pairs may be separated by millions of base pairs. Based on recent empirical data from Hi-C experiments, this paper proposes a new mechanism that challenges the common paradigm that rests on specific insulator-insulator interactions. Instead, this paper introduces a stochastic looping model where enhancers bind weakly to surrounding chromatin. After calibrating the model to experimental data, we use simulations to study the broad distribution of hitting times between an enhancer and a promoter when there are blocking insulators. In some cases, there is a large difference between average and most probable hitting times, making it difficult to assign a typical time scale, hinting at highly defocused regulation times. We also map our computational model onto a resetting problem that allows us to derive several analytical results. Besides offering new insights into enhancer-insulator interactions, our paper advances the understanding of gene regulatory networks and causal connections between genome folding and gene activation.

categories: q-bio.MN cond-mat.stat-mech physics.bio-ph q-bio.QM


title: Inter-laboratory replicability and sensitivity study of a finite element model to quantify human femur failure load: case of metastases

abstract: Metastases increase the risk of fracture when affecting the femur. Consequently, clinicians need to know if the patients femur can withstand the stress of daily activities. The current tools used in clinics are not sufficiently precise. A new method, the CT-scan-based finite element analysis, gives good predictive results. However, none of the existing models were tested for reproducibility. This is a critical issue to address in order to apply the technique on a large cohort around the world to help evaluate bone metastatic fracture risk in patients. Please see pdf file


title: DivaTrack: Diverse Bodies and Motions from Acceleration-Enhanced Three-Point Trackers

abstract: Full-body avatar presence is crucial for immersive social and environmental interactions in digital reality. However, current devices only provide three six degrees of freedom (DOF) poses from the headset and two controllers (i.e. three-point trackers). Because it is a highly under-constrained problem, inferring full-body pose from these inputs is challenging, especially when supporting the full range of body proportions and use cases represented by the general population. In this paper, we propose a deep learning framework, DivaTrack, which outperforms existing methods when applied to diverse body sizes and activities. We augment the sparse three-point inputs with linear accelerations from Inertial Measurement Units (IMU) to improve foot contact prediction. We then condition the otherwise ambiguous lower-body pose with the predictions of foot contact and upper-body pose in a two-stage model. We further stabilize the inferred full-body pose in a wide range of configurations by learning to blend predictions that are computed in two reference frames, each of which is designed for different types of motions. We demonstrate the effectiveness of our design on a large dataset that captures 22 subjects performing challenging locomotion for three-point tracking, including lunges, hula-hooping, and sitting. As shown in a live demo using the Meta VR headset and Xsens IMUs, our method runs in real-time while accurately tracking a user's motion when they perform a diverse set of movements.


title: Machine classification of quantum correlations for entanglement distribution networks

abstract: The paper suggest employing machine learning for resource-efficient classification of quantum correlations in entanglement distribution networks. Specifically, artificial neural networks (ANN) are utilized to classify quantum correlations based on collective measurements conducted in the geometry of entanglement swapping. ANNs are trained to categorize two-qubit quantum states into five mutually exclusive classes depending on the strength of quantum correlations exhibited by the states. The precision and recall of the ANN models are analyzed as functions of the quantum resources consumed, i.e. the number of collective measurements performed.


title: Identification of cohesive subgroups in a university hall of residence during the COVID-19 pandemic using a social network analysis approach

abstract: The aims: (i) analyze connectivity between subgroups of university students, (ii) assess which bridges of relational contacts are essential for connecting or disconnecting subgroups and (iii) to explore the similarities between the attributes of the subgroup nodes in relation to the pandemic context. During the COVID-19 pandemic, young university students have experienced significant changes in their relationships, especially in the halls of residence. Previous research has shown the importance of relationship structure in contagion processes. However, there is a lack of studies in the university setting, where students live closely together. The case study methodology was applied to carry out a descriptive study. The participation consisted of 43 university students living in the same hall of residence. Social network analysis has been applied for data analysis. Factions and Girvan Newman algorithms have been applied to detect the existing cohesive subgroups. The UCINET tool was used for the calculation of the SNA measure. A visualization of the global network will be carried out using Gephi software. After applying the Girvan-Newman and Factions, in both cases it was found that the best division into subgroups was the one that divided the network into 4 subgroups. There is high degree of cohesion within the subgroups and a low cohesion between them. The relationship between subgroup membership and gender was significant. The degree of COVID-19 infection is related to the degree of clustering between the students. College students form subgroups in their residence. Social network analysis facilitates an understanding of structural behavior during the pandemic. The study provides evidence on the importance of gender, race and the building where they live in creating network structures that favor, or not, contagion during a pandemic.


title: A Schmidt's subspace theorem for moving hyeprplane targets over function fields

abstract: In this paper, we establish a Schmidt's subspace theorem for moving hyeprplane targets in projective spaces over function fields.


title: Modeling of groundwater flow in porous medium layered over inclined impermeable bed

abstract: We propose a new mathematical model of groundwater flow in porous medium layered over inclined impermeable bed. In its full generality, this is a free-surface problem. To obtain analytically tractable model, we use generalized Dupuit-Forchheimer assumption for inclined impermeable bed. In this way, we arrive at parabolic partial differential equation which is a generalization of the classical Boussinesq equation. Novelty of our approach consists in considering nonlinear constitutive law of the power type. Thus introducing $p$-Laplacian-like differential operator into the Boussinesq equation. Unlike in the classical case of the Boussinesq equation, the convective term cannot be set aside from the main part of the diffusive term and remains incorporated within it. In the sequel of the paper, we analyze qualitative properties of the stationary solutions of our model. In particular, we study existence and regularity of weak solutions for the following boundary value problem \begin{equation*} \begin{aligned} & - \frac{\rm d}{{\rm d} x} \left[ (u(x) + H) \left|\frac{{\rm d} u}{{\rm d} x}(x) \cos(\varphi) + \sin(\varphi) \right|^{p - 2} \left(\frac{{\rm d} u}{{\rm d} x}(x) \cos(\varphi) + \sin(\varphi)\right) \right] & \begin{aligned} & = f(x)\,, & \qquad\qquad x \in (-1,1)\,, & u(-1) = u(1) = 0\,,& \end{aligned} \end{aligned} \end{equation*} where $p>1$, $H>0$, $\varphi\in (0, \pi/2)$, $f\geq 0$, $f\in L^{1}(-1,1)$. In the case of $p>2$, we study validity of Weak and Strong Maximum Principles as well. We use methods based on the linearization of the $p$-Laplacian-type problems in the vicinity of known solution, error estimates, and analysis of Green's function of the linearized problem.


title: AutoTutor meets Large Language Models: A Language Model Tutor with Rich Pedagogy and Guardrails

abstract: Large Language Models (LLMs) have found several use cases in education, ranging from automatic question generation to essay evaluation. In this paper, we explore the potential of using Large Language Models (LLMs) to author Intelligent Tutoring Systems. A common pitfall of LLMs is their straying from desired pedagogical strategies such as leaking the answer to the student, and in general, providing no guarantees. We posit that while LLMs with certain guardrails can take the place of subject experts, the overall pedagogical design still needs to be handcrafted for the best learning results. Based on this principle, we create a sample end-to-end tutoring system named MWPTutor, which uses LLMs to fill in the state space of a pre-defined finite state transducer. This approach retains the structure and the pedagogy of traditional tutoring systems that has been developed over the years by learning scientists but brings in additional flexibility of LLM-based approaches. Through a human evaluation study on two datasets based on math word problems, we show that our hybrid approach achieves a better overall tutoring score than an instructed, but otherwise free-form, GPT-4. MWPTutor is completely modular and opens up the scope for the community to improve its performance by improving individual modules or using different teaching strategies that it can follow.


title: Inferentialist Resource Semantics

abstract: In systems modelling, a system typically comprises located resources relative to which processes execute. One important use of logic in informatics is in modelling such systems for the purpose of reasoning (perhaps automated) about their behaviour and properties. To this end, one requires an interpretation of logical formulae in terms of the resources and states of the system; such an interpretation is called a resource semantics of the logic. This paper shows how inferentialism -- the view that meaning is given in terms of inferential behaviour -- enables a versatile and expressive framework for resource semantics. Specifically, how inferentialism seamlessly incorporates the assertion-based approach of the logic of Bunched Implications, foundational in program verification (e.g., as the basis of Separation Logic), and the renowned number-of-uses reading of Linear Logic. This integration enables reasoning about shared and separated resources in intuitive and familiar ways, as well as about the composition and interfacing of system components.


title: The Mumford Dynamical System and Hyperelliptic Kleinian Functions

abstract: We establish differential-algebraic theory of the Mumford dynamical system. In the framework of this theory, we introduce the $(P,Q)$-recursion, which defines a sequence of functions $P_1,P_2,\ldots$ given the first function of this sequence $P_1$ and a sequence of parameters $h_1,h_2,\ldots$. The general solution of the $(P,Q)$-recursion is shown to give a solution for the parametric graded Korteweg--de Vries hierarchy. We prove that all solutions of the Mumford dynamical $g$-system are determined by the $(P,Q)$-recursion under the condition $P_{g+1} = 0$, which is equivalent to an ordinary nonlinear differential equation of order $2g$ for the function $P_1$. Reduction of the $g$-system of Mumford to the Buchstaber--Enolskii--Leykin dynamical system is described explicitly, and its explicit $2g$-parameter solution in hyperelliptic Klein functions is presented.