title: Efficient Nonparametric Tensor Decomposition for Binary and Count Data

abstract: In numerous applications, binary reactions or event counts are observed and stored within high-order tensors. Tensor decompositions (TDs) serve as a powerful tool to handle such high-dimensional and sparse data. However, many traditional TDs are explicitly or implicitly designed based on the Gaussian distribution, which is unsuitable for discrete data. Moreover, most TDs rely on predefined multi-linear structures, such as CP and Tucker formats. Therefore, they may not be effective enough to handle complex real-world datasets. To address these issues, we propose ENTED, an \underline{E}fficient \underline{N}onparametric \underline{TE}nsor \underline{D}ecomposition for binary and count tensors. Specifically, we first employ a nonparametric Gaussian process (GP) to replace traditional multi-linear structures. Next, we utilize the \pg augmentation which provides a unified framework to establish conjugate models for binary and count distributions. Finally, to address the computational issue of GPs, we enhance the model by incorporating sparse orthogonal variational inference of inducing points, which offers a more effective covariance approximation within GPs and stochastic natural gradient updates for nonparametric models. We evaluate our model on several real-world tensor completion tasks, considering binary and count datasets. The results manifest both better performance and computational advantages of the proposed model.


title: Constraining safe and unsafe overshoots in saddle-node bifurcations

abstract: We consider a dynamical system undergoing a saddle-node bifurcation with an explicitly time dependent parameter~$p(t)$. The combined dynamics can be considered as a dynamical systems where $p$ is a slowly evolving parameter. Here, we investigate settings where the parameter features an overshoot. It crosses the bifurcation threshold for some finite duration $t_e$ and up to an amplitude $R$, before it returns to its initial value. We denote the overshoot as safe when the dynamical system returns to its initial state. Otherwise, one encounters runaway trajectories (tipping), and the overshoot is unsafe. For shallow overshoots (small $R$) safe and unsafe overshoots are discriminated by an inverse square-root border, $t_e \propto R^{-1/2}$, as reported in earlier literature. However, for larger overshoots we here establish a crossover to another power law with an exponent that depends on the asymptotics of $p(t)$. For overshoots with a finite support we find that $t_e \propto R^{-1}$, and we provide examples for overshoots with exponents in the range $[-1, -1/2]$. All results are substantiated by numerical simulations, and it is discussed how the analytic and numeric results pave the way towards improved risks assessments separating safe from unsafe overshoots in climate, ecology and nonlinear dynamics.


title: Approximations to Study the Impact of the Service Discipline in Systems with Redundancy

abstract: As job redundancy has been recognized as an effective means to improve performance of large-scale computer systems, queueing systems with redundancy have been studied by various authors. Existing results include methods to compute the queue length distribution and response time but only when the service discipline is First-Come-First-Served (FCFS). For other service disciplines, such as Processor Sharing (PS), or Last-Come-First-Served (LCFS), only the stability conditions are known. In this paper we develop the first methods to approximate the queue length distribution in a queueing system with redundancy under various service disciplines. We focus on a system with exponential job sizes, i.i.d. copies, and a large number of servers. We first derive a mean field approximation that is independent of the scheduling policy. In order to study the impact of service discipline, we then derive refinements of this approximation to specific scheduling policies. In the case of Processor Sharing, we provide a pair and a triplet approximation. The pair approximation can be regarded as a refinement of the classic mean field approximation and takes the service discipline into account, while the triplet approximation further refines the pair approximation. We also develop a pair approximation for three other service disciplines: First-Come-First-Served, Limited Processor Sharing and Last-Come-First-Served. We present numerical evidence that shows that all the approximations presented in the paper are highly accurate, but that none of them are asymptotically exact (as the number of servers goes to infinity). This makes these approximations suitable to study the impact of the service discipline on the queue length distribution. Our results show that FCFS yields the shortest queue length, and that the differences are more substantial at higher loads.


title: Definability in affine continuous logic

abstract: I study definable sets in affine continuous logic. Let $T$ be an affine theory. After giving some general results, it is proved that if $T$ has a first order model, its extremal theory is a complete first order theory and first order definable sets are affinely definable. In this case, the type spaces of $T$ are Bauer simplices and they coincide with the sets of Keisler measures of the extremal theory. In contrast, if $T$ has a compact model, definable sets are exactly the end-sets of definable predicates. As an example, it is proved in the theory of probability algebras that one dimensional definable sets are exactly the intervals $[a,b]$.


title: The PRL 2.5m Telescope and its First Light Instruments: FOC & PARAS-2

abstract: We present here the information on the design and performance of the recently commissioned 2.5-meter telescope at the PRL Mount Abu Observatory, located at Gurushikhar, Mount Abu, India. The telescope has been successfully installed at the site, and the Site Acceptance Test (SAT) was completed in October 2022. It is a highly advanced telescope in India, featuring the Ritchey-Chr$\acute{e}$tien optical configuration with primary mirror active optics, tip-tilt on side-port, and wave front correction sensors. Along with the telescope, its two first light instruments {namely Faint Object Camera (FOC) and PARAS-2} were also integrated and attached with it in the June 2022. {FOC is a} camera that uses a 4096 X 4112 pixels detector SDSS type filters with enhanced transmission and known as u', g', r', i', z'. It has a limiting magnitude of 21 mag in 10 minutes exposure in the r'-band. The other first light instrument PARAS-2 is a state-of-the-art high-resolution fiber-fed spectrograph operates in 380-690 nm wave-band, aimed to unveil the super-Earth like worlds. The spectrograph works at a resolution of $\sim$107,000, making it the highest-resolution spectrograph in Asia to date, which is under {ultra}-stable temperature and pressure environment, at 22.5 $\pm$ 0.001 $^{\circ}$C and 0.005 $\pm$ 0.0005 mbar, respectively. Initial calibration tests of the spectrograph using a Uranium Argon Hollow Cathode Lamp (UAr HCL) have yielded intrinsic instrumental RV stability down to 30 cm s$^{-1}$.


title: Layerwise Quantum Convolutional Neural Networks Provide a Unified Way for Estimating Fundamental Properties of Quantum Information Theory

abstract: The estimation of fundamental properties in quantum information theory, including von Neumann entropy, R\'enyi entropy, Tsallis entropy, quantum relative entropy, trace distance, and fidelity, has received significant attention. While various algorithms exist for individual property estimation, a unified approach is lacking. This paper proposes a unified methodology using Layerwise Quantum Convolutional Neural Networks (LQCNN). Recent studies exploring parameterized quantum circuits for property estimation face challenges such as barren plateaus and complexity issues in large qubit states. In contrast, our work overcomes these challenges, avoiding barren plateaus and providing a practical solution for large qubit states. Our first contribution offers a mathematical proof that the LQCNN structure preserves fundamental properties. Furthermore, our second contribution analyzes the algorithm's complexity, demonstrating its avoidance of barren plateaus through a structured local cost function.


title: A Pragmatical Approach to Anomaly Detection Evaluation in Edge Cloud Systems

abstract: Anomaly detection (AD) has been recently employed in the context of edge cloud computing, e.g., for intrusion detection and identification of performance issues. However, state-of-the-art anomaly detection procedures do not systematically consider restrictions and performance requirements inherent to the edge, such as system responsiveness and resource consumption. In this paper, we attempt to investigate the performance of change-point based detectors, i.e., a class of lightweight and accurate AD methods, in relation to the requirements of edge cloud systems. Firstly, we review the theoretical properties of two major categories of change point approaches, i.e., Bayesian and cumulative sum (CUSUM), also discussing their suitability for edge systems. Secondly, we introduce a novel experimental methodology and apply it over two distinct edge cloud test-beds to evaluate the performance of such mechanisms in real-world edge environments. Our experimental results reveal important insights and trade-offs for the applicability and the online performance of the selected change point detectors.


title: How Social Media Big Data Can Improve Suicide Prevention

abstract: In the light of increasing clues on social media impact on self-harm and suicide risks, there is still no evidence on who are and how factually engaged in suicide-related online behaviors. This study reports new findings of high-performance supercomputing investigation of publicly accessible big data sourced from one of the world-largest social networking site. Three-month supercomputer searching resulted in 570,156 young adult users who consumed suicide-related information on social media. Most of them were 21-24 year olds with higher share of females (58%) of predominantly younger age. Every eight user was alarmingly engrossed with up to 15 suicide-related online groups. Evidently, suicide groups on social media are highly underrated public health issue that might weaken the prevention efforts. Suicide prevention strategies that target social media users must be implemented extensively. While major gap in functional understanding of technologies relevance for use in public mental health still exists, current findings act for better understanding digital technologies utility for translational advance and offer relevant evidence-based framework for improving suicide prevention in general population.


title: Comprehensive Joint Modeling of First-Line Therapeutics in Non-Small Cell Lung Cancer

abstract: First-line antiproliferatives for non-small cell lung cancer (NSCLC) have a relatively high failure rate due to high intrinsic resistance rates and acquired resistance rates to therapy. 57% patients are diagnosed in late-stage disease due to the tendency of early-stage NSCLC to be asymptomatic. For patients first diagnosed with metastatic disease the 5-year survival rate is approximately 5%. To help accelerate the development of novel therapeutics and computer-based tools for optimizing individual therapy, we have collated data from 11 different clinical trials in NSCLC and developed a semi-mechanistic, clinical model of NSCLC growth and pharmacodynamics relative to the various therapeutics represented in the study. In this study, we have produced extremely precise estimates of clinical parameters fundamental to cancer modeling such as the rate of acquired resistance to various pharmaceuticals, the relationship between drug concentration and rate of cancer cell death, as well as the fine temporal dynamics of anti-VEGF therapy. In the simulation sets documented in this study, we have used the model to make meaningful descriptions of efficacy gain in making bevacizumab-antiproliferative combination therapy sequential, over a series of days, rather than concurrent.


title: Coarse cohomology of configuration space and coarse embedding

abstract: We introduce a notion of equivariant coarse cohomology of the complement of a subspace in a metric space. We use this cohomology to define a notion of coarse cohomology of the configuration space of a metric space and develop tools to compute this cohomology under certain conditions. As an application of this theory, we show that certain classes in the coarse cohomology of configuration space obstruct coarse embedding between two metric spaces.


title: Graph Transformer GANs with Graph Masked Modeling for Architectural Layout Generation

abstract: We present a novel graph Transformer generative adversarial network (GTGAN) to learn effective graph node relations in an end-to-end fashion for challenging graph-constrained architectural layout generation tasks. The proposed graph-Transformer-based generator includes a novel graph Transformer encoder that combines graph convolutions and self-attentions in a Transformer to model both local and global interactions across connected and non-connected graph nodes. Specifically, the proposed connected node attention (CNA) and non-connected node attention (NNA) aim to capture the global relations across connected nodes and non-connected nodes in the input graph, respectively. The proposed graph modeling block (GMB) aims to exploit local vertex interactions based on a house layout topology. Moreover, we propose a new node classification-based discriminator to preserve the high-level semantic and discriminative node features for different house components. To maintain the relative spatial relationships between ground truth and predicted graphs, we also propose a novel graph-based cycle-consistency loss. Finally, we propose a novel self-guided pre-training method for graph representation learning. This approach involves simultaneous masking of nodes and edges at an elevated mask ratio (i.e., 40%) and their subsequent reconstruction using an asymmetric graph-centric autoencoder architecture. This method markedly improves the model's learning proficiency and expediency. Experiments on three challenging graph-constrained architectural layout generation tasks (i.e., house layout generation, house roof generation, and building layout generation) with three public datasets demonstrate the effectiveness of the proposed method in terms of objective quantitative scores and subjective visual realism. New state-of-the-art results are established by large margins on these three tasks.


title: Inferring Preferences from Demonstrations in Multi-Objective Residential Energy Management

abstract: It is often challenging for a user to articulate their preferences accurately in multi-objective decision-making problems. Demonstration-based preference inference (DemoPI) is a promising approach to mitigate this problem. Understanding the behaviours and values of energy customers is an example of a scenario where preference inference can be used to gain insights into the values of energy customers with multiple objectives, e.g. cost and comfort. In this work, we applied the state-of-art DemoPI method, i.e., the dynamic weight-based preference inference (DWPI) algorithm in a multi-objective residential energy consumption setting to infer preferences from energy consumption demonstrations by simulated users following a rule-based approach. According to our experimental results, the DWPI model achieves accurate demonstration-based preference inferring in three scenarios. These advancements enhance the usability and effectiveness of multi-objective reinforcement learning (MORL) in energy management, enabling more intuitive and user-friendly preference specifications, and opening the door for DWPI to be applied in real-world settings.


title: Mean-field reflected BSDEs driven by a marked point process

abstract: In this paper, we study a class of mean-field reflected backward stochastic differential equations (MFRBSDEs) driven by a marked point process. Based on a g-expectation representation lemma, we give the existence and uniqueness of MFRBSDEs driven by a marked point process under Lipschitz generator conditions. Besides, the well-posedness of this kind of BSDEs with exponential growth generator and unbounded terminal is also provided by $\theta$-method.


title: A non-parametric estimator for Archimedean copulas under flexible censoring scenarios and an application to claims reserving

abstract: With insurers benefiting from ever-larger amounts of data of increasing complexity, we explore a data-driven method to model dependence within multilevel claims in this paper. More specifically, we start from a non-parametric estimator for Archimedean copula generators introduced by Genest and Rivest (1993), and we extend it to diverse flexible censoring scenarios using techniques derived from survival analysis. We implement a graphical selection procedure for copulas that we validate using goodness-of-fit methods applied to complete, single-censored, and double-censored bivariate data. We illustrate the performance of our model with multiple simulation studies. We then apply our methodology to a recent Canadian automobile insurance dataset where we seek to model the dependence between the activation delays of correlated coverages. We show that our model performs quite well in selecting the best-fitted copula for the data at hand, especially when the dataset is large, and that the results can then be used as part of a larger claims reserving methodology.


title: Effects Investigation of MAC and PHY Layer Parameters on the Performance of IEEE 802.15.6 CSMA/CA

abstract: The recently released IEEE 802.15.6 standard specifies several physical (PHY) layer and medium access control (MAC) layer protocols for variety of medical and non-medical applications of Wireless Body Area Networks (WBAN). The most suitable way for enhancing network performance is to be the choice of different MAC and PHY parameters based on quality of service (QoS) requirements of different applications. The impact of different MAC and PHY parameters on the network performance and the trade-off relationship between the parameters are essential to overcome the limitations of exiting carrier sense multiple access with collision avoidance (CSMA/CA) scheme of IEEE 802.15.6 standard. To address this issue, we develop a Markov chain-based analytical model of IEEE 802.15.6 CSMA/CA for all user priorities (UPs) and apply this general model to different network scenarios to investigate the effects of the packet arrival rate, channel condition, payload size, access phase length, access mechanism and number of nodes on the performance parameters viz. reliability, normalized throughput, energy consumption and average access delay. Moreover, we conclude the effectiveness of different access phases, access mechanisms and user priorities of intra-WBAN.


title: Preserving Power Optimizations Across the High Level Synthesis of Distinct Application-Specific Circuits

abstract: We evaluate the use of software interpretation to push High Level Synthesis of application-specific accelerators toward a higher level of abstraction. Our methodology is supported by a formal power consumption model that computes the power consumption of accelerator components, accurately predicting the power consumption on new designs from prior optimization estimations. We demonstrate how our approach simplifies the re-use of power optimizations across distinct designs, by leveraging the higher level of design abstraction, using two accelerators representative of the robotics domain, implemented through the Bambu High Level Synthesis tool. Results support the research hypothesis, achieving predictions accurate within +/- 1%.


title: HexaGen3D: StableDiffusion is just one step away from Fast and Diverse Text-to-3D Generation

abstract: Despite the latest remarkable advances in generative modeling, efficient generation of high-quality 3D assets from textual prompts remains a difficult task. A key challenge lies in data scarcity: the most extensive 3D datasets encompass merely millions of assets, while their 2D counterparts contain billions of text-image pairs. To address this, we propose a novel approach which harnesses the power of large, pretrained 2D diffusion models. More specifically, our approach, HexaGen3D, fine-tunes a pretrained text-to-image model to jointly predict 6 orthographic projections and the corresponding latent triplane. We then decode these latents to generate a textured mesh. HexaGen3D does not require per-sample optimization, and can infer high-quality and diverse objects from textual prompts in 7 seconds, offering significantly better quality-to-latency trade-offs when comparing to existing approaches. Furthermore, HexaGen3D demonstrates strong generalization to new objects or compositions.


title: Provisions and Economic Capital for Credit Losses

abstract: Based on supermodularity ordering properties, we show that convex risk measures of credit losses are nondecreasing w.r.t. credit-credit and, in a wrong-way risk setup, credit-market, covariances of elliptically distributed latent factors. These results support the use of such setups for computing credit provisions and economic capital or for conducting stress test exercises and risk management analysis.


title: SSL-Interactions: Pretext Tasks for Interactive Trajectory Prediction

abstract: This paper addresses motion forecasting in multi-agent environments, pivotal for ensuring safety of autonomous vehicles. Traditional as well as recent data-driven marginal trajectory prediction methods struggle to properly learn non-linear agent-to-agent interactions. We present SSL-Interactions that proposes pretext tasks to enhance interaction modeling for trajectory prediction. We introduce four interaction-aware pretext tasks to encapsulate various aspects of agent interactions: range gap prediction, closest distance prediction, direction of movement prediction, and type of interaction prediction. We further propose an approach to curate interaction-heavy scenarios from datasets. This curated data has two advantages: it provides a stronger learning signal to the interaction model, and facilitates generation of pseudo-labels for interaction-centric pretext tasks. We also propose three new metrics specifically designed to evaluate predictions in interactive scenes. Our empirical evaluations indicate SSL-Interactions outperforms state-of-the-art motion forecasting methods quantitatively with up to 8% improvement, and qualitatively, for interaction-heavy scenarios.


title: Animal-associated marine Acidobacteria with a rich natural product repertoire

abstract: Sponges have long been recognized as a rich source of bioactive natural products. Various studies suggest that many of these compounds are produced by symbiotic bacteria. However, substance supplies and functional insights about the producers remain limited because cultivation remains unsuccessful. To identify alternative, sustainable sources of sponge-derived polyketides, we computationally analyzed 5289 characterized and orphan trans-acyltransferase polyketide synthases, enzymes with widespread roles in polyketide biosynthesis by bacterial symbionts. The analytical workflow predicted marine animal-derived Acidobacteria of the family Acanthopleuribacteraceae with large sets of biosynthetic gene clusters to be enriched in sponge-type chemistry. Targeted compound isolation from a chiton-associated strain yielded new congeners of the phorboxazoles and calyculins, potent and scarce cytotoxins exclusively known from sponges. These first natural products of Acidobacteria and new coral metagenomic data on a third family member suggest animal-associated Acanthopleuribacteraceae as a rich source of sponge-type as well as novel metabolites


title: Earthquake-induced hazards in mountain regions: a review of case histories from Central Asia -- an inaugural lecture to the society

abstract: This paper presents a summary of the main trigger factors of earthquake-induced landslides as well as a review of case histories of major landslide-triggering earthquake events in Central Asia. The Kainama earth-flow case history of 2005 is added to document possible mid-term effects of smaller earthquakes. These events show that in the Central Asian Mountains, two types of seismically triggered mass movements may have particularly disastrous effects: massive long runout rockslides and medium-sized earth flows made of loess -- or a mixture of both. These types of mass movements also significantly contributed to the largest natural catastrophe of the last century in Central Asian mountain regions: the 1949 Khait earthquake.The high impact potential of these types of mass movements is further pointed out through comparison with two worldwide known events, the 1920 Haiyuan (China) and the 1976 Peru earthquake.Case studies had been carried out on rockslides, debris slumps and earth flows triggered by the above-mentioned Kemin and Suusamyr earthquakes as well as other smaller seismic shocks in the Kyrgyz Tien Shan. Many of the investigated landslides had known a complex failure history before final collapse. To better assess the short- to long-term effects of earthquakes on slopes, landslides need to be surveyed more intensively, over mid- and long-terms.


title: Popularity in location games

abstract: We study a variant of the Hotelling-Downs model of spatial competition between firms where consumer choices are influenced by their individual preferences as well as the popularity of the firms. In general, a multiplicity of market equilibria might exist due to the popularity effect. To elucidate firm decision-making, we explore three distinct behavioral attitudes towards this multiplicity of equilibria: optimistic, neutral, and pessimistic. For each behavior, we characterize the set of Nash equilibria and measure the impact of the selfish behavior on the social welfare by means of the price of anarchy and price of stability.


title: Conformal Approach To Gaussian Process Surrogate Evaluation With Coverage Guarantees

abstract: Gaussian processes (GPs) are a Bayesian machine learning approach widely used to construct surrogate models for the uncertainty quantification of computer simulation codes in industrial applications. It provides both a mean predictor and an estimate of the posterior prediction variance, the latter being used to produce Bayesian credibility intervals. Interpreting these intervals relies on the Gaussianity of the simulation model as well as the well-specification of the priors which are not always appropriate. We propose to address this issue with the help of conformal prediction. In the present work, a method for building adaptive cross-conformal prediction intervals is proposed by weighting the non-conformity score with the posterior standard deviation of the GP. The resulting conformal prediction intervals exhibit a level of adaptivity akin to Bayesian credibility sets and display a significant correlation with the surrogate model local approximation error, while being free from the underlying model assumptions and having frequentist coverage guarantees. These estimators can thus be used for evaluating the quality of a GP surrogate model and can assist a decision-maker in the choice of the best prior for the specific application of the GP. The performance of the method is illustrated through a panel of numerical examples based on various reference databases. Moreover, the potential applicability of the method is demonstrated in the context of surrogate modeling of an expensive-to-evaluate simulator of the clogging phenomenon in steam generators of nuclear reactors.


title: Solving moment and polynomial optimization problems on Sobolev spaces

abstract: Using standard tools of harmonic analysis, we state and solve the problem of moments for positive measures supported on the unit ball of a Sobolev space of multivariate periodic trigonometric functions. We describe outer and inner semidefinite approximations of the cone of Sobolev moments. They are the basic components of an infinite-dimensional moment-sums of squares hierarchy, allowing to solve numerically non-convex polynomial optimization problems on infinite-dimensional Sobolev spaces, with global convergence guarantees.


title: Pl\"ucker Coordinates and the Rosenfeld Planes

abstract: The exceptional compact hermitian symmetric space EIII is the quotient $E_6/Spin(10)\times_{\mathbb{Z}_4}U(1)$. We introduce the Pl\"ucker coordinates which give an embedding of EIII into $\mathbb{C}P^{26}$ as a projective subvariety. The subvariety is cut out by 27 Pl\"ucker relations. We show that, using Clifford algebra, one can solve this over-determined system of relations, giving local coordinate charts to the space. Our motivation is to understand EIII as the complex projective octonion plane $(\mathbb{C}\otimes\mathbb{O})P^2$, whose construction is somewhat scattered across the literature. We will see that the EIII has an atlas whose transition functions have clear octonion interpretations, apart from those covering a sub-variety $X_{\infty}$ of dimension 10. This subvariety is itself a hermitian symmetric space known as DIII, with no apparent octonion interpretation. We give detailed analysis of the geometry in the neighbourhood of $X_{\infty}$. We further decompose $X={\rm EIII}$ into $F_4$-orbits: $X=Y_0\cup Y_{\infty}$, where $Y_0\sim(\mathbb{O}P^2)_{\mathbb{C}}$ is an open $F_4$-orbit and is the complexification of $\mathbb{O}P^2$, whereas $Y_{\infty}$ has co-dimension 1, thus EIII could be more appropriately denoted as $\overline{(\mathbb{O}P^2)_{\mathbb{C}}}$. This decomposition appears in the classification of equivariant completion of homogeneous algebraic varieties by Ahiezer \cite{Ahiezer}.


title: Coupled vertical double quantum dots at single-hole occupancy

abstract: Gate-defined quantum dots define an attractive platform for quantum computation and have been used to confine individual charges in a planar array. Here, we demonstrate control over vertical double quantum dots confined in a double quantum well, silicon-germanium heterostructure. We sense individual charge transitions with a single-hole transistor. The vertical separation between the quantum wells provides a sufficient difference in capacitive coupling to distinguish quantum dots located in the top and bottom quantum well. Tuning the vertical double quantum dot to the (1,1) charge state confines a single hole in each quantum well beneath a single plunger gate. By simultaneously accumulating holes under two neighbouring plunger gates, we are able to tune to the (1,1,1,1) charge state. These results motivate quantum dot systems that exploit the third dimension, opening new opportunities for quantum simulation and quantum computing.


title: Non-Archimedean plectic Jacobians

abstract: Plectic Stark-Heegner points were recently introduced to explore the arithmetic of higher rank elliptic curves: the concept was inspired by Nekov\'a\v{r} and Scholl's plectic philosophy, while the construction is based on Bertolini and Darmon's groundbreaking use of the $p$-adic uniformization of Shimura curves to study the Birch-Swinnerton-Dyer conjecture. In this note we give a geometric interpretation of plectic Heegner points using the non-Archimedean uniformization of higher-dimensional quaternionic Shimura varieties. To this end, we define and study a plectic Jacobian functor from a category of Mumford varieties to topological groups extending the classical Jacobian functor on Mumford curves.


title: The analytic de Rham stack in rigid geometry

abstract: Applying the new theory of analytic stacks of Clausen and Scholze we introduce a general notion of derived Tate adic spaces. We use this formalism to define the analytic de Rham stack in rigid geometry, extending the theory of $D$-cap-modules of Ardakov and Wadsley to the theory of analytic $D$-modules. We prove some foundational results such as the existence of a six functor formalism and Poincar\'e duality for analytic $D$-modules, generalizing previous work of Bode. Finally, we relate the theory of analytic $D$-modules to previous work of the author with Rodrigues Jacinto on solid locally analytic representations of $p$-adic Lie groups.


title: THEMIS 2.0: A self-consistent model for dust extinction, emission, and polarisation

abstract: Recent observations in emission, extinction, and polarisation have at least partially invalidated most of the astronomical standard grain models for the diffuse ISM. Moreover, lab measurements on interstellar silicate analogues have shown differences with the optical properties used in these standard models. To address these issues, our objective is twofold: (i) to update the optical properties of silicates and (ii) to develop the THEMIS dust model to allow the calculation of polarised extinction and emission. Based on optical constants measured in the lab for amorphous silicates and on observational constraints in mid-IR extinction and X-ray scattering, we defined new optical constants for the THEMIS silicates. Absorption and scattering efficiencies for spheroidal grains were then derived with the discrete dipole approximation. These new optical properties make it possible to explain the dust emission and extinction, both total and polarised. The model is not yet pushed to its limits since it does not require the perfect alignment of all grains to explain the observations and it therefore has the potential to accommodate the highest polarisation levels inferred from extinction measures. Moreover, the dispersion of the optical properties of the different lab silicates naturally explain the variations in both the total and polarised emission and extinction observed in the diffuse ISM. A single, invariant model calibrated on one single set of observations is obsolete for explaining contemporary observations. We are proposing a completely flexible dust model based entirely on lab measurements that has the potential to make major advances in understanding the nature of ISM grains and how they evolve as a function of their environment. Even if challenging, this is also relevant for future missions that will aim to perform precise measurements of the CMB spectral distortions and polarisation.


title: Counting in Lattice Orbits

abstract: Given a discrete lattice, $\Gamma < \text{SL}_m(\mathbb{R})$, and a base point $o\in \mathbb{R}^m$, let $N_\Gamma(T)$ denote the number of points in the orbit $o\cdot \Gamma$ whose (Euclidean) length is bounded by a growing parameter, $T$. We demonstrate an abstract spectral method capable of obtaining strong asymptotic estimates for $N_\Gamma(T)$ without relying on the meromorphic continuation of higher rank Langlands Eisenstein series.


title: The twin blow-up method for Hamilton-Jacobi equations in higher dimension

abstract: In this paper, we show how to extend the twin blow-up method recently developped by the authors (Comptes Rendus. Math., 2024), in order to obtain a new comparison principle for an evolution coercive Hamilton-Jacobi equation posed in a domain of an Euclidian space of any dimension and supplemented with a boundary condition. The method allows dealing with the case where tangential variables and the variable corresponding to the normal gradient of the solution are strongly coupled at the boundary. We elaborate on a method introduced by P.-L. Lions and P. Souganidis (Atti Accad. Naz. Lincei, 2017). Their argument relies on a single blow-up procedure after rescaling the semi-solutions to be compared while two simultaneous blow-ups are performed in this work, one for each variable of the classical doubling variable technique. A one-sided Lipschitz estimate satisfied by a combination of the two blow-up limits plays a key role.


title: On pure subrings of sp-groups

abstract: Let $G$ be a sp-group such that for every prime $p$, $G_p$ is elementary. %$\oplus \End_{\zz}(G_p) \leq \End_{\zz}(G) \leq \prod \End_{\zz}(G_p)$. Suppose that $\frac{G}{\oplus_{p\in \mathbb{P}} G_p}$ is torsion-free divisible. %In this article we characterize pure subrings of $\prod_{p\in \mathbb{P}} \End(G_p)$. We show that $\End_{\zz}(G)$ is a sp-group and every subring $R$ of $\prod \End_{\zz}(G_p)$, containing $\oplus \End_{\zz}(G_p)$ is pure if and only if $R=\mathbb{M}_T=\{x\in \prod_{p\in \mathbb{P}}\End(G_p) \;|\; \exists k\in \nn \;\mbox{\rm{such that}} \;\; kx \in T \},$ where $T$ is a subring of $\prod_{p\in \mathbb{P}}\End(G_p)$. We observe that $\frac{\mathbb{M}_T}{\oplus_{p\in \mathbb{P}}\End(G_p)}$ is (ring) isomorphic with $T\otimes_{\zz} \qq$. Moreover, we conclude that a significant number of the examples around the topic can be easily obtained and described by choosing an appropriate subring $T$.


title: Simulating and model checking membrane systems using strategies in Maude

abstract: Membrane systems are a biologically-inspired computational model based on the structure of biological cells and the way chemicals interact and traverse their membranes. Although their dynamics are described by rules, encoding membrane systems into rewriting logic is not straightforward due to its complex control mechanisms. Multiple alternatives have been proposed in the literature and implemented in the Maude specification language. The recent release of the Maude strategy language and its associated strategy-aware model checker allow specifying these systems more easily, so that they become executable and verifiable for free. An easily-extensible interactive environment transforms membrane specifications into rewrite theories controlled by appropriate strategies, and allows simulating and verifying membrane computations by means of them.


title: Combining Machine Learning and Ontology: A Systematic Literature Review

abstract: Motivated by the desire to explore the process of combining inductive and deductive reasoning, we conducted a systematic literature review of articles that investigate the integration of machine learning and ontologies. The objective was to identify diverse techniques that incorporate both inductive reasoning (performed by machine learning) and deductive reasoning (performed by ontologies) into artificial intelligence systems. Our review, which included the analysis of 128 studies, allowed us to identify three main categories of hybridization between machine learning and ontologies: learning-enhanced ontologies, semantic data mining, and learning and reasoning systems. We provide a comprehensive examination of all these categories, emphasizing the various machine learning algorithms utilized in the studies. Furthermore, we compared our classification with similar recent work in the field of hybrid AI and neuro-symbolic approaches.


title: MaskClustering: View Consensus based Mask Graph Clustering for Open-Vocabulary 3D Instance Segmentation

abstract: Open-vocabulary 3D instance segmentation is cutting-edge for its ability to segment 3D instances without predefined categories. However, progress in 3D lags behind its 2D counterpart due to limited annotated 3D data. To address this, recent works first generate 2D open-vocabulary masks through 2D models and then merge them into 3D instances based on metrics calculated between two neighboring frames. In contrast to these local metrics, we propose a novel metric, view consensus rate, to enhance the utilization of multi-view observations. The key insight is that two 2D masks should be deemed part of the same 3D instance if a significant number of other 2D masks from different views contain both these two masks. Using this metric as edge weight, we construct a global mask graph where each mask is a node. Through iterative clustering of masks showing high view consensus, we generate a series of clusters, each representing a distinct 3D instance. Notably, our model is training-free. Through extensive experiments on publicly available datasets, including ScanNet++, ScanNet200 and MatterPort3D, we demonstrate that our method achieves state-of-the-art performance in open-vocabulary 3D instance segmentation. Our project page is at https://pku-epic.github.io/MaskClustering.


title: Sparsity-based background removal for STORM super-resolution images

abstract: Single-molecule localization microscopy techniques, like stochastic optical reconstruction microscopy (STORM), visualize biological specimens by stochastically exciting sparse blinking emitters. The raw images suffer from unwanted background fluorescence, which must be removed to achieve super-resolution. We introduce a sparsity-based background removal method by adapting a neural network (SLNet) from a different microscopy domain. The SLNet computes a low-rank representation of the images, and then, by subtracting it from the raw images, the sparse component is computed, representing the frames without the background. We compared our approach with widely used background removal methods, such as the median background removal or the rolling ball algorithm, on two commonly used STORM datasets, one glial cell, and one microtubule dataset. The SLNet delivers STORM frames with less background, leading to higher emitters' localization precision and higher-resolution reconstructed images than commonly used methods. Notably, the SLNet is lightweight and easily trainable (<5 min). Since it is trained in an unsupervised manner, no prior information is required and can be applied to any STORM dataset. We uploaded a pre-trained SLNet to the Bioimage model zoo, easily accessible through ImageJ. Our results show that our sparse decomposition method could be an essential and efficient STORM pre-processing tool.


title: Probing proton cross-shell excitations through the two-neutron removal from 38Ca

abstract: Bound states of the neutron-deficient, near-dripline nucleus $^{36}$Ca were populated in two-neutron removal from the ground state of $^{38}$Ca, a direct reaction sensitive to the single-particle configurations and couplings of the removed neutrons in the projectile wave function. Final-state exclusive cross sections for the formation of $^{36}$Ca and the corresponding longitudinal momentum distributions, both determined through the combination of particle and $\gamma$-ray spectroscopy, are compared to predictions combining eikonal reaction theory and shell-model two-nucleon amplitudes from the USDB, USDC, and ZBM2 effective interactions. The final-state cross-section ratio $\sigma(2^+_1)/\sigma(0^+)$ shows particular sensitivity and is approximately reproduced only with the two-nucleon amplitudes from the ZBM2 effective interaction that includes proton cross-shell excitations into the $pf$ shell. Characterizing the proton $pf$-shell occupancy locally and schematically, an increase of the $sd$-$pf$ shell gap by $250$ keV yields an improved description of this cross-section ratio and simultaneously enables a reproduction of the $B(E2;0^+_1\to2^+_1)$ excitation strength of $^{36}$Ca. This highlights an important aspect if a new shell-model effective interaction for the region was to be developed on the quest to model the neutron-deficient Ca isotopes and surrounding nuclei whose structure is impacted by proton cross-shell excitations.


title: Large-population limits of non-exchangeable particle systems

abstract: A particle system is said to be non-exchangeable if two particles cannot be exchanged without modifying the overall dynamics. Because of this property, the classical mean-field approach fails to provide a limit equation when the number of particles tends to infinity. In this review, we present novel approaches for the large-population limit of non-exchangeable particle systems, based on the idea of keeping track of the identities of the particles. These can be classified in two categories. The non-exchangeable mean-field limit describes the evolution of the particle density on the product space of particle positions and labels. Instead, the continuum limit allows to obtain an equation for the evolution of each particle's position as a function of its (continuous) label. We expose each of these approaches in the frameworks of static and adaptive networks.


title: Metalevel transformation of strategies

abstract: In the reflective Maude specification language, based on rewriting logic, a strategy language has been introduced to control rule rewriting while avoiding complex and verbose metalevel programs. However, just as multiple levels of reflection are required for some metaprogramming tasks, reflective manipulation and generation of strategies are convenient in multiple situations. Some examples of reflective strategy transformations are presented, which implement special forms of evaluation or extend the strategy language while preserving its advantages.


title: Constraints on cosmic-ray boosted dark matter with realistic cross section

abstract: Sub-MeV cold dark-matter particles are unable to produce electronic recoil in conventional dark-matter direct detection experiments such as XENONnT and LUX-ZEPLIN above the detector threshold. The mechanism of boosted dark matter comes into picture to constrain the parameter space of such low mass dark matter from direct detection experiments. We consider the effect of the leading components of cosmic rays to boost the cold dark matter, which results in significant improvements on the exclusion limits compared to the existing ones. To present concrete study results, we choose to work on models consisting of a dark-matter particle $\chi$ with an additional $U(1)'$ gauge symmetry including the secluded dark photon, $U(1)_{B-L}$, and $U(1)_{L_e-L_\mu}$. We find that the energy dependence of the scattering cross section plays a crucial role in improving the constraints. In addition, we systematically estimate the Earth shielding effect on boosted dark matter in losing energy while traveling to the underground detector through the Earth.


title: DeepThalamus: A novel deep learning method for automatic segmentation of brain thalamic nuclei from multimodal ultra-high resolution MRI

abstract: The implication of the thalamus in multiple neurological pathologies makes it a structure of interest for volumetric analysis. In the present work, we have designed and implemented a multimodal volumetric deep neural network for the segmentation of thalamic nuclei at ultra-high resolution (0.125 mm3). Current tools either operate at standard resolution (1 mm3) or use monomodal data. To achieve the proposed objective, first, a database of semiautomatically segmented thalamic nuclei was created using ultra-high resolution T1, T2 and White Matter nulled (WMn) images. Then, a novel Deep learning based strategy was designed to obtain the automatic segmentations and trained to improve its robustness and accuaracy using a semisupervised approach. The proposed method was compared with a related state-of-the-art method showing competitive results both in terms of segmentation quality and efficiency. To make the proposed method fully available to the scientific community, a full pipeline able to work with monomodal standard resolution T1 images is also proposed.


title: Theoretical Design of Mono-Elemental Ferroelectricity with Tunable Spin Textures in Bilayer Tellurium

abstract: 2D Ferroelectricity with switchable electric polarization has drawn widespread attention in condensed matter physics due to its crucial applications in non-volatile memory and ferroelectric spin devices. Despite recent progress in 2D ferroelectric, achieving the mono-elemental ferroelectricity still remains a great challenge because most nonmetallic mono-elemental materials are stabilized in nonpolar crystal structures. In this work, we theoretically designed mono-elemental ferroelectricity with tunable and significant spin textures in bilayer tellurium (BL-Te). Comprehensive quantitative polarization calculations demonstrate that asymmetric stacking in BL-Te can generate out-of-plane (OOP) polarization with a magnitude of 0.78 pC/m. This polarization stems from distinguishing interlayer and intra-layer contributions. Moreover, these stacked BL-Te, characterized by significant spin-orbit coupling, serve as an ideal platform for investigating both conventional spin polarization and layer-dependent/hidden spin polarization through ferroelectric reversion. Our work not only broaden the category of 2D mono-elemental ferroelectric but also offer a new platform for multifunctional nanodevices.


title: Low-light Stereo Image Enhancement and De-noising in the Low-frequency Information Enhanced Image Space

abstract: Unlike single image task, stereo image enhancement can use another view information, and its key stage is how to perform cross-view feature interaction to extract useful information from another view. However, complex noise in low-light image and its impact on subsequent feature encoding and interaction are ignored by the existing methods. In this paper, a method is proposed to perform enhancement and de-noising simultaneously. First, to reduce unwanted noise interference, a low-frequency information enhanced module (IEM) is proposed to suppress noise and produce a new image space. Additionally, a cross-channel and spatial context information mining module (CSM) is proposed to encode long-range spatial dependencies and to enhance inter-channel feature interaction. Relying on CSM, an encoder-decoder structure is constructed, incorporating cross-view and cross-scale feature interactions to perform enhancement in the new image space. Finally, the network is trained with the constraints of both spatial and frequency domain losses. Extensive experiments on both synthesized and real datasets show that our method obtains better detail recovery and noise removal compared with state-of-the-art methods. In addition, a real stereo image enhancement dataset is captured with stereo camera ZED2. The code and dataset are publicly available at: https://www.github.com/noportraits/LFENet.


title: Passive Beamforming For Practical RIS-Assisted Communication Systems With Non-Ideal Hardware

abstract: Reconfigurable intelligent surface (RIS) technology is a promising solution to improve the performance of existing wireless communications. To achieve its cost-effectiveness advantage, there inevitably exist certain hardware impairments in the system. Therefore, it is more reasonable to design passive beamforming in this scenario. Some existing research has considered such problems under transceiver impairments. However, their performance still leaves room for improvement, possibly due to their algorithms not properly handling the fractional structure of the objective function. To address this, the passive beamforming is redesigned in this correspondence paper, taking into account both transceiver impairments and the practical phase-shift model. We tackle the fractional structure of the problem by employing the quadratic transform. The remaining sub-problems are addressed utilizing the penalty-based method and the difference-of-convex programming. Since we provide closed-form solutions for all sub-problems, our algorithm is highly efficient. The simulation results demonstrate the superiority of our proposed algorithm.


title: Optimization of thermo-spin voltage in vertical nanostructures by geometrical means

abstract: The thermo-spin conversion provides new concepts for further developing the green energy-harvesting technology because spin can be controlled with minimal energy in nanostructures. Through theoretical analysis of thermo-spin generation, transportation and conversion in ferromagnet/non-ferromagnet/heavy metal (FM/NM/HM) vertical structures, we found that the output transverse thermo-spin voltage is independent of the structure's width, but varies in a linear function with the structure's length. To validate our predictions, we fabricated the thermo-spin devices with a CoFeAl/Cu/Pt structure. Our results indicate that FM/NM/HM structures can be utilized to design flexible thermo-spin conversion devices.


title: Joint Probability Selection and Power Allocation for Federated Learning

abstract: In this paper, we study the performance of federated learning over wireless networks, where devices with a limited energy budget train a machine learning model. The federated learning performance depends on the selection of the clients participating in the learning at each round. Most existing studies suggest deterministic approaches for the client selection, resulting in challenging optimization problems that are usually solved using heuristics, and therefore without guarantees on the quality of the final solution. We formulate a new probabilistic approach to jointly select clients and allocate power optimally so that the expected number of participating clients is maximized. To solve the problem, a new alternating algorithm is proposed, where at each step, the closed-form solutions for user selection probabilities and power allocations are obtained. Our numerical results show that the proposed approach achieves a significant performance in terms of energy consumption, completion time and accuracy as compared to the studied benchmarks.


title: Dynamic instability analysis for bumblebee black holes: the odd parity

abstract: Spherical black-hole (BH) solutions have been found in the bumblebee gravity where a vector field nonminimally couples to the Ricci tensor. We study dynamic (in)stability associated with the gravitational and vector perturbations of odd parity against these bumblebee BHs. Under the plane-wave approximation, we find that bumblebee BHs do not suffer ghost instability, but gradient instability and tachyonic instability exist when the bumblebee charge exceeds certain values. The existence of the instabilities also depends on the nonminimal coupling constant $\xi$ that, there is a minimal value $\xi \sim 4\pi G$ with $G$ the gravitational constant for the instabilities to happen. The theoretical consideration for bumblebee BH stability turns out to place stronger constraints on the parameter space than those from the recent observations of supermassive BH shadows by the Event Horizon Telescope Collaboration. It is also reminiscent of Penrose's cosmic censorship conjecture since the charge of bumblebee BHs cannot be too large due to the dynamic instabilities. Specifically, for $\xi(\xi-16\pi G) > 0$, we find that the charge of a bumblebee BH cannot be larger than its mass.


title: Intersective sets for sparse sets of integers

abstract: For $E \subset \mathbb{N}$, a subset $R \subset \mathbb{N}$ is $E$-intersective if for every $A \subset E$ having positive upper relative density, we have $R \cap (A - A) \neq \varnothing$. On the other hand, $R$ is chromatically $E$-intersective if for every finite partition $E=\bigcup_{i=1}^k E_i$, there exists $i$ such that $R\cap (E_i-E_i)\neq\varnothing$. When $E=\mathbb{N}$, we recover the usual notions of intersectivity and chromatic intersectivity. In this article, we investigate to which extent known intersectivity results hold in the relative setting when $E = \mathbb{P}$, the set of primes, or other sparse subsets of $\mathbb{N}$. Among other things, we prove: -There exists an intersective set that is not $\mathbb{P}$-intersective. -However, every $\mathbb{P}$-intersective set is intersective. -There exists a chromatically $\mathbb{P}$-intersective set which is not intersective (and therefore not $\mathbb{P}$-intersective). -The set of shifted Chen primes $\mathbb{P}_{\mathrm{Chen}} + 1$ is $\mathbb{P}$-intersective (and therefore intersective).


title: The conformal limit and projective structures

abstract: The non-abelian Hodge correspondence maps a polystable $\mathrm{SL}(2,\mathbb{R})$-Higgs bundle on a compact Riemann surface $X$ of genus $g\geq2$ to a connection which, in some cases, is the holonomy of a branched hyperbolic structure. On the other hand, Gaiotto's conformal limit maps the same bundle to a partial oper, i.e., to a connection whose holonomy is that of a branched complex projective structure compatible with $X$. In this article, we show how these are both instances of the same phenomenon: the family of connections appearing in the conformal limit can be understood as a family of complex projective structures, deforming the hyperbolic ones into the ones compatible with $X$. We also show that, when the Higgs bundle has zero Toledo invariant, this deformation is optimal, inducing a geodesic on Teichm\"uller's metric space.


title: On the importance of Data Scale in Pretraining Arabic Language Models

abstract: Pretraining monolingual language models have been proven to be vital for performance in Arabic Natural Language Processing (NLP) tasks. In this paper, we conduct a comprehensive study on the role of data in Arabic Pretrained Language Models (PLMs). More precisely, we reassess the performance of a suite of state-of-the-art Arabic PLMs by retraining them on massive-scale, high-quality Arabic corpora. We have significantly improved the performance of the leading Arabic encoder-only BERT-base and encoder-decoder T5-base models on the ALUE and ORCA leaderboards, thereby reporting state-of-the-art results in their respective model categories. In addition, our analysis strongly suggests that pretraining data by far is the primary contributor to performance, surpassing other factors. Our models and source code are publicly available at https://github.com/huawei-noah/Pretrained-Language-Model/tree/master/JABER-PyTorch.


title: Stable Matchings in Practice: A Constraint Programming Approach

abstract: We study a practical two-sided matching problem of allocating children to daycare centers, which has significant social implications. We are cooperating with several municipalities in Japan and our goal is to devise a reliable and trustworthy clearing algorithm to deal with the problem. In this paper, we describe the design of our new algorithm that minimizes the number of unmatched children while ensuring stability. We evaluate our algorithm using real-life data sets, and experimental results demonstrate that our algorithm surpasses the commercial software that currently dominates the market in terms of both the number of matched children and the number of blocking coalitions (measuring stability). Our findings have been reported to local governments, and some are considering adopting our proposed algorithm in the near future, instead of the existing solution. Moreover, our model and algorithm have broader applicability to other important matching markets, such as hospital-doctor matching with couples and school choice with siblings.


title: Auto-Regressive Model with Exogenous Input--ARX--based traffic-flow prediction

abstract: Traffic flow prediction is widely used in travel decision making, traffic control, roadway system planning, business sectors, and government agencies. ARX models have proved to be highly effective and versatile. In this research, we investigated the applications of ARX models in prediction for real traffic flow in New York City. The ARX models were constructed by linear/polynomial or neural networks. Comparative studies were carried out based on the results by the efficiency, accuracy, and training computational demand of the algorithms.


title: QISS: Quantum Industrial Shift Scheduling Algorithm

abstract: In this paper, we show the design and implementation of a quantum algorithm for industrial shift scheduling (QISS), which uses Grover's adaptive search to tackle a common and important class of valuable, real-world combinatorial optimization problems. We give an explicit circuit construction of the Grover's oracle, incorporating the multiple constraints present in the problem, and detail the corresponding logical-level resource requirements. Further, we simulate the application of QISS to specific small-scale problem instances to corroborate the performance of the algorithm, and we provide an open-source repository with our code, available on github.com/anneriet/QISS . Our work shows how complex real-world industrial optimization problems can be formulated in the context of Grover's algorithm, and paves the way towards important tasks such as physical-level resource estimation for this category of use cases.


title: When Large Language Model Agents Meet 6G Networks: Perception, Grounding, and Alignment

abstract: AI agents based on multimodal large language models (LLMs) are expected to revolutionize human-computer interaction and offer more personalized assistant services across various domains like healthcare, education, manufacturing, and entertainment. Deploying LLM agents in 6G networks enables users to access previously expensive AI assistant services via mobile devices democratically, thereby reducing interaction latency and better preserving user privacy. Nevertheless, the limited capacity of mobile devices constrains the effectiveness of deploying and executing local LLMs, which necessitates offloading complex tasks to global LLMs running on edge servers during long-horizon interactions. In this article, we propose a split learning system for LLM agents in 6G networks leveraging the collaboration between mobile devices and edge servers, where multiple LLMs with different roles are distributed across mobile devices and edge servers to perform user-agent interactive tasks collaboratively. In the proposed system, LLM agents are split into perception, grounding, and alignment modules, facilitating inter-module communications to meet extended user requirements on 6G network functions, including integrated sensing and communication, digital twins, and task-oriented communications. Furthermore, we introduce a novel model caching algorithm for LLMs within the proposed system to improve model utilization in context, thus reducing network costs of the collaborative mobile and edge LLM agents.


title: Electrical Conductivity of Hydrogen Plasmas: Low-density Benchmarks and Virial Expansion Including $e-e$ Collisions

abstract: An improved virial expansion for the low-density limit of the electrical conductivity $\sigma (T,n)$ of hydrogen as the simplest ionic plasma is presented. Quantum statistical methods provide exact values for the lowest virial coefficients, which serve as a benchmark for analytical approaches to electrical conductivity as well as for numerical results from density functional theory based molecular dynamics simulations (DFT-MD) or path-integral Monte Carlo (PIMC) simulations. The correction factor introduced by Reinholz {\it et al.}, Phys. Rev. E {\bf 91}, 043105 (2015) is applied to describe the inclusion of electron-electron collisions in DFT based calculations of transport coefficients. As a benchmark, the first virial coefficient is correctly described with this approach. The value of the second virial coefficient is discussed, questions about its value according to DFT-MD simulations are addressed.


title: Observational imprints of gravastars from accretion disks and hot-spots

abstract: In this work, we analyze the observational properties of thin-shell gravastars under two astrophysical frameworks, namely surrounded by optically-thin accretion disks and orbited by hot-spots. We consider the thin-shell gravastar model with two free parameters, the gravastar radius and ratio of mass allocated at the thin-shell, and produce the corresponding observables via the use of numerical backwards ray-tracing codes. Regarding the observations of accretion disks, our results indicate that, due to the absence of a strong gravitational redshift effect, smooth gravastar configurations cannot reproduce shadow observations when internal emission is assumed. We thus expect such models to be excluded as candidates for supermassive objects in galactic cores. Nevertheless, thin-shell gravastars with a large portion of their total mass allocated at the surface can produce such an effect and are thus adequate candidates for black-hole mimickers. In the context of hot-spot orbits, the astrometrical observational properties of ultra-compact gravastars resemble closely those of other ultra-compact objects e.g. fluid stars and bosonic stars. However, for low-compacticity configurations, the time-integrated fluxes feature additional contributions in the form of a high-intensity plunge through image. These qualitative differences in the observational properties of gravastars in comparison with black-hole spacetimes could potentially be discriminated by the next generation of interferometric experiments in gravitational physics.


title: Estimation of the genetic Gaussian network using GWAS summary data

abstract: Genetic Gaussian network of multiple phenotypes constructed through the genetic correlation matrix is informative for understanding their biological dependencies. However, its interpretation may be challenging because the estimated genetic correlations are biased due to estimation errors and horizontal pleiotropy inherent in GWAS summary statistics. Here we introduce a novel approach called Estimation of Genetic Graph (EGG), which eliminates the estimation error bias and horizontal pleiotropy bias with the same techniques used in multivariable Mendelian randomization. The genetic network estimated by EGG can be interpreted as representing shared common biological contributions between phenotypes, conditional on others, and even as indicating the causal contributions. We use both simulations and real data to demonstrate the superior efficacy of our novel method in comparison with the traditional network estimators. R package EGG is available on https://github.com/harryyiheyang/EGG.


title: On Hilbert-Poincar\'{e} series of affine semi-regular polynomial sequences and related Gr\"{o}bner bases

abstract: Gr\"{o}bner bases are nowadays central tools for solving various problems in commutative algebra and algebraic geometry. A typical use of Gr\"{o}bner bases is the multivariate polynomial system solving, which enables us to construct algebraic attacks against post-quantum cryptographic protocols. Therefore, the determination of the complexity of computing Gr\"{o}bner bases is very important both in theory and in practice: One of the most important cases is the case where input polynomials compose an (overdetermined) affine semi-regular sequence. The first part of this paper aims to present a survey on Gr\"{o}bner basis computation and its complexity. In the second part, we shall give an explicit formula on the (truncated) Hilbert-Poincar\'{e} series associated to the homogenization of an affine semi-regular sequence. Based on the formula, we also study (reduced) Gr\"{o}bner bases of the ideals generated by an affine semi-regular sequence and its homogenization. Some of our results are considered to give mathematically rigorous proofs of the correctness of methods for computing Gr\"{o}bner bases of the ideal generated by an affine semi-regular sequence.


title: Deep Evolutional Instant Interest Network for CTR Prediction in Trigger-Induced Recommendation

abstract: The recommendation has been playing a key role in many industries, e.g., e-commerce, streaming media, social media, etc. Recently, a new recommendation scenario, called Trigger-Induced Recommendation (TIR), where users are able to explicitly express their instant interests via trigger items, is emerging as an essential role in many e-commerce platforms, e.g., Alibaba.com and Amazon. Without explicitly modeling the user's instant interest, traditional recommendation methods usually obtain sub-optimal results in TIR. Even though there are a few methods considering the trigger and target items simultaneously to solve this problem, they still haven't taken into account temporal information of user behaviors, the dynamic change of user instant interest when the user scrolls down and the interactions between the trigger and target items. To tackle these problems, we propose a novel method -- Deep Evolutional Instant Interest Network (DEI2N), for click-through rate prediction in TIR scenarios. Specifically, we design a User Instant Interest Modeling Layer to predict the dynamic change of the intensity of instant interest when the user scrolls down. Temporal information is utilized in user behavior modeling. Moreover, an Interaction Layer is introduced to learn better interactions between the trigger and target items. We evaluate our method on several offline and real-world industrial datasets. Experimental results show that our proposed DEI2N outperforms state-of-the-art baselines. In addition, online A/B testing demonstrates the superiority over the existing baseline in real-world production environments.


title: Seeing the Unseen: Visual Common Sense for Semantic Placement

abstract: Computer vision tasks typically involve describing what is present in an image (e.g. classification, detection, segmentation, and captioning). We study a visual common sense task that requires understanding what is not present. Specifically, given an image (e.g. of a living room) and name of an object ("cushion"), a vision system is asked to predict semantically-meaningful regions (masks or bounding boxes) in the image where that object could be placed or is likely be placed by humans (e.g. on the sofa). We call this task: Semantic Placement (SP) and believe that such common-sense visual understanding is critical for assitive robots (tidying a house), and AR devices (automatically rendering an object in the user's space). Studying the invisible is hard. Datasets for image description are typically constructed by curating relevant images and asking humans to annotate the contents of the image; neither of those two steps are straightforward for objects not present in the image. We overcome this challenge by operating in the opposite direction: we start with an image of an object in context from web, and then remove that object from the image via inpainting. This automated pipeline converts unstructured web data into a dataset comprising pairs of images with/without the object. Using this, we collect a novel dataset, with ${\sim}1.3$M images across $9$ object categories, and train a SP prediction model called CLIP-UNet. CLIP-UNet outperforms existing VLMs and baselines that combine semantic priors with object detectors on real-world and simulated images. In our user studies, we find that the SP masks predicted by CLIP-UNet are favored $43.7\%$ and $31.3\%$ times when comparing against the $4$ SP baselines on real and simulated images. In addition, we demonstrate leveraging SP mask predictions from CLIP-UNet enables downstream applications like building tidying robots in indoor environments.


title: Pisot Substitution Conjecture and Rauzy Fractals

abstract: We provide a proof for one version of Pisot conjecture. We make use of the weak mixing property of the subshift of finite type derived from the prefix-suffix automaton to conclude that the substitution dynamical system has pure discrete spectrum.


title: Chiral magnetic waves in strongly coupled Weyl semimetals

abstract: Propagating chiral magnetic waves (CMW) are expected to exist in chiral plasmas due to the interplay between the chiral magnetic and chiral separation effects induced by the presence of a chiral anomaly. Unfortunately, it was pointed out that, because of the effects of electric conductivity and dissipation, CMW are overdamped and therefore their signatures are unlikely to be seen in heavy-ion collision experiments and in the quark gluon plasma. Nonetheless, the chiral anomaly plays a fundamental role in Weyl semimetals and their anomalous transport properties as well. Hence, CMW could be potentially observed in topological semimetals using table-top experiments. By using a holographic model for strongly coupled Weyl semimetals, we investigate in detail the nature of CMW in presence of Coulomb interactions and axial charge relaxation and estimate whether, and in which regimes, CMW could be observed as underdamped collective excitations in topological materials.


title: Towards Uncovering Dark Matter Effects on Neutron Star Properties: A Machine Learning Approach

abstract: In recent years, researchers have become increasingly interested in understanding how dark matter affects neutron stars, helping them to better understand complex astrophysical phenomena. In this paper, we delve deeper into this problem by using advanced machine learning techniques to find potential connections between dark matter and various neutron star characteristics. We employ Random Forest classifiers to analyze neutron star (NS) properties and investigate whether these stars exhibit characteristics indicative of dark matter admixture. Our dataset includes 32,000 sequences of simulated NS properties, each described by mass, radius, and tidal deformability, inferred using recent observations and theoretical models. We explore a two-fluid model for the NS, incorporating separate equations of state for nucleonic and dark matter, with the latter considering a fermionic dark matter scenario. Our classifiers are trained and validated in a variety of feature sets, including the tidal deformability for various masses. Based on confusion matrices, these classifiers can identify NS with admixed dark matter with approximately 17% probability of misclassification. In particular, we find that additional tidal deformability data do not significantly improve the precision of our predictions. This article also delves into the potential of specific NS properties as indicators of the presence of dark matter. Radius measurements, especially at extreme mass values, emerge as particularly promising features. The insights gained from our study will guide future observational strategies and enhance dark matter detection capabilities. According to this study, neutron stars at 1.4 and 2.07 solar masses have radii that strongly suggest dark matter in neutron stars more likely than just hadronic composition, based on NICER data from pulsars PSR J0030+0451 and PSR J0740+6620.


title: Predominant Aspects on Security for Quantum Machine Learning: Literature Review

abstract: Quantum Machine Learning (QML) has emerged as a promising intersection of quantum computing and classical machine learning, anticipated to drive breakthroughs in computational tasks. This paper discusses the question which security concerns and strengths are connected to QML by means of a systematic literature review. We categorize and review the security of QML models, their vulnerabilities inherent to quantum architectures, and the mitigation strategies proposed. The survey reveals that while QML possesses unique strengths, it also introduces novel attack vectors not seen in classical systems. We point out specific risks, such as cross-talk in superconducting systems and forced repeated shuttle operations in ion-trap systems, which threaten QML's reliability. However, approaches like adversarial training, quantum noise exploitation, and quantum differential privacy have shown potential in enhancing QML robustness. Our review discuss the need for continued and rigorous research to ensure the secure deployment of QML in real-world applications. This work serves as a foundational reference for researchers and practitioners aiming to navigate the security aspects of QML.


title: The non-$p$-part of the fine Selmer group in a $\mathbf{Z}_p$-extension

abstract: Fix two distinct primes $p$ and $\ell$. Let $A$ be an abelian variety over $\mathbf{Q}(\zeta_{\ell})$, the cyclotomic field of $\ell$-th roots of unity. Suppose that $A(\mathbf{Q}(\zeta_{\ell}))[\ell] \neq 0$. We show that there exists a number field $L$ and a $\mathbf{Z}_p$ extension $L_{\infty}/L$ where the $\ell$-primary fine Selmer group of $A$ grows arbitrarily quickly. This is a fine Selmer group analogue of a theorem of Washington which says that there are certain (non-cyclotomic) $\mathbf{Z}_p$-extensions where the $\ell$-part of the class group can grow arbitrarily quickly. We also prove this for a wide class of non-commutative $p$-adic Lie extensions. Finally, we include several examples to illustrate this theorem.


title: Computing the clique number of tournaments

abstract: The clique number of a tournament is the maximum clique number of a graph formed by keeping backwards arcs in an ordering of its vertices. We study the time complexity of computing the clique number of a tournament and prove that, for any integer $k \geq 3$, deciding whether a tournament has clique number at most $k$ is NP-complete. This answers an interrogation of Nguyen, Scott and Seymour. To do so, we make use of a construction which we then modify to provide a counterexample to a conjecture of Aboulker, Aubian, Charbit and Lopes.


title: Quantum Transfer Learning for Acceptability Judgements

abstract: Hybrid quantum-classical classifiers promise to positively impact critical aspects of natural language processing tasks, particularly classification-related ones. Among the possibilities currently investigated, quantum transfer learning, i.e., using a quantum circuit for fine-tuning pre-trained classical models for a specific task, is attracting significant attention as a potential platform for proving quantum advantage. This work shows potential advantages, both in terms of performance and expressiveness, of quantum transfer learning algorithms trained on embedding vectors extracted from a large language model to perform classification on a classical Linguistics task: acceptability judgments. Acceptability judgment is the ability to determine whether a sentence is considered natural and well-formed by a native speaker. The approach has been tested on sentences extracted from ItaCoLa, a corpus that collects Italian sentences labeled with their acceptability judgment. The evaluation phase shows results for the quantum transfer learning pipeline comparable to state-of-the-art classical transfer learning algorithms, proving current quantum computers' capabilities to tackle NLP tasks for ready-to-use applications. Furthermore, a qualitative linguistic analysis, aided by explainable AI methods, reveals the capabilities of quantum transfer learning algorithms to correctly classify complex and more structured sentences, compared to their classical counterpart. This finding sets the ground for a quantifiable quantum advantage in NLP in the near future.


title: Energy-level inversion for vortex states in spin-orbit coupled Bose-Einstein condensates

abstract: We investigate vortex states in Bose-Einstein condensates under the combined action of the spin-orbit coupling (SOC), gradient magnetic field, and harmonic-oscillator trapping potential. The linear version of the system is solved exactly. Through the linear-spectrum analysis, we find that, varying the SOC strength and magnetic-field gradient, one can perform energy-level inversion. With suitable parameters, initial higher-order vortex states can be made the ground state (GS). The nonlinear system is solved numerically, revealing that the results are consistent with the linear predictions in the case of repulsive inter-component interactions. On the other hand, inter-component attraction creates the GS in the form of mixed-mode states in a vicinity of the GS phase-transition points. The spin texture of both vortex- and mixed-mode GSs reveals that they feature the structure of 2D (baby) skyrmions.


title: Melody and Variation Generation Through KAM Theory

abstract: We use the Newton iteration of KAM theory for diffeomorphisms of the circle as a source for melody generation and its variations


title: Learning Soft Constrained MPC Value Functions: Efficient MPC Design and Implementation providing Stability and Safety Guarantees

abstract: Model Predictive Control (MPC) can be applied to safety-critical control problems, providing closed-loop safety and performance guarantees. Implementation of MPC controllers requires solving an optimization problem at every sampling instant, which is challenging to execute on embedded hardware. To address this challenge, we propose a framework that combines a tightened soft constrained MPC formulation with supervised learning to approximate the MPC value function. This combination enables us to obtain a corresponding optimal control law, which can be implemented efficiently on embedded platforms. The framework ensures stability and constraint satisfaction for various nonlinear systems. While the design effort is similar to that of nominal MPC, the proposed formulation provides input-to-state stability (ISS) with respect to the approximation error of the value function. Furthermore, we prove that the value function corresponding to the soft constrained MPC problem is Lipschitz continuous for Lipschitz continuous systems, even if the optimal control law may be discontinuous. This serves two purposes: First, it allows to relate approximation errors to a sufficiently large constraint tightening to obtain constraint satisfaction guarantees. Second, it paves the way for an efficient supervised learning procedure to obtain a continuous value function approximation. We demonstrate the effectiveness of the method using a nonlinear numerical example.


title: Towards A Better Metric for Text-to-Video Generation

abstract: Generative models have demonstrated remarkable capability in synthesizing high-quality text, images, and videos. For video generation, contemporary text-to-video models exhibit impressive capabilities, crafting visually stunning videos. Nonetheless, evaluating such videos poses significant challenges. Current research predominantly employs automated metrics such as FVD, IS, and CLIP Score. However, these metrics provide an incomplete analysis, particularly in the temporal assessment of video content, thus rendering them unreliable indicators of true video quality. Furthermore, while user studies have the potential to reflect human perception accurately, they are hampered by their time-intensive and laborious nature, with outcomes that are often tainted by subjective bias. In this paper, we investigate the limitations inherent in existing metrics and introduce a novel evaluation pipeline, the Text-to-Video Score (T2VScore). This metric integrates two pivotal criteria: (1) Text-Video Alignment, which scrutinizes the fidelity of the video in representing the given text description, and (2) Video Quality, which evaluates the video's overall production caliber with a mixture of experts. Moreover, to evaluate the proposed metrics and facilitate future improvements on them, we present the TVGE dataset, collecting human judgements of 2,543 text-to-video generated videos on the two criteria. Experiments on the TVGE dataset demonstrate the superiority of the proposed T2VScore on offering a better metric for text-to-video generation.


title: Exploring Masked Autoencoders for Sensor-Agnostic Image Retrieval in Remote Sensing

abstract: Self-supervised learning through masked autoencoders (MAEs) has recently attracted great attention for remote sensing (RS) image representation learning, and thus embodies a significant potential for content-based image retrieval (CBIR) from ever-growing RS image archives. However, the existing studies on MAEs in RS assume that the considered RS images are acquired by a single image sensor, and thus are only suitable for uni-modal CBIR problems. The effectiveness of MAEs for cross-sensor CBIR, which aims to search semantically similar images across different image modalities, has not been explored yet. In this paper, we take the first step to explore the effectiveness of MAEs for sensor-agnostic CBIR in RS. To this end, we present a systematic overview on the possible adaptations of the vanilla MAE to exploit masked image modeling on multi-sensor RS image archives (denoted as cross-sensor masked autoencoders [CSMAEs]). Based on different adjustments applied to the vanilla MAE, we introduce different CSMAE models. We also provide an extensive experimental analysis of these CSMAE models. We finally derive a guideline to exploit masked image modeling for uni-modal and cross-modal CBIR problems in RS. The code of this work is publicly available at https://github.com/jakhac/CSMAE.


title: Cybersecurity and Embodiment Integrity for Modern Robots: A Conceptual Framework

abstract: Modern robots are stepping away from monolithic entities built using ad-hoc sensors and actuators, due to new technologies and communication paradigms, such as the Internet of Things (IoT) and the Robotic Operating System (ROS). Using such paradigms, robots can be built by acquiring heterogeneous standard devices and putting them in communication with each other. This approach brings high degrees of modularity, but it also yields uncertainty of providing cybersecurity assurances, and guarantees on the integrity of the embodiment. In this paper, we first illustrate how cyberattacks on different devices can have radically different consequences on the robot's ability to complete its tasks and preserve its embodiment. We also claim that modern robots should have self-awareness for what it concerns such aspects, and formulate the different characteristics that robots should integrate for doing so. Then, we show that achieving these propositions requires that robots possess at least three properties that conceptually link devices and tasks. Last, we reflect on how these three properties could be achieved in a larger conceptual framework.


title: Certifiable Mutual Localization and Trajectory Planning for Bearing-Based Robot Swarm

abstract: Bearing measurements,as the most common modality in nature, have recently gained traction in multi-robot systems to enhance mutual localization and swarm collaboration. Despite their advantages, challenges such as sensory noise, obstacle occlusion, and uncoordinated swarm motion persist in real-world scenarios, potentially leading to erroneous state estimation and undermining the system's flexibility, practicality, and robustness.In response to these challenges, in this paper we address theoretical and practical problem related to both mutual localization and swarm planning.Firstly, we propose a certifiable mutual localization algorithm.It features a concise problem formulation coupled with lossless convex relaxation, enabling independence from initial values and globally optimal relative pose recovery.Then, to explore how detection noise and swarm motion influence estimation optimality, we conduct a comprehensive analysis on the interplay between robots' mutual spatial relationship and mutual localization. We develop a differentiable metric correlated with swarm trajectories to explicitly evaluate the noise resistance of optimal estimation.By establishing a finite and pre-computable threshold for this metric and accordingly generating swarm trajectories, the estimation optimality can be strictly guaranteed under arbitrary noise. Based on these findings, an optimization-based swarm planner is proposed to generate safe and smooth trajectories, with consideration of both inter-robot visibility and estimation optimality.Through numerical simulations, we evaluate the optimality and certifiablity of our estimator, and underscore the significance of our planner in enhancing estimation performance.The results exhibit considerable potential of our methods to pave the way for advanced closed-loop intelligence in swarm systems.


title: Maximal amenability of the radial subalgebra in free quantum group factors

abstract: We show that the radial MASA in the orthogonal free quantum group algebra L(FO_N) is maximal amenable if N is large enough, using the Asymptotic Orthogonality Property. This relies on a detailed study of the corresponding bimodule, for which we construct in particular a quantum analogue of R\u{a}dulescu's basis. As a byproduct we also obtain the value of the Puk\'anszky invariant for this MASA.


title: Oscillating shocks in the transonic, viscous, variable $\Gamma$, accretion flows around black holes

abstract: We investigate the time evolution of the transonic-viscous accretion flow around a non-rotating black hole. The input parameters used for the simulation are obtained from semi-analytical solutions. This code is based on the TVD routine and correctly handles the angular momentum transport due to viscosity. The thermodynamic properties of the flow are described by a variable adiabatic index equation of state. We regenerate the inviscid and viscous steady-state solutions, including shocks, using the simulation code and compare them with the semi-analytical solutions. The angular momentum piles up across a shock due to shock-jump conditions and viscous transport of angular momentum. This will push the shock-front outward and can result in shock oscillation or a complete destabilization of shock. We study how shocks behave in the presence of viscosity. As the viscosity parameter ($\alpha$) crosses a critical value, the previously steady shock becomes time-dependent, eventually leading to oscillations. The value of this critical viscosity depends on the injection angular momentum ($\\lambda_{ou}$) and the specific energy ($\epsilon$). We estimated the posteriori bremsstrahlung and synchrotron cooling, and the net radiative output also oscillates with the frequency of the shock. We also study the variation of frequency, amplitude, and mean position of oscillation with $\alpha$. Considering a black hole with a mass of $10M_{\odot}$, we observed that the power spectrum exhibits a prominent peak at the fundamental frequency of a few to about tens of Hz, accompanied by multiple harmonics. This characteristic is frequently observed in numerous accreting black hole candidates.


title: Improving OCR Quality in 19th Century Historical Documents Using a Combined Machine Learning Based Approach

abstract: This paper addresses a major challenge to historical research on the 19th century. Large quantities of sources have become digitally available for the first time, while extraction techniques are lagging behind. Therefore, we researched machine learning (ML) models to recognise and extract complex data structures in a high-value historical primary source, the Schematismus. It records every single person in the Habsburg civil service above a certain hierarchical level between 1702 and 1918 and documents the genesis of the central administration over two centuries. Its complex and intricate structure as well as its enormous size have so far made any more comprehensive analysis of the administrative and social structure of the later Habsburg Empire on the basis of this source impossible. We pursued two central objectives: Primarily, the improvement of the OCR quality, for which we considered an improved structure recognition to be essential; in the further course, it turned out that this also made the extraction of the data structure possible. We chose Faster R-CNN as base for the ML architecture for structure recognition. In order to obtain the required amount of training data quickly and economically, we synthesised Hof- und Staatsschematismus-style data, which we used to train our model. The model was then fine-tuned with a smaller set of manually annotated historical source data. We then used Tesseract-OCR, which was further optimised for the style of our documents, to complete the combined structure extraction and OCR process. Results show a significant decrease in the two standard parameters of OCR-performance, WER and CER (where lower values are better). Combined structure detection and fine-tuned OCR improved CER and WER values by remarkable 71.98 percent (CER) respectively 52.49 percent (WER).


title: Activations and Gradients Compression for Model-Parallel Training

abstract: Large neural networks require enormous computational clusters of machines. Model-parallel training, when the model architecture is partitioned sequentially between workers, is a popular approach for training modern models. Information compression can be applied to decrease workers communication time, as it is often a bottleneck in such systems. This work explores how simultaneous compression of activations and gradients in model-parallel distributed training setup affects convergence. We analyze compression methods such as quantization and TopK compression, and also experiment with error compensation techniques. Moreover, we employ TopK with AQ-SGD per-batch error feedback approach. We conduct experiments on image classification and language model fine-tuning tasks. Our findings demonstrate that gradients require milder compression rates than activations. We observe that $K=10\%$ is the lowest TopK compression level, which does not harm model convergence severely. Experiments also show that models trained with TopK perform well only when compression is also applied during inference. We find that error feedback techniques do not improve model-parallel training compared to plain compression, but allow model inference without compression with almost no quality drop. Finally, when applied with the AQ-SGD approach, TopK stronger than with $ K=30\%$ worsens model performance significantly.


title: Radial Oscillations of Hybrid Stars and Neutron Stars including Delta baryons: The Effect of a Slow Quark Phase Transition

abstract: We study radial oscillations of hybrid neutron stars composed of hadronic external layers followed by a quark matter core. We employ a density-dependent relativistic mean-field model including hyperons and ${\Delta}$ baryons to describe hadronic matter, and a density-dependent quark model for quark matter. We obtain the ten lowest eigenfrequencies and the corresponding oscillation functions of N, N+${\Delta}$, N+H, and N+H+${\Delta}$ equations-of-state with a phase transition to the quark matter at 1.4 and 1.8 ${M_{\odot}}$, focusing on the effects of a slow phase transition at the hadron-quark interface. We observe that the maximum mass is reached before the fundamental mode's frequency vanishes for slow phase transitions, suggesting that some stellar configurations with higher central densities than the maximum mass remain stable even when they undergo small radial perturbations. Future gravitational wave detectors and multi-messenger astronomy, complemented by robust microscopic models enabling exploration of various neutron star compositions, including hyperon content, are anticipated to impose precise limitations on the equation of state of baryonic matter under high-density conditions.


title: Universal scaling and the asymptotic behaviour of Fourier coefficients of the baryon-number density in QCD

abstract: We discuss the scaling of the Yang-Lee singularity (YLs) and show how the universal scaling can be used to locate phase transitions in QCD. We describe two complementary methods to extract the location of the Yang-Lee singularity from lattice QCD data of the baryon-number density and higher order cumulants of the baryon number, obtained at imaginary chemical potential. The first method (multi-point Pad\'e resummation) is used to determine the Roberge-Weiss phase transition temperature. Our continuum extrapolated result is $T_{RW}=211.1\pm3.1$ MeV. The second method is based on the asymptotic behaviour of the Fourier coefficients of the baryon-number density. We discuss the derivation of a fitting function and demonstrate that the procedure can successfully locate the YLs in the Quark Meson model.


title: Near-Far Field Channel Modeling for Holographic MIMO Using Expectation-Maximization Methods

abstract: Holographic Multiple-Input Multiple-Output (HMIMO), which densely integrates numerous antennas into a limited space, is anticipated to provide higher rates for future 6G wireless communications. The increase in antenna aperture size makes the near-field region enlarge, causing some users to be located in the near-field region. Thus, we are facing a hybrid near-field and far-field communication problem, where conventional far-field modeling methods may not work well. In this paper, we propose a near-far field channel model that does not presuppose whether each path is near-field or far-field, different from the existing work requiring the ratio of the number of near-field paths to that of far-field paths as prior knowledge. However, this gives rise to a new challenge for accurately modeling the channel, as conventional methods of obtaining channel model parameters are not applicable to this model. Therefore, we propose a new method, Expectation-Maximization (EM)-based Near-Far Field Channel Modeling, to obtain channel model parameters, which considers whether each path is near-field or far-field as a hidden variable, and optimizes the hidden variables and channel model parameters through an alternating iteration method. Simulation results show that our method is superior to conventional near-field and far-field algorithms in fitting the near-far field channel in terms of outage probability.


title: On a conjecture of Mazur predicting the growth of Mordell--Weil ranks in $\mathbb{Z}_p$-extensions

abstract: Let $p$ be an odd prime. We study Mazur's conjecture on the growth of the Mordell--Weil ranks of an elliptic curve $E/\mathbb{Q}$ over $\mathbb{Z}_p$-extensions of an imaginary quadratic field, where $p$ is a prime of good reduction for $E$. In particular, we obtain criteria that may be checked through explicit calculation, thus allowing for the verification of Mazur's conjecture in specific examples.


title: Flexibly Scaling Large Language Models Contexts Through Extensible Tokenization

abstract: Large language models (LLMs) are in need of sufficient contexts to handle many critical applications, such as retrieval augmented generation and few-shot learning. However, due to the constrained window size, the LLMs can only access to the information within a limited context. Although the size of context window can be extended by fine-tuning, it will result in a substantial cost in both training and inference stage. In this paper, we present Extensible Tokenization as an alternative method which realizes the flexible scaling of LLMs' context. Extensible Tokenization stands as a midware in between of the tokenized context and the LLM, which transforms the raw token embeddings into the extensible embeddings. Such embeddings provide a more compact representation for the long context, on top of which the LLM is able to perceive more information with the same context window. Extensible Tokenization is also featured by its flexibility: the scaling factor can be flexibly determined within a feasible scope, leading to the extension of an arbitrary context length at the inference time. Besides, Extensible Tokenization is introduced as a drop-in component, which can be seamlessly plugged into not only the LLM itself and but also its fine-tuned derivatives, bringing in the extended contextual information while fully preserving the LLM's existing capabilities. We perform comprehensive experiments on long-context language modeling and understanding tasks, which verify Extensible Tokenization as an effective, efficient, flexible, and compatible method to extend LLM's context. Our model and source code will be made publicly available.