title: A real-time rendering method for high albedo anisotropic materials with multiple scattering

abstract: We propose a neural network-based real-time volume rendering method for realistic and efficient rendering of volumetric media. The traditional volume rendering method uses path tracing to solve the radiation transfer equation, which requires a huge amount of calculation and cannot achieve real-time rendering. Therefore, this paper uses neural networks to simulate the iterative integration process of solving the radiative transfer equation to speed up the volume rendering of volume media. Specifically, the paper first performs data processing on the volume medium to generate a variety of sampling features, including density features, transmittance features and phase features. The hierarchical transmittance fields are fed into a 3D-CNN network to compute more important transmittance features. Secondly, the diffuse reflection sampling template and the highlight sampling template are used to layer the three types of sampling features into the network. This method can pay more attention to light scattering, highlights and shadows, and then select important channel features through the attention module. Finally, the scattering distribution of the center points of all sampling templates is predicted through the backbone neural network. This method can achieve realistic volumetric media rendering effects and greatly increase the rendering speed while maintaining rendering quality, which is of great significance for real-time rendering applications. Experimental results indicate that our method outperforms previous methods.


title: Testing Alpha in High Dimensional Linear Factor Pricing Models with Dependent Observations

abstract: In this study, we introduce three distinct testing methods for testing alpha in high dimensional linear factor pricing model that deals with dependent data. The first method is a sum-type test procedure, which exhibits high performance when dealing with dense alternatives. The second method is a max-type test procedure, which is particularly effective for sparse alternatives. For a broader range of alternatives, we suggest a Cauchy combination test procedure. This is predicated on the asymptotic independence of the sum-type and max-type test statistics. Both simulation studies and practical data application demonstrate the effectiveness of our proposed methods when handling dependent observations.


title: Influence of climate variability on the potential forage production of a mown permanent grassland in the French Massif Central

abstract: Climate Services (CS) provide support to decision makers across socio-economic sectors. In the agricultural sector, one of the most important CS applications is to provide timely and accurate yield forecasts based on climate prediction. In this study, the Pasture Simulation model (PaSim) was used to simulate, for the period 1959-2015, the forage production of a mown grassland system (Laqueuille, Massif Central of France) under different management conditions, with meteorological inputs extracted from the SAFRAN atmospheric database. The aim was to generate purely climate-dependent timeseries of optimal forage production, a variable that was maximized by brighter and warmer weather conditions at the grassland. A long-term increase was observed in simulated forage yield, with the 1995-2015 average being 29% higher than the 1959-1979 average. Such increase seems consistent with observed rising trends in temperature and CO2, and multi-decadal changes in incident solar radiation. At interannual timescales, sea surface temperature anomalies of the Mediterranean (MED), Tropical North Atlantic (TNA), equatorial Pacific (El Ni\~no Southern Oscillation) and the North Atlantic Oscillation (NAO) index were found robustly correlated with annual forage yield values. Relying only on climatic predictors, we developed a stepwise statistical multi-regression model with leave-one-out cross-validation. Under specific management conditions (e.g., three annual cuts) and from one to five months in advance, the generated model successfully provided a p-value<0.01 in correlation (t-test), a root mean square error percentage (%RMSE) of 14.6% and a 71.43% hit rate predicting above/below average years in terms of forage yield collection.


title: The Superscaling Variable and Neutrino Energy Reconstruction, From Theoretical Predictions to Experimental Limitations

abstract: We introduce the novel approach of using the superscaling variable as an observable and an analysis tool in the context of charged current neutrino-nucleus interactions. We study the relation between the superscaling variable and the removal energy, in addition to other fundamental parameters of the neutrino-nucleus interaction models. In the second half of the paper, we discuss the experimental viability of this measurement following a study of neutrino energy and missing momentum reconstruction. We show that the superscaling variable is measurable in neutrino interaction experiments provided that the proton is detected in the final state. We discuss the resolution of this measurement, and the limitation imposed by the proton's detection threshold.


title: Multi-machine preventative maintenance scheduling with imperfect interventions: a restless bandit approach

abstract: In this paper we address the problem of allocating the efforts of a collection of repairmen to a number of deteriorating machines in order to reduce operation costs and to mitigate the cost (and likelihood) of unexpected failures. Notwithstanding these preventive maintenance interventions are aimed at returning the machine to a so-called as-good-as-new state, unforeseeable factors may imply that maintenance interventions are not perfect and the machine is only returned to an earlier (uncertain) state of wear. The problem is modelled as a restless bandit problem and an index policy for the sequential allocation of maintenance tasks is proposed. A series of numerical experiments shows the strong performance of the proposed policy. Moreover, the methodology is of interest in the general context of dynamic resource allocation and restless bandit problems, as well as being useful in the particular imperfect maintenance model described.


title: Model CBOR Serialization for Federated Learning

abstract: The typical federated learning workflow requires communication between a central server and a large set of clients synchronizing model parameters between each other. The current frameworks use communication protocols not suitable for resource-constrained devices and are either hard to deploy or require high-throughput links not available on these devices. In this paper, we present a generic message framework using CBOR for communication with existing federated learning frameworks optimised for use with resource-constrained devices and low power and lossy network links. We evaluate the resulting message sizes against JSON serialized messages where compare both with model parameters resulting in optimal and worst case serialization length, and with a real-world LeNet-5 model. Our benchmarks show that with our approach, messages are up to 75 % smaller in size when compared to the JSON alternative.


title: Left/Right Brain, human motor control and the implications for robotics

abstract: Neural Network movement controllers promise a variety of advantages over conventional control methods however they are not widely adopted due to their inability to produce reliably precise movements. This research explores a bilateral neural network architecture as a control system for motor tasks. We aimed to achieve hemispheric specialisation similar to what is observed in humans across different tasks; the dominant system (usually the right hand, left hemisphere) excels at tasks involving coordination and efficiency of movement, and the non-dominant system performs better at tasks requiring positional stability. Specialisation was achieved by training the hemispheres with different loss functions tailored toward the expected behaviour of the respective hemispheres. We compared bilateral models with and without specialised hemispheres, with and without inter-hemispheric connectivity (representing the biological Corpus Callosum), and unilateral models with and without specialisation. The models were trained and tested on two tasks common in the human motor control literature: the random reach task, suited to the dominant system, a model with better coordination, and the hold position task, suited to the non-dominant system, a model with more stable movement. Each system out-performed the non-favoured system in its preferred task. For both tasks, a bilateral model outperforms the 'non-preferred' hand, and is as good or better than the 'preferred' hand. The Corpus Callosum tends to improve performance, but not always for the specialised models.


title: A Wells-like exact sequence for abelian extensions of relative Rota--Baxter groups

abstract: Relative Rota--Baxter groups, a generalization of Rota--Baxter groups, are closely connected to skew left braces, which play a fundamental role in understanding non-degenerate set-theoretical solutions to the Yang-Baxter equation. In this paper, we explore the inducibility problem for automorphisms of abelian extensions of relative Rota--Baxter groups. This problem is intricately linked to the recently introduced second cohomology of relative Rota--Baxter groups. Specifically, we prove a Wells-like exact sequence for abelian extensions of relative Rota--Baxter groups. The sequence establishes a connection among the group of derivations, certain automorphism group, and the second cohomology of relative Rota--Baxter groups, thereby giving precise structural relationships between these groups.


title: Functors induced by comma categories

abstract: The purpose of category theory is to provide a collective description of many arrangements in mathematics, such as topological spaces, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the collection is provided by its associated left or right slice. The assignment of slices to objects extends to a functor from the base category, into the category of categories. We extend this observation to a more general situation of two categories $\mathcal{A}$ and $\mathcal{B}$ mapping into a third category $\mathcal{C}$, via functors $F,G$. Such arrangements abound in mathematics \cite{Lawvere1963semantics}, and are studied via the comma category $\left[ F; G\right]$. Objects in this category are morphisms between objects of $\mathcal{A}$ and $\mathcal{B}$, via the functors $F,G$. We show that these objects also have a natural interpretation as functors between slice categories of $\mathcal{A}$ and $\mathcal{B}$. Thus even though $\mathcal{A}$ and $\mathcal{B}$ may have completely disparate structures, some functors between their slices can be interpreted as morphisms in $\mathcal{C}$.


title: On Sparse Covers of Minor Free Graphs, Low Dimensional Metric Embeddings, and other applications

abstract: Given a metric space $(X,d_X)$, a $(\beta,s,\Delta)$-sparse cover is a collection of clusters $\mathcal{C}\subseteq P(X)$ with diameter at most $\Delta$, such that for every point $x\in X$, the ball $B_X(x,\frac\Delta\beta)$ is fully contained in some cluster $C\in \mathcal{C}$, and $x$ belongs to at most $s$ clusters in $\mathcal{C}$. Our main contribution is to show that the shortest path metric of every $K_r$-minor free graphs admits $(O(r),O(r^2),\Delta)$-sparse cover, and for every $\epsilon>0$, $(4+\epsilon,O(\frac1\epsilon)^r,\Delta)$-sparse cover (for arbitrary $\Delta>0$). We then use this sparse cover to show that every $K_r$-minor free graph embeds into $\ell_\infty^{\tilde{O}(\frac1\epsilon)^{r+1}\cdot\log n}$ with distortion $3+\eps$ (resp. into $\ell_\infty^{\tilde{O}(r^2)\cdot\log n}$ with distortion $O(r)$). Further, we provide applications of these sparse covers into padded decompositions, sparse partitions, universal TSP / Steiner tree, oblivious buy at bulk, name independent routing, and path reporting distance oracles.


title: Charged gravastar model in Rastall theory of gravity

abstract: Gravastars are considered as one of the prime exotic type compact objects which may be found at the end state of gravitational collapse of massive stars with a view to resolve the complexities that are pertinent in case of a black hole \cite{Mazur}-\cite{Mazur2}. In this paper, we analyse the role of charge on the possible formation of isotropic spherically symmetric gravastar configuration in the framework of Rastall gravity. Gravastar contains three distinct layers {\it viz.} i) Interior region, ii) Thin shell and iii) Exterior region. The interior region is characterised by the equation of state $p=-\rho$ that defines the repulsive outward pressure in radial direction at all points on the thin shell. The thin shell, contains ultra-relativistic stiff fluid which is denoted by the equation of state $p=\rho$ following Zel'dovich's criteria \cite{Zeldovich,Zeldovich1} for cold baryonic universe, can withstand the repulsive pressure exerted by the interior region. The exterior region is the vacuum space-time represented by the Reissner-Nordstr$\ddot{o}$m solution. In view of the above specifications, we construct and analyse a charged gravastar model in Rastall theory of gravity which represents several salient features. The basic physical attributes, {\it viz.} proper length, energy, entropy and equation of state parameter of the shell are investigated. In this model, it is interesting to note that for large value of the radius of hyper-surface (R) the EoS parameter of the thin shell corresponds to dark energy EoS with $\mathcal{W}(R)\rightarrow-1$. However, for small value of $R$ the EoS parameter $\mathcal{W}(R)\rightarrow0$, defines a dust shell. The stability of the model is ensured through the study of gravitational surface redshift and maximisation of shell entropy within the framework of Rastall theory of gravity.


title: Minimal doubling for small subsets in compact Lie groups

abstract: We prove a sharp bound for the minimal doubling of a small measurable subset of a compact connected Lie group. Namely, let $G$ be a compact connected Lie group of dimension $d_G$, we show that for for all measurable subsets $A$, we have $$\mu_G(A^2) \geq \left(2^{d_G-d_H} - C\mu_G(A)^{\frac{2}{d_G-d_H}}\right)\mu_G(A)$$ where $d_H$ is the maximal dimension of a proper closed subgroup $H$ and $C > 0$ is a dimensional constant. This settles a conjecture of Breuillard and Green, and recovers and improves - with completely different methods - a recent result of Jing--Tran--Zhang corresponding to the case $G=SO_3(\mathbb{R})$. As is often the case, the above doubling inequality stems from a special case of general product-set estimates. We prove that for all $\epsilon >0$ and for any pair of sufficiently small measurable subsets $A,B$ a Brunn--Minkowski-type inequality holds: $$ \mu_G(AB)^{\frac{1}{d_G-d_H}} \geq (1-\epsilon)\left( \mu_G(A)^{\frac{1}{d_G-d_H}} + \mu_G(B)^{\frac{1}{d_G-d_H}}\right).$$ Going beyond the scope of the Breuillard--Green conjecture, we prove a stability result asserting that the only subsets with close to minimal doubling are essentially neighbourhoods of proper subgroups i.e. of the form $$H_{\delta}:=\{g \in G: d(g,H)<\delta\}$$ where $H$ denotes a proper closed subgroup of maximal dimension, $d$ denotes a bi-invariant distance on $G$ and $\delta >0$. Our approach relies on a combination of two toolsets: optimal transports and its recent applications to the Brunn--Minkowski inequality, and the structure theory of compact approximate subgroups.


title: Distributions of energy, luminosity, duration, and waiting times of gamma-ray burst pulses with known redshift detected by Fermi/GBM

abstract: Discovered more than 50 years ago, gamma-ray burst (GRB) prompt emission remains the most puzzling aspect of GRB physics. Its complex and irregular nature should reveal how newborn GRB engines release their energy. In this respect, the possibility that GRB engines could operate as self-organized critical (SOC) systems has been put forward. Here, we present the energy, luminosity, waiting time, and duration distributions of individual pulses of GRBs with known redshift detected by the Fermi Gamma-ray Burst Monitor (GBM). This is the first study of this kind in which selection effects are accounted for. The compatibility of our results with the framework of SOC theory is discussed. We found evidence for an intrinsic break in the power-law models that describe the energy and the luminosity distributions.


title: Quantum Treatment of the Current through Plasma-Metal Junction: Fundamentals

abstract: We study the quantum nature of current through plasma-probe junction from the viewpoint of the metal probe. The intrinsic material properties of the metal and their influence on the nature of the observed current are theoretically worked out. The novel idea is that the plasma-sheath at the plasma-probe junction is treated as a potential barrier, and in analogy with the current conduction through a metal-metal junction, the current through the plasma-sheath is treated as a quantum barrier penetration problem. Essentially, we obtain an expression for the electron-current as a function of the bias voltage in its full range, thereby unlocking the intricate dependency of the current on the material properties of the probe.


title: Novel application of Relief Algorithm in cascaded artificial neural network to predict wind speed for wind power resource assessment in India

abstract: Wind power generated by wind has non-schedule nature due to stochastic nature of meteorological variable. Hence energy business and control of wind power generation requires prediction of wind speed (WS) from few seconds to different time steps in advance. To deal with prediction shortcomings, various WS prediction methods have been used. Predictive data mining offers variety of methods for WS predictions where artificial neural network (ANN) is one of the reliable and accurate methods. It is observed from the result of this study that ANN gives better accuracy in comparison conventional model. The accuracy of WS prediction models is found to be dependent on input parameters and architecture type algorithms utilized. So the selection of most relevant input parameters is important research area in WS predicton field. The objective of the paper is twofold: first extensive review of ANN for wind power and WS prediction is carried out. Discussion and analysis of feature selection using Relief Algorithm (RA) in WS prediction are considered for different Indian sites. RA identify atmospheric pressure, solar radiation and relative humidity are relevant input variables. Based on relevant input variables Cascade ANN model is developed and prediction accuracy is evaluated. It is found that root mean square error (RMSE) for comparison between predicted and measured WS for training and testing wind speed are found to be 1.44 m/s and 1.49 m/s respectively. The developed cascade ANN model can be used to predict wind speed for sites where there are not WS measuring instruments are installed in India.


title: CreativeSynth: Creative Blending and Synthesis of Visual Arts based on Multimodal Diffusion

abstract: Large-scale text-to-image generative models have made impressive strides, showcasing their ability to synthesize a vast array of high-quality images. However, adapting these models for artistic image editing presents two significant challenges. Firstly, users struggle to craft textual prompts that meticulously detail visual elements of the input image. Secondly, prevalent models, when effecting modifications in specific zones, frequently disrupt the overall artistic style, complicating the attainment of cohesive and aesthetically unified artworks. To surmount these obstacles, we build the innovative unified framework CreativeSynth, which is based on a diffusion model with the ability to coordinate multimodal inputs and multitask in the field of artistic image generation. By integrating multimodal features with customized attention mechanisms, CreativeSynth facilitates the importation of real-world semantic content into the domain of art through inversion and real-time style transfer. This allows for the precise manipulation of image style and content while maintaining the integrity of the original model parameters. Rigorous qualitative and quantitative evaluations underscore that CreativeSynth excels in enhancing artistic images' fidelity and preserves their innate aesthetic essence. By bridging the gap between generative models and artistic finesse, CreativeSynth becomes a custom digital palette.


title: Ta'keed: The First Generative Fact-Checking System for Arabic Claims

abstract: This paper introduces Ta'keed, an explainable Arabic automatic fact-checking system. While existing research often focuses on classifying claims as "True" or "False," there is a limited exploration of generating explanations for claim credibility, particularly in Arabic. Ta'keed addresses this gap by assessing claim truthfulness based on retrieved snippets, utilizing two main components: information retrieval and LLM-based claim verification. We compiled the ArFactEx, a testing gold-labelled dataset with manually justified references, to evaluate the system. The initial model achieved a promising F1 score of 0.72 in the classification task. Meanwhile, the system's generated explanations are compared with gold-standard explanations syntactically and semantically. The study recommends evaluating using semantic similarities, resulting in an average cosine similarity score of 0.76. Additionally, we explored the impact of varying snippet quantities on claim classification accuracy, revealing a potential correlation, with the model using the top seven hits outperforming others with an F1 score of 0.77.


title: Diffusion of light in structurally anisotropic media with uniaxial symmetry

abstract: Anisotropic light transport is extremely common among scattering materials, yet a comprehensive picture of how macroscopic diffusion is determined by microscopic tensor scattering coefficients is not fully established yet. In this work, we present a theoretical and experimental study of diffusion in structurally anisotropic media with uniaxially symmetric scattering coefficients. Exact analytical relations are derived in the case of index-matched turbid media, unveiling the general relation between microscopic scattering coefficients and the resulting macroscopic diffusion tensor along different directions. Excellent agreement is found against anisotropic Monte Carlo simulations up to high degrees of anisotropy, in contrast with previously proposed approaches. The obtained solutions are used to analyze experimental measurements of anisotropic light transport in polystyrene foam samples under different degrees of uniaxial compression, providing a practical example of their applicability.


title: Neural Sinkhorn Gradient Flow

abstract: Wasserstein Gradient Flows (WGF) with respect to specific functionals have been widely used in the machine learning literature. Recently, neural networks have been adopted to approximate certain intractable parts of the underlying Wasserstein gradient flow and result in efficient inference procedures. In this paper, we introduce the Neural Sinkhorn Gradient Flow (NSGF) model, which parametrizes the time-varying velocity field of the Wasserstein gradient flow w.r.t. the Sinkhorn divergence to the target distribution starting a given source distribution. We utilize the velocity field matching training scheme in NSGF, which only requires samples from the source and target distribution to compute an empirical velocity field approximation. Our theoretical analyses show that as the sample size increases to infinity, the mean-field limit of the empirical approximation converges to the true underlying velocity field. To further enhance model efficiency on high-dimensional tasks, a two-phase NSGF++ model is devised, which first follows the Sinkhorn flow to approach the image manifold quickly ($\le 5$ NFEs) and then refines the samples along a simple straight flow. Numerical experiments with synthetic and real-world benchmark datasets support our theoretical results and demonstrate the effectiveness of the proposed methods.


title: Abrupt and persistent atmospheric circulation changes in the North Atlantic under La Ni\~na conditions

abstract: Several recent studies have linked the exceptional North Atlantic and Eurasian atmospheric evolution during late February and March 2018 to the Sudden Stratospheric Warming (SSW) that took place a few weeks earlier. February 2018 was characterized by an abrupt transition from the positive to the negative phase of the North Atlantic Oscillation (NAO) and a subsequent persistence of the negative NAO for several weeks. This paper investigates the contribution of atmospheric and oceanic phenomena to both the 2018 event and a set of 19 identified analogues (including the former) for the period 1959-2022. Evidence is given that La Ni\~na conditions in the tropical Pacific and upstream North Atlantic cyclones play an important role as a trigger for these events. Ensuing two-way tropospheric-stratospheric coupling and eddy feedbacks provide extended-range persistence for negative NAO conditions. These results may help improve the prediction of such exceptional events.


title: Controlling surface acoustic waves (SAWs) via temporally graded metasurfaces

abstract: In this manuscript, the temporal rainbow effect for surface acoustic waves (SAW) is illustrated through a temporal analog of space metagradings. We show that a time-modulated array of mechanical resonators induces a wavenumber-preserving frequency transformation which, in turn, dictates Rayleigh-to-Shear wave conversion. The process is unfolded through the adiabatic theorem, which allows us to delineate the transition between a solely frequency-converted wave packet and a temporally-driven mode conversion. In other words, our paper explores the role of time modulation in the context of elastic metasurfaces, and we envision our implementation to be suitable for designing a new family of SAW devices with frequency conversion, mode conversion, and unusual transport capabilities.


title: Gamma rays from dark matter spikes in EAGLE simulations

abstract: Intermediate Mass Black Holes (IMBHs) with a mass range between $100 \, \text{M}_\odot$ and $10^6 \, \text{M}_\odot$ are expected to be surrounded by high dark matter densities, so-called dark matter spikes. The high density of self-annihilating Weakly Interacting Massive Particles (WIMPs) in these spikes leads to copious gamma-ray production. Sufficiently nearby IMBHs could therefore appear as unidentified gamma-ray sources. However, the number of IMBHs and their distribution within our own Milky Way is currently unknown. In this work, we provide a mock catalogue of IMBHs and their dark matter spikes obtained from the EAGLE simulations, in which black holes with a mass of $10^5 \, \text{M}_\odot/h$ are seeded into the centre of halos greater than $10^{10} \, \text{M}_\odot/h$ to model black hole feedback influencing the formation of galaxies. The catalogue contains the coordinates and dark matter spike parameters for over 2500 IMBHs present in about 150 Milky Way-like galaxies. We expect about $15^{+9}_{-6}$ IMBHs within our own galaxy, mainly distributed in the Galactic Centre and the Galactic Plane. In the most optimistic scenario, we find that current and future gamma-ray observatories, such as Fermi-LAT, H.E.S.S. and CTA, would be sensitive enough to probe the cross section of dark matter self-annihilation around IMBHs down to many orders of magnitude below the thermal relic cross section for dark matter particles with masses from GeV to TeV. We have made the IMBH mock catalogue and the source code for our analysis publicly available, providing the resources to study dark matter self-annihilation around IMBHs with current and upcoming gamma-ray observatories.


title: Optical phase encoding in pulsed approach to reservoir computing

abstract: The exploitation of the full structure of multimode light fields enables compelling capabilities in many fields including classical and quantum information science. We exploit data-encoding on the optical phase of the pulses of a femtosecond laser source for a photonic implementation of a reservoir computing protocol. Rather than intensity detection, data-reading is done via homodyne detection that accesses combinations of amplitude and phase of the field. Numerical and experimental results on NARMA tasks and laser dynamic predictions are shown. We discuss perspectives for quantum enhanced protocols.


title: ProCNS: Progressive Prototype Calibration and Noise Suppression for Weakly-Supervised Medical Image Segmentation

abstract: Weakly-supervised segmentation (WSS) has emerged as a solution to mitigate the conflict between annotation cost and model performance by adopting sparse annotation formats (e.g., point, scribble, block, etc.). Typical approaches attempt to exploit anatomy and topology priors to directly expand sparse annotations into pseudo-labels. However, due to a lack of attention to the ambiguous edges in medical images and insufficient exploration of sparse supervision, existing approaches tend to generate erroneous and overconfident pseudo proposals in noisy regions, leading to cumulative model error and performance degradation. In this work, we propose a novel WSS approach, named ProCNS, encompassing two synergistic modules devised with the principles of progressive prototype calibration and noise suppression. Specifically, we design a Prototype-based Regional Spatial Affinity (PRSA) loss to maximize the pair-wise affinities between spatial and semantic elements, providing our model of interest with more reliable guidance. The affinities are derived from the input images and the prototype-refined predictions. Meanwhile, we propose an Adaptive Noise Perception and Masking (ANPM) module to obtain more enriched and representative prototype representations, which adaptively identifies and masks noisy regions within the pseudo proposals, reducing potential erroneous interference during prototype computation. Furthermore, we generate specialized soft pseudo-labels for the noisy regions identified by ANPM, providing supplementary supervision. Extensive experiments on three medical image segmentation tasks involving different modalities demonstrate that the proposed framework significantly outperforms representative state-of-the-art methods


title: Generation of High-Brilliance Polarized $\gamma$-Rays via Vacuum Dichroism-assisted Vacuum Birefringence

abstract: We put forward a novel method to generate high-brilliance polarized $\gamma$-photon beams via vacuum dichroism (VD)-assisted vacuum birefringence (VB) effect. We split a linearly polarized (LP) laser pulse into two subpulses with the first one colliding with a dense unpolarized electron beam to generate LP $\gamma$ photons (via nonlinear Compton scattering), which then further collide with the second subpulse and are partially transformed into circularly polarized ones via the VB effect. We find that by manipulating the relative polarization of two subpulses, one can ``purify'' (i.e., enhance) the polarization of the $\gamma$-photon beam via the VD effect. Due to the VD assistance, the VB effect reaches optimal when the relative polarization is nearly $30^\circ$, not the widely used $45^\circ$ in the common VB detection methods. In addition, our method can be used to efficiently confirm the well-known VB effect itself, which has not been directly observed in experiments yet.


title: Quantum Resistant Ciphertext-Policy Attribute-Based Encryption Scheme with Flexible Access Structure

abstract: In this paper, we present a novel ciphertext-policy attribute based encryption (CP-ABE) scheme that offers a flexible access structure. Our proposed scheme incorporates an access tree as its access control policy, enabling fine-grained access control over encrypted data. The security of our scheme is provable under the hardness assumption of the decisional Ring-Learning with Errors (R-LWE) problem, ensuring robust protection against unauthorized access. CP-ABE is a cryptographic technique that allows data owners to encrypt their data with access policies defined in terms of attributes. Only users possessing the required attributes can decrypt and access the encrypted data. Our scheme extends the capabilities of CP-ABE by introducing a flexible access structure based on an access tree. This structure enables more complex and customizable access policies, accommodating a wider range of real-world scenarios. To ensure the security of our scheme, we rely on the decisional R-LWE problem, a well-established hardness assumption in cryptography. By proving the security of our scheme under this assumption, we provide a strong guarantee of protection against potential attacks. Furthermore, our proposed scheme operates in the standard model, which means it does not rely on any additional assumptions or idealized cryptographic primitives. This enhances the practicality and applicability of our scheme, making it suitable for real-world deployment. We evaluate the performance and efficiency of our scheme through extensive simulations and comparisons with existing CP-ABE schemes. The results demonstrate the effectiveness and scalability of our proposed approach, highlighting its potential for secure and flexible data access control in various domains.


title: LongMemory.jl: Generating, Estimating, and Forecasting Long Memory Models in Julia

abstract: LongMemory.jl is a package for time series long memory modelling in Julia. The package provides functions to generate long memory, estimate model parameters, and forecast. Generating methods include fractional differencing, stochastic error duration, and cross-sectional aggregation. Estimators include the classic ones used to estimate the Hurst effect, those inspired by log-periodogram regression, and parametric ones. Forecasting is provided for all parametric estimators. Moreover, the package adds plotting capabilities to illustrate long memory dynamics and forecasting. This article presents the theoretical developments for long memory modelling, show examples using the data included with the package, and compares the properties of LongMemory.jl with current alternatives, including benchmarks. For some of the theoretical developments, LongMemory.jl provides the first publicly available implementation in any programming language. A notable feature of this package is that all functions are implemented in the same programming language, taking advantage of the ease of use and speed provided by Julia. Therefore, all code is accessible to the user. Multiple dispatch, a novel feature of the language, is used to speed computations and provide consistent calls to related methods. The package is related to the R packages LongMemoryTS and fracdiff.


title: The Adaptive Architectural Layout: How the Control of a Semi-Autonomous Mobile Robotic Partition was Shared to Mediate the Environmental Demands and Resources of an Open-Plan Office

abstract: A typical open-plan office layout is unable to optimally host multiple collocated work activities, personal needs, and situational events, as its space exerts a range of environmental demands on workers in terms of maintaining their acoustic, visual or privacy comfort. As we hypothesise that these demands could be coped by optimising the environmental resources of the architectural layout, we deployed a mobile robotic partition that autonomously manoeuvres between predetermined locations. During a five-weeks in-the-wild study within a real-world open-plan office, we studied how 13 workers adopted four distinct adaptation strategies when sharing the spatiotemporal control of the robotic partition. Based on their logged and self-reported reasoning, we present six initiation regulating factors that determine the appropriateness of each adaptation strategy. This study thus contributes to how future human-building interaction could autonomously improve the experience, comfort, performance, and even the health and wellbeing of multiple workers that share the same workplace.


title: From Requirements to Architecture: An AI-Based Journey to Semi-Automatically Generate Software Architectures

abstract: Designing domain models and software architectures represents a significant challenge in software development, as the resulting architectures play a vital role in fulfilling the system's quality of service. Due to time pressure, architects often model only one architecture based on their known limited domain understanding, patterns, and experience instead of thoroughly analyzing the domain and evaluating multiple candidates, selecting the best fitting. Existing approaches try to generate domain models based on requirements, but still require time-consuming manual effort to achieve good results. Therefore, in this vision paper, we propose a method to generate software architecture candidates semi-automatically based on requirements using artificial intelligence techniques. We further envision an automatic evaluation and trade-off analysis of the generated architecture candidates using, e.g., the architecture trade-off analysis method combined with large language models and quantitative analyses. To evaluate this approach, we aim to analyze the quality of the generated architecture models and the efficiency and effectiveness of our proposed process by conducting qualitative studies.


title: Light-induced photodissociation on the lowest three electronic states of NaH molecule

abstract: It has been known that electronic conical intersections in a molecular system can also be created by laser light even in diatomics. The direct consequence of these light-induced degeneracies is the appearance of a strong mixing between the electronic and vibrational motions, which has a strong fingerprint on the ultrafast nuclear dynamics. In the present work, pump and probe numerical simulations have been performed with the NaH molecule involving the first three singlet electronic states (X1{\Sigma}+(X), A1{\Sigma}+(A) and B1{\Pi}(B)) and several light-induced degeneracies in the numerical description. To demonstrate the impact of the multiple light-induced non-adiabatic effects together with the molecular rotation on the dynamical properties of the molecule, the dissociation probabilities, kinetic energy release spectra (KER) and the angular distributions of the photofragments were calculated by discussing the role of the permanent dipole moment as well.


title: Accelerating Fractional PINNs using Operational Matrices of Derivative

abstract: This paper presents a novel operational matrix method to accelerate the training of fractional Physics-Informed Neural Networks (fPINNs). Our approach involves a non-uniform discretization of the fractional Caputo operator, facilitating swift computation of fractional derivatives within Caputo-type fractional differential problems with $0<\alpha<1$. In this methodology, the operational matrix is precomputed, and during the training phase, automatic differentiation is replaced with a matrix-vector product. While our methodology is compatible with any network, we particularly highlight its successful implementation in PINNs, emphasizing the enhanced accuracy achieved when utilizing the Legendre Neural Block (LNB) architecture. LNB incorporates Legendre polynomials into the PINN structure, providing a significant boost in accuracy. The effectiveness of our proposed method is validated across diverse differential equations, including Delay Differential Equations (DDEs) and Systems of Differential Algebraic Equations (DAEs). To demonstrate its versatility, we extend the application of the method to systems of differential equations, specifically addressing nonlinear Pantograph fractional-order DDEs/DAEs. The results are supported by a comprehensive analysis of numerical outcomes.


title: Spatially localized scalar structures on hyperscaling violating geometries

abstract: In this work, we investigate probe scalar field models preserving covariance on fixed, static background geometries that present hyperscaling violation properties. We develop a first-order framework that rises from restrictions on the dynamical and hyperscaling violating exponents. The results show that stable, analytical kink-like solutions and their respective energy densities can be obtained for a general class of models. In the canonical model, in particular, these solutions minimize the energy of the system.


title: The radiative and dynamical impact of clouds in the atmosphere of the hot Jupiter WASP-43 b

abstract: Hot Jupiters exhibit large day-night temperature contrasts. Their cooler nightsides are thought to host clouds. However, the exact nature of these clouds, their spatial distribution, and their impact on atmospheric dynamics, thermal structure, and spectra is still unclear. We investigate the atmosphere of WASP-43 b, a short period hot Jupiter recently observed with JWST, to understand the radiative and dynamical impact of clouds on the atmospheric circulation and thermal structure. We aim to understand the impact of different kinds of condensates potentially forming in WASP-43 b, with various sizes and atmospheric metallicities. We used a 3D global climate model (GCM) with a new temperature-dependent cloud model that includes radiative feed-backs coupled with hydrodynamical integrations to study the atmospheric properties of WASP-43 b. We produced observables from our simulations and compared them to spectral phase curves from various observations. We show that clouds have a net warming effect, meaning that the greenhouse effect caused by clouds is stronger than the albedo cooling effect. We show that the radiative effect of clouds has various impacts on the dynamical and thermal structure of WASP-43 b. Depending on the type of condensates and their sizes, the radiative-dynamical feedback will modify the horizontal and vertical temperature gradient and reduce the wind speed. For super-solar metallicity atmospheres, fewer clouds form in the atmosphere, leading to a weaker feedback. Comparisons with spectral phase curves observed with HST, Spitzer, and JWST indicate that WASP-43 b s nightside is cloudy and rule out sub-micron Mg2SiO4 cloud particles as the main opacity source. Distinguishing between cloudy solar and cloudy super-solar-metallicity atmospheres is not straightforward, and further observations of both reflected light and thermal emission are needed.


title: Can radial temperature profiles be inferred using NH3 (1, 1) and (2, 2) observations?

abstract: A number of works infer radial temperature profiles of envelopes surrounding young stellar objects using several rotational transitions in a pixel-by-pixel or azimuthally-averaged basis. However, in many cases the assumption that the rotational temperature is constant along the line of sight is made, while this is not the case when a partially resolved envelope, assumed to be spherically symmetric, is used to obtain values of temperature for different projected radii. This kind of analysis (homogeneous analysis) is intrinsically inconsistent. By using a spherical envelope model to interpret NH3 (1, 1) and (2, 2) observations, we tested how robust it is to infer radial temperature profiles of an envelope. The temperature and density of the model envelope are power laws of radius, but the density can be flat for an inner central part. The homogeneous analysis was applied to obtain radial temperature profiles, and resulted that for small projected radii, where the optical depth of the lines is high, the homogeneous temperature can be much higher than the actual envelope temperature. In general, for larger projected radii, both the temperature and the temperature power-law index can be underestimated by as much as 40%, and 0.15, respectively. We applied this study to the infrared dark cloud G14.225-0.506 for which the radial temperature profile was previously derived from the dust emission at submillimeter wavelengths and the spectral energy distribution. As expected, the homogeneous analysis underestimated both the temperature and the temperature power-law index.


title: Enhanced Multi-Target Tracking in Dynamic Environments: Distributed Control Methods Within the Random Finite Set Framework

abstract: Tracking multiple targets in dynamic environments using distributed sensor networks is a challenging problem that has received significant attention in recent years. In such scenarios, the network of sensors must coordinate their actions to estimate the locations and trajectories of multiple targets accurately. Multi-sensor control methods can improve the performance of these networks by enabling efficient utilization of resources and enhancing the accuracy of the estimated target states. This paper proposes two novel multi-sensor control methods that utilize the Random Finite Set (RFS) framework to address this problem. Our methods improve computational tractability and enable fully distributed control, making them suitable for real-time applications.


title: Generating Likely Counterfactuals Using Sum-Product Networks

abstract: Explainability of decisions made by AI systems is driven by both recent regulation and user demand. These decisions are often explainable only \emph{post hoc}, after the fact. In counterfactual explanations, one may ask what constitutes the best counterfactual explanation. Clearly, multiple criteria must be taken into account, although "distance from the sample" is a key criterion. Recent methods that consider the plausibility of a counterfactual seem to sacrifice this original objective. Here, we present a system that provides high-likelihood explanations that are, at the same time, close and sparse. We show that the search for the most likely explanations satisfying many common desiderata for counterfactual explanations can be modeled using mixed-integer optimization (MIO). In the process, we propose an MIO formulation of a Sum-Product Network (SPN) and use the SPN to estimate the likelihood of a counterfactual, which can be of independent interest.


title: Costly Persuasion by a Partially Informed Sender

abstract: I study a model of costly Bayesian persuasion by a privately and partially informed sender who conducts a public experiment. The cost of running an experiment is the expected reduction of a weighted log-likelihood ratio function of the sender's belief. This is microfounded by a Wald sequential sampling problem where good news and bad news cost differently. I focus on equilibria that satisfy the D1 criterion. The equilibrium outcome depends crucially on the relative costs of drawing good and bad news in the experiment. If bad news is more costly, there exists a unique separating equilibrium, and the receiver unambiguously benefits from the sender's private information. If good news is more costly, the single-crossing property fails. There may exist pooling and partial pooling equilibria, and in some equilibria, the receiver strictly suffers from sender private information.


title: Double Trouble? Impact and Detection of Duplicates in Face Image Datasets

abstract: Various face image datasets intended for facial biometrics research were created via web-scraping, i.e. the collection of images publicly available on the internet. This work presents an approach to detect both exactly and nearly identical face image duplicates, using file and image hashes. The approach is extended through the use of face image preprocessing. Additional steps based on face recognition and face image quality assessment models reduce false positives, and facilitate the deduplication of the face images both for intra- and inter-subject duplicate sets. The presented approach is applied to five datasets, namely LFW, TinyFace, Adience, CASIA-WebFace, and C-MS-Celeb (a cleaned MS-Celeb-1M variant). Duplicates are detected within every dataset, with hundreds to hundreds of thousands of duplicates for all except LFW. Face recognition and quality assessment experiments indicate a minor impact on the results through the duplicate removal. The final deduplication data is publicly available.


title: GQHAN: A Grover-inspired Quantum Hard Attention Network

abstract: Numerous current Quantum Machine Learning (QML) models exhibit an inadequacy in discerning the significance of quantum data, resulting in diminished efficacy when handling extensive quantum datasets. Hard Attention Mechanism (HAM), anticipated to efficiently tackle the above QML bottlenecks, encounters the substantial challenge of non-differentiability, consequently constraining its extensive applicability. In response to the dilemma of HAM and QML, a Grover-inspired Quantum Hard Attention Mechanism (GQHAM) consisting of a Flexible Oracle (FO) and an Adaptive Diffusion Operator (ADO) is proposed. Notably, the FO is designed to surmount the non-differentiable issue by executing the activation or masking of Discrete Primitives (DPs) with Flexible Control (FC) to weave various discrete destinies. Based on this, such discrete choice can be visualized with a specially defined Quantum Hard Attention Score (QHAS). Furthermore, a trainable ADO is devised to boost the generality and flexibility of GQHAM. At last, a Grover-inspired Quantum Hard Attention Network (GQHAN) based on QGHAM is constructed on PennyLane platform for Fashion MNIST binary classification. Experimental findings demonstrate that GQHAN adeptly surmounts the non-differentiability hurdle, surpassing the efficacy of extant quantum soft self-attention mechanisms in accuracies and learning ability. In noise experiments, GQHAN is robuster to bit-flip noise in accuracy and amplitude damping noise in learning performance. Predictably, the proposal of GQHAN enriches the Quantum Attention Mechanism (QAM), lays the foundation for future quantum computers to process large-scale data, and promotes the development of quantum computer vision.


title: A Modular Approach to Automatic Cyber Threat Attribution using Opinion Pools

abstract: Cyber threat attribution can play an important role in increasing resilience against digital threats. Recent research focuses on automating the threat attribution process and on integrating it with other efforts, such as threat hunting. To support increasing automation of the cyber threat attribution process, this paper proposes a modular architecture as an alternative to current monolithic automated approaches. The modular architecture can utilize opinion pools to combine the output of concrete attributors. The proposed solution increases the tractability of the threat attribution problem and offers increased usability and interpretability, as opposed to monolithic alternatives. In addition, a Pairing Aggregator is proposed as an aggregation method that forms pairs of attributors based on distinct features to produce intermediary results before finally producing a single Probability Mass Function (PMF) as output. The Pairing Aggregator sequentially applies both the logarithmic opinion pool and the linear opinion pool. An experimental validation suggests that the modular approach does not result in decreased performance and can even enhance precision and recall compared to monolithic alternatives. The results also suggest that the Pairing Aggregator can improve precision over the linear and logarithmic opinion pools. Furthermore, the improved k-accuracy in the experiment suggests that forensic experts can leverage the resulting PMF during their manual attribution processes to enhance their efficiency.


title: Rapid evolution of the recurrence time in the repeating partial tidal disruption event eRASSt J045650.3-203750

abstract: In this letter, we present the results from further X-ray and UV observations of the nuclear transient eRASSt J045650.3-203750 (hereafter J0456-20). We detected five repeating X-ray and UV flares from J0456-20, making it one of the most promising repeating partial tidal disruption event (pTDE) candidates. More importantly, we also found rapid changes in the recurrence time $T_\text{recur}$ of the X-ray flares by modelling the long-term X-ray light curve of J0456-20. $T_\text{recur}$ first decreased rapidly from about 300 days to around 230 days. It continued to decrease to around 190 days with an indication of a constant $T_\text{recur}$ evidenced from the latest three cycles. Our hydrodynamic simulations suggest that, in the repeating pTDE scenario, such rapid evolution of $T_\text{recur}$ could be reproduced if the original star is a $1~\mathrm{M}_\odot$ main-sequence star near the terminal age and loses nearly 80-90% of its mass during the initial encounter with a supermassive black hole (SMBH) of mass around $10^5~\mathrm{M}_\odot$. The inferred mass loss of 0.8-0.9 $\mathrm{M}_\odot$ is higher than the estimated value of around 0.13 $\mathrm{M}_\odot$ from observation, which could be explained if the radiation efficiency is low (i.e. $\ll0.1$). Our results indicate that repeating pTDEs could be effective tools to explore the dynamics around supermassive black holes beyond our own Galaxy.


title: Observing naked singularities by the present and next-generation Event Horizon Telescope

abstract: We consider the observational signatures of reflective naked singularities as seen by the current and next-generation Event Horizon Telescope (EHT). The reflective naked singularities lead to a distinctive morphology of their accretion disk images producing a series of bright rings at the central part of the image. We explore the capacity of the present and near-future EHT arrays to detect this structure considering two particular naked singularity spacetimes and modeling the galactic target M87*. We obtain that the 2017 EHT array is incapable of resolving the bright ring series. However, it detects an increased overall intensity of the central brightness depression reaching with an order of magnitude higher values than for the Kerr black hole. This metric can be used as a quantitative measure for the absence of an event horizon. The observations with the next-generation EHT at 230 GHz would reveal two orders of magnitude difference in the intensity of the central brightness depression between naked singularities and black holes. Introducing a second observational frequency at 345 GHz would already resolve qualitative effects in the morphology of the disk image for naked singularities as certain bright spots become apparent at the center of the image.


title: McUDI: Model-Centric Unsupervised Degradation Indicator for Failure Prediction AIOps Solutions

abstract: Due to the continuous change in operational data, AIOps solutions suffer from performance degradation over time. Although periodic retraining is the state-of-the-art technique to preserve the failure prediction AIOps models' performance over time, this technique requires a considerable amount of labeled data to retrain. In AIOps obtaining label data is expensive since it requires the availability of domain experts to intensively annotate it. In this paper, we present McUDI, a model-centric unsupervised degradation indicator that is capable of detecting the exact moment the AIOps model requires retraining as a result of changes in data. We further show how employing McUDI in the maintenance pipeline of AIOps solutions can reduce the number of samples that require annotations with 30k for job failure prediction and 260k for disk failure prediction while achieving similar performance with periodic retraining.


title: ODC and ROC curves, comparison curves, and stochastic dominance

abstract: We discuss two novel approaches to the classical two-sample problem. Our starting point are properly standardized and combined, very popular in several areas of statistics and data analysis, ordinal dominance and receiver characteristic curves, denoted by ODC and ROC, respectively. The proposed new curves are termed the comparison curves. Their estimates, being weighted rank processes on (0,1), form the basis of inference. These weighted processes are intuitive, well-suited for visual inspection of data at hand, and are also useful for constructing some formal inferential procedures. They can be applied to several variants of two-sample problem. Their use can help to improve some existing procedures both in terms of power and the ability to identify the sources of departures from the postulated model. To simplify interpretation of finite sample results we restrict attention to values of the processes on a finite grid of points. This results in the so-called bar plots (B-plots) which readably summarize the information contained in the data. What is more, we show that B-plots along with adjusted simultaneous acceptance regions provide principled information about where the model departs from the data. This leads to a framework which facilitates identification of regions with locally significant differences. We show an implementation of the considered techniques to a standard stochastic dominance testing problem. Some min-type statistics are introduced and investigated. A simulation study compares two tests pertinent to the comparison curves to well-established tests in the literature and demonstrates the strong and competitive performance of the former in many typical situations. Some real data applications illustrate simplicity and practical usefulness of the proposed approaches. A range of other applications of considered weighted processes is briefly discussed too.


title: Evaluating User Experience and Data Quality in a Gamified Data Collection for Appearance-Based Gaze Estimation

abstract: Appearance-based gaze estimation, which uses only a regular camera to estimate human gaze, is important in various application fields. While the technique faces data bias issues, data collection protocol is often demanding, and collecting data from a wide range of participants is difficult. It is an important challenge to design opportunities that allow a diverse range of people to participate while ensuring the quality of the training data. To tackle this challenge, we introduce a novel gamified approach for collecting training data. In this game, two players communicate words via eye gaze through a transparent letter board. Images captured during gameplay serve as valuable training data for gaze estimation models. The game is designed as a physical installation that involves communication between players, and it is expected to attract the interest of diverse participants. We assess the game's significance on data quality and user experience through a comparative user study.


title: The admissible KMS bundles on classifiable C$^*$-algebras

abstract: Given any unital, finite, classifiable C$^*$-algebra $A$ with real rank zero and any compact simplex bundle with the fibre at zero being homeomorphic to the space of tracial states on $A$, we show that there exists a flow on $A$ realising this simplex. Moreover, we show that given any unital UCT Kirchberg algebra $A$ and any proper simplex bundle with empty fibre at zero, there exists a flow on $A$ realising this simplex.


title: Prescribed mean curvature hypersurfaces in conformal product manifolds

abstract: In this paper we give the existence of prescribed mean curvature (PMC) hypersurfaces in conformal product manifolds with (possibly empty) $C^{1,\alpha}$ fixed graphical boundaries under a barrier condition. This generalizes Gerhardt's result in conformally flat spaces. It provides new examples of the Plateau problem of PMC hypersurfaces with clear topology under high dimensions. In addition, if a quasi-decreasing condition of PMC functions is satisfied, such PMC hypersurfaces are $C^1$ graphs.


title: Carry Your Fault: A Fault Propagation Attack on Side-Channel Protected LWE-based KEM

abstract: Post-quantum cryptographic (PQC) algorithms, especially those based on the learning with errors (LWE) problem, have been subjected to several physical attacks in the recent past. Although the attacks broadly belong to two classes - passive side-channel attacks and active fault attacks, the attack strategies vary significantly due to the inherent complexities of such algorithms. Exploring further attack surfaces is, therefore, an important step for eventually securing the deployment of these algorithms. Also, it is important to test the robustness of the already proposed countermeasures in this regard. In this work, we propose a new fault attack on side-channel secure masked implementation of LWE-based key-encapsulation mechanisms (KEMs) exploiting fault propagation. The attack typically originates due to an algorithmic modification widely used to enable masking, namely the Arithmetic-to-Boolean (A2B) conversion. We exploit the data dependency of the adder carry chain in A2B and extract sensitive information, albeit masking (of arbitrary order) being present. As a practical demonstration of the exploitability of this information leakage, we show key recovery attacks of Kyber, although the leakage also exists for other schemes like Saber. The attack on Kyber targets the decapsulation module and utilizes Belief Propagation (BP) for key recovery. To the best of our knowledge, it is the first attack exploiting an algorithmic component introduced to ease masking rather than only exploiting the randomness introduced by masking to obtain desired faults (as done by Delvaux). Finally, we performed both simulated and electromagnetic (EM) fault-based practical validation of the attack for an open-source first-order secure Kyber implementation running on an STM32 platform.


title: On a transformation of triple $q$-series and Rogers--Hecke type series

abstract: Using the method of $q$-exponential differential operator we give an extension of the Sears $_4\phi_3$ transformation formula. Based on this extended formula and a $q$-series expansion formula for an analytic function around the origin, we present a transformation formula for triple $q$-series, which includes several interesting special cases, especially a double $q$-series summation formula. Some application of this transformation formula to Rogers--Hecke type series are discussed. More than 100 Rogers--Hecke type identities including Andrews's identities for the sums of three squares and the sums of three triangular numbers are obtained.


title: Randomized Complexity of Mean Computation and the Adaption Problem

abstract: Recently the adaption problem of Information-Based Complexity (IBC) for linear problems in the randomized setting was solved in Heinrich (J. Complexity 82, 2024, 101821). Several papers treating further aspects of this problem followed. However, all examples obtained so far were vector-valued. In this paper we settle the scalar-valued case. We study the complexity of mean computation in finite dimensional sequence spaces with mixed $L_p^N$ norms. We determine the $n$-th minimal errors in the randomized adaptive and non-adaptive setting. It turns out that among the problems considered there are examples where adaptive and non-adaptive $n$-th minimal errors deviate by a power of $n$. The gap can be (up to log factors) of the order $n^{1/4}$. We also show how to turn such results into infinite dimensional examples with suitable deviation for all $n$ simultaneously.


title: Few-magnon excitations in a frustrated spin-$S$ ferromagnetic chain with single-ion anisotropy

abstract: We study few-magnon excitations in a finite-size spin-$S$ chain with ferromagnetic nearest-neighbor (NN) interaction $J>0$ and antiferromagnetic next-nearest-neighbor (NNN) interaction $J'<0$, in the presence of the single-ion (SI) anisotropy $D$. We first reveal the condition for the emergence of zero-excitation-energy states. In the isotropic case with $\Delta=\Delta'=1$ ($\Delta$ and $\Delta'$ are the corresponding anisotropy parameters), a threshold of $J/|J'|$ above which the ground state is ferromagnetic is determined by exact diagonalization for short chains up to $12$ sites. Using a set of exact two-magnon Bloch states, we then map the two-magnon problem to a single-particle one on an effective open chain with both NN and NNN hoppings. The whole two-magnon excitation spectrum is calculated for large systems and the commensurate-incommensurate transition in the lowest-lying mode is found to exhibit different behaviors between $S=1/2$ and higher spins due to the interplay of the SI anisotropy and the NNN interaction. For the commensurate momentum $k=-\pi$, the effective lattice is decoupled into two NN open chains that can be exactly solved via a plane-wave ansatz. Based on this, we analytically identify in the $\Delta'-D/|J'|$ plane the regions supporting the SI or NNN exchange two-magnon bound states near the edge of the band. In particular, we prove that there always exists a lower-lying NN exchange two-magnon bound state near the band edge for arbitrary $S\geq 1/2$. Finally, we numerically calculate the $n$-magnon spectra for $S=1/2$ with $n\leq5$ by using a spin-operator matrix element method. The corresponding $n$-magnon commensurate instability regions are determined for finite chains and consistent results with prior literature are observed.


title: Behavior of solutions to semilinear evolution inequalities in an annulus: the critical cases

abstract: In the present paper, we consider the parabolic and hyperbolic inequalities with a singular potentials and with a critical nonlinearities in the annulus domain. The problems are studied with Neumann-type and Dirichlet-type boundary conditions on the boundary. Moreover, we study the systems of problems too. We have proved that the above problems are globally unsolvable in critical cases, thereby filling the gaps the recent results by Jleli and Samet in [J. Math. Anal. Appl. 514: 2 (2022)] and in [Anal. Math. Phys. 12: 90 (2022)]. Proofs are carried out using the method of test functions with logarithmic arguments, which is being developed for the first time in bounded domains.


title: Inverse source problem for discrete Helmholtz equation

abstract: We consider multi-frequency inverse source problem for the discrete Helmholtz operator on the square lattice $\mathbb{Z}^d$, $d \ge 1$. We consider this problem for the cases with and without phase information. We prove uniqueness results and present examples of non-uniqueness for this problem for the case of compactly supported source function. Relations with inverse scattering problem for the discrete Schr\"{o}dinger operators in the Born approximation are also provided.


title: Label-free detection of exosomes from different cellular sources based on surface-enhanced Raman spectroscopy combined with machine learning models

abstract: Exosomes are significant facilitators of inter-cellular communication that can unveil cell-cell interactions, signaling pathways, regulatory mechanisms and disease diagnostics. Nonetheless, current analysis required large amount of data for exosome identification that it hampers efficient and timely mechanism study and diagnostics. Here, we used a machine-learning assisted Surface-enhanced Raman spectroscopy (SERS) method to detect exosomes derived from six distinct cell lines (HepG2, Hela, 143B, LO-2, BMSC, and H8) with small amount of data. By employing sodium borohydride-reduced silver nanoparticles and sodium borohydride solution as an aggregating agent, 100 SERS spectra of the each types of exosomes were collected and then subjected to multivariate and machine learning analysis. By integrating Principal Component Analysis with Support Vector Machine (PCA-SVM) models, our analysis achieved a high accuracy rate of 94.4% in predicting exosomes originating from various cellular sources. In comparison to other machine learning analysis, our method used small amount of SERS data to allow a simple and rapid exosome detection, which enables a timely subsequent study of cell-cell interactions, communication mechanisms, and disease mechanisms in life sciences.


title: An atomically efficient, highly stable and redox active Ce0.5Tb0.5Ox (3% mol.)/MgO catalyst for total oxidation of methane

abstract: Redox and catalytic performance in total methane oxidation of a nonostructured ceria-terbia catalyst supported on magnesia is presented and compared to that of a pure ceria catalyst supported on MgO. The investigated material, Ce0.5Tb0.5Ox (3% mol.)/MgO, features several remarkable properties: a quite low total molar loading of the two lanthanide elements, high reducibility, as well as very high oxygen storage capacity al low temperatures and higher activity than MgO-supported ceria. In terms of lanthanide atomic content the catalytic performance of Ce0.5Tb0.5Ox (3% mol.)/MgO largely improves compared to that of bulk type ceria and ceria-magnesia solid solutions. Such a behavior implies proper optimization of the usage of lanthanide elements. A second contribution to atomic economy in the catalyst design relates to the fact that the new formulation demonstrate a stabilyty in the redox and catalytic performance against very high temperature treatments. An investigation on the structure of both the fresh and high-temperature-aged catalyst at the atomic scale by means of complementary aberration corrected microscopy techniques, reveals the ocuurrence of a variety of exotic, lanthanide-containing nanostructures, which span fron isolated, atomically dispersed Ln species to nonometer-sized CeTbO2-x patches, extended CeTbO2-x bilayers and 2D CeTbO2-x nanoparticles. Nanoanalytical results evidence the mixing of the two lanthanides at atomic levels in these nanostructures. The combined effects of nanostructuring, mixing of the lanthanides at the atomic level, and interaction with the MgO oxide are the roots of the improvement in funtional, redox and catalytic properties of the novel Ce0.5Tb0.5Ox (3% mol.)/MgO catalyst.


title: Epimorphisms and Acyclic Types in Univalent Mathematics

abstract: We characterize the epimorphisms in homotopy type theory (HoTT) as the fiberwise acyclic maps and develop a type-theoretic treatment of acyclic maps and types in the context of synthetic homotopy theory. We present examples and applications in group theory, such as the acyclicity of the Higman group, through the identification of groups with $0$-connected, pointed $1$-types. Many of our results are formalized as part of the agda-unimath library.


title: Learning under Label Noise through Few-Shot Human-in-the-Loop Refinement

abstract: Wearable technologies enable continuous monitoring of various health metrics, such as physical activity, heart rate, sleep, and stress levels. A key challenge with wearable data is obtaining quality labels. Unlike modalities like video where the videos themselves can be effectively used to label objects or events, wearable data do not contain obvious cues about the physical manifestation of the users and usually require rich metadata. As a result, label noise can become an increasingly thorny issue when labeling such data. In this paper, we propose a novel solution to address noisy label learning, entitled Few-Shot Human-in-the-Loop Refinement (FHLR). Our method initially learns a seed model using weak labels. Next, it fine-tunes the seed model using a handful of expert corrections. Finally, it achieves better generalizability and robustness by merging the seed and fine-tuned models via weighted parameter averaging. We evaluate our approach on four challenging tasks and datasets, and compare it against eight competitive baselines designed to deal with noisy labels. We show that FHLR achieves significantly better performance when learning from noisy labels and achieves state-of-the-art by a large margin, with up to 19% accuracy improvement under symmetric and asymmetric noise. Notably, we find that FHLR is particularly robust to increased label noise, unlike prior works that suffer from severe performance degradation. Our work not only achieves better generalization in high-stakes health sensing benchmarks but also sheds light on how noise affects commonly-used models.


title: Travelling waves in nonlinear magneto-inductive lattices

abstract: We consider a lattice equation modelling one-dimensional metamaterials formed by a discrete array of nonlinear resonators. We focus on periodic travelling waves due to the presence of a periodic force. The existence and uniqueness results of periodic travelling waves of the system are presented. Our analytical results are found to be in good agreement with direct numerical computations


title: CompactifAI: Extreme Compression of Large Language Models using Quantum-Inspired Tensor Networks

abstract: Large Language Models (LLMs) such as ChatGPT and LlaMA are advancing rapidly in generative Artificial Intelligence (AI), but their immense size poses significant challenges, such as huge training and inference costs, substantial energy demands, and limitations for on-site deployment. Traditional compression methods such as pruning, distillation, and low-rank approximation focus on reducing the effective number of neurons in the network, while quantization focuses on reducing the numerical precision of individual weights to reduce the model size while keeping the number of neurons fixed. While these compression methods have been relatively successful in practice, there is no compelling reason to believe that truncating the number of neurons is an optimal strategy. In this context, this paper introduces CompactifAI, an innovative LLM compression approach using quantum-inspired Tensor Networks that focuses on the model's correlation space instead, allowing for a more controlled, refined and interpretable model compression. Our method is versatile and can be implemented with - or on top of - other compression techniques. As a benchmark, we demonstrate that a combination of CompactifAI with quantization allows to reduce a 93% the memory size of LlaMA 7B, reducing also 70% the number of parameters, accelerating 50% the training and 25% the inference times of the model, and just with a small accuracy drop of 2% - 3%, going much beyond of what is achievable today by other compression techniques. Our methods also allow to perform a refined layer sensitivity profiling, showing that deeper layers tend to be more suitable for tensor network compression, which is compatible with recent observations on the ineffectiveness of those layers for LLM performance. Our results imply that standard LLMs are, in fact, heavily overparametrized, and do not need to be large at all.


title: Towards Cheaper Inference in Deep Networks with Lower Bit-Width Accumulators

abstract: The majority of the research on the quantization of Deep Neural Networks (DNNs) is focused on reducing the precision of tensors visible by high-level frameworks (e.g., weights, activations, and gradients). However, current hardware still relies on high-accuracy core operations. Most significant is the operation of accumulating products. This high-precision accumulation operation is gradually becoming the main computational bottleneck. This is because, so far, the usage of low-precision accumulators led to a significant degradation in performance. In this work, we present a simple method to train and fine-tune high-end DNNs, to allow, for the first time, utilization of cheaper, $12$-bits accumulators, with no significant degradation in accuracy. Lastly, we show that as we decrease the accumulation precision further, using fine-grained gradient approximations can improve the DNN accuracy.


title: Image Synthesis with Graph Conditioning: CLIP-Guided Diffusion Models for Scene Graphs

abstract: Advancements in generative models have sparked significant interest in generating images while adhering to specific structural guidelines. Scene graph to image generation is one such task of generating images which are consistent with the given scene graph. However, the complexity of visual scenes poses a challenge in accurately aligning objects based on specified relations within the scene graph. Existing methods approach this task by first predicting a scene layout and generating images from these layouts using adversarial training. In this work, we introduce a novel approach to generate images from scene graphs which eliminates the need of predicting intermediate layouts. We leverage pre-trained text-to-image diffusion models and CLIP guidance to translate graph knowledge into images. Towards this, we first pre-train our graph encoder to align graph features with CLIP features of corresponding images using a GAN based training. Further, we fuse the graph features with CLIP embedding of object labels present in the given scene graph to create a graph consistent CLIP guided conditioning signal. In the conditioning input, object embeddings provide coarse structure of the image and graph features provide structural alignment based on relationships among objects. Finally, we fine tune a pre-trained diffusion model with the graph consistent conditioning signal with reconstruction and CLIP alignment loss. Elaborate experiments reveal that our method outperforms existing methods on standard benchmarks of COCO-stuff and Visual Genome dataset.


title: FP6-LLM: Efficiently Serving Large Language Models Through FP6-Centric Algorithm-System Co-Design

abstract: Six-bit quantization (FP6) can effectively reduce the size of large language models (LLMs) and preserve the model quality consistently across varied applications. However, existing systems do not provide Tensor Core support for FP6 quantization and struggle to achieve practical performance improvements during LLM inference. It is challenging to support FP6 quantization on GPUs due to (1) unfriendly memory access of model weights with irregular bit-width and (2) high runtime overhead of weight de-quantization. To address these problems, we propose TC-FPx, the first full-stack GPU kernel design scheme with unified Tensor Core support of float-point weights for various quantization bit-width. We integrate TC-FPx kernel into an existing inference system, providing new end-to-end support (called FP6-LLM) for quantized LLM inference, where better trade-offs between inference cost and model quality are achieved. Experiments show that FP6-LLM enables the inference of LLaMA-70b using only a single GPU, achieving 1.69x-2.65x higher normalized inference throughput than the FP16 baseline. The source code is publicly available at https://github.com/usyd-fsalab/fp6_llm.


title: On the Affinity, Rationality, and Diversity of Hierarchical Topic Modeling

abstract: Hierarchical topic modeling aims to discover latent topics from a corpus and organize them into a hierarchy to understand documents with desirable semantic granularity. However, existing work struggles with producing topic hierarchies of low affinity, rationality, and diversity, which hampers document understanding. To overcome these challenges, we in this paper propose Transport Plan and Context-aware Hierarchical Topic Model (TraCo). Instead of early simple topic dependencies, we propose a transport plan dependency method. It constrains dependencies to ensure their sparsity and balance, and also regularizes topic hierarchy building with them. This improves affinity and diversity of hierarchies. We further propose a context-aware disentangled decoder. Rather than previously entangled decoding, it distributes different semantic granularity to topics at different levels by disentangled decoding. This facilitates the rationality of hierarchies. Experiments on benchmark datasets demonstrate that our method surpasses state-of-the-art baselines, effectively improving the affinity, rationality, and diversity of hierarchical topic modeling with better performance on downstream tasks.


title: Development of a Silicon Drift Detector Array to Search for keV-scale Sterile Neutrinos with the KATRIN Experiment

abstract: Sterile neutrinos in the keV mass range present a viable candidate for dark matter. They can be detected through single $\beta$ decay, where they cause small spectral distortions. The Karlsruhe Tritium Neutrino (KATRIN) experiment aims to search for keV-scale sterile neutrinos with high sensitivity. To achieve this, the KATRIN beamline will be equipped with a novel multi-pixel silicon drift detector focal plane array named TRISTAN. In this study, we present the performance of a TRISTAN detector module, a component of the eventual 9-module system. Our investigation encompasses spectroscopic aspects such as noise performance, energy resolution, linearity, and stability.


title: MIFI: MultI-camera Feature Integration for Roust 3D Distracted Driver Activity Recognition

abstract: Distracted driver activity recognition plays a critical role in risk aversion-particularly beneficial in intelligent transportation systems. However, most existing methods make use of only the video from a single view and the difficulty-inconsistent issue is neglected. Different from them, in this work, we propose a novel MultI-camera Feature Integration (MIFI) approach for 3D distracted driver activity recognition by jointly modeling the data from different camera views and explicitly re-weighting examples based on their degree of difficulty. Our contributions are two-fold: (1) We propose a simple but effective multi-camera feature integration framework and provide three types of feature fusion techniques. (2) To address the difficulty-inconsistent problem in distracted driver activity recognition, a periodic learning method, named example re-weighting that can jointly learn the easy and hard samples, is presented. The experimental results on the 3MDAD dataset demonstrate that the proposed MIFI can consistently boost performance compared to single-view models.


title: Uniqueness of photon sphere for Reissner-Nordstr\"om electric-magnetic system

abstract: Uniqueness of static, asymptotically flat, non-extremal {\it photon sphere} in Einstein-Maxwell spacetime with electric and magnetic charges has been proved. Using conformal positive energy theorem, as well as, the positive mass theorem and adequate conformal transformations, we envisage the two alternative ways of proving that the exterior region of a certain radius of the studied static {\it photon sphere}, is characterized by ADM mass, electric and magnetic charges.


title: Evaluation of POSIT Arithmetic with Accelerators

abstract: We present an evaluation of 32-bit POSIT arithmetic through its implementation as accelerators on FPGAs and GPUs. POSIT, a floating-point number format, adaptively changes the size of its fractional part. We developed hardware designs for FPGAs and software for GPUs to accelerate linear algebra operations using Posit(32,2) arithmetic. Our FPGA- and GPU-based accelerators in Posit(32,2) arithmetic significantly accelerated the Cholesky and LU decomposition algorithms for dense matrices. In terms of numerical accuracy, Posit(32,2) arithmetic is approximately 0.5 - 1.0 digits more accurate than the standard 32-bit format, especially when the norm of the elements of the input matrix is close to 1. Evaluating power consumption, we observed that the power efficiency of the accelerators ranged between 0.043 - 0.076 Gflops/watts for the LU decomposition in Posit(32,2) arithmetic. The power efficiency of the latest GPUs as accelerators of Posit(32,2) arithmetic is better than that of the evaluated FPGA chip.


title: Producing C-S-H gel by reaction between silica oligomers and portlandite: A promising approach to repair cementitious materials

abstract: Impregnation treatments are one of the alternatives to protect concrete-based building and monuments from weathering degradation. However, it is important to consider the chemical compatibility of the reaction products with the building material. The impregnation product studied here consists of a silica oligomer able to polymerize, by a simple sol-gel process, inside the pore structure of concrete. In this work, we investigate the ability of this impregnation treatment to produce C-S-H gel in contact with cement paste. A complete characterization of the reaction products demonstrated that the silanol groups from silica oligomers react with the portlandite present in the cement paste generating a material with the chemical, structural and morphological features of CS-H gel. Simultaneously, the 29Si NMR results indicate that the Si-O units are incorporated into the existing C-S-H, increasing its chain length. These results open the way for a simple concrete structures repairing procedure.


title: Pseudoscalar mesons from a PNJL model at zero temperature

abstract: We study pseudoscalar $\pi$, $K$ and $\eta$ meson properties, such as masses and couplings, in dense matter at zero temperature. We use a recently proposed phenomenological quark model, known as the PNJL0, which takes into account the confinement/deconfinement phase transition by means of the traced Polyakov loop ($\Phi$) which serves as an order parameter at zero temperature. We consider two different scenarios, namely, symmetric quark matter with equal chemical potentials for all the flavors, and the beta equilibrated matter. In the latter case the hadron-quark phase transition is implemented by a two model approach. For the hadron side we use a relativistic mean-field model with density dependent couplings. We show that $\Phi$ induces abrupt changes in the mesons properties with gap sizes regulated by the phenomenological gluonic sector of the model.


title: Heavy baryon decays into light meson and dark baryon within LCSR

abstract: We studied the decays of Heavy baryon into a pseudoscalar meson and a dark baryon in the recently developed $B$-Mesogenesis scenario, where the two types of effective Lagrangians proposed by the scenario are both considered. The decay amplitudes of $\Lambda_b^0$ are calculated by light-cone sum rules using its light-cone distribution amplitudes. The decay amplitudes of $\Xi_b^{0,\pm}$ are related with those of $\Lambda_b^0$ through a flavor SU(3) analysis. The uncertainties of threshold parameter and the Borel parameter are both considered in the numerical calculation. The values of effective coupling constants in the $B$-Mesogenesis are taken as their upper limits that obtained from our previous study on the inclusive decay. The upper limits of the decay branching fractions are presented as functions of the dark baryon mass.


title: Incorporating Exemplar Optimization into Training with Dual Networks for Human Mesh Recovery

abstract: We propose a novel optimization-based human mesh recovery method from a single image. Given a test exemplar, previous approaches optimize the pre-trained regression network to minimize the 2D re-projection loss, which however suffer from over-/under-fitting problems. This is because the ``exemplar optimization'' at testing time has too weak relation to the pre-training process, and the exemplar optimization loss function is different from the training loss function. (1) We incorporate exemplar optimization into the training stage. During training, our method first executes exemplar optimization and subsequently proceeds with training-time optimization. The exemplar optimization may run into a wrong direction, while the subsequent training optimization serves to correct the deviation. Involved in training, the exemplar optimization learns to adapt its behavior to training data, thereby acquires generalibility to test exemplars. (2) We devise a dual-network architecture to convey the novel training paradigm, which is composed of a main regression network and an auxiliary network, in which we can formulate the exemplar optimization loss function in the same form as the training loss function. This further enhances the compatibility between the exemplar and training optimizations. Experiments demonstrate that our exemplar optimization after the novel training scheme significantly outperforms state-of-the-art approaches.


title: On a Novel Skewed Generalized t Distribution: Properties, Estimations and its Applications

abstract: With the progress of information technology, large amounts of asymmetric, leptokurtic and heavy-tailed data are arising in various fields, such as finance, engineering, genetics and medicine. It is very challenging to model those kinds of data, especially for extremely skewed data, accompanied by very high kurtosis or heavy tails. In this paper, we propose a class of novel skewed generalized t distribution (SkeGTD) as a scale mixture of skewed generalized normal. The proposed SkeGTD has excellent adaptiveness to various data, because of its capability of allowing for a large range of skewness and kurtosis and its compatibility of the separated location, scale, skewness and shape parameters. We investigate some important properties of this family of distributions. The maximum likelihood estimation, L-moments estimation and two-step estimation for the SkeGTD are explored. To illustrate the usefulness of the proposed methodology, we present simulation studies and analyze two real datasets.


title: Ultrathin Washcoat and Very Low Loading Monolithic Catalyst with Outstanding Activity and Stability in Dry Reforming of Methane

abstract: A Ni/CeO2/ZrO2 catalyst with improved redox properties has been washcoated onto a honeycomb cordierite monolith in the form of a nonconventional alumina-catalyst layer, just a few nanometer thick. In spite of the very low active phase loading, the monolith depicts outstanding performance in dry reforming of methane, both in terms of activity, with values reaching the thermodynamic limit already at 750 C, even under extreme weight Hourly Space Velocities (WHSV 115-346 L.g-1.h-1), as well as in terms of stability during prolonged time on stream (TOS 24-48 h).


title: Spatially Resolved High Voltage Kelvin Probe Force Microcopy: A Novel Avenue for Examining Electrical Phenomena at Nanoscale

abstract: Kelvin probe microscopy (KPFM) is a well-established scanning probe technique, used to measure surface potential accurately; it has found extensive use in the study of a range of materials phenomena. In its conventional form, KPFM frustratingly precludes imaging samples or scenarios where large surface potential exists or large surface potential gradients are created outside the typical +/-10V window. If the potential regime measurable via KPFM could be expanded, to enable precise and reliable metrology, through a high voltage KPFM (HV-KPFM) adaptation, it could open up pathways towards a range of novel experiments, where the detection limit of regular KPFM has so far prevented the use of the technique. In this work, HV-KPFM has been realised and shown to be capable of measuring large surface potential and potential gradients with accuracy and precision. The technique has been employed to study a range of materials (positive temperature coefficient of resistivity ceramics, charge storage fluoropolymers and pyroelectrics) where accurate spatially resolved mapping of surface potential within high voltage regime facilitates novel physical insight. The results demonstrate that HV-KPFM can be used as an effective tool to fill in existing gaps in surface potential measurements while also opening routes for novel studies in materials physics.


title: On the length of an arithmetic progression of the form ${3^x+2^y}$

abstract: The conclusion that the length of an arithmetic progression of the form ${3^x+2^y}$ is at most six is proved.


title: An Indexed Linear Logic for Idempotent Intersection Types (Long version)

abstract: Indexed Linear Logic has been introduced by Ehrhard and Bucciarelli, it can be seen as a logical presentation of non-idempotent intersection types extended through the relational semantics to the full linear logic. We introduce an idempotent variant of Indexed Linear Logic. We give a fine-grained reformulation of the syntax by exposing implicit parameters and by unifying several operations on formulae via the notion of base change. Idempotency is achieved by means of an appropriate subtyping relation. We carry on an in-depth study of indLL as a logic, showing how it determines a refinement of classical linear logic and establishing a terminating cut-elimination procedure. Cut-elimination is proved to be confluent up to an appropriate congruence induced by the subtyping relation.


title: Universal Weil cohomology

abstract: We construct a new Weil cohomology for smooth projective varieties over a field, universal among Weil cohomologies with values in rigid additive tensor categories. A similar universal problem for Weil cohomologies with values in rigid abelian tensor categories also has a solution. We give a variant for Weil cohomologies satisfying more axioms, like Weak and Hard Lefschetz. As a consequence, we get a different construction of Andr\'e's category of motives for motivated correspondences and show that it has a universal property. This theory extends over suitable bases.


title: Homoclinic chaos in a pair of parametrically-driven coupled SQUIDs

abstract: An rf superconducting quantum interference device (SQUID) consists of a superconducting ring interrupted by a Josephson junction (JJ). When driven by an alternating magnetic field, the induced supercurrents around the ring are determined by the JJ through the celebrated Josephson relations. This system exhibits rich nonlinear behavior, including chaotic effects. We study the dynamics of a pair of parametrically-driven coupled SQUIDs arranged in series. We take advantage of the weak damping that characterizes these systems to perform a multiple-scales analysis and obtain amplitude equations, describing the slow dynamics of the system. This picture allows us to expose the existence of homoclinic orbits in the dynamics of the integrable part of the slow equations of motion. Using high-dimensional Melnikov theory, we are able to obtain explicit parameter values for which these orbits persist in the full system, consisting of both Hamiltonian and non-Hamiltonian perturbations, to form so-called Silnikov orbits, indicating a loss of integrability and the existence of chaos.


title: Performance Analysis of Holographic MIMO Based Integrated Sensing and Communications

abstract: Given the high spectral efficiency, holographic multiple-input multiple-output (MIMO) technology holds promise for enhancing both sensing and communication capabilities. However, accurately characterizing its performance poses a challenge due to the spatial correlation induced by densely spaced antennas. In this paper, a holographic MIMO (HMIMO) based integrated sensing and communications (ISAC) framework is proposed for both downlink and uplink scenarios. The spacial correlation is incorporated in the communication channel modeling, while an accurate spherical wave-based model is utilized to characterize sensing link. By considering both instantaneous channel state information (CSI) and statistical CSI, closed-form expressions are derived for sensing rates (SRs), communication rates (CRs), and outage probabilities under different ISAC designs to investigate the theoretical performance limits of the proposed HISAC framework. Further insights are gained by examining high signal-to-noise ratio slopes and diversity orders. Specifically, i) for the downlink case, a sensing-centric (S-C) design and a communications-centric (C-C) design are investigated based on different beamforming strategies, and a Pareto optimal design is proposed to characterize the attainable SR-CR region; ii) for the uplink case, the S-C design and the C-C design are distinguished by the interference cancellation order of the communication signal and the sensing signal, and the rate region is obtained through a time-sharing strategy. Numerical results reveal that HMIMO based ISAC (HISAC) systems outperform both conventional MIMO based ISAC systems and HMIMO based frequency-division sensing and communications systems, underscoring the superior performance of HISAC.


title: Attention-based Efficient Classification for 3D MRI Image of Alzheimer's Disease

abstract: Early diagnosis of Alzheimer Diagnostics (AD) is a challenging task due to its subtle and complex clinical symptoms. Deep learning-assisted medical diagnosis using image recognition techniques has become an important research topic in this field. The features have to accurately capture main variations of anatomical brain structures. However, time-consuming is expensive for feature extraction by deep learning training. This study proposes a novel Alzheimer's disease detection model based on Convolutional Neural Networks. The model utilizes a pre-trained ResNet network as the backbone, incorporating post-fusion algorithm for 3D medical images and attention mechanisms. The experimental results indicate that the employed 2D fusion algorithm effectively improves the model's training expense. And the introduced attention mechanism accurately weights important regions in images, further enhancing the model's diagnostic accuracy.


title: Equivariant Manifold Neural ODEs and Differential Invariants

abstract: In this paper we develop a manifestly geometric framework for equivariant manifold neural ordinary differential equations (NODEs), and use it to analyse their modelling capabilities for symmetric data. First, we consider the action of a Lie group $G$ on a smooth manifold $M$ and establish the equivalence between equivariance of vector fields, symmetries of the corresponding Cauchy problems, and equivariance of the associated NODEs. We also propose a novel formulation of the equivariant NODEs in terms of the differential invariants of the action of $G$ on $M$, based on Lie theory for symmetries of differential equations, which provides an efficient parameterisation of the space of equivariant vector fields in a way that is agnostic to both the manifold $M$ and the symmetry group $G$. Second, we construct augmented manifold NODEs, through embeddings into equivariant flows, and show that they are universal approximators of equivariant diffeomorphisms on any path-connected $M$. Furthermore, we show that the augmented NODEs can be incorporated in the geometric framework and parameterised using higher order differential invariants. Finally, we consider the induced action of $G$ on different fields on $M$ and show how it can be used to generalise previous work, on, e.g., continuous normalizing flows, to equivariant models in any geometry.