title: Receding-Constraint Model Predictive Control using a Learned Approximate Control-Invariant Set

abstract: In recent years, advanced model-based and data-driven control methods are unlocking the potential of complex robotics systems, and we can expect this trend to continue at an exponential rate in the near future. However, ensuring safety with these advanced control methods remains a challenge. A well-known tool to make controllers (either Model Predictive Controllers or Reinforcement Learning policies) safe, is the so-called control-invariant set (a.k.a. safe set). Unfortunately, for nonlinear systems, such a set cannot be exactly computed in general. Numerical algorithms exist for computing approximate control-invariant sets, but classic theoretic control methods break down if the set is not exact. This paper presents our recent efforts to address this issue. We present a novel Model Predictive Control scheme that can guarantee recursive feasibility and/or safety under weaker assumptions than classic methods. In particular, recursive feasibility is guaranteed by making the safe-set constraint move backward over the horizon, and assuming that such set satisfies a condition that is weaker than control invariance. Safety is instead guaranteed under an even weaker assumption on the safe set, triggering a safe task-abortion strategy whenever a risk of constraint violation is detected. We evaluated our approach on a simulated robot manipulator, empirically demonstrating that it leads to less constraint violations than state-of-the-art approaches, while retaining reasonable performance in terms of tracking cost and number of completed tasks.


title: PSDiff: Diffusion Model for Person Search with Iterative and Collaborative Refinement

abstract: Dominant Person Search methods aim to localize and recognize query persons in a unified network, which jointly optimizes two sub-tasks, \ie, pedestrian detection and Re-IDentification (ReID). Despite significant progress, current methods face two primary challenges: 1) the pedestrian candidates learned within detectors are suboptimal for the ReID task. 2) the potential for collaboration between two sub-tasks is overlooked. To address these issues, we present a novel Person Search framework based on the Diffusion model, PSDiff. PSDiff formulates the person search as a dual denoising process from noisy boxes and ReID embeddings to ground truths. Distinct from the conventional Detection-to-ReID approach, our denoising paradigm discards prior pedestrian candidates generated by detectors, thereby avoiding the local optimum problem of the ReID task. Following the new paradigm, we further design a new Collaborative Denoising Layer (CDL) to optimize detection and ReID sub-tasks in an iterative and collaborative way, which makes two sub-tasks mutually beneficial. Extensive experiments on the standard benchmarks show that PSDiff achieves state-of-the-art performance with fewer parameters and elastic computing overhead.


title: Towards fractal origins of the community structure in complex networks: a model-based approach

abstract: In this paper, we pose a hypothesis that the structure of communities in complex networks may result from their latent fractal properties. This hypothesis is based not only on the general observation that many real networks have multilevel organization, which is reminiscent of the geometric self-similarity of classical fractals. Quantitative arguments supporting this hypothesis are: first, many non-fractal real complex networks that have a well-defined community structure reveal fractal properties when suitably diluted; second, the scale-free community size distributions observed in many real networks directly relate to scale-invariant box mass distributions, which have recently been described as a fundamental feature of fractal complex networks. We test this hypothesis in a general model of evolving network with community structure that exhibits dual scale invariance: at the level of node degrees and community sizes, respectively. We show that, at least in this model, the proposed hypothesis cannot be rejected. The argument for this is that a kind of fractal core can be identified in the networks studied, which appears as a macroscopic connected component when the edges between modules identified by the community detection algorithm are removed in a supervised manner.


title: Language-Oriented Communication with Semantic Coding and Knowledge Distillation for Text-to-Image Generation

abstract: By integrating recent advances in large language models (LLMs) and generative models into the emerging semantic communication (SC) paradigm, in this article we put forward to a novel framework of language-oriented semantic communication (LSC). In LSC, machines communicate using human language messages that can be interpreted and manipulated via natural language processing (NLP) techniques for SC efficiency. To demonstrate LSC's potential, we introduce three innovative algorithms: 1) semantic source coding (SSC) which compresses a text prompt into its key head words capturing the prompt's syntactic essence while maintaining their appearance order to keep the prompt's context; 2) semantic channel coding (SCC) that improves robustness against errors by substituting head words with their lenghthier synonyms; and 3) semantic knowledge distillation (SKD) that produces listener-customized prompts via in-context learning the listener's language style. In a communication task for progressive text-to-image generation, the proposed methods achieve higher perceptual similarities with fewer transmissions while enhancing robustness in noisy communication channels.


title: Mutually-orthogonal unitary and orthogonal matrices

abstract: We introduce the concept of n-OU and n-OO matrix sets, a collection of n mutually-orthogonal unitary and real orthogonal matrices under Hilbert-Schmidt inner product. We give a detailed characterization of order-three n-OO matrix sets under orthogonal equivalence. As an application in quantum information theory, we show that the minimum and maximum numbers of an unextendible maximally entangled bases within a real two-qutrit system are three and four, respectively. Further, we propose a new matrix decomposition approach, defining an n-OU (resp. n-OO) decomposition for a matrix as a linear combination of n matrices from an n-OU (resp. n-OO) matrix set. We show that any order-d matrix has a d-OU decomposition. As a contrast, we provide criteria for an order-three real matrix to possess an n-OO decomposition.


title: X-ray - cosmic shear cross-correlations: first detection and constraints on baryonic effects

abstract: We report a first detection, at very high significance ($25\sigma$), of the cross-correlation between cosmic shear and the diffuse X-ray background, using data from the Dark Energy Survey and the ROSAT satellite. The X-ray cross-correlation signal is sensitive to the distribution of the surrounding gas in dark matter haloes. This allows us to use our measurements to place constraints on key physical parameters that determine the impact of baryonic effects in the matter power spectrum. In particular, we determine the mass of haloes in which feedback has expelled half of their gas content on average to be $\log_{10}(M_c/M_\odot)=13.643^{+0.081}_{-0.12}$, and the polytropic index of the gas to be $\Gamma = 1.231^{+0.015}_{-0.011}$. This represents a first step in the direct use of X-ray cross-correlations to obtain improved constraints on cosmology and the physics of the intergalactic gas.


title: Modified Split Ring Resonators for Efficient and Homogeneous Microwave Control of Large Volume Spin Ensembles

abstract: Quantum sensing using local defects in solid-state systems has gained significant attention over the past several years, with impressive results demonstrated both in Academia and in Industry. Specifically, employing large volume and high density ensembles for beyond state-of-the-art sensitives is of clear interest. A major obstacle for achieving such record sensitivities is associated with the need to realize strong, homogeneous driving of the sensor defects. Here we focus on high-frequency microwave sensing using nitrogen-vacancy centers in diamond, and develop a modified split-ring resonator design to address this issue. We demonstrate enhanced drive strengths and homogeneities over large volumes compared to previous results, with prospects for enabling the desired sensitivities. We reach Rabi frequencies of up to 18 [MHz] with an efficiency ratio of 2 [$Gauss/\sqrt{Watt}$], along with an inhomogeneity of $<0.7\%$ in a volume of $0.1\:mm^3$.


title: Locate and Verify: A Two-Stream Network for Improved Deepfake Detection

abstract: Deepfake has taken the world by storm, triggering a trust crisis. Current deepfake detection methods are typically inadequate in generalizability, with a tendency to overfit to image contents such as the background, which are frequently occurring but relatively unimportant in the training dataset. Furthermore, current methods heavily rely on a few dominant forgery regions and may ignore other equally important regions, leading to inadequate uncovering of forgery cues. In this paper, we strive to address these shortcomings from three aspects: (1) We propose an innovative two-stream network that effectively enlarges the potential regions from which the model extracts forgery evidence. (2) We devise three functional modules to handle the multi-stream and multi-scale features in a collaborative learning scheme. (3) Confronted with the challenge of obtaining forgery annotations, we propose a Semi-supervised Patch Similarity Learning strategy to estimate patch-level forged location annotations. Empirically, our method demonstrates significantly improved robustness and generalizability, outperforming previous methods on six benchmarks, and improving the frame-level AUC on Deepfake Detection Challenge preview dataset from 0.797 to 0.835 and video-level AUC on CelebDF$\_$v1 dataset from 0.811 to 0.847. Our implementation is available at https://github.com/sccsok/Locate-and-Verify.


title: Contrastive Pseudo Learning for Open-World DeepFake Attribution

abstract: The challenge in sourcing attribution for forgery faces has gained widespread attention due to the rapid development of generative techniques. While many recent works have taken essential steps on GAN-generated faces, more threatening attacks related to identity swapping or expression transferring are still overlooked. And the forgery traces hidden in unknown attacks from the open-world unlabeled faces still remain under-explored. To push the related frontier research, we introduce a new benchmark called Open-World DeepFake Attribution (OW-DFA), which aims to evaluate attribution performance against various types of fake faces under open-world scenarios. Meanwhile, we propose a novel framework named Contrastive Pseudo Learning (CPL) for the OW-DFA task through 1) introducing a Global-Local Voting module to guide the feature alignment of forged faces with different manipulated regions, 2) designing a Confidence-based Soft Pseudo-label strategy to mitigate the pseudo-noise caused by similar methods in unlabeled set. In addition, we extend the CPL framework with a multi-stage paradigm that leverages pre-train technique and iterative learning to further enhance traceability performance. Extensive experiments verify the superiority of our proposed method on the OW-DFA and also demonstrate the interpretability of deepfake attribution task and its impact on improving the security of deepfake detection area.


title: Shape Anchor Guided Holistic Indoor Scene Understanding

abstract: This paper proposes a shape anchor guided learning strategy (AncLearn) for robust holistic indoor scene understanding. We observe that the search space constructed by current methods for proposal feature grouping and instance point sampling often introduces massive noise to instance detection and mesh reconstruction. Accordingly, we develop AncLearn to generate anchors that dynamically fit instance surfaces to (i) unmix noise and target-related features for offering reliable proposals at the detection stage, and (ii) reduce outliers in object point sampling for directly providing well-structured geometry priors without segmentation during reconstruction. We embed AncLearn into a reconstruction-from-detection learning system (AncRec) to generate high-quality semantic scene models in a purely instance-oriented manner. Experiments conducted on the challenging ScanNetv2 dataset demonstrate that our shape anchor-based method consistently achieves state-of-the-art performance in terms of 3D object detection, layout estimation, and shape reconstruction. The code will be available at https://github.com/Geo-Tell/AncRec.


title: GNSS/Multi-Sensor Fusion Using Continuous-Time Factor Graph Optimization for Robust Localization

abstract: Accurate and robust vehicle localization in highly urbanized areas is challenging. Sensors are often corrupted in those complicated and large-scale environments. This paper introduces GNSS-FGO, an online and global trajectory estimator that fuses GNSS observations alongside multiple sensor measurements for robust vehicle localization. In GNSS-FGO, we fuse asynchronous sensor measurements into the graph with a continuous-time trajectory representation using Gaussian process regression. This enables querying states at arbitrary timestamps so that sensor observations are fused without requiring strict state and measurement synchronization. Thus, the proposed method presents a generalized factor graph for multi-sensor fusion. To evaluate and study different GNSS fusion strategies, we fuse GNSS measurements in loose and tight coupling with a speed sensor, IMU, and lidar-odometry. We employed datasets from measurement campaigns in Aachen, Duesseldorf, and Cologne in experimental studies and presented comprehensive discussions on sensor observations, smoother types, and hyperparameter tuning. Our results show that the proposed approach enables robust trajectory estimation in dense urban areas, where the classic multi-sensor fusion method fails due to sensor degradation. In a test sequence containing a 17km route through Aachen, the proposed method results in a mean 2D positioning error of 0.48m while fusing raw GNSS observations with lidar odometry in tight coupling.


title: Sum-Rate Maximization for Movable Antenna Enabled Multiuser Communications

abstract: A novel multiuser communication system with movable antennas (MAs) is proposed, where the antenna position optimization is exploited to enhance the downlink sum-rate. The joint optimization of the transmit beamforming vector and transmit MA positions is studied for a multiuser multiple-input single-input system. An efficient algorithm is proposed to tackle the formulated non-convex problem via capitalizing on fractional programming, alternating optimization, and gradient descent methods. To strike a better performance-complexity trade-off, a zero-forcing beamforming-based design is also proposed as an alternative. Numerical investigations are presented to verify the efficiency of the proposed algorithms and their superior performance compared with the benchmark relying on conventional fixed-position antennas (FPAs).


title: On Derived Categories of Generalized Grassmannian Flips

abstract: In this paper, we construct and classify a new family of flips, called generalized Grassmannian flips, by generalizing the construction of standard flips for $\mathbb{P}^m\times \mathbb{P}^n$ to any generalized Grassmannian $G/P$, where $P$ is a maximal parabolic subgroup of a complex semi-simple algebraic group. In addition, we show that a 9-fold generalized Grassmannian flip for $Sp(6, \mathbb{C})$ satisfies the DK flip conjecture by Bondal-Orlov and Kawamata via mutation techniques by Kuznetsov and Thomas' chess game method.


title: Traffic-Aware Hierarchical Beam Selection for Cell-Free Massive MIMO

abstract: Beam selection for joint transmission in cell-free massive multi-input multi-output systems faces the problem of extremely high training overhead and computational complexity. The traffic-aware quality of service additionally complicates the beam selection problem. To address this issue, we propose a traffic-aware hierarchical beam selection scheme performed in a dual timescale. In the long-timescale, the central processing unit collects wide beam responses from base stations (BSs) to predict the power profile in the narrow beam space with a convolutional neural network, based on which the cascaded multiple-BS beam space is carefully pruned. In the short-timescale, we introduce a centralized reinforcement learning (RL) algorithm to maximize the satisfaction rate of delay w.r.t. beam selection within multiple consecutive time slots. Moreover, we put forward three scalable distributed algorithms including hierarchical distributed Lyapunov optimization, fully distributed RL, and centralized training with decentralized execution of RL to achieve better scalability and better tradeoff between the performance and the execution signal overhead. Numerical results demonstrate that the proposed schemes significantly reduce both model training cost and beam training overhead and are easier to meet the user-specific delay requirement, compared to existing methods.


title: On the Euclidean operator radius and norm

abstract: In this paper, we show several bounds for the numerical radius of a Hilbert space operator in terms of the Euclidean operator norm. The obtained forms will enable us to find interesting refinements of celebrated results in the literature. Then, the $f$-operator radius, recently defined as a generalization of the Euclidean operator radius, will be studied. Many upper bounds will be found and matched with existing results that treat the numerical radius. Special cases of this discussion will lead to some refinements and generalizations of some well-established results in the field. Further, numerical examples are given to support our findings, and a simple optimization application will be presented.


title: More complex encoder is not all you need

abstract: U-Net and its variants have been widely used in medical image segmentation. However, most current U-Net variants confine their improvement strategies to building more complex encoder, while leaving the decoder unchanged or adopting a simple symmetric structure. These approaches overlook the true functionality of the decoder: receiving low-resolution feature maps from the encoder and restoring feature map resolution and lost information through upsampling. As a result, the decoder, especially its upsampling component, plays a crucial role in enhancing segmentation outcomes. However, in 3D medical image segmentation, the commonly used transposed convolution can result in visual artifacts. This issue stems from the absence of direct relationship between adjacent pixels in the output feature map. Furthermore, plain encoder has already possessed sufficient feature extraction capability because downsampling operation leads to the gradual expansion of the receptive field, but the loss of information during downsampling process is unignorable. To address the gap in relevant research, we extend our focus beyond the encoder and introduce neU-Net (i.e., not complex encoder U-Net), which incorporates a novel Sub-pixel Convolution for upsampling to construct a powerful decoder. Additionally, we introduce multi-scale wavelet inputs module on the encoder side to provide additional information. Our model design achieves excellent results, surpassing other state-of-the-art methods on both the Synapse and ACDC datasets.


title: Investigating Personalization Methods in Text to Music Generation

abstract: In this work, we investigate the personalization of text-to-music diffusion models in a few-shot setting. Motivated by recent advances in the computer vision domain, we are the first to explore the combination of pre-trained text-to-audio diffusers with two established personalization methods. We experiment with the effect of audio-specific data augmentation on the overall system performance and assess different training strategies. For evaluation, we construct a novel dataset with prompts and music clips. We consider both embedding-based and music-specific metrics for quantitative evaluation, as well as a user study for qualitative evaluation. Our analysis shows that similarity metrics are in accordance with user preferences and that current personalization approaches tend to learn rhythmic music constructs more easily than melody. The code, dataset, and example material of this study are open to the research community.


title: Uniqueness of Obstacles in Riemannian Manifolds from Travelling Times

abstract: Suppose that $K$ and $L$ are two disjoint unions of strictly convex obstacles with the same set of travelling times, contained in an $n$-dimensional Riemannian manifold $M$ (where $n\geq2$). Under some natural curvature conditions on $M$, and provided that no geodesic intersects more than two components in $K$ or $L$, we show that $K = L$.


title: Prototype of a robotic system to assist the learning process of English language with text-generation through DNN

abstract: In the last ongoing years, there has been a significant ascending on the field of Natural Language Processing (NLP) for performing multiple tasks including English Language Teaching (ELT). An effective strategy to favor the learning process uses interactive devices to engage learners in their self-learning process. In this work, we present a working prototype of a humanoid robotic system to assist English language self-learners through text generation using Long Short Term Memory (LSTM) Neural Networks. The learners interact with the system using a Graphic User Interface that generates text according to the English level of the user. The experimentation was conducted using English learners and the results were measured accordingly to International English Language Testing System (IELTS) rubric. Preliminary results show an increment in the Grammatical Range of learners who interacted with the system.


title: CoT-BERT: Enhancing Unsupervised Sentence Representation through Chain-of-Thought

abstract: Unsupervised sentence representation learning aims to transform input sentences into fixed-length vectors enriched with intricate semantic information while obviating the reliance on labeled data. Recent strides within this domain have been significantly propelled by breakthroughs in contrastive learning and prompt engineering. Despite these advancements, the field has reached a plateau, leading some researchers to incorporate external components to enhance the quality of sentence embeddings. Such integration, though beneficial, complicates solutions and inflates demands for computational resources. In response to these challenges, this paper presents CoT-BERT, an innovative method that harnesses the progressive thinking of Chain-of-Thought reasoning to tap into the latent potential of pre-trained models like BERT. Additionally, we develop an advanced contrastive learning loss function and propose a novel template denoising strategy. Rigorous experimentation demonstrates that CoT-BERT surpasses a range of well-established baselines by relying exclusively on the intrinsic strengths of pre-trained models.


title: GL-Fusion: Global-Local Fusion Network for Multi-view Echocardiogram Video Segmentation

abstract: Cardiac structure segmentation from echocardiogram videos plays a crucial role in diagnosing heart disease. The combination of multi-view echocardiogram data is essential to enhance the accuracy and robustness of automated methods. However, due to the visual disparity of the data, deriving cross-view context information remains a challenging task, and unsophisticated fusion strategies can even lower performance. In this study, we propose a novel Gobal-Local fusion (GL-Fusion) network to jointly utilize multi-view information globally and locally that improve the accuracy of echocardiogram analysis. Specifically, a Multi-view Global-based Fusion Module (MGFM) is proposed to extract global context information and to explore the cyclic relationship of different heartbeat cycles in an echocardiogram video. Additionally, a Multi-view Local-based Fusion Module (MLFM) is designed to extract correlations of cardiac structures from different views. Furthermore, we collect a multi-view echocardiogram video dataset (MvEVD) to evaluate our method. Our method achieves an 82.29% average dice score, which demonstrates a 7.83% improvement over the baseline method, and outperforms other existing state-of-the-art methods. To our knowledge, this is the first exploration of a multi-view method for echocardiogram video segmentation. Code available at: https://github.com/xmed-lab/GL-Fusion


title: GraphEcho: Graph-Driven Unsupervised Domain Adaptation for Echocardiogram Video Segmentation

abstract: Echocardiogram video segmentation plays an important role in cardiac disease diagnosis. This paper studies the unsupervised domain adaption (UDA) for echocardiogram video segmentation, where the goal is to generalize the model trained on the source domain to other unlabelled target domains. Existing UDA segmentation methods are not suitable for this task because they do not model local information and the cyclical consistency of heartbeat. In this paper, we introduce a newly collected CardiacUDA dataset and a novel GraphEcho method for cardiac structure segmentation. Our GraphEcho comprises two innovative modules, the Spatial-wise Cross-domain Graph Matching (SCGM) and the Temporal Cycle Consistency (TCC) module, which utilize prior knowledge of echocardiogram videos, i.e., consistent cardiac structure across patients and centers and the heartbeat cyclical consistency, respectively. These two modules can better align global and local features from source and target domains, improving UDA segmentation results. Experimental results showed that our GraphEcho outperforms existing state-of-the-art UDA segmentation methods. Our collected dataset and code will be publicly released upon acceptance. This work will lay a new and solid cornerstone for cardiac structure segmentation from echocardiogram videos. Code and dataset are available at: https://github.com/xmed-lab/GraphEcho


title: Poster: Accountable Processing of Reported Street Problems

abstract: Municipalities increasingly depend on citizens to file digital reports about issues such as potholes or illegal trash dumps to improve their response time. However, the responsible authorities may be incentivized to ignore certain reports, e.g., when addressing them inflicts high costs. In this work, we explore the applicability of blockchain technology to hold authorities accountable regarding filed reports. Our initial assessment indicates that our approach can be extended to benefit citizens and authorities in the future.


title: Optimize-via-Predict: Realizing out-of-sample optimality in data-driven optimization

abstract: We examine a stochastic formulation for data-driven optimization wherein the decision-maker is not privy to the true distribution, but has knowledge that it lies in some hypothesis set and possesses a historical data set, from which information about it can be gleaned. We define a prescriptive solution as a decision rule mapping such a data set to decisions. As there does not exist prescriptive solutions that are generalizable over the entire hypothesis set, we define out-of-sample optimality as a local average over a neighbourhood of hypotheses, and averaged over the sampling distribution. We prove sufficient conditions for local out-of-sample optimality, which reduces to functions of the sufficient statistic of the hypothesis family. We present an optimization problem that would solve for such an out-of-sample optimal solution, and does so efficiently by a combination of sampling and bisection search algorithms. Finally, we illustrate our model on the newsvendor model, and find strong performance when compared against alternatives in the literature. There are potential implications of our research on end-to-end learning and Bayesian optimization.


title: Online Calibration of a Single-Track Ground Vehicle Dynamics Model by Tight Fusion with Visual-Inertial Odometry

abstract: Wheeled mobile robots need the ability to estimate their motion and the effect of their control actions for navigation planning. In this paper, we present ST-VIO, a novel approach which tightly fuses a single-track dynamics model for wheeled ground vehicles with visual inertial odometry (VIO). Our method calibrates and adapts the dynamics model online to improve the accuracy of forward prediction conditioned on future control inputs. The single-track dynamics model approximates wheeled vehicle motion under specific control inputs on flat ground using ordinary differential equations. We use a singularity-free and differentiable variant of the single-track model to enable seamless integration as dynamics factor into VIO and to optimize the model parameters online together with the VIO state variables. We validate our method with real-world data in both indoor and outdoor environments with different terrain types and wheels. In experiments, we demonstrate that ST-VIO can not only adapt to wheel or ground changes and improve the accuracy of prediction under new control inputs, but can even improve tracking accuracy.


title: Electrostatic environment and Majorana bound states in full-shell topological insulator nanowires

abstract: The combination of a superconductor (SC) and a topological insulator (TI) nanowire was proposed as a potential candidate for realizing Majorana zero modes (MZMs). In this study, we adopt the Schr\"odinger-Poisson formalism to incorporate the electrostatic environment inside the nanowire and systematically explore its topological properties. Our calculations reveal that the proximity to the SC induces a band bending effect, leading to a non-uniform potential across the TI nanowire. As a consequence, there is an upward shift of the Fermi level within the conduction band. This gives rise to the coexistence of surface and bulk states, localized in an accumulation layer adjacent to the TI-SC interface. When magnetic flux is applied, these occupied states have different flux-penetration areas, suppressing the superconducting gap. However, this impact can be mitigated by increasing the radius of the nanowire. Finally, We demonstrate that MZMs can be achieved across a wide range of parameters centered around one applied flux quantum, $\phi_0 = h/2e$. Within this regime, MZMs can be realized even in the presence of conduction bands, which are not affected by the band bending effect. These findings provide valuable insights into the practical realization of MZMs in TI nanowire-based devices, especially in the presence of a complicated electrostatic environment.


title: Product formulas for multiple stochastic integrals associated with L\'evy processes

abstract: In the present paper, we obtain an explicit product formula for products of multiple integrals w.r.t. a random measure associated with a L\'evy process. As a building block, we use a representation formula for products of martingales from a compensated-covariation stable family. This enables us to consider L\'evy processes with both jump and Gaussian part. It is well known that for multiple integrals w.r.t. the Brownian motion such product formulas exist without further integrability conditions on the kernels. However, if a jump part is present, this is, in general, false. Therefore, we provide here sufficient conditions on the kernels which allow us to establish product formulas. As an application, we obtain explicit expressions for the expectation of products of iterated integrals, as well as for the moments and the cumulants for stochastic integrals w.r.t. the random measure. Based on these expressions, we show a central limit theorem for the long time behaviour of a class of stochastic integrals. Finally, we provide methods to calculate the number of summands in the product formula.


title: Capacity: Cryptographically-Enforced In-Process Capabilities for Modern ARM Architectures (Extended Version)

abstract: In-process compartmentalization and access control have been actively explored to provide in-place and efficient isolation of in-process security domains. Many works have proposed compartmentalization schemes that leverage hardware features, most notably using the new page-based memory isolation feature called Protection Keys for Userspace (PKU) on x86. Unfortunately, the modern ARM architecture does not have an equivalent feature. Instead, newer ARM architectures introduced Pointer Authentication (PA) and Memory Tagging Extension (MTE), adapting the reference validation model for memory safety and runtime exploit mitigation. We argue that those features have been underexplored in the context of compartmentalization and that they can be retrofitted to implement a capability-based in-process access control scheme. This paper presents Capacity, a novel hardware-assisted intra-process access control design that embraces capability-based security principles. Capacity coherently incorporates the new hardware security features on ARM that already exhibit inherent characteristics of capability. It supports the life-cycle protection of the domain's sensitive objects -- starting from their import from the file system to their place in memory. With intra-process domains authenticated with unique PA keys, Capacity transforms file descriptors and memory pointers into cryptographically-authenticated references and completely mediates reference usage with its program instrumentation framework and an efficient system call monitor. We evaluate our Capacity-enabled NGINX web server prototype and other common applications in which sensitive resources are isolated into different domains. Our evaluation shows that Capacity incurs a low-performance overhead of approximately 17% for the single-threaded and 13.54% for the multi-threaded webserver.


title: Evaluating Gilbert Damping in Magnetic Insulators from First Principles

abstract: Magnetic damping has a significant impact on the performance of various magnetic and spintronic devices, making it a long-standing focus of research. The strength of magnetic damping is usually quantified by the Gilbert damping constant in the Landau-Lifshitz-Gilbert equation. Here we propose a first-principles based approach to evaluate the Gilbert damping constant contributed by spin-lattice coupling in magnetic insulators. The approach involves effective Hamiltonian models and spin-lattice dynamics simulations. As a case study, we applied our method to Y$_3$Fe$_5$O$_{12}$, MnFe$_2$O$_4$ and Cr$_2$O$_3$. Their damping constants were calculated to be $0.8\times10^{-4}$, $0.2\times10^{-4}$, $2.2\times 10^{-4}$, respectively at a low temperature. The results for Y$_3$Fe$_5$O$_{12}$ and Cr$_2$O$_3$ are in good agreement with experimental measurements, while the discrepancy in MnFe$_2$O$_4$ can be attributed to the inhomogeneity and small band gap in real samples. The stronger damping observed in Cr$_2$O$_3$, compared to Y$_3$Fe$_5$O$_{12}$, essentially results from its stronger spin-lattice coupling. In addition, we confirmed a proportional relationship between damping constants and the temperature difference of subsystems, which had been reported in previous studies. These successful applications suggest that our approach serves as a promising candidate for estimating the Gilbert damping constant in magnetic insulators.


title: Simulation of the response of SiPMs Part II: with saturation effects

abstract: A Monte Carlo program is presented which simulates the response of SiPMs in the nonlinear regime, where the number of Geiger discharges from photons and/or from dark counts in the time interval given by the pulse shape of a single Geiger discharge, approaches or exceeds the number of SiPM pixels. The model includes the effects of after-pulses, of prompt and delayed cross-talk, and of the voltage drop over the load resistance of the readout electronics. The results of the simulation program are compared to published results from SiPMs with different number of pixels for different intensities and time distributions of photons, dark-count rates, SiPM pulse shapes, and probabilities of cross-talk and after-pulsing.


title: Separation of Variables for Scalar-valued Polynomials in the Non-stable Range

abstract: Any complex-valued polynomial on $(\mathbb{R}^n)^k$ decomposes into an algebraic combination of $O(n)$-invariant polynomials and harmonic polynomials. This decomposition, separation of variables, is granted to be unique if $n \geq 2k-1$. We prove that the condition $n\geq 2k-1$ is not only sufficient, but also necessary for uniqueness of the separation. Moreover, we describe the structure of non-uniqueness of the separation in the boundary cases when $n = 2k-2$ and $n=2k-3$. Formally, we study the kernel of a multiplication map $\phi$ carrying out separation of variables. We devise a general algorithmic procedure for describing Ker $\phi$ in the restricted non-stable range $k \leq n < 2k-1$. In the full non-stable range $n < 2k-1$, we give formulas for highest weights of generators of the kernel as well as formulas for its Hilbert series. Using the developed methods, we obtain a list of highest weight vectors generating Ker $\phi$.


title: ProtoExplorer: Interpretable Forensic Analysis of Deepfake Videos using Prototype Exploration and Refinement

abstract: In high-stakes settings, Machine Learning models that can provide predictions that are interpretable for humans are crucial. This is even more true with the advent of complex deep learning based models with a huge number of tunable parameters. Recently, prototype-based methods have emerged as a promising approach to make deep learning interpretable. We particularly focus on the analysis of deepfake videos in a forensics context. Although prototype-based methods have been introduced for the detection of deepfake videos, their use in real-world scenarios still presents major challenges, in that prototypes tend to be overly similar and interpretability varies between prototypes. This paper proposes a Visual Analytics process model for prototype learning, and, based on this, presents ProtoExplorer, a Visual Analytics system for the exploration and refinement of prototype-based deepfake detection models. ProtoExplorer offers tools for visualizing and temporally filtering prototype-based predictions when working with video data. It disentangles the complexity of working with spatio-temporal prototypes, facilitating their visualization. It further enables the refinement of models by interactively deleting and replacing prototypes with the aim to achieve more interpretable and less biased predictions while preserving detection accuracy. The system was designed with forensic experts and evaluated in a number of rounds based on both open-ended think aloud evaluation and interviews. These sessions have confirmed the strength of our prototype based exploration of deepfake videos while they provided the feedback needed to continuously improve the system.


title: CNN-based local features for navigation near an asteroid

abstract: This article addresses the challenge of vision-based proximity navigation in asteroid exploration missions and on-orbit servicing. Traditional feature extraction methods struggle with the significant appearance variations of asteroids due to limited scattered light. To overcome this, we propose a lightweight feature extractor specifically tailored for asteroid proximity navigation, designed to be robust to illumination changes and affine transformations. We compare and evaluate state-of-the-art feature extraction networks and three lightweight network architectures in the asteroid context. Our proposed feature extractors and their evaluation leverages both synthetic images and real-world data from missions such as NEAR Shoemaker, Hayabusa, Rosetta, and OSIRIS-REx. Our contributions include a trained feature extractor, incremental improvements over existing methods, and a pipeline for training domain-specific feature extractors. Experimental results demonstrate the effectiveness of our approach in achieving accurate navigation and localization. This work aims to advance the field of asteroid navigation and provides insights for future research in this domain.


title: Learning Deformable 3D Graph Similarity to Track Plant Cells in Unregistered Time Lapse Images

abstract: Tracking of plant cells in images obtained by microscope is a challenging problem due to biological phenomena such as large number of cells, non-uniform growth of different layers of the tightly packed plant cells and cell division. Moreover, images in deeper layers of the tissue being noisy and unavoidable systemic errors inherent in the imaging process further complicates the problem. In this paper, we propose a novel learning-based method that exploits the tightly packed three-dimensional cell structure of plant cells to create a three-dimensional graph in order to perform accurate cell tracking. We further propose novel algorithms for cell division detection and effective three-dimensional registration, which improve upon the state-of-the-art algorithms. We demonstrate the efficacy of our algorithm in terms of tracking accuracy and inference-time on a benchmark dataset.


title: Generalized Kohn-Sham Approach for the Electronic Band Structure of Spin-Orbit Coupled Materials

abstract: Spin-current density functional theory (SCDFT) is a formally exact framework designed to handle the treatment of interacting many-electron systems including spin-orbit coupling at the level of the Pauli equation. In practice, robust and accurate calculations of the electronic structure of these systems call for functional approximations that depend not only on the densities, but also on spin-orbitals. Here we show that the call can be answered by resorting to an extension of the Kohn-Sham formalism, which admits the use of non-local effective potentials, yet it is firmly rooted in SCDFT. The power of the extended formalism is demonstrated by calculating the spin-orbit-induced band-splittings of inversion-asymmetric MoSe$_2$ monolayer and inversion-symmetric bulk $\alpha$-MoTe$_2$. We show that quantitative agreement with experimental data is obtainable via global hybrid approximations by setting the fraction of Fock exchange at the same level which yields accurate values of the band gap. Key to these results is the ability of the method to self-consistently account for the spin currents induced by the spin-orbit interaction. The widely used method of refining spin-density functional theory by a second-variational treatment of spin-orbit coupling is unable to match our SCDFT results.


title: Regularized determinants of the Rumin complex in irreducible unitary representations of the (2,3,5) nilpotent Lie group

abstract: We study the Rumin differentials of the 5-dimensional graded nilpotent Lie group that appears as osculating group of generic rank two distributions in dimension five. In irreducible unitary representations of this group, the Rumin differentials provide intriguing generalizations of the classical quantum harmonic oscillator. For the Schrodinger representations, we compute the spectrum and the zeta regularized determinant of each Rumin differential. In the generic representations, we evaluate their alternating product, i.e., the analytic torsion of the Rumin complex.


title: Multi-grained Temporal Prototype Learning for Few-shot Video Object Segmentation

abstract: Few-Shot Video Object Segmentation (FSVOS) aims to segment objects in a query video with the same category defined by a few annotated support images. However, this task was seldom explored. In this work, based on IPMT, a state-of-the-art few-shot image segmentation method that combines external support guidance information with adaptive query guidance cues, we propose to leverage multi-grained temporal guidance information for handling the temporal correlation nature of video data. We decompose the query video information into a clip prototype and a memory prototype for capturing local and long-term internal temporal guidance, respectively. Frame prototypes are further used for each frame independently to handle fine-grained adaptive guidance and enable bidirectional clip-frame prototype communication. To reduce the influence of noisy memory, we propose to leverage the structural similarity relation among different predicted regions and the support for selecting reliable memory frames. Furthermore, a new segmentation loss is also proposed to enhance the category discriminability of the learned prototypes. Experimental results demonstrate that our proposed video IPMT model significantly outperforms previous models on two benchmark datasets. Code is available at https://github.com/nankepan/VIPMT.


title: Beamforming Design for RIS-Aided THz Wideband Communication Systems

abstract: Benefiting from tens of GHz of bandwidth, terahertz (THz) communications has become a promising technology for future 6G networks. However, the conventional hybrid beamforming architecture based on frequency-independent phase-shifters is not able to cope with the beam split effect (BSE) in THz massive multiple-input multiple-output (MIMO) systems. Despite some work introducing the frequency-dependent phase shifts via the time delay network to mitigate the beam splitting in THz wideband communications, the corresponding issue in reconfigurable intelligent surface (RIS)-aided communications has not been well investigated. In this paper, the BSE in THz massive MIMO is quantified by analyzing the array gain loss. A new beamforming architecture has been proposed to mitigate this effect under RIS-aided communications scenarios. Simulations are performed to evaluate the effectiveness of the proposed system architecture in combating the array gain loss.


title: Exploration of Nuclear Matter Properties and Related Thermodynamical Aspects

abstract: In this study, my main goal is to examine the nuclear matter properties across a wide range of conditions, such as temperature, density, asymmetry, pressure, and magnetic field. Understanding the effect of these factors on nuclear matter is essential, given their relevance in various phenomena such as heavy-ion collisions, neutron stars, and supernovae. However, due to the absence of a fundamental nuclear theory, we must rely on models to describe the nuclear matter. Predicted properties like neutron star mass-radius relationships, tidal deformability, structure, critical points in the nuclear matter phase diagram etc. depend on the chosen model. This dependence arises because key parameters characterizing any nuclear model or equation of state (EoS) are not precisely known. Therefore, it is crucial to investigate how nuclear matter properties behave under various conditions and in relation to different EoS parameters. To accomplish this, I have examined three distinct forms of nuclear matter: infinite nuclear matter, finite nuclei, and neutron stars, using the effective relativistic mean field model (E-RMF).


title: Composition-dependent absorption of radiation in semiconducting MSi2Z4 Monolayers

abstract: The recent synthesis of MoSi2N4 material, along with theoretical predictions encompassing the entire family of chemical analogs, has opened up a new array of low-dimensional materials for a diverse range of optoelectronics and photovoltaics applications. In this study, we conducted state-of-the-art many-body first-principles calculations to analyze the quasi-particle electronic structure of the material class MSi2Z4 (where M = Mo, W, and Z = N, P, As, Sb). All monolayers display a direct band gap at the K point, with the exception of MoSi2N4. In tungsten-based compounds, the fundamental-gap can be adjusted over a significantly broader energy range compared to their molybdenum-based counterparts. Additionally, increasing atomic weight of the Z, both the band gap and exciton binding energies decrease. A noteworthy feature is the absence of a lateral valley ({\Lambda} or Q) near the conduction band minimum, indicating potential higher photoluminescence efficiencies compared to conventional transition-metal dichalcogenide monolayers. The optical spectra of these materials are predominantly characterized by tightly bound excitons, leading to an absorption onset in the visible range (for N-based) and in the infrared region (for others). This diversity offers promising opportunities to incorporate these materials and their heterostructures into optoelectronic devices, with tandem solar cells being particularly promising.


title: Rare decays of $B_d$ mesons into four charged leptons in the Standard Model

abstract: We present first theoretical predictions for various observables related to the $\bar B_d \to \mu^+ \mu^- e^+ e^-$ decay within the framework of the Standard Model. Our study encompasses the branching ratios, differential distributions, and forward-backward leptonic asymmetries. To obtain these predictions, we account for several contributions: resonance contribution from $\rho(770)$ and significant contribution $\omega(782)$; contributions from four charmonium resonances: $\psi(3770)$, $\psi(4040)$, $\psi(4160)$, and $\psi(4415)$; additional contributions from the "tails" of $J/\psi$ and $\psi(2S)$ resonances; non-resonant contributions arising from virtual photon emission by a $b$-quark of $B_d$ meson, bremsstrahlung, and weak annihilation. In our calculations we employ the model of vector meson dominance (VMD) to assess the resonance contributions accurately. We provide the predictions for the branching ratio of the $\bar B_d \to \mu^+ \mu^- e^+ e^-$ decay both with and without the resonant contribution from $\omega(782)$.


title: Assessment of Pre-Trained Models Across Languages and Grammars

abstract: We present an approach for assessing how multilingual large language models (LLMs) learn syntax in terms of multi-formalism syntactic structures. We aim to recover constituent and dependency structures by casting parsing as sequence labeling. To do so, we select a few LLMs and study them on 13 diverse UD treebanks for dependency parsing and 10 treebanks for constituent parsing. Our results show that: (i) the framework is consistent across encodings, (ii) pre-trained word vectors do not favor constituency representations of syntax over dependencies, (iii) sub-word tokenization is needed to represent syntax, in contrast to character-based models, and (iv) occurrence of a language in the pretraining data is more important than the amount of task data when recovering syntax from the word vectors.


title: Are Large Language Models Really Robust to Word-Level Perturbations?

abstract: The swift advancement in the scales and capabilities of Large Language Models (LLMs) positions them as promising tools for a variety of downstream tasks. In addition to the pursuit of better performance and the avoidance of violent feedback on a certain prompt, to ensure the responsibility of the LLM, much attention is drawn to the robustness of LLMs. However, existing evaluation methods mostly rely on traditional question answering datasets with predefined supervised labels, which do not align with the superior generation capabilities of contemporary LLMs. To address this issue, we propose a novel rational evaluation approach that leverages pre-trained reward models as diagnostic tools to evaluate the longer conversation generated from more challenging open questions by LLMs, which we refer to as the Reward Model for Reasonable Robustness Evaluation (TREvaL). Longer conversations manifest the comprehensive grasp of language models in terms of their proficiency in understanding questions, a capability not entirely encompassed by individual words or letters, which may exhibit oversimplification and inherent biases. Our extensive empirical experiments demonstrate that TREvaL provides an innovative method for evaluating the robustness of an LLM. Furthermore, our results demonstrate that LLMs frequently exhibit vulnerability to word-level perturbations that are commonplace in daily language usage. Notably, we are surprised to discover that robustness tends to decrease as fine-tuning (SFT and RLHF) is conducted. The code of TREval is available in https://github.com/Harry-mic/TREvaL.


title: Sphaleron without shape mode and its oscillon

abstract: We find that an oscillon can possess a characteristic double oscillation structure even though it results in a decay of a sphaleron which does not have any positive energy vibrational mode. We show that dynamics of such an oscillon can still be captured by collective coordinates provided by the sphaleron. Namely, its unstable mode and its scaling deformation i.e., Derrick mode.


title: Inverse problem of analog gravity systems

abstract: Analog gravity models of black holes and exotic compact objects provide a unique opportunity to study key properties of such systems in controlled laboratory environments. In contrast to astrophysical systems, analog gravity systems can be prepared carefully and their dynamical aspects thus investigated in unprecedented ways. While gravitational wave scattering properties of astrophysical compact objects are more connected to quasinormal modes, laboratory experiments can also access the transmission and reflection coefficients, which are otherwise mostly relevant for Hawking radiation related phenomena. In this work, we report two distinct results. First, we outline a semiclassical, nonparametric method that allows for the reconstruction of the effective perturbation potential from the knowledge of transmission and reflection coefficients for certain types of potentials in the Schr\"odinger wave equation admitting resonant tunneling. Second, we show how to use our method by applying it to an imperfect draining vortex, which has been suggested as an analog of extreme compact objects. Although the inverse problem is, in general, not unique, choosing physically motivated assumptions and requiring the validity of semiclassical theory, we demonstrate that the method provides efficient and accurate results.


title: Scaling of self-stimulated spin echoes

abstract: Self-stimulated echoes have recently been reported in the high cooperativity and inhomogeneous coupling regime of spin ensembles with superconducting resonators. In this work, we study their relative amplitudes using echo-silencing made possible by a fast frequency tunable resonator. The highly anisotropic spin linewidth of Er$^{3+}$ electron spins in the CaWO$_4$ crystal also allows to study the dependence on spin-resonator ensemble cooperativity. It is demonstrated that self-stimulated echoes primarily result from a combination of two large control pulses and the echo preceding it.


title: AutoSynth: Learning to Generate 3D Training Data for Object Point Cloud Registration

abstract: In the current deep learning paradigm, the amount and quality of training data are as critical as the network architecture and its training details. However, collecting, processing, and annotating real data at scale is difficult, expensive, and time-consuming, particularly for tasks such as 3D object registration. While synthetic datasets can be created, they require expertise to design and include a limited number of categories. In this paper, we introduce a new approach called AutoSynth, which automatically generates 3D training data for point cloud registration. Specifically, AutoSynth automatically curates an optimal dataset by exploring a search space encompassing millions of potential datasets with diverse 3D shapes at a low cost.To achieve this, we generate synthetic 3D datasets by assembling shape primitives, and develop a meta-learning strategy to search for the best training data for 3D registration on real point clouds. For this search to remain tractable, we replace the point cloud registration network with a much smaller surrogate network, leading to a $4056.43$ times speedup. We demonstrate the generality of our approach by implementing it with two different point cloud registration networks, BPNet and IDAM. Our results on TUD-L, LINEMOD and Occluded-LINEMOD evidence that a neural network trained on our searched dataset yields consistently better performance than the same one trained on the widely used ModelNet40 dataset.


title: Coalescence of sessile polymer droplets: A molecular dynamics study

abstract: Droplet coalescence is ubiquitous in nature and the same time key to various technologies, such as inkjet printing. Here, we report on the coalescence of polymer droplets with different chain lengths coalescing on substrates of different wettability. By means of molecular dynamics simulations of a coarse-grained model, it is found that the rate of bridge growth is higher in the case of droplets with smaller contact angles (more wettable substrates) and decreases with the increase of the chain length of the polymers. Different behavior has also been identified in the dynamics of the approach of the two droplets during coalescence with the substrate wettability playing a more important role compared to the chain length of the polymers. While the dynamics of the droplet are greatly affected by the latter parameters, the density profile and flow patterns remain the same for the different cases. Thus, we anticipate that our work provides further insights into the coalescence of liquid polymer droplets on solid substrates with implications for relevant technologies.


title: Partition-A-Medical-Image: Extracting Multiple Representative Sub-regions for Few-shot Medical Image Segmentation

abstract: Few-shot Medical Image Segmentation (FSMIS) is a more promising solution for medical image segmentation tasks where high-quality annotations are naturally scarce. However, current mainstream methods primarily focus on extracting holistic representations from support images with large intra-class variations in appearance and background, and encounter difficulties in adapting to query images. In this work, we present an approach to extract multiple representative sub-regions from a given support medical image, enabling fine-grained selection over the generated image regions. Specifically, the foreground of the support image is decomposed into distinct regions, which are subsequently used to derive region-level representations via a designed Regional Prototypical Learning (RPL) module. We then introduce a novel Prototypical Representation Debiasing (PRD) module based on a two-way elimination mechanism which suppresses the disturbance of regional representations by a self-support, Multi-direction Self-debiasing (MS) block, and a support-query, Interactive Debiasing (ID) block. Finally, an Assembled Prediction (AP) module is devised to balance and integrate predictions of multiple prototypical representations learned using stacked PRD modules. Results obtained through extensive experiments on three publicly accessible medical imaging datasets demonstrate consistent improvements over the leading FSMIS methods. The source code is available at https://github.com/YazhouZhu19/PAMI.


title: On Pillai's Problem involving Lucas sequences of the second kind

abstract: In this paper we consider the Diophantine equation $ V_n - b^m = c $ for given integers $ b,c $ with $ b \geq 2 $, whereas $ V_n $ varies among Lucas-Lehmer sequences of the second kind. We prove under some technical conditions that if the considered equation has at least three solutions $ (n,m) $, then there is an upper bound on the size of the solutions as well as on the size of the coefficients in the characteristic polynomial of $ V_n $.


title: Byzantine Multiple Access Channels -- Part II: Communication With Adversary Identification

abstract: We introduce the problem of determining the identity of a byzantine user (internal adversary) in a communication system. We consider a two-user discrete memoryless multiple access channel where either user may deviate from the prescribed behaviour. Owing to the noisy nature of the channel, it may be overly restrictive to attempt to detect all deviations. In our formulation, we only require detecting deviations which impede the decoding of the non-deviating user's message. When neither user deviates, correct decoding is required. When one user deviates, the decoder must either output a pair of messages of which the message of the non-deviating user is correct or identify the deviating user. The users and the receiver do not share any randomness. The results include a characterization of the set of channels where communication is feasible, and an inner and outer bound on the capacity region. We also show that whenever the rate region has non-empty interior, the capacity region is same as the capacity region under randomized encoding, where each user shares independent randomness with the receiver. We also give an outer bound for this randomized coding capacity region.


title: Testing frequency distributions in a stream

abstract: We study how to verify specific frequency distributions when we observe a stream of $N$ data items taken from a universe of $n$ distinct items. We introduce the \emph{relative Fr\'echet distance} to compare two frequency functions in a homogeneous manner. We consider two streaming models: insertions only and sliding windows. We present a Tester for a certain class of functions, which decides if $f $ is close to $g$ or if $f$ is far from $g$ with high probability, when $f$ is given and $g$ is defined by a stream. If $f$ is uniform we show a space $\Omega(n)$ lower bound. If $f$ decreases fast enough, we then only use space $O(\log^2 n\cdot \log\log n)$. The analysis relies on the Spacesaving algorithm \cite{MAE2005,Z22} and on sampling the stream.


title: Effects of electrons on nuclear clock transition frequency in $^{229}$Th ions

abstract: We perform calculations of the energy shift of the nuclear clock transition frequency $^{229}$Th as a function of the number of electrons in Th ion. We demonstrate that the dependence of the nuclear frequency on electron configuration is significant. E.g., removing one electron from the atom leads to relative shift of the nuclear frequency $\sim 10^{-7}$, which is twelve orders of magnitude larger than expected relative uncertainty of the nuclear clock transition frequency ($\sim 10^{-19}$). This leads to difference of the nuclear clock frequencies in Th~IV, Th~III, Th~II and Th~I. The relative change of the nuclear frequency between neutral Th and its bare nucleus is 1\%. We also calculate the field shift constants for isotopic and isomeric shifts of atomic electron transitions in Th ions.


title: Long-tail Augmented Graph Contrastive Learning for Recommendation

abstract: Graph Convolutional Networks (GCNs) has demonstrated promising results for recommender systems, as they can effectively leverage high-order relationship. However, these methods usually encounter data sparsity issue in real-world scenarios. To address this issue, GCN-based recommendation methods employ contrastive learning to introduce self-supervised signals. Despite their effectiveness, these methods lack consideration of the significant degree disparity between head and tail nodes. This can lead to non-uniform representation distribution, which is a crucial factor for the performance of contrastive learning methods. To tackle the above issue, we propose a novel Long-tail Augmented Graph Contrastive Learning (LAGCL) method for recommendation. Specifically, we introduce a learnable long-tail augmentation approach to enhance tail nodes by supplementing predicted neighbor information, and generate contrastive views based on the resulting augmented graph. To make the data augmentation schema learnable, we design an auto drop module to generate pseudo-tail nodes from head nodes and a knowledge transfer module to reconstruct the head nodes from pseudo-tail nodes. Additionally, we employ generative adversarial networks to ensure that the distribution of the generated tail/head nodes matches that of the original tail/head nodes. Extensive experiments conducted on three benchmark datasets demonstrate the significant improvement in performance of our model over the state-of-the-arts. Further analyses demonstrate the uniformity of learned representations and the superiority of LAGCL on long-tail performance. Code is publicly available at https://github.com/im0qianqian/LAGCL


title: Relational Expressions for Data Transformation and Computation

abstract: Separate programming models for data transformation (declarative) and computation (procedural) impact programmer ergonomics, code reusability and database efficiency. To eliminate the necessity for two models or paradigms, we propose a small but high-leverage innovation: the introduction of complete relations into the relational database. Complete relations and the discipline of constraint programming, which concerns them, are founded on the same algebra as relational databases. We claim that by synthesising the relational database of Codd and Date, with the results of the constraint programming community, the relational model holistically offers programmers a single declarative paradigm for both data transformation and computation, reusable code with computations that are indifferent to what is input and what is output, and efficient applications with the query engine optimising and parallelising all levels of data transformation and computation.


title: A new puzzle in non-leptonic B decays

abstract: We propose a set of new optimized observables using penguin mediated $\bar{B}_d$ and $\bar{B}_s$ decays: ${\bar B}_{d,s} \to K^{*0} \bar{K}^{*0}$, ${\bar B}_{d,s} \to K^{0} \bar{K}^{0}$, ${\bar B}_{d,s} \to K^{0} \bar{K}^{*0}$ and ${\bar B}_{d,s} \to \bar{K}^{0} {K^{*0}}$ together with their CP conjugate partners. These observables are substantially cleaner than the corresponding branching ratios, which are plagued by large end point divergences. We find that the dominant contribution to the uncertainties of these observables stem from the corresponding form factors. The Standard Model estimates for these observables corresponding to the $K^{*0}\bar{K}^{*0}$ and $K^0\bar{K}^0$ final states are in tension with their respective experimental numbers at the $\sim2.5 \sigma$ level. The pattern of deviations w.r.t these observables as well as the individual branching ratios suggest that a possible explanation might be new physics both in $b\to s$ and $b\to d$ transitions. We find that, taken one at a time, only the Wilson coefficients $C_{4d,s}^{NP}$ and $C_{8gd,s}^{NP}$ can potentially satisfy all the current experimental data on the branching ratios as well as the optimized observables. Furthermore, such observables involving mixed (pseudoscalar-vector) states like $K^{*0}\bar{K}^0$ etc show distinctive patterns sensitive to these different new physics explanations.


title: Weak ergodicity breaking transition in randomly constrained model

abstract: Experiments in Rydberg atoms have recently found unusually slow decay from a small number of special initial states. We investigate the robustness of such long-lived states (LLS) by studying an ensemble of locally constrained random systems with tunable range $\mu$. Upon varying $\mu$, we find a transition between a thermal and a weakly non-ergodic (supporting a finite number of LLS) phases. Furthermore, we demonstrate that the LLS observed in the experiments disappear upon the addition of small perturbations so that the transition reported here is distinct from known ones. We then show that the LLS dynamics explores only part of the accessible Hilbert space, thus corresponding to localisation in Hilbert space.


title: The Bass functional of martingale transport

abstract: An interesting question in the field of martingale optimal transport, is to determine the martingale with prescribed initial and terminal marginals which is most correlated to Brownian motion. Under a necessary and sufficient irreducibility condition, the answer to this question is given by a $\textit{Bass martingale}$. At an intuitive level, the latter can be imagined as an order-preserving and martingale-preserving space transformation of an underlying Brownian motion starting with an initial law $\alpha$ which is tuned to ensure the marginal constraints. In this article we study how to determine the aforementioned initial condition $\alpha$. This is done by a careful study of what we dub the $\textit{Bass functional}$. In our main result we show the equivalence between the existence of minimizers of the Bass functional and the existence of a Bass martingale with prescribed marginals. This complements the convex duality approach in a companion paper by the present authors together with M. Beiglb\"ock, with a purely variational perspective. We also establish an infinitesimal version of this result, and furthermore prove the displacement convexity of the Bass functional along certain generalized geodesics in the $2$-Wasserstein space.


title: Unveiling the accretion scenario of BH-ULXs using XMM-Newton observations

abstract: We present a comprehensive spectro-temporal analysis of five ultraluminous X-ray sources (ULXs) with central object likely being a black hole, using archival {\it XMM-Newton} observations. These sources, namely NGC 1313 X-1, NGC 5408 X-1, NGC 6946 X-1, M82 X-1 and IC 342 X-1, reveal short-term variability with fractional variance of $1.42-27.28\%$ and exhibit QPOs with frequency $\nu_{\rm QPO} \sim 8-667$ mHz. Long-term evolution of ULXs energy spectra ($0.3 - 10$ keV; excluding M82 X$-$1) are described satisfactorily with a model combination that comprises a thermal Comptonization component (\texttt{nthComp}, yielding $\Gamma_{\rm nth} \sim 1.48 - 2.65$, $kT_{\rm e} \sim 1.62 - 3.76$ keV, $\tau \sim 8 - 20$, y-par $\sim 1.16 - 6.24$) along with a standard disc component (\texttt{diskbb}, $kT_{\rm in} \sim 0.16 - 0.54$ keV). We find that these ULXs generally demonstrate anti-correlation between disc luminosity and inner disc temperature as $L_{\rm disc} \propto T_{\rm in}^\alpha$, where $\alpha = - 3.58 \pm 0.04$ for NGC 1313 X-1 and IC 342 X-1, $\alpha = - 8.93 \pm 0.11$ for NGC 6946 X-1, and $\alpha = - 10.31 \pm 0.10$ for NGC 5408 X-1. We also obtain a linear correlation between bolometric luminosity $L_{\rm bol}$ and $\Gamma_{\rm nth}$ that indicates spectral softening of the sources when $L_{\rm bol}$ increases. We observe that in presence of QPO, Comptonized seed photon fraction varies in between $\sim 5 - 20 \%$, while the Comptonized flux contribution ($50 - 90\%$) dominates over disc flux. Utilizing $\nu_{\rm QPO}$ and $L_{\rm bol}$, we constrain ULXs mass by varying their spin ($a_{\rm k}$) and accretion rate ($\dot m$). We find that NGC 6946 X-1 and NGC 5408 X-1 seem to accrete at sub-Eddington accretion rate provided their central sources are rapidly rotating, whereas IC 342 X-1 and NGC 1313 X-1 can accrete in sub/super-Eddington limit irrespective to their spin values.


title: $\mathfrak{X}$PDE for $\mathfrak{X} \in \{\mathrm{BS},\mathrm{FBS}, \mathrm{P}\}$: a rough volatility context

abstract: Recent mathematical advances in the context of rough volatility have highlighted interesting and intricate connections between path-dependent partial differential equations and backward stochastic partial differential equations. In this note, we make this link precise, identifying the slightly obscure random field introduced in [Pricing options under rough volatility with backward SPDEs, C. Bayer; J. Qiu and Y. Yao. SIFIN, 13(1), 179-212 (2022)] as a pathwise derivative of the value function.


title: Compact locally conformally pseudo-K\"{a}hler manifolds with essential conformal transformations

abstract: A conformal transformation of a semi-Riemannian manifold is essential if there is no conformally equivalent metric for which it is an isometry. For Riemannian manifolds the existence of an essential conformal transformation forces the manifold to be conformally flat. This is false for pseudo-Riemannian manifolds, however compact examples of conformally curved manifolds with essential conformal transformation are scarce. Here we give examples of compact conformal manifolds in signature $(4n+2k,4n+2\ell)$ with essential conformal transformations that are locally conformally pseudo-K\"{a}hler and not conformally flat, where $n\ge 1$, $k, \ell \ge 0$.The corresponding local pseudo-K\"ahler metrics obtained by a local conformal rescaling are Ricci flat.


title: Harer-Zagier type recursion formula for the elliptic GinOE

abstract: We consider the real eigenvalues of the elliptic Ginibre matrix indexed by the non-Hermiticity parameter $\tau \in [0,1]$, and present a Harer-Zagier type recursion formula for the even moments in the form of an $11$-term recurrence relation. For the symmetric GOE case ($\tau=1$), it reduces to a known 5-term recurrence relation. On the other hand, for the asymmetric cases when $\tau < 1$, the recursion formula is new, even in the special case of the well-studied Ginibre ensemble ($\tau=0$), where it reduces to a 3-term recurrence. For the proof, we derive a seventh-order linear differential equation for the moment generating function.


title: Observations of the chromospheric Evershed flow of sunspot penumbra

abstract: The sunspot penumbra is usually observed in the photosphere and it is of particular interest for its magneto-convection which seems to transport the heat from the top of the convection zone into the solar atmosphere. It is well known that the penumbra magnetic field extends in the upper layers of the solar atmosphere forming the so called super-penumbra. Thanks to the application of the Self Organizing Map technique to a spectral dataset containing monochromatic images acquired along the Ca II 854.2 nm and H$\alpha$ 656.28 nm lines, we were able to segment the penumbra and to measure the plasma velocity along the chromospheric portions of penumbral filaments. We found that the head, body and tail of penumbral filaments show vertical flows compatible with the persistence of the Evershed flow. Instead, the inverse Evershed flow has been observed only in the outer portion of the super-penumbra. We found that two opposite Evershed regimes work next to each other, without overlapping and both contribute to the downflow around sunspots. These results confirm the uncombed model of the sunspot penumbra and provide some hints that the downflow around sunspots may be ascribed to the magnetic field dragging the plasma down.


title: The TRILL project: increasing the technological readiness of Laue lenses

abstract: Hard X-/soft Gamma-ray astronomy (> 100 keV) is a crucial field for the study of important astrophysical phenomena such as the 511 keV positron annihilation line in the Galactic center region and its origin, gamma-ray bursts, soft gamma-ray repeaters, nuclear lines from SN explosions and more. However, several key questions in this field require sensitivity and angular resolution that are hardly achievable with present technology. A new generation of instruments suitable to focus hard X-/soft Gamma-rays is necessary to overcome the technological limitations of current direct-viewing telescopes. One solution is using Laue lenses based on Bragg's diffraction in a transmission configuration. To date, this technology is in an advanced stage of development and further efforts are being made in order to significantly increase its technology readiness level (TRL). To this end, massive production of suitable crystals is required, as well as an improvement of the capability of their alignment. Such a technological improvement could be exploited in stratospheric balloon experiments and, ultimately, in space missions with a telescope of about 20 m focal length, capable of focusing over a broad energy pass-band. We present the latest technological developments of the TRILL (Technological Readiness Increase for Laue Lenses) project, supported by ASI, devoted to the advancement of the technological readiness of Laue lenses. We show the method we developed for preparing suitable bent Germanium and Silicon crystals and the latest advancements in crystals alignment technology.


title: Rebellions and Impeachments in a Neural Network Society

abstract: Basede on a study of the modern presidencial democracies in South America, we present a statistical mechanics exploration of the collective, coordinated action of political actors in the legislative chamber that may result on the impeachment of the executive. By representing the legislative political actors with neurla networks, we observed that the larger the effective number of presidential-agenda items are treated, the smaller the chances for a cross-party dialogue, which, if combined with a decrement in the president's public approval rating, could trigger an impeachment process.


title: Increasing Ticketing Allocative Efficiency Using Marginal Price Auction Theory

abstract: Most modern ticketing systems rely on a first-come-first-serve or randomized allocation system to determine the allocation of tickets. Such systems has received considerable backlash in recent years due to its inequitable allotment and allocative inefficiency. We analyze a ticketing protocol based on a variation of the marginal price auction system. Users submit bids to the protocol based on their own utilities. The protocol awards tickets to the highest bidders and determines the final ticket price paid by all bidders using the lowest winning submitted bid. Game theoretic proof is provided to ensure the protocol more efficiently allocates the tickets to the bidders with the highest utilities. We also prove that the protocol extracts more economic rents for the event organizers and the non-optimality of ticket scalping under time-invariant bidder utilities.


title: Space and Move-optimal Arbitrary Pattern Formation on Infinite Rectangular Grid by Oblivious Robot Swarm

abstract: Arbitrary Pattern Formation (APF) is a fundamental coordination problem in swarm robotics. It requires a set of autonomous robots (mobile computing units) to form an arbitrary pattern (given as input) starting from any initial pattern. This problem has been extensively investigated in continuous and discrete scenarios, with this study focusing on the discrete variant. A set of robots is placed on the nodes of an infinite rectangular grid graph embedded in the euclidean plane. The movements of each robot is restricted to one of the four neighboring grid nodes from its current position. The robots are autonomous, anonymous, identical, and homogeneous, and operate Look-Compute-Move cycles. In this work, we adopt the classical $\mathcal{OBLOT}$ robot model, meaning the robots have no persistent memory or explicit communication methods, yet they possess full and unobstructed visibility. This work proposes an algorithm that solves the APF problem in a fully asynchronous scheduler assuming the initial configuration is asymmetric. The considered performance measures of the algorithm are space and number of moves required for the robots. The algorithm is asymptotically move-optimal. Here, we provide a definition of space complexity that takes the visibility issue into consideration. We observe an obvious lower bound $\mathcal{D}$ of the space complexity and show that the proposed algorithm has the space complexity $\mathcal{D}+4$. On comparing with previous related works, we show that this is the first proposed algorithm considering $\mathcal{OBLOT}$ robot model that is asymptotically move-optimal and has the least space complexity which is almost optimal.


title: On Harish-Chandra modules over quantizations of nilpotent orbits

abstract: Let $G$ be a semisimple algebraic group over the complex numbers and $K$ be a connected reductive group mapping to $G$ so that the Lie algebra of $K$ gets identified with a symmetric subalgebra of $\mathfrak{g}$. So we can talk about Harish-Chandra $(\mathfrak{g},K)$-modules, where $\mathfrak{g}$ is the Lie algebra of $G$. The goal of this paper is to give a geometric classification of irreducible Harish-Chandra modules with full support over the filtered quantizations of the algebras of the form $\mathbb{C}[\mathbb{O}]$, where $\mathbb{O}$ is a nilpotent orbit in $\mathfrak{g}$ with codimension of the boundary at least $4$. Namely, we embed the set of isomorphism classes of irreducible Harish-Chandra modules into the set of isomorphism classes of irreducible $K$-equivariant suitably twisted local systems on $\mathbb{O}\cap \mathfrak{k}^\perp$. We show that under certain conditions, for example when $K\subset G$ or when $\mathfrak{g}\cong \mathfrak{so}_n,\mathfrak{sp}_{2n}$, this embedding is in fact a bijection. On the other hand, for $\mathfrak{g}=\mathfrak{sl}_n$ and $K=\operatorname{Spin}_n$, the embedding is not bijective and we give a description of the image. Finally, we perform a partial classification for exceptional Lie algebras.


title: The Impact of Surface Passivation on Kapitza Resistance at the Interface between a Semiconductor and Liquid Nitrogen

abstract: Cooling electronic devices to cryogenic temperatures (< 77 K) is crucial in various scientific and engineering domains. Efficient cooling involves the removal of heat generated from these devices through thermal contact with either a liquid cryogen or a dry cryostat cold stage. However, as these devices cool, thermal boundary resistance, also known as Kapitza resistance, hinders the heat flow across thermal interfaces, resulting in elevated device temperatures. In transistors, the presence of passivation layers like Silicon Nitride (SiN) introduces additional interfaces that further impede heat dissipation. This paper investigates the impact of passivation layer thickness on Kapitza resistance at the interface between a solid device and liquid nitrogen. The Kapitza resistance is measured using a capacitance thermometer that has been passivated with SiN layers ranging from 0 to 240 nm. We observe that Kapitza resistance increases with increasing passivation thickness.


title: RHALE: Robust and Heterogeneity-aware Accumulated Local Effects

abstract: Accumulated Local Effects (ALE) is a widely-used explainability method for isolating the average effect of a feature on the output, because it handles cases with correlated features well. However, it has two limitations. First, it does not quantify the deviation of instance-level (local) effects from the average (global) effect, known as heterogeneity. Second, for estimating the average effect, it partitions the feature domain into user-defined, fixed-sized bins, where different bin sizes may lead to inconsistent ALE estimations. To address these limitations, we propose Robust and Heterogeneity-aware ALE (RHALE). RHALE quantifies the heterogeneity by considering the standard deviation of the local effects and automatically determines an optimal variable-size bin-splitting. In this paper, we prove that to achieve an unbiased approximation of the standard deviation of local effects within each bin, bin splitting must follow a set of sufficient conditions. Based on these conditions, we propose an algorithm that automatically determines the optimal partitioning, balancing the estimation bias and variance. Through evaluations on synthetic and real datasets, we demonstrate the superiority of RHALE compared to other methods, including the advantages of automatic bin splitting, especially in cases with correlated features.


title: The level matrix of a tree and its spectrum

abstract: Given a rooted tree $T$ with vertices $u_1,u_2,\ldots,u_n$, the level matrix $L(T)$ of $T$ is the $n \times n$ matrix for which the $(i,j)$-th entry is the absolute difference of the distances from the root to $v_i$ and $v_j$. This matrix was implicitly introduced by Balaji and Mahmoud~[{\em J. Appl. Prob.} 54 (2017) 701--709] as a way to capture the overall balance of a random class of rooted trees. In this paper, we present various bounds on the eigenvalues of $L(T)$ in terms of other tree parameters, and also determine the extremal structures among trees with a given order. Moreover, we establish bounds on the mutliplicity of any eigenvalue in the level spectrum and show that the bounds are best possible. Furthermore, we provide evidence that the level spectrum can characterise some trees. In particular, we provide an affirmative answer to a very recent conjecture on the level energy (sum of absolute values of eigenvalues).


title: Imaging performance above 150 keV of the wide field monitor on board the ASTENA concept mission

abstract: A new detection system for X-/Gamma-ray broad energy passband detectors for astronomy has been developed. This system is based on Silicon Drift Detectors (SDDs) coupled with scintillator bars; the SDDs act as a direct detector of soft (<30 keV) X-ray photons, while hard X-/Gamma-rays are stopped by the scintillator bars and the scintillation light is collected by the SDDs. With this configuration, it is possible to build compact, position sensitive detectors with unprecedented energy passband (2 keV - 10/20 MeV). The X and Gamma-ray Imaging Spectrometer (XGIS) on board the THESEUS mission, selected for Phase 0 study for M7, exploits this innovative detection system. The Wide Field Monitor - Imager and Spectrometer (WFM-IS) of the ASTENA (Advanced Surveyor of Transient Events and Nuclear Astrophysics) mission concept consists of 12 independent detection units, also based on this new technology. For the WFM-IS, a coded mask provides imaging capabilities up to 150 keV, while above this limit the instrument will act as a full sky spectrometer. However, it is possible to extend imaging capabilities above this limit by alternatively exploiting the Compton kinematics reconstruction or by using the information from the relative fluxes measured by the different cameras. In this work, we present the instrument design and results from MEGAlib simulations aimed at evaluating the effective area and the imaging performances of the WFM-IS above 150 keV.


title: When to Trust AI: Advances and Challenges for Certification of Neural Networks

abstract: Artificial intelligence (AI) has been advancing at a fast pace and it is now poised for deployment in a wide range of applications, such as autonomous systems, medical diagnosis and natural language processing. Early adoption of AI technology for real-world applications has not been without problems, particularly for neural networks, which may be unstable and susceptible to adversarial examples. In the longer term, appropriate safety assurance techniques need to be developed to reduce potential harm due to avoidable system failures and ensure trustworthiness. Focusing on certification and explainability, this paper provides an overview of techniques that have been developed to ensure safety of AI decisions and discusses future challenges.


title: The Languini Kitchen: Enabling Language Modelling Research at Different Scales of Compute

abstract: The Languini Kitchen serves as both a research collective and codebase designed to empower researchers with limited computational resources to contribute meaningfully to the field of language modelling. We introduce an experimental protocol that enables model comparisons based on equivalent compute, measured in accelerator hours. The number of tokens on which a model is trained is defined by the model's throughput and the chosen compute class. Notably, this approach avoids constraints on critical hyperparameters which affect total parameters or floating-point operations. For evaluation, we pre-process an existing large, diverse, and high-quality dataset of books that surpasses existing academic benchmarks in quality, diversity, and document length. On it, we compare methods based on their empirical scaling trends which are estimated through experiments at various levels of compute. This work also provides two baseline models: a feed-forward model derived from the GPT-2 architecture and a recurrent model in the form of a novel LSTM with ten-fold throughput. While the GPT baseline achieves better perplexity throughout all our levels of compute, our LSTM baseline exhibits a predictable and more favourable scaling law. This is due to the improved throughput and the need for fewer training tokens to achieve the same decrease in test perplexity. Extrapolating the scaling laws leads of both models results in an intersection at roughly 50,000 accelerator hours. We hope this work can serve as the foundation for meaningful and reproducible language modelling research.


title: Dynamical system analysis of scalar field cosmology in coincident $f(Q)$ gravity

abstract: In this article, we investigate scalar field cosmology in the coincident $f(Q)$ gravity formalism. We calculate the motion equations of $f(Q)$ gravity under the flat Friedmann-Lema\^{i}tre-Robertson-Walker background in the presence of a scalar field. We consider a non-linear $f(Q)$ model, particularly $f(Q)=-Q+\alpha Q^n$, which is nothing but a polynomial correction to the STEGR case. Further, we assumed two well-known specific forms of the potential function, specifically the exponential from $V(\phi)= V_0 e^{-\beta \phi}$ and the power-law form $V(\phi)= V_0\phi^{-k}$. We employ some phase-space variables and transform the cosmological field equations into an autonomous system. We calculate the critical points of the corresponding autonomous systems and examine their stability behaviors. We discuss the physical significance corresponding to the exponential case for parameter values $n=2$ and $n=-1$ with $\beta=1$, and $n=-1$ with $\beta=\sqrt{3}$. Moreover, we discuss the same corresponding to the power-law case for the parameter value $n=-2$ and $k=0.16$. We also analyze the behavior of corresponding cosmological parameters such as scalar field and dark energy density, deceleration, and the effective equation of state parameter. Corresponding to the exponential case, we find that the results obtained for the parameter constraints in Case III is better among all three cases, and that represents the evolution of the universe from a decelerated stiff era to an accelerated de-Sitter era via matter-dominated epoch. Further, in the power-law case, we find that all trajectories exhibit identical behavior, representing the evolution of the universe from a decelerated stiff era to an accelerated de-Sitter era. Lastly, we conclude that the exponential case shows better evolution as compared to the power-law case.


title: A Numerical Study of Relativistic Oblique Shock Reflection

abstract: Shocks are ubiquitous in astrophysical sources, many of which involve relativistic bulk motions, leading to the formation of relativistic shocks. Such relativistic shocks have so far been studied mainly in one dimension, for simplicity, but the complex nature of the relevant astrophysical flows often requires higher dimensional studies. Here we study the two-dimensional problem of the reflection of a planer shock off of a wall for a general incidence angle and a cold unshocked medium. We use primarily relativistic hydrodynamic numerical simulations, and elaborately compare the results to an analytic treatment. The simulations are performed both in the rest frame S of the unshocked fluid, where the dimensionless proper speed of the singly shocked fluid is $u_1=\Gamma_1\beta_1$ and the shock incidence angle is $\alpha_1$, and in the rest frame S$^\prime$ of the point P of intersection of the incident shock and the wall for regular reflection (RR). Good agreement is obtained between the simulations in these two frames and with the analytic solution. The establishment of a steady flow in frame S$^\prime$ is explored, along with the transition between the strong and weak shock RR solutions. The transition line between RR and Mach reflection (MR) is studied numerically in the $u_1$-$\alpha_1$ plane and found to coincide with the analytic detachment/sonic line. The flow properties along the sonic line are investigated in detail focusing on how they vary between the Newtonian and relativistic limits.


title: Rotating Alfv\'en waves in rotating plasmas

abstract: Angular momentum coupling between a rotating magnetized plasma and torsional Alfv\'en waves carrying orbital angular momentum (OAM) is examined. It is not only demonstrated that rotation is the source of Fresnel-Faraday rotation - or orbital Faraday rotation effects - for OAM carrying Alfv\'en waves, but also that angular momentum from an OAM carrying Alfv\'en wave can be transferred to a rotating plasma through the inverse process. For the direct process, the transverse structure angular rotation frequency is derived by considering the dispersion relation for modes with opposite OAM content. For the inverse process, the torque exerted on the plasma is derived as a function of wave and plasma parameters.


title: Noise-induced transition from superfluid to vortex state in two-dimensional nonequilibrium polariton condensates -- semi-analytical treatment

abstract: We develop a semi-analytical description for the Berezinskii-Kosterlitz-Thouless (BKT) like phase transition in nonequilibrium Bose-Einstein condensates. Our theoretical analysis is based on a noisy generalized Gross-Pitaevskii equation. Above a critical strength of the noise, spontaneous vortex-antivortex pairs are generated. We provide a semi-analytical determination of the transition point based on a linearized Bogoliubov analysis, to which some nonlinear corrections are added. We present two different approaches that are in agreement with our numerical calculations in a wide range of system parameters. We find that for small losses and not too small energy relaxation, the critical point approaches that of the equilibrium BKT transition. Furthermore, we find that losses tend to stabilize the ordered phase: keeping the other parameters constant and increasing the losses leads to a higher critical noise strength for the spontaneous generation of vortex-antivortex pairs. Our theoretical analysis is relevant for experiments on microcavity polaritons.


title: Using Artificial Intelligence for the Automation of Knitting Patterns

abstract: Knitting patterns are a crucial component in the creation and design of knitted materials. Traditionally, these patterns were taught informally, but thanks to advancements in technology, anyone interested in knitting can use the patterns as a guide to start knitting. Perhaps because knitting is mostly a hobby, with the exception of industrial manufacturing utilising specialised knitting machines, the use of Al in knitting is less widespread than its application in other fields. However, it is important to determine whether knitted pattern classification using an automated system is viable. In order to recognise and classify knitting patterns. Using data augmentation and a transfer learning technique, this study proposes a deep learning model. The Inception ResNet-V2 is the main feature extraction and classification algorithm used in the model. Metrics like accuracy, logarithmic loss, F1-score, precision, and recall score were used to evaluate the model. The model evaluation's findings demonstrate high model accuracy, precision, recall, and F1 score. In addition, the AUC score for majority of the classes was in the range (0.7-0.9). A comparative analysis was done using other pretrained models and a ResNet-50 model with transfer learning and the proposed model evaluation results surpassed all others. The major limitation for this project is time, as with more time, there might have been better accuracy over a larger number of epochs.


title: Transitive and Gallai colorings

abstract: A Gallai coloring of the complete graph is an edge-coloring with no rainbow triangle. This concept first appeared in the study of comparability graphs and anti-Ramsey theory. We introduce a transitive analogue for acyclic directed graphs, and generalize both notions to Coxeter systems, matroids and commutative algebras. It is shown that for any finite matroid (or oriented matroid), the maximal number of colors is equal to the matroid rank. This generalizes a result of Erd\H{o}s-Simonovits-S\'os for complete graphs. The number of Gallai (or transitive) colorings of the matroid that use at most $k$ colors is a polynomial in $k$. Also, for any acyclic oriented matroid, represented over the real numbers, the number of transitive colorings using at most 2 colors is equal to the number of chambers in the dual hyperplane arrangement. We count Gallai and transitive colorings of the root system of type A using the maximal number of colors, and show that, when equipped with a natural descent set map, the resulting quasisymmetric function is symmetric and Schur-positive.


title: Noise-reduction techniques for 1H-FID-MRSI at 14.1T: Monte-Carlo validation & in vivo application

abstract: Proton magnetic resonance spectroscopic imaging (1H-MRSI) is a powerful tool that enables the multidimensional non-invasive mapping of the neurochemical profile at high-resolution over the entire brain. The constant demand for higher spatial resolution in 1H-MRSI led to increased interest in post-processing-based denoising methods aimed at reducing noise variance. The aim of the present study was to implement two noise-reduction techniques, the Marchenko-Pastur principal component analysis (MP-PCA) based denoising and the low-rank total generalized variation (LR-TGV) reconstruction, and to test their potential and impact on preclinical 14.1T fast in vivo 1H-FID-MRSI datasets. Since there is no known ground truth for in vivo metabolite maps, additional evaluations of the performance of both noise-reduction strategies were conducted using Monte-Carlo simulations. Results showed that both denoising techniques increased the apparent signal-to-noise ratio SNR while preserving noise properties in each spectrum for both in vivo and Monte-Carlo datasets. Relative metabolite concentrations were not significantly altered by either methods and brain regional differences were preserved in both synthetic and in vivo datasets. Increased precision of metabolite estimates was observed for the two methods, with inconsistencies noted on lower concentrated metabolites. Our study provided a framework on how to evaluate the performance of MP-PCA and LR-TGV methods for preclinical 1H-FID MRSI data at 14.1T. While gains in apparent SNR and precision were observed, concentration estimations ought to be treated with care especially for low-concentrated metabolites.