title: Transformer-based Reasoning for Learning Evolutionary Chain of Events on Temporal Knowledge Graph

abstract: Temporal Knowledge Graph (TKG) reasoning often involves completing missing factual elements along the timeline. Although existing methods can learn good embeddings for each factual element in quadruples by integrating temporal information, they often fail to infer the evolution of temporal facts. This is mainly because of (1) insufficiently exploring the internal structure and semantic relationships within individual quadruples and (2) inadequately learning a unified representation of the contextual and temporal correlations among different quadruples. To overcome these limitations, we propose a novel Transformer-based reasoning model (dubbed ECEformer) for TKG to learn the Evolutionary Chain of Events (ECE). Specifically, we unfold the neighborhood subgraph of an entity node in chronological order, forming an evolutionary chain of events as the input for our model. Subsequently, we utilize a Transformer encoder to learn the embeddings of intra-quadruples for ECE. We then craft a mixed-context reasoning module based on the multi-layer perceptron (MLP) to learn the unified representations of inter-quadruples for ECE while accomplishing temporal knowledge reasoning. In addition, to enhance the timeliness of the events, we devise an additional time prediction task to complete effective temporal information within the learned unified representation. Extensive experiments on six benchmark datasets verify the state-of-the-art performance and the effectiveness of our method.


title: Dual-Role AoI-based Incentive Mechanism for HD map Crowdsourcing

abstract: A high-quality fresh high-definition (HD) map is vital in enhancing transportation efficiency and safety in autonomous driving. Vehicle-based crowdsourcing offers a promising approach for updating HD maps. However, recruiting crowdsourcing vehicles involves making the challenging tradeoff between the HD map freshness and recruitment costs. Existing studies on HD map crowdsourcing often (1) prioritize maximizing spatial coverage and (2) overlook the dual role of crowdsourcing vehicles in HD maps, as vehicles serve both as contributors and customers of HD maps. This motivates us to propose the Dual-Role Age of Information (AoI) based Incentive Mechanism (DRAIM) to address these issues. % Specifically, we propose the trajectory age of information, incorporating the expected AoI of the HD map and the trajectory, to quantify a vehicle's HD map usage utility, which is freshness- and trajectory-dependent. DRAIM aims to achieve the company's tradeoff between freshness and recruitment costs.


title: CrossMatch: Enhance Semi-Supervised Medical Image Segmentation with Perturbation Strategies and Knowledge Distillation

abstract: Semi-supervised learning for medical image segmentation presents a unique challenge of efficiently using limited labeled data while leveraging abundant unlabeled data. Despite advancements, existing methods often do not fully exploit the potential of the unlabeled data for enhancing model robustness and accuracy. In this paper, we introduce CrossMatch, a novel framework that integrates knowledge distillation with dual perturbation strategies-image-level and feature-level-to improve the model's learning from both labeled and unlabeled data. CrossMatch employs multiple encoders and decoders to generate diverse data streams, which undergo self-knowledge distillation to enhance consistency and reliability of predictions across varied perturbations. Our method significantly surpasses other state-of-the-art techniques in standard benchmarks by effectively minimizing the gap between training on labeled and unlabeled data and improving edge accuracy and generalization in medical image segmentation. The efficacy of CrossMatch is demonstrated through extensive experimental validations, showing remarkable performance improvements without increasing computational costs. Code for this implementation is made available at https://github.com/AiEson/CrossMatch.git.


title: Exploring Self-Supervised Vision Transformers for Deepfake Detection: A Comparative Analysis

abstract: This paper investigates the effectiveness of self-supervised pre-trained transformers compared to supervised pre-trained transformers and conventional neural networks (ConvNets) for detecting various types of deepfakes. We focus on their potential for improved generalization, particularly when training data is limited. Despite the notable success of large vision-language models utilizing transformer architectures in various tasks, including zero-shot and few-shot learning, the deepfake detection community has still shown some reluctance to adopt pre-trained vision transformers (ViTs), especially large ones, as feature extractors. One concern is their perceived excessive capacity, which often demands extensive data, and the resulting suboptimal generalization when training or fine-tuning data is small or less diverse. This contrasts poorly with ConvNets, which have already established themselves as robust feature extractors. Additionally, training and optimizing transformers from scratch requires significant computational resources, making this accessible primarily to large companies and hindering broader investigation within the academic community. Recent advancements in using self-supervised learning (SSL) in transformers, such as DINO and its derivatives, have showcased significant adaptability across diverse vision tasks and possess explicit semantic segmentation capabilities. By leveraging DINO for deepfake detection with modest training data and implementing partial fine-tuning, we observe comparable adaptability to the task and the natural explainability of the detection result via the attention mechanism. Moreover, partial fine-tuning of transformers for deepfake detection offers a more resource-efficient alternative, requiring significantly fewer computational resources.


title: Nuclear mass predictions with anisotropic kernel ridge regression

abstract: The anisotropic kernel ridge regression (AKRR) approach in nuclear mass predictions is developed by introducing the anisotropic kernel function into the kernel ridge regression (KRR) approach, without introducing new weight parameter or input in the training. A combination of double two-dimensional Gaussian kernel function is adopted, and the corresponding hyperparameters are optimized carefully by cross-validations. The anisotropic kernel shows cross-shape pattern, which highlights the correlations among the isotopes with the same proton number, and that among the isotones with the same neutron number. Significant improvements are achieved by the AKRR approach in both the interpolation and the extrapolation predictions of nuclear masses comparing with the original KRR approach.


title: Optimal nonparametric estimation of the expected shortfall risk

abstract: We address the problem of estimating the expected shortfall risk of a financial loss using a finite number of i.i.d. data. It is well known that the classical plug-in estimator suffers from poor statistical performance when faced with (heavy-tailed) distributions that are commonly used in financial contexts. Further, it lacks robustness, as the modification of even a single data point can cause a significant distortion. We propose a novel procedure for the estimation of the expected shortfall and prove that it recovers the best possible statistical properties (dictated by the central limit theorem) under minimal assumptions and for all finite numbers of data. Further, this estimator is adversarially robust: even if a (small) proportion of the data is maliciously modified, the procedure continuous to optimally estimate the true expected shortfall risk. We demonstrate that our estimator outperforms the classical plug-in estimator through a variety of numerical experiments across a range of standard loss distributions.

categories: q-fin.RM math.PR math.ST q-fin.MF stat.TH


title: Arbitrary Time Information Modeling via Polynomial Approximation for Temporal Knowledge Graph Embedding

abstract: Distinguished from traditional knowledge graphs (KGs), temporal knowledge graphs (TKGs) must explore and reason over temporally evolving facts adequately. However, existing TKG approaches still face two main challenges, i.e., the limited capability to model arbitrary timestamps continuously and the lack of rich inference patterns under temporal constraints. In this paper, we propose an innovative TKGE method (PTBox) via polynomial decomposition-based temporal representation and box embedding-based entity representation to tackle the above-mentioned problems. Specifically, we decompose time information by polynomials and then enhance the model's capability to represent arbitrary timestamps flexibly by incorporating the learnable temporal basis tensor. In addition, we model every entity as a hyperrectangle box and define each relation as a transformation on the head and tail entity boxes. The entity boxes can capture complex geometric structures and learn robust representations, improving the model's inductive capability for rich inference patterns. Theoretically, our PTBox can encode arbitrary time information or even unseen timestamps while capturing rich inference patterns and higher-arity relations of the knowledge base. Extensive experiments on real-world datasets demonstrate the effectiveness of our method.


title: Subquadratic Submodular Maximization with a General Matroid Constraint

abstract: We consider fast algorithms for monotone submodular maximization with a general matroid constraint. We present a randomized $(1 - 1/e - \epsilon)$-approximation algorithm that requires $\tilde{O}_{\epsilon}(\sqrt{r} n)$ independence oracle and value oracle queries, where $n$ is the number of elements in the matroid and $r \leq n$ is the rank of the matroid. This improves upon the previously best algorithm by Buchbinder-Feldman-Schwartz [Mathematics of Operations Research 2017] that requires $\tilde{O}_{\epsilon}(r^2 + \sqrt{r}n)$ queries. Our algorithm is based on continuous relaxation, as with other submodular maximization algorithms in the literature. To achieve subquadratic query complexity, we develop a new rounding algorithm, which is our main technical contribution. The rounding algorithm takes as input a point represented as a convex combination of $t$ bases of a matroid and rounds it to an integral solution. Our rounding algorithm requires $\tilde{O}(r^{3/2} t)$ independence oracle queries, while the previously best rounding algorithm by Chekuri-Vondr\'{a}k-Zenklusen [FOCS 2010] requires $O(r^2 t)$ independence oracle queries. A key idea in our rounding algorithm is to use a directed cycle of arbitrary length in an auxiliary graph, while the algorithm of Chekuri-Vondr\'{a}k-Zenklusen focused on directed cycles of length two.


title: Heat capacity and quantum compressibility of dynamical spacetimes with thermal particle creation

abstract: This work continues the investigation in two recent papers on the quantum thermodynamics of spacetimes, 1) placing what was studied in [1] for thermal quantum fields in the context of early universe cosmology, and 2) extending the considerations of vacuum compressibility of dynamical spaces treated in [2] to dynamical spacetimes with thermal quantum fields. We begin with a warning that thermal equilibrium condition is not guaranteed to exist or maintained in a dynamical setting and thus finite temperature quantum field theory in cosmological spacetimes needs more careful considerations than what is often described in textbooks. A full description requires nonequilibrium quantum field theory in dynamical spacetimes using `in-in' techniques. A more manageable subclass of dynamics is where thermal equilibrium conditions are established at both the beginning and the end of evolution are both well defined. Here we shall assume an in-vacuum state. It has been shown that if the intervening dynamics has an initial period of exponential expansion, such as in inflationary cosmology, particles created from the parametric amplification of the vacuum fluctuations in the initial vacuum will have a thermal spectrum measured at the out-state. Under these conditions finite temperature field theory can be applied to calculate the quantum thermodynamic quantities. Here we consider a massive conformal scalar field in a closed four-dimensional Friedmann-Lemaitre-Robertson-Walker universe based on the simple analytically solvable Bernard-Duncan model. We calculate the energy density of particles created from an in-vacuum and derive the partition function. From the free energy we then derive the heat capacity and the quantum compressibility of the spacetimes with thermal particle creation. We end with some discussions and suggestions for further work in this program of studies.


title: AdaMoLE: Fine-Tuning Large Language Models with Adaptive Mixture of Low-Rank Adaptation Experts

abstract: We introduce AdaMoLE, a novel method for fine-tuning large language models (LLMs) through an Adaptive Mixture of Low-Rank Adaptation (LoRA) Experts. Moving beyond conventional methods that employ a static top-k strategy for activating experts, AdaMoLE dynamically adjusts the activation threshold using a dedicated threshold network, adaptively responding to the varying complexities of different tasks. By replacing a single LoRA in a layer with multiple LoRA experts and integrating a gating function with the threshold mechanism, AdaMoLE effectively selects and activates the most appropriate experts based on the input context. Our extensive evaluations across a variety of commonsense reasoning and natural language processing tasks show that AdaMoLE exceeds baseline performance. This enhancement highlights the advantages of AdaMoLE's adaptive selection of LoRA experts, improving model effectiveness without a corresponding increase in the expert count. The experimental validation not only confirms AdaMoLE as a robust approach for enhancing LLMs but also suggests valuable directions for future research in adaptive expert selection mechanisms, potentially broadening the scope for optimizing model performance across diverse language processing tasks.


title: Implicit Swept Volume SDF: Enabling Continuous Collision-Free Trajectory Generation for Arbitrary Shapes

abstract: In the field of trajectory generation for objects, ensuring continuous collision-free motion remains a huge challenge, especially for non-convex geometries and complex environments. Previous methods either oversimplify object shapes, which results in a sacrifice of feasible space or rely on discrete sampling, which suffers from the "tunnel effect". To address these limitations, we propose a novel hierarchical trajectory generation pipeline, which utilizes the Swept Volume Signed Distance Field (SVSDF) to guide trajectory optimization for Continuous Collision Avoidance (CCA). Our interdisciplinary approach, blending techniques from graphics and robotics, exhibits outstanding effectiveness in solving this problem. We formulate the computation of the SVSDF as a Generalized Semi-Infinite Programming model, and we solve for the numerical solutions at query points implicitly, thereby eliminating the need for explicit reconstruction of the surface. Our algorithm has been validated in a variety of complex scenarios and applies to robots of various dynamics, including both rigid and deformable shapes. It demonstrates exceptional universality and superior CCA performance compared to typical algorithms. The code will be released at https://github.com/ZJU-FAST-Lab/Implicit-SVSDF-Planner for the benefit of the community.


title: Competing bootstrap processes on the random graph $G(n,p)$

abstract: We consider a generalization of classic bootstrap percolation in which two competing processes concurrently evolve on the same graph $G(n,p)$. Nodes can be in one of three states, conveniently represented by different colors: red, black and white. Initially, a given number $a_R$ of active red nodes (red seeds) are selected uniformly at random among the $n$ nodes. Similarly, a given number $a_B$ of active black nodes (black seeds) are selected uniformly at random among the other $n-a_R$ nodes. All remaining nodes are initially white (inactive). White nodes wake up at times dictated by independent Poisson clocks of rate 1. When a white node wakes up, it checks the state of its neighbors: if the number of red (black) neighbors exceeds the number of black (red) neighbors by a fixed amount $r \geq 2$, the node becomes an active red (black) node, and remains so forever. The parameters of the model are, besides $r$ (fixed) and $n$ (tending to $\infty$), the numbers $a_R$ ($a_B$) of initial red (black) seeds, and the edge existence probability $p=p(n)$. We study the size $A^*_R$ ($A^*_B$) of the final set of active red (black) nodes, identifying different regimes which are analyzed under suitable time-scales, allowing us to obtain detailed (asymptotic) temporal dynamics of the two concurrent activation processes.


title: Object detection under the linear subspace model with application to cryo-EM images

abstract: Detecting multiple unknown objects in noisy data is a key problem in many scientific fields, such as electron microscopy imaging. A common model for the unknown objects is the linear subspace model, which assumes that the objects can be expanded in some known basis (such as the Fourier basis). In this paper, we develop an object detection algorithm that under the linear subspace model is asymptotically guaranteed to detect all objects, while controlling the family wise error rate or the false discovery rate. Numerical simulations show that the algorithm also controls the error rate with high power in the non-asymptotic regime, even in highly challenging regimes. We apply the proposed algorithm to experimental electron microscopy data set, and show that it outperforms existing standard software.


title: Robust Continuous-Time Beam Tracking with Liquid Neural Network

abstract: Millimeter-wave (mmWave) technology is increasingly recognized as a pivotal technology of the sixth-generation communication networks due to the large amounts of available spectrum at high frequencies. However, the huge overhead associated with beam training imposes a significant challenge in mmWave communications, particularly in urban environments with high background noise. To reduce this high overhead, we propose a novel solution for robust continuous-time beam tracking with liquid neural network, which dynamically adjust the narrow mmWave beams to ensure real-time beam alignment with mobile users. Through extensive simulations, we validate the effectiveness of our proposed method and demonstrate its superiority over existing state-of-the-art deep-learning-based approaches. Specifically, our scheme achieves at most 46.9% higher normalized spectral efficiency than the baselines when the user is moving at 5 m/s, demonstrating the potential of liquid neural networks to enhance mmWave mobile communication performance.


title: L0-regularized compressed sensing with Mean-field Coherent Ising Machines

abstract: Coherent Ising Machine (CIM) is a network of optical parametric oscillators that solves combinatorial optimization problems by finding the ground state of an Ising Hamiltonian. As a practical application of CIM, Aonishi et al. proposed a quantum-classical hybrid system to solve optimization problems of L0-regularization-based compressed sensing (L0RBCS). Gunathilaka et al. has further enhanced the accuracy of the system. However, the computationally expensive CIM's stochastic differential equations (SDEs) limit the use of digital hardware implementations. As an alternative to Gunathilaka et al.'s CIM SDEs used previously, we propose using the mean-field CIM (MF-CIM) model, which is a physics-inspired heuristic solver without quantum noise. MF-CIM surmounts the high computational cost due to the simple nature of the differential equations (DEs). Furthermore, our results indicate that the proposed model has similar performance to physically accurate SDEs in both artificial and magnetic resonance imaging data, paving the way for implementing CIM-based L0RBCS on digital hardware such as Field Programmable Gate Arrays (FPGAs).


title: Distance Sampling-based Paraphraser Leveraging ChatGPT for Text Data Manipulation

abstract: There has been growing interest in audio-language retrieval research, where the objective is to establish the correlation between audio and text modalities. However, most audio-text paired datasets often lack rich expression of the text data compared to the audio samples. One of the significant challenges facing audio-text datasets is the presence of similar or identical captions despite different audio samples. Therefore, under many-to-one mapping conditions, audio-text datasets lead to poor performance of retrieval tasks. In this paper, we propose a novel approach to tackle the data imbalance problem in audio-language retrieval task. To overcome the limitation, we introduce a method that employs a distance sampling-based paraphraser leveraging ChatGPT, utilizing distance function to generate a controllable distribution of manipulated text data. For a set of sentences with the same context, the distance is used to calculate a degree of manipulation for any two sentences, and ChatGPT's few-shot prompting is performed using a text cluster with a similar distance defined by the Jaccard similarity. Therefore, ChatGPT, when applied to few-shot prompting with text clusters, can adjust the diversity of the manipulated text based on the distance. The proposed approach is shown to significantly enhance performance in audio-text retrieval, outperforming conventional text augmentation techniques.


title: Directed Redundancy in Time Series

abstract: We quantify the average amount of redundant information that is transferred from a subset of relevant random source processes to a target process. To identify the relevant source processes, we consider those that are connected to the target process and in addition share a certain proportion of the total information causally provided to the target. Even if the relevant processes have no directed information exchange between them, they can still causally provide redundant information to the target. This makes it difficult to identify the relevant processes. To solve this issue, we propose the existence of a hidden redundancy process that governs the shared information among the relevant processes. We bound the redundancy by the minimal average directed redundancy from the relevant processes to the target, from the hidden redundancy process to the target, and from the hidden redundancy process to the relevant processes.


title: Singular velocity of the Stokes and Navier-Stokes equations near boundary in the half space

abstract: Local behaviors near boundary are analyzed for solutions of the Stokes and Navier-Stoke equations in the half space with localized non-smooth boundary data. We construct solutions of Stokes equations whose velocity field is not bounded near boundary away from the support of boundary data, although velocity and gradient velocity of solutions are locally square integrable. This is an improvement compared to known results in the sense that velocity field is unbounded itself, since previously constructed solutions were bounded near boundary, although their normal derivatives are singular. We also establish singular solutions and their derivatives that do not belong to $L^q_{\rm{loc}}$ near boundary with $q> 1$. For such examples, there corresponding pressures turn out not to be locally integrable. Similar construction via a perturbation argument is available to the Navier-Stokes equations near boundary as well.


title: Simple recursions displaying interesting evolutions

abstract: Some simple nonlinear recursions which can be completely managed are identified and the behaviour of all their solutions is ascertained.


title: A Zero-Sum Differential Game with Exit Time

abstract: The paper is concerned with a zero-sum differential game in the case where a payoff is determined by the exit time, that is, the first time when the system leaves the game domain. Additionally, we assume that a part of domain's boundary is a lifeline where the payoff is infinite. Hereby, the examined problem generalizes the well-known time-optimal problem as well as time-optimal problem with lifeline. The main result of the paper relies on the solution to the Direchlet problem for the Hamilton-Jacobi equation associated with the game with exit time. We prove the existence of the value function for examined problem and construct suboptimal feedback strategies under assumption that the associated Dirichlet problem for the Hamilton-Jacobi equation admits a viscosity/minimax solution. Additionally, we derive a sufficient condition of existence result to this Dirichlet problem.


title: High-Precision Positioning with Continuous Delay and Doppler Shift using AFT-MC Waveforms

abstract: This paper explores a novel integrated localization and communication (ILAC) system using the affine Fourier transform multicarrier (AFT-MC) waveform. Specifically, we consider a multiple-input multiple-output (MIMO) AFT-MC system with ILAC and derive a continuous delay and Doppler shift channel matrix model. Based on the derived signal model, we develop a two-step algorithm with low complexity for estimating channel parameters. Furthermore, we derive the Cram\'er-Rao lower bound (CRLB) of location estimation as the fundamental limit of localization. Finally, we provide some insights about the AFT-MC parameters by explaining the impact of the parameters on localization performance. Simulation results demonstrate that the AFT-MC waveform is able to provide significant localization performance improvement compared to orthogonal frequency division multiplexing (OFDM) while achieving the CRLB of location estimation.


title: An elliptic fibration arising from the Lagrange top and its monodromy

abstract: This paper is to investigate an elliptic fibration over $\mathbb{CP}^2$ arising from the Lagrange top from the viewpoint of complex algebraic geometry. The description of the discriminant locus of this elliptic fibration is given in detail. Moreover, the concrete description of the discriminant locus and the complete classification of singular fibres of the elliptic fibration are obtained according to Miranda's theory of elliptic threefolds after suitable modifications of the base and total spaces. Furthermore, the monodromy of the elliptic fibration is described.


title: Study of Charged Cylindrical Collapse in $f(\mathcal{R},\mathcal{T},\mathcal{Q})$ Gravity

abstract: This paper investigates the effects of electromagnetic field on the gravitational collapse in $f(\mathcal{R},\mathcal{T},\mathcal{Q})$ theory, where $\mathcal{Q} = \mathcal{R}_{\varphi\vartheta} \mathcal{T}^{\varphi\vartheta}$. For this, we assume dynamical cylindrically symmetric self-gravitating geometry which is coupled with generalized anisotropic matter distribution as well as dissipation flux. We adopt the model $\mathcal{R}+\Phi\sqrt{\mathcal{T}}+\Psi\mathcal{Q}$ to formulate the corresponding dynamical and transport equations by employing the Misner-Sharp as well as M\"{u}ler-Israel Stewart formalisms, where $\Phi$ and $\Psi$ are real-valued coupling constants. The influence of state variables, heat dissipation, charge and the bulk viscosity on the collapsing phenomenon is then studied by establishing some relations between these evolution equations. Moreover, the Weyl scalar and the modified field equations are expressed in terms of each other. We apply some constraints on the considered modified model and the fluid configuration to obtain conformally flat spacetime. Finally, we address different cases to check how the modified corrections and charge affect the collapse rate of cylindrical matter source.


title: Spatial distribution of crystalline silicates in protoplanetary disks: How to interpret mid-infrared observations

abstract: Crystalline silicates are an important tracer to the dust evolution in protoplanetary disks. In the inner disk, amorphous silicates are annealed by the high temperatures. These crystalline silicates are radially and vertically distributed in the disk. We aim to model the spatial distribution of crystalline silicate in the disk and its mid-IR spectra to study the effect on dust spectral features and to compare these to observations. We modeled a T-Tauri protoplanetary disk and defined the crystallization region from the crystallization and residence timescales. Radial mixing and drift were compared to find a vertically mixed region. We used the DISKLAB code to obtain the spatial distribution of the crystalline silicates, and MCMax code to model the mid-infrared spectrum. In our modeled disk, different grain sizes get crystallized in different regions in the disk. Crystallized dust in the disk surface is well mixed with the midplane due to vertical mixing and gets distributed to the outer disk by radial transport. Our model shows different contributions of the disk zones to the dust spectral features. Feature strengths change when varying the spatial distribution of crystalline dust. Our modeled spectra qualitatively agree with observations, but the modeled 10 $\mu$m feature is strongly dominated by crystalline dust. Models with reduced crystallinity and depletion of small crystalline dust in the inner disk show a better match with observations. Mid-IR observations of the disk surface represent the radial distribution of small dust in the midplane and provide us with dust properties in the inner disk. The inner and outer disks contribute more to shorter and longer wavelength features, respectively. Amorphization, sublimation, and dust evolution have to be considered to match observations. This study could interpret the spectra of protoplanetary disks taken with the MIRI on board the JWST.


title: EPOCHS Paper V. The dependence of galaxy formation on galaxy structure at z < 7 from JWST observations

abstract: We measure the broad impact of galaxy structure on galaxy formation by examining the ongoing star formation and integrated star formation history as revealed through the stellar masses of galaxies at $z < 7$ based on JWST CEERS data from the Extended Groth Strip (EGS). Using the morphological catalog of 3965 visually classified JWST galaxies from Ferreira et al. (2023), we investigate the evolution of stars, and when they form, as a function of morphological type as well as galaxies classified as passive and starburst through spectral energy distributions. Although disk galaxies dominate the structures of galaxies at $z < 7$, we find that these disks are in general either `passive', or on the main-sequence of star formation, and do not contain a large population of starburst galaxies. We also find no significant correlation between morphological type and the star formation rate or colours of galaxies at $z < 7$. In fact, we find that the morphologically classified `spheroids' tend to be blue and are not found to be predominately passive systems at $z > 1.5$. We also find that the stellar mass function for disk galaxies does not evolve significantly during this time, whereas other galaxy types, such as the peculiar population, evolve dramatically, declining at lower redshifts. This indicates that massive peculiars are more common at higher redshifts. We further find that up to $z \sim 7$, the specific star formation rate (sSFR) does not vary with visual morphology, but strongly depends on stellar mass and internal galaxy mass density. This demonstrates that at early epochs galaxy assembly is a mass-driven, rather than a morphologically-driven, process. Quenching of star formation is therefore a mass-dominated process throughout the universe's history, likely due to the presence of supermassive black holes.


title: Thread review sentimental analysis with tkinter GUI & tableau dashboard

abstract: This project focuses on utilizing a combination of Tkinter for GUI development and Tableauf for data visualization to do sentiment analysis on thread reviews.The main goal is to evaluate and visualize consumer sentiments as they are expressed in thread reviews in order to provide insights into areas for improvement, preferences, and customer satisfaction.The procedure starts with gathering thread reviews from many sources, which are then cleaned and prepared for analysis through preprocessing.Sentiment analysis classifies opinions as good, negative, or neutral based on the expressed sentiment by applying natural language processing techniques.The standard Python GUI package Tkinter is used to create an interactive user interface that allows users to enter thread reviews, start the sentiment analysis process, and see the analysis's outcomes.With the help of the user-friendly GUI, users may interact with the system and acquire insightful information with ease.Additionally, Tableau is used to produce a dynamic and eye-catching dashboard that displays the findings of the sentiment analysis using a variety of charts and graphs.Stakeholders may make educated decisions based on the studied data by using the dashboard, which provides a thorough overview of the sentiment distribution, frequency of positive and negative reviews, trending topics, and other pertinent indicators.Overall, this project offers a solid method for analyzing and comprehending customers' sentiments from thread reviews by integrating Tableauf for GUI development with Tkinter for sentiment analysis and data visualization. This allows for the creation of meaningful dashboards.


title: Adaptive Bidirectional Displacement for Semi-Supervised Medical Image Segmentation

abstract: Consistency learning is a central strategy to tackle unlabeled data in semi-supervised medical image segmentation (SSMIS), which enforces the model to produce consistent predictions under the perturbation. However, most current approaches solely focus on utilizing a specific single perturbation, which can only cope with limited cases, while employing multiple perturbations simultaneously is hard to guarantee the quality of consistency learning. In this paper, we propose an Adaptive Bidirectional Displacement (ABD) approach to solve the above challenge. Specifically, we first design a bidirectional patch displacement based on reliable prediction confidence for unlabeled data to generate new samples, which can effectively suppress uncontrollable regions and still retain the influence of input perturbations. Meanwhile, to enforce the model to learn the potentially uncontrollable content, a bidirectional displacement operation with inverse confidence is proposed for the labeled images, which generates samples with more unreliable information to facilitate model learning. Extensive experiments show that ABD achieves new state-of-the-art performances for SSMIS, significantly improving different baselines. Source code is available at https://github.com/chy-upc/ABD.


title: Planar Hall Effect in Quasi-Two-Dimensional Materials

abstract: The planar Hall effect in 3D systems is an effective probe for their Berry curvature, topology, and electronic properties. However, the Berry curvature-induced conventional planar Hall effect is forbidden in 2D systems as the out-of-plane Berry curvature cannot couple to the band velocity of the electrons moving in the 2D plane. Here, we demonstrate a unique 2D planar Hall effect (2DPHE) originating from the hidden planar components of the Berry curvature and orbital magnetic moment in quasi-2D materials. We identify all planar band geometric contributions to 2DPHE and classify their crystalline symmetry restrictions. Using gated bilayer graphene as an example, we show that in addition to capturing the hidden band geometric effects, 2DPHE is also sensitive to the Lifshitz transitions. Our work motivates further exploration of hidden planar band geometry-induced 2DPHE and related transport phenomena for innovative applications.


title: Multi-Path and Multi-Particle Tests of the Dimensionality of Quantum Mechanics

abstract: The axioms of quantum mechanics provide limited information regarding the structure of the Hilbert space, such as the underlying number system. The latter is generally regarded as complex, but generalizations of complex numbers, so-called hyper-complex numbers, cannot be ruled out in theory. Therefore, specialized experiments to test for hyper-complex quantum mechanics are needed. To date, experimental tests are limited to single-particle interference exploiting a closed phase relation in three-path interference called the Peres test. In this work, we reveal an elegant matrix formalism to derive the Peres test putting it on a solid mathematical ground. On this basis, we introduce multi-path and multi-particle interference tests, which provide a direct probe for the dimensionality of the number system of quantum mechanics.


title: Tunable viscous layers in Corbino geometry using density junctions

abstract: In sufficiently clean materials where electron-electron interactions are strong compared to momentum-relaxing scattering processes, electron transport resembles the flow of a viscous fluid. We study hydrodynamic electron transport across density interfaces (n-n junctions) in a 2DEG in the Corbino geometry. From numerical simulations in COMSOL using realistic parameters, we show that we can produce tunable viscous layers at the density interface by varying the density ratio of charge carriers. We quantitatively explain this observation with simple analytic expressions together with boundary conditions at the interface. We also show signatures of these viscous layers in the magnetoresistance. Breaking down viscous and ohmic contributions, we find that when outer radial region of the Corbino has higher charge density compared to the inner region, the viscous layers at the interface serve to suppress the magneto-resistance produced by momentum-relaxing scattering. Conversely, the magneto-resistance is enhanced when the inner region has higher density than the outer. Our results add to the repertoire of techniques for engineering viscous electron flows, which hold a promise for applications in future electronic devices.


title: Modified least squares method and a review of its applications in machine learning and fractional differential/integral equations

abstract: The least squares method provides the best-fit curve by minimizing the total squares error. In this work, we provide the modified least squares method based on the fractional orthogonal polynomials that belong to the space $M_{n}^{\lambda} := \text{span}\{1,x^{\lambda},x^{2\lambda},\ldots,x^{n\lambda}\},~\lambda \in (0,2]$. Numerical experiments demonstrate how to solve different problems using the modified least squares method. Moreover, the results show the advantage of the modified least squares method compared to the classical least squares method. Furthermore, we discuss the various applications of the modified least squares method in the fields like fractional differential/integral equations and machine learning.


title: Learning Tactile Insertion in the Real World

abstract: Humans have exceptional tactile sensing capabilities, which they can leverage to solve challenging, partially observable tasks that cannot be solved from visual observation alone. Research in tactile sensing attempts to unlock this new input modality for robots. Lately, these sensors have become cheaper and, thus, widely available. At the same time, the question of how to integrate them into control loops is still an active area of research, with central challenges being partial observability and the contact-rich nature of manipulation tasks. In this study, we propose to use Reinforcement Learning to learn an end-to-end policy, mapping directly from tactile sensor readings to actions. Specifically, we use Dreamer-v3 on a challenging, partially observable robotic insertion task with a Franka Research 3, both in simulation and on a real system. For the real setup, we built a robotic platform capable of resetting itself fully autonomously, allowing for extensive training runs without human supervision. Our preliminary results indicate that Dreamer is capable of utilizing tactile inputs to solve robotic manipulation tasks in simulation and reality. Furthermore, we find that providing the robot with tactile feedback generally improves task performance, though, in our setup, we do not yet include other sensing modalities. In the future, we plan to utilize our platform to evaluate a wide range of other Reinforcement Learning algorithms on tactile tasks.


title: Visual and audio scene classification for detecting discrepancies in video: a baseline method and experimental protocol

abstract: This paper presents a baseline approach and an experimental protocol for a specific content verification problem: detecting discrepancies between the audio and video modalities in multimedia content. We first design and optimize an audio-visual scene classifier, to compare with existing classification baselines that use both modalities. Then, by applying this classifier separately to the audio and the visual modality, we can detect scene-class inconsistencies between them. To facilitate further research and provide a common evaluation platform, we introduce an experimental protocol and a benchmark dataset simulating such inconsistencies. Our approach achieves state-of-the-art results in scene classification and promising outcomes in audio-visual discrepancies detection, highlighting its potential in content verification applications.


title: Variational Bayesian Methods for a Tree-Structured Stick-Breaking Process Mixture of Gaussians

abstract: The Bayes coding algorithm for context tree source is a successful example of Bayesian tree estimation in text compression in information theory. This algorithm provides an efficient parametric representation of the posterior tree distribution and exact updating of its parameters. We apply this algorithm to a clustering task in machine learning. More specifically, we apply it to Bayesian estimation of the tree-structured stick-breaking process (TS-SBP) mixture models. For TS-SBP mixture models, only Markov chain Monte Carlo methods have been proposed so far, but any variational Bayesian methods have not been proposed yet. In this paper, we propose a variational Bayesian method that has a subroutine similar to the Bayes coding algorithm for context tree sources. We confirm its behavior by a numerical experiment on a toy example.


title: Large gap probabilities of complex and symplectic spherical ensembles with point charges

abstract: We consider $n$ eigenvalues of complex and symplectic induced spherical ensembles, which can be realised as two-dimensional determinantal and Pfaffian Coulomb gases on the Riemann sphere under the insertion of point charges. For both cases, we show that the probability that there are no eigenvalues in a spherical cap around the poles has an asymptotic behaviour as $n\to \infty$ of the form $$ \exp\Big( c_1 n^2 + c_2 n\log n + c_3 n + c_4 \sqrt n + c_5 \log n + c_6 + \mathcal{O}(n^{-\frac1{12}}) \Big) $$ and determine the coefficients explicitly. Our results provide the second example of precise (up to and including the constant term) large gap asymptotic behaviours for two-dimensional point processes, following a recent breakthrough by Charlier.


title: Cell Switching in HAPS-Aided Networking: How the Obscurity of Traffic Loads Affects the Decision

abstract: This study aims to introduce the cell load estimation problem of cell switching approaches in cellular networks specially-presented in a high-altitude platform station (HAPS)-assisted network. The problem arises from the fact that the traffic loads of sleeping base stations for the next time slot cannot be perfectly known, but they can rather be estimated, and any estimation error could result in divergence from the optimal decision, which subsequently affects the performance of energy efficiency. The traffic loads of the sleeping base stations for the next time slot are required because the switching decisions are made proactively in the current time slot. Two different Q-learning algorithms are developed; one is full-scale, focusing solely on the performance, while the other one is lightweight and addresses the computational cost. Results confirm that the estimation error is capable of changing cell switching decisions that yields performance divergence compared to no-error scenarios. Moreover, the developed Q-learning algorithms perform well since an insignificant difference (i.e., 0.3%) is observed between them and the optimum algorithm.


title: Delamination Detection in Layered Waveguides using Ostrovsky Wave Packets

abstract: We examine the scattering of Ostrovsky wave packets, generated from an incident solitary wave, in a two layered waveguide with a delamination in the centre and soft (imperfect) bonding either side of the centre. The layers of the waveguide are assumed to consist of different materials, and the strains are described by a system of coupled Boussinesq equations. A semi-analytical approach consisting of matched asymptotic multiple-scale expansions is applied, leading to Ostrovsky equations in soft bonded regions and Korteweg-de Vries equations in the delaminated region. This semi-analytical method has good agreement with direct numerical simulations, validating the approach. In the delaminated regions, Ostrovsky wave packets evolve into a train of solitary waves, which subsequently evolve into Ostrovsky wave packets in the second bonded region. Analysis of the phase shift in the wave packet, introduced from the delaminated region, allows us to predict both the position and the length of the delamination; the first time this has been achieved using nonlinear waves. These results motivate experiments to validate the theoretical results, with the aim of creating a tool to monitor the integrity of layered structures.


title: Employing Federated Learning for Training Autonomous HVAC Systems

abstract: Buildings account for 40 % of global energy consumption. A considerable portion of building energy consumption stems from heating, ventilation, and air conditioning (HVAC), and thus implementing smart, energy-efficient HVAC systems has the potential to significantly impact the course of climate change. In recent years, model-free reinforcement learning algorithms have been increasingly assessed for this purpose due to their ability to learn and adapt purely from experience. They have been shown to outperform classical controllers in terms of energy cost and consumption, as well as thermal comfort. However, their weakness lies in their relatively poor data efficiency, requiring long periods of training to reach acceptable policies, making them inapplicable to real-world controllers directly. Hence, common research goals are to improve the learning speed, as well as to improve their ability to generalize, in order to facilitate transfer learning to unseen building environments. In this paper, we take a federated learning approach to training the reinforcement learning controller of an HVAC system. A global control policy is learned by aggregating local policies trained on multiple data centers located in different climate zones. The goal of the policy is to simultaneously minimize energy consumption and maximize thermal comfort. The federated optimization strategy indirectly increases both the rate at which experience data is collected and the variation in the data. We demonstrate through experimental evaluation that these effects lead to a faster learning speed, as well as greater generalization capabilities in the federated policy compared to any individually trained policy.


title: CofiPara: A Coarse-to-fine Paradigm for Multimodal Sarcasm Target Identification with Large Multimodal Models

abstract: Social media abounds with multimodal sarcasm, and identifying sarcasm targets is particularly challenging due to the implicit incongruity not directly evident in the text and image modalities. Current methods for Multimodal Sarcasm Target Identification (MSTI) predominantly focus on superficial indicators in an end-to-end manner, overlooking the nuanced understanding of multimodal sarcasm conveyed through both the text and image. This paper proposes a versatile MSTI framework with a coarse-to-fine paradigm, by augmenting sarcasm explainability with reasoning and pre-training knowledge. Inspired by the powerful capacity of Large Multimodal Models (LMMs) on multimodal reasoning, we first engage LMMs to generate competing rationales for coarser-grained pre-training of a small language model on multimodal sarcasm detection. We then propose fine-tuning the model for finer-grained sarcasm target identification. Our framework is thus empowered to adeptly unveil the intricate targets within multimodal sarcasm and mitigate the negative impact posed by potential noise inherently in LMMs. Experimental results demonstrate that our model far outperforms state-of-the-art MSTI methods, and markedly exhibits explainability in deciphering sarcasm as well.


title: Beamforming Inferring by Conditional WGAN-GP for Holographic Antenna Arrays

abstract: The beamforming technology with large holographic antenna arrays is one of the key enablers for the next generation of wireless systems, which can significantly improve the spectral efficiency. However, the deployment of large antenna arrays implies high algorithm complexity and resource overhead at both receiver and transmitter ends. To address this issue, advanced technologies such as artificial intelligence have been developed to reduce beamforming overhead. Intuitively, if we can implement the near-optimal beamforming only using a tiny subset of the all channel information, the overhead for channel estimation and beamforming would be reduced significantly compared with the traditional beamforming methods that usually need full channel information and the inversion of large dimensional matrix. In light of this idea, we propose a novel scheme that utilizes Wasserstein generative adversarial network with gradient penalty to infer the full beamforming matrices based on very little of channel information. Simulation results confirm that it can accomplish comparable performance with the weighted minimum mean-square error algorithm, while reducing the overhead by over 50%.


title: Certified Adversarial Robustness of Machine Learning-based Malware Detectors via (De)Randomized Smoothing

abstract: Deep learning-based malware detection systems are vulnerable to adversarial EXEmples - carefully-crafted malicious programs that evade detection with minimal perturbation. As such, the community is dedicating effort to develop mechanisms to defend against adversarial EXEmples. However, current randomized smoothing-based defenses are still vulnerable to attacks that inject blocks of adversarial content. In this paper, we introduce a certifiable defense against patch attacks that guarantees, for a given executable and an adversarial patch size, no adversarial EXEmple exist. Our method is inspired by (de)randomized smoothing which provides deterministic robustness certificates. During training, a base classifier is trained using subsets of continguous bytes. At inference time, our defense splits the executable into non-overlapping chunks, classifies each chunk independently, and computes the final prediction through majority voting to minimize the influence of injected content. Furthermore, we introduce a preprocessing step that fixes the size of the sections and headers to a multiple of the chunk size. As a consequence, the injected content is confined to an integer number of chunks without tampering the other chunks containing the real bytes of the input examples, allowing us to extend our certified robustness guarantees to content insertion attacks. We perform an extensive ablation study, by comparing our defense with randomized smoothing-based defenses against a plethora of content manipulation attacks and neural network architectures. Results show that our method exhibits unmatched robustness against strong content-insertion attacks, outperforming randomized smoothing-based defenses in the literature.


title: Inferring State Machine from the Protocol Implementation via Large Language Model

abstract: State machines play a pivotal role in augmenting the efficacy of protocol analyzing to unveil more vulnerabilities. However, the task of inferring state machines from network protocol implementations presents significant challenges. Traditional methods based on dynamic analysis often overlook crucial state transitions due to limited coverage, while static analysis faces difficulties with complex code structures and behaviors. To address these limitations, we propose an innovative state machine inference approach powered by Large Language Models (LLMs). Utilizing text-embedding technology, this method allows LLMs to dissect and analyze the intricacies of protocol implementation code. Through targeted prompt engineering, we systematically identify and infer the underlying state machines. Our evaluation across six protocol implementations demonstrates the method's high efficacy, achieving an accuracy rate exceeding 90% and successfully delineating differences on state machines among various implementations of the same protocol. Importantly, integrating this approach with protocol fuzzing has notably enhanced AFLNet's code coverage by 10% over RFCNLP, showcasing the considerable potential of LLMs in advancing network protocol security analysis. Our proposed method not only marks a significant step forward in accurate state machine inference but also opens new avenues for improving the security and reliability of protocol implementations.


title: Enhancing Mutual Trustworthiness in Federated Learning for Data-Rich Smart Cities

abstract: Federated learning is a promising collaborative and privacy-preserving machine learning approach in data-rich smart cities. Nevertheless, the inherent heterogeneity of these urban environments presents a significant challenge in selecting trustworthy clients for collaborative model training. The usage of traditional approaches, such as the random client selection technique, poses several threats to the system's integrity due to the possibility of malicious client selection. Primarily, the existing literature focuses on assessing the trustworthiness of clients, neglecting the crucial aspect of trust in federated servers. To bridge this gap, in this work, we propose a novel framework that addresses the mutual trustworthiness in federated learning by considering the trust needs of both the client and the server. Our approach entails: (1) Creating preference functions for servers and clients, allowing them to rank each other based on trust scores, (2) Establishing a reputation-based recommendation system leveraging multiple clients to assess newly connected servers, (3) Assigning credibility scores to recommending devices for better server trustworthiness measurement, (4) Developing a trust assessment mechanism for smart devices using a statistical Interquartile Range (IQR) method, (5) Designing intelligent matching algorithms considering the preferences of both parties. Based on simulation and experimental results, our approach outperforms baseline methods by increasing trust levels, global model accuracy, and reducing non-trustworthy clients in the system.


title: Trust Driven On-Demand Scheme for Client Deployment in Federated Learning

abstract: Containerization technology plays a crucial role in Federated Learning (FL) setups, expanding the pool of potential clients and ensuring the availability of specific subsets for each learning iteration. However, doubts arise about the trustworthiness of devices deployed as clients in FL scenarios, especially when container deployment processes are involved. Addressing these challenges is important, particularly in managing potentially malicious clients capable of disrupting the learning process or compromising the entire model. In our research, we are motivated to integrate a trust element into the client selection and model deployment processes within our system architecture. This is a feature lacking in the initial client selection and deployment mechanism of the On-Demand architecture. We introduce a trust mechanism, named "Trusted-On-Demand-FL", which establishes a relationship of trust between the server and the pool of eligible clients. Utilizing Docker in our deployment strategy enables us to monitor and validate participant actions effectively, ensuring strict adherence to agreed-upon protocols while strengthening defenses against unauthorized data access or tampering. Our simulations rely on a continuous user behavior dataset, deploying an optimization model powered by a genetic algorithm to efficiently select clients for participation. By assigning trust values to individual clients and dynamically adjusting these values, combined with penalizing malicious clients through decreased trust scores, our proposed framework identifies and isolates harmful clients. This approach not only reduces disruptions to regular rounds but also minimizes instances of round dismissal, Consequently enhancing both system stability and security.


title: Particle production from gluon-nucleon interactions in relativistic heavy ion collisions

abstract: We propose a particle production mechanism analogous to the particle photoproduction processes, arising from the gluon-nucleon interactions in relativistic heavy ion collisions. The comparison is made on the effect of the gluon-nucleon interactions on the photon production in Au+Au collisions at $\sqrt{s_{NN}}=$200 GeV and Pb+Pb collisions at $\sqrt{s_{NN}}=$2.76 TeV. The numerical results indicate that as the collision energy increases, the contribution of gluon-nucleon interactions becomes more prominent.


title: Posterior exploration for computationally intensive forward models

abstract: In this chapter, we address the challenge of exploring the posterior distributions of Bayesian inverse problems with computationally intensive forward models. We consider various multivariate proposal distributions, and compare them with single-site Metropolis updates. We show how fast, approximate models can be leveraged to improve the MCMC sampling efficiency.


title: CaTT contexts are finite computads

abstract: Two novel descriptions of weak {\omega}-categories have been recently proposed, using type-theoretic ideas. The first one is the dependent type theory CaTT whose models are {\omega}-categories. The second is a recursive description of a category of computads together with an adjunction to globular sets, such that the algebras for the induced monad are again {\omega}-categories. We compare the two descriptions by showing that there exits a fully faithful morphism of categories with families from the syntactic category of CaTT to the opposite of the category of computads, which gives an equivalence on the subcategory of finite computads. We derive a more direct connection between the category of models of CaTT and the category of algebras for the monad on globular sets, induced by the adjunction with computads.


title: Enhanced Error Estimates for Augmented Subspace Method with Crouzeix-Raviart Element

abstract: In this paper, we present some enhanced error estimates for augmented subspace methods with the nonconforming Crouzeix-Raviart (CR) element. Before the novel estimates, we derive the explicit error estimates for the case of single eigenpair and multiple eigenpairs based on our defined spectral projection operators, respectively. Then we first strictly prove that the CR element based augmented subspace method exhibits the second-order convergence rate between the two steps of the augmented subspace iteration, which coincides with the practical experimental results. The algebraic error estimates of second order for the augmented subspace method explicitly elucidate the dependence of the convergence rate of the algebraic error on the coarse space, which provides new insights into the performance of the augmented subspace method. Numerical experiments are finally supplied to verify these new estimate results and the efficiency of our algorithms.


title: A Dual Open Atom Interferometer for Compact, Mobile Quantum Sensing

abstract: We demonstrate an atom interferometer measurement protocol compatible with operation on a dynamic platform. Our method employs two open interferometers, derived from the same atomic source, with different interrogation times to eliminate initial velocity dependence while retaining precision, accuracy, and long term stability. We validate the protocol by measuring gravitational tides, achieving a precision of 4.5 {\mu}Gal in 2000 runs, marking the first demonstration of inertial quantity measurement with open atom interferometry that achieves long-term phase stability.


title: Optimized Drug Design using Multi-Objective Evolutionary Algorithms with SELFIES

abstract: Computer aided drug design is a promising approach to reduce the tremendous costs, i.e. time and resources, for developing new medicinal drugs. It finds application in aiding the traversal of the vast chemical space of potentially useful compounds. In this paper, we deploy multi-objective evolutionary algorithms, namely NSGA-II, NSGA-III, and MOEA/D, for this purpose. At the same time, we used the SELFIES string representation method. In addition to the QED and SA score, we optimize compounds using the GuacaMol benchmark multi-objective task sets. Our results indicate that all three algorithms show converging behavior and successfully optimize the defined criteria whilst differing mainly in the number of potential solutions found. We observe that novel and promising candidates for synthesis are discovered among obtained compounds in the Pareto-sets.


title: Self-Refine Instruction-Tuning for Aligning Reasoning in Language Models

abstract: The alignments of reasoning abilities between smaller and larger Language Models are largely conducted via Supervised Fine-Tuning (SFT) using demonstrations generated from robust Large Language Models (LLMs). Although these approaches deliver more performant models, they do not show sufficiently strong generalization ability as the training only relies on the provided demonstrations. In this paper, we propose the Self-refine Instruction-tuning method that elicits Smaller Language Models to self-refine their abilities. Our approach is based on a two-stage process, where reasoning abilities are first transferred between LLMs and Small Language Models (SLMs) via Instruction-tuning on demonstrations provided by LLMs, and then the instructed models Self-refine their abilities through preference optimization strategies. In particular, the second phase operates refinement heuristics based on the Direct Preference Optimization algorithm, where the SLMs are elicited to deliver a series of reasoning paths by automatically sampling the generated responses and providing rewards using ground truths from the LLMs. Results obtained on commonsense and math reasoning tasks show that this approach significantly outperforms Instruction-tuning in both in-domain and out-domain scenarios, aligning the reasoning abilities of Smaller and Larger Language Models.


title: Maximal acceleration in Rainbow gravity

abstract: In this paper, we derive maximal acceleration of a massive particle in Rainbow gravity. Using eight-dimensional phase-space metric compatible with Rainbow gravity, we obtain the maximal acceleration, valid up to first order in the Rainbow gravity parameter $\eta$. Using the positivity condition on maximal acceleration, we find the upper bound on the Rainbow gravity parameter is of the order of $~10^{22}$ for positron and $10^{-44}$ for a black hole. After obtaining the expression for maximal acceleration for different choices of Rainbow functions, we derive corresponding modifications to Unruh temperature. Comparing with the observational value of the Unruh temperature, we find the upper bound on $\eta$ as $~10^{32}$ for positron radiation. %and of the order of $10^{-100}$ for radiation from a black hole. We then derive geodesic equations for different choices of Rainbow functions and also obtain Newtonian limit of these geodesic equations. We find that the changes in the value of maximum acceleration, maximum temperature and Newtonian force equation are dependent on the choices of Rainbow functions.


title: Rotations and boosts of Hermite functions

abstract: We provide transformation matrices for arbitrary Lorentz transformations of multidimensional Hermite functions in any dimension. These serve as a valuable tool for analyzing spacetime properties of MHS fields, and aid in the description of the relativistic harmonic oscillator and digital image manipulation. We also focus on finite boosts and rotations around specific axes, enabling us to identify the Lorentz Lie algebra generators. As an application and to establish a contact with the literature we construct a basis in which the two dimensional rotation operator is diagonal. We comment on the use of hypergeometric functions, the Wigner d-functions, Kravchuk polynomials, Jacobi polynomials and generalized associated Legendre functions.


title: Pure State Inspired Lossless Post-selected Quantum Metrology of Mixed States

abstract: Given an ensemble of identical pure quantum states that depend on an unknown parameter, recently it was shown that the quantum Fisher information can be losslessly compressed into a subensemble with a much smaller number of samples. However, generalization to mixed states leads to a technical challenge that is formidable to overcome directly. In this work, we avoid such technicality by unveiling the physics of a featured lossless post-selection measurement: while the post-selected quantum state is unchanged, the parametric derivative of the density operator is amplified by a large factor equal to the square root of the inverse of the post-selection success probability. This observation not only clarifies the intuition and essence of post-selected quantum metrology but also allows us to develop a mathematically compact theory for the lossless post-selection of mixed states. We find that if the parametric derivative of the density operator of a mixed state, or alternatively the symmetric logarithmic derivative, vanishes on the support of the density matrix, lossless post-selection can be achieved with an arbitrarily large amplification factor. We exemplify with the examples of superresolution imaging and unitary encoding of mixed initial states. Our results are useful for realistic post-selected quantum metrology in the presence of decoherence and of foundational interests to several problems in quantum information theory.


title: Low-temperature thermal transport in moir\'e superlattices

abstract: We calculate the thermal conductivity of various moir\'e bilayer systems using a continuum approach and the semiclassical transport theory. When the twist angle is close to 0, we observe a significant reduction of thermal conductivity in a particular low-temperature regime. This reduction is attributed to a moir\'e-induced reconstruction of acoustic phonon bands and associated decrease of the group velocity. Conversely, in the zero temperature limit, the thermal conductivity is enhanced by moir\'e effect, surpassing the original values in non-moir\'e counterparts. These changes result in a characteristic temperature dependence which deviates from the quadratic behavior in intrinsic two-dimensional systems.


title: Compressive Sensing Imaging Using Caustic Lens Mask Generated by Periodic Perturbation in a Ripple Tank

abstract: Terahertz imaging shows significant potential across diverse fields, yet the cost-effectiveness of multi-pixel imaging equipment remains an obstacle for many researchers. To tackle this issue, the utilization of single-pixel imaging arises as a lower-cost option, however, the data collection process necessary for reconstructing images is time-consuming. Compressive Sensing offers a promising solution by enabling image generation with fewer measurements than required by Nyquist's theorem, yet long processing times remain an issue, especially for large-sized images. Our proposed solution to this issue involves using caustic lens effect induced by perturbations in a ripple tank as a sampling mask. The dynamic characteristics of the ripple tank introduce randomness into the sampling process, thereby reducing measurement time through exploitation of the inherent sparsity of THz band signals. In this study, a Convolutional Neural Network was used to conduct target classification, based on the distinctive signal patterns obtained via the caustic lens mask. The suggested classifier obtained a 95.16 % accuracy rate in differentiating targets resembling Latin letters.


title: Shallow vertex minors, stability, and dependence

abstract: Stability and dependence are model-theoretic notions that have recently proved highly effective in the study of structural and algorithmic properties of hereditary graph classes, and are considered key notions for generalizing to hereditary graph classes the theory of sparsity developed for monotone graph classes (where an essential notion is that of nowhere dense class). The theory of sparsity was initially built on the notion of shallow minors and on the idea of excluding different sets of minors, depending on the depth at which these minors can appear. In this paper, we follow a similar path, where shallow vertex minors replace shallow minors. In this setting, we provide a neat characterization of stable / dependent hereditary classes of graphs: A hereditary class of graphs $\mathscr C$ is (1) dependent if and only if it does not contain all permutation graphs and, for each integer $r$, it excludes some split interval graph as a depth-$r$ vertex minor; (2) stable if and only if, for each integer $r$, it excludes some half-graph as a depth-$r$ vertex minor. A key ingredient in proving these results is the preservation of stability and dependence of a class when taking bounded depth shallow vertex minors. We extend this preservation result to binary structures and get, as a direct consequence, that bounded depth shallow vertex minors of graphs with bounded twin-width have bounded twin-width.


title: Unconventional pairing in Ising superconductors: Application to monolayer NbSe$_2$

abstract: The presence of a non-centrosymmetric crystal structure and in-plane mirror symmetry allows an Ising spin-orbit coupling to form in some two-dimensional materials. Examples include transition metal dichalcogenide superconductors like monolayer NbSe$_2$, MoS$_2$, TaS$_2$, and PbTe$_2$, where a nontrivial nature of the superconducting state is currently being explored. In this study, we develop a microscopic formalism for Ising superconductors that captures the superconducting instability arising from a momentum-dependent spin- and charge-fluctuation-mediated pairing interaction. We apply our pairing model to the electronic structure of monolayer NbSe$_2$, where first-principles calculations reveal the presence of strong paramagnetic fluctuations. Our calculations provide a quantitative measure of the mixing between the even- and odd-parity superconducting states and its variation with Coulomb interaction. Further, numerical analysis in the presence of an external Zeeman field reveals the role of Ising spin-orbit coupling and mixing of odd-parity superconducting state in influencing the low-temperature enhancement of the critical magnetic field.


title: UCB-driven Utility Function Search for Multi-objective Reinforcement Learning

abstract: In Multi-objective Reinforcement Learning (MORL) agents are tasked with optimising decision-making behaviours that trade-off between multiple, possibly conflicting, objectives. MORL based on decomposition is a family of solution methods that employ a number of utility functions to decompose the multi-objective problem into individual single-objective problems solved simultaneously in order to approximate a Pareto front of policies. We focus on the case of linear utility functions parameterised by weight vectors w. We introduce a method based on Upper Confidence Bound to efficiently search for the most promising weight vectors during different stages of the learning process, with the aim of maximising the hypervolume of the resulting Pareto front. The proposed method is shown to outperform various MORL baselines on Mujoco benchmark problems across different random seeds. The code is online at: https://github.com/SYCAMORE-1/ucb-MOPPO.


title: Direct detection of down-converted photons spontaneously produced at a single Josephson junction

abstract: We study spontaneous photon decay into multiple photons triggered by strong non-linearities in a superconducting quantum simulator of the boundary sine-Gordon impurity model. Previously, spectroscopic signatures of photon-conversion were reported and evidenced as resonances in the many-body spectrum of these systems. Here, we report on the observation of multi-mode fluorescence of a small Josephson junction embedded in a high impedance superconducting transmission line. Measurement of the down-converted photons is achieved using state-of-the-art broadband parametric amplifiers. Photon triplet emission is explicitly demonstrated at a given frequency as the counterpart of inelastic photon decay at three-times the emission frequency. These results open exciting prospects for the burgeoning field of many-body quantum optics and offer a direct signature of the ultra-strong light-matter coupling.


title: Structure of a fourth-order dispersive flow equation through the generalized Hasimoto transformation

abstract: This paper focuses on a one-dimensional fourth-order nonlinear dispersive partial differential equation for curve flows on a K\"ahler manifold. The equation arises as a fourth-order extension of the one-dimensional Schr\"odinger flow equation, with physical and geometrical backgrounds. First, this paper presents a framework that can transform the equation into a system of fourth-order nonlinear dispersive partial differential-integral equations for complex-valued functions. This is achieved by developing the so-called generalized Hasimoto transformation, which enables us to handle general higher-dimensional compact K\"ahler manifolds. Second, this paper demonstrates the computations to obtain the explicit expression of the derived system for three examples of the compact K\"ahler manifolds, dealing with the complex Grassmannian as an example in detail.


title: Four loop renormalization in six dimensions using Forcer

abstract: We employ the Forcer algorithm to renormalize a variety of six dimensional field theories to four loops. In order to achieve this we construct the Forcer master integrals in six dimensions from their four dimensional counterparts by using the Tarasov method. The $\epsilon$ expansion of the six dimensional masters are determined up to weight $9$ where $d$ $=$ $6$ $-$ $2\epsilon$. By applying the Forcer routine the four loop MSbar renormalization of $\phi^3$ theory is reproduced before gauge theories are considered. The renormalization of these theories is also determined in the MOMt scheme. For instance the absence of $\zeta_4$ and $\zeta_6$ is confirmed to five loops in the MOMt renormalization of $\phi^3$ theory. We also evaluate the three loop $\beta$-function of the gauge coupling in six dimensional QCD.


title: Ergodicity for 2D Navier-Stokes equations with a degenerate pure jump noise

abstract: In this paper, we establish the ergodicity for stochastic 2D Navier-Stokes equations driven by a highly degenerate pure jump L\'evy noise. The noise could appear in as few as four directions. This gives an affirmative anwser to a longstanding problem. The case of Gaussian noise was treated in Hairer and Mattingly [\emph{Ann. of Math.}, 164(3):993--1032, 2006]. To obtain the uniqueness of invariant measure, we use Malliavin calculus and anticipating stochastic calculus to establish the equi-continuity of the semigroup, the so-called {\em e-property}, and prove some weak irreducibility of the solution process.


title: On Developing an Artifact-based Approach to Regulatory Requirements Engineering

abstract: Context: Regulatory acts are a challenging source when eliciting, interpreting, and analyzing requirements. Requirements engineers often need to involve legal experts who, however, may often not be available. This raises the need for approaches to regulatory Requirements Engineering (RE) covering and integrating both legal and engineering perspectives. Problem: Regulatory RE approaches need to capture and reflect both the elementary concepts and relationships from a legal perspective and their seamless transition to concepts used to specify software requirements. No existing approach considers explicating and managing legal domain knowledge and engineering-legal coordination. Method: We conducted focus group sessions with legal researchers to identify the core challenges to establishing a regulatory RE approach. Based on our findings, we developed a candidate solution and conducted a first conceptual validation to assess its feasibility. Results: We introduce the first version of our Artifact Model for Regulatory Requirements Engineering (AM4RRE) and its conceptual foundation. It provides a blueprint for applying legal (modelling) concepts and well-established RE concepts. Our initial results suggest that artifact-centric RE can be applied to managing legal domain knowledge and engineering-legal coordination. Conclusions: The focus groups that served as a basis for building our model and the results from the expert validation both strengthen our confidence that we already provide a valuable basis for systematically integrating legal concepts into RE. This overcomes contemporary challenges to regulatory RE and serves as a basis for exposure to critical discussions in the community before continuing with the development of tool-supported extensions and large-scale empirical evaluations in practice.


title: Entanglement and fidelity across quantum phase transitions in locally perturbed topological codes with open boundaries

abstract: We investigate the topological-to-non-topological quantum phase transitions (QPTs) occurring in the Kitaev code under local perturbations in the form of local magnetic field and spin-spin interactions of the Ising-type using fidelity susceptibility (FS) and entanglement as the probes. We assume the code to be embedded on the surface of a wide cylinder of height $M$ and circumference $D$ with $M\ll D$. We demonstrate a power-law divergence of FS across the QPT, and determine the quantum critical points (QCPs) via a finite-size scaling analysis. We verify these results by mapping the perturbed Kitaev code to the 2D Ising model with nearest- and next-nearest-neighbor interactions, and computing the single-site magnetization as order parameter using quantum Monte-Carlo technique. We also point out an odd-even dichotomy in the occurrence of the QPT in the Kitaev ladder with respect to the odd and even values of $D$, when the system is perturbed with only Ising interaction. Our results also indicate a higher robustness of the topological phase of the Kitaev code against local perturbations if the boundary is made open along one direction. We further consider a local entanglement witness operator designed specifically to capture a lower bound to the localizable entanglement on the vertical non-trivial loop of the code. We show that the first derivative of the expectation value of the witness operator exhibits a logarithmic divergence across the QPT, and perform the finite-size scaling analysis. We demonstrate similar behaviour of the expectation value of the appropriately constructed witness operator also in the case of locally perturbed color code with open boundaries.


title: Conformal Risk Control for Ordinal Classification

abstract: As a natural extension to the standard conformal prediction method, several conformal risk control methods have been recently developed and applied to various learning problems. In this work, we seek to control the conformal risk in expectation for ordinal classification tasks, which have broad applications to many real problems. For this purpose, we firstly formulated the ordinal classification task in the conformal risk control framework, and provided theoretic risk bounds of the risk control method. Then we proposed two types of loss functions specially designed for ordinal classification tasks, and developed corresponding algorithms to determine the prediction set for each case to control their risks at a desired level. We demonstrated the effectiveness of our proposed methods, and analyzed the difference between the two types of risks on three different datasets, including a simulated dataset, the UTKFace dataset and the diabetic retinopathy detection dataset.


title: Detection of ransomware attacks using federated learning based on the CNN model

abstract: Computing is still under a significant threat from ransomware, which necessitates prompt action to prevent it. Ransomware attacks can have a negative impact on how smart grids, particularly digital substations. In addition to examining a ransomware detection method using artificial intelligence (AI), this paper offers a ransomware attack modeling technique that targets the disrupted operation of a digital substation. The first, binary data is transformed into image data and fed into the convolution neural network model using federated learning. The experimental findings demonstrate that the suggested technique detects ransomware with a high accuracy rate.


title: The Serre spectral sequence of a Lie subalgebroid

abstract: We study a spectral sequence approximating Lie algebroid cohomology associated to a Lie subalgebroid. This is a simultaneous generalisation of several classical constructions in differential geometry, including the Leray-Serre spectral sequence for de Rham cohomology associated to a fibration, the Hochschild-Serre spectral sequence for Lie algebras, and the Mackenzie spectral sequence for Lie algebroid extensions. We show that, for wide Lie subalgebroids, the spectral sequence converges to the Lie algebroid cohomology, and that, for Lie subalgebroids over proper submanifolds, the spectral sequence converges to the formal Lie algebroid cohomology. We discuss applications and recover several constructions in Poisson geometry in which this spectral sequence has appeared naturally in the literature.


title: Self-supervised Pre-training of Text Recognizers

abstract: In this paper, we investigate self-supervised pre-training methods for document text recognition. Nowadays, large unlabeled datasets can be collected for many research tasks, including text recognition, but it is costly to annotate them. Therefore, methods utilizing unlabeled data are researched. We study self-supervised pre-training methods based on masked label prediction using three different approaches -- Feature Quantization, VQ-VAE, and Post-Quantized AE. We also investigate joint-embedding approaches with VICReg and NT-Xent objectives, for which we propose an image shifting technique to prevent model collapse where it relies solely on positional encoding while completely ignoring the input image. We perform our experiments on historical handwritten (Bentham) and historical printed datasets mainly to investigate the benefits of the self-supervised pre-training techniques with different amounts of annotated target domain data. We use transfer learning as strong baselines. The evaluation shows that the self-supervised pre-training on data from the target domain is very effective, but it struggles to outperform transfer learning from closely related domains. This paper is one of the first researches exploring self-supervised pre-training in document text recognition, and we believe that it will become a cornerstone for future research in this area. We made our implementation of the investigated methods publicly available at https://github.com/DCGM/pero-pretraining.


title: On the Incompressible Limit of Current-Vortex Sheets with or without Surface Tension

abstract: This is the second part of the two-paper sequence, which aims to present a comprehensive study for current-vortex sheets with or without surface tension in ideal compressible magnetohydrodynamics (MHD). The results of this paper are two-fold: First, we establish the zero-surface-tension limit of compressible current-vortex sheets under certain stability conditions on the free interface; Second, when the two-phase flows are isentropic and the density functions converge to the same constant as Mach number goes to zero, we can drop the boundedness assumption (with respect to Mach number) on high-order time derivatives by combining the paradifferential approach applied to the evolution equation of the free interface, the structure of wave equations for the total pressure and the anisotropic Sobolev spaces with suitable weights of Mach number. To our knowledge, this is the first result that rigorously justifies the incompressible limit of free-surface MHD flows. Moreover, we actually present a robust framework for the low Mach number limit of vortex-sheet problems, which was never established in any previous works.


title: Bona-Smith-type systems in bounded domains with slip-wall boundary conditions: Theoretical justification and a conservative numerical scheme

abstract: Considered herein is a class of Boussinesq systems of Bona-Smith type that describe water waves in bounded two-dimensional domains with slip-wall boundary conditions and variable bottom topography. Such boundary conditions are necessary in situations involving water waves in channels, ports, and generally in basins with solid boundaries. We prove that, given appropriate initial conditions, the corresponding initial-boundary value problems have unique solutions locally in time, which is a fundamental property of deterministic mathematical modeling. Moreover, we demonstrate that the systems under consideration adhere to three basic conservation laws for water waves: mass, vorticity, and energy conservation. The theoretical analysis of these specific Boussinesq systems leads to a conservative mixed finite element formulation. Using explicit, relaxation Runge-Kutta methods for the discretization in time, we devise a fully discrete scheme for the numerical solution of initial-boundary value problems with slip-wall conditions, preserving mass, vorticity, and energy. Finally, we present a series of challenging numerical experiments to assess the applicability of the new numerical model.


title: $\alpha$-leakage by R\'{e}nyi Divergence and Sibson Mutual Information

abstract: For $\tilde{f}(t) = \exp(\frac{\alpha-1}{\alpha}t)$, this paper proposes a $\tilde{f}$-mean information gain measure. R\'{e}nyi divergence is shown to be the maximum $\tilde{f}$-mean information gain incurred at each elementary event $y$ of channel output $Y$ and Sibson mutual information is the $\tilde{f}$-mean of this $Y$-elementary information gain. Both are proposed as $\alpha$-leakage measures, indicating the most information an adversary can obtain on sensitive data. It is shown that the existing $\alpha$-leakage by Arimoto mutual information can be expressed as $\tilde{f}$-mean measures by a scaled probability. Further, Sibson mutual information is interpreted as the maximum $\tilde{f}$-mean information gain over all estimation decisions applied to channel output.


title: Optimal Bias-Correction and Valid Inference in High-Dimensional Ridge Regression: A Closed-Form Solution

abstract: Ridge regression is an indispensable tool in big data econometrics but suffers from bias issues affecting both statistical efficiency and scalability. We introduce an iterative strategy to correct the bias effectively when the dimension $p$ is less than the sample size $n$. For $p>n$, our method optimally reduces the bias to a level unachievable through linear transformations of the response. We employ a Ridge-Screening (RS) method to handle the remaining bias when $p>n$, creating a reduced model suitable for bias-correction. Under certain conditions, the selected model nests the true one, making RS a novel variable selection approach. We establish the asymptotic properties and valid inferences of our de-biased ridge estimators for both $p< n$ and $p>n$, where $p$ and $n$ may grow towards infinity, along with the number of iterations. Our method is validated using simulated and real-world data examples, providing a closed-form solution to bias challenges in ridge regression inferences.


title: Quantum Monte Carlo study of the phase diagram of the two-dimensional uniform electron liquid

abstract: We present a study of spin-unpolarized and spin-polarized two-dimensional uniform electron liquids using variational and diffusion quantum Monte Carlo (VMC and DMC) methods with Slater-Jastrow-backflow trial wave functions. Ground-state VMC and DMC energies are obtained in the density range $1 \leq r_\text{s} \leq 40$. Single-particle and many-body finite-size errors are corrected using canonical-ensemble twist-averaged boundary conditions and extrapolation of twist-averaged energies to the thermodynamic limit of infinite system size. System-size-dependent errors in Slater-Jastrow-backflow DMC energies caused by partially converged VMC energy minimization calculations are discussed. We find that, for $1 \leq r_\text{s} \leq 5$, optimizing the backflow function at each twist lowers the twist-averaged DMC energy at finite system size. However, nonsystematic system-size-dependent effects remain in the DMC energies, which can be partially removed by extrapolation from multiple finite system sizes to infinite system size. We attribute these nonsystematic effects to the close competition between fluid and defected crystal phases at different system sizes at low density. The DMC energies in the thermodynamic limit are used to parameterize a local spin density approximation correlation functional for inhomogeneous electron systems. Our zero-temperature phase diagram shows a single transition from a paramagnetic fluid to a hexagonal Wigner crystal at $r_\text{s}=35(1)$, with no region of stability for a ferromagnetic fluid.


title: On the Potential of Re-configurable Intelligent Surface (RIS)-assisted Physical Layer Authentication (PLA)

abstract: Re-configurable Intelligent Surfaces (RIS) technology is increasingly becoming a potential component for next-generation wireless networks, offering enhanced performance in terms of throughput, spectral, and energy efficiency. However, the broadcast nature of RIS-assisted wireless communication makes it vulnerable to malicious attacks at the physical layer. At the same time, physical layer authentication is gaining popularity as a solution to secure wireless networks, thwarting different attacks such as cloning, spoofing, and impersonation by using the random features of the physical layer. In this paper, we investigate RIS-assisted wireless communication systems to unlock the potential of using RIS for physical layer authentication (PLA). In particular, we exploit two distinct features of the physical layer: pathloss and channel impulse response (CIR) for PLA in RIS-assisted wireless communication. We construct hypothesis tests for the estimated features and derive closed-form error expressions. Further, we consider the critical error, i.e., missed detection, as our objective function to minimize by optimizing the phase shift of the RIS pannel. We compare the performance of our proposed mechanisms with PLA schemes using the same features but with no RIS. Furthermore, we thoroughly evaluate our proposed schemes using performance metrics such as the probability of false alarm (PFA), the probability of missed detection (PMD), and the receiver operating characteristic (ROC) curves. The results demonstrate a clear positive impact of RIS on PLA, as it effectively reduces PMD values to zero when determining the optimal phase shift.


title: Improved linearly ordered colorings of hypergraphs via SDP rounding

abstract: We consider the problem of linearly ordered (LO) coloring of hypergraphs. A hypergraph has an LO coloring if there is a vertex coloring, using a set of ordered colors, so that (i) no edge is monochromatic, and (ii) each edge has a unique maximum color. It is an open question as to whether or not a 2-LO colorable 3-uniform hypergraph can be LO colored with 3 colors in polynomial time. Nakajima and Zivn\'{y} recently gave a polynomial-time algorithm to color such hypergraphs with $\widetilde{O}(n^{1/3})$ colors and asked if SDP methods can be used directly to obtain improved bounds. Our main result is to show how to use SDP-based rounding methods to produce an LO coloring with $\widetilde{O}(n^{1/5})$ colors for such hypergraphs. We first show that we can reduce the problem to cases with highly structured SDP solutions, which we call balanced hypergraphs. Then we show how to apply classic SDP-rounding tools in this case. We believe that the reduction to balanced hypergraphs is novel and could be of independent interest.


title: CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection

abstract: With the development of the open source community, the code is often copied, spread, and evolved in multiple software systems, which brings uncertainty and risk to the software system (e.g., bug propagation and copyright infringement). Therefore, it is important to conduct code clone detection to discover similar code pairs. Many approaches have been proposed to detect code clones where token-based tools can scale to big code. However, due to the lack of program details, they cannot handle more complicated code clones, i.e., semantic code clones. In this paper, we introduce CC2Vec, a novel code encoding method designed to swiftly identify simple code clones while also enhancing the capability for semantic code clone detection. To retain the program details between tokens, CC2Vec divides them into different categories (i.e., typed tokens) according to the syntactic types and then applies two self-attention mechanism layers to encode them. To resist changes in the code structure of semantic code clones, CC2Vec performs contrastive learning to reduce the differences introduced by different code implementations. We evaluate CC2Vec on two widely used datasets (i.e., BigCloneBench and Google Code Jam) and the results report that our method can effectively detect simple code clones. In addition, CC2Vec not only attains comparable performance to widely used semantic code clone detection systems such as ASTNN, SCDetector, and FCCA by simply fine-tuning, but also significantly surpasses these methods in both detection efficiency.


title: Clique-free t-matchings in degree-bounded graphs

abstract: We consider problems of finding a maximum size/weight $t$-matching without forbidden subgraphs in an undirected graph $G$ with the maximum degree bounded by $t+1$, where $t$ is an integer greater than $2$. Depending on the variant forbidden subgraphs denote certain subsets of $t$-regular complete partite subgraphs of $G$. A graph is complete partite if there exists a partition of its vertex set such that every pair of vertices from different sets is connected by an edge and vertices from the same set form an independent set. A clique $K_t$ and a bipartite clique $K_{t,t}$ are examples of complete partite graphs. These problems are natural generalizations of the triangle-free and square-free $2$-matching problems in subcubic graphs. In the weighted setting we assume that the weights of edges of $G$ are vertex-induced on every forbidden subgraph. We present simple and fast combinatorial algorithms for these problems. The presented algorithms are the first ones for the weighted versions, and for the unweighted ones, are faster than those known previously. Our approach relies on the use of gadgets with so-called half-edges. A half-edge of edge $e$ is, informally speaking, a half of $e$ containing exactly one of its endpoints.


title: Continuous sPatial-Temporal Deformable Image Registration (CPT-DIR) for motion modelling in radiotherapy: beyond classic voxel-based methods

abstract: Background and purpose: Deformable image registration (DIR) is a crucial tool in radiotherapy for extracting and modelling organ motion. However, when significant changes and sliding boundaries are present, it faces compromised accuracy and uncertainty, determining the subsequential contour propagation and dose accumulation procedures. Materials and methods: We propose an implicit neural representation (INR)-based approach modelling motion continuously in both space and time, named Continues-sPatial-Temporal DIR (CPT-DIR). This method uses a multilayer perception (MLP) network to map 3D coordinate (x,y,z) to its corresponding velocity vector (vx,vy,vz). The displacement vectors (dx,dy,dz) are then calculated by integrating velocity vectors over time. The MLP's parameters can rapidly adapt to new cases without pre-training, enhancing optimisation. The DIR's performance was tested on the DIR-Lab dataset of 10 lung 4DCT cases, using metrics of landmark accuracy (TRE), contour conformity (Dice) and image similarity (MAE). Results: The proposed CPT-DIR can reduce landmark TRE from 2.79mm to 0.99mm, outperforming B-splines' results for all cases. The MAE of the whole-body region improves from 35.46HU to 28.99HU. Furthermore, CPT-DIR surpasses B-splines for accuracy in the sliding boundary region, lowering MAE and increasing Dice coefficients for the ribcage from 65.65HU and 90.41% to 42.04HU and 90.56%, versus 75.40HU and 89.30% without registration. Meanwhile, CPT-DIR offers significant speed advantages, completing in under 15 seconds compared to a few minutes with the conventional B-splines method. Conclusion: Leveraging the continuous representations, the CPT-DIR method significantly enhances registration accuracy, automation and speed, outperforming traditional B-splines in landmark and contour precision, particularly in the challenging areas.