title: Enabling Cross-Camera Collaboration for Video Analytics on Distributed Smart Cameras

abstract: Overlapping cameras offer exciting opportunities to view a scene from different angles, allowing for more advanced, comprehensive and robust analysis. However, existing visual analytics systems for multi-camera streams are mostly limited to (i) per-camera processing and aggregation and (ii) workload-agnostic centralized processing architectures. In this paper, we present Argus, a distributed video analytics system with cross-camera collaboration on smart cameras. We identify multi-camera, multi-target tracking as the primary task of multi-camera video analytics and develop a novel technique that avoids redundant, processing-heavy identification tasks by leveraging object-wise spatio-temporal association in the overlapping fields of view across multiple cameras. We further develop a set of techniques to perform these operations across distributed cameras without cloud support at low latency by (i) dynamically ordering the camera and object inspection sequence and (ii) flexibly distributing the workload across smart cameras, taking into account network transmission and heterogeneous computational capacities. Evaluation of three real-world overlapping camera datasets with two Nvidia Jetson devices shows that Argus reduces the number of object identifications and end-to-end latency by up to 7.13x and 2.19x (4.86x and 1.60x compared to the state-of-the-art), while achieving comparable tracking quality.


title: A note on cohomological vanishing theorems

abstract: We study $cd(M,N):=\sup\{j:H^j_{m}(M,N)\neq0\}$, and we prove the following over $AB$-rings: $cd(M,N)<\infty$ iff $cd(M, N)\leq2 dim R$. For locally free over the punctured spectrum, we present the better bound, namely $cd(M, N)<\infty$ iff $cd(M, N)\leq dim R,$ and show this is sharp for maximal Cohen-Macaulay, and prove that this detects freeness of $M$. We present some explicit examples to compute $cd(M, N)$. Now, suppose $R$ is only Cohen-Macaulay and of prime characteristic equipped with the Frobenius map $\varphi$. We show for some $n\gg 0$ that $cd(^{\varphi_n}R,M)<\infty$ iff $id_R(M)<\infty.$ This presents some criteria on regularity. Also, some vanishing results on $Ext^i_R(^{\varphi}R,-)$ are given, where $(-)\in\{R,^{\varphi}R\}$. We determine conditions under which the vanishing $Ext^i_R(^{\varphi}R,-)$ of restricted many $i$-th, implies the vanishing of all.


title: The Shizuta-Kawashima Condition for the Barotropic SHTC Two Fluid Model

abstract: Recently the barotropic two fluid model belonging to the class of \emph{symmetric hyperbolic thermodynamically compatible} (SHTC) systems was studied in detail in \cite{Thein2022}. There the question was raised whether the dissipative structure introduced by the source terms satisfies the Shizuta-Kawashima condition. This well-known condition is a sufficient criterion for the existence of global smooth solutions of the studied system. In this work we exploit the dissipative structure of the system under consideration and verify that the Shizuta-Kawashima condition holds.


title: Convolutional Neural Networks can achieve binary bail judgement classification

abstract: There is an evident lack of implementation of Machine Learning (ML) in the legal domain in India, and any research that does take place in this domain is usually based on data from the higher courts of law and works with English data. The lower courts and data from the different regional languages of India are often overlooked. In this paper, we deploy a Convolutional Neural Network (CNN) architecture on a corpus of Hindi legal documents. We perform a bail Prediction task with the help of a CNN model and achieve an overall accuracy of 93\% which is an improvement on the benchmark accuracy, set by Kapoor et al. (2022), albeit in data from 20 districts of the Indian state of Uttar Pradesh.


title: Expression-aware video inpainting for HMD removal in XR applications

abstract: Head-mounted displays (HMDs) serve as indispensable devices for observing extended reality (XR) environments and virtual content. However, HMDs present an obstacle to external recording techniques as they block the upper face of the user. This limitation significantly affects social XR applications, specifically teleconferencing, where facial features and eye gaze information play a vital role in creating an immersive user experience. In this study, we propose a new network for expression-aware video inpainting for HMD removal (EVI-HRnet) based on generative adversarial networks (GANs). Our model effectively fills in missing information with regard to facial landmarks and a single occlusion-free reference image of the user. The framework and its components ensure the preservation of the user's identity across frames using the reference frame. To further improve the level of realism of the inpainted output, we introduce a novel facial expression recognition (FER) loss function for emotion preservation. Our results demonstrate the remarkable capability of the proposed framework to remove HMDs from facial videos while maintaining the subject's facial expression and identity. Moreover, the outputs exhibit temporal consistency along the inpainted frames. This lightweight framework presents a practical approach for HMD occlusion removal, with the potential to enhance various collaborative XR applications without the need for additional hardware.


title: Comparison of approaches for boundary feedback control of hyperbolic systems

abstract: The interest in boundary feedback control of multi-dimensional hyperbolic systems is increasing. In the present work we want to compare some of the recent results available in the literature.


title: On the discriminants of truncated logarithmic polynomials

abstract: We provide evidence for a conjecture of Yamamura that the truncated logarithmic polynomials \[ F_n(x) = 1 + x + \frac{x^2}{2} + \cdots + \frac{x^n}{n} \] have Galois group $S_n$ for all $n \geq 1$.


title: Micro and Nano 3D investigation of complex gut alterations-dementia interplay

abstract: Alzheimer's disease (AD), a debilitating neurodegenerative disorder, remains one of the foremost public health challenges of our time. Despite decades of research, its etiology largely remains enigmatic. Recently, attention has turned to the gut-brain axis, a complex network of communication between the gastrointestinal tract and the brain, as a potential player in the pathogenesis of AD. Here we exploited X-ray Phase Contrast Tomography to provide an in-depth analysis of the link between the gut condition and AD, exploring gut anatomy and structure in murine models. We conducted a comprehensive analysis by comparing the outcomes in various mouse models of cognitive impairment, including AD, frail mice, and frontotemporal dementia (FTD) affected mice. We discovered an association between substantial changes in the gut structure and the presence of amyloid-beta (A\b{eta}) in the brain. We found that the most important gut alterations are related to A\b{eta} occurrence in the brain. In particular, we investigated the gut morphology, the distribution of enteric micro-processes and neurons in the ileum. Understanding the intricate interplay between gut condition and dementia may open new avenues for early AD diagnosis and treatment offering hope for a future where these diseases may be more effectively addressed.


title: Efficient photon-pair generation empowered by dual quasi-bound states in the continuum

abstract: Here we demonstrate the efficient photon-pair generation via spontaneous parametric down conversion from a semiconductor metasurface supporting dual quasi-bound states in the continuum (quasi-BICs). In a simple metasurface design composed of AlGaAs ellipse nano-cyclinders, the two high-$Q$ quasi-BIC resonances that coincide with the generated signal and idler frequencies significantly boost the local electric field. This leads to a substantial enhancement in the reverse classical nonlinear process of sum frequency generation and subsequently the remarkable high generation rate of photon pairs under the quantum-classical correspondence principle. Within a narrowband wavelength regime around the quasi-BIC resonances, the rate of pair production is enhanced up to $\sim10^{4}$ Hz, two orders of magnitude larger than that in the Mie resonant AlGaAs nanoantennas. Moreover, the photon pair emission is mainly concentrated in the normal direction with respect to the metasurface, and shows tunable rate with the $Q$ factor by engineering the rotation angle of nano-cylinders. The presented work enables nanoscale sources of high-quality entangled photons which will find applications in advanced quantum imaging and communications.


title: Exploring the Distinctive Tweeting Patterns of Toxic Twitter Users

abstract: In the pursuit of bolstering user safety, social media platforms deploy active moderation strategies, including content removal and user suspension. These measures target users engaged in discussions marked by hate speech or toxicity, often linked to specific keywords or hashtags. Nonetheless, the increasing prevalence of toxicity indicates that certain users adeptly circumvent these measures. This study examines consistently toxic users on Twitter (rebranded as X) Rather than relying on traditional methods based on specific topics or hashtags, we employ a novel approach based on patterns of toxic tweets, yielding deeper insights into their behavior. We analyzed 38 million tweets from the timelines of 12,148 Twitter users and identified the top 1,457 users who consistently exhibit toxic behavior, relying on metrics like the Gini index and Toxicity score. By comparing their posting patterns to those of non-consistently toxic users, we have uncovered distinctive temporal patterns, including contiguous activity spans, inter-tweet intervals (referred to as 'Burstiness'), and churn analysis. These findings provide strong evidence for the existence of a unique tweeting pattern associated with toxic behavior on Twitter. Crucially, our methodology transcends Twitter and can be adapted to various social media platforms, facilitating the identification of consistently toxic users based on their posting behavior. This research contributes to ongoing efforts to combat online toxicity and offers insights for refining moderation strategies in the digital realm. We are committed to open research and will provide our code and data to the research community.


title: Energy-Based Concept Bottleneck Models: Unifying Prediction, Concept Intervention, and Probabilistic Interpretations

abstract: Existing methods, such as concept bottleneck models (CBMs), have been successful in providing concept-based interpretations for black-box deep learning models. They typically work by predicting concepts given the input and then predicting the final class label given the predicted concepts. However, (1) they often fail to capture the high-order, nonlinear interaction between concepts, e.g., correcting a predicted concept (e.g., "yellow breast") does not help correct highly correlated concepts (e.g., "yellow belly"), leading to suboptimal final accuracy; (2) they cannot naturally quantify the complex conditional dependencies between different concepts and class labels (e.g., for an image with the class label "Kentucky Warbler" and a concept "black bill", what is the probability that the model correctly predicts another concept "black crown"), therefore failing to provide deeper insight into how a black-box model works. In response to these limitations, we propose Energy-based Concept Bottleneck Models (ECBMs). Our ECBMs use a set of neural networks to define the joint energy of candidate (input, concept, class) tuples. With such a unified interface, prediction, concept correction, and conditional dependency quantification are then represented as conditional probabilities, which are generated by composing different energy functions. Our ECBMs address both limitations of existing CBMs, providing higher accuracy and richer concept interpretations. Empirical results show that our approach outperforms the state-of-the-art on real-world datasets.


title: Generalized (co)homology of symmetric quandles over homogeneous Beck modules

abstract: A quandle equipped with a good involution is referred to as symmetric. It is known that the cohomology of symmetric quandles gives rise to strong cocycle invariants for classical and surface links, even when they are not necessarily oriented. In this paper, we introduce the category of symmetric quandle modules and prove that these modules completely determine the Beck modules in the category of symmetric quandles. Consequently, this establishes suitable coefficient objects for constructing appropriate (co)homology theories. We develop an extension theory of modules over symmetric quandles and propose a generalized (co)homology theory for symmetric quandles with coefficients in a homogeneous Beck module, which also recovers the symmetric quandle (co)homology developed by Kamada and Oshiro [Trans. Amer. Math. Soc. (2010)]. Our constructions also apply to symmetric racks. We conclude by establishing an explicit isomorphism between the second cohomology of a symmetric quandle and the first cohomology of its associated group.


title: A facile one-pot hydrothermal synthesis as an efficient method to modulate the potassium content of cryptomelane and its effects on the redox and catalytic properties

abstract: Cryptomelane has been widely applied as catalyst in oxidation reactions due to its excellent redox properties and low cost. Here, a novel one-pot hydrothermal synthesis using a potassium permanganate aqueous solution as precursor and ethanol as reducing agent has successfully been developed to obtain cryptomelane nano-oxides. This synthetic route makes it possible to control the amount of potassium incorporated into the structure of the cryptomelane by selecting the appropriate synthesis temperature and ethanol initial concentration. Taking advantage of this approach, the effect of potassium concentration on the structural stability and reducibility of the cryptomelane, which are poorly discussed in the literature, has been studied. We have observed that samples with low content of potassium (~11%) show high conversions of CO to CO2 especially at low temperatures. The lower activity of the samples with high K contents (~16%) can be ascribed to the beneficial effect of K on the structural stability of cryptomelane in detriment of labile oxygen on cryptomelane surface.


title: Mathematical Tri-State Model for Bee Shimmering Propagation Dynamics

abstract: Bees undergo a self-organised process known as shimmering, where they form emergent patterns when they interact with each other on the nest surface as a defence mechanism in response to predator attacks. Many experimental studies have empirically investigated how the transfer of information to neighbouring bees propagates in various shimmering processes by measuring shimmering wave strength. However, there is no analytical modelling of the collective defence mechanism in nature. Here we introduce the first analytical tri-state Inactive-Active-Relapse (IAR) model to formulate the intrinsic process of bee shimmering. The major shimmering behaviour is shown to emerge under theoretical conditions which is demonstrated numerically and visually by simulating 1,000,000 bee agents, while the number of agents is scalable. Furthermore, we elaborate on these mathematical results to construct a wave strength function to demonstrate the accuracy of shimmering dynamics. The constructed wave strength function can be adapted to peak between 50-150ms which supports the experimental studies. Our results provide a foundation for further theoretical understanding of bee shimmering wave dynamics and could serve as inspiration for modelling other self-organised phenomena across scientific applications.


title: Cohomology of toric diagrams

abstract: In this note, integral cohomology of homotopy colimits for toric diagrams and their classifying spaces over regular CW posets are described in terms of sheaf cohomology. Split $T$-CW-complexes with CW orbit poset $C$ have such decomposition (up to a homeomorphism) in terms of a $T$-diagram $D$ over $C$. Equivariant formality for $hocolim\ D$ is equivalent to $H^{odd}(hocolim\ D)=0$ (over $\mathbb{Q}$, or over $\mathbb{Z}$ for connected stabilizers) provided that $C$ is an oriented homology manifold. The integral singular cohomology groups and bigraded Betti numbers are computed in this setting. Similar descriptions are provided for skeleta of toric manifolds and compact nonsingular toric varieties. The cohomological orbit spectral sequence collapse over $\mathbb{Z}$ at page $2$ is proved for any compact toric variety.


title: Concept: Dynamic Risk Assessment for AI-Controlled Robotic Systems

abstract: AI-controlled robotic systems pose a risk to human workers and the environment. Classical risk assessment methods cannot adequately describe such black box systems. Therefore, new methods for a dynamic risk assessment of such AI-controlled systems are required. In this paper, we introduce the concept of a new dynamic risk assessment approach for AI-controlled robotic systems. The approach pipelines five blocks: (i) a Data Logging that logs the data of the given simulation, (ii) a Skill Detection that automatically detects the executed skills with a deep learning technique, (iii) a Behavioral Analysis that creates the behavioral profile of the robotic systems, (iv) a Risk Model Generation that automatically transforms the behavioral profile and risk data containing the failure probabilities of robotic hardware components into advanced hybrid risk models, and (v) Risk Model Solvers for the numerical evaluation of the generated hybrid risk models. Keywords: Dynamic Risk Assessment, Hybrid Risk Models, M2M Transformation, ROS, AI-Controlled Robotic Systems, Deep Learning, Reinforcement Learning


title: LanDA: Language-Guided Multi-Source Domain Adaptation

abstract: Multi-Source Domain Adaptation (MSDA) aims to mitigate changes in data distribution when transferring knowledge from multiple labeled source domains to an unlabeled target domain. However, existing MSDA techniques assume target domain images are available, yet overlook image-rich semantic information. Consequently, an open question is whether MSDA can be guided solely by textual cues in the absence of target domain images. By employing a multimodal model with a joint image and language embedding space, we propose a novel language-guided MSDA approach, termed LanDA, based on optimal transfer theory, which facilitates the transfer of multiple source domains to a new target domain, requiring only a textual description of the target domain without needing even a single target domain image, while retaining task-relevant information. We present extensive experiments across different transfer scenarios using a suite of relevant benchmarks, demonstrating that LanDA outperforms standard fine-tuning and ensemble approaches in both target and source domains.


title: Developing a High-Performance Process Mining Library with Java and Python Bindings in Rust

abstract: The most commonly used open-source process mining software tools today are ProM and PM4Py, written in Java and Python, respectively. Such high-level, often interpreted, programming languages trade off performance with memory safety and ease-of-use. In contrast, traditional compiled languages, like C or C++, can achieve top performance but often suffer from instability related to unsafe memory management. Lately, Rust emerged as a highly performant, compiled programming language with inherent memory safety. In this paper, we describe our approach to developing a shared process mining library in Rust with bindings to both Java and Python, allowing full integration into the existing ecosystems, like ProM and PM4Py. By facilitating interoperability, our methodology enables researchers or industry to develop novel algorithms in Rust once and make them accessible to the entire community while also achieving superior performance.


title: Polarized and bright telecom C-band single-photon source from InP-based quantum dots coupled to elliptical Bragg gratings

abstract: Bright, polarized, and high-purity single-photon sources in telecom wavelengths are crucial components in long-distance quantum communication, optical quantum computation and quantum networks. Semiconductor InAs/InP quantum dots (QDs) combined with photonic cavities provide a competitive path leading to optimal single-photon sources in this range. Here, we demonstrate a bright and polarized single-photon source operating in the telecom C-band based on an elliptical Bragg grating (EBG) cavity. With a significant Purcell enhancement of 5.25$\pm$0.05, the device achieves a polarization ratio of 0.986, single-photon purity of g^2 (0)=0.078$\pm$0.016 and single-polarized photon collection efficiency of ~ 24% at the first lens (NA=0.65) without blinking. These findings suggest that C-band QD-based single-photon sources are potential candidates for advancing quantum communication.


title: True Knowledge Comes from Practice: Aligning LLMs with Embodied Environments via Reinforcement Learning

abstract: Despite the impressive performance across numerous tasks, large language models (LLMs) often fail in solving simple decision-making tasks due to the misalignment of the knowledge in LLMs with environments. On the contrary, reinforcement learning (RL) agents learn policies from scratch, which makes them always align with environments but difficult to incorporate prior knowledge for efficient explorations. To narrow the gap, we propose TWOSOME, a novel general online framework that deploys LLMs as decision-making agents to efficiently interact and align with embodied environments via RL without requiring any prepared datasets or prior knowledge of the environments. Firstly, we query the joint probabilities of each valid action with LLMs to form behavior policies. Then, to enhance the stability and robustness of the policies, we propose two normalization methods and summarize four prompt design principles. Finally, we design a novel parameter-efficient training architecture where the actor and critic share one frozen LLM equipped with low-rank adapters (LoRA) updated by PPO. We conduct extensive experiments to evaluate TWOSOME. i) TWOSOME exhibits significantly better sample efficiency and performance compared to the conventional RL method, PPO, and prompt tuning method, SayCan, in both classical decision-making environment, Overcooked, and simulated household environment, VirtualHome. ii) Benefiting from LLMs' open-vocabulary feature, TWOSOME shows superior generalization ability to unseen tasks. iii) Under our framework, there is no significant loss of the LLMs' original ability during online PPO finetuning.


title: QCD analysis of the $P$-wave charmonium electromagnetic Dalitz decays $h_{c}\rightarrow\eta^{(\prime)}\ell^{+}\ell^{-}$

abstract: The $P$-wave charmonium electromagnetic Dalitz decays $h_{c}\rightarrow\eta^{(\prime)}\ell^{+}\ell^{-}$ $(\ell=e, \mu)$ with large recoil momentum are investigated in the framework of perturbative QCD, and the contributions from the small recoil momentum region are described by the overlap of soft wave functions. The transition form factors $f_{h_{c}\eta^{(\prime)}}(q^{2})$ and the normalized transition form factors $F_{h_{c} \eta^{(\prime)}}(q^{2})$ in full kinematic region are derived for the first time. It is noticed that there are no IR divergences at one-loop level, and the transition form factors with the relativistic corrections from the internal momentum of $h_{c}$ are insensitive to both the shapes of $\eta^{(\prime)}$ distribution amplitudes and the invariant mass of the lepton pair in the large recoil momentum region. Intriguingly, unlike the situation in the $S$-wave charmonium decays $J/\psi\rightarrow\eta^{(\prime)}\ell^{+}\ell^{-}$, we find the contributions from the small recoil momentum region are comparable with those from the large recoil momentum region in the $P$-wave charmonium decays $h_{c}\rightarrow\eta^{(\prime)}\ell^{+}\ell^{-}$. By employing the obtained $F_{h_{c} \eta^{(\prime)}}(q^{2})$, we give the predictions of the branching ratios $\mathcal{B}(h_{c}\rightarrow\eta^{(\prime)}\ell^{+}\ell^{-})$, which may come within the range of measurement of present or near-future experiments.


title: Agent-based Simulation with Netlogo to Evaluate AmI Scenarios

abstract: In this paper an agent-based simulation is developed in order to evaluate an AmI scenario based on agents. Many AmI applications are implemented through agents but they are not compared to any other existing alternative in order to evaluate the relative benefits of using them. The proposal simulation environment developed in Netlogo analyse such benefits using two evaluation criteria: First, measuring agent satisfaction of different types of desires along the execution. Second, measuring time savings obtained through a correct use of context information. So, here, a previously suggested agent architecture, an ontology and a 12-steps protocol to provide AmI services in airports, is evaluated using a NetLogo simulation environment. The present work uses a NetLogo model considering scalability problems of this application domain but using FIPA and BDI extensions to be coherent with our previous works and our previous JADE implementation of them. The NetLogo model presented simulates an airport with agent users passing through several zones located in a specific order in a map: passport controls, check-in counters of airline companies, boarding gates, different types of shopping. Although initial data in simulations are generated randomly, and the model is just an approximation of real-world airports, the definition of this case of use of Ambient Intelligence through NetLogo agents opens an interesting way to evaluate the benefits of using Ambient Intelligence, which is a significant contribution to the final development of them.


title: On Abel's Problem about Logarithmic Integrals in Positive Characteristic

abstract: Linear differential equations with polynomial coefficients over a field $K$ of positive characteristic $p$ with local exponents in the prime field have a basis of solutions in the differential extension $\mathcal{R}_p=K(z_1, z_2, \ldots)(\!( x)\!)$ of $K(x)$, where $x'=1, z_1'=1/x$ and $z_i'=z_{i-1}'/z_{i-1}$. For differential equations of order $1$ it is shown that there exists a solution $y$ whose projections $y\vert_{z_{i+1}=z_{i+2}=\cdots=0}$ are algebraic over the field of rational functions $K(x, z_1, \ldots, z_{i})$ for all $i$. This can be seen as a characteristic $p$ analogue of Abel's problem about the algebraicity of logarithmic integrals. Further, the existence of infinite product representations of these solutions is shown. As a main tool $p^i$-curvatures are introduced, generalizing the notion of the $p$-curvature.


title: Alleviating Structural Distribution Shift in Graph Anomaly Detection

abstract: Graph anomaly detection (GAD) is a challenging binary classification problem due to its different structural distribution between anomalies and normal nodes -- abnormal nodes are a minority, therefore holding high heterophily and low homophily compared to normal nodes. Furthermore, due to various time factors and the annotation preferences of human experts, the heterophily and homophily can change across training and testing data, which is called structural distribution shift (SDS) in this paper. The mainstream methods are built on graph neural networks (GNNs), benefiting the classification of normals from aggregating homophilous neighbors, yet ignoring the SDS issue for anomalies and suffering from poor generalization. This work solves the problem from a feature view. We observe that the degree of SDS varies between anomalies and normal nodes. Hence to address the issue, the key lies in resisting high heterophily for anomalies meanwhile benefiting the learning of normals from homophily. We tease out the anomaly features on which we constrain to mitigate the effect of heterophilous neighbors and make them invariant. We term our proposed framework as Graph Decomposition Network (GDN). Extensive experiments are conducted on two benchmark datasets, and the proposed framework achieves a remarkable performance boost in GAD, especially in an SDS environment where anomalies have largely different structural distribution across training and testing environments. Codes are open-sourced in https://github.com/blacksingular/wsdm_GDN.


title: Traces of vanishing H\"older spaces

abstract: For an arbitrary subset $E\subset\mathbb{R}^n$ and the scales $\Gamma = \textit{small, large, far},$ we introduce and study the $\Gamma$-vanishing subspaces $\dot{\operatorname{VC}}_{\Gamma}^{\omega}(E)\subset \dot{C}^{0,\omega}(E)$ of the H\"older spaces. We find a single bounded linear extension operator that maps $\dot{\operatorname{VC}}_{\Gamma}^{\omega}(E)\to \dot{\operatorname{VC}}_{\Gamma}^{\omega}(\mathbb{R}^n)$ and works separately for each of the three vanishing scales. In fact, this follows as the zeroth order special case of a more general problem involving higher order derivatives. As a corollary, we obtain complete characterizations of approximability of H\"older functions $\dot{C}^{0,\omega}(E)$ by Lipschitz and boundedly supported functions, for an arbitrary subset $E\subset\mathbb{R}^n.$


title: From ultraluminous X-ray pulsar to supermassive neutron star

abstract: The formation of a $2.7\ \rm M_{\odot}$ supermassive neutron star is explored, as the possible companion of PSR J0514--4002E. Magnetars may experience super-Eddington accretion. Observationally they may manifest themselves as ultraluminous X-ray pulsars. We propose that supermassive neutron stars may be formed through ultraluminous X-ray pulsar phase, if the ultraluminous X-ray pulsar phase can last for $10^{5}$--$10^6 \ \rm yr$. The accreted material will also bury the magnetic field of the neutron star. Assuming accretion equilibrium, the final output may be a millisecond supermassive neutron star. In order for the ultraluminous X-ray pulsar phase to last long enough, a magnetic field configuration of the low magnetic field magnetar is required. The mass, magnetic field and rotational evolution of super-Eddington accreting neutron stars are rather robust against different assumptions, although many of the model details are yet to be determined.


title: A robust consensus + innovations-based distributed parameter estimator

abstract: While distributed parameter estimation has been extensively studied in the literature, little has been achieved in terms of robust analysis and tuning methods in the presence of disturbances. However, disturbances such as measurement noise and model mismatches occur in any real-world setting. Therefore, providing tuning methods with specific robustness guarantees would greatly benefit the practical application. To address these issues, we recast the error dynamics of a continuous-time version of the widely used consensus + innovations-based distributed parameter estimator to reflect the error dynamics induced by the classical gradient descent algorithm. This paves the way for the construction of a strong Lyapunov function. Based on this result, we derive linear matrix inequality-based tools for tuning the algorithm gains such that a guaranteed upper bound on the L2-gain with respect to parameter variations, measurement noise, and disturbances in the communication channels is achieved. An application example illustrates the efficiency of the method.


title: Grounded SAM: Assembling Open-World Models for Diverse Visual Tasks

abstract: We introduce Grounded SAM, which uses Grounding DINO as an open-set object detector to combine with the segment anything model (SAM). This integration enables the detection and segmentation of any regions based on arbitrary text inputs and opens a door to connecting various vision models. As shown in Fig.1, a wide range of vision tasks can be achieved by using the versatile Grounded SAM pipeline. For example, an automatic annotation pipeline based solely on input images can be realized by incorporating models such as BLIP and Recognize Anything. Additionally, incorporating Stable-Diffusion allows for controllable image editing, while the integration of OSX facilitates promptable 3D human motion analysis. Grounded SAM also shows superior performance on open-vocabulary benchmarks, achieving 48.7 mean AP on SegInW (Segmentation in the wild) zero-shot benchmark with the combination of Grounding DINO-Base and SAM-Huge models.


title: A Mathematical Theory of Semantic Communication: Overview

abstract: Semantic communication initiates a new direction for future communication. In this paper, we aim to establish a systematic framework of semantic information theory (SIT). First, we propose a semantic communication model and define the synonymous mapping to indicate the critical relationship between semantic information and syntactic information. Based on this core concept, we introduce the measures of semantic information, such as semantic entropy $H_s(\tilde{U})$, up/down semantic mutual information $I^s(\tilde{X};\tilde{Y})$ $(I_s(\tilde{X};\tilde{Y}))$, semantic capacity $C_s=\max_{p(x)}I^s(\tilde{X};\tilde{Y})$, and semantic rate-distortion function $R_s(D)=\min_{p(\hat{x}|x):\mathbb{E}d_s(\tilde{x},\hat{\tilde{x}})\leq D}I_s(\tilde{X};\hat{\tilde{X}})$. Furthermore, we prove three coding theorems of SIT, that is, the semantic source coding theorem, semantic channel coding theorem, and semantic rate-distortion coding theorem. We find that the limits of information theory are extended by using synonymous mapping, that is, $H_s(\tilde{U})\leq H(U)$, $C_s\geq C$ and $R_s(D)\leq R(D)$. All these works composite the basis of semantic information theory. In summary, the theoretic framework proposed in this paper is a natural extension of classic information theory and may reveal great performance potential for future communication.


title: Adapting tree-based multiple imputation methods for multi-level data? A simulation study

abstract: This simulation study evaluates the effectiveness of multiple imputation (MI) techniques for multilevel data. It compares the performance of traditional Multiple Imputation by Chained Equations (MICE) with tree-based methods such as Chained Random Forests with Predictive Mean Matching and Extreme Gradient Boosting. Adapted versions that include dummy variables for cluster membership are also included for the tree-based methods. Methods are evaluated for coefficient estimation bias, statistical power, and type I error rates on simulated hierarchical data with different cluster sizes (25 and 50) and levels of missingness (10\% and 50\%). Coefficients are estimated using random intercept and random slope models. The results show that while MICE is preferred for accurate rejection rates, Extreme Gradient Boosting is advantageous for reducing bias. Furthermore, the study finds that bias levels are similar across different cluster sizes, but rejection rates tend to be less favorable with fewer clusters (lower power, higher type I error). In addition, the inclusion of cluster dummies in tree-based methods improves estimation for Level 1 variables, but is less effective for Level 2 variables. When data become too complex and MICE is too slow, extreme gradient boosting is a good alternative for hierarchical data. Keywords: Multiple imputation; multi-level data; MICE; missRanger; mixgb


title: A view toward homomorphisms and cv-polynomials between double Ore extensions

abstract: Motivated by the theory of homomorphisms and cv-polynomials of Ore extensions formulated by several mathematicians, the rol of double Ore extensions introduced by Zhang and Zhang in the classification of Artin-Schelter regular algebras of dimension four, and that there are no inclusions between the classes of all double Ore extensions of an algebra and of all length two iterated Ore extensions of the same algebra, our aim in this paper is to present a first approach toward a theory of homomorphisms and cv-polynomials between double Ore extensions. We obtain several results on the characterizations of cv-polynomials and their relations with inner derivations of the ring of coefficients of the double algebra, and show that the computation of homomorphisms corresponding to these polynomials is non-trivial. We illustrate our results with different examples including Nakayama automorphisms of trimmed double Ore extensions.


title: The stabilizer-free weak Galerkin finite element method for the Biharmonic equation using polynomials of reduced order

abstract: In this article, we decrease the degree of the polynomials on the boundary of the weak functions and modify the definition of the weak laplacian which are introduced in \cite{BiharmonicSFWG} to use the SFWG method for the biharmonic equation. Then we propose the relevant numerical format and obtain the optimal order of error estimates in $H^2$ and $L^2$ norms. Finally, we confirm the estimates using numerical experiments.


title: Dynamics of a particle under the Gravitational Potential of a Massive Annulus: properties and equilibrium description

abstract: This paper studies the main features of the dynamics around a massive annular disk. The first part addresses the difficulties finding an appropriated expression of the gravitational potential of a massive disk, which will be used to define the differential equations of motion of our dynamical system. The second part describes the main features of the dynamics with special attention to equilibrium of the system.


title: Pseudogap in \(Sr_{2-x}La_{x}IrO_{4}\): Gor'kov-Teitel'baum thermal activation model

abstract: Recently, Hall effect measurements are done on Lanthanum doped Strontium Iridate \(Sr_{2-x}La_{x}IrO_{4}\) which is 5d analogue of cuprates \cite{hsu2023carrier}. Hall effect measurements show that the effective carrier density \(n_{H}\) exhibits a crossover from \(n_{H} \sim x\) to \(n_{H} \sim 1+x\) near \(x\simeq 0.16\) . This is very similar to that found in cuprates around $p\simeq0.19$. It is proposed that a pseudogap (PG) state in \(Sr_{2-x}La_{x}IrO_{4}\) exists and is ending at \(x\simeq 0.16\) \cite{hsu2023carrier}. However, PG boundary (in doping-temperature phase diagram) remains unknown. In this work, we apply a very successfull the Gor'kov-Teitel'baum Thermal Activation (GTTA) model to \(Sr_{2-x}La_{x}IrO_{4}\) and obtain its PG phase boundary and draw an updated phase diagram. Our results agree with previously known signatures of PG phase in this system \cite{seo2017infrared,de2015collapse}. Using results from GTTA model we also obtain the evolution of "Fermi arcs" in this system as a function %of both doping and temperature for doping concentration $x\simeq0.08$ which are in qualitative agreement with the reported results.


title: BayesPrompt: Prompting Large-Scale Pre-Trained Language Models on Few-shot Inference via Debiased Domain Abstraction

abstract: As a novel and effective fine-tuning paradigm based on large-scale pre-trained language models (PLMs), prompt-tuning aims to reduce the gap between downstream tasks and pre-training objectives. While prompt-tuning has yielded continuous advancements in various tasks, such an approach still remains a persistent defect: prompt-tuning methods fail to generalize to specific few-shot patterns. From the perspective of distribution analyses, we disclose that the intrinsic issues behind the phenomenon are the over-multitudinous conceptual knowledge contained in PLMs and the abridged knowledge for target downstream domains, which jointly result in that PLMs mis-locate the knowledge distributions corresponding to the target domains in the universal knowledge embedding space. To this end, we intuitively explore to approximate the unabridged target domains of downstream tasks in a debiased manner, and then abstract such domains to generate discriminative prompts, thereby providing the de-ambiguous guidance for PLMs. Guided by such an intuition, we propose a simple yet effective approach, namely BayesPrompt, to learn prompts that contain the domain discriminative information against the interference from domain-irrelevant knowledge. BayesPrompt primitively leverages known distributions to approximate the debiased factual distributions of target domains and further uniformly samples certain representative features from the approximated distributions to generate the ultimate prompts for PLMs. We provide theoretical insights with the connection to domain adaptation. Empirically, our method achieves state-of-the-art performance on benchmarks.


title: Runaway Electron Dynamics in ITER Disruptions with Shattered Pellet Injections

abstract: This study systematically explores the parameter space of disruption mitigation through shattered pellet injection in ITER with a focus on runaway electron dynamics, using the disruption modelling tool DREAM. The physics fidelity is considerably increased compared to previous studies, by e.g., using realistic magnetic geometry, resistive wall configuration, thermal quench onset criteria, as well as including additional effects, such as ion transport and enhanced runaway electron transport during the thermal quench. The work aims to provide a fairly comprehensive coverage of experimentally feasible scenarios, considering plasmas representative of both non-activated and high-performance DT operation, different thermal quench onset criteria and transport levels, a wide range of hydrogen and neon quantities injected in one or two stages, and pellets with various characteristic shard sizes. Using a staggered injection scheme, with a pure hydrogen injection preceding a mixed hydrogen-neon injection, we find injection parameters leading to acceptable runaway electron currents in all investigated discharges without activated runaway sources. Dividing the injection into two stages is found to significantly enhance the assimilation and minimize runaway electron generation due to the hot-tail mechanism. However, while a staggered injection outperforms a single stage injection also in cases with radioactive runaway electron sources, no cases with acceptable runaway electron currents are found for a DT-plasma with a 15 MA plasma current.


title: Vivim: a Video Vision Mamba for Medical Video Object Segmentation

abstract: Traditional convolutional neural networks have a limited receptive field while transformer-based networks are mediocre in constructing long-term dependency from the perspective of computational complexity. Such the bottleneck poses a significant challenge when processing long sequences in video analysis tasks. Very recently, the state space models (SSMs) with efficient hardware-aware designs, famous by Mamba, have exhibited impressive achievements in long sequence modeling, which facilitates the development of deep neural networks on many vision tasks. To better capture available dynamic cues in video frames, this paper presents a generic Video Vision Mamba-based framework, dubbed as \textbf{Vivim}, for medical video object segmentation tasks. Our Vivim can effectively compress the long-term spatiotemporal representation into sequences at varying scales by our designed Temporal Mamba Block. We also introduce a boundary-aware constraint to enhance the discriminative ability of Vivim on ambiguous lesions in medical images. Extensive experiments on thyroid segmentation in ultrasound videos and polyp segmentation in colonoscopy videos demonstrate the effectiveness and efficiency of our Vivim, superior to existing methods. The code is available at: https://github.com/scott-yjyang/Vivim.


title: A finite volume method preserving the invariant region property for the quasimonotone reaction-diffusion systems

abstract: We present a finite volume method preserving the invariant region property (IRP) for the reaction-diffusion systems with quasimonotone functions, including nondecreasing, decreasing, and mixed quasimonotone systems. The diffusion terms and time derivatives are discretized by a finite volume method satisfying the discrete maximum principle (DMP) and the backward Euler method, respectively. The discretization leads to an implicit and nonlinear scheme, and it is proved to preserve the invariant region property unconditionally. We construct an iterative algorithm and prove the invariant region property ar each iteration step. Numerical examples are shown to confirm the accuracy and invariant region property of our scheme.


title: No-go guide for the Hubble tension: late-time or local-scale new physics

abstract: The standard model of modern cosmology might be cracked by the recent persistent hot debate on the Hubble-constant ($H_0$) tension, which manifests itself as the sound-horizon ($r_s$) tension or absolute-magnitude ($M_B$) tension if deeming the origin of the Hubble tension from modifying the early or late Universe, respectively. In this Letter, we achieve a fully model-independent constraint (fitting a model-independent global parameterization to a model-independent inverse distant ladder with a model-independent high-redshift calibration) on late-time models with strong evidence against homogeneous new physics over the $\Lambda$-cold-dark ($\Lambda$CDM) model. Further using this model-independent constraint to calibrate sufficiently local supernovae with corresponding late-time models extrapolated below the homogeneity scale, we find surprisingly that, although both $H_0$ tension and $M_B$ tension are absent in our local Universe, a combination of $H_0$ and $M_B$ as the intercept $a_B$ of the magnitude-redshift relation exhibits $3\sim 7\sigma$ tension even for the $\Lambda$CDM model. This $a_B$ tension seems to call for local-scale inhomogeneous new physics disguised as local observational systematics.


title: Predicting Hypoxia in Brain Tumors from Multiparametric MRI

abstract: This research paper presents a novel approach to the prediction of hypoxia in brain tumors, using multi-parametric Magnetic Resonance Imaging (MRI). Hypoxia, a condition characterized by low oxygen levels, is a common feature of malignant brain tumors associated with poor prognosis. Fluoromisonidazole Positron Emission Tomography (FMISO PET) is a well-established method for detecting hypoxia in vivo, but it is expensive and not widely available. Our study proposes the use of MRI, a more accessible and cost-effective imaging modality, to predict FMISO PET signals. We investigate deep learning models (DL) trained on the ACRIN 6684 dataset, a resource that contains paired MRI and FMISO PET images from patients with brain tumors. Our trained models effectively learn the complex relationships between the MRI features and the corresponding FMISO PET signals, thereby enabling the prediction of hypoxia from MRI scans alone. The results show a strong correlation between the predicted and actual FMISO PET signals, with an overall PSNR score above 29.6 and a SSIM score greater than 0.94, confirming MRI as a promising option for hypoxia prediction in brain tumors. This approach could significantly improve the accessibility of hypoxia detection in clinical settings, with the potential for more timely and targeted treatments.


title: Dual-trigger release of berberine chloride from the Gelatin/Perfluorohexane core-shell structure

abstract: Background: The development of smart nanocarriers that enable controlled drug release in response to internal and external triggers is an emerging approach for targeted therapy. This study focused on designing pH-sensitive, ultrasound-responsive gelatin/perfluorohexane (PFH) nanodroplets loaded with berberine chloride as a model drug. Results:The nanodroplets were prepared using an emulsion technique and optimized by varying process parameters like homogenization rate, polymer concentration, surfactant, drug, and perfluorocarbon content. The optimal formulation yielded nanodroplets with a particle size of 281.7 nm, a drug encapsulation efficiency of 66.8+- 1.7%, and a passive drug release of 15.4+- 0.2% within 24 hours. Characterization confirmed successful encapsulation and pH-responsive behavior. Ultrasound stimulation significantly enhanced drug release, with 150 kHz being more effective than 1 MHz in triggering acoustic droplet vaporization while minimizing heat generation. After 10 minutes of radiation, the optimal formulation showed 89.4% cumulative drug release. The nanodroplets displayed stability over one month at 4{\deg}C. Conclusions: Overall, the dual-triggered nanodroplets demonstrate excellent potential for controlled delivery and targeted release of berberine chloride.


title: Multicasting Optical Reconfigurable Switch

abstract: Artificial Intelligence (AI) demands large data flows within datacenters, heavily relying on multicasting data transfers. As AI models scale, the requirement for high-bandwidth and low-latency networking compounds. The common use of electrical packet switching faces limitations due to optical-electrical-optical conversion bottlenecks. Optical switches, while bandwidth-agnostic and low-latency, suffer from having only unicast or non-scalable multicasting capability. This paper introduces an optical switching technique addressing this challenge. Our approach enables arbitrarily programmable simultaneous unicast and multicast connectivity, eliminating the need for optical splitters that hinder scalability due to optical power loss. We use phase modulation in multiple layers, tailored to implement any multicast connectivity map. Phase modulation also enables wavelength selectivity on top of spatial selectivity, resulting in an optical switch that implements space-wavelength routing. We conducted simulations and experiments to validate our approach. Our results affirm the concept's feasibility, effectiveness, and scalability, as a multicasting switch by experimentally demonstrating 16 spatial ports using 2 wavelength channels. Numerically, 64 spatial ports with 4 wavelength channels each were simulated, with approximately constant efficiency (< 3 dB) as ports and wavelength channels scale.


title: The Boundaries of Tractability in Hierarchical Task Network Planning

abstract: We study the complexity-theoretic boundaries of tractability for three classical problems in the context of Hierarchical Task Network Planning: the validation of a provided plan, whether an executable plan exists, and whether a given state can be reached by some plan. We show that all three problems can be solved in polynomial time on primitive task networks of constant partial order width (and a generalization thereof), whereas for the latter two problems this holds only under a provably necessary restriction to the state space. Next, we obtain an algorithmic meta-theorem along with corresponding lower bounds to identify tight conditions under which general polynomial-time solvability results can be lifted from primitive to general task networks. Finally, we enrich our investigation by analyzing the parameterized complexity of the three considered problems, and show that (1) fixed-parameter tractability for all three problems can be achieved by replacing the partial order width with the vertex cover number of the network as the parameter, and (2) other classical graph-theoretic parameters of the network (including treewidth, treedepth, and the aforementioned partial order width) do not yield fixed-parameter tractability for any of the three problems.


title: On the strong separation condition for self-similar iterated function systems with random translations

abstract: Given a self-similar iterated function system $\Phi=\{ \phi_i(x)=\rho_i O_i x+t_i \}_{i=1}^m$ acting on $\mathbb{R}^d$, we can generate a parameterised family of iterated function systems by replacing each $t_i$ with a random vector in $\mathbb{R}^d$. In this paper we study whether a Lebesgue typical member of this family will satisfy the strong separation condition. Our main results show that if the similarity dimension of $\Phi$ is sufficiently small, then a Lebesgue typical member of this family will satisfy the strong separation condition.


title: Copilot Refinement: Addressing Code Smells in Copilot-Generated Python Code

abstract: As one of the most popular dynamic languages, Python experiences a decrease in readability and maintainability when code smells are present. Recent advancements in Large Language Models have sparked growing interest in AI-enabled tools for both code generation and refactoring. GitHub Copilot is one such tool that has gained widespread usage. Copilot Chat, released on September 2023, functions as an interactive tool aims at facilitating natural language-powered coding. However, limited attention has been given to understanding code smells in Copilot-generated Python code and Copilot's ability to fix the code smells it generates. To this end, we built a dataset comprising 102 code smells in Copilot-generated Python code. Our aim is to first explore the occurrence of code smells in Copilot-generated Python code and then evaluate the effectiveness of Copilot in fixing these code smells employing different prompts. The results show that 8 out of 10 types of Python smells can be detected in Copilot-generated Python code, among which Multiply-Nested Container is the most common one. For these code smells, Copilot Chat achieves a highest fixing rate of 87.1%, showing promise in fixing Python code smells generated by Copilot itself. Besides, the effectiveness of Copilot Chat in fixing these smells can be improved with the provision of more detailed prompts. However, using Copilot Chat to fix these smells might introduce new code smells.


title: Multilayer hazes over Saturn's hexagon from Cassini ISS limb images

abstract: In June 2015, Cassini high-resolution images of Saturn's limb southwards of the planet's hexagonal wave revealed a system of at least six stacked haze layers above the upper cloud deck. Here, we characterize those haze layers and discuss their nature. Vertical thickness of layers ranged from 7 to 18 km, and they extended in altitude approx 130 km, from pressure level 0.5 bar to 0.01 bar. Above them, a thin but extended aerosol layer reached altitude approx 340 km (0.4 mbar). Radiative transfer modeling of spectral reflectivity shows that haze properties are consistent with particles of diameter 0.07- 1.4 \{mu}m and number density 100 - 500 cm -3. The nature of the hazes is compatible with their formation by condensation of hydrocarbon ices, including acetylene and benzene at higher altitudes. Their vertical distribution could be due to upward propagating gravity waves generated by dynamical forcing by the hexagon and its associated eastward jet.


title: Rigid flocks, undulatory gaits, and chiral foldamers from chemical self-interaction in a freely-jointed active colloidal chain

abstract: Active matter systems - such as a collection of active colloidal particles - operate far from equilibrium with complex inter-particle interactions that govern their collective dynamics. Predicting the collective dynamics of such systems may aid the design of self-shaping structures comprised of active colloidal units with a prescribed dynamical function. Here, using simulations and theory, we study the collective dynamics of a chain consisting of active Brownian particles with internal interactions via trail-mediated chemicals, connected by harmonic springs in two dimensions to obtain design principles for active colloidal molecules. We show that two-dimensional confinement and chemo-repulsive interactions between the freely-jointed particles lead to an emergent rigidity of the chain in the steady-state dynamics. In the chemo-attractive regime, the chain collapses into crystals that abruptly halt their motion. Further, in a chain consisting of a binary mixture of monomers, we show that non-reciprocal chemical affinities between distinct species give rise to novel phenomena, such as chiral molecules with tunable dynamics, sustained undulatory gaits and reversal of the direction of motion. Our results suggest a novel interpretation of the role of trail-mediated interactions, in addition to providing active self-assembly principles.


title: Deep Neural Networks as Variational Solutions for Correlated Open Quantum Systems

abstract: In this work we apply deep neural networks to find the non-equilibrium steady state solution to correlated open quantum many-body systems. Motivated by the ongoing search to find more powerful representations of (mixed) quantum states, we design a simple prototypical convolutional neural network and show that parametrizing the density matrix directly with more powerful models can yield better variational ansatz functions and improve upon results reached by neural density operator based on the restricted Boltzmann machine. Hereby we give up the explicit restriction to positive semi-definite density matrices. However, this is fulfilled again to good approximation by optimizing the parameters. The great advantage of this approach is that it opens up the possibility of exploring more complex network architectures that can be tailored to specific physical properties. We show how translation invariance can be enforced effortlessly and reach better results with fewer parameters. We present results for the dissipative one-dimensional transverse-field Ising model and a two-dimensional dissipative Heisenberg model compared to exact values.


title: Magnetic fields of protoplanetary disks

abstract: We review the current status of studies on accretion and protoplanetary disks of young stars with large-scale magnetic fields. Observational data on magnetic fields of the disks are compiled and analysed. Modern analytical and numerical MHD models of protoplanetary disks are discussed. The mechanisms of angular momentum transport via turbulence, magnetic tensions and outflows are outlined. We consider the influence of Ohmic dissipation, magnetic ambipolar diffusion, magnetic buoyancy, and the Hall effect on the evolution of the magnetic flux in disks. Modern MHD models of accretion disks show that the magnetic field can influence the structure of protoplanetary disks. We argue that the available observational data on the magnetic fields in protoplanetary disks can be interpreted within the framework of fossil magnetic field theory. We summarize the problems of the modern theory of accretion and protoplanetary disks with magnetic fields and also outline the prospects for further research.


title: Non-symmetrical sparking may hint "zits'' on a pulsar surface

abstract: Pulsar electrodynamics could be relevant to the physics of stellar surface, which remains poorly understood for more than half a centenary and is difficult to probe due to the absence of direct and clear observational evidence. Nevertheless, highly-sensitive telescopes (e.g., China's Five-hundred-meter Aperture Spherical radio Telescope, FAST) may play an essential role in solving the problem since the predicted surface condition would have quite different characteristics in some models of pulsar structure, especially after the establishment of the standard model of particle physics. For instance, small hills (or ``zit'') may exist on solid strangeon star surface with rigidity, preferential discharge, i.e., gap sparking, may occur around the hills in the polar cap region. In this work, with the 110-min polarization observation of PSR B0950+08 targeted by FAST, we report that the gap sparking is significantly non-symmetrical to the meridian plane on which the rotational and magnetic axes lie. It is then speculated that this asymmetry could be the result of preferential sparking around zits which might rise randomly on pulsar surface. Some polarization features of both single pulses and the mean pulse, as well as the cross-correlation function of different emission regions, have also been presented.


title: Harnack inequalities for kinetic integral equations

abstract: We deal with a wide class of kinetic equations, $$ \big[ \partial_t + v\cdot\nabla_x\big] f = \mathcal{L}_v f. $$ Above, the diffusion term $\mathcal{L}_v$ is an integro-differential operator, whose nonnegative kernel is of fractional order $s\in(0,1)$ having merely measurable coefficients. Amongst other results, we are able to prove that nonnegative weak solutions $f$ do satisfy $$ \sup_{Q^-} f \ \leq \ c\inf_{Q^+} f, $$ where $Q^{\pm}$ are suitable slanted cylinders. No a-priori boundedness is assumed, as usually in the literature, since we are also able to prove a general interpolation inequality in turn giving local boundedness which is valid even for weak subsolutions with no sign assumptions. To our knowledge, this is the very first time that a strong Harnack inequality is proven for kinetic integro-differential-type equations. A new independent result, a Besicovitch-type covering argument for very general kinetic geometries, is also stated and proved.


title: Towards Autonomous Supply Chains: Definition, Characteristics, Conceptual Framework, and Autonomy Levels

abstract: Recent global disruptions, such as the pandemic and geopolitical conflicts, have profoundly exposed vulnerabilities in traditional supply chains, requiring exploration of more resilient alternatives. Autonomous supply chains (ASCs) have emerged as a potential solution, offering increased visibility, flexibility, and resilience in turbulent trade environments. Despite discussions in industry and academia over several years, ASCs lack well-established theoretical foundations. This paper addresses this research gap by presenting a formal definition of ASC along with its defining characteristics and auxiliary concepts. We propose a layered conceptual framework called the MIISI model. An illustrative case study focusing on the meat supply chain demonstrates an initial ASC implementation based on this conceptual model. Additionally, we introduce a seven-level supply chain autonomy reference model, delineating a trajectory towards achieving a full supply chain autonomy. Recognising that this work represents an initial endeavour, we emphasise the need for continued exploration in this emerging domain. We anticipate that this work will stimulate further research, both theoretical and technical, and contribute to the continual evolution of ASCs.


title: Friendly Attacks to Improve Channel Coding Reliability

abstract: This paper introduces a novel approach called "friendly attack" aimed at enhancing the performance of error correction channel codes. Inspired by the concept of adversarial attacks, our method leverages the idea of introducing slight perturbations to the neural network input, resulting in a substantial impact on the network's performance. By introducing small perturbations to fixed-point modulated codewords before transmission, we effectively improve the decoder's performance without violating the input power constraint. The perturbation design is accomplished by a modified iterative fast gradient method. This study investigates various decoder architectures suitable for computing gradients to obtain the desired perturbations. Specifically, we consider belief propagation (BP) for LDPC codes; the error correcting code transformer, BP and neural BP (NBP) for polar codes, and neural BCJR for convolutional codes. We demonstrate that the proposed friendly attack method can improve the reliability across different channels, modulations, codes, and decoders. This method allows us to increase the reliability of communication with a legacy receiver by simply modifying the transmitted codeword appropriately.


title: TDFNet: An Efficient Audio-Visual Speech Separation Model with Top-down Fusion

abstract: Audio-visual speech separation has gained significant traction in recent years due to its potential applications in various fields such as speech recognition, diarization, scene analysis and assistive technologies. Designing a lightweight audio-visual speech separation network is important for low-latency applications, but existing methods often require higher computational costs and more parameters to achieve better separation performance. In this paper, we present an audio-visual speech separation model called Top-Down-Fusion Net (TDFNet), a state-of-the-art (SOTA) model for audio-visual speech separation, which builds upon the architecture of TDANet, an audio-only speech separation method. TDANet serves as the architectural foundation for the auditory and visual networks within TDFNet, offering an efficient model with fewer parameters. On the LRS2-2Mix dataset, TDFNet achieves a performance increase of up to 10\% across all performance metrics compared with the previous SOTA method CTCNet. Remarkably, these results are achieved using fewer parameters and only 28\% of the multiply-accumulate operations (MACs) of CTCNet. In essence, our method presents a highly effective and efficient solution to the challenges of speech separation within the audio-visual domain, making significant strides in harnessing visual information optimally.


title: Graph-accelerated Markov Chain Monte Carlo using Approximate Samples

abstract: It has become increasingly easy nowadays to collect approximate posterior samples via fast algorithms such as variational Bayes, but concerns exist about the estimation accuracy. It is tempting to build solutions that exploit approximate samples in a canonical Markov chain Monte Carlo framework. A major barrier is that the approximate sample as a proposal tends to have a low Metropolis-Hastings acceptance rate, as the dimension increases. In this article, we propose a simple solution named graph-accelerated Markov Chain Monte Carlo. We build a graph with each node assigned to an approximate sample, then run Markov chain Monte Carlo with random walks over the graph. We optimize the graph edges to enforce small differences in posterior density/probability between nodes, while encouraging edges to have large distances in the parameter space. The graph allows us to accelerate a canonical Markov transition kernel through mixing with a large-jump Metropolis-Hastings step. The acceleration is easily applicable to existing Markov chain Monte Carlo algorithms. We theoretically quantify the rate of acceptance as dimension increases, and show the effects on improved mixing time. We demonstrate improved mixing performances for challenging problems, such as those involving multiple modes, non-convex density contour, or large-dimension latent variables.


title: Fourth-order operators with unbounded coefficients

abstract: We prove that operators of the form $A=-a(x)^2\Delta^{2}$, with $|D a(x)|\leq c a(x)^\frac{1}{2}$, generate analytic semigroups in $L^p(\mathbb{R}^N)$ for $1<p\leq\infty$ and in $C_b(\mathbb{R}^N)$. In particular, we deduce generation results for the operator $A :=- (1+|x|^2)^{\alpha} \Delta^{2}$, $0\leq\alpha\leq2$. Moreover, we characterize the maximal domain of such operators in $L^p(\mathbb{R}^N)$ for $1<p<\infty$.


title: Interactions of the Pseudoscalar Meson Octet and the Baryon Decuplet in the Continuum and a Finite Volume

abstract: This study focuses on the interaction of the pseudoscalar meson octet and the baryon decuplet. In the continuum, it is observed that several $J^{P}=\frac32^-$ baryon resonances can be produced by the Weinberg-Tomozawa interaction in unitarized chiral perturbation theory, including the $N(1875)$, $\Sigma(1670)$, $\Sigma(1910)$, $\Xi(1820)$ and $\Omega(2012)$. Among them, the $\Xi(1820)$ and $\Sigma(1670)$ may exhibit a potential two-pole structures. The unitarized chiral perturbation approach is then applied as the underlying theory to predict the energy levels of these systems in a finite volume. These energy levels are well described by the $K$-matrix parameterization constrained by flavor SU(3) symmetry. With the parameters from the best fits, the poles extracted from the $K$-matrix parameterization closely correspond to those derived from the underlying chiral effective field theory, as long as they are close to physical region and not significantly higher than the lowest relevant threshold.


title: Form Convex Hull to Concavity: Surface Contraction Around a Point Set

abstract: This paper investigates the transformation of a convex hull, derived from a d-dimensional point cloud, into a concave surface. Our primary focus is on the development of a methodology that ensures all points in the point cloud are encapsulated within a closed, non-intersecting concave surface. The study begins with the initial convex hull and employs an iterative process of facet replacement and expansion to evolve the surface into Scc, which accurately conforms to the complex geometry of the point cloud.


title: A few remarks on effectivity and good minimal models

abstract: We prove several results relating the nonvanishing and the existence of good minimal models of different pairs that have the same underlying variety.


title: Validation of Golden Gate assemblies using highly multiplexed Nanopore amplicon sequencing

abstract: Golden Gate cloning has revolutionized synthetic biology. Its concept of modular, highly characterized libraries of parts that can be combined into higher order assemblies allows engineering principles to be applied to biological systems. The basic parts, typically stored in level 0 plasmids, are sequence validated by the method of choice and can be combined into higher order assemblies on demand. Higher order assemblies are typically transcriptional units, and multiple transcriptional units can be assembled into multi-gene constructs. Higher order Golden Gate assembly based on defined and validated parts usually does not introduce sequence changes. Therefore, simple validation of the assemblies, e.g. by colony PCR or restriction digest pattern analysis, is sufficient. However, in many experimental setups, researchers do not use defined parts, but rather part libraries, resulting in assemblies of high combinatorial complexity where sequencing again becomes mandatory. Here we present a detailed protocol for the use of a highly multiplexed dual barcode amplicon sequencing using the Nanopore sequencing platform for in-house sequence validation. The workflow, called DuBA.flow, is a start-to-finish procedure that provides all necessary steps from a single colony to the final easy-to-interpret sequencing report.


title: How Can Large Language Models Understand Spatial-Temporal Data?

abstract: While Large Language Models (LLMs) dominate tasks like natural language processing and computer vision, harnessing their power for spatial-temporal forecasting remains challenging. The disparity between sequential text and complex spatial-temporal data hinders this application. To address this issue, this paper introduces STG-LLM, an innovative approach empowering LLMs for spatial-temporal forecasting. We tackle the data mismatch by proposing: 1) STG-Tokenizer: This spatial-temporal graph tokenizer transforms intricate graph data into concise tokens capturing both spatial and temporal relationships; 2) STG-Adapter: This minimalistic adapter, consisting of linear encoding and decoding layers, bridges the gap between tokenized data and LLM comprehension. By fine-tuning only a small set of parameters, it can effectively grasp the semantics of tokens generated by STG-Tokenizer, while preserving the original natural language understanding capabilities of LLMs. Extensive experiments on diverse spatial-temporal benchmark datasets show that STG-LLM successfully unlocks LLM potential for spatial-temporal forecasting. Remarkably, our approach achieves competitive performance on par with dedicated SOTA methods.


title: Clinical Melanoma Diagnosis with Artificial Intelligence: Insights from a Prospective Multicenter Study

abstract: Early detection of melanoma, a potentially lethal type of skin cancer with high prevalence worldwide, improves patient prognosis. In retrospective studies, artificial intelligence (AI) has proven to be helpful for enhancing melanoma detection. However, there are few prospective studies confirming these promising results. Existing studies are limited by low sample sizes, too homogenous datasets, or lack of inclusion of rare melanoma subtypes, preventing a fair and thorough evaluation of AI and its generalizability, a crucial aspect for its application in the clinical setting. Therefore, we assessed 'All Data are Ext' (ADAE), an established open-source ensemble algorithm for detecting melanomas, by comparing its diagnostic accuracy to that of dermatologists on a prospectively collected, external, heterogeneous test set comprising eight distinct hospitals, four different camera setups, rare melanoma subtypes, and special anatomical sites. We advanced the algorithm with real test-time augmentation (R-TTA, i.e. providing real photographs of lesions taken from multiple angles and averaging the predictions), and evaluated its generalization capabilities. Overall, the AI showed higher balanced accuracy than dermatologists (0.798, 95% confidence interval (CI) 0.779-0.814 vs. 0.781, 95% CI 0.760-0.802; p<0.001), obtaining a higher sensitivity (0.921, 95% CI 0.900- 0.942 vs. 0.734, 95% CI 0.701-0.770; p<0.001) at the cost of a lower specificity (0.673, 95% CI 0.641-0.702 vs. 0.828, 95% CI 0.804-0.852; p<0.001). As the algorithm exhibited a significant performance advantage on our heterogeneous dataset exclusively comprising melanoma-suspicious lesions, AI may offer the potential to support dermatologists particularly in diagnosing challenging cases.


title: Parameter-Efficient Conversational Recommender System as a Language Processing Task

abstract: Conversational recommender systems (CRS) aim to recommend relevant items to users by eliciting user preference through natural language conversation. Prior work often utilizes external knowledge graphs for items' semantic information, a language model for dialogue generation, and a recommendation module for ranking relevant items. This combination of multiple components suffers from a cumbersome training process, and leads to semantic misalignment issues between dialogue generation and item recommendation. In this paper, we represent items in natural language and formulate CRS as a natural language processing task. Accordingly, we leverage the power of pre-trained language models to encode items, understand user intent via conversation, perform item recommendation through semantic matching, and generate dialogues. As a unified model, our PECRS (Parameter-Efficient CRS), can be optimized in a single stage, without relying on non-textual metadata such as a knowledge graph. Experiments on two benchmark CRS datasets, ReDial and INSPIRED, demonstrate the effectiveness of PECRS on recommendation and conversation. Our code is available at: https://github.com/Ravoxsg/efficient_unified_crs.


title: Sensitivity of two-mode SRF cavity to generic electromagnetic interactions of ultralight dark matter

abstract: The ultralight dark matter (ULDM) such as axion or wavelike scalar plays as a plausible DM candidate. Recently, the possible non-standard ULDM couplings draw much attention. In this work we investigate the detection of electromagnetic couplings in a few benchmark models of ULDM. For illustration, we consider the generic axion electrodynamics including CP violating coupling as well as the newly proposed axion electromagnetodynamics. The superconducting radio frequency (SRF) cavity with two-mode has more advantages than the traditional cavity approach with static background field. We utilize the two-mode SRF cavity to probe the generic couplings of ULDM with frequency lower than GHz. The choices of the transverse electromagnetic modes are explicitly specified for the detection. We show the sensitivity of the SRF cavity to the axion couplings in the above frameworks.


title: DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence

abstract: The rapid development of large language models has revolutionized code intelligence in software development. However, the predominance of closed-source models has restricted extensive research and development. To address this, we introduce the DeepSeek-Coder series, a range of open-source code models with sizes from 1.3B to 33B, trained from scratch on 2 trillion tokens. These models are pre-trained on a high-quality project-level code corpus and employ a fill-in-the-blank task with a 16K window to enhance code generation and infilling. Our extensive evaluations demonstrate that DeepSeek-Coder not only achieves state-of-the-art performance among open-source code models across multiple benchmarks but also surpasses existing closed-source models like Codex and GPT-3.5. Furthermore, DeepSeek-Coder models are under a permissive license that allows for both research and unrestricted commercial use.


title: Proof of conjectures on series with summands involving $ \binom{2k}{k}8^k/(\binom{3k}{k}\binom{6k}{3k})$

abstract: Using cyclotomic multiple zeta values of level $8$, we confirm and generalize several conjectural identities on infinite series with summands involving $\binom{2k}k8^k/(\binom{3k}k\binom{6k}{3k})$. For example, we prove that \[\sum_{k=0}^\infty\frac{(350k-17)\binom{2k}k8^k} {\binom{3k}k\binom{6k}{3k}}=15\sqrt2\,\pi+27\] and \[\sum_{k=1}^\infty\frac{\left\{(5k-1)\left[16\mathsf H_{2k-1}^{(2)}-3\mathsf H_{k-1}^{(2)}\right]-\frac{12(6k-1)}{(2k-1)^2}\right\}\binom{2k}k8^k} {k(2k-1)\binom{3k}k\binom{6k}{3k}}=\frac{\pi^3}{12\sqrt2},\] where $\mathsf H^{(2)}_m$ denotes the second-order harmonic number $\sum_{0<j\leq m}\frac1{j^2}$.


title: Deep Learning to Improve the Sensitivity of Di-Higgs Searches in the $4b$ Channel

abstract: The study of di-Higgs events, both resonant and non-resonant, plays a crucial role in understanding the fundamental interactions of the Higgs boson. In this work we consider di-Higgs events decaying into four $b$-quarks and propose to improve the experimental sensitivity by utilizing a novel machine learning algorithm known as Symmetry Preserving Attention Network (\textsc{Spa-Net}) -- a neural network structure whose architecture is designed to incorporate the inherent symmetries in particle reconstruction tasks. We demonstrate that the \textsc{Spa-Net} can enhance the experimental reach over baseline methods such as the cut-based and the Deep Neural Networks (DNN)-based analyses. At the Large Hadron Collider, with a 14-TeV centre-of-mass energy and an integrated luminosity of 300 fb$^{-1}$, the \textsc{Spa-Net} allows us to establish 95\% C.L. upper limits in resonant production cross-sections that are 10\% to 45\% stronger than baseline methods. For non-resonant di-Higgs production, \textsc{Spa-Net} enables us to constrain the self-coupling that is 9\% more stringent than the baseline method.


title: MTRGL:Effective Temporal Correlation Discerning through Multi-modal Temporal Relational Graph Learning

abstract: In this study, we explore the synergy of deep learning and financial market applications, focusing on pair trading. This market-neutral strategy is integral to quantitative finance and is apt for advanced deep-learning techniques. A pivotal challenge in pair trading is discerning temporal correlations among entities, necessitating the integration of diverse data modalities. Addressing this, we introduce a novel framework, Multi-modal Temporal Relation Graph Learning (MTRGL). MTRGL combines time series data and discrete features into a temporal graph and employs a memory-based temporal graph neural network. This approach reframes temporal correlation identification as a temporal graph link prediction task, which has shown empirical success. Our experiments on real-world datasets confirm the superior performance of MTRGL, emphasizing its promise in refining automated pair trading strategies.


title: Speeding up Fermionic Lattice Calculations with Photonic Accelerated Inverters

abstract: Lattice field theory (LFT) is the standard non-perturbative method to perform numerical calculations of quantum field theory. However, the typical bottleneck of fermionic lattice calculations is the inversion of the Dirac matrix. This inversion is solved by iterative methods, like the conjugate gradient algorithm, where matrix-vector multiplications (MVMs) are the main operation. Photonic integrated circuits excel in performing quick and energy-efficient MVMs, but at the same time, they are known to have low accuracy. This can be overcome by using mixed precision methods. In this paper, we explore the idea of using photonic technology to fulfil the demand for computational power of fermionic lattice calculations. These methods have the potential to reduce computation costs by one order of magnitude. Because of the hybrid nature of these methods, we call these 'photonic accelerated inverters (PAIs)'.


title: Investigating Organic Carbon and Thermal History of CM Carbonaceous Chondrites Using Spectroscopy and Laboratory Techniques

abstract: The CM chondrites are characterized as primary accretionary rocks which originate from primitive water-rich asteroids formed during the early Solar System. Here, we study the mineralogy and organic characteristics of right CM and one ungrouped chondrite to better understand their alteration history; Queen Alexandra Range 93005 (QUE 93005), Murchison, LaPaz Icefield 02333 (LAP 02333), Miller Range (MIL 13005), Mackay Glacier 05231 (MCY 05231), Northwest Africa 8534 (NWA 8534), Northwest Africa 3340 (NWA 3340), Yamato 86695 (Y-86695), and the ungrouped carbonaceous chondrite Belgica 7904 (B-7904). Raman spectroscopy has been employed to detect the presence of organic carbon in the samples, specifically through the G band at approximately 1580 cm-1 and D band at around 1350 cm-1. The properties of organic matter in meteorites serve as valuable indicators for characterizing the structure and crystallinity of carbonaceous materials and estimating their thermal metamorphism degree. The R1 parameter, defined as the peak height ratio of the D and G bands, provides a quantifiable measure of this structural organization. Raman spectra are used to show the general mineralogy, thermal history and heating stage of CM and ungrouped chondrites. X-ray diffraction patterns further indicate the mineralogical compositions of the samples. Visible to near-infrared (VNIR) and attenuated total reflection (ATR) reflectance spectra illustrate the trends related to their mineralogy and furthermore infer aqueous alteration, thermal history of CM carbonaceous chondrites, formation and evolution of their parent bodies.


title: Dynamic image reconstruction in MPI with RESESOP-Kaczmarz

abstract: In Magnetic Particle Imaging (MPI), it is typically assumed that the studied specimen is stationary during the data acquisition. In practical applications however, the searched-for 3D distribution of the magnetic nanoparticles might show a dynamic behavior, caused by e.g. breathing or movement of the blood. Neglecting those dynamics during the reconstruction step results in motion artifacts and a reduced image quality. This article addresses the challenge of capturing high quality images in the presence of motion. A promising technique provides the Regularized Sequential Subspace Optimization (RESESOP) algorithm, which takes dynamics as model inexactness into account, significantly improving reconstruction compared to standard static algorithms like regularized Kaczmarz. Notably, this algorithm operates with minimal prior information and the method allows for subframe reconstruction, making it suitable for scenarios with rapid particle movement. The performance of the proposed method is demonstrated on both simulated and real data sets.


title: Statistical Characterization of RIS-assisted UAV Communications in Terrestrial and Non-Terrestrial Networks Under Channel Aging

abstract: This paper studies the statistical characterization of ground-to-air (G2A) and reconfigurable intelligent surface (RIS)-assisted air-to-ground (A2G) communications with unmanned aerial vehicles (UAVs) in terrestrial and non-terrestrial networks under the impact of channel aging. We first model the G2A and A2G signal-to-noise ratios (SNRs) as non-central complex Gaussian quadratic random variables (RVs) and derive their exact probability density functions, offering a unique characterization for the A2G SNR as the product of two scaled non-central chi-square RVs. Moreover, we also find that, for a large number of RIS elements, the RIS-assisted A2G channel can be characterized as a single Rician fading channel. Our results reveal the presence of channel hardening in A2G communication under low UAV speeds, where we derive the maximum target spectral efficiency (SE) for a system to maintain a consistent required outage level. Meanwhile, high UAV speeds, exceeding 50 m/s, lead to a significant performance degradation, which cannot be mitigated by increasing the number of RIS elements.


title: Experimental investigations of underwater and airborne noises produced by a large hovercraft in Ural River estuary

abstract: Simultaneous measurements of underwater and airborne noises produced by Griffon Hoverwork BHT130 hovercraft were carried out in environmentally sensitive area - wildlife preserve in the area of the Ural River estuary near the Caspian Sea shelf. Measurements were organized to assess the possible negative impact of noise from hovercraft on fish and birds in wildlife preserve. The particle velocity of underwater noise was estimated by using a gradient-type vector receiver. That was a distinctive aspect of the underwater noise studies since the majority of fish perceives the sound in terms of vibration of particles, and only a few as the pressure. Using synchronous recording of underwater and airborne noises, the mutual correlation of these data was investigated. The obtained correlation levels between underwater and airborne noises produced by hovercraft can be used for simplified estimation of the upper boundary of underwater noise level by measuring levels of airborne noise. The measured and estimated maximal levels of underwater noises of hovercraft are considerably lower than noises from conventional vessels with underwater engines, that makes hovercraft attractive alternative for use in locations with high underwater noise requirements, such as Ural River estuary and Caspian Sea shelf.


title: On the growth of torsion in the cohomology of some arithmetic groups of $\mathbb{Q}$-rank one

abstract: Given a number field $F$ with ring of integers $\mathcal{O}_{F}$, one can associate to any torsion free subgroup of $\operatorname{SL}(2,\mathcal{O}_{F})$ of finite index a complete Riemannian manifold of finite volume with fibered cusp ends. For natural choices of flat vector bundles on such a manifold, we show that analytic torsion is identified with the Reidemeister torsion of the Borel-Serre compactification. This is used to obtain exponential growth of torsion in the cohomology for sequences of congruence subgroups.


title: Exploiting Liver CT scans in Colorectal Carcinoma genomics mutation classification

abstract: The liver is the most involved organ by distant metastasis in colon-rectal cancer (CRC) patients and it comes necessary to be aware of the mutational status of the lesions to correctly design the best individual treatment. So far, efforts have been made in order to develop non-invasive and real-time methods that permit the analysis of the whole tumor, using new artificial intelligence tools to analyze the tumor's image obtained by Computed Tomography (CT) scan. In order to address the current medical workflow, that is biopsy analysis-based, we propose the first DeepLearning-based exploration, to our knowledge, of such classification approach from the patient medical imaging. We propose i) a solid pipeline for managing undersized datasets of available CT scans and ii) a baseline study for genomics mutation diagnosis support for preemptive patient follow-up. Our method is able to identify CRC RAS mutation family from CT images with 0.73 F1 score.


title: Quantum information recovery from black hole with projective measurement

abstract: We studied the Hayden-Preskill thought experiment with the local projective measurement. Compared to the original model, the measurement is applied on the Hawking radiation that was emitted after throwing the quantum diary into the black hole. Within this setup, we explored various aspects of this model, including the information recovery from the black hole, the relation to the black hole final state proposal, the relation between the Yoshida-Kitaev protocol and Petz recovery map, the effects of the decoherence, and the quantum simulations of the decoding protocols. These aspects may provide us new insights into the non-perturbative nature of quantum black holes.


title: Health Digital Twins Supported by Artificial Intelligence-based Algorithms and Extended Reality in Cardiology

abstract: Recently, significant efforts have been made to create Health Digital Twins (HDTs), digital twins for clinical applications. Heart modeling is one of the fastest-growing fields, which favors the effective application of HDTs. The clinical application of HDTs will be increasingly widespread in the future of healthcare services and has a huge potential to form part of the mainstream in medicine. However, it requires the development of both models and algorithms for the analysis of medical data, and advances in Artificial Intelligence (AI) based algorithms have already revolutionized image segmentation processes. Precise segmentation of lesions may contribute to an efficient diagnostics process and a more effective selection of targeted therapy. In this paper, a brief overview of recent achievements in HDT technologies in the field of cardiology, including interventional cardiology was conducted. HDTs were studied taking into account the application of Extended Reality (XR) and AI, as well as data security, technical risks, and ethics-related issues. Special emphasis was put on automatic segmentation issues. It appears that improvements in data processing will focus on automatic segmentation of medical imaging in addition to three-dimensional (3D) pictures to reconstruct the anatomy of the heart and torso that can be displayed in XR-based devices. This will contribute to the development of effective heart diagnostics. The combination of AI, XR, and an HDT-based solution will help to avoid technical errors and serve as a universal methodology in the development of personalized cardiology. Additionally, we describe potential applications, limitations, and further research directions.


title: Computational General Relativity in the Wolfram Language using Gravitas II: ADM Formalism and Numerical Relativity

abstract: This is the second in a series of two articles introducing the Gravitas computational general relativity framework, in which we now focus upon the design and capabilities of Gravitas's numerical subsystem, including its ability to perform general 3+1 decompositions of spacetime via the ADM formalism, its support for the definition and construction of arbitrary Cauchy surfaces as initial data, its support for the definition and enforcement of arbitrary gauge and coordinate conditions, its various algorithms for ensuring the satisfaction of the ADM Hamiltonian and momentum constraints, and its unique adaptive refinement algorithms based on hypergraph rewriting via Wolfram model evolution. Particular attention is paid to the seamless integration between Gravitas's symbolic and numerical subsystems, its ability to configure, run, analyze and visualize complex numerical relativity simulations and their outputs within a single notebook environment, and its capabilities for handling generic curvilinear coordinate systems and spacetimes with general (and often highly non-trivial) topologies using its specialized and highly efficient hypergraph-based numerical algorithms. We also provide illustrations of Gravitas's functionality for the visualization of hypergraph geometries and spacetime embedding diagrams, the ability for Gravitas's symbolic and numerical subsystems to be used in concert for the extraction of gravitational wave signals and other crucial simulation data, and Gravitas's in-built library of standard initial data, matter distributions and gauge conditions. We conclude by demonstrating how the numerical subsystem can be used to set up, run, visualize and analyze a standard yet nevertheless reasonably challenging numerical relativity test case: a binary black hole collision and merger within a vacuum spacetime (including the extraction of its outgoing gravitational wave profile).


title: At the junction between deep learning and statistics of extremes: formalizing the landslide hazard definition

abstract: The most adopted definition of landslide hazard combines spatial information about landslide location (susceptibility), threat (intensity), and frequency (return period). Only the first two elements are usually considered and estimated when working over vast areas. Even then, separate models constitute the standard, with frequency being rarely investigated. Frequency and intensity are intertwined and depend on each other because larger events occur less frequently and vice versa. However, due to the lack of multi-temporal inventories and joint statistical models, modelling such properties via a unified hazard model has always been challenging and has yet to be attempted. Here, we develop a unified model to estimate landslide hazard at the slope unit level to address such gaps. We employed deep learning, combined with a model motivated by extreme-value theory to analyse an inventory of 30 years of observed rainfall-triggered landslides in Nepal and assess landslide hazard for multiple return periods. We also use our model to further explore landslide hazard for the same return periods under different climate change scenarios up to the end of the century. Our results show that the proposed model performs excellently and can be used to model landslide hazard in a unified manner. Geomorphologically, we find that under both climate change scenarios (SSP245 and SSP885), landslide hazard is likely to increase up to two times on average in the lower Himalayan regions while remaining the same in the middle Himalayan region whilst decreasing slightly in the upper Himalayan region areas.


title: Communication-Efficient Federated Learning through Adaptive Weight Clustering and Server-Side Distillation

abstract: Federated Learning (FL) is a promising technique for the collaborative training of deep neural networks across multiple devices while preserving data privacy. Despite its potential benefits, FL is hindered by excessive communication costs due to repeated server-client communication during training. To address this challenge, model compression techniques, such as sparsification and weight clustering are applied, which often require modifying the underlying model aggregation schemes or involve cumbersome hyperparameter tuning, with the latter not only adjusts the model's compression rate but also limits model's potential for continuous improvement over growing data. In this paper, we propose FedCompress, a novel approach that combines dynamic weight clustering and server-side knowledge distillation to reduce communication costs while learning highly generalizable models. Through a comprehensive evaluation on diverse public datasets, we demonstrate the efficacy of our approach compared to baselines in terms of communication costs and inference speed.


title: Explicitly Representing Syntax Improves Sentence-to-layout Prediction of Unexpected Situations

abstract: Recognizing visual entities in a natural language sentence and arranging them in a 2D spatial layout require a compositional understanding of language and space. This task of layout prediction is valuable in text-to-image synthesis as it allows localized and controlled in-painting of the image. In this comparative study it is shown that we can predict layouts from language representations that implicitly or explicitly encode sentence syntax, if the sentences mention similar entity-relationships to the ones seen during training. To test compositional understanding, we collect a test set of grammatically correct sentences and layouts describing compositions of entities and relations that unlikely have been seen during training. Performance on this test set substantially drops, showing that current models rely on correlations in the training data and have difficulties in understanding the structure of the input sentences. We propose a novel structural loss function that better enforces the syntactic structure of the input sentence and show large performance gains in the task of 2D spatial layout prediction conditioned on text. The loss has the potential to be used in other generation tasks where a tree-like structure underlies the conditioning modality. Code, trained models and the USCOCO evaluation set are available via github.


title: Orthogonal almost complex structure and its Nijenhuis tensor

abstract: In this paper, we demonstrate that on an almost Hermitian manifold $(M^{2n}, J, ds^2)$, a 2-form $\varphi=S^*\Phi$, the pulling back of the K\"ahler form $\Phi$ on the twistor bundle over $M^{2n}$, is non-degenerate if the squared norm $|N|^2$ of the Nijenhuis tensor is less than $\frac{64}{5}$ when $n\geq 3$ or less than $16$ when $n=2$. As a corollary, there exists no orthogonal almost complex structure on the standard sphere $(S^6, ds_0^2)$ with $|N|^2<\frac{64}{5}$ everywhere.


title: A Quantitative Version of More Capable Channel Comparison

abstract: This paper introduces a quantitative generalization of the ``more capable'' comparison of broadcast channels, which is termed ``more capable with advantage''. Some basic properties are demonstrated (including tensorization on product channels), and a characterisation is given for the cases of Binary Symmetric Channel (BSC) and Binary Erasure Channel (BEC). It is then applied to two problems. First, a list decoding bound on the BSC is given that applies to transitive codes that achieve capacity on the BEC. Second, new lower bounds on entropy rates of binary hidden Markov processes are derived.