title: Jacob's ladders, almost linear increments of the Hardy-Littlewood integral (1918), the classical Dirichet's sum of divisors (1849) and their relationship with the Fermat-Wiles theorem

abstract: In this paper we obtain number of new equivalents of the Fermat-Wiles theorem that are based on Jacob's ladders. The main of these is the $D$-equivalent that is generated by the Dirichlet's $D(x)$-function.


title: Ensemble equivalence and asymptotic equipartition property in information theory

abstract: There is a consensus in science that information theory and statistical physics have a close relationship but the literary proofs of the equivalence between most of the conceptions in the two disciplines are still missing. In this work, according to the statistical ensembles' description of the information sequences that are generated by the i.i.d. single variable and multivariate information source, the relationship between the ensemble equivalence and asymptotic equipartition property is established. We find that the description of information sequences in classical information theory is a special case of the canonical ensemble description of information sequences. They are both the maximum entropy approximation of the real signal generation. Vice versa, the conjugate microcanonical ensemble description of the information sequences under hard constraints satisfies the condition in real signal generation exactly. Thus, the microcanoincal ensemble description is closer to the real signal generation than the conjugate canonical ensemble, but the ensemble equivalence between the microcanonical and canonical ensemble in the thermodynamic limit guarantees the effectiveness of classical information theory, i.e., the asymptotic equipartition property in information theory is an isotope of ensemble equivalence from statistical physics.


title: Geodetic precession and shadow of quantum extended black holes

abstract: We study the circular motion of massive and massless particles in a recently proposed quantum-corrected Schwarzschild black hole in loop quantum gravity. This solution is supposed to introduce small but non-zero quantum corrections in the low curvature limit. In this paper, we confine our attention to the shadow of the black hole and the geodetic precession of a freely falling gyroscope in a circular orbit. Despite the mathematical complexity of the metric, our results are exact and show that the black hole shadow decreases slightly in this solution while the quantum corrections introduce a non-trivial term in the geodetic precession frequency of the gyroscope.


title: Ergodic behavior of products of random positive operators

abstract: This article is devoted to the study of products of random operators of the form $M_{0,n}=M_0\cdots M_{n-1}$, where $(M_{n})_{n\in\mathbb{N}}$ is an ergodic sequence of positive operators on the space of signed measures on a space $\mathbb{X}$. Under suitable conditions, in particular, a Doeblin-type minoration suited for non conservative operators, we obtain asymptotic results of the form \[ \mu M_{0,n} \simeq \mu(\tilde{h}) r_n \pi_n,\] where $\tilde{h}$ is a random bounded function, $(r_n)_{n\geq 0}$ is a random non negative sequence and $\pi_n$ is a random probability measure on $\mathbb{X}$. Moreover, $\tilde{h}$, $(r_n)$ and $\pi_n$ do not depend on the choice of the measure $\mu$. We prove additionally that $n^{-1} \log (r_n)$ converges almost surely to the Lyapunov exponent $\lambda$ of the process $(M_{0,n})_{n\geq 0}$ and that the sequence of random probability measures $(\pi_n)$ converges weakly towards a random probability measure. These results are analogous to previous estimates from Hennion in the case of $d\times d$ matrices, that were obtained with different techniques, based on a projective contraction in Hilbert distance. In the case where the sequence $(M_n)$ is i.i.d, we additionally exhibit an expression of the Lyapunov exponent $\lambda$ as an integral with respect to the weak limit of the sequence of random probability measures $(\pi_n)$ and exhibit an oscillation behavior of $r_n$ when $\lambda=0$. We provide a detailed comparison of our assumptions with the ones of Hennion and present some example of applications of our results, in particular in the field of population dynamics.


title: Liouville quantum gravity metrics are not doubling

abstract: We observe that non-doubling metric spaces can be characterized as those that contain arbitrarily large sets of approximately equidistant points and use this to show that, for $\gamma \in (0,2]$, the $\gamma$-Liouville quantum gravity metric is almost surely not doubling and thus cannot be quasisymmetrically embedded into any finite-dimensional Euclidean space. This generalizes the corresponding result of Troscheit for the Brownian map (which is equivalent to the case $\gamma = \sqrt{8/3}$).


title: GazeMoDiff: Gaze-guided Diffusion Model for Stochastic Human Motion Prediction

abstract: Human motion prediction is important for virtual reality (VR) applications, e.g., for realistic avatar animation. Existing methods have synthesised body motion only from observed past motion, despite the fact that human gaze is known to correlate strongly with body movements and is readily available in recent VR headsets. We present GazeMoDiff -- a novel gaze-guided denoising diffusion model to generate stochastic human motions. Our method first uses a graph attention network to learn the spatio-temporal correlations between eye gaze and human movements and to fuse them into cross-modal gaze-motion features. These cross-modal features are injected into a noise prediction network via a cross-attention mechanism and progressively denoised to generate realistic human full-body motions. Experimental results on the MoGaze and GIMO datasets demonstrate that our method outperforms the state-of-the-art methods by a large margin in terms of average displacement error (15.03% on MoGaze and 9.20% on GIMO). We further conducted an online user study to compare our method with state-of-the-art methods and the responses from 23 participants validate that the motions generated by our method are more realistic than those from other methods. Taken together, our work makes a first important step towards gaze-guided stochastic human motion prediction and guides future work on this important topic in VR research.


title: Model-Heterogeneous Federated Learning for Internet of Things: Enabling Technologies and Future Directions

abstract: Internet of Things (IoT) interconnects a massive amount of devices, generating heterogeneous data with diverse characteristics. IoT data emerges as a vital asset for data-intensive IoT applications, such as healthcare, smart city and predictive maintenance, harnessing the vast volume of heterogeneous data to its maximum advantage. These applications leverage different Artificial Intelligence (AI) algorithms to discover new insights. While machine learning effectively uncovers implicit patterns through model training, centralizing IoT data for training poses significant privacy and security concerns. Federated Learning (FL) offers an promising solution, allowing IoT devices to conduct local learning without sharing raw data with third parties. Model-heterogeneous FL empowers clients to train models with varying complexities based on their hardware capabilities, aligning with heterogeneity of devices in real-world IoT environments. In this article, we review the state-of-the-art model-heterogeneous FL methods and provide insights into their merits and limitations. Moreover, we showcase their applicability to IoT and identify the open problems and future directions. To the best of our knowledge, this is the first article that focuses on the topic of model-heterogeneous FL for IoT.


title: Interpolation of fat points on K3 and abelian surfaces

abstract: We prove that any number of general fat points of any multiplicities impose the expected number of conditions on a linear system on a smooth projective surface, in several cases including primitive linear systems on very general K3 and abelian surfaces, `Du Val' linear systems on blowups of ${\mathbb P}^2$ at $9$ very general points, and certain linear systems on some ruled surfaces over elliptic curves. This is done by answering a question of the author about the case of only one fat point on a certain ruled surface, which follows from a circle of results due to Treibich--Verdier, Segal--Wilson, and others.


title: New $\mathbb{A}$-numerical radius equalities and inequalities for certain operator matrices and applications

abstract: The main goal of this article is to establish several new $\mathbb{A}$-numerical radius equalities and inequalities for $n\times n$ cross-diagonal, left circulant, skew left circulant operator matrices, where $\mathbb{A}$ is the $n\times n$ diagonal operator matrix whose diagonal entries are positive bounded operator $A$. Also, we introduce two new matrices called left imaginary circulant operator matrix and left imaginary skew circulant operator matrix and present their $\mathbb{A}$-numerical radii. Certain $\mathbb{A}$-numerical radii of general $n\times n$ operator matrices are obtained. Some special cases of our results lead to the results of earlier works in the literature, which shows that our results are more general. Applications of our results are established through some interesting examples. We also provide a concluding section by posing a problem for future research.


title: CrossBind: Collaborative Cross-Modal Identification of Protein Nucleic-Acid-Binding Residues

abstract: Accurate identification of protein nucleic-acid-binding residues poses a significant challenge with important implications for various biological processes and drug design. Many typical computational methods for protein analysis rely on a single model that could ignore either the semantic context of the protein or the global 3D geometric information. Consequently, these approaches may result in incomplete or inaccurate protein analysis. To address the above issue, in this paper, we present CrossBind, a novel collaborative cross-modal approach for identifying binding residues by exploiting both protein geometric structure and its sequence prior knowledge extracted from a large-scale protein language model. Specifically, our multi-modal approach leverages a contrastive learning technique and atom-wise attention to capture the positional relationships between atoms and residues, thereby incorporating fine-grained local geometric knowledge, for better binding residue prediction. Extensive experimental results demonstrate that our approach outperforms the next best state-of-the-art methods, GraphSite and GraphBind, on DNA and RNA datasets by 10.8/17.3% in terms of the harmonic mean of precision and recall (F1-Score) and 11.9/24.8% in Matthews correlation coefficient (MCC), respectively. We release the code at https://github.com/BEAM-Labs/CrossBind.


title: Cautiously-Optimistic Knowledge Sharing for Cooperative Multi-Agent Reinforcement Learning

abstract: While decentralized training is attractive in multi-agent reinforcement learning (MARL) for its excellent scalability and robustness, its inherent coordination challenges in collaborative tasks result in numerous interactions for agents to learn good policies. To alleviate this problem, action advising methods make experienced agents share their knowledge about what to do, while less experienced agents strictly follow the received advice. However, this method of sharing and utilizing knowledge may hinder the team's exploration of better states, as agents can be unduly influenced by suboptimal or even adverse advice, especially in the early stages of learning. Inspired by the fact that humans can learn not only from the success but also from the failure of others, this paper proposes a novel knowledge sharing framework called Cautiously-Optimistic kNowledge Sharing (CONS). CONS enables each agent to share both positive and negative knowledge and cautiously assimilate knowledge from others, thereby enhancing the efficiency of early-stage exploration and the agents' robustness to adverse advice. Moreover, considering the continuous improvement of policies, agents value negative knowledge more in the early stages of learning and shift their focus to positive knowledge in the later stages. Our framework can be easily integrated into existing Q-learning based methods without introducing additional training costs. We evaluate CONS in several challenging multi-agent tasks and find it excels in environments where optimal behavioral patterns are difficult to discover, surpassing the baselines in terms of convergence rate and final performance.


title: DLCA-Recon: Dynamic Loose Clothing Avatar Reconstruction from Monocular Videos

abstract: Reconstructing a dynamic human with loose clothing is an important but difficult task. To address this challenge, we propose a method named DLCA-Recon to create human avatars from monocular videos. The distance from loose clothing to the underlying body rapidly changes in every frame when the human freely moves and acts. Previous methods lack effective geometric initialization and constraints for guiding the optimization of deformation to explain this dramatic change, resulting in the discontinuous and incomplete reconstruction surface. To model the deformation more accurately, we propose to initialize an estimated 3D clothed human in the canonical space, as it is easier for deformation fields to learn from the clothed human than from SMPL. With both representations of explicit mesh and implicit SDF, we utilize the physical connection information between consecutive frames and propose a dynamic deformation field (DDF) to optimize deformation fields. DDF accounts for contributive forces on loose clothing to enhance the interpretability of deformations and effectively capture the free movement of loose clothing. Moreover, we propagate SMPL skinning weights to each individual and refine pose and skinning weights during the optimization to improve skinning transformation. Based on more reasonable initialization and DDF, we can simulate real-world physics more accurately. Extensive experiments on public and our own datasets validate that our method can produce superior results for humans with loose clothing compared to the SOTA methods.


title: Pseudo-fermion functional renormalization group with magnetic fields

abstract: The pseudo-fermion functional renormalization group is generalized to treat spin Hamiltonians with finite magnetic fields, enabling its application to arbitrary spin lattice models with linear and bilinear terms in the spin operators. We discuss in detail an efficient numerical implementation of this approach making use of the system's symmetries. Particularly, we demonstrate that the inclusion of small symmetry breaking magnetic seed fields regularizes divergences of the susceptibility at magnetic phase transitions. This allows the investigation of spin models within magnetically ordered phases at $T=0$ in the physical limit of vanishing renormalization group parameter $\Lambda$. We explore the capabilities and limitations of this method extension for Heisenberg models on the square, honeycomb and triangular lattices. While the zero-field magnetizations of these systems are systematically overestimated, the types of magnetic orders are correctly captured, even if the local orientations of the seed field are chosen differently than the spin orientations of the realized magnetic order. Furthermore, the magnetization curve of the square lattice Heisenberg antiferromagnet shows good agreement with error controlled methods. In the future, the inclusion of magnetic fields in the pseudo-fermion functional renormalization group, which is also possible in three dimensional spin systems, will enable a variety of additional interesting applications such as the investigation of magnetization plateaus.


title: Domain Generalization in LiDAR Semantic Segmentation Leveraged by Density Discriminative Feature Embedding

abstract: While significant progress has been achieved in LiDAR-based perception, domain generalization continues to present challenges, often resulting in reduced performance when encountering unfamiliar datasets due to domain discrepancies. One of the primary hurdles stems from the variability of LiDAR sensors, leading to inconsistencies in point cloud density distribution. Such inconsistencies can undermine the effectiveness of perception models. We address this challenge by introducing a new approach that acknowledges a fundamental characteristic of LiDAR: the variation in point density due to the distance from the LiDAR to the scene, and the number of beams relative to the field of view. Understanding this, we view each LiDAR's point cloud at various distances as having distinct density distributions, which can be consistent across different LiDAR models. With this insight, we propose the Density Discriminative Feature Embedding (DDFE) module, crafted to specifically extract features related to density while ensuring domain invariance across different LiDAR sensors. In addition, we introduce a straightforward but effective density augmentation technique, designed to broaden the density spectrum and enhance the capabilities of the DDFE. The proposed DDFE stands out as a versatile and lightweight domain generalization module. It can be seamlessly integrated into various 3D backbone networks, consistently outperforming existing state-of-the-art domain generalization approaches. We commit to releasing the source code publicly to foster community collaboration and advancement.


title: On the structures of a monoid of triangular vector-permutation polynomials, its group of units and its induced group of permutations

abstract: Let $n>1$ and let $R$ be a commutative ring with identity $1\ne 0$ and $R[x_1,\ldots,x_n]^n$ the set of all $n$-tuples of polynomials of the form $(f_1,\ldots,f_n),$ where $f_1,\ldots,f_n\in R[x_1,\ldots,x_n]$. We call these $n$-tuples vector-polynomials. We define composition on $R[x_1,\ldots,x_n]^n$ by $$\vec{g}\circ \vec{f}=(g_1(f_1, \ldots ,f_n), \ldots ,g_n (f_1, \ldots ,f_n)), \text{ where }\vec{f}=(f_1, \ldots ,f_n), \vec{g}=(g_1, \ldots ,g_n).$$ In this paper, we investigate vector-polynomials of the form $$ \vec{f}=(f_0,f_1 +x_2g_1,\ldots, f_{n-1} +x_n g_{n-1}),$$ where $f_0\in R[x_1]$ permutes the elements of $R$ and $f_i ,g_i\in R[x_1,\ldots,x_i]$ such that each $g_i$ maps $R^i$ into the units of $R$ ($i=1,\ldots, n-1$). We show that each such vector-polynomial permutes the elements of $R^n$ and that the set of all such vector-polynomials $\mathcal{MT}_n$ is a monoid with respect to composition. We also show that $ \vec{f} $ is invertible in $\mathcal{MT}_n$ if and only if $f_0$ is an $R$-automorphism of $R[x_1]$ and $g_i$ is invertible in $R[x_1,\ldots,x_i]$ for $i=1,\ldots, n-1$. When $R$ is finite, the monoid $\mathcal{MT}_n$ induces a finite group of permutations of $R^n$. Moreover, we decompose the monoid $\mathcal{MT}_n$ into an iterated semi-direct product of $n$ monoids. Such a decomposition allows us to obtain similar decompositions of its group of units and, when $R$ is finite, of its induced group of permutations. Furthermore, the decomposition of the induced group helps us to characterize some of its properties.


title: VITA: 'Carefully Chosen and Weighted Less' Is Better in Medication Recommendation

abstract: We address the medication recommendation problem, which aims to recommend effective medications for a patient's current visit by utilizing information (e.g., diagnoses and procedures) given at the patient's current and past visits. While there exist a number of recommender systems designed for this problem, we point out that they are challenged in accurately capturing the relation (spec., the degree of relevance) between the current and each of the past visits for the patient when obtaining her current health status, which is the basis for recommending medications. To address this limitation, we propose a novel medication recommendation framework, named VITA, based on the following two novel ideas: (1) relevant-Visit selectIon; (2) Target-aware Attention. Through extensive experiments using real-world datasets, we demonstrate the superiority of VITA (spec., up to 5.56% higher accuracy, in terms of Jaccard, than the best competitor) and the effectiveness of its two core ideas. The code is available at https://github.com/jhheo0123/VITA.


title: Quantum Tunnelling and Thermally Driven Transitions in a Double Well Potential at Finite Temperature

abstract: We explore dissipative quantum tunnelling, a phenomenon central to various physical and chemical processes, using a double-well potential model. This paper aims to bridge gaps in understanding the crossover from thermal activation to quantum tunnelling, a domain still shrouded in mystery despite extensive research. We study a Caldeira-Leggett-derived model of quantum Brownian motion and investigate the Lindblad and stochastic Schr\"{o}dinger dynamics numerically, seeking to offer new insights into the transition states in the crossover region. Our study has implications for quantum computing and understanding fundamental natural processes, highlighting the significance of quantum effects on transition rates and temperature influences on tunnelling. Additionally, we introduce a new model for quantum Brownian motion which takes Lindblad form and is formulated as a modification of the widely known model found in Breuer and Petruccione. In our approach, we remove the zero-temperature singularity resulting in a better description of low-temperature quantum Brownian motion near a potential minima.


title: I-CEE: Tailoring Explanations of Image Classification Models to User Expertise

abstract: Effectively explaining decisions of black-box machine learning models is critical to responsible deployment of AI systems that rely on them. Recognizing their importance, the field of explainable AI (XAI) provides several techniques to generate these explanations. Yet, there is relatively little emphasis on the user (the explainee) in this growing body of work and most XAI techniques generate "one-size-fits-all" explanations. To bridge this gap and achieve a step closer towards human-centered XAI, we present I-CEE, a framework that provides Image Classification Explanations tailored to User Expertise. Informed by existing work, I-CEE explains the decisions of image classification models by providing the user with an informative subset of training data (i.e., example images), corresponding local explanations, and model decisions. However, unlike prior work, I-CEE models the informativeness of the example images to depend on user expertise, resulting in different examples for different users. We posit that by tailoring the example set to user expertise, I-CEE can better facilitate users' understanding and simulatability of the model. To evaluate our approach, we conduct detailed experiments in both simulation and with human participants (N = 100) on multiple datasets. Experiments with simulated users show that I-CEE improves users' ability to accurately predict the model's decisions (simulatability) compared to baselines, providing promising preliminary results. Experiments with human participants demonstrate that our method significantly improves user simulatability accuracy, highlighting the importance of human-centered XAI


title: Mock theta functions and indefinite modular forms III

abstract: In this paper, we study modular transformation properties of a certain class of functions with indefinite quadratic forms.


title: $G_2$ Mirrors from Calabi-Yau Mirrors

abstract: We study the worldsheet CFTs of type II strings on compact $G_2$ orbifolds obtained as quotients of a product of a Calabi-Yau threefold and a circle. For such models, we argue that the Calabi-Yau mirror map implies a mirror map for the associated $G_2$ varieties by examining how anti-holomorphic involutions behave under Calabi-Yau mirror symmetry. The mirror geometries identified by the worldsheet CFT are consistent with earlier proposals for twisted connected sum $G_2$ manifolds.


title: Trusted Execution Environment for Decentralized Process Mining

abstract: Inter-organizational business processes involve multiple independent organizations collaborating to achieve mutual interests. Process mining techniques have the potential to allow these organizations to enhance operational efficiency, improve performance, and deepen the understanding of their business based on the recorded process event data. However, inter-organizational process mining faces substantial challenges, including topical secrecy concerns: The involved organizations may not be willing to expose their own data to run mining algorithms jointly with their counterparts or third parties. In this paper, we introduce CONFINE, a novel approach that unlocks process mining on multiple actors' process event data while safeguarding the secrecy and integrity of the original records in an inter-organizational business setting. To ensure that the phases of the presented interaction protocol are secure and that the processed information is hidden from involved and external actors alike, our approach resorts to a decentralized architecture comprised of trusted applications running in Trusted Execution Environments (TEEs). We show the feasibility of our solution by showcasing its application to a healthcare scenario and evaluating our implementation in terms of memory usage and scalability on real-world event logs.


title: Conditional autoregressive models fused with random forests to improve small-area spatial prediction

abstract: In areal unit data with missing or suppressed data, it desirable to create models that are able to predict observations that are not available. Traditional statistical methods achieve this through Bayesian hierarchical models that can capture the unexplained residual spatial autocorrelation through conditional autoregressive (CAR) priors, such that they can make predictions at geographically related spatial locations. In contrast, typical machine learning approaches such as random forests ignore this residual autocorrelation, and instead base predictions on complex non-linear feature-target relationships. In this paper, we propose CAR-Forest, a novel spatial prediction algorithm that combines the best features of both approaches by fusing them together. By iteratively refitting a random forest combined with a Bayesian CAR model in one algorithm, CAR-Forest can incorporate flexible feature-target relationships while still accounting for the residual spatial autocorrelation. Our results, based on a Scottish housing price data set, show that CAR-Forest outperforms Bayesian CAR models, random forests, and the state-of-the-art hybrid approach, geographically weighted random forest, providing a state-of-the-art framework for small-area spatial prediction.


title: GraphScope Flex: LEGO-like Graph Computing Stack

abstract: Graph computing has become increasingly crucial in processing large-scale graph data, with numerous systems developed for this purpose. Two years ago, we introduced GraphScope as a system addressing a wide array of graph computing needs, including graph traversal, analytics, and learning in one system. Since its inception, GraphScope has achieved significant technological advancements and gained widespread adoption across various industries. However, one key lesson from this journey has been understanding the limitations of a "one-size-fits-all" approach, especially when dealing with the diversity of programming interfaces, applications, and data storage formats in graph computing. In response to these challenges, we present GraphScope Flex, the next iteration of GraphScope. GraphScope Flex is designed to be both resource-efficient and cost-effective, while also providing flexibility and user-friendliness through its LEGO-like modularity. This paper explores the architectural innovations and fundamental design principles of GraphScope Flex, all of which are direct outcomes of the lessons learned during our ongoing development process. We validate the adaptability and efficiency of GraphScope Flex with extensive evaluations on synthetic and real-world datasets. The results show that GraphScope Flex achieves 2.4X throughput and up to 55.7X speedup over other systems on the LDBC Social Network and Graphalytics benchmarks, respectively. Furthermore, GraphScope Flex accomplishes up to a 2,400X performance gain in real-world applications, demonstrating its proficiency across a wide range of graph computing scenarios with increased effectiveness.


title: Knowledge Graph Error Detection with Contrastive Confidence Adaption

abstract: Knowledge graphs (KGs) often contain various errors. Previous works on detecting errors in KGs mainly rely on triplet embedding from graph structure. We conduct an empirical study and find that these works struggle to discriminate noise from semantically-similar correct triplets. In this paper, we propose a KG error detection model CCA to integrate both textual and graph structural information from triplet reconstruction for better distinguishing semantics. We design interactive contrastive learning to capture the differences between textual and structural patterns. Furthermore, we construct realistic datasets with semantically-similar noise and adversarial noise. Experimental results demonstrate that CCA outperforms state-of-the-art baselines, especially in detecting semantically-similar noise and adversarial noise.


title: The impact of an evolving stellar initial mass function on early galaxies and reionisation

abstract: Observations with JWST have revealed an unexpected high abundance of bright z>10 galaxy candidates. We explore whether a stellar initial mass function (IMF) that becomes increasingly top-heavy towards higher redshifts and lower gas-phase metallicities results in a higher abundance of bright objects in the early universe and how it affects the evolution of galaxy properties compared to a constant IMF. We incorporate such an evolving IMF into the Astraeus framework that couples galaxy evolution and reionisation in the first billion years. Our implementation accounts for the IMF dependence of supernova feedback, metal enrichment, ionising and ultraviolet radiation emission. We conduct two simulations: one with a Salpeter IMF and one with the evolving IMF. Compared to a constant Salpeter IMF, we find that (i) the higher abundance of massive stars in the evolving IMF results in more light per unit stellar mass, a slower build-up of stellar mass and lower stellar-to-halo mass ratio; (ii) due to the self-similar growth of the underlying dark matter halos, the evolving IMF's star formation main sequence hardly deviates from that of the Salpeter IMF; (iii) the evolving IMF's stellar mass-metallicity relation shifts to higher metallicities while its halo mass-metallicity relation remains unchanged; (iv) the evolving IMF's median dust-to-metal mass ratio is lower due to its stronger SN feedback; (v) the evolving IMF requires lower values of the escape fraction of ionising photons and exhibits a flatter median relation and smaller scatter between the ionising photons emerging from galaxies and the halo mass. Yet, the topology of the ionised regions hardly changes compared to the Salpeter IMF. These results suggest that a top-heavier IMF alone is unlikely to explain the higher abundance of bright z>10 sources, since the lower mass-to-light ratio is counteracted by the stronger stellar feedback.


title: An Isoperimetric Inequality and Pursuit-Evasion Games on Triangular Grid Graphs

abstract: In this paper, we prove an isoperimetric inequality for the triangular grid graph which was conjectured by Adams, Gibson, and Pfaffinger, using the compression technique of Bollob\'as and Leader. Moreover, we apply the isoperimetric inequality to the Zero-Visibility Search game and Lions and Contamination game in order to obtain lower bounds for the inspection number and lion number respectively. We also provide searching strategies to prove upper bounds for both the inspection number and lion number.


title: Designing and Evaluating General-Purpose User Representations Based on Behavioral Logs from a Measurement Process Perspective: A Case Study with Snapchat

abstract: In human-computer interaction, understanding user behaviors and tailoring systems accordingly is pivotal. To this end, general-purpose user representation learning based on behavior logs is emerging as a powerful tool in user modeling, offering adaptability to various downstream tasks such as item recommendations and ad conversion prediction, without the need to fine-tune the upstream user model. While this methodology has shown promise in contexts like search engines and e-commerce platforms, its fit for instant messaging apps, a cornerstone of modern digital communication, remains largely uncharted. These apps, with their distinct interaction patterns, data structures, and user expectations, necessitate specialized attention. We explore this user modeling approach with Snapchat data as a case study. Furthermore, we introduce a novel design and evaluation framework rooted in the principles of the Measurement Process Framework from social science research methodology. Using this new framework, we design a Transformer-based user model that can produce high-quality general-purpose user representations for instant messaging platforms like Snapchat.


title: Curated LLM: Synergy of LLMs and Data Curation for tabular augmentation in ultra low-data regimes

abstract: Machine Learning (ML) in low-data settings remains an underappreciated yet crucial problem. Hence, data augmentation methods to increase the sample size of datasets needed for ML are key to unlocking the transformative potential of ML in data-deprived regions and domains. Unfortunately, the limited training set constrains traditional tabular synthetic data generators in their ability to generate a large and diverse augmented dataset needed for ML tasks. To address this challenge, we introduce CLLM, which leverages the prior knowledge of Large Language Models (LLMs) for data augmentation in the low-data regime. However, not all the data generated by LLMs will improve downstream utility, as for any generative model. Consequently, we introduce a principled curation mechanism, leveraging learning dynamics, coupled with confidence and uncertainty metrics, to obtain a high-quality dataset. Empirically, on multiple real-world datasets, we demonstrate the superior performance of CLLM in the low-data regime compared to conventional generators. Additionally, we provide insights into the LLM generation and curation mechanism, shedding light on the features that enable them to output high-quality augmented datasets.


title: Variational Mode Decomposition-Based Nonstationary Coherent Structure Analysis for Spatiotemporal Data

abstract: The conventional modal analysis techniques face difficulties in handling nonstationary phenomena, such as transient, nonperiodic, or intermittent phenomena. This paper presents a variational mode decomposition--based nonstationary coherent structure (VMD-NCS) analysis that enables the extraction and analysis of coherent structures in the case of nonstationary phenomena from high-dimensional spatiotemporal data. The VMD-NCS analysis decomposes the input spatiotemporal data into intrinsic coherent structures (ICSs) that represent nonstationary spatiotemporal patterns and exhibit coherence in both spatial and temporal directions. Unlike many conventional modal analysis techniques, the proposed method accounts for the temporal changes in the spatial distribution with time. Tthe VMD-NCS analysis was validated based on the transient growth phenomena in the flow around a cylinder. It was confirmed that the temporal changes in the spatial distribution, depicting the transient growth of vortex shedding where fluctuations arising in the far-wake region gradually approach the near-wake region, were represented as a single ICS. Furthermore, in the analysis of the quasi-periodic flow field around a pitching airfoil, the temporal changes in the spatial distribution and the amplitude of vortex shedding behind the airfoil, influenced by the pitching motion of the airfoil, were captured as a single ICS. The impact of two parameters that control the number of ICSs ($K$) and the penalty factor related to the temporal coherence ($\alpha$), was investigated. The results revealed that $K$ has a significant impact on the VMD-NCS analysis results. In the case of a relatively high $K$, the VMD-NCS analysis tends to extract more periodic spatiotemporal patterns resembling the results of dynamic mode decomposition. In the case of a small $K$, it tends to extract more nonstationary spatiotemporal patterns.


title: Neutron-antineutron oscillation accompanied by CP-violation in magnetic fields

abstract: In this work, we explore the possibility of the $n$-$\bar{n}$ oscillation accompanied by CP-violation in the presence of magnetic fields. The $n$-$\bar{n}$ oscillation, which violates the baryon number ($\mathcal{B}$) by two units ($|\Delta \mathcal{B}| = 2$), can be originated from the mixing between the neutron ($n$) and the neutral elementary particle ($\eta$) and may give rise to non-trivial effects that are different from previous theoretical predictions. We show that the probability of the $n$-$\bar{n}$ oscillation can be greatly enhanced by adjusting the magnetic field properly. In particular, the peak values of the oscillation probability in the presence of resonance magnetic fields can be $8$-$10$ orders of magnitude higher than that in the absence of magnetic fields. We point out that there might not be sizable CP-violating effects in the $n$-$\bar{n}$ oscillation unless the mass of $\eta$ is close to the mass of the neutron. We also analyze the interplay between various parameters associated with both $\mathcal{B}$-violation and CP-violation and attempt to disentangle the effects of such parameters. The $n$-$\bar{n}$ oscillation process accompanied by CP-violation may open a promising avenue for exploring new physics beyond the Standard Model (SM).


title: Shaping Up SHAP: Enhancing Stability through Layer-Wise Neighbor Selection

abstract: Machine learning techniques, such as deep learning and ensemble methods, are widely used in various domains due to their ability to handle complex real-world tasks. However, their black-box nature has raised multiple concerns about the fairness, trustworthiness, and transparency of computer-assisted decision-making. This has led to the emergence of local post-hoc explainability methods, which offer explanations for individual decisions made by black-box algorithms. Among these methods, Kernel SHAP is widely used due to its model-agnostic nature and its well-founded theoretical framework. Despite these strengths, Kernel SHAP suffers from high instability: different executions of the method with the same inputs can lead to significantly different explanations, which diminishes the relevance of the explanations. The contribution of this paper is two-fold. On the one hand, we show that Kernel SHAP's instability is caused by its stochastic neighbor selection procedure, which we adapt to achieve full stability without compromising explanation fidelity. On the other hand, we show that by restricting the neighbors generation to perturbations of size 1 -- which we call the coalitions of Layer 1 -- we obtain a novel feature-attribution method that is fully stable, computationally efficient, and still meaningful.


title: Length 3 Check Digit Codes with Grouped Tags and Disjoint Coding Applications

abstract: In 1969 J. Verhoeff provided the first examples of a decimal error detecting code using a single check digit to provide protection against all single, transposition, and adjacent twin errors. The three codes he presented are length 3-digit codes with 2 information digits. To date, the existence of a length 4-digit code with 3 information digits having these properties remains an open question. Existence of a 4-digit code would imply the existence of 10 disjoint 3-digit codes. Apparently, no pair of such disjoint 3-digit codes is known. Phonetic errors, where 2-digit pairs of the forms X0 and 1X are interchanged, are language dependent, but can often be eliminated. Alternate 3-digit codes are developed here which enhance the level of protection beyond Verhoeff's codes while still optionally providing protection against phonetic errors. Through almost-disjoint coding schemes, it is shown how copies of these new codes can fill in the gap between such 3 and 4-digit codes. The results are extended to other useful alphabet sizes such as 26 and 36 with stronger permutation of digits error detection, and to "tag codes" where digits are grouped.


title: Kinetic study of the CN + C2H6 hydrogen abstraction reaction based on an analytical potential energy surface

abstract: Temperature dependence of the thermal rate constants and kinetic isotope effects (KIE) of the CN + C2H6 gas-phase hydrogen abstraction reaction was theoretically determined within the 25-1000 K temperature range, i.e., from ultra-low to high-temperature regimes. Based on a recently developed full-dimensional analytical potential energy surface fitted to highly accurate explicitly correlated ab initio calculations, three different kinetic theories were used: canonical variational transition state theory (CVT), quasiclassical trajectory theory (QCT), and ring polymer molecular dynamics (RPMD) method for the computation of rate constants. We found that the thermal rate constants obtained with the three theories show a V-shaped temperature dependence, with a pronounced minimum near 200 K, qualitatively reproducing the experimental measurements. Among the three methods used in this work, the QCT and RPMD methods have the best agreement with the experiment at low and high temperatures, respectively. The significant increase in the rate constant at ultra-low temperatures in this very exothermic and practically barrierless reaction can be attributed to the large value of the impact parameter, ruling out the role of the tunneling effect and the intermediate complexes in the entrance channel. The theoretical H/D KIE depicted a normal behaviour, i.e., values greater than unity, emulating the experimental measurements and previous theoretical results. Finally, the discrepancies between theory and experiments were analysed as a function of several factors, such as limitations of the kinetics theories and the potential energy surface, as well as the uncertainties in the experimental measurements.


title: Iteration-Dependent Scaled Min-Sum Decoding for Low-Complexity Key Reconciliation in CV-QKD

abstract: We introduce an iteration-dependent scaled min-sum decoding for low-rate LDPC codes in CV-QKD, achieving near-sum product algorithm performance with reduced complexity, and facilitating CV-QKD hardware implementation.


title: Mindful Explanations: Prevalence and Impact of Mind Attribution in XAI Research

abstract: When users perceive AI systems as mindful, independent agents, they hold them responsible instead of the AI experts who created and designed these systems. So far, it has not been studied whether explanations support this shift in responsibility through the use of mind-attributing verbs like "to think". To better understand the prevalence of mind-attributing explanations we analyse AI explanations in 3,533 explainable AI (XAI) research articles from the Semantic Scholar Open Research Corpus (S2ORC). Using methods from semantic shift detection, we identify three dominant types of mind attribution: (1) metaphorical (e.g. "to learn" or "to predict"), (2) awareness (e.g. "to consider"), and (3) agency (e.g. "to make decisions"). We then analyse the impact of mind-attributing explanations on awareness and responsibility in a vignette-based experiment with 199 participants. We find that participants who were given a mind-attributing explanation were more likely to rate the AI system as aware of the harm it caused. Moreover, the mind-attributing explanation had a responsibility-concealing effect: Considering the AI experts' involvement lead to reduced ratings of AI responsibility for participants who were given a non-mind-attributing or no explanation. In contrast, participants who read the mind-attributing explanation still held the AI system responsible despite considering the AI experts' involvement. Taken together, our work underlines the need to carefully phrase explanations about AI systems in scientific writing to reduce mind attribution and clearly communicate human responsibility.


title: Subgroups and diversity of left-orderable small cancellation groups

abstract: We arrange classical small cancellation constructions to produce left-orderable groups: we show that every finitely generated group is the quotient of a left-ordered small cancellation group by a finitely generated kernel (Rips construction). We give presentations of left-ordered hyperbolic small cancellation groups that are not locally indicable, and observe that the class of left-ordered small cancellation groups that are not locally indicable is quasi-isometrically diverse. Altogether, this shows that left-orderable small cancellation groups form a rich and diverse class.


title: Towards Learning-Based Gyrocompassing

abstract: Inertial navigation systems (INS) are widely used in both manned and autonomous platforms. One of the most critical tasks prior to their operation is to accurately determine their initial alignment while stationary, as it forms the cornerstone for the entire INS operational trajectory. While low-performance accelerometers can easily determine roll and pitch angles (leveling), establishing the heading angle (gyrocompassing) with low-performance gyros proves to be a challenging task without additional sensors. This arises from the limited signal strength of Earth's rotation rate, often overridden by gyro noise itself. To circumvent this deficiency, in this study we present a practical deep learning framework to effectively compensate for the inherent errors in low-performance gyroscopes. The resulting capability enables gyrocompassing, thereby eliminating the need for subsequent prolonged filtering phase (fine alignment). Through the development of theory and experimental validation, we demonstrate that the improved initial conditions establish a new lower error bound, bringing affordable gyros one step closer to being utilized in high-end tactical tasks.


title: ZS-SRT: An Efficient Zero-Shot Super-Resolution Training Method for Neural Radiance Fields

abstract: Neural Radiance Fields (NeRF) have achieved great success in the task of synthesizing novel views that preserve the same resolution as the training views. However, it is challenging for NeRF to synthesize high-quality high-resolution novel views with low-resolution training data. To solve this problem, we propose a zero-shot super-resolution training framework for NeRF. This framework aims to guide the NeRF model to synthesize high-resolution novel views via single-scene internal learning rather than requiring any external high-resolution training data. Our approach consists of two stages. First, we learn a scene-specific degradation mapping by performing internal learning on a pretrained low-resolution coarse NeRF. Second, we optimize a super-resolution fine NeRF by conducting inverse rendering with our mapping function so as to backpropagate the gradients from low-resolution 2D space into the super-resolution 3D sampling space. Then, we further introduce a temporal ensemble strategy in the inference phase to compensate for the scene estimation errors. Our method is featured on two points: (1) it does not consume high-resolution views or additional scene data to train super-resolution NeRF; (2) it can speed up the training process by adopting a coarse-to-fine strategy. By conducting extensive experiments on public datasets, we have qualitatively and quantitatively demonstrated the effectiveness of our method.


title: Probabilistic Prediction of Longitudinal Trajectory Considering Driving Heterogeneity with Interpretability

abstract: Automated vehicles are envisioned to navigate safely in complex mixed-traffic scenarios alongside human-driven vehicles. To promise a high degree of safety, accurately predicting the maneuvers of surrounding vehicles and their future positions is a critical task and attracts much attention. However, most existing studies focused on reasoning about positional information based on objective historical trajectories without fully considering the heterogeneity of driving behaviors. Therefore, this study proposes a trajectory prediction framework that combines Mixture Density Networks (MDN) and considers the driving heterogeneity to provide probabilistic and personalized predictions. Specifically, based on a certain length of historical trajectory data, the situation-specific driving preferences of each driver are identified, where key driving behavior feature vectors are extracted to characterize heterogeneity in driving behavior among different drivers. With the inputs of the short-term historical trajectory data and key driving behavior feature vectors, a probabilistic LSTMMD-DBV model combined with LSTM-based encoder-decoder networks and MDN layers is utilized to carry out personalized predictions. Finally, the SHapley Additive exPlanations (SHAP) method is employed to interpret the trained model for predictions. The proposed framework is tested based on a wide-range vehicle trajectory dataset. The results indicate that the proposed model can generate probabilistic future trajectories with remarkably improved predictions compared to existing benchmark models. Moreover, the results confirm that the additional input of driving behavior feature vectors representing the heterogeneity of driving behavior could provide more information and thus contribute to improving the prediction accuracy.


title: Data-driven simulations of magnetic field evolution in Active Region 11429: Magneto-friction method using PENCIL code

abstract: Coronal magnetic fields evolve quasi statically over long time scales and dynamically over short time scales. As of now there exists no regular measurements of coronal magnetic fields, and therefore generating the coronal magnetic field evolution using the observations of the magnetic field at the photosphere is of fundamental requirement to understand the origin of the transient phenomena from the solar active regions. Using the magnetofriction (MF) approach, we aim to simulate the coronal field evolution in the solar active region 11429. The MF method is implemented in open source \PC along with a driver module to drive the initial field with different boundary conditions prescribed from observed vector magnetic fields at the photosphere. In order to work with vector potential and the observations, we prescribe three types of bottom boundary drivers with varying free-magnetic energy. The MF simulation reproduces the magnetic structure, which better matches to the sigmoidal morphology exhibited by AIA images at the pre-eruptive time. We found that the already sheared field further driven by the sheared magnetic field, will maintain and further build the highly sheared coronal magnetic configuration, as seen in AR 11429. Data-driven MF simulation is a viable tool to generate the coronal magnetic field evolution, capturing the formation of the twisted flux rope and its eruption.


title: Chromatically modelling the parsec scale dusty structure in the centre of NGC1068

abstract: The Very Large Telescope Interferometer (VLTI) has been providing breakthrough images of the dust in the central parsecs of Active Galactic Nuclei (AGN), a key component of the AGN unification scheme and AGN host galaxy interaction. In single IR bands, the images can have multiple interpretations some of which could challenge the unification scheme. This is the case for the archetypal type 2 AGN of NGC1068. The ambiguity is reduced by multi-band temperature maps which are hindered by uncertainty in intra-band alignment. We create a chromatic model capable of simultaneously explaining the VLTI GRAVITY+MATISSE 2$\mu$m-13$\mu$m observations of the AGN in NGC1068. We use a simple disk and wind geometry populated with spherical black body emitters and dust obscuration to create a versatile multi-wavelength model for IR interferometric data of dusty objects. This simple geometry is capable of reproducing the K-N-band VLTI data, explains the complex single band images, and solves the alignment between bands. We find that the resulting geometry is consistent with previous studies. Compared to molecular gas emission, our model wind position angle (PA) of $22^3_2{\deg}$ is close to the mas scale outflowing CO(6-5) PA of ~33{\deg} seen with the ALMA. The equivalent 90{\deg} offset model disk PA is also consistent with the CO(6-5) disk axis of 112{\deg} as well as the mas scale disk axis from CO(2-1), CO(3-2), and HCO$^+$(4-3) of 115$\pm$5{\deg}. Furthermore, the resulting model visually resembles the equivalent achromatic image reconstructions. We conclude that the IR emitting structure surrounding the AGN can indeed be explained by the clumpy disk+wind iteration of the AGN unification scheme. Within the scheme, we find it is best explained as a type 2 and the obscuring dust chemistry is consistent with a mix of olivine silicates and 16$\pm$1% amorphous carbon.


title: Average diffusion rate of Ehrenfest Wind-tree billiards

abstract: One of the versions of the wind-tree model of Boltzmann gas, suggested by Paul and Tatiana Ehrenfest more than a century ago, can be seen as a billiard in the plane endowed with $\mathbb{Z}\oplus\mathbb{Z}$-periodic rectangular obstacles. In the breakthrough paper by V. Delecroix, P. Hubert and S. Lelievre the authors proved, that the diffusion rate of trajectories in such a billiard is equal to $\frac{2}{3}$, that is the \textit{maximal} distance from the origin achieved by a point of a typical trajectory on a segment of time $[0,t]$ grows roughly as $t^\frac{2}{3}$ for large $t$. Here $\frac{2}{3}$ is the Lyapunov exponent of the associated renormalizing dynamical system. This pioneering result does not tell, however, whether trajectories spend most of the time close or far from the initial point. In the current paper, we prove that the \textit{average} distance from the origin grows with the same rate $t^\frac{2}{3}$. In plain terms, it means that trajectories mostly stay as far as possible from the initial point (though, it is known that the wind-tree billiard is recurrent, so trajectories occasionally pass close to the initial point). More generally, fundamental rigidity results by A.Eskin and M.Mirzakhani completed by certain genericity results by J.Chaika and A.Eskin imply that the diffusion rate of almost all flat geodesic rays on any $\mathbb{Z}^d$-cover of a closed translation surface $S$ is given by certain Lyapunov exponent of the Kontsevich--Zorich cocycle on the $\text{SL}_2(\mathbb{R})$-orbit closure of $S$. In this paper we prove that in this most general setting, the \textit{average} and \textit{maximum} diffusion rates coincide.


title: Bulk-boundary correspondence in topological systems with the momentum dependent energy shift

abstract: Bulk-boundary correspondences (BBCs) remain the central topic in modern condensed matter physics, and are gaining increasing interests with the recent discovery of non-Hermitian skin effects. However, there still exist profound features of BBCs that are beyond the existing framework. Here, we report the unexpected behavior of BBC when the Hamiltonian contains term of the form $d_0(k) I$, which serves as a momentum dependent energy shift. For Hermitian cases, momentum dependent energy shift can force the system to be semimetal, where topological phase transitions can take place with the upper and the lower bands keeping untouched. The proper modified BBC should be reconstructed from the perspective of the direct band gap. In non-Hermitian cases, skin effects are found to be capable of coexisting with the preserved BBC, of which the process can be greatly facilitated by the complex $d_0(k)I$. Remarkably, such results can be led a further step and contrary to the intuitive consideration, the modified BBC in Hermitian systems can be restored to be conventional by including extra non-Hermiticity. The physical origin for these phenomena lies in that $d_0(k)I$ can drastically change the point gap topology. Finally, the corresponding experimental simulations are proposed via the platforms of electric circuits.


title: Asymptotic safety in the Litim-Sannino model at four loops

abstract: We consider a four-dimensional $SU(N_c)$ gauge theory coupled to $N_f$ species of color fermions and $N_f^2$ colorless scalars. The quantum field theory possesses a weakly interacting ultraviolet fixed point that we determine from beta functions computed up to four-loop order in the gauge coupling, and up to three-loop order in the Yukawa and quartic scalar couplings. The fixed point has one relevant direction giving rise to asymptotic safety. We compute fixed point values of dimensionless couplings together with the corresponding scaling exponents up to the first three nontrivial orders in Veneziano parameter $\epsilon$, both for infinite and finite number of colors $N_c$. We also consider anomalous dimensions for fields, scalar mass squared, and a class of dimension-three operators. Contrary to previous studies, we take into account possible mixing of the latter and compute eigenvalues of the corresponding matrix. Further, we investigate the size of the conformal window in the Veneziano limit and its dependence on $N_c$.


title: An arithmetic count of osculating lines

abstract: We say that a line in $\mathbb P^{n+1}_k$ is osculating to a hypersurface $Y$ if they meet with contact order $n+1$. When $k=\mathbb C$, it is known that through a fixed point of $Y$, there are exactly $n!$ of such lines. Under some parity condition on $n$ and $\mathrm{deg}(Y)$, we define a quadratically enriched count of these lines over any perfect field $k$. The count takes values in the Grothendieck-Witt ring of quadratic forms over $k$ and depends linearly on $\mathrm{deg}(Y)$.


title: Cumulants and ordering of their ratios in 2D Potts models: Lessons for QCD?

abstract: Theoretical considerations suggest an ordering of the ratios of net-baryon number fluctuations in the vicinity of the transition from the low-temperature hadronic phase to the high temperature quark-gluon plasma phase at small values of the baryon chemical potential, $\mu_B$, in the QCD phase diagram. The ordering hierarchy is $\frac{\chi_6}{\chi_2} < \frac{\chi_5}{\chi_1} < \frac{\chi_4}{\chi_2} < \frac{\chi_3}{\chi_1}$, where $\chi_n$ is the $n^\mathrm{th}$ order cumulant of net-baryon number fluctuation. The STAR experiment observed this hierarchy in the ordering of cumulant ratios of net-proton number (a proxy of net-baryon number) for a range of colliding energies. These inequalities can be tested in spin models by taking the corresponding order parameters in the model as an analog of baryon density. We employed two different models: the two-state and three-state Potts models in two dimensions, which undergo a transition from an ordered phase to a disordered phase at their respective critical temperature. Simulations were performed on square lattices of different sizes using the Wolff algorithm. The cumulants of total magnetization are obtained up to the sixth order in both of these models in a temperature range near their corresponding critical temperatures. With increasing lattice size, height (trough) of the peaks (dips) of the higher-order cumulants appears to increase with the increase in the order of the cumulants. Except in a narrow range above the critical temperature of the three-state Potts model, the complete inequality or its complete reverse is not satisfied in the temperature ranges simulated.


title: Elliptic Curve Pairing Stealth Address Protocols

abstract: The protection of transactions privacy is extremely important for the user. With stealth address protocols (SAP), users can receive assets on stealth addresses that they do not link to their stealth meta-addresses. SAP can be generated using various cryptographic approaches. DKSAP uses elliptic curve multiplication and hashing of the resulting shared secret. Another approach is to use a bilinear mapping. The paper presents two SA protocols that use elliptic curve pairing as a cryptographic solution. ECPDKSAP is a pairing-based protocol that includes viewing key and spending key, while ECPSKSAP is a pairing-based protocol that uses a single key with which spending and the viewing key are derived. We obtain that ECPDKSAP has better results than DKSAP with the view tag. ECPSKSAP is significantly slower, but it represents an interesting theoretical result, because it uses only one private key.


title: The distribution of impactor core material during large impacts on Earth-like planets

abstract: Large impacts onto young rocky planets may transform their compositions, creating highly reducing conditions at their surfaces and reintroducing highly siderophile metals to their mantles. Key to these processes is the availability of an impactor's chemically reduced core material (metallic iron). It is, therefore, important to constrain how much of an impactor's core remains accessible to a planet's mantle/surface, how much is sequestered to its core, and how much escapes. Here, we present 3D simulations of such impact scenarios using the shock physics code iSALE to determine the fate of impactor iron. iSALE's inclusion of material strength is vital in capturing the behavior of both solid and fluid components of the planet and thus characterizing iron sequestration to the core. We find that the mass fractions of impactor core material that accretes to the planet core ($f_{core}$) or escapes ($f_{esc}$) can be readily parameterized as a function of a modified specific impact energy, with $f_{core} > f_{esc}$ for a wide set of impacts. These results differ from previous works that do not incorporate material strength. Our work shows that large impacts can place substantial reducing impactor core material in the mantles of young rocky planets. Impact-generated reducing atmospheres may thus be common for such worlds. However, through escape and sequestration to a planet's core, large fractions of an impactor's core can be geochemically hidden from a planet's mantle. Consequently, geochemical estimates of late bombardments of planets based on mantle siderophile element abundances may be underestimates.


title: Object-Aware Domain Generalization for Object Detection

abstract: Single-domain generalization (S-DG) aims to generalize a model to unseen environments with a single-source domain. However, most S-DG approaches have been conducted in the field of classification. When these approaches are applied to object detection, the semantic features of some objects can be damaged, which can lead to imprecise object localization and misclassification. To address these problems, we propose an object-aware domain generalization (OA-DG) method for single-domain generalization in object detection. Our method consists of data augmentation and training strategy, which are called OA-Mix and OA-Loss, respectively. OA-Mix generates multi-domain data with multi-level transformation and object-aware mixing strategy. OA-Loss enables models to learn domain-invariant representations for objects and backgrounds from the original and OA-Mixed images. Our proposed method outperforms state-of-the-art works on standard benchmarks. Our code is available at https://github.com/WoojuLee24/OA-DG.


title: The Maclaurin inequality through the probabilistic lens

abstract: In this paper we take a probabilistic look at Maclaurin's inequality, which is a refinement of the classical AM-GM inequality. In a natural randomized setting, we obtain limit theorems and show that a reverse inequality holds with high probability. The form of Maclaurin's inequality naturally relates it to U-statistics. More precisely, given $x_1, \ldots, x_n, p \in (0,\infty)$ and $k \in \mathbb{N}$ with $k \leq n$, let us define the quantity \[ S_{k, p}^{(n)} = \Big( \tbinom{n}{k}^{-1} \sum_{1 \leq i_1 < \ldots < i_k \leq n} x_{i_1}^p \cdots x_{i_k}^p \Big)^{1/(k p)}.\] Then as a consequence of the classical Maclaurin inequalities, we know that $S_{k_1}^{(n)} \geq S_{k_2}^{(n)}$ for $k_1 < k_2$. In the present article we consider the ratio \[ \mathcal{R}_{k_1, k_2, p}^{(n)} := \frac{S_{k_2, p}^{(n)}}{S_{k_1, p}^{(n)}}, \] evaluated at a random vector $(X_1, \ldots, X_n)$ sampled either from the normalized surface measure on the $\ell_p^n$-sphere or from a distribution generalizing both the uniform distribution on the $\ell_p^n$-ball and the cone measure on the $\ell_p^n$-sphere; by the Maclaurin inequality, we always have $\mathcal{R}_{k_1, k_2, p}^{(n)} \leq 1$. We derive central limit theorems for $\mathcal{R}_{k_1, k_2, p}^{(n)}$ and $\mathcal{R}_{k_1, n, p}^{(n)}$ as well as Berry--Esseen bounds and a moderate deviations principle for $\mathcal{R}_{k_1, n, p}^{(n)}$, keeping $k_1$, $k_2$ fixed, in order to quantify the set of points where $\mathcal{R}_{k_1, k_2, p}^{(n)} > c$ for $c \in (0, 1)$, i.e., where the Maclaurin inequality is reversed up to a factor. The present aricle partly generalizes results concerning the AM-GM inequality obtained by Kabluchko, Prochno, and Vysotsky (2020), Th\"ale (2021), and Kaufmann and Th\"ale (2023+).


title: Object Detection for Automated Coronary Artery Using Deep Learning

abstract: In the era of digital medicine, medical imaging serves as a widespread technique for early disease detection, with a substantial volume of images being generated and stored daily in electronic patient records. X-ray angiography imaging is a standard and one of the most common methods for rapidly diagnosing coronary artery diseases. The notable achievements of recent deep learning algorithms align with the increased use of electronic health records and diagnostic imaging. Deep neural networks, leveraging abundant data, advanced algorithms, and powerful computational capabilities, prove highly effective in the analysis and interpretation of images. In this context, Object detection methods have become a promising approach, particularly through convolutional neural networks (CNN), streamlining medical image analysis by eliminating manual feature extraction. This allows for direct feature extraction from images, ensuring high accuracy in results. Therefore, in our paper, we utilized the object detection method on X-ray angiography images to precisely identify the location of coronary artery stenosis. As a result, this model enables automatic and real-time detection of stenosis locations, assisting in the crucial and sensitive decision-making process for healthcare professionals.


title: Primordial Black Hole Sterile Neutrinogenesis: Sterile Neutrino Dark Matter Production Independent of Couplings

abstract: Sterile neutrinos ($\nu_s$s) are well-motivated and actively searched for hypothetical neutral particles that would mix with the Standard Model active neutrinos. They are considered prime warm dark matter (DM) candidates, typically when their mass is in the keV range, although they can also be hot or cold DM components. We discuss in detail the characteristics and phenomenology of $\nu_s$s that minimally couple only to active neutrinos and are produced in the evaporation of early Universe primordial black holes (PBHs), a process we called ``PBH sterile neutrinogenesis". Contrary to the previously studied $\nu_s$ production mechanisms, this novel mechanism does not depend on the active-sterile mixing. The resulting $\nu_s$s have a distinctive spectrum and are produced with larger energies than in typical scenarios. This characteristic enables $\nu_s$s to be WDM in the unusual $0.3$ MeV to $0.3$ TeV mass range, if PBHs do not matter-dominate the Universe before evaporating. When PBHs matter-dominate before evaporating, the possible coincidence of induced gravitational waves associated with PBH evaporation and astrophysical X-ray observations from $\nu_s$ decays constitutes a distinct signature of our scenario. constitutes a distinct signature of our scenario.


title: Best Arm Identification with Fixed Budget: A Large Deviation Perspective

abstract: We consider the problem of identifying the best arm in stochastic Multi-Armed Bandits (MABs) using a fixed sampling budget. Characterizing the minimal instance-specific error probability for this problem constitutes one of the important remaining open problems in MABs. When arms are selected using a static sampling strategy, the error probability decays exponentially with the number of samples at a rate that can be explicitly derived via Large Deviation techniques. Analyzing the performance of algorithms with adaptive sampling strategies is however much more challenging. In this paper, we establish a connection between the Large Deviation Principle (LDP) satisfied by the empirical proportions of arm draws and that satisfied by the empirical arm rewards. This connection holds for any adaptive algorithm, and is leveraged (i) to improve error probability upper bounds of some existing algorithms, such as the celebrated \sr (Successive Rejects) algorithm \citep{audibert2010best}, and (ii) to devise and analyze new algorithms. In particular, we present \sred (Continuous Rejects), a truly adaptive algorithm that can reject arms in {\it any} round based on the observed empirical gaps between the rewards of various arms. Applying our Large Deviation results, we prove that \sred enjoys better performance guarantees than existing algorithms, including \sr. Extensive numerical experiments confirm this observation.


title: Differential graded enhancements of singularity categories

abstract: The singularity category of a ring detects the homological singularity of the given ring, and appears in many different contexts. We describe two different dg enhancements of the singularity category, that is, the Vogel dg category and the singular Yoneda dg category. These two dg enhancements turn out to be quasi-equivalent. We report some progress on the Singular Presilting Conjecture.


title: Multi-dimensional fractional Brownian motion in the G-setting

abstract: In this paper we introduce a definition of a multi-dimensional fractional Brownian motion of Hurst index $H \in (0, 1)$ under volatility uncertainty (in short G-fBm). We study the properties of such a process and provide first results about stochastic calculus with respect to a fractional G-Brownian motion for a Hurst index $H >\frac{1}{2}$ .


title: Enhanced mechanical properties and microstructural stability of ultrafine-grained biodegradable Zn-Li-Mn-Mg-Cu alloys produced by rapid solidification and high-pressure torsion

abstract: Zinc alloys have emerged as promising candidates for biodegradable materials due to their remarkable biocompatibility and favorable mechanical characteristics. The incorporation of alloying elements plays an essential role in advancing the tensile strength of Zn alloys. Nevertheless, achieving uniform dispersion of these elements poses challenges due to chemical segregation during solidification. In this study, rapid solidification followed by high-pressure torsion was successfully employed to fabricate Zn-Li-Mn-Mg-Cu alloys characterized by ultrafine-grained microstructures with evenly distributed nanometric intermetallic phases. A comprehensive examination, including phase composition, microstructural evolution, tensile properties and deformation mechanisms, was conducted. The impact of varying annealing temperatures on microstructural stability was systematically examined. The combined implementation of rapid solidification and high-pressure torsion yielded alloys with an average grain size below 360 nm, thereby demonstrating exceptional mechanical properties including yield stress (YS), ultimate tensile strength (UTS), and elongation to failure (Ef) equal to at least 325+-6 MPa, 350+-8 MPa and 40+-11 %, respectively. Heat treatment notably augmented the mechanical properties, resulting in a YS = 440+-11 MPa and UTS = 491+-6 MPa, while preserving plasticity (Ef = 23+-4 %) in the Zn-0.33Li-0.27Mn-0.14Mg-0.1Cu alloy. Nanoindentation strain rate jump tests identified thermally activated mechanisms and grain boundary sliding as dominant deformation mechanisms.


title: Neuron-Level Knowledge Attribution in Large Language Models

abstract: Identifying important neurons for final predictions is essential for understanding the mechanisms of large language models. Due to computational constraints, current attribution techniques struggle to operate at neuron level. In this paper, we propose a static method for pinpointing significant neurons for different outputs. Compared to seven other methods, our approach demonstrates superior performance across three metrics. Additionally, since most static methods typically only identify "value neurons" directly contributing to the final prediction, we introduce a static method for identifying "query neurons" which activate these "value neurons". Finally, we apply our methods to analyze the localization of six distinct types of knowledge across both attention and feed-forward network (FFN) layers. Our method and analysis are helpful for understanding the mechanisms of knowledge storage and set the stage for future research in knowledge editing. We will release our data and code on github.


title: FontDiffuser: One-Shot Font Generation via Denoising Diffusion with Multi-Scale Content Aggregation and Style Contrastive Learning

abstract: Automatic font generation is an imitation task, which aims to create a font library that mimics the style of reference images while preserving the content from source images. Although existing font generation methods have achieved satisfactory performance, they still struggle with complex characters and large style variations. To address these issues, we propose FontDiffuser, a diffusion-based image-to-image one-shot font generation method, which innovatively models the font imitation task as a noise-to-denoise paradigm. In our method, we introduce a Multi-scale Content Aggregation (MCA) block, which effectively combines global and local content cues across different scales, leading to enhanced preservation of intricate strokes of complex characters. Moreover, to better manage the large variations in style transfer, we propose a Style Contrastive Refinement (SCR) module, which is a novel structure for style representation learning. It utilizes a style extractor to disentangle styles from images, subsequently supervising the diffusion model via a meticulously designed style contrastive loss. Extensive experiments demonstrate FontDiffuser's state-of-the-art performance in generating diverse characters and styles. It consistently excels on complex characters and large style changes compared to previous methods. The code is available at https://github.com/yeungchenwa/FontDiffuser.


title: Integrating Human Vision Perception in Vision Transformers for Classifying Waste Items

abstract: In this paper, we propose an novel methodology aimed at simulating the learning phenomenon of nystagmus through the application of differential blurring on datasets. Nystagmus is a biological phenomenon that influences human vision throughout life, notably by diminishing head shake from infancy to adulthood. Leveraging this concept, we address the issue of waste classification, a pressing global concern. The proposed framework comprises two modules, with the second module closely resembling the original Vision Transformer, a state-of-the-art model model in classification tasks. The primary motivation behind our approach is to enhance the model's precision and adaptability, mirroring the real-world conditions that the human visual system undergoes. This novel methodology surpasses the standard Vision Transformer model in waste classification tasks, exhibiting an improvement with a margin of 2%. This improvement underscores the potential of our methodology in improving model precision by drawing inspiration from human vision perception. Further research in the proposed methodology could yield greater performance results, and can be extrapolated to other global issues.


title: M-BEV: Masked BEV Perception for Robust Autonomous Driving

abstract: 3D perception is a critical problem in autonomous driving. Recently, the Bird-Eye-View (BEV) approach has attracted extensive attention, due to low-cost deployment and desirable vision detection capacity. However, the existing models ignore a realistic scenario during the driving procedure, i.e., one or more view cameras may be failed, which largely deteriorates the performance. To tackle this problem, we propose a generic Masked BEV (M-BEV) perception framework, which can effectively improve robustness to this challenging scenario, by random masking and reconstructing camera views in the end-to-end training. More specifically, we develop a novel Masked View Reconstruction (MVR) module for M-BEV. It mimics various missing cases by randomly masking features of different camera views, then leverages the original features of these views as self-supervision, and reconstructs the masked ones with the distinct spatio-temporal context across views. Via such a plug-and-play MVR, our M-BEV is capable of learning the missing views from the resting ones, and thus well generalized for robust view recovery and accurate perception in the testing. We perform extensive experiments on the popular NuScenes benchmark, where our framework can significantly boost 3D perception performance of the state-of-the-art models on various missing view cases, e.g., for the absence of back view, our M-BEV promotes the PETRv2 model with 10.3% mAP gain.


title: OVD-Explorer: Optimism Should Not Be the Sole Pursuit of Exploration in Noisy Environments

abstract: In reinforcement learning, the optimism in the face of uncertainty (OFU) is a mainstream principle for directing exploration towards less explored areas, characterized by higher uncertainty. However, in the presence of environmental stochasticity (noise), purely optimistic exploration may lead to excessive probing of high-noise areas, consequently impeding exploration efficiency. Hence, in exploring noisy environments, while optimism-driven exploration serves as a foundation, prudent attention to alleviating unnecessary over-exploration in high-noise areas becomes beneficial. In this work, we propose Optimistic Value Distribution Explorer (OVD-Explorer) to achieve a noise-aware optimistic exploration for continuous control. OVD-Explorer proposes a new measurement of the policy's exploration ability considering noise in optimistic perspectives, and leverages gradient ascent to drive exploration. Practically, OVD-Explorer can be easily integrated with continuous control RL algorithms. Extensive evaluations on the MuJoCo and GridChaos tasks demonstrate the superiority of OVD-Explorer in achieving noise-aware optimistic exploration.


title: Deviation of top eigenvalue for some tridiagonal matrices under various moment assumptions

abstract: Symmetric tridiagonal matrices appear ubiquitously in mathematical physics, serving as the matrix representation of discrete random Schr\"odinger operators. In this work we investigate the top eigenvalue of these matrices in the large deviation regime, assuming the random potentials are on the diagonal with a certain decaying factor $N^{-\alpha}$, and the probability law $\mu$ of the potentials satisfy specific decay assumptions. We investigate two different models, one of which has random matrix behavior at the spectral edge but the other does not. Both the light-tailed regime, i.e. when $\mu$ has all moments, and the heavy-tailed regime are covered. Precise right tail estimates and a crude left tail estimate are derived. In particular we show that when the tail $\mu$ has a certain decay rate, then the top eigenvalue is distributed as the Frechet law composed with some deterministic functions. The proof relies on computing one point perturbations of fixed tridiagonal matrices.


title: LoKit (revisited): A Toolkit for Building Distributed Collaborative Applications

abstract: LoKit is a toolkit based on the coordination language LO. It allows to build distributed collaborative applications by providing a set of generic tools. This paper briefly introduces the concept of the toolkit, presents a subset of the LoKit tools, and finally demonstrates its power by discussing a sample application built with the toolkit.


title: Parameter-Efficient Fine-Tuning Methods for Pretrained Language Models: A Critical Review and Assessment

abstract: With the continuous growth in the number of parameters of transformer-based pretrained language models (PLMs), particularly the emergence of large language models (LLMs) with billions of parameters, many natural language processing (NLP) tasks have demonstrated remarkable success. However, the enormous size and computational demands of these models pose significant challenges for adapting them to specific downstream tasks, especially in environments with limited computational resources. Parameter Efficient Fine-Tuning (PEFT) offers an effective solution by reducing the number of fine-tuning parameters and memory usage while achieving comparable performance to full fine-tuning. The demands for fine-tuning PLMs, especially LLMs, have led to a surge in the development of PEFT methods, as depicted in Fig. 1. In this paper, we present a comprehensive and systematic review of PEFT methods for PLMs. We summarize these PEFT methods, discuss their applications, and outline future directions. Furthermore, we conduct experiments using several representative PEFT methods to better understand their effectiveness in parameter efficiency and memory efficiency. By offering insights into the latest advancements and practical applications, this survey serves as an invaluable resource for researchers and practitioners seeking to navigate the challenges and opportunities presented by PEFT in the context of PLMs.


title: Bayesian and minimax estimators of loss

abstract: We study the problem of loss estimation that involves for an observable $X \sim f_{\theta}$ the choice of a first-stage estimator $\hat{\gamma}$ of $\gamma(\theta)$, incurred loss $L=L(\theta, \hat{\gamma})$, and the choice of a second-stage estimator $\hat{L}$ of $L$. We consider both: (i) a sequential version where the first-stage estimate and loss are fixed and optimization is performed at the second-stage level, and (ii) a simultaneous version with a Rukhin-type loss function designed for the evaluation of $(\hat{\gamma}, \hat{L})$ as an estimator of $(\gamma, L)$. We explore various Bayesian solutions and provide minimax estimators for both situations (i) and (ii). The analysis is carried out for several probability models, including multivariate normal models $N_d(\theta, \sigma^2 I_d)$ with both known and unknown $\sigma^2$, Gamma, univariate and multivariate Poisson, and negative binomial models, and relates to different choices of the first-stage and second-stage losses. The minimax findings are achieved by identifying least favourable of sequence of priors and depend critically on particular Bayesian solution properties, namely situations where the second-stage estimator $\hat{L}(x)$ is constant as a function of $x$.


title: Comparative Study of Hardware and Software Power Measurements in Video Compression

abstract: The environmental impact of video streaming services has been discussed as part of the strategies towards sustainable information and communication technologies. A first step towards that is the energy profiling and assessment of energy consumption of existing video technologies. This paper presents a comprehensive study of power measurement techniques in video compression, comparing the use of hardware and software power meters. An experimental methodology to ensure reliability of measurements is introduced. Key findings demonstrate the high correlation of hardware and software based energy measurements for two video codecs across different spatial and temporal resolutions at a lower computational overhead.


title: SoftCTM: Cell detection by soft instance segmentation and consideration of cell-tissue interaction

abstract: Detecting and classifying cells in histopathology H\&E stained whole-slide images is a core task in computational pathology, as it provides valuable insight into the tumor microenvironment. In this work we investigate the impact of ground truth formats on the models performance. Additionally, cell-tissue interactions are considered by providing tissue segmentation predictions as input to the cell detection model. We find that a "soft", probability-map instance segmentation ground truth leads to best model performance. Combined with cell-tissue interaction and test-time augmentation our Soft Cell-Tissue-Model (SoftCTM) achieves 0.7172 mean F1-Score on the Overlapped Cell On Tissue (OCELOT) test set, achieving the third best overall score in the OCELOT 2023 Challenge. The source code for our approach is made publicly available at https://github.com/lely475/ocelot23algo.


title: On the integrability of hybrid Hamiltonian systems

abstract: A hybrid system is a system whose dynamics are controlled by a mixture of both continuous and discrete transitions. The integrability of Hamiltonian systems is often identified with complete integrability or Liouville integrability, that is, the existence of as many independent integrals of motion in involution as the dimension of the phase space. Under certain regularity conditions, Liouville-Arnold theorem states that the invariant geometric structure associated with Liouville integrability is a fibration by Lagrangian tori, on which motions are linear. In this paper, we study an extension of the Liouville-Arnold theorem for hybrid systems whose continuous dynamics is given by a Hamiltonian vector field and we state conditions on the impact map and the switching surface under which a hybrid Hamiltonian system is, in a certain sense, completely integrable.


title: Noise robust distillation of self-supervised speech models via correlation metrics

abstract: Compared to large speech foundation models, small distilled models exhibit degraded noise robustness. The student's robustness can be improved by introducing noise at the inputs during pre-training. Despite this, using the standard distillation loss still yields a student with degraded performance. Thus, this paper proposes improving student robustness via distillation with correlation metrics. Teacher behavior is learned by maximizing the teacher and student cross-correlation matrix between their representations towards identity. Noise robustness is encouraged via the student's self-correlation minimization. The proposed method is agnostic of the teacher model and consistently outperforms the previous approach. This work also proposes an heuristic to weigh the importance of the two correlation terms automatically. Experiments show consistently better clean and noise generalization on Intent Classification, Keyword Spotting, and Automatic Speech Recognition tasks on SUPERB Challenge.


title: Combinatorics and topological weights of chromatin loop networks

abstract: Polymer physics models suggest that chromatin spontaneously folds into loop networks with transcription units (TUs), such as enhancers and promoters, as anchors. Here we use combinatoric arguments to enumerate the emergent chromatin loop networks, both in the case where TUs are labelled and where they are unlabelled. We then combine these mathematical results with those of computer simulations aimed at finding the inter-TU energy required to form a target loop network. We show that different topologies are vastly different in terms of both their combinatorial weight and energy of formation. We explain the latter result qualitatively by computing the topological weight of a given network -- i.e., its partition function in statistical mechanics language -- in the approximation where excluded volume interactions are neglected. Our results show that networks featuring local loops are statistically more likely with respect to networks including more non-local contacts. We suggest our classification of loop networks, together with our estimate of the combinatorial and topological weight of each network, will be relevant to catalogue 3D structures of chromatin fibres around eukaryotic genes, and to estimate their relative frequency in both simulations and experiments.


title: Towards Balanced Alignment: Modal-Enhanced Semantic Modeling for Video Moment Retrieval

abstract: Video Moment Retrieval (VMR) aims to retrieve temporal segments in untrimmed videos corresponding to a given language query by constructing cross-modal alignment strategies. However, these existing strategies are often sub-optimal since they ignore the modality imbalance problem, \textit{i.e.}, the semantic richness inherent in videos far exceeds that of a given limited-length sentence. Therefore, in pursuit of better alignment, a natural idea is enhancing the video modality to filter out query-irrelevant semantics, and enhancing the text modality to capture more segment-relevant knowledge. In this paper, we introduce Modal-Enhanced Semantic Modeling (MESM), a novel framework for more balanced alignment through enhancing features at two levels. First, we enhance the video modality at the frame-word level through word reconstruction. This strategy emphasizes the portions associated with query words in frame-level features while suppressing irrelevant parts. Therefore, the enhanced video contains less redundant semantics and is more balanced with the textual modality. Second, we enhance the textual modality at the segment-sentence level by learning complementary knowledge from context sentences and ground-truth segments. With the knowledge added to the query, the textual modality thus maintains more meaningful semantics and is more balanced with the video modality. By implementing two levels of MESM, the semantic information from both modalities is more balanced to align, thereby bridging the modality gap. Experiments on three widely used benchmarks, including the out-of-distribution settings, show that the proposed framework achieves a new start-of-the-art performance with notable generalization ability (e.g., 4.42% and 7.69% average gains of R1@0.7 on Charades-STA and Charades-CG). The code will be available at https://github.com/lntzm/MESM.


title: Numerical approach to centrality of optimal transportation networks

abstract: We study hierarchical properties of optimal transportation networks with biological background. The networks are obtained as minimizers of an energy functional which involves a metabolic cost term of a power-law form with exponent $\gamma>0$. In the range $\gamma\in (0,1)$, most relevant for biological applications, the functional is non-convex and its local minima correspond to loop-free graphs (trees). We propose a numerical scheme that performs energy descent by searching the discrete set of local minimizers, combined with a Monte-Carlo approach. We verify the performance of the scheme in the borderline case $\gamma=1$, where the functional is convex. For~a~particular example of a leaf-shaped planar graph, we evaluate the global reaching centrality (GRC) of the (local) minimizers in dependence on the value of $\gamma\in (0,1]$. We observe that the GRC, which can be understood as a measure of hierarchical organization of the graph, monotonically increases with increasing $\gamma$. To our best knowledge, this is the first quantification of the influence of the value of the metabolic exponent on the hierarchical organization of the (almost) optimal transportation network.


title: HDL and plaque regression in a multiphase model of early atherosclerosis

abstract: Atherosclerotic plaques are accumulations of cholesterol-engorged macrophages in the artery wall. Plaque growth is initiated and sustained by the deposition of low density lipoproteins (LDL) in the artery wall. High density lipoproteins (HDL) counterbalance the effects of LDL by accepting cholesterol from macrophages and removing it from the plaque. In this paper, we develop a free boundary multiphase model to investigate the effects of LDL and HDL on early plaque development. We examine how the rates of LDL and HDL deposition affect cholesterol accumulation in macrophages, and how this impacts cell death rates and emigration. We identify a region of LDL-HDL parameter space where plaque growth stabilises for low LDL and high HDL influxes, due to macrophage emigration and HDL clearance that counterbalances the influx of new cells and cholesterol. We explore how the efferocytic uptake of dead cells and the recruitment of new macrophages affect plaque development for a range of LDL and HDL levels. Finally, we consider how changes in the LDL-HDL profile can change the course of plaque development. We show that changes towards lower LDL and higher HDL can slow plaque growth and even induce regression. We find that these changes have less effect on larger, more established plaques, and that temporary changes will only slow plaque growth in the short term.


title: Rigidity of symmetric linearly constrained frameworks in the plane

abstract: A bar-joint framework $(G,p)$ is the combination of a finite simple graph $G=(V,E)$ and a placement $p:V\rightarrow \mathbb{R}^d$. The framework is rigid if the only edge-length preserving continuous motions of the vertices arise from isometries of the space. Motivated by applications where boundary conditions play a significant role, one may generalise and consider linearly constrained frameworks where some vertices are constrained to move on fixed affine subspaces. Streinu and Theran characterised exactly which linearly constrained frameworks are generically rigid in 2-dimensional space. In this article we extend their characterisation to symmetric frameworks. In particular necessary combinatorial conditions are given for a symmetric linearly constrained framework in the plane to be isostatic (i.e. minimally infinitesimally rigid) under any finite point group symmetry. In the case of rotation symmetry groups whose order is either 2 or odd, these conditions are then shown to be sufficient under suitable genericity assumptions, giving precise combinatorial descriptions of symmetric isostatic graphs in these contexts.


title: Topological spectra and entropy of chromatin loop networks

abstract: The 3D folding of a mammalian gene can be studied by a polymer model, where the chromatin fibre is represented by a semiflexible polymer which interacts with multivalent proteins, representing complexes of DNA-binding transcription factors and RNA polymerases. This physical model leads to the natural emergence of clusters of proteins and binding sites, accompanied by the folding of chromatin into a set of topologies, each associated with a different network of loops. Here we combine numerics and analytics to first classify these networks and then find their relative importance or statistical weight, when the properties of the underlying polymer are those relevant to chromatin. Unlike polymer networks previously studied, our chromatin networks have finite average distances between successive binding sites, and this leads to giant differences between the weights of topologies with the same number of edges and nodes but different wiring. These weights strongly favour rosette-like structures with a local cloud of loops with respect to more complicated non-local topologies. Our results suggest that genes should overwhelmingly fold into a small fraction of all possible 3D topologies, which can be robustly characterised by the framework we propose here.


title: Optical properties and exciton transfer between N-heterocyclic carbene iridium (III) complexes for blue light-emitting diode applications from first principles

abstract: N-heterocyclic carbene (NHC) iridium (III) complexes are considered as promising candidates for blue emitters in organic light-emitting diodes. They can play the roles of the emitter as well as of electron and hole transporters in the same emission layer. We investigate optical transitions in such complexes with account of geometry and electronic structure changes upon excitation or charging and exciton transfer between the complexes from first principles. It is shown that excitation of NHC iridium complexes is accompanied by a large reorganization energy $\sim$0.7 eV and a significant loss in the oscillator strength, which should lead to low exciton diffusion. Calculations with account of spin-orbit coupling reveal a small singlet-triplet splitting $\sim$0.1 eV, whereas the oscillator strength for triplet excitations is found to be an order of magnitude smaller than for the singlet ones. The contributions of the F\"orster and Dexter mechanisms are analyzed via the explicit integration of transition densities. It is shown that for typical distances between emitter complexes in the emission layer, the contribution of the Dexter mechanism should be negligible compared to the F\"orster mechanism. On the other hand, the ideal dipole approximation, although gives the correct order of the exciton coupling, fails to reproduce the result taking into account spatial distribution of the transition density. For charged NHC complexes, we find a number of optical transitions close to the emission peak of the blue emitter with high exciton transfer rates that can be responsible for exciton-polaron quenching. The nature of these transitions is analyzed.


title: Towards an in-depth detection of malware using distributed QCNN

abstract: Malware detection is an important topic of current cybersecurity, and Machine Learning appears to be one of the main considered solutions even if certain problems to generalize to new malware remain. In the aim of exploring the potential of quantum machine learning on this domain, our previous work showed that quantum neural networks do not perform well on image-based malware detection when using a few qubits. In order to enhance the performances of our quantum algorithms for malware detection using images, without increasing the resources needed in terms of qubits, we implement a new preprocessing of our dataset using Grayscale method, and we couple it with a model composed of five distributed quantum convolutional networks and a scoring function. We get an increase of around 20 \% of our results, both on the accuracy of the test and its F1-score.