title: On-ground calibration of the X-ray, gamma-ray, and relativistic electron detector onboard TARANIS

abstract: We developed the X-ray, Gamma-ray and Relativistic Electron detector (XGRE) onboard the TARANIS satellite, to investigate high-energy phenomena associated with lightning discharges such as terrestrial gamma-ray flashes and terrestrial electron beams. XGRE consisted of three sensors. Each sensor has one layer of LaBr$_{3}$ crystals for X-ray/gamma-ray detections, and two layers of plastic scintillators for electron and charged-particle discrimination. Since 2018, the flight model of XGRE was developed, and validation and calibration tests, such as a thermal cycle test and a calibration test with the sensors onboard the satellite were performed before the launch of TARANIS on 17 November 2020. The energy range of the LaBr$_{3}$ crystals sensitive to X-rays and gamma rays was determined to be 0.04-11.6 MeV, 0.08-11.0 MeV, and 0.08-11.3 MeV for XGRE1, 2, and 3, respectively. The energy resolution at 0.662 MeV (full width at half maximum) was to be 20.5%, 25.9%, and 28.6%, respectively. Results from the calibration test were then used to validate a simulation model of XGRE and TARANIS. By performing Monte Carlo simulations with the verified model, we calculated effective areas of XGRE to X-rays, gamma rays, electrons, and detector responses to incident photons and electrons coming from various elevation and azimuth angles.


title: Enhancing Data Integrity and Traceability in Industry Cyber Physical Systems (ICPS) through Blockchain Technology: A Comprehensive Approach

abstract: Blockchain technology, heralded as a transformative innovation, has far-reaching implications beyond its initial application in cryptocurrencies. This study explores the potential of blockchain in enhancing data integrity and traceability within Industry Cyber-Physical Systems (ICPS), a crucial aspect in the era of Industry 4.0. ICPS, integrating computational and physical components, is pivotal in managing critical infrastructure like manufacturing, power grids, and transportation networks. However, they face challenges in security, privacy, and reliability. With its inherent immutability, transparency, and distributed consensus, blockchain presents a groundbreaking approach to address these challenges. It ensures robust data reliability and traceability across ICPS, enhancing transaction transparency and facilitating secure data sharing. This research unearths various blockchain applications in ICPS, including supply chain management, quality control, contract management, and data sharing. Each application demonstrates blockchain's capacity to streamline processes, reduce fraud, and enhance system efficiency. In supply chain management, blockchain provides real-time auditing and compliance. For quality control, it establishes tamper-proof records, boosting consumer confidence. In contract management, smart contracts automate execution, enhancing efficiency. Blockchain also fosters secure collaboration in ICPS, which is crucial for system stability and safety. This study emphasizes the need for further research on blockchain's practical implementation in ICPS, focusing on challenges like scalability, system integration, and security vulnerabilities. It also suggests examining blockchain's economic and organizational impacts in ICPS to understand its feasibility and long-term advantages.


title: Amplitude analysis of $ B^0 \to K^0_S K^+ K^-$ decays in a quasi-two-body QCD factorization approach

abstract: The $B^0 \to K^0_S K^+ K^- $ decay amplitude is derived within a quasi-two-body QCD factorization framework in terms of kaon form factors and $B^0$ to two-kaon-transition functions. The final state kaon-kaon interactions in the $S$, $P$, and $D$ waves are taken into account. The unitarity constraints are satisfied for the two kaons in scalar states. It is shown that with few terms of the full decay amplitude one may reach a fair agreement with the total branching fraction and Dalitz-plot projections published in 2010 by the Belle Collaboration and in 2012 by the $\textit{BABAR}$ Collaboration. With 13 free parameters, our model fits the corresponding 422 data with a $\chi^2$ of 583.6 which leads to a $\chi^2$ per degree of freedom equal to 1.43. The dominant branching fraction arises from the $f_0(K^+K^-) K^0_S$ mode with 83.0$\%$ of the total branching. The next important mode is dominated by $\phi K^0_S$ plus small $\omega K^0_S$ and $\rho^0 K^0_S$ modes with 18.3$\%$ of the total. Then follows the $a_0^\pm K^\mp$ mode with 6.2$\%$. Adding the other smaller modes, the total percentage sum is 107.7$\%$ which indicates a small interference contribution. In most regions of the Dalitz plot, our model gives rather small $CP$ asymmetry, but in some parts its values can be large and positive or negative. Its predicted total value is equal to -0.11$\%$. The calculated time dependent $\textit{CP}$-asymmetry parameters agree, within errors, with those obtained by the $\textit{BABAR}$ analysis. Our model amplitude can be the basis for a parametrization in experimental Dalitz plot analyses of LHCb and Belle II Collaborations.


title: Synthesis and stability of biomolecules under Earth's upper mantle conditions

abstract: How life started on Earth is a long-time unsolved mystery. There are various hypotheses ranging from outer space to seabed. Here, we applied extensive ab initio molecular dynamics (AIMD) simulations to study chemical reactions of NH3, H2O, H2, and CO at pressures (P) and temperatures (T) approximating the conditions of Earth's upper mantle (i.e. 10 - 13 GPa, 1000 -1400 K). Contrary to the previous assumption that larger organic molecules might readily dissociate in aqueous solutions at extreme P-T conditions, we found that many organic compounds formed and persisted in C-H-O-N fluids under these extreme conditions, including glycine, ribose, and uracil-like molecules. Particularly, our free energy calculations showed that the C-N bond is thermodynamically stable at 10 GPa and 1400 K. Moreover, our findings support the "RNA world" hypothesis, as we observed the exclusive formation of the 5-membered-ring form of ribose. By exploring the depths of Earth's interior, we have uncovered a previously unexplored pathway through which life may have originated. These findings have contributed to our evolving understanding of the fundamental conditions necessary for life to arise on our planet.

categories: physics.bio-ph astro-ph.EP physics.geo-ph q-bio.BM


title: Federated Adaptation for Foundation Model-based Recommendations

abstract: With the recent success of large language models, particularly foundation models with generalization abilities, applying foundation models for recommendations becomes a new paradigm to improve existing recommendation systems. It becomes a new open challenge to enable the foundation model to capture user preference changes in a timely manner with reasonable communication and computation costs while preserving privacy. This paper proposes a novel federated adaptation mechanism to enhance the foundation model-based recommendation system in a privacy-preserving manner. Specifically, each client will learn a lightweight personalized adapter using its private data. The adapter then collaborates with pre-trained foundation models to provide recommendation service efficiently with fine-grained manners. Importantly, users' private behavioral data remains secure as it is not shared with the server. This data localization-based privacy preservation is embodied via the federated learning framework. The model can ensure that shared knowledge is incorporated into all adapters while simultaneously preserving each user's personal preferences. Experimental results on four benchmark datasets demonstrate our method's superior performance. Implementation code is available to ease reproducibility.


title: xMTrans: Temporal Attentive Cross-Modality Fusion Transformer for Long-Term Traffic Prediction

abstract: Traffic predictions play a crucial role in intelligent transportation systems. The rapid development of IoT devices allows us to collect different kinds of data with high correlations to traffic predictions, fostering the development of efficient multi-modal traffic prediction models. Until now, there are few studies focusing on utilizing advantages of multi-modal data for traffic predictions. In this paper, we introduce a novel temporal attentive cross-modality transformer model for long-term traffic predictions, namely xMTrans, with capability of exploring the temporal correlations between the data of two modalities: one target modality (for prediction, e.g., traffic congestion) and one support modality (e.g., people flow). We conducted extensive experiments to evaluate our proposed model on traffic congestion and taxi demand predictions using real-world datasets. The results showed the superiority of xMTrans against recent state-of-the-art methods on long-term traffic predictions. In addition, we also conducted a comprehensive ablation study to further analyze the effectiveness of each module in xMTrans.


title: Effective alpha theory certification using interval arithmetic: alpha theory over regions

abstract: We reexamine Smale's alpha theory as a way to certify a numerical solution to an analytic system. For a given point and a system, Smale's alpha theory determines whether Newton's method applied to this point shows the quadratic convergence to an exact solution. We introduce the alpha theory computation using interval arithmetic to avoid costly exact arithmetic. As a straightforward variation of the alpha theory, our work improves computational efficiency compared to software employing the traditional alpha theory.


title: Tilings of Flat Tori by Congruent Hexagons

abstract: Convex hexagons that can tile the plane have been classified into three types. For the generic cases (not necessarily convex) of the three types and two other special cases, we classify tilings of the plane under the assumption that all vertices have degree $3$. Then we use the classification to describe the corresponding hexagonal tilings of flat tori and their moduli spaces.


title: Full Stage Learning to Rank: A Unified Framework for Multi-Stage Systems

abstract: The Probability Ranking Principle (PRP) has been considered as the foundational standard in the design of information retrieval (IR) systems. The principle requires an IR module's returned list of results to be ranked with respect to the underlying user interests, so as to maximize the results' utility. Nevertheless, we point out that it is inappropriate to indiscriminately apply PRP through every stage of a contemporary IR system. Such systems contain multiple stages (e.g., retrieval, pre-ranking, ranking, and re-ranking stages, as examined in this paper). The \emph{selection bias} inherent in the model of each stage significantly influences the results that are ultimately presented to users. To address this issue, we propose an improved ranking principle for multi-stage systems, namely the Generalized Probability Ranking Principle (GPRP), to emphasize both the selection bias in each stage of the system pipeline as well as the underlying interest of users. We realize GPRP via a unified algorithmic framework named Full Stage Learning to Rank. Our core idea is to first estimate the selection bias in the subsequent stages and then learn a ranking model that best complies with the downstream modules' selection bias so as to deliver its top ranked results to the final ranked list in the system's output. We performed extensive experiment evaluations of our developed Full Stage Learning to Rank solution, using both simulations and online A/B tests in one of the leading short-video recommendation platforms. The algorithm is proved to be effective in both retrieval and ranking stages. Since deployed, the algorithm has brought consistent and significant performance gain to the platform.


title: Weighted Particle-Based Optimization for Efficient Generalized Posterior Calibration

abstract: In the realm of statistical learning, the increasing volume of accessible data and increasing model complexity necessitate robust methodologies. This paper explores two branches of robust Bayesian methods in response to this trend. The first is generalized Bayesian inference, which introduces a learning rate parameter to enhance robustness against model misspecifications. The second is Gibbs posterior inference, which formulates inferential problems using generic loss functions rather than probabilistic models. In such approaches, it is necessary to calibrate the spread of the posterior distribution by selecting a learning rate parameter. The study aims to enhance the generalized posterior calibration (GPC) algorithm proposed by [1]. Their algorithm chooses the learning rate to achieve the nominal frequentist coverage probability, but it is computationally intensive because it requires repeated posterior simulations for bootstrap samples. We propose a more efficient version of the GPC inspired by sequential Monte Carlo (SMC) samplers. A target distribution with a different learning rate is evaluated without posterior simulation as in the reweighting step in SMC sampling. Thus, the proposed algorithm can reach the desirable value within a few iterations. This improvement substantially reduces the computational cost of the GPC. Its efficacy is demonstrated through synthetic and real data applications.


title: Expansion and torsion homology of 3-manifolds

abstract: A Riemannian manifold is a called a good rational expander in dimension $i$ if every $i$-cycle bounds a rational $i+1$-chain of comparatively small volume. We construct 3-manifolds which are good expanders in all dimensions. On the other hand, we show that expanders must be topologically complicated: they must have lots of torsion homology. We also give some applications to topological overlap problems, constructing examples of 3-manifolds with large width over $\mathbb R^2$.


title: Sorting multibay block stacking storage systems

abstract: Autonomous mobile robots (AMRs) are increasingly used to automate operations in intralogistics. One crucial feature of AMRs is their availability, allowing them to operate 24/7. This work addresses the multibay unit load pre-marshalling problem, which extends pre-marshalling from a single bay to larger warehouse configurations with multiple bays. Pre-marshalling leverages off-peak time intervals to sort a block stacking warehouse in anticipation of future orders. These larger warehouse configurations require not only the minimization of the number of moves but also the consideration of distance or time when making sorting decisions. Our proposed solution for the multibay unit load pre-marshalling problem is based on our two-step approach that first determines the access direction for each stack and then finds a sequence of moves to sort the warehouse. In addition to adapting the existing approach that integrates a network flow model and an extended A* algorithm, we additionally present an exact constraint programming approach for the second stage of the problem-solving process. The results demonstrate that the presented solution approach effectively enhances the access time of unit loads and reduces the sorting effort for block stacking warehouses with multiple bays.


title: Convergence of Random Products of Countably Infinitely Many Projections

abstract: Let $r \in \mathbb{N}\cup\{\infty\}$ be a fixed number and let $P_j\,\, (1 \leq j\leq r )$ be the projection onto the closed subspace $\mathcal{M}_j$ of $\mathscr{H}$. We are interested in studying the sequence $P_{i_1}, P_{i_2}, \ldots \in\{P_1, \ldots, P_r\}$. A significant problem is to demonstrate conditions under which the sequence $\{P_{i_n}\cdots P_{i_2}P_{i_1}x\}_{n=1}^\infty$ converges strongly or weakly to $Px$ for any $x\in\mathscr{H}$, where $P$ is the projection onto the intersection $\mathcal{M}=\mathcal{M}_1\cap \ldots \cap \mathcal{M}_r$. Several mathematicians have presented their insights on this matter since von Neumann established his result in the case of $r=2$. In this paper, we give an affirmative answer to a question posed by M. Sakai. We present a result concerning random products of countably infinitely many projections (the case $r=\infty$) incorporating the notion of pseudo-periodic function.


title: Does Metallicity affect Protoplanetary Disk Fraction? Answers from the Outer Milky Way

abstract: The role of metallicity in shaping protoplanetary disk evolution remains poorly comprehended. This study analyzes the disk fraction of 10 young (0.9-2.1 Myr) and low-metallicity (0.34-0.83 Z$_{\odot}$) clusters located in the outer Milky Way with Galactocentric distances between 10 and 13 kpc. Using $JHK$ data obtained from UKIDSS, the calculated disk fraction values for low-mass stars (0.2-2 M$_{\odot}$) ranged from 42% to 7%. To enhance the statistical reliability of our analysis, eight additional low-metallicity clusters are sourced from previous studies with metallicity range 0.25-0.85 Z$_{\odot}$ along with our sample, resulting in a total of 18 regions with low-metallicity. We find that low-metallicity clusters exhibit on average $2.6\pm0.2$ times lower disk fraction compared to solar-metallicity clusters in all the age bins we have. Within the age range we can probe, our study does not find evidence of faster disk decay in sub-solar metallicity regions compared to solar-metallicity regions. Furthermore, we observe a positive correlation between cluster disk fraction and metallicity for two different age groups of 0.3-1.4 and 1.4-2.5 Myr. We emphasize that both cluster age and metallicity significantly affect the fraction of stars with evidence of inner disks.


title: A separation theorem for Hilbert $W^*$-modules

abstract: Let $\mathscr L$ be a closed submodule of a Hilbert $W^*$-module $\mathscr E$ over a $C^*$-algebra $\mathscr A$. We pose a separation problem: Does there exist a normal state $\omega$ such that $\iota_\omega (\mathscr L)$ is not dense in $\mathscr E_\omega $? In this note, among other results, we give an affirmative answer to this problem, when $\mathscr E$ is a self-dual Hilbert $W^*$-module such that $\mathscr E\backslash \mathscr L$ has a nonempty interior with respect to the weak$^*$-topology.


title: Uniform degeneration of hyperbolic surfaces with boundary along harmonic map rays

abstract: Unique harmonic maps between surfaces give a parametrization of the Teichm\"{u}ller space by holomorphic quadratic differentials on a Riemann surface. In this paper, we investigate the degeneration of hyperbolic surfaces corresponding to a ray of meromorphic quadratic differentials on a punctured Riemann surface in this parametrization, where the meromorphic quadratic differentials have a pole of order $\geq 2$ at each puncture. We show that the rescaled distance functions of the universal covers of hyperbolic surfaces uniformly converge, on a certain non-compact region containing a fundamental domain, to the intersection number with the vertical measured foliation given by the meromorphic quadratic differential determining the direction of the ray. This implies the family of hyperbolic surfaces converges to the dual $\mathbb{R}$-tree to the vertical measured foliation in the sense of Gromov-Hausdorff. As an application, we describe the limit in the function space on the set of isotopy classes of properly embedded arcs and simple closed curves on the surface.


title: Separated Pairs of Submodules in Hilbert $C^*$-modules

abstract: We introduce the notion of the separated pair of closed submodules in the setting of Hilbert $C^*$-modules. We demonstrate that even in the case of Hilbert spaces this concept has several nice characterizations enriching the theory of separated pairs of subspaces in Hilbert spaces. Let $\mathscr H$ and $\mathscr K$ be orthogonally complemented closed submodules of a Hilbert $C^*$-module $\mathscr E$. We establish that $ (\mathscr H,\mathscr K)$ is a separated pair in $\mathscr{E}$ if and only if there are idempotents $\Pi_1$ and $\Pi_2$ such that $\Pi_1\Pi_2=\Pi_2\Pi_1=0$ and $\mathscr R(\Pi_1)=\mathscr H$ and $\mathscr R(\Pi_2)=\mathscr K$. We show that $\mathscr R(\Pi_1+\lambda\Pi_2)$ is closed for each $\lambda\in \mathbb{C}$ if and only if $\mathscr R(\Pi_1+\Pi_2)$ is closed. We use the localization of Hilbert $C^*$-modules to define the angle between closed submodules. We prove that if $(\mathscr H^\perp,\mathscr K^\perp)$ is concordant, then $(\mathscr H^{\perp\perp},\mathscr K^{\perp\perp})$ is a separated pair if the cosine of this angle is less than one. We also present some surprising examples to illustrate our results.


title: Mack modes in supersonic boundary layer

abstract: Understanding the transition mechanism of boundary layer flows is of great significance in physics and engineering, especially due to the current development of supersonic and hypersonic aircraft. In this paper, we construct multiple unstable acoustic modes so-called Mack modes, which play a crucial role during the early stage of transition in the supersonic boundary layer. To this end, we develop an inner-outer gluing iteration to solve a hyperbolic-elliptic mixed type and singular system.


title: Explaining Clustering of Ecological Momentary Assessment Data Through Temporal and Feature Attention

abstract: In the field of psychopathology, Ecological Momentary Assessment (EMA) studies offer rich individual data on psychopathology-relevant variables (e.g., affect, behavior, etc) in real-time. EMA data is collected dynamically, represented as complex multivariate time series (MTS). Such information is crucial for a better understanding of mental disorders at the individual- and group-level. More specifically, clustering individuals in EMA data facilitates uncovering and studying the commonalities as well as variations of groups in the population. Nevertheless, since clustering is an unsupervised task and true EMA grouping is not commonly available, the evaluation of clustering is quite challenging. An important aspect of evaluation is clustering explainability. Thus, this paper proposes an attention-based interpretable framework to identify the important time-points and variables that play primary roles in distinguishing between clusters. A key part of this study is to examine ways to analyze, summarize, and interpret the attention weights as well as evaluate the patterns underlying the important segments of the data that differentiate across clusters. To evaluate the proposed approach, an EMA dataset of 187 individuals grouped in 3 clusters is used for analyzing the derived attention-based importance attributes. More specifically, this analysis provides the distinct characteristics at the cluster-, feature- and individual level. Such clustering explanations could be beneficial for generalizing existing concepts of mental disorders, discovering new insights, and even enhancing our knowledge at an individual level.


title: Revisiting general dark matter-bound-electron interactions

abstract: In this letter we revisit general dark matter (DM)-bound-electron interactions studied previously in the influential work of [Catena et al., Phys. Rev. Res. 2, 033195 (2020)]. We derive the DM-electron response functions and find a crucial minus sign was missed for the second atomic response function $W_2$ defined in that work. The minus sign has significant phenomenological consequences when explaining experimental bounds on specific DM scenarios. Furthermore, for the most general DM-electron nonrelativistic or relativistic interactions for DM with spin up to one, we find there are three DM response functions ($a_{0,1,2}$) whose corresponding atomic response functions ($\widetilde W_{0,1,2}$) are linear combinations of the four response functions ($W_{1,2,3,4}$) given in that work, $$ \widetilde W_0 = W_1, \, \widetilde W_2 = |\mathbf{v}_0^\perp|^2 W_1+ W_3 - 2 {m_e\, \mathbf{q}\cdot \mathbf{v}_0^\perp \over \mathbf{q}^2} W_2,\, \widetilde W_3 = { (\mathbf{q}\cdot \mathbf{v}_0^\perp)^2 \over \mathbf{q}^2} W_1 + {m_e^2 \over \mathbf{q}^2}W_4 - 2 {m_e\, \mathbf{q}\cdot \mathbf{v}_0^\perp \over \mathbf{q}^2} W_2. $$ Due to the minus sign correction for $W_2$, there can be significant cancellations between the $W_2$ and $W_{3,4}$ terms, so that $\widetilde W_{2,3}$ are dominated by the usual response function $W_1$ in some cases. Ignoring the sign could thus result in misinterpretation of the experimental data in some DM scenarios. As an example, we show that the recent XENON1T constraint on the fermionic DM anapole moment is weakened by a factor of 2 or so. Many DM scenarios involving DM or electron axial-vector current can yield $W_2$ and thus are potentially affected by the sign.


title: Effect of dark matter interaction on hybrid star in the light of the recent astrophysical observations

abstract: We have explored the effect of dark matter interaction on hybrid star (HS) in the light of recent astrophysical observational constraints. The presence of dark matter is assumed to be there in both the hadron as well as the quark sector. The dark matter particle interacts with both hadron and quark matter through the exchange of a scalar as well as a vector meson. The equation of state (EOS) of the hadron part is computed using the NL3 version of the relativistic mean field(RMF) model, whereas the quark part is taken care of using the well-known MIT Bag model with the vector interaction. We investigate the effect of the dark matter density and the mass of the dark matter particle on various observables like mass, radius, tidal deformability of the dark matter admixed hybrid star(DMAHS). In this study, we have noted an intriguing aspect that is the speed of sound in the DMAHS is insensitive to both the mass as well as the density of dark matter. We also observe a striking similarity in the variation of transition mass and its corresponding radius, as well as the maximum mass of neutron stars, with dark matter density and mass. We employ observational constraints from neutron stars to narrow down the allowed range of the parameters of dark matter.


title: Coronal modulation in the ultra-fast rotator LO Peg

abstract: We present coronal imaging of the ultra-fast rotator, LO Peg, using the X-ray observations from XMM-Newton. The X-ray light curves show one strong flare at the end of observation, as reported in an earlier study. On removal of flaring events, the quiescent state light curve shows rotational modulations, which are modelled using a maximum likelihood model. The results obtained from modelling show the corona of LO Peg is not uniform. Active regions are concentrated around two longitudes, where one active region appears to be compact. The large coronal area that covers almost 60 degrees along longitude from the poles to the equator does not consist of active regions.


title: Pedestrian Attribute Recognition as Label-balanced Multi-label Learning

abstract: Rooting in the scarcity of most attributes, realistic pedestrian attribute datasets exhibit unduly skewed data distribution, from which two types of model failures are delivered: (1) label imbalance: model predictions lean greatly towards the side of majority labels; (2) semantics imbalance: model is easily overfitted on the under-represented attributes due to their insufficient semantic diversity. To render perfect label balancing, we propose a novel framework that successfully decouples label-balanced data re-sampling from the curse of attributes co-occurrence, i.e., we equalize the sampling prior of an attribute while not biasing that of the co-occurred others. To diversify the attributes semantics and mitigate the feature noise, we propose a Bayesian feature augmentation method to introduce true in-distribution novelty. Handling both imbalances jointly, our work achieves best accuracy on various popular benchmarks, and importantly, with minimal computational budget.


title: Guarding Force: Safety-Critical Compliant Control for Robot-Environment Interaction

abstract: In this study, we propose a safety-critical compliant control strategy designed to strictly enforce interaction force constraints during the physical interaction of robots with unknown environments. The interaction force constraint is interpreted as a new force-constrained control barrier function (FC-CBF) by exploiting the generalized contact model and the prior information of the environment, i.e., the prior stiffness and rest position, for robot kinematics. The difference between the real environment and the generalized contact model is approximated by constructing a tracking differentiator, and its estimation error is quantified based on Lyapunov theory. By interpreting strict interaction safety specification as a dynamic constraint, restricting the desired joint angular rates in kinematics, the proposed approach modifies nominal compliant controllers using quadratic programming, ensuring adherence to interaction force constraints in unknown environments. The strict force constraint and the stability of the closed-loop system are rigorously analyzed. Experimental tests using a UR3e industrial robot with different environments verify the effectiveness of the proposed method in achieving the force constraints in unknown environments.


title: Concolic Testing of Quantum Programs

abstract: This paper presents the first concolic testing framework specifically designed for quantum programs. The framework defines quantum conditional statements that quantify quantum states and presents a symbolization method for quantum variables. Utilizing this framework, we generate path constraints for each concrete execution path of a quantum program. These constraints guide the exploration of new paths, with a quantum constraint solver determining the outcomes to generate novel input samples and enhance branch coverage. We implemented this framework in Python and integrated it with Qiskit for practical evaluation. Experimental results demonstrate that our concolic testing framework significantly improves branch coverage and the quality of quantum input samples, demonstrating its effectiveness and efficiency in quantum software testing.


title: Insights into Deep Learning Refactoring: Bridging the Gap Between Practices and Expectations

abstract: With the rapid development of deep learning, the implementation of intricate algorithms and substantial data processing have become standard elements of deep learning projects. As a result, the code has become progressively complex as the software evolves, which is difficult to maintain and understand. Existing studies have investigated the impact of refactoring on software quality within traditional software. However, the insight of code refactoring in the context of deep learning is still unclear. This study endeavors to fill this knowledge gap by empirically examining the current state of code refactoring in deep learning realm, and practitioners' views on refactoring. We first manually analyzed the commit history of five popular and well-maintained deep learning projects (e.g., PyTorch). We mined 4,921 refactoring practices in historical commits and measured how different types and elements of refactoring operations are distributed and found that refactoring operation types' distribution in deep learning projects is different from it in traditional Java software. We then surveyed 159 practitioners about their views of code refactoring in deep learning projects and their expectations of current refactoring tools. The result of the survey showed that refactoring research and the development of related tools in the field of deep learning are crucial for improving project maintainability and code quality, and that current refactoring tools do not adequately meet the needs of practitioners. Lastly, we provided our perspective on the future advancement of refactoring tools and offered suggestions for developers' development practices.


title: Markov numbers and rational $\mathbb{C}^*$-surfaces

abstract: The Markov triples, that means the positive integer solutions of the equation $x^2+y^2+z^2=3xyz$, form the vertex set of the Markov tree. Each Markov triple defines a weighted projective plane, which gives a geometric interpretation of the vertex. We exhibit a class of rational, projective $\mathbb{C}^*$-surfaces representing the edges of the Markov tree in the sense that they admit coverings onto the adjacent weighted projective planes. Our main result shows that the surfaces representing the Markov tree are precisely the normal degenerations of the projective plane admitting a non-trivial $\mathbb{C}^*$-action.


title: Three-dimensional higher-order saddle points induced flat bands in Co-based kagome metals

abstract: The saddle point (van Hove singularity) exhibits a divergent density of states in 2D systems, leading to fascinating phenomena like strong correlations and unconventional superconductivity, yet it is seldom observed in 3D systems. In this work, we have found two types of 3D higher-order saddle points (HOSPs) in emerging 3D kagome metals, YbCo$_6$Ge$_6$ and MgCo$_6$Ge$_6$. Both HOSPs exhibit a singularity in their density of states, which is significantly enhanced compared to the ordinary saddle point. The HOSP near the Fermi energy generates a flat band extending a large area in the Brillouin zone, potentially amplifying the correlation effect and fostering electronic instabilities. Two types of HOSPs exhibit distinct robustness upon element substitution and lattice distortions in these kagome compounds. Our work paves the way for engineering exotic band structures, such as saddle points and flat bands, and exploring interesting phenomena in Co-based kagome materials.


title: Information Geometric Framework For Point Cloud Data

abstract: In this paper, we introduce a novel method for comparing 3D point clouds, a critical task in various machine learning applications. By interpreting point clouds as samples from underlying probability density functions, the statistical manifold structure is given to the space of point clouds. This manifold structure will help us to use the information geometric tools to analyze the point clouds. Our method uses the Gaussian Mixture Model (GMM) to find the probability density functions and the Modified Symmetric KL divergence to measure how similar the corresponding probability density functions are. This method of comparing the point clouds takes care of the geometry of the objects represented by the point clouds. To demonstrate the effectiveness of our approach, we take up five distinct case studies:(i) comparison of basic geometric shapes, (ii) comparison of 3D human body shapes within the MP FAUST dataset, (iii) comparison of animal shapes, (iv) comparison of human and animal datasets and (v) comparison of audio signals.


title: Regime Learning for Differentiable Particle Filters

abstract: Differentiable particle filters are an emerging class of models that combine sequential Monte Carlo techniques with the flexibility of neural networks to perform state space inference. This paper concerns the case where the system may switch between a finite set of state-space models, i.e. regimes. No prior approaches effectively learn both the individual regimes and the switching process simultaneously. In this paper, we propose the neural network based regime learning differentiable particle filter (RLPF) to address this problem. We further design a training procedure for the RLPF and other related algorithms. We demonstrate competitive performance compared to the previous state-of-the-art algorithms on a pair of numerical experiments.


title: Systematic review, analysis, and characterisation of malicious industrial network traffic datasets for aiding Machine Learning algorithm performance testing

abstract: The adoption of the Industrial Internet of Things (IIoT) as a complementary technology to Operational Technology (OT) has enabled a new level of standardised data access and process visibility. This convergence of Information Technology (IT), OT, and IIoT has also created new cybersecurity vulnerabilities and risks that must be managed. Artificial Intelligence (AI) is emerging as a powerful tool to monitor OT/IIoT networks for malicious activity and is a highly active area of research. AI researchers are applying advanced Machine Learning (ML) and Deep Learning (DL) techniques to the detection of anomalous or malicious activity in network traffic. They typically use datasets derived from IoT/IIoT/OT network traffic captures to measure the performance of their proposed approaches. Therefore, there is a widespread need for datasets for algorithm testing. This work systematically reviews publicly available network traffic capture-based datasets, including categorisation of contained attack types, review of metadata, and statistical as well as complexity analysis. Each dataset is analysed to provide researchers with metadata that can be used to select the best dataset for their research question. This results in an added benefit to the community as researchers can select the best dataset for their research more easily and according to their specific Machine Learning goals.


title: MIPI 2024 Challenge on Demosaic for HybridEVS Camera: Methods and Results

abstract: The increasing demand for computational photography and imaging on mobile platforms has led to the widespread development and integration of advanced image sensors with novel algorithms in camera systems. However, the scarcity of high-quality data for research and the rare opportunity for in-depth exchange of views from industry and academia constrain the development of mobile intelligent photography and imaging (MIPI). Building on the achievements of the previous MIPI Workshops held at ECCV 2022 and CVPR 2023, we introduce our third MIPI challenge including three tracks focusing on novel image sensors and imaging algorithms. In this paper, we summarize and review the Nighttime Flare Removal track on MIPI 2024. In total, 170 participants were successfully registered, and 14 teams submitted results in the final testing phase. The developed solutions in this challenge achieved state-of-the-art performance on Nighttime Flare Removal. More details of this challenge and the link to the dataset can be found at https://mipi-challenge.org/MIPI2024/.


title: Enhancing Geometric Ontology Embeddings for $\mathcal{EL}^{++}$ with Negative Sampling and Deductive Closure Filtering

abstract: Ontology embeddings map classes, relations, and individuals in ontologies into $\mathbb{R}^n$, and within $\mathbb{R}^n$ similarity between entities can be computed or new axioms inferred. For ontologies in the Description Logic $\mathcal{EL}^{++}$, several embedding methods have been developed that explicitly generate models of an ontology. However, these methods suffer from some limitations; they do not distinguish between statements that are unprovable and provably false, and therefore they may use entailed statements as negatives. Furthermore, they do not utilize the deductive closure of an ontology to identify statements that are inferred but not asserted. We evaluated a set of embedding methods for $\mathcal{EL}^{++}$ ontologies based on high-dimensional ball representation of concept descriptions, incorporating several modifications that aim to make use of the ontology deductive closure. In particular, we designed novel negative losses that account both for the deductive closure and different types of negatives. We demonstrate that our embedding methods improve over the baseline ontology embedding in the task of knowledge base or ontology completion.


title: Explicit estimates for the logarithmic derivative and the reciprocal of the Riemann zeta-function

abstract: In this article, we improve on two explicit bounds of order $\log t$ for $\sigma$ close to $1$: $|\zeta'(\sigma +it)/\zeta(\sigma +it)|$ and $|1/\zeta(\sigma +it)|$. Our method provides marked improvements in the constants, especially with regards to the latter. These savings come from replacing a lemma of Borel and Carath\'{e}dory, with a Jensen-type one of Heath-Brown's. Using an argument involving the trigonometric polynomial, we additionally provide a slight asymptotic improvement: $1/\zeta(\sigma +it) \ll (\log t)^{11/12}$.


title: MOSEL survey: Unwrapping the Epoch of Reionization through mimic galaxies at Cosmic Noon

abstract: The nature of the first galaxies that reionized the universe during the Epoch of Reionization (EoR) remains unclear. Attempts to directly determine spectral properties of these early galaxies are affected by both limited photometric constraints across the spectrum and by the opacity of the intergalactic medium (IGM) to the Lyman Continuum (LyC) at high redshift. We approach this by analysing properties of analogous extreme emission line galaxies (EELGs, [OIII]+Hbeta EW $>400$ Angstrom) at $2.5<z<4$ from the ZFOURGE survey using the Multi-wavelength Analysis of Galaxy Physical Properties (MAGPHYS) SED fitting code. We compare these to galaxies at $z>5.5$ observed with the James Webb Space Telesope (JWST) with self-consistent spectral energy distribution fitting methodology. This work focuses on the comparison of their UV slopes ($\beta_P$), ionizing photon production efficiencies $\xi_{ion}$, star formation rates and dust properties to determine the effectiveness of this analogue selection technique. We report the median ionizing photon production efficiencies as log$_{10}(\xi_{ion}/(Hz\ {\rm erg}^{-1}))=$$25.14^{+0.06}_{-0.04}$,$25.16^{+0.06}_{-0.05}$,$25.16^{+0.04}_{-0.05}$,$25.18^{+0.06}_{-0.07}$ for our ZFOURGE control, ZFOURGE EELG, JADES and CEERS samples respectively. ZFOURGE EELGs are 0.57 dex lower in stellar mass and have half the dust extinction, compared to their ZFOURGE control counterparts. They also have a similar specific star formation rates and $\beta_P$ to the $z>5.5$ samples. We find that EELGs at low redshift ($2.5<z<4$) are analogous to EoR galaxies in their dust attenuation and specific star formation rates. Their extensive photometric coverage and the accessibility of their LyC region opens pathways to infer stellar population properties in the EoR.


title: EMISSA: Exploring millimetre indicators of solar-stellar activity III. Comparison of Ca II indices and millimetre continua in a 3D model atmosphere

abstract: The Ca II H & K lines are strong chromospheric diagnostics that can be used to determine the temperature stratification and magnetic structure of the solar atmosphere. The Atacama Large Millimetre/Submillimetre Array (ALMA) offers complementary information on the thermal structure of stellar atmospheres using mm continuum radiation. The overall aim is to establish more robust solar/stellar activity indicators using ALMA observations in comparison with classical diagnostics, such as the s index and infrared triplet (IRT) index. A study was conducted using 1.5D radiative transfer codes RH1.5D and advanced radiative transfer (ART), along with an enhanced network atmosphere model generated by the state-of-the-art 3D radiation magnetohydrodynamics (rMHD) Bifrost code, to compute synthetic spectra for both Ca II lines and mm continua. To account for the limited spatial resolution of ALMA, we simulated the effect using a Gaussian point spread function (PSF). Additionally, we analysed the correlations and slopes of scatter plots between the Ca II indices and mm continuum for the original and degraded resolutions, focusing on the entire simulation box, quiet Sun regions, and enhanced network patches separately. The activity indices generated from these lines could further be used to compare the spectra of Sun-like stars with the solar spectrum. The Ca II activity indices and mm brightness temperatures are weakly correlated at the high resolution, with the highest correlation observed at a wavelength of 0.3 mm, corresponding to ALMA band 10. As the resolution decreases, the correlation consistently increases. Conversely, the slopes exhibit a decreasing trend with increasing wavelength, while the degradation of resolution does not noticeably affect the calculated slopes. Consequently, these relationships could be valuable for calibrating the mm continuum maps obtained through ALMA observations.


title: Logical Negation Augmenting and Debiasing for Prompt-based Methods

abstract: Prompt-based methods have gained increasing attention on NLP and shown validity on many downstream tasks. Many works have focused on mining these methods' potential for knowledge extraction, but few explore their ability to make logical reasoning. In this work, we focus on the effectiveness of the prompt-based methods on first-order logical reasoning and find that the bottleneck lies in logical negation. Based on our analysis, logical negation tends to result in spurious correlations to negative answers, while propositions without logical negation correlate to positive answers. To solve the problem, we propose a simple but effective method, Negation Augmenting and Negation Debiasing (NAND), which introduces negative propositions to prompt-based methods without updating parameters. Specifically, these negative propositions can counteract spurious correlations by providing "not" for all instances so that models cannot make decisions only by whether expressions contain a logical negation. Experiments on three datasets show that NAND not only solves the problem of calibrating logical negation but also significantly enhances prompt-based methods of logical reasoning without model retraining.


title: Practice-informed Patterns for Organising Large Groups in Distributed Mixed Reality Collaboration

abstract: Collaborating across dissimilar, distributed spaces presents numerous challenges for computer-aided spatial communication. Mixed reality (MR) can blend selected surfaces, allowing collaborators to work in blended f-formations (facing formations), even when their workstations are physically misaligned. Since collaboration often involves more than just participant pairs, this research examines how we might scale MR experiences for large-group collaboration. To do so, this study recruited collaboration designers (CDs) to evaluate and reimagine MR for large-scale collaboration. These CDs were engaged in a four-part user study that involved a technology probe, a semi-structured interview, a speculative low-fidelity prototyping activity and a validation session. The outcomes of this paper contribute (1) a set of collaboration design principles to inspire future computer-supported collaborative work, (2) eight collaboration patterns for blended f-formations and collaboration at scale and (3) theoretical implications for f-formations and space-place relationships. As a result, this work creates a blueprint for scaling collaboration across distributed spaces.


title: Critical Infrastructure Protection: Generative AI, Challenges, and Opportunities

abstract: Critical National Infrastructure (CNI) encompasses a nation's essential assets that are fundamental to the operation of society and the economy, ensuring the provision of vital utilities such as energy, water, transportation, and communication. Nevertheless, growing cybersecurity threats targeting these infrastructures can potentially interfere with operations and seriously risk national security and public safety. In this paper, we examine the intricate issues raised by cybersecurity risks to vital infrastructure, highlighting these systems' vulnerability to different types of cyberattacks. We analyse the significance of trust, privacy, and resilience for Critical Infrastructure Protection (CIP), examining the diverse standards and regulations to manage these domains. We also scrutinise the co-analysis of safety and security, offering innovative approaches for their integration and emphasising the interdependence between these fields. Furthermore, we introduce a comprehensive method for CIP leveraging Generative AI and Large Language Models (LLMs), giving a tailored lifecycle and discussing specific applications across different critical infrastructure sectors. Lastly, we discuss potential future directions that promise to enhance the security and resilience of critical infrastructures. This paper proposes innovative strategies for CIP from evolving attacks and enhances comprehension of cybersecurity concerns related to critical infrastructure.


title: SCALA: Split Federated Learning with Concatenated Activations and Logit Adjustments

abstract: Split Federated Learning (SFL) is a distributed machine learning framework which strategically divides the learning process between a server and clients and collaboratively trains a shared model by aggregating local models updated based on data from distributed clients. However, data heterogeneity and partial client participation result in label distribution skew, which severely degrades the learning performance. To address this issue, we propose SFL with Concatenated Activations and Logit Adjustments (SCALA). Specifically, the activations from the client-side models are concatenated as the input of the server-side model so as to centrally adjust label distribution across different clients, and logit adjustments of loss functions on both server-side and client-side models are performed to deal with the label distribution variation across different subsets of participating clients. Theoretical analysis and experimental results verify the superiority of the proposed SCALA on public datasets.


title: Accelerating the prediction of stacking fault energy by combining ab initio calculations and machine learning

abstract: Stacking fault energies (SFEs) are vital parameters for understanding the deformation mechanisms in metals and alloys, with prior knowledge of SFEs from ab initio calculations being crucial for alloy design. Machine learning (ML) algorithms employed in the present work demonstrate approximately 80 times acceleration in predicting generalized stacking fault energy (GSFE), which is otherwise computationally expensive to obtain directly from density functional theory (DFT) calculations, particularly for alloys. The features used to train the ML algorithms stem from the physics-based Friedel model, revealing a connection between the physics of d-electrons and the deformation behavior of transition metals and alloys. Predictions based on the ML model are consistent with experimental data. This model could aid in accelerating alloy design by offering a rapid method for screening materials based on stacking fault energies.


title: Nonequilibrium entropy from density estimation

abstract: Entropy is a central concept in physics, but can be challenging to calculate even for systems that are easily simulated. This is exacerbated out of equilibrium, where generally little is known about the distribution characterizing simulated configurations. However, modern machine learning algorithms can estimate the probability density characterizing an ensemble of images, given nothing more than sample images assumed to be drawn from this distribution. We show that by mapping system configurations to images, such approaches can be adapted to the efficient estimation of the density, and therefore the entropy, from simulated or experimental data. We then use this idea to obtain entropic limit cycles in a kinetic Ising model driven by an oscillating magnetic field. Despite being a global probe, we demonstrate that this allows us to identify and characterize stochastic dynamics at parameters near the dynamical phase transition.


title: The Need Of Trustworthy Announcements To Achieve Driving Comfort

abstract: An Intelligent Transport System (ITS) is more demanding nowadays and it can be achieved through deploying Vehicular Ad Hoc Networks (VANETs). Vehicles and Roadside Units (RSUs) exchange traffic events. Malicious drivers generate false events. Thus, they need to be identified to maintain trustworthy communication. When an authorised user acts maliciously, the security scheme typically fails. However, a trust model can isolate false messages. In this paper, the significance of trustworthy announcements for VANETs is analysed. To this end, a series of experiments is conducted in Veins to illustrate how the trustworthiness of announcements affects travel time. A traffic scenario is created where vehicles detour to an alternate route with an announcement from the leading vehicle. Both true and false announcements are considered. Results confirm that false announcements and refraining from announcements increase travel time. However, the travel time is reduced with trustworthy announcements. From this analysis, it can be concluded that trustworthy announcements facilitate driver comfort.


title: Non-Abelian Braiding of Topological Edge Bands

abstract: Braiding is a geometric concept that manifests itself in a variety of scientific contexts from biology to physics, and has been employed to classify bulk band topology in topological materials. Topological edge states can also form braiding structures, as demonstrated recently in a type of topological insulators known as M\"obius insulators, whose topological edge states form two braided bands exhibiting a M\"obius twist. While the formation of M\"obius twist is inspiring, it belongs to the simple Abelian braid group $\mathbb{B}_2$. The most fascinating features about topological braids rely on the non-Abelianness in the higher-order braid group $\mathbb{B}_N$ ($N \geq 3$), which necessitates multiple edge bands, but so far it has not been discussed. Here, based on the gauge enriched symmetry, we develop a scheme to realize non-Abelian braiding of multiple topological edge bands. We propose tight-binding models of topological insulators that are able to generate topological edge states forming non-Abelian braiding structures. Experimental demonstrations are conducted in two acoustic crystals, which carry three and four braided acoustic edge bands, respectively. The observed braiding structure can correspond to the topological winding in the complex eigenvalue space of projective translation operator, akin to the previously established point-gap winding topology in the bulk of the Hatano-Nelson model. Our work also constitutes the realization of non-Abelian braiding topology on an actual crystal platform, but not based on the "virtual" synthetic dimensions.


title: The Codecfake Dataset and Countermeasures for the Universally Detection of Deepfake Audio

abstract: With the proliferation of Audio Language Model (ALM) based deepfake audio, there is an urgent need for generalized detection methods. ALM-based deepfake audio currently exhibits widespread, high deception, and type versatility, posing a significant challenge to current audio deepfake detection (ADD) models trained solely on vocoded data. To effectively detect ALM-based deepfake audio, we focus on the mechanism of the ALM-based audio generation method, the conversion from neural codec to waveform. We initially construct the Codecfake dataset, an open-source large-scale dataset, including 2 languages, over 1M audio samples, and various test conditions, focus on ALM-based audio detection. As countermeasure, to achieve universal detection of deepfake audio and tackle domain ascent bias issue of original SAM, we propose the CSAM strategy to learn a domain balanced and generalized minima. In our experiments, we first demonstrate that ADD model training with the Codecfake dataset can effectively detects ALM-based audio. Furthermore, our proposed generalization countermeasure yields the lowest average Equal Error Rate (EER) of 0.616% across all test conditions compared to baseline models. The dataset and associated code are available online.


title: G\"odel Number based Clustering Algorithm with Decimal First Degree Cellular Automata

abstract: In this paper, a decimal first degree cellular automata (FDCA) based clustering algorithm is proposed where clusters are created based on reachability. Cyclic spaces are created and configurations which are in the same cycle are treated as the same cluster. Here, real-life data objects are encoded into decimal strings using G\"odel number based encoding. The benefits of the scheme is, it reduces the encoded string length while maintaining the features properties. Candidate CA rules are identified based on some theoretical criteria such as self-replication and information flow. An iterative algorithm is developed to generate the desired number of clusters over three stages. The results of the clustering are evaluated based on benchmark clustering metrics such as Silhouette score, Davis Bouldin, Calinski Harabasz and Dunn Index. In comparison with the existing state-of-the-art clustering algorithms, our proposed algorithm gives better performance.


title: Starshaped compact hypersurfaces in warped product manifolds II: a class of Hessian type equations

abstract: We prove several results concerning one particular class of Hessian type equations, which has attracted much attention in recent years.


title: FreeBind: Free Lunch in Unified Multimodal Space via Knowledge Fusion

abstract: Unified multi-model representation spaces are the foundation of multimodal understanding and generation. However, the billions of model parameters and catastrophic forgetting problems make it challenging to further enhance pre-trained unified spaces. In this work, we propose FreeBind, an idea that treats multimodal representation spaces as basic units, and freely augments pre-trained unified space by integrating knowledge from extra expert spaces via "space bonds". Specifically, we introduce two kinds of basic space bonds: 1) Space Displacement Bond and 2) Space Combination Bond. Based on these basic bonds, we design Complex Sequential & Parallel Bonds to effectively integrate multiple spaces simultaneously. Benefiting from the modularization concept, we further propose a coarse-to-fine customized inference strategy to flexibly adjust the enhanced unified space for different purposes. Experimentally, we bind ImageBind with extra image-text and audio-text expert spaces, resulting in three main variants: ImageBind++, InternVL_IB, and InternVL_IB++. These resulting spaces outperform ImageBind on 5 audio-image-text downstream tasks across 9 datasets. Moreover, via customized inference, it even surpasses the advanced audio-text and image-text expert spaces.


title: Cost of Locally Approximating High-Dimensional Ground States of Contextual Quantum Models

abstract: Contextuality, one of the strongest forms of quantum correlations, delineates the quantum world and the classical one. It has been shown recently that some quantum models, in the form of infinite one-dimensional translation-invariant Hamiltonians with nearest- and next-to-nearest-neighbor interactions, have the lowest ground state energy density allowed in quantum physics. However, these models all have local Hilbert space dimension larger than two, making the study of their ground state behavior difficult on current qubit-based variational quantum simulation platforms. In this work, we focus on the cost of simulating the local approximations of ground states of these models using qubit-based parameterized quantum circuits. The local approximations, which are 3-site reduced density matrices with local Hilbert space dimension three, are purified then encoded into permutation-symmetric qubits. We develop a universal set of permutation-symmetry preserving qubit-based gates, using them as an ansatz to simulate parameterized quantum circuits designed for qutrits. These techniques allow us to assess the accuracy of simulating the purified local ground states with respect to a fixed amount of classical and quantum resources. We found that given the same quantum circuit and the number of iterations, more contextual ground states with lower energy density are easier to simulate.


title: A trust management framework for vehicular ad hoc networks

abstract: Vehicular Ad Hoc Networks (VANETs) enable road users and public infrastructure to share information that improves the operation of roads and driver experience. However, these are vulnerable to poorly behaved authorized users. Trust management is used to address attacks from authorized users in accordance with their trust score. By removing the dissemination of trust metrics in the validation process, communication overhead and response time are lowered. In this paper, we propose a new Tamper-Proof Device (TPD) based trust management framework for controlling trust at the sender side vehicle that regulates driver behaviour. Moreover, the dissemination of feedback is only required when there is conflicting information in the VANET. If a conflict arises, the Road-Side Unit (RSU) decides, using the weighted voting system, whether the originator is to be believed, or not. The framework is evaluated against a centralized reputation approach and the results demonstrate that it outperforms the latter.


title: Investigating the accelerated expansion of the Universe through updated constraints on viable $f(R)$ models within the Palatini formalism

abstract: The observed accelerated expansion of the Universe at present epoch can be explained by some of the $f(R)$ models without invoking the existence of dark energy or any other such exotic component in cosmic fluid. The $f(R)$ models in Palatini formalism is relatively less explored in recent times with respect to their counterpart in metric formalism. We study seven $f(R)$ models in Palatini formalism: Hu-Sawicki (two cases), Starobinsky, exponential, Tsujikawa, $f(R) = R -\beta /R^ n$, and $f(R)= R + \alpha \ln(R) - \beta$. Following standard statistical procedure and utilizing data sets: type Ia supernovae data, cosmic chronometer observations, baryonic acoustic oscillations data, data from H \textsc{ii} starburst galaxies, local measurements of the \emph{Hubble} parameter ($H_{0}$), and distance priors of cosmic microwave background radiation data, we obtain constraints on the model parameters. When compared with the standard `lambda-cold dark matter model', for many data set combinations, the support for $f(R)$ models is significant. We obtain the relevant quantities for characterizing the accelerated expansion of the Universe, and these quantities are consistent with those obtained in a model-independent way by others. The curve of effective/total equation-of-state parameter, obtained from parameter constraints, clearly shows correct phases of the expansion history: the radiation-dominated epochs and the matter-dominated epochs, of the past, and the current accelerated expansion epoch eventually evolving to de-Sitter phase in the distant future. Overall, our results advocate in favour of pursuing $f(R)$ models in Palatini formalism as a potential alternative for explaining accelerated expansion of the Universe.


title: Prediction of the univariant two-phase coexistence line of the tetrahydrofuran hydrate from computer simulation

abstract: In this work, the univariant two-phase coexistence line of the hydrate of tetrahydrofuran (THF) is determined from 100 to 1000 bar by molecular dynamics simulations. The study is carried out by putting in contact a THF hydrate phase with a stoichiometric aqueous solution phase. Following the direct coexistence technique, the pressure has been fixed, and the coexistence line has been determined by analyzing if the hydrate phase grows or melts at different values of temperature. The model of water used is the well-known TIP4P/Ice model. We have used two different models of THF based on the transferable parameters for phase equilibria-united atom approach (TraPPE-UA), the original (flexible) TraPPe-UA model as well as a rigid and planar version of it. Overall, at high pressures, small differences have been observed in the results obtained by both models. Also, large differences have been observed in the computational efforts required by the simulations performed using both models, being the rigid and planar version much faster than the original one. The effect of the unlike dispersive interactions between the water and THF molecules has been also analyzed at 250 bar using the rigid and planar THF model. In particular, we have modified the Berthelot combining rule by adding a factor ({\xi}O-THF) that modifies the unlike water-THF dispersive interactions and we have analyzed the effect on the dissociation temperature when {\xi}O-THF is modified from 1.0 (original Berthelot combining rule) to 1.4 (modified Berthelot combining rule). We have extended the study using {\xi}O-THF = 1.4 and the rigid THF model to the rest of the pressures considered in this work, finding an excellent agreement with the scarce experimental data taken from the literature.


title: On the Faithfulness of a Family of Representations of the Singular Braid Monoid $SM_n$

abstract: For $n\geq 2$, let $G_n$ be a group and let $\rho: B_n\rightarrow G_n$ be a representation of the braid group $B_n$. For a field $\mathbb{K}$ and $a,b,c\in \mathbb{K}$, Valerij G. Bardakov extend the representation $\rho$ to a family of representations $\Phi_{a,b,c}:SM_n \rightarrow \mathbb{K}[G_n]$ of the singular braid monoid $SM_n$, where $\mathbb{K}[G_n]$ is the group algebra of $G_n$ over $\mathbb{K}$. In this paper, we study the faithfulness of the family of representations $\Phi_{a,b,c}$ in some cases. First, we find necessary and sufficient conditions of the families $\Phi_{a,0,0}, \Phi_{0,b,0}$ and $\Phi_{0,0,c}$ for all $n\geq 2$ to be unfaithful, where $a,b,c \in \mathbb{K}^*$. Second, we consider the case $n=2$ and we find the nature of $\ker(\Phi_{a,b,c})$ if $\Phi_{a,b,c}$ is unfaithful. Moreover, we study the faithfulness of some families $\Phi_{a,b,c}$ in this case. Also, we find the shape of the possible elements in $\ker(\Phi_{a,b,c})$ for all $n\geq 2$ when ${\Phi_{a,b,c}|}_{SM_2}$ is unfaithful.


title: Fast LiDAR Upsampling using Conditional Diffusion Models

abstract: The search for refining 3D LiDAR data has attracted growing interest motivated by recent techniques such as supervised learning or generative model-based methods. Existing approaches have shown the possibilities for using diffusion models to generate refined LiDAR data with high fidelity, although the performance and speed of such methods have been limited. These limitations make it difficult to execute in real-time, causing the approaches to struggle in real-world tasks such as autonomous navigation and human-robot interaction. In this work, we introduce a novel approach based on conditional diffusion models for fast and high-quality sparse-to-dense upsampling of 3D scene point clouds through an image representation. Our method employs denoising diffusion probabilistic models trained with conditional inpainting masks, which have been shown to give high performance on image completion tasks. We introduce a series of experiments, including multiple datasets, sampling steps, and conditional masks, to determine the ideal configuration, striking a balance between performance and inference speed. This paper illustrates that our method outperforms the baselines in sampling speed and quality on upsampling tasks using the KITTI-360 dataset. Furthermore, we illustrate the generalization ability of our approach by simultaneously training on real-world and synthetic datasets, introducing variance in quality and environments.


title: GISR: Geometric Initialization and Silhouette-based Refinement for Single-View Robot Pose and Configuration Estimation

abstract: For autonomous robotics applications, it is crucial that robots are able to accurately measure their potential state and perceive their environment, including other agents within it (e.g., cobots interacting with humans). The redundancy of these measurements is important, as it allows for planning and execution of recovery protocols in the event of sensor failure or external disturbances. Visual estimation can provide this redundancy through the use of low-cost sensors and server as a standalone source of proprioception when no encoder-based sensing is available. Therefore, we estimate the configuration of the robot jointly with its pose, which provides a complete spatial understanding of the observed robot. We present GISR - a method for deep configuration and robot-to-camera pose estimation that prioritizes real-time execution. GISR is comprised of two modules: (i) a geometric initialization module, efficiently computing an approximate robot pose and configuration, and (ii) an iterative silhouette-based refinement module that refines the initial solution in only a few iterations. We evaluate our method on a publicly available dataset and show that GISR performs competitively with existing state-of-the-art approaches, while being significantly faster compared to existing methods of the same class. Our code is available at https://github.com/iwhitey/GISR-robot.


title: Third Harmonic Enhancement Harnessing Photoexcitation Unveils New Nonlinearities in Zinc Oxide

abstract: Nonlinear optical phenomena are at the heart of various technological domains such as high-speed data transfer, optical logic applications, and emerging fields such as non-reciprocal optics and photonic time crystal design. However, conventional nonlinear materials exhibit inherent limitations in the post-fabrication tailoring of their nonlinear optical properties. Achieving real-time control over optical nonlinearities remains a challenge. In this work, we demonstrate a method to switch third harmonic generation (THG), a commonly occurring nonlinear optical response. Third harmonic generation enhancements up to 50 times are demonstrated in zinc oxide films via the photoexcited state generation and tunable electric field enhancement. More interestingly, the enhanced third harmonic generation follows a quadratic scaling with incident power, as opposed to the conventional cubic scaling, which demonstrates a previously unreported mechanism of third harmonic generation. The THG can also be suppressed by modulating the optical losses in the film. This work shows that the photoexcitation of states can not only enhance nonlinearities, but can create new processes for third harmonic generation. Importantly, the proposed method enables real-time manipulation of the nonlinear response of a medium. The process is switchable and reversible, with the modulations occurring at picosecond timescale. Our study paves the way to boost or suppress the nonlinearities of solid-state media, enabling robust, switchable sources for nonlinear optical applications.


title: A fuzzy reward and punishment scheme for vehicular ad hoc networks

abstract: Trust management is an important security approach for the successful implementation of Vehicular Ad Hoc Networks (VANETs). Trust models evaluate messages to assign reward or punishment. This can be used to influence a driver's future behaviour. In the author's previous work, a sender side based trust management framework is developed which avoids the receiver evaluation of messages. However, this does not guarantee that a trusted driver will not lie. These "untrue attacks" are resolved by the RSUs using collaboration to rule on a dispute, providing a fixed amount of reward and punishment. The lack of sophistication is addressed in this paper with a novel fuzzy RSU controller considering the severity of incident, driver past behaviour, and RSU confidence to determine the reward or punishment for the conflicted drivers. Although any driver can lie in any situation, it is expected that trustworthy drivers are more likely to remain so, and vice versa. This behaviour is captured in a Markov chain model for sender and reporter drivers where their lying characteristics depend on trust score and trust state. Each trust state defines the driver's likelihood of lying using different probability distribution. An extensive simulation is performed to evaluate the performance of the fuzzy assessment and examine the Markov chain driver behaviour model with changing the initial trust score of all or some drivers in Veins simulator. The fuzzy and the fixed RSU assessment schemes are compared, and the result shows that the fuzzy scheme can encourage drivers to improve their behaviour.


title: Cepheids as distance indicators and stellar tracers

abstract: We review the phenomenology of classical Cepheids (CCs), Anomalous Cepheids (ACs) and type II Cepheids (TIICs) in the Milky Way (MW) and in the Magellanic Clouds (MCs). We also examine the Hertzsprung progression in different stellar systems by using the shape of I-band light curves (Fourier parameters) and observables based on the difference in magnitude and in phase between the bump and the minimum in luminosity. The distribution of Cepheids in optical and in optical-near infrared (NIR) color--magnitude diagrams is investigated to constrain the topology of the instability strip. The use of Cepheids as tracers of young (CCs), intermediate (ACs) and old (TIICs) stellar populations are brought forward by the comparison between observations (MCs) and cluster isochrones covering a broad range in stellar ages and in chemical compositions. The different diagnostics adopted to estimate individual distances (period--luminosity, period--Wesenheit, period--luminosity--color relations) are reviewed together with pros and cons in the use of fundamental and overtones, optical and NIR photometric bands, and reddening free pseudo magnitudes (Wesenheit). We also discuss the use of CCs as stellar tracers and the radial gradients among the different groups of elements (iron, alpha, neutron-capture) together with their age-dependence. Finally, we briefly outline the role that near-future space and ground-based facilities will play in the astrophysical and cosmological use of Cepheids.


title: Tunable nonlinear excitonic optical response in biased bilayer graphene

abstract: Biased bilayer graphene (BBG) is an important system for studies of excitonic effects in graphene--based systems, with its easily tunable bandgap. This bandgap is governed by an external gate voltage, allowing one to tune the optical response of the system. In this paper, we study the excitonic linear and nonlinear optical response of Bernal stacked BBG as a function of the gate voltage, both for in--plane (IP) and out--of--plane (OOP) directions. Based on a semi-analytical model of the electronic structure of BBG describing the influence of gate voltage on excitonic binding energies, we focus our discussion on both the IP and OOP excitonic response. Both linear and second harmonic generation (SHG) nonlinear responses are shown to be very sensitive to the gate voltage, as both the interband momentum matrix elements and the bandgap of the system will vary greatly with bias potential.


title: On Correlation and Prediction Interval Reduction

abstract: Pearson's correlation coefficient is a popular statistical measure to summarize the strength of association between two continuous variables. It is usually interpreted via its square as percentage of variance of one variable predicted by the other in a linear regression model. It can be generalized for multiple regression via the coefficient of determination, which is not straightforward to interpret in terms of prediction accuracy. In this paper, we propose to assess the prediction accuracy of a linear model via the prediction interval reduction (PIR) by comparing the width of the prediction interval derived from this model with the width of the prediction interval obtained without this model. At the population level, PIR is one-to-one related to the correlation and the coefficient of determination. In particular, a correlation of 0.5 corresponds to a PIR of only 13%. It is also the one's complement of the coefficient of alienation introduced at the beginning of last century. We argue that PIR is easily interpretable and useful to keep in mind how difficult it is to make accurate individual predictions, an important message in the era of precision medicine and artificial intelligence. Different estimates of PIR are compared in the context of a linear model and an extension of the PIR concept to non-linear models is outlined.


title: Verified authors shape X/Twitter discursive communities

abstract: Community detection algorithms try to extract a mesoscale structure from the available network data, generally avoiding any explicit assumption regarding the quantity and quality of information conveyed by specific sets of edges. In this paper, we show that the core of ideological/discursive communities on X/Twitter can be effectively identified by uncovering the most informative interactions in an authors-audience bipartite network through a maximum-entropy null model. The analysis is performed considering three X/Twitter datasets related to the main political events of 2022 in Italy, using as benchmarks four state-of-the-art algorithms - three descriptive, one inferential -, and manually annotating nearly 300 verified users based on their political affiliation. In terms of information content, the communities obtained with the entropy-based algorithm are comparable to those obtained with some of the benchmarks. However, such a methodology on the authors-audience bipartite network: uses just a small sample of the available data to identify the central users of each community; returns a neater partition of the user set in just a few, easy to interpret, communities; clusters well-known political figures in a way that better matches the political alliances when compared with the benchmarks. Our results provide an important insight into online debates, highlighting that online interaction networks are mostly shaped by the activity of a small set of users who enjoy public visibility even outside social media.


title: Machine Learning-based NLP for Emotion Classification on a Cholera X Dataset

abstract: Recent social media posts on the cholera outbreak in Hammanskraal have highlighted the diverse range of emotions people experienced in response to such an event. The extent of people's opinions varies greatly depending on their level of knowledge and information about the disease. The documented re-search about Cholera lacks investigations into the classification of emotions. This study aims to examine the emotions expressed in social media posts about Chol-era. A dataset of 23,000 posts was extracted and pre-processed. The Python Nat-ural Language Toolkit (NLTK) sentiment analyzer library was applied to deter-mine the emotional significance of each text. Additionally, Machine Learning (ML) models were applied for emotion classification, including Long short-term memory (LSTM), Logistic regression, Decision trees, and the Bidirectional En-coder Representations from Transformers (BERT) model. The results of this study demonstrated that LSTM achieved the highest accuracy of 75%. Emotion classification presents a promising tool for gaining a deeper understanding of the impact of Cholera on society. The findings of this study might contribute to the development of effective interventions in public health strategies.


title: A Gamma-ray Emitting Collisional Ring Galaxy System in our Galactic Neighborhood

abstract: The astrophysical $\gamma$-ray photons carry the signatures of the violent phenomena happening on various astronomical scales in our Universe. This includes supernova remnants, pulsars, and pulsar wind nebulae in the Galactic environment and extragalactic relativistic jets associated with active galactic nuclei (AGN). However, $\sim$30\% of the \gm-ray sources detected with the Fermi Large Area Telescope lack multiwavelength counterpart association, precluding us from characterizing their origin. Here we report, for the first time, the association of a collisional ring galaxy system in our Galactic neighborhood (distance $\sim$10 Mpc), formed as a consequence of a smaller `bullet' galaxy piercing through a larger galaxy, as the multi-frequency counterpart of an unassociated $\gamma$-ray source 4FGL~J1647.5$-$5724. The system, also known as "Kathryn's Wheel", contains two dwarf irregular galaxies and an edge-on, late-type, spiral galaxy surrounded by a ring of star-forming knots. We utilized observations taken from the Neil Gehrels Swift observatory, Rapid ASKAP Continuum Survey, SuperCOSMOS H$\alpha$ Survey, Dark Energy Survey, and Visible MultiObject Spectrograph at Very Large Telescope to ascertain the association with 4FGL~J1647.5$-$5724 and to explore the connection between the star-forming activities and the observed $\gamma$-ray emission. We found that star-formation alone cannot explain the observed $\gamma$-ray emission, and additional contribution likely from the pulsars/supernova remnants or buried AGN is required. We conclude that arcsecond/sub-arcsecond-scale observations of this extraordinary $\gamma$-ray emitting galaxy collision will be needed to resolve the environment and explore the origin of cosmic rays.


title: MoveTouch: Robotic Motion Capturing System with Wearable Tactile Display to Achieve Safe HRI

abstract: The collaborative robot market is flourishing as there is a trend towards simplification, modularity, and increased flexibility on the production line. But when humans and robots are collaborating in a shared environment, the safety of humans should be a priority. We introduce a novel wearable robotic system to enhance safety during Human Robot Interaction (HRI). The proposed wearable robot is designed to hold a fiducial marker and maintain its visibility to the tracking system, which, in turn, localizes the user's hand with good accuracy and low latency and provides haptic feedback on the user's wrist. The haptic feedback guides the user's hand movement during collaborative tasks in order to increase safety and enhance collaboration efficiency. A user study was conducted to assess the recognition and discriminability of ten designed haptic patterns applied to the volar and dorsal parts of the user's wrist. As a result, four patterns with a high recognition rate were chosen to be incorporated into our system. A second experiment was carried out to evaluate the system integration into real-world collaborative tasks.


title: Self-supervised Gait-based Emotion Representation Learning from Selective Strongly Augmented Skeleton Sequences

abstract: Emotion recognition is an important part of affective computing. Extracting emotional cues from human gaits yields benefits such as natural interaction, a nonintrusive nature, and remote detection. Recently, the introduction of self-supervised learning techniques offers a practical solution to the issues arising from the scarcity of labeled data in the field of gait-based emotion recognition. However, due to the limited diversity of gaits and the incompleteness of feature representations for skeletons, the existing contrastive learning methods are usually inefficient for the acquisition of gait emotions. In this paper, we propose a contrastive learning framework utilizing selective strong augmentation (SSA) for self-supervised gait-based emotion representation, which aims to derive effective representations from limited labeled gait data. First, we propose an SSA method for the gait emotion recognition task, which includes upper body jitter and random spatiotemporal mask. The goal of SSA is to generate more diverse and targeted positive samples and prompt the model to learn more distinctive and robust feature representations. Then, we design a complementary feature fusion network (CFFN) that facilitates the integration of cross-domain information to acquire topological structural and global adaptive features. Finally, we implement the distributional divergence minimization loss to supervise the representation learning of the generally and strongly augmented queries. Our approach is validated on the Emotion-Gait (E-Gait) and Emilya datasets and outperforms the state-of-the-art methods under different evaluation protocols.


title: Development of a method to measure trace level of uranium and thorium in scintillation films

abstract: We have established a method to measure picograms-per-gram (pg g$^{-1}$) levels of $^{238}$U and $^{232}$Th in scintillation films by combining the dry ashing method and inductively coupled plasma mass spectrometry. Trace amounts of $^{238}$U and $^{232}$Th were measured in up to 2~g of the scintillation film with almost 100% collection efficiency. This paper details the experimental procedure, including the pretreatment of the samples and labware, detection limit of the method, collection efficiencies of $^{238}$U and $^{232}$Th, and measurement of $^{238}$U and $^{232}$Th in a polyethylene naphthalate film. This method is also applicable to $^{238}$U and $^{232}$Th measurements in other low-background organic materials for rare event search experiments.


title: HAGAN: Hybrid Augmented Generative Adversarial Network for Medical Image Synthesis

abstract: Medical Image Synthesis (MIS) plays an important role in the intelligent medical field, which greatly saves the economic and time costs of medical diagnosis. However, due to the complexity of medical images and similar characteristics of different tissue cells, existing methods face great challenges in meeting their biological consistency. To this end, we propose the Hybrid Augmented Generative Adversarial Network (HAGAN) to maintain the authenticity of structural texture and tissue cells. HAGAN contains Attention Mixed (AttnMix) Generator, Hierarchical Discriminator and Reverse Skip Connection between Discriminator and Generator. The AttnMix consistency differentiable regularization encourages the perception in structural and textural variations between real and fake images, which improves the pathological integrity of synthetic images and the accuracy of features in local areas. The Hierarchical Discriminator introduces pixel-by-pixel discriminant feedback to generator for enhancing the saliency and discriminance of global and local details simultaneously. The Reverse Skip Connection further improves the accuracy for fine details by fusing real and synthetic distribution features. Our experimental evaluations on three datasets of different scales, i.e., COVID-CT, ACDC and BraTS2018, demonstrate that HAGAN outperforms the existing methods and achieves state-of-the-art performance in both high-resolution and low-resolution.


title: Imbalanced Graph Classification with Multi-scale Oversampling Graph Neural Networks

abstract: One main challenge in imbalanced graph classification is to learn expressive representations of the graphs in under-represented (minority) classes. Existing generic imbalanced learning methods, such as oversampling and imbalanced learning loss functions, can be adopted for enabling graph representation learning models to cope with this challenge. However, these methods often directly operate on the graph representations, ignoring rich discriminative information within the graphs and their interactions. To tackle this issue, we introduce a novel multi-scale oversampling graph neural network (MOSGNN) that learns expressive minority graph representations based on intra- and inter-graph semantics resulting from oversampled graphs at multiple scales - subgraph, graph, and pairwise graphs. It achieves this by jointly optimizing subgraph-level, graph-level, and pairwise-graph learning tasks to learn the discriminative information embedded within and between the minority graphs. Extensive experiments on 16 imbalanced graph datasets show that MOSGNN i) significantly outperforms five state-of-the-art models, and ii) offers a generic framework, in which different advanced imbalanced learning loss functions can be easily plugged in and obtain significantly improved classification performance.


title: Dependence-based fuzzy clustering of functional time series

abstract: Time series clustering is an important data mining task with a wide variety of applications. While most methods focus on time series taking values on the real line, very few works consider functional time series. However, functional objects frequently arise in many fields, such as actuarial science, demography or finance. Functional time series are indexed collections of infinite-dimensional curves viewed as random elements taking values in a Hilbert space. In this paper, the problem of clustering functional time series is addressed. To this aim, a distance between functional time series is introduced and used to construct a clustering procedure. The metric relies on a measure of serial dependence which can be seen as a natural extension of the classical quantile autocorrelation function to the functional setting. Since the dynamics of the series may vary over time, we adopt a fuzzy approach, which enables the procedure to locate each series into several clusters with different membership degrees. The resulting algorithm can group series generated from similar stochastic processes, reaching accurate results with series coming from a broad variety of functional models and requiring minimum hyperparameter tuning. Several simulation experiments show that the method exhibits a high clustering accuracy besides being computationally efficient. Two interesting applications involving high-frequency financial time series and age-specific mortality improvement rates illustrate the potential of the proposed approach.


title: Shadowing of actions of hyperbolic groups on their boundaries

abstract: We prove that the canonical action of every hyperbolic group on its Gromov boundary has the shadowing (aka pseudo-orbit tracing) property. In particular, this recovers the results of Mann et al. that such actions are topologically stable.


title: A progressive data-augmented RANS model for enhanced wind-farm simulations

abstract: The development of advanced simulation tools is essential, both presently and in the future, for improving wind-energy design strategies, paving the way for a complete transition to sustainable solutions. The Reynolds-averaged Navier-Stokes (RANS) models are pivotal in enhancing our comprehension of the complex flow within and around wind farms and, hence, improving their capacity to accurately model turbulence within this context is a vital research goal. The enhancement is essential for a precise prediction of wake recovery and for capturing intricate flow phenomena such as secondary flows of Prandtl's second kind behind the turbines. To reach these objectives, here, we propose a progressive data-augmentation approach. We first incorporate the turbine-induced forces in the turbulent kinetic energy equation of the widely used $k-\omega\text{SST}$ model. Afterward, we utilize data from large-eddy simulations to progressively enhance the Reynolds-stress prediction of this baseline model, accurately capturing the evolution of eddy viscosity in the wake, as well as the emergence of secondary flows. We then apply the optimized model to two unseen cases with distinct layouts and conduct a comparative analysis focusing on the obtained quantities such as normalized streamwise velocity deficit, turbulence intensity, and power output. We also examine the success rate of the augmented model in predicting the secondary flows in the wake region. Our comparisons and validations demonstrate the superior performance of the progressive data-augmented model over the standard version in all cases considered in this study.


title: Empowering Wireless Networks with Artificial Intelligence Generated Graph

abstract: In wireless communications, transforming network into graphs and processing them using deep learning models, such as Graph Neural Networks (GNNs), is one of the mainstream network optimization approaches. While effective, the generative AI (GAI) shows stronger capabilities in graph analysis, processing, and generation, than conventional methods such as GNN, offering a broader exploration space for graph-based network optimization. Therefore, this article proposes to use GAI-based graph generation to support wireless networks. Specifically, we first explore applications of graphs in wireless networks. Then, we introduce and analyze common GAI models from the perspective of graph generation. On this basis, we propose a framework that incorporates the conditional diffusion model and an evaluation network, which can be trained with reward functions and conditions customized by network designers and users. Once trained, the proposed framework can create graphs based on new conditions, helping to tackle problems specified by the user in wireless networks. Finally, using the link selection in integrated sensing and communication (ISAC) as an example, the effectiveness of the proposed framework is validated.


title: Sedimentary rocks from Mediterranean drought in the Messinian age as a probe of the past cosmic ray flux

abstract: We propose the use of natural minerals as detectors to study the past flux of cosmic rays. This novel application of the \textit{paleo-detector} technique requires a specific approach as it needs samples that have been exposed to secondary cosmic rays for a well defined period of time. We suggest here the use of the evaporites formed during the desiccation of the Mediterranean sea ${\sim}6$ Myr ago. These minerals have been created and exposed to the air or under a shallow water basin for ${\sim}500$ kyr before being quickly submerged again by a km-scale overburden of water. We show that, by looking at the damages left in the minerals by muons in cosmic ray showers, we could detect differences in the primary cosmic ray flux during that period, as the ones expected from nearby supernova explosions, below the percent-level. We show also that little to no background from radioactive contamination and other astroparticles is expected for this kind of analysis.


title: Traj-LLM: A New Exploration for Empowering Trajectory Prediction with Pre-trained Large Language Models

abstract: Predicting the future trajectories of dynamic traffic actors is a cornerstone task in autonomous driving. Though existing notable efforts have resulted in impressive performance improvements, a gap persists in scene cognitive and understanding of the complex traffic semantics. This paper proposes Traj-LLM, the first to investigate the potential of using Large Language Models (LLMs) without explicit prompt engineering to generate future motion from agents' past/observed trajectories and scene semantics. Traj-LLM starts with sparse context joint coding to dissect the agent and scene features into a form that LLMs understand. On this basis, we innovatively explore LLMs' powerful comprehension abilities to capture a spectrum of high-level scene knowledge and interactive information. Emulating the human-like lane focus cognitive function and enhancing Traj-LLM's scene comprehension, we introduce lane-aware probabilistic learning powered by the pioneering Mamba module. Finally, a multi-modal Laplace decoder is designed to achieve scene-compliant multi-modal predictions. Extensive experiments manifest that Traj-LLM, fortified by LLMs' strong prior knowledge and understanding prowess, together with lane-aware probability learning, outstrips state-of-the-art methods across evaluation metrics. Moreover, the few-shot analysis further substantiates Traj-LLM's performance, wherein with just 50% of the dataset, it outperforms the majority of benchmarks relying on complete data utilization. This study explores equipping the trajectory prediction task with advanced capabilities inherent in LLMs, furnishing a more universal and adaptable solution for forecasting agent motion in a new way.


title: Learning with Posterior Sampling for Revenue Management under Time-varying Demand

abstract: This paper discusses the revenue management (RM) problem to maximize revenue by pricing items or services. One challenge in this problem is that the demand distribution is unknown and varies over time in real applications such as airline and retail industries. In particular, the time-varying demand has not been well studied under scenarios of unknown demand due to the difficulty of jointly managing the remaining inventory and estimating the demand. To tackle this challenge, we first introduce an episodic generalization of the RM problem motivated by typical application scenarios. We then propose a computationally efficient algorithm based on posterior sampling, which effectively optimizes prices by solving linear programming. We derive a Bayesian regret upper bound of this algorithm for general models where demand parameters can be correlated between time periods, while also deriving a regret lower bound for generic algorithms. Our empirical study shows that the proposed algorithm performs better than other benchmark algorithms and comparably to the optimal policy in hindsight. We also propose a heuristic modification of the proposed algorithm, which further efficiently learns the pricing policy in the experiments.


title: Urban Boundary Delineation from Commuting Data with Bayesian Stochastic Blockmodeling: Scale, Contiguity, and Hierarchy

abstract: A common method for delineating urban and suburban boundaries is to identify clusters of spatial units that are highly interconnected in a network of commuting flows, each cluster signaling a cohesive economic submarket. It is critical that the clustering methods employed for this task are principled and free of unnecessary tunable parameters to avoid unwanted inductive biases while remaining scalable for high resolution mobility networks. Here we systematically assess the benefits and limitations of a wide array of Stochastic Block Models (SBMs)$\unicode{x2014}$a family of principled, nonparametric models for identifying clusters in networks$\unicode{x2014}$for delineating urban spatial boundaries with commuting data. We find that the data compression capability and relative performance of different SBM variants heavily depends on the spatial extent of the commuting network, its aggregation scale, and the method used for weighting network edges. We also construct a new measure to assess the degree to which community detection algorithms find spatially contiguous partitions, finding that traditional SBMs may produce substantial spatial discontiguities that make them challenging to use in general for urban boundary delineation. We propose a fast nonparametric regionalization algorithm that can alleviate this issue, achieving data compression close to that of unconstrained SBM models while ensuring spatial contiguity, benefiting from a deterministic optimization procedure, and being generalizable to a wide range of community detection objective functions.