title: Information That Matters: Exploring Information Needs of People Affected by Algorithmic Decisions

abstract: Explanations of AI systems rarely address the information needs of people affected by algorithmic decision-making (ADM). This gap between conveyed information and information that matters to affected stakeholders can impede understanding and adherence to regulatory frameworks such as the AI Act. To address this gap, we present the "XAI Novice Question Bank": A catalog of affected stakeholders' information needs in two ADM use cases (employment prediction and health monitoring), covering the categories data, system context, system usage, and system specifications. Information needs were gathered in an interview study where participants received explanations in response to their inquiries. Participants further reported their understanding and decision confidence, showing that while confidence tended to increase after receiving explanations, participants also met understanding challenges, such as being unable to tell why their understanding felt incomplete. Explanations further influenced participants' perceptions of the systems' risks and benefits, which they confirmed or changed depending on the use case. When risks were perceived as high, participants expressed particular interest in explanations about intention, such as why and to what end a system was put in place. With this work, we aim to support the inclusion of affected stakeholders into explainability by contributing an overview of information and challenges relevant to them when deciding on the adoption of ADM systems. We close by summarizing our findings in a list of six key implications that inform the design of future explanations for affected stakeholder audiences.


title: Memory Consistency Guided Divide-and-Conquer Learning for Generalized Category Discovery

abstract: Generalized category discovery (GCD) aims at addressing a more realistic and challenging setting of semi-supervised learning, where only part of the category labels are assigned to certain training samples. Previous methods generally employ naive contrastive learning or unsupervised clustering scheme for all the samples. Nevertheless, they usually ignore the inherent critical information within the historical predictions of the model being trained. Specifically, we empirically reveal that a significant number of salient unlabeled samples yield consistent historical predictions corresponding to their ground truth category. From this observation, we propose a Memory Consistency guided Divide-and-conquer Learning framework (MCDL). In this framework, we introduce two memory banks to record historical prediction of unlabeled data, which are exploited to measure the credibility of each sample in terms of its prediction consistency. With the guidance of credibility, we can design a divide-and-conquer learning strategy to fully utilize the discriminative information of unlabeled data while alleviating the negative influence of noisy labels. Extensive experimental results on multiple benchmarks demonstrate the generality and superiority of our method, where our method outperforms state-of-the-art models by a large margin on both seen and unseen classes of the generic image recognition and challenging semantic shift settings (i.e.,with +8.4% gain on CUB and +8.1% on Standford Cars).


title: Moment and exponential estimation for the distribution of the norms for random matrices martingales

abstract: We derive sharp non - asymptotical Lebesgue - Riesz as well as Grand Lebesgue Space norm estimations for different norms of matrix martingales through these norms for the correspondent martingale differences and through the entropic dimension of the extremal points of the unit ball for a basic space. These estimates allow us to deduce in particular the exponential decreasing tail of distribution for these norms of matrix martingales. We bring also some examples in order to show the exactness of the obtained estimations.


title: Generating Synthetic Health Sensor Data for Privacy-Preserving Wearable Stress Detection

abstract: Smartwatch health sensor data are increasingly utilized in smart health applications and patient monitoring, including stress detection. However, such medical data often comprise sensitive personal information and are resource-intensive to acquire for research purposes. In response to this challenge, we introduce the privacy-aware synthetization of multi-sensor smartwatch health readings related to moments of stress, employing Generative Adversarial Networks (GANs) and Differential Privacy (DP) safeguards. Our method not only protects patient information but also enhances data availability for research. To ensure its usefulness, we test synthetic data from multiple GANs and employ different data enhancement strategies on an actual stress detection task. Our GAN-based augmentation methods demonstrate significant improvements in model performance, with private DP training scenarios observing an 11.90-15.48% increase in F1-score, while non-private training scenarios still see a 0.45% boost. These results underline the potential of differentially private synthetic data in optimizing utility-privacy trade-offs, especially with the limited availability of real training samples. Through rigorous quality assessments, we confirm the integrity and plausibility of our synthetic data, which, however, are significantly impacted when increasing privacy requirements.


title: Rank-decreasing transductions

abstract: We propose to study transformations on graphs, and more generally structures, by looking at how the cut-rank (as introduced by Oum) of subsets is affected when going from the input structure to the output structure. We consider transformations in which the underlying sets are the same for both the input and output, and so the cut-ranks of subsets can be easily compared. The purpose of this paper is to give a characterisation of logically defined transductions that is expressed in purely structural terms, without referring to logic: transformations which decrease the cut-rank, in the asymptotic sense, are exactly those that can be defined in monadic second-order logic. This characterisation assumes that the transduction has inputs of bounded treewidth; we also show that the characterisation fails in the absence of any assumptions.


title: Generative Video Diffusion for Unseen Cross-Domain Video Moment Retrieval

abstract: Video Moment Retrieval (VMR) requires precise modelling of fine-grained moment-text associations to capture intricate visual-language relationships. Due to the lack of a diverse and generalisable VMR dataset to facilitate learning scalable moment-text associations, existing methods resort to joint training on both source and target domain videos for cross-domain applications. Meanwhile, recent developments in vision-language multimodal models pre-trained on large-scale image-text and/or video-text pairs are only based on coarse associations (weakly labelled). They are inadequate to provide fine-grained moment-text correlations required for cross-domain VMR. In this work, we solve the problem of unseen cross-domain VMR, where certain visual and textual concepts do not overlap across domains, by only utilising target domain sentences (text prompts) without accessing their videos. To that end, we explore generative video diffusion for fine-grained editing of source videos controlled by the target sentences, enabling us to simulate target domain videos. We address two problems in video editing for optimising unseen domain VMR: (1) generation of high-quality simulation videos of different moments with subtle distinctions, (2) selection of simulation videos that complement existing source training videos without introducing harmful noise or unnecessary repetitions. On the first problem, we formulate a two-stage video diffusion generation controlled simultaneously by (1) the original video structure of a source video, (2) subject specifics, and (3) a target sentence prompt. This ensures fine-grained variations between video moments. On the second problem, we introduce a hybrid selection mechanism that combines two quantitative metrics for noise filtering and one qualitative metric for leveraging VMR prediction on simulation video selection.


title: NACHOS: Neural Architecture Search for Hardware Constrained Early Exit Neural Networks

abstract: Early Exit Neural Networks (EENNs) endow astandard Deep Neural Network (DNN) with Early Exit Classifiers (EECs), to provide predictions at intermediate points of the processing when enough confidence in classification is achieved. This leads to many benefits in terms of effectiveness and efficiency. Currently, the design of EENNs is carried out manually by experts, a complex and time-consuming task that requires accounting for many aspects, including the correct placement, the thresholding, and the computational overhead of the EECs. For this reason, the research is exploring the use of Neural Architecture Search (NAS) to automatize the design of EENNs. Currently, few comprehensive NAS solutions for EENNs have been proposed in the literature, and a fully automated, joint design strategy taking into consideration both the backbone and the EECs remains an open problem. To this end, this work presents Neural Architecture Search for Hardware Constrained Early Exit Neural Networks (NACHOS), the first NAS framework for the design of optimal EENNs satisfying constraints on the accuracy and the number of Multiply and Accumulate (MAC) operations performed by the EENNs at inference time. In particular, this provides the joint design of backbone and EECs to select a set of admissible (i.e., respecting the constraints) Pareto Optimal Solutions in terms of best tradeoff between the accuracy and number of MACs. The results show that the models designed by NACHOS are competitive with the state-of-the-art EENNs. Additionally, this work investigates the effectiveness of two novel regularization terms designed for the optimization of the auxiliary classifiers of the EENN


title: The energy, temperature, and heat capacity in discrete classical dynamics

abstract: Simulations of objects with classical dynamics are in fact a particular version of discrete dynamics since almost all the classical dynamics simulations in natural science are performed with the use of the simple ''Leapfrog" or ''Verlet" algorithm. It was, however, Newton who in $Principia$, $ Proposition$ $I$ in 1687 first formulated the discrete algorithm, which much later in 1967 was rederived by L. Verlet. Verlet also formulated a first-order approximation for the velocity $\textbf{v}(t)$ at time $t$, which has been used in simulations since then. The approximated expressions for $\textbf{v}(t)$ and the kinetic energy lead to severe errors in the thermodynamics at high densities, temperatures, strong repulsive forces, or for large discrete time increments used in the discrete ''Molecular Dynamics" (MD) simulations. Here we derive the exact expressions for the discrete dynamics, and show by simulations of a Lennard-Jones system, that these expressions now result in equality between temperatures determined from the kinetic energies, and the corresponding configurational temperatures determined from the expression of Landau and Lifshitz, derived from the forces.


title: Virtual Morita equivalences and Brauer character bijections

abstract: We extend a theorem of Kessar and Linckelmann concerning Morita equivalences and Brauer character bijections between blocks to virtual Morita equivalences. As a corollary, we obtain that Navarro's refinement of Alperin's weight conjecture holds for blocks with cyclic and Klein four defect groups, blocks of symmetric and alternating groups with abelian defect groups, and $p$-blocks of ${\rm SL}_2(q)$ and ${\rm GL}_2(q)$, where $p|q$.


title: Metastable strings and grand unification

abstract: The structure of the Standard Model (SM) of particle physics points toward grand unified theories (GUTs) where strong and electroweak interactions are unified in a non-Abelian GUT group. The spontaneous breaking of the GUT symmetry to the SM symmetry, together with cosmic inflation, generically leads to metastable topological defects, the most prominent example being cosmic strings. The gravitational-wave background (GWB) produced by a cosmic string network is one of the candidates for an explanation of the GWB recently observed by pulsar timing array (PTA) experiments. We review some properties of the predicted GWB with emphasis on potential implications for GUT model building. The most striking prediction is a GWB in the LIGO-Virgo-KAGRA band that could be discovered in the near future.


title: Explainable Bayesian Optimization

abstract: In industry, Bayesian optimization (BO) is widely applied in the human-AI collaborative parameter tuning of cyber-physical systems. However, BO's solutions may deviate from human experts' actual goal due to approximation errors and simplified objectives, requiring subsequent tuning. The black-box nature of BO limits the collaborative tuning process because the expert does not trust the BO recommendations. Current explainable AI (XAI) methods are not tailored for optimization and thus fall short of addressing this gap. To bridge this gap, we propose TNTRules (TUNE-NOTUNE Rules), a post-hoc, rule-based explainability method that produces high quality explanations through multiobjective optimization. Our evaluation of benchmark optimization problems and real-world hyperparameter optimization tasks demonstrates TNTRules' superiority over state-of-the-art XAI methods in generating high quality explanations. This work contributes to the intersection of BO and XAI, providing interpretable optimization techniques for real-world applications.


title: Full Bayesian Significance Testing for Neural Networks

abstract: Significance testing aims to determine whether a proposition about the population distribution is the truth or not given observations. However, traditional significance testing often needs to derive the distribution of the testing statistic, failing to deal with complex nonlinear relationships. In this paper, we propose to conduct Full Bayesian Significance Testing for neural networks, called \textit{n}FBST, to overcome the limitation in relationship characterization of traditional approaches. A Bayesian neural network is utilized to fit the nonlinear and multi-dimensional relationships with small errors and avoid hard theoretical derivation by computing the evidence value. Besides, \textit{n}FBST can test not only global significance but also local and instance-wise significance, which previous testing methods don't focus on. Moreover, \textit{n}FBST is a general framework that can be extended based on the measures selected, such as Grad-\textit{n}FBST, LRP-\textit{n}FBST, DeepLIFT-\textit{n}FBST, LIME-\textit{n}FBST. A range of experiments on both simulated and real data are conducted to show the advantages of our method.


title: Quantum collapse as undecidable proposition in an Everettian multiverse

abstract: Our representation of the Universe is built with sequences of symbols, numbers, operators, rules and undecidable propositions defining our mathematical truths, represented either by classical, quantum and probabilistic Turing Machines containing intrinsic randomness. Each representation is at all effects a physical subset of the Universe, a metastructure of events in space and time, which actively participate to the evolution of the Universe as we are internal observers. The evolution is a deterministic sequence of local events, quantum measurements, originated from the local wavefunction collapse of the complementary set of the observers that generate the local events in the Universe. With these assumptions, the Universe and its evolution are described in terms of a semantically closed structure without a global object-environment loss of decoherence as a von Neumann's universal constructor with a semantical abstract whose structure cannot be decided deterministically a-priori from an internal observer. In a semantically closed structure the realization of a specific event writing the semantical abstract of the constructor is a problem that finds a "which way" for the evolution of the Universe in terms of a choice of the constructor's state in a metastructure, the many-world Everett scenario from the specific result of a quantum measurement, a classical G\"odel undecidable proposition for an internal observer, exposing the limits of our description and possible simulation of the Universe.

categories: quant-ph gr-qc math-ph math.MP physics.hist-ph


title: A Vortex Dynamic Equation for Sediment Transport

abstract: This work presents a new vortex dynamic equation for quasi-geostrophic flows over strongly variable sediment bottoms. The equation considers erosion/deposition exchanges near the bottom and the geometrical changes of the bed interface, extending some of the most commonly used vortex dynamic equations in the literature. This new equation shows promise for further coastal engineering applications. The derivation of the vortex equation is presented in detail, including all physical and hydrodynamic mechanisms involved. Various variants of the vortex dynamic equation are also presented, which are particularly useful for multiphase turbulent flows. The advantages of our model are explained, and several observations are made.


title: Improving accuracy of field work calculations for the analysis of the electron acceleration mechanisms in near-critical density plasma

abstract: It is demonstrated that the inherent structure of Boris pusher may result in the accumulation of errors in numerical integration when estimating the works of electric fields on particles. This, in turn, leads to an incorrect estimations of particle acceleration mechanisms. A method of error correction, reducing error to the acceptable levels of $<10\%$, is implemented. Numerical integration error in question is most pronounced in scenarios where substantial number of electrons are injected into the accelerating structure through wave breaking of plasma waves i.e. in near-critical density plasma.


title: Moduli Stabilization and Stability in Type II/F-theory flux compactifications

abstract: In this thesis we study String Theory compactifications to four dimensions focusing on the moduli stabilization process and the associated vacua structure in various frameworks, from Type IIA to F-theory, interpreting the results in the context of the Swampland Program. More specifically, we generalize the bilinear formalism of the scalar potential to include the contributions of geometric fluxes, which we use to perform a systematic search of vacua. We also consider the 10d uplift of AdS4 vacua arising from the 4d massive Type IIA effective theory with only RR and NSNS fluxes. Using the language of SU(3)xSU(3) structures and performing an expansion around the smearing approximation in powers of the string coupling, we study the stability of the SUSY solution and its non-SUSY partner. We contrast the results with the Weak Gravity Conjecture and the AdS instability conjecture in toroidal orbifold examples and find that some non-SUSY cases are in tension with the predictions of those conjectures. From the F-theory perspective, we study moduli stabilization in the complex structure sector of elliptically fibered Calabi-Yau 4-folds in the Large Complex Structure limit. Using homological mirror symmetry, we replicate the analysis for the Type IIA case and give a bilinear expression for the scalar potential, allowing for a detailed study of the vacua structure. We find two distinct families of flux configurations compatible with the tadpole constraints that enable full moduli stabilization. We thoroughly examine the most generic one in the Type IIB limit, where the superpotential is also quadratic and polynomial corrections can be considered at all orders. Finally, we show that at this level of approximation supersymmetric SUSY vacua always contain flat directions. We conclude with a summary of the results and some comments about open questions and future lines of research.


title: First study of the initial gluonic fluctuations using UPCs with ALICE

abstract: Incoherent and dissociative J/$\psi$ photoproduction is sensitive to fluctuations of the gluonic structure of the target. Thus, the measurement of J/$\psi$ photoproduction of the colliding hadron sheds light on the initial state of QCD and provides important constraints on the initial conditions used in hydrodynamical models of heavy-ion collisions. The first measurement of the transverse momentum dependence of both coherent and incoherent J/$\psi$ photoproduction in ultraperipheral Pb-Pb collisions at midrapidity is presented. These new results provide, for the first time, a clear indication of subnucleonic fluctuations of the lead target. We also present the new measurement of dissociative J/$\psi$ photoproduction cross section as a function of energy, in p-Pb collisions at forward rapidity. Dissociative results do not show any indication of saturation and agree with previous data.


title: Evaluation of depth perception in crowded volumes

abstract: Depth perception in volumetric visualization plays a crucial role in the understanding and interpretation of volumetric data. Numerous visualization techniques, many of which rely on physically based optical effects, promise to improve depth perception but often do so without considering camera movement or the content of the volume. As a result, the findings from previous studies may not be directly applicable to crowded volumes, where a large number of contained structures disrupts spatial perception. Crowded volumes therefore require special analysis and visualization tools with sparsification capabilities. Interactivity is an integral part of visualizing and exploring crowded spaces, but has received little attention in previous studies. To address this gap, we conducted a study to assess the impact of different rendering techniques on depth perception in crowded volumes, with a particular focus on the effects of camera movement. The results show that depth perception considering camera motion depends much more on the content of the volume than on the chosen visualization technique. Furthermore, we found that traditional rendering techniques, which have often performed poorly in previous studies, showed comparable performance to physically based methods in our study.


title: Building a bridge between comparable and extreme mass ratio black hole binaries: a single spin precessing model for the final state

abstract: Modelling the gravitational wave signal from binaries beyond comparable mass is an important open issue in gravitational wave astronomy. For non-spinning binaries and when the spins are aligned with the orbital angular momentum, some first studies concerning the transition between the comparable and extreme mass ratio regime are already available, which suggest that extreme mass ratio results at times extrapolate to comparable mass ratios with surprising precision. Here we study the case of misaligned spins: We present new NR simulations performed with the Einstein Toolkit code at mass ratios up to 18 and construct a heterogeneous dataset that spans all mass ratios, including data from NR simulations, numerical approximations to extreme mass ratio binaries, and data from the geodesic approximation. As a first application we provide fits for the remnant mass and spin magnitude in single spin precessing systems, omitting consideration of the in-plane spin orientation. These fits demonstrate accuracy comparable to the state-of-the-art NRSur7dq4EmriRemnant model, all while retaining the simplicity and efficiency inherent in previous phenomenological fits.


title: Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD

abstract: Symbolic Computation algorithms and their implementation in computer algebra systems often contain choices which do not affect the correctness of the output but can significantly impact the resources required: such choices can benefit from having them made separately for each problem via a machine learning model. This study reports lessons on such use of machine learning in symbolic computation, in particular on the importance of analysing datasets prior to machine learning and on the different machine learning paradigms that may be utilised. We present results for a particular case study, the selection of variable ordering for cylindrical algebraic decomposition, but expect that the lessons learned are applicable to other decisions in symbolic computation. We utilise an existing dataset of examples derived from applications which was found to be imbalanced with respect to the variable ordering decision. We introduce an augmentation technique for polynomial systems problems that allows us to balance and further augment the dataset, improving the machine learning results by 28\% and 38\% on average, respectively. We then demonstrate how the existing machine learning methodology used for the problem $-$ classification $-$ might be recast into the regression paradigm. While this does not have a radical change on the performance, it does widen the scope in which the methodology can be applied to make choices.


title: Accuracy and Performance Evaluation of Low Density Internal and External Flow Predictions using CFD and DSMC

abstract: The Direct Simulation Monte Carlo (DSMC) method was widely used to simulate low density gas flows with large Knudsen numbers. However, DSMC encounters limitations in the regime of lower Knudsen numbers (Kn<0.1). In such cases, approaches from classical computational fluid dynamics (CFD) relying on the continuum assumption are preferred, offering accurate solutions at acceptable computational costs. In experiments aimed at imaging aerosolized nanoparticles in vacuo a wide range of Knudsen numbers occur, which motivated the present study on the analysis of the advantages and drawbacks of DSMC and CFD simulations of rarefied flows in terms of accuracy and computational effort. Furthermore, the potential of hybrid methods is evaluated. For this purpose, DSMC and CFD simulations of the flow inside a convergent-divergent nozzle (internal expanding flow) and the flow around a conical body (external shock generating flow) were carried out. CFD simulations utilize the software OpenFOAM and the DSMC solution is obtained using the software SPARTA. The results of these simulation techniques are evaluated by comparing them with experimental data (1), evaluating the time-to-solution (2) and the energy consumption (3), and assessing the feasibility of hybrid CFD-DSMC approaches (4). Keywords: DSMC; SPARTA; Continuum assumption; Transition regime; Rarefied flow; high-performance computing


title: FPGA Implementation of an Intelligent Traffic Light Controller (I-TLC) in Verilog

abstract: The objective of this paper is to design and implement an intelligent Traffic Light Controller system for a four way road intersection. The design is carried out using Verilog, and the hardware is implemented on a FPGA. The chosen intersection involves a 'main road' (heavy traffic flow) and a 'side road' (less traffic flow), which is equipped with sensors to detect the presence of traffic or pedestrians. The functionality of the system has undergone thorough verification through simulations conducted in the Xilinx ISE Design Studio software environment. Furthermore, it has been physically deployed on a Xilinx Spartan-3E FPGA board xc3s500e-4-fg320. A traffic light controller can be realized through the use of a microcontroller, Application-Specific Integrated Circuits (ASICs), or Field-Programmable Gate Arrays (FPGAs). FPGAs however offer significant advantages in terms of re-programmability, speed, and parallel processing capabilities, making them ideally suited for implementing complex, adaptive logic required by smart traffic management systems; thus, making this model of TLC extremely adaptive and cost efficient at the same time as compared to other existing models with reduced hardware usage and delay constraints.


title: Past, Present, Future: A Comprehensive Exploration of AI Use Cases in the UMBRELLA IoT Testbed

abstract: UMBRELLA is a large-scale, open-access Internet of Things (IoT) ecosystem incorporating over 200 multi-sensor multi-wireless nodes, 20 collaborative robots, and edge-intelligence-enabled devices. This paper provides a guide to the implemented and prospective artificial intelligence (AI) capabilities of UMBRELLA in real-world IoT systems. Four existing UMBRELLA applications are presented in detail: 1) An automated streetlight monitoring for detecting issues and triggering maintenance alerts; 2) A Digital twin of building environments providing enhanced air quality sensing with reduced cost; 3) A large-scale Federated Learning framework for reducing communication overhead; and 4) An intrusion detection for containerised applications identifying malicious activities. Additionally, the potential of UMBRELLA is outlined for future smart city and multi-robot crowdsensing applications enhanced by semantic communications and multi-agent planning. Finally, to realise the above use-cases we discuss the need for a tailored MLOps platform to automate UMBRELLA model pipelines and establish trust.


title: Magnetic Penrose process in the magnetized Kerr spacetime

abstract: Magnetic Penrose process (MPP) could be highly efficient (efficiency can even exceed $100\%$) for extracting the energy from a Kerr black hole, if it is immersed in a mG order magnetic field. Considering the exact solution of the magnetized Kerr spacetime, here we derive the exact expression of efficiency ($\eta_{\rm MPP}$) for MPP, which is valid for both the Kerr black hole (BH) as well as Kerr superspinar (SS), and also from the weak magnetic field to an ultra-strong magnetic field $(B)$ which can even distort the original Kerr geometry. We show that although the value of $\eta_{\rm MPP}$ increases upto a certain value of ultra-strong magnetic field ($B_p$), it decreases to zero for $B > B_p$, in case of the Kerr BHs. On the other hand, $\eta_{\rm MPP}$ shows the opposite behavior in case of the Kerr SSs. One intriguing feature that emerges is, $\eta_{\rm MPP}$ acquires the maximum value for the Kerr parameter $a_* \approx 0.786$ (unlike $a_*=1$ for the ordinary PP), decreases for $0.786 < a_* \leq 1$. This indicates that the BH starts to expel the effect of magnetic field for $a_* > 0.786$, and is fully expelled from the extremal Kerr BH due to the gravitational Meissner effect. As a special case of MPP, we also study the ordinary Penrose process (PP) for magnetized Kerr spacetime. We show that MPP for Kerr BHs, Kerr SSs and ordinary PP for Kerr SSs can be superefficient for the astrophysical applications to powering engines in the high-energy sources like active galactic nuclei and quasars, in the weak magnetic fields. Our strong magnetic field result of MPP could be important to the primordial BHs in the early Universe immersed in the primordial magnetic fields, and to the transmuted BHs which are formed by collapsing and/or by merging of the magnetized progenitors. It is almost impossible to extract the energy from a BH (SS) through MPP (PP) in the ultra-strong magnetic fields.


title: Eigenmode analysis of the damped Jaynes-Cummings model

abstract: The generating functions for density matrix elements of the Jaynes-Cummings model with cavity damping are analysed in terms of their eigenmodes, which are characterised by a specific temporal behaviour. These eigenmodes are shown to be proportional to particular generalised hypergeometric functions. The relative weights of these eigenmodes in the generating functions are determined by the initial conditions of the model. These weights are found by deriving orthogonality relations involving adjoint modes. In an example it is shown how the time-dependent density matrix elements and the related factorial moments can be extracted from the eigenmode decompositions of the generating functions.


title: Using multiobjective optimization to reconstruct interferometric data (II): polarimetry and time dynamics

abstract: In Very Long Baseline Interferometry (VLBI), signals from multiple antennas combine to create a sparsely sampled virtual aperture, its effective diameter determined by the largest antenna separation. The inherent sparsity makes VLBI imaging an ill-posed inverse problem, prompting the use of algorithms like the Multiobjective Evolutionary Algorithm by Decomposition (MOEA/D), as proposed in the first paper of this series. This study focuses on extending MOEA/D to polarimetric and time dynamic reconstructions, particularly relevant for the VLBI community and the Event Horizon Telescope Collaboration (EHTC). MOEA/D's success in providing a unique, fast, and largely unsupervised representation of image structure serves as the basis for exploring these extensions. The extension involves incorporating penalty terms specific to total intensity imaging, time-variable, and polarimetric variants within MOEA/D's multiobjective, evolutionary framework. The Pareto front, representing non-dominated solutions, is computed, revealing clusters of proximities. Testing MOEA/D with synthetic datasets representative of EHTC's main targets demonstrates successful recovery of polarimetric and time-dynamic signatures despite sparsity and realistic data corruptions. MOEA/D's extension proves effective in the anticipated EHTC setting, offering an alternative and independent claim to existing methods. It not only explores the problem globally but also eliminates the need for parameter surveys, distinguishing it from Regularized Maximum Likelihood (RML) methods. MOEA/D emerges as a novel and useful tool for robustly characterizing polarimetric and dynamic signatures in VLBI datasets with minimal user-based choices. Future work aims to address the last remaining limitation of MOEA/D, specifically regarding the number of pixels and numerical performance, to establish it within the VLBI data reduction pipeline.


title: Direct spectroscopy of Rubidium using a narrow-line transition at 420 nm

abstract: The 5S$\to$6P transition in Rubidium (Rb) at 420 nm offers the advantage of a narrower linewidth and diverse applications in quantum technologies. However, the direct spectroscopy at this transition is challenging due to its weak transition strength. In this paper, we have discussed the saturated absorption spectroscopy (SAS) of Rb using the narrow-line transition at 420 nm. We have studied the effect of the temperature of the Rb cell, pump power and the beam size on the SAS dip heights and their linewidths. Additionally, our study offers a comprehensive examination, encompassing all eight error signals of Rb for the 5S$\to$6P transition at 420 nm and 421 nm. These findings contribute valuable insights to the field of laser frequency stabilization of Rb at blue transition and can be useful in quantum technologies based on this transition.


title: Predicting IR Personalization Performance using Pre-retrieval Query Predictors

abstract: Personalization generally improves the performance of queries but in a few cases it may also harms it. If we are able to predict and therefore to disable personalization for those situations, the overall performance will be higher and users will be more satisfied with personalized systems. We use some state-of-the-art pre-retrieval query performance predictors and propose some others including the user profile information for the previous purpose. We study the correlations among these predictors and the difference between the personalized and the original queries. We also use classification and regression techniques to improve the results and finally reach a bit more than one third of the maximum ideal performance. We think this is a good starting point within this research line, which certainly needs more effort and improvements.


title: EndoGaussians: Single View Dynamic Gaussian Splatting for Deformable Endoscopic Tissues Reconstruction

abstract: The accurate 3D reconstruction of deformable soft body tissues from endoscopic videos is a pivotal challenge in medical applications such as VR surgery and medical image analysis. Existing methods often struggle with accuracy and the ambiguity of hallucinated tissue parts, limiting their practical utility. In this work, we introduce EndoGaussians, a novel approach that employs Gaussian Splatting for dynamic endoscopic 3D reconstruction. This method marks the first use of Gaussian Splatting in this context, overcoming the limitations of previous NeRF-based techniques. Our method sets new state-of-the-art standards, as demonstrated by quantitative assessments on various endoscope datasets. These advancements make our method a promising tool for medical professionals, offering more reliable and efficient 3D reconstructions for practical applications in the medical field.


title: Improved $L^p$ bounds for Bochner--Riesz operators associated with rough convex domains in the plane

abstract: We consider generalized Bochner-Riesz operators associated with planar convex domains. We construct domains which yield improved $L^p$ bounds for the Bochner-Riesz over previous results of Seeger-Ziesler and Cladek. The constructions are based on the existence of large $B_m$ sets due to Bose-Chowla, and large $\Lambda(p)$ sets due to Bourgain.


title: Characterizing Network Requirements for GPU API Remoting in AI Applications

abstract: GPU remoting is a promising technique for supporting AI applications. Networking plays a key role in enabling remoting. However, for efficient remoting, the network requirements in terms of latency and bandwidth are unknown. In this paper, we take a GPU-centric approach to derive the minimum latency and bandwidth requirements for GPU remoting, while ensuring no (or little) performance degradation for AI applications. Our study including theoretical model demonstrates that, with careful remoting design, unmodified AI applications can run on the remoting setup using commodity networking hardware without any overhead or even with better performance, with low network demands.


title: Considering Capacitive Effects in Foil Winding Homogenization

abstract: In conventional finite element simulations, foil windings with a thin foil and many turns require many mesh elements. This renders models quickly computationally infeasible. With the use of homogenization approaches, the finite element mesh does not need to resolve the small-scale structure of the foil winding domain. Present homogenization approaches take resistive and inductive effects into account. With an increase of the operation frequency of foil windings, however, capacitive effects between adjacent turns in the foil winding become relevant. This paper presents an extension to the standard foil winding model that covers the capacitive behavior of foil windings.


title: Properties of Steiner triple systems of order 21

abstract: Properties of the 62,336,617 Steiner triple systems of order 21 with a non-trivial automorphism group are examined. In particular, there are 28 which have no parallel class, six that are 4-chromatic, five that are 3-balanced, 20 that avoid the mitre, 21 that avoid the crown, one that avoids the hexagon and two that avoid the prism. All systems contain the grid. None have a block intersection graph that is 3-existentially closed.


title: Linear Relative Pose Estimation Founded on Pose-only Imaging Geometry

abstract: How to efficiently and accurately handle image matching outliers is a critical issue in two-view relative estimation. The prevailing RANSAC method necessitates that the minimal point pairs be inliers. This paper introduces a linear relative pose estimation algorithm for n $( n \geq 6$) point pairs, which is founded on the recent pose-only imaging geometry to filter out outliers by proper reweighting. The proposed algorithm is able to handle planar degenerate scenes, and enhance robustness and accuracy in the presence of a substantial ratio of outliers. Specifically, we embed the linear global translation (LiGT) constraint into the strategies of iteratively reweighted least-squares (IRLS) and RANSAC so as to realize robust outlier removal. Simulations and real tests of the Strecha dataset show that the proposed algorithm achieves relative rotation accuracy improvement of 2 $\sim$ 10 times in face of as large as 80% outliers.


title: Sequential solution strategies for the Cahn-Hilliard-Biot model

abstract: This paper presents a study of solution strategies for the Cahn-Hilliard-Biot equations, a complex mathematical model for understanding flow in deformable porous media with changing solid phases. Solving the Cahn-Hilliard-Biot system poses significant challenges due to its coupled, nonlinear and non-convex nature. We explore various solution algorithms, comparing monolithic and splitting strategies, focusing on both their computational efficiency and robustness.


title: Reconfigurable routing in data center networks

abstract: The Reconfigurable Routing Problem (RRP) in hybrid networks is, in short, the problem of finding settings for optical switches augmenting a static network so as to achieve optimal delivery of some given workload. The problem has previously been studied in various scenarios with both tractable and NP-hardness results obtained. However, the data center and interconnection networks to which the problem is most relevant are almost always such that the static network is highly structured whereas all previous results assume that the static network can be arbitrary (which makes existing computational hardness results less technologically relevant and also easier to obtain). In this paper, and for the first time, we prove various intractability results for RRP where the underlying static network is highly structured, for example consisting of a hypercube, and also extend some existing tractability results.


title: Debiased Sample Selection for Combating Noisy Labels

abstract: Learning with noisy labels aims to ensure model generalization given a label-corrupted training set. The sample selection strategy achieves promising performance by selecting a label-reliable subset for model training. In this paper, we empirically reveal that existing sample selection methods suffer from both data and training bias that are represented as imbalanced selected sets and accumulation errors in practice, respectively. However, only the training bias was handled in previous studies. To address this limitation, we propose a noIse-Tolerant Expert Model (ITEM) for debiased learning in sample selection. Specifically, to mitigate the training bias, we design a robust network architecture that integrates with multiple experts. Compared with the prevailing double-branch network, our network exhibits better performance of selection and prediction by ensembling these experts while training with fewer parameters. Meanwhile, to mitigate the data bias, we propose a mixed sampling strategy based on two weight-based data samplers. By training on the mixture of two class-discriminative mini-batches, the model mitigates the effect of the imbalanced training set while avoiding sparse representations that are easily caused by sampling strategies. Extensive experiments and analyses demonstrate the effectiveness of ITEM. Our code is available at this url \href{https://github.com/1998v7/ITEM}{ITEM}.


title: A note on the numerical approximation of Greeks for American-style options

abstract: In this note we consider the approximation of the Greeks Delta and Gamma of American-style options through the numerical solution of time-dependent partial differential complementarity problems (PDCPs). This approach is very attractive as it can yield accurate approximations to these Greeks at essentially no additional computational cost during the numerical solution of the PDCP for the pertinent option value function. For the temporal discretization, the Crank-Nicolson method is arguably the most popular method in computational finance. It is well-known, however, that this method can have an undesirable convergence behaviour in the approximation of the Greeks Delta and Gamma for American-style options, even when backward Euler damping (Rannacher smoothing) is employed. In this note we study for the temporal discretization an interesting family of diagonally implicit Runge-Kutta (DIRK) methods together with the two-stage Lobatto IIIC method. Through ample numerical experiments for one- and two-asset American-style options, it is shown that these methods can yield a regular second-order convergence behaviour for the option value as well as for the Greeks Delta and Gamma. A mutual comparison reveals that the DIRK method with suitably chosen parameter $\theta$ is preferable.


title: TraKDis: A Transformer-based Knowledge Distillation Approach for Visual Reinforcement Learning with Application to Cloth Manipulation

abstract: Approaching robotic cloth manipulation using reinforcement learning based on visual feedback is appealing as robot perception and control can be learned simultaneously. However, major challenges result due to the intricate dynamics of cloth and the high dimensionality of the corresponding states, what shadows the practicality of the idea. To tackle these issues, we propose TraKDis, a novel Transformer-based Knowledge Distillation approach that decomposes the visual reinforcement learning problem into two distinct stages. In the first stage, a privileged agent is trained, which possesses complete knowledge of the cloth state information. This privileged agent acts as a teacher, providing valuable guidance and training signals for subsequent stages. The second stage involves a knowledge distillation procedure, where the knowledge acquired by the privileged agent is transferred to a vision-based agent by leveraging pre-trained state estimation and weight initialization. TraKDis demonstrates better performance when compared to state-of-the-art RL techniques, showing a higher performance of 21.9%, 13.8%, and 8.3% in cloth folding tasks in simulation. Furthermore, to validate robustness, we evaluate the agent in a noisy environment; the results indicate its ability to handle and adapt to environmental uncertainties effectively. Real robot experiments are also conducted to showcase the efficiency of our method in real-world scenarios.


title: Do You Guys Want to Dance: Zero-Shot Compositional Human Dance Generation with Multiple Persons

abstract: Human dance generation (HDG) aims to synthesize realistic videos from images and sequences of driving poses. Despite great success, existing methods are limited to generating videos of a single person with specific backgrounds, while the generalizability for real-world scenarios with multiple persons and complex backgrounds remains unclear. To systematically measure the generalizability of HDG models, we introduce a new task, dataset, and evaluation protocol of compositional human dance generation (cHDG). Evaluating the state-of-the-art methods on cHDG, we empirically find that they fail to generalize to real-world scenarios. To tackle the issue, we propose a novel zero-shot framework, dubbed MultiDance-Zero, that can synthesize videos consistent with arbitrary multiple persons and background while precisely following the driving poses. Specifically, in contrast to straightforward DDIM or null-text inversion, we first present a pose-aware inversion method to obtain the noisy latent code and initialization text embeddings, which can accurately reconstruct the composed reference image. Since directly generating videos from them will lead to severe appearance inconsistency, we propose a compositional augmentation strategy to generate augmented images and utilize them to optimize a set of generalizable text embeddings. In addition, consistency-guided sampling is elaborated to encourage the background and keypoints of the estimated clean image at each reverse step to be close to those of the reference image, further improving the temporal consistency of generated videos. Extensive qualitative and quantitative results demonstrate the effectiveness and superiority of our approach.


title: Echeloned saturation and forcing axioms

abstract: Addressing a question of Paul Larson we prove the following statement. If Chang's conjecture fails, Martin's axiom holds and the continuum is greater than $\aleph_2$, there are no weakly Laver ideals over $\aleph_1$. We also prove that under Baumgartner's axiom there are no Laver ideals over $\aleph_2$.


title: Organizing Scientific Knowledge From Energy System Research Using the Open Research Knowledge Graph

abstract: Engineering sciences, such as energy system research, play an important role in developing solutions to technical, environmental, economic, and social challenges of our modern society. In this context, the transformation of energy systems into climate-neutral systems is one of the key strategies for mitigating climate change. For the transformation of energy systems, engineers model, simulate and analyze scenarios and transformation pathways to initiate debates about possible transformation strategies. For these debates and research in general, all steps of the research process must be traceable to guarantee the trustworthiness of published results, avoid redundancies, and ensure their social acceptance. However, the analysis of energy systems is an interdisciplinary field as the investigations of large, complex energy systems often require the use of different software applications and large amounts of heterogeneous data. Engineers must therefore communicate, understand, and (re)use heterogeneous scientific knowledge and data. Although the importance of FAIR scientific knowledge and data in the engineering sciences and energy system research is increasing, little research has been conducted on this topic. When it comes to publishing scientific knowledge and data from publications, software, and datasets (such as models, scenarios, and simulations) openly available and transparent, energy system research lags behind other research domains. According to Schmitt et al. and Nie{\ss}e et al., engineers need technical support in the form of infrastructures, services, and terminologies to improve communication, understanding, and (re)use of scientific knowledge and data.


title: Mitigating System Bias in Resource Constrained Asynchronous Federated Learning Systems

abstract: Federated learning (FL) systems face performance challenges in dealing with heterogeneous devices and non-identically distributed data across clients. We propose a dynamic global model aggregation method within Asynchronous Federated Learning (AFL) deployments to address these issues. Our aggregation method scores and adjusts the weighting of client model updates based on their upload frequency to accommodate differences in device capabilities. Additionally, we also immediately provide an updated global model to clients after they upload their local models to reduce idle time and improve training efficiency. We evaluate our approach within an AFL deployment consisting of 10 simulated clients with heterogeneous compute constraints and non-IID data. The simulation results, using the FashionMNIST dataset, demonstrate over 10% and 19% improvement in global model accuracy compared to state-of-the-art methods PAPAYA and FedAsync, respectively. Our dynamic aggregation method allows reliable global model training despite limiting client resources and statistical data heterogeneity. This improves robustness and scalability for real-world FL deployments.


title: Invariant measures from locally bounded orbits

abstract: Motivated by recent investigations of Sophie Grivaux and \'Etienne Matheron on the existence of invariant measures in Linear Dynamics, we introduce the concept of locally bounded orbit for a continuous linear operator $T:X\longrightarrow X$ acting on a Fr\'echet space $X$, and we use this new notion to construct (non-trivial) $T$-invariant probability Borel measures on $(X,\mathscr{B}(X))$.


title: Towards Optimal Pilot Spacing and Power Control in Multi-Antenna Systems Operating Over Non-Stationary Rician Aging Channels

abstract: Several previous works have addressed the inherent trade-off between allocating resources in the power and time domains to pilot and data signals in multiple input multiple output systems over block-fading channels. In particular, when the channel changes rapidly in time, channel aging degrades the performance in terms of spectral efficiency without proper pilot spacing and power control. Despite recognizing non-stationary stochastic processes as more accurate models for time-varying wireless channels, the problem of pilot spacing and power control in multi-antenna systems operating over non-stationary channels is not addressed in the literature. In this paper, we address this gap by introducing a refined first-order autoregressive model that exploits the inherent temporal correlations over non-stationary Rician aging channels. We design a multi-frame structure for data transmission that better reflects the non-stationary fading environment than previously developed single-frame structures. Subsequently, to determine optimal pilot spacing and power control within this multi-frame structure, we develop an optimization framework and an efficient algorithm based on maximizing a deterministic equivalent expression for the spectral efficiency, demonstrating its generality by encompassing previous channel aging results. Our numerical results indicate the efficacy of the proposed method in terms of spectral efficiency gains over the single frame structure.


title: Dynamic Epistemic Logic of Resource Bounded Information Mining Agents

abstract: Logics for resource-bounded agents have been getting more and more attention in recent years since they provide us with more realistic tools for modelling and reasoning about multi-agent systems. While many existing approaches are based on the idea of agents as imperfect reasoners, who must spend their resources to perform logical inference, this is not the only way to introduce resource constraints into logical settings. In this paper we study agents as perfect reasoners, who may purchase a new piece of information from a trustworthy source. For this purpose we propose dynamic epistemic logic for semi-public queries for resource-bounded agents. In this logic (groups of) agents can perform a query (ask a question) about whether some formula is true and receive a correct answer. These queries are called semi-public, because the very fact of the query is public, while the answer is private. We also assume that every query has a cost and every agent has a budget constraint. Finally, our framework allows us to reason about group queries, in which agents may share resources to obtain a new piece of information together. We demonstrate that our logic is complete, decidable and has an efficient model checking procedure.


title: New accessibility measures based on unconventional big data sources

abstract: In health econometric studies we are often interested in quantifying aspects related to the accessibility to medical infrastructures. The increasing availability of data automatically collected through unconventional sources (such as webscraping, crowdsourcing or internet of things) recently opened previously unconceivable opportunities to researchers interested in measuring accessibility and to use it as a tool for real-time monitoring, surveillance and health policies definition. This paper contributes to this strand of literature proposing new accessibility measures that can be continuously feeded by automatic data collection. We present new measures of accessibility and we illustrate their use to study the territorial impact of supply-side shocks of health facilities. We also illustrate the potential of our proposal with a case study based on a huge set of data (related to the Emergency Departments in Milan, Italy) that have been webscraped for the purpose of this paper every 5 minutes since November 2021 to March 2022, amounting to approximately 5 million observations.


title: SVARM-IQ: Efficient Approximation of Any-order Shapley Interactions through Stratification

abstract: Addressing the limitations of individual attribution scores via the Shapley value (SV), the field of explainable AI (XAI) has recently explored intricate interactions of features or data points. In particular, extensions of the SV, such as the Shapley Interaction Index (SII), have been proposed as a measure to still benefit from the axiomatic basis of the SV. However, similar to the SV, their exact computation remains computationally prohibitive. Hence, we propose with SVARM-IQ a sampling-based approach to efficiently approximate Shapley-based interaction indices of any order. SVARM-IQ can be applied to a broad class of interaction indices, including the SII, by leveraging a novel stratified representation. We provide non-asymptotic theoretical guarantees on its approximation quality and empirically demonstrate that SVARM-IQ achieves state-of-the-art estimation results in practical XAI scenarios on different model classes and application domains.


title: Influence of resonant plasmonic nanoparticles on optically accessing the valley degree of freedom in 2D semiconductors

abstract: The valley degree of freedom is one of the most intriguing properties of atomically thin transition metal dichalcogenides. Together with the possibility to address this degree of freedom by valley-contrasting optical selection rules, it has the potential to enable a completely new class of future electronic and optoelectronic devices. Resonant optical nanostructures emerge as promising tools for interacting with and controlling the valley degree of freedom at the nanoscale. However, a critical understanding gap remains in how nanostructures and their nearfields affect the circular polarization properties of valley-selective emission hindering further developments in this field. In order to address this issue, our study delves into the experimental investigation of a hybrid model system where valley-specific emission from a monolayer of molybdenum disulfide is interacting with a resonant plasmonic nanosphere. Contrary to the simple intuition suggesting that a centrosymmetric nanoresonator preserves the degree of circular polarization in the forward scattered farfield by angular momentum conservation, our cryogenic photoluminescence microscopy reveals that the light emitted from the nanoparticle position is largely unpolarized, i.e. we observe depolarization. We rigorously study the nature of this phenomenon numerically considering the monolayer-nanoparticle interaction at different levels including excitation and emission. In doing so, we find that the farfield degree of polarization strongly reduces in the hybrid system when including excitons emitting from outside of the system's symmetry point, which in combination with depolarisation at the excitation level causes the observed effect. Our results highlight the importance of considering spatially distributed emitters for precise predictions of polarization responses in these hybrid systems.


title: Pulsar Astrometry in the Presence of Low Frequency Noise

abstract: The following results of dissertation are submitted for defense: 1. Precise measurements of coordinates and proper motion of the pulsar PSR 0329+54 using the VLBI method. 2. Establishing of the reason for the discrepancy between the coordinates of pulsars measured by VLBI and timing methods, which comes down to the influence of low-frequency noise at the time of pulse arrivals (TOAs) from the pulsar. 3. A special method for processing timing observations that allows you to correct TOA - coordinates of pulsars. 4. Theoretical dependencies of the behavior of dispersion of pulsar parameter depending on the observation interval and the type of correlated noise, on the basis of which it became possible to propose a new time scale BPT based on the orbital motion of pulsar in binary system stable over long periods of time (more than 10 years). 5. A theory that explains spontaneous changes in the rotational frequency of pulsars through their interaction with the passing gravitating mass and the theoretical power spectrum of low-frequency fluctuations of the pulsar rotational phase caused by gravitational disturbances from the passage of bodies near the pulsar.


title: Radiative losses and radiation-reaction effects at the first post-Newtonian order in Einstein-Cartan theory

abstract: Gravitational radiation-reaction phenomena occurring in the dynamics of inspiralling compact binary systems are investigated at the first post-Newtonian order beyond the quadrupole approximation in the context of Einstein-Cartan theory, where quantum spin effects are modeled via the Weyssenhoff fluid. We exploit balance equations for the energy and angular momentum to determine the binary orbital decay until the two bodies collide. Our framework deals with both quasi-elliptic and quasi-circular trajectories, which are then smoothly connected. Key observables like the laws of variation of the orbital phase and frequency characterizing the quasi-circular motion are derived analytically. We conclude our analysis with an estimation of the spin contributions at the merger, which are examined both in the time domain and the Fourier frequency space through the stationary wave approximation.

categories: gr-qc astro-ph.HE hep-th math-ph math.MP


title: Relaxation Dynamics in Persistent Epithelial Tissues

abstract: Cell monolayers and epithelial tissues display slow dynamics during the liquid-glass transitions, a phenomenon with direct relevance to embryogenesis, tumor metastases, and wound healing. In active cells, persistent motion and cell deformation compete, significantly influencing relaxation dynamics. Here, we numerically construct the liquid-glass transition phase diagram for two-dimensional polydisperse persistent cells. We employ cage-relative measures and conduct extensive simulations to eliminate the influence of system size effects. These effects arise from long-wavelength fluctuations in nearly equilibrated cells and a combination of long-wavelength fluctuations and non-equilibrium effects in highly persistent cells. Our study unveils distinctive intermittent dynamics associated with intermittent T1 transitions in highly persistent cells, where the velocity correlates over space with a characteristic length $\xi$. The $\alpha$ relaxation time exhibits a universal power-law dependence on the irreversible T1 transition rate, $\Gamma_{\rm{T1}}^{\rm irr}$, multiplied by ${\rm exp}(\xi)$. Here, $\xi$ vanishes in nearly equilibrated cells, and $\Gamma_{\rm{T1}}^{\rm irr}$ diminishes towards the mode-coupling glass transition point.


title: lymph: discontinuous poLYtopal methods for Multi-PHysics differential problems

abstract: We present the library lymph for the finite element numerical discretization of coupled multi-physics problems. lymph is a Matlab library for the discretization of partial differential equations based on high-order discontinuous Galerkin methods on polytopal grids (PolyDG) for spatial discretization coupled with suitable finite-difference time marching schemes. The objective of the paper is to introduce the library by describing it in terms of installation, input/output data, and code structure, highlighting - when necessary - key implementation aspects related to the method. A user guide, proceeding step-by-step in the implementation and solution of a Poisson problem, is also provided. In the last part of the paper, we show the results obtained for several differential problems, namely the Poisson problem, the heat equation, and the elastodynamics system. Through these examples, we show the convergence properties and highlight some of the main features of the proposed method, i.e. geometric flexibility, high-order accuracy, and robustness with respect to heterogeneous physical parameters.


title: The prescribed curvature flow on the disc

abstract: For given functions $f$ and $j$ on the disc $B$ and its boundary $\partial B=S^1$, we study the existence of conformal metrics $g=e^{2u}g_0$ with prescribed Gauss curvature $K_g=f$ and boundary geodesic curvature $k_g=j$. Using the variational characterization of such metrics obtained by Cruz-Blazquez and Ruiz (2018), we show that there is a canonical negative gradient flow of such metrics, either converging to a solution of the prescribed curvature problem, or blowing up to a spherical cap. In the latter case, similar to our work Struwe (2005) on the prescribed curvature problem on the sphere, we are able to exhibit a $2$-dimensional shadow flow for the center of mass of the evolving metrics from which we obtain existence results complementing the results recently obtained by Ruiz (2021) by degree-theory.


title: Tunable circular dichroism through absorption in coupled optical modes of twisted triskelia nanostructures

abstract: We present a system consisting of two stacked chiral plasmonic nanoelements, so-called triskelia, that exhibits a high degree of circular dichroism. The optical modes arising from the interactions between the two elements are the main responsible for the dichroic signal. Their excitation in the absorption cross section is favored when the circular polarization of the light is opposite to the helicity of the system, so that an intense near-field distribution with 3D character is excited between the two triskelia, which in turn causes the dichroic response. Therefore, the stacking, in itself, provides a simple way to tune both the value of the circular dichroism, up to 60%, and its spectral distribution in the visible and near infrared range. We show how these interaction-driven modes can be controlled by finely tuning the distance and the relative twist angle between the triskelia, yielding maximum values of the dichroism at 20{\deg} and 100{\deg} for left- and right-handed circularly polarized light, respectively. Despite the three-fold symmetry of the elements, these two situations are not completely equivalent since the interplay between the handedness of the stack and the chirality of each single element breaks the symmetry between clockwise and anticlockwise rotation angles around 0{\deg}. This reveals the occurrence of clear helicity-dependent resonances. The proposed structure can be thus finely tuned to tailor the dichroic signal for applications at will, such as highly efficient helicity-sensitive surface spectroscopies or single-photon polarization detectors, among others.


title: An Ising Similarity Regression Model for Modeling Multivariate Binary Data

abstract: Understanding the dependence structure between response variables is an important component in the analysis of correlated multivariate data. This article focuses on modeling dependence structures in multivariate binary data, motivated by a study aiming to understand how patterns in different U.S. senators' votes are determined by similarities (or lack thereof) in their attributes, e.g., political parties and social network profiles. To address such a research question, we propose a new Ising similarity regression model which regresses pairwise interaction coefficients in the Ising model against a set of similarity measures available/constructed from covariates. Model selection approaches are further developed through regularizing the pseudo-likelihood function with an adaptive lasso penalty to enable the selection of relevant similarity measures. We establish estimation and selection consistency of the proposed estimator under a general setting where the number of similarity measures and responses tend to infinity. Simulation study demonstrates the strong finite sample performance of the proposed estimator in terms of parameter estimation and similarity selection. Applying the Ising similarity regression model to a dataset of roll call voting records of 100 U.S. senators, we are able to quantify how similarities in senators' parties, businessman occupations and social network profiles drive their voting associations.


title: The golf model on $\mathbb{Z}/n\mathbb{Z}$ and on $\mathbb{Z}$

abstract: We introduce a particle model, that we call the $\textit{golf model}$. Initially, on a graph $G$, balls and holes are placed at random on some distinct vertices. Balls then move one by one, doing a random walk on $G$, starting from their initial vertex and stopping at the first empty hole they encounter, filling it. On finite graphs, under reasonable assumptions (if there are more holes than balls, and if the Markov chain characterizing the random walks is irreducible) a final configuration is reached almost surely. In the paper, we are mainly interested in ${\bf H}^1$, the set of remaining holes. We give the distribution of ${\bf H}^1$ on $\mathbb{Z}/n\mathbb{Z}$, and describe a phase transition on the largest distance between two consecutive holes when the number of remaining holes has order $\sqrt{n}$. We show that the model on $\mathbb{Z}$ is well-defined when every vertex contains either a ball with probability $d_{\sf b}$, a hole with probability $d_{\sf h}$, or nothing, independently from the other vertices, as long as $d_{\sf b} \leq d_{\sf h}$, and we describe the law of ${\bf H}^1$ in this case.


title: Regularity and Separation for $p$-Laplace operators

abstract: We analyze $p$-Laplace operators with degenerate elliptic coefficients. This investigation includes Gru\v{s}in type $p$-Laplace operators. We describe a \emph{separation phenomenon} in elliptic and parabolic $p$-Laplace type equations, which provides an illuminating illustration of simple jump discontinuities of the corresponding weak solutions. Interestingly validity of an isoperimetric inequality for considered setting does not imply continuity of elliptic equations. On the other hand, we are able to establish global $L^1$-$L^\infty$-regularization and decay estimates of every mild solution of the parabolic Gru\v{s}in type $p$-Laplace equation.


title: A proof theory of right-linear (omega-)grammars via cyclic proofs

abstract: Right-linear (or left-linear) grammars are a well-known class of context-free grammars computing just the regular languages. They may naturally be written as expressions with (least) fixed points but with products restricted to letters as left arguments, giving an alternative to the syntax of regular expressions. In this work, we investigate the resulting logical theory of this syntax. Namely, we propose a theory of right-linear algebras (RLA) over of this syntax and a cyclic proof system CRLA for reasoning about them. We show that CRLA is sound and complete for the intended model of regular languages. From here we recover the same completeness result for RLA by extracting inductive invariants from cyclic proofs, rendering the model of regular languages the free right-linear algebra. Finally, we extend system CRLA by greatest fixed points, nuCRLA, naturally modelled by languages of omega-words thanks to right-linearity. We show a similar soundness and completeness result of (the guarded fragment of) nuCRLA for the model of omega-regular languages, employing game theoretic techniques.


title: Partial representations of orderings

abstract: In the present paper a new concept of representability is introduced, which can be applied to not total and also to intransitive relations (semiorders in particular). This idea tries to represent the orderings in the simplest manner, avoiding any unnecessary information. For this purpose, the new concept of representability is developed by means of partial functions, so that other common definitions of representability (i.e. (Richter-Peleg) multi-utility, Scott-Suppes representability,...) are now particular cases in which the partial functions are actually functions. The paper also presents a collection of examples and propositions showing the advantages of this kind of representations, particularly in the case of partial orders and semiorders, as well as some results showing the connections between distinct kinds of representations.


title: Randomized learning-augmented auctions with revenue guarantees

abstract: We consider the fundamental problem of designing a truthful single-item auction with the challenging objective of extracting a large fraction of the highest agent valuation as revenue. Following a recent trend in algorithm design, we assume that the agent valuations belong to a known interval, and a (possibly erroneous) prediction for the highest valuation is available. Then, auction design aims for high consistency and robustness, meaning that, for appropriate pairs of values $\gamma$ and $\rho$, the extracted revenue should be at least a $\gamma$- or $\rho$-fraction of the highest valuation when the prediction is correct for the input instance or not. We characterize all pairs of parameters $\gamma$ and $\rho$ so that a randomized $\gamma$-consistent and $\rho$-robust auction exists. Furthermore, for the setting in which robustness can be a function of the prediction error, we give sufficient and necessary conditions for the existence of robust auctions and present randomized auctions that extract a revenue that is only a polylogarithmic (in terms of the prediction error) factor away from the highest agent valuation.


title: Fast low-temperature irradiation creep driven by athermal defect dynamics

abstract: The occurrence of high stress concentrations in reactor components is a still intractable phenomenon encountered in fusion reactor design. We observe and quantitatively model a non-linear high-dose radiation mediated microstructure evolution effect that facilitates fast stress relaxation in the most challenging low-temperature limit. In situ observations of a tensioned tungsten wire exposed to a high-energy ion beam show that internal stress of up to 2 GPa relaxes within minutes, with the extent and time-scale of relaxation accurately predicted by a parameter-free multiscale model informed by atomistic simulations. As opposed to conventional notions of radiation creep, the effect arises from the self-organisation of nanoscale crystal defects, athermally coalescing into extended polarized dislocation networks that compensate and alleviate the external stress.


title: Privacy-Preserving Face Recognition in Hybrid Frequency-Color Domain

abstract: Face recognition technology has been deployed in various real-life applications. The most sophisticated deep learning-based face recognition systems rely on training millions of face images through complex deep neural networks to achieve high accuracy. It is quite common for clients to upload face images to the service provider in order to access the model inference. However, the face image is a type of sensitive biometric attribute tied to the identity information of each user. Directly exposing the raw face image to the service provider poses a threat to the user's privacy. Current privacy-preserving approaches to face recognition focus on either concealing visual information on model input or protecting model output face embedding. The noticeable drop in recognition accuracy is a pitfall for most methods. This paper proposes a hybrid frequency-color fusion approach to reduce the input dimensionality of face recognition in the frequency domain. Moreover, sparse color information is also introduced to alleviate significant accuracy degradation after adding differential privacy noise. Besides, an identity-specific embedding mapping scheme is applied to protect original face embedding by enlarging the distance among identities. Lastly, secure multiparty computation is implemented for safely computing the embedding distance during model inference. The proposed method performs well on multiple widely used verification datasets. Moreover, it has around 2.6% to 4.2% higher accuracy than the state-of-the-art in the 1:N verification scenario.


title: A Mathematical Theory of Semantic Communication

abstract: The year 1948 witnessed the historic moment of the birth of classic information theory (CIT). Guided by CIT, modern communication techniques have approached the theoretic limitations, such as, entropy function $H(U)$, channel capacity $C=\max_{p(x)}I(X;Y)$ and rate-distortion function $R(D)=\min_{p(\hat{x}|x):\mathbb{E}d(x,\hat{x})\leq D} I(X;\hat{X})$. Semantic communication paves a new direction for future communication techniques whereas the guided theory is missed. In this paper, we try to establish a systematic framework of semantic information theory (SIT). We investigate the behavior of semantic communication and find that synonym is the basic feature so we define the synonymous mapping between semantic information and syntactic information. Stemming from this core concept, synonymous mapping $f$, we introduce the measures of semantic information, such as semantic entropy $H_s(\tilde{U})$, up/down semantic mutual information $I^s(\tilde{X};\tilde{Y})$ $(I_s(\tilde{X};\tilde{Y}))$, semantic capacity $C_s=\max_{f_{xy}}\max_{p(x)}I^s(\tilde{X};\tilde{Y})$, and semantic rate-distortion function $R_s(D)=\min_{\{f_x,f_{\hat{x}}\}}\min_{p(\hat{x}|x):\mathbb{E}d_s(\tilde{x},\hat{\tilde{x}})\leq D}I_s(\tilde{X};\hat{\tilde{X}})$. Furthermore, we prove three coding theorems of SIT by using random coding and (jointly) typical decoding/encoding, that is, the semantic source coding theorem, semantic channel coding theorem, and semantic rate-distortion coding theorem. We find that the limits of SIT are extended by using synonymous mapping, that is, $H_s(\tilde{U})\leq H(U)$, $C_s\geq C$ and $R_s(D)\leq R(D)$. All these works composite the basis of semantic information theory. In addition, we discuss the semantic information measures in the continuous case. For the band-limited Gaussian channel, we obtain a new channel capacity formula, $C_s=B\log\left[S^4\left(1+\frac{P}{N_0B}\right)\right]$.


title: UNIMO-G: Unified Image Generation through Multimodal Conditional Diffusion

abstract: Existing text-to-image diffusion models primarily generate images from text prompts. However, the inherent conciseness of textual descriptions poses challenges in faithfully synthesizing images with intricate details, such as specific entities or scenes. This paper presents UNIMO-G, a simple multimodal conditional diffusion framework that operates on multimodal prompts with interleaved textual and visual inputs, which demonstrates a unified ability for both text-driven and subject-driven image generation. UNIMO-G comprises two core components: a Multimodal Large Language Model (MLLM) for encoding multimodal prompts, and a conditional denoising diffusion network for generating images based on the encoded multimodal input. We leverage a two-stage training strategy to effectively train the framework: firstly pre-training on large-scale text-image pairs to develop conditional image generation capabilities, and then instruction tuning with multimodal prompts to achieve unified image generation proficiency. A well-designed data processing pipeline involving language grounding and image segmentation is employed to construct multi-modal prompts. UNIMO-G excels in both text-to-image generation and zero-shot subject-driven synthesis, and is notably effective in generating high-fidelity images from complex multimodal prompts involving multiple image entities.


title: Sommerfeld Enhancement for Vector Dark Matter in the Fundamental Representation of SU(2)_L

abstract: In this work, we study an extension of the Standard Model which include a new massive vector field in the fundamental representation of SU(2)_L. The neutral component of the new vector field is a natural dark matter candidate. We compute the Annihilation Cross Section with Sommerfeld Enhancement and the Photon Flux arising from Dark Matter annihilation events. We found that the model exhibits a resonant mass part around the range of 2-10 TeV. This resonance is influenced by the choice of portal Higgs coupling parameter. We show that these predictions can be partially tested by CTA in the near future.


title: Memoryless Strategies in Stochastic Reachability Games

abstract: We study concurrent stochastic reachability games played on finite graphs. Two players, Max and Min, seek respectively to maximize and minimize the probability of reaching a set of target states. We prove that Max has a memoryless strategy that is optimal from all states that have an optimal strategy. Our construction provides an alternative proof of this result by Bordais, Bouyer and Le Roux, and strengthens it, as we allow Max's action sets to be countably infinite.


title: Reranking individuals: The effect of fair classification within-groups

abstract: Artificial Intelligence (AI) finds widespread application across various domains, but it sparks concerns about fairness in its deployment. The prevailing discourse in classification often emphasizes outcome-based metrics comparing sensitive subgroups without a nuanced consideration of the differential impacts within subgroups. Bias mitigation techniques not only affect the ranking of pairs of instances across sensitive groups, but often also significantly affect the ranking of instances within these groups. Such changes are hard to explain and raise concerns regarding the validity of the intervention. Unfortunately, these effects remain under the radar in the accuracy-fairness evaluation framework that is usually applied. Additionally, we illustrate the effect of several popular bias mitigation methods, and how their output often does not reflect real-world scenarios.


title: A topological study for the existence of lower-semicontinuous Richter-Peleg multi-utilities

abstract: In the present paper we study necessary and sufficient conditions for the existence of a semicontinuous and finite Richter-Peleg multi-utility for a preorder. It is well know that, given a preorder on a topological space, if there is a lower (upper) semicontinuous Richter-Peleg multi-utility, then the topology of the space must be finer than the Upper (resp. Lower) topology. However, this condition does not guarantee the existence of a semicontinuous representation. We search for finer topologies which are necessary for semicontinuity, as well as that they could guarantee the existence of a semicontinuous representation. As a result, we prove that Scott topology (that refines the Upper one) must be contained in the topology of the space in case there exists a finite lower semicontinuous Richter-Peleg multi-utility. However, as it is shown, the existence of this representation cannot be guaranteed.


title: Effect of continuum states on the double-heavy hadron spectra

abstract: We present the leading order coupling of double-heavy hadrons to heavy hadron pairs in Born-Oppenheimer effective field theory. We obtain the expressions for the contribution of heavy hadron pairs to the masses and widths of double-heavy hadrons. We apply our result for the specific case of the coupling of the lowest lying heavy hybrids and $D_{(s)}^{(*)}\bar{D}_{(s)}^{(*)}(B_{(s)}^{(*)}\bar{B}_{(s)}^{(*)})$ obtaining a set of selection rules for the decays. We build a model for the coupling potential and compute the corresponding decay widths and the contributions to the mass of the heavy hybrids. We compare our results with the experimental exotic quarkonium spectrum and discuss the most likely experimental candidates for quarkonium hybrids.


title: Determining hulls of generalized Reed-Solomon codes from algebraic geometry codes

abstract: In this paper, we provide conditions that hulls of generalized Reed-Solomon (GRS) codes are also GRS codes from algebraic geometry codes. If the conditions are not satisfied, we provide a method of linear algebra to find the bases of hulls of GRS codes and give formulas to compute their dimensions. Besides, we explain that the conditions are too good to be improved by some examples. Moreover, we show self-orthogonal and self-dual GRS codes.


title: Geometric frustration in ordered lattices of plasmonic nanoelements

abstract: Inspired by geometrically frustrated magnetic systems, we present the optical response of three cases of hexagonal lattices of plasmonic nanoelements. All of them were designed using a metal-insulator-metal configuration to enhance absorption of light, with elements in close proximity to exploit near-field coupling, and with triangular symmetry to induce frustration of the dipolar polarization in the gaps between neighboring structures. Both simulations and experimental results demonstrate that these systems behave as perfect absorbers in the visible and/or the near infrared. Besides, the numerical study of the time evolution shows that they exhibit a relatively extended time response over which the system fluctuates between localized and collective modes. It is of particular interest the echoed excitation of surface lattice resonance modes, which are still present at long times because of the geometric frustration inherent to the triangular lattice. It is worth noting that the excitation of collective modes is also enhanced in other types of arrays where dipolar excitations of the nanoelements are hampered by the symmetry of the array. However, we would like to emphasize that the enhancement in triangular arrays can be significantly larger because of the inherent geometric incompatibility of dipolar excitations and three-fold symmetry axes.


title: Rediscussion of eclipsing binaries. Paper XVI. The $\delta$ Scuti / $\gamma$ Dor hybrid pulsator GK Draconis

abstract: GK Dra is a detached eclipsing binary system containing two early-F stars, one evolved, in an orbit with a period of 9.974 d and a small eccentricity. Its eclipsing nature was discovered using Hipparcos data, and pulsations were found in follow-up ground-based data. Extensive observations have been obtained using the Transiting Exoplanet Survey Satellite (TESS), and we use these and published spectroscopy to perform a detailed reanalysis of the system. We determine masses of $1.421 \pm 0.012$ and $1.775 \pm 0.028$ Msun, and radii of $1.634 \pm 0.011$ and $2.859 \pm 0.028$ Rsun. The secondary component is more massive, larger, and slightly cooler than its companion; the eclipses are total. The properties of the system can be matched by theoretical predictions for an age of 1.4 Gyr and a slightly sub-solar metallicity. We measure 15 significant pulsation frequencies in the TESS light curve, of which three are in the frequency domain of $\gamma$ Doradus pulsations and the remaining 12 are $\delta$ Scuti pulsations; the system is thus a hybrid pulsator. The strongest pulsation can be definitively assigned to the secondary star as it has been detected in radial velocities of this object. TESS will observe GK Dra again for ten consecutive sectors in the near future.


title: Rediscussion of eclipsing binaries. Paper XVII. The F-type twin system CW Eridani

abstract: CW Eri is a detached eclipsing binary system of two F-type stars with an orbital period of 2.728 d. Light curves from two sectors of observations with the Transiting Exoplanet Survey Satellite (TESS) and previously published radial velocity data are analysed to determine the system's physical properties to high precision. We find the masses of the two stars to be $1.568 \pm 0.016$ Msun and $1.314 \pm 0.010$ Msun, the radii to be $2.105 \pm 0.007$ Rsun and $1.481 \pm 0.005$ Rsun, and the system's orbit to have an eccentricity of $0.0131 \pm 0.0007$. The quality of the TESS photometry allows the definition of a new high-precision orbital ephemeris, however no evidence of pulsation is found. We derive a distance to the system of $191.7\pm 3.8$ pc, a value consistent with the Gaia DR3 parallax which yields a distance of $187.9^{+0.6}_{-0.9}$ pc. The measured parameters of both stellar components are found to be in agreement with theoretical predictions for a solar chemical composition and an age of 1.7 Gyr.


title: Text Categorization Can Enhance Domain-Agnostic Stopword Extraction

abstract: This paper investigates the role of text categorization in streamlining stopword extraction in natural language processing (NLP), specifically focusing on nine African languages alongside French. By leveraging the MasakhaNEWS, African Stopwords Project, and MasakhaPOS datasets, our findings emphasize that text categorization effectively identifies domain-agnostic stopwords with over 80% detection success rate for most examined languages. Nevertheless, linguistic variances result in lower detection rates for certain languages. Interestingly, we find that while over 40% of stopwords are common across news categories, less than 15% are unique to a single category. Uncommon stopwords add depth to text but their classification as stopwords depends on context. Therefore combining statistical and linguistic approaches creates comprehensive stopword lists, highlighting the value of our hybrid method. This research enhances NLP for African languages and underscores the importance of text categorization in stopword extraction.


title: Real-time Risk Metrics for Programmatic Stablecoin Crypto Asset-Liability Management (CALM)

abstract: Stablecoins have turned out to be the "killer" use case of the growing digital asset space. However, risk management frameworks, including regulatory ones, have been largely absent. In this paper, we address the critical question of measuring and managing risk in stablecoin protocols, which operate on public blockchain infrastructure. The on-chain environment makes it possible to monitor risk and automate its management via transparent smart-contracts in real-time. We propose two risk metrics covering capitalization and liquidity of stablecoin protocols. We then explore in a case-study type analysis how our risk management framework can be applied to DAI, the biggest decentralized stablecoin by market capitalisation to-date, governed by MakerDAO. Based on our findings, we recommend that the protocol explores implementing automatic capital buffer adjustments and dynamic maturity gap matching. Our analysis demonstrates the practical benefits for scalable (prudential) risk management stemming from real-time availability of high-quality, granular, tamper-resistant on-chain data in the digital asset space. We name this approach Crypto Asset-Liability Management (CALM).


title: On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms

abstract: The celebrated Kleene fixed point theorem is crucial in the mathematical modelling of recursive specifications in Denotational Semantics. In this paper we discuss whether the hypothesis of the aforementioned result can be weakened. An affirmative answer to the aforesaid inquiry is provided so that a characterization of those properties that a self-mapping must satisfy in order to guarantee that its set of fixed points is non-empty when no notion of completeness are assumed to be satisfied by the partially ordered set. Moreover, the case in which the partially ordered set is coming from a quasi-metric space is treated in depth. Finally, an application of the exposed theory is obtained. Concretely, a mathematical method to discuss the asymptotic complexity of those algorithms whose running time of computing fulfills a recurrence equation is presented. Moreover, the aforesaid method retrieves the fixed point based methods that appear in the literature for asymptotic complexity analysis of algorithms. However, our new method improves the aforesaid methods because it imposes fewer requirements than those that have been assumed in the literature and, in addition, it allows to state simultaneously upper and lower asymptotic bounds for the running time computing.


title: Perceptually-motivated Spatial Audio Codec for Higher-Order Ambisonics Compression

abstract: Scene-based spatial audio formats, such as Ambisonics, are playback system agnostic and may therefore be favoured for delivering immersive audio experiences to a wide range of (potentially unknown) devices. The number of channels required to deliver high spatial resolution Ambisonic audio, however, can be prohibitive for low-bandwidth applications. Therefore, this paper proposes a compression codec, which is based upon the parametric higher-order Directional Audio Coding (HO-DirAC) model. The encoder downmixes the higher-order Ambisonic (HOA) input audio into a reduced number of signals, which are accompanied by perceptually-motivated scene parameters. The downmixed audio is coded using a perceptual audio coder, whereas the parameters are grouped into perceptual bands, quantized, and downsampled. On the decoder side, low Ambisonic orders are fully recovered. Not fully recoverable HOA components are synthesized according to the parameters. The results of a listening test indicate that the proposed parametric spatial audio codec can improve the adopted perceptual audio coder, especially at low to medium-high bitrates, when applied to fifth-order HOA signals.


title: One-loop electroweak radiative corrections to polarized $e^+e^- \to Z Z$ process

abstract: In the paper we recalculate and discuss high-precision theoretical predictions for cross sections of the process $e^+e^- \to Z Z$. We assume a complete one-loop implementation and a possibility of estimating the initial state polarizations, as well as the full-phase calculation. Numerical results are provided by our Monte-Carlo tools MCSANC integrator and ReneSANCe generator for typical energies and degrees of polarization of ILC and CLIC projects in two $\alpha(0)$ and G$_{\mu}$ electroweak schemes.


title: SEDNet: Shallow Encoder-Decoder Network for Brain Tumor Segmentation

abstract: Despite the advancement in computational modeling towards brain tumor segmentation, of which several models have been developed, it is evident from the computational complexity of existing models which are still at an all-time high, that performance and efficiency under clinical application scenarios are limited. Therefore, this paper proposes a shallow encoder and decoder network named SEDNet for brain tumor segmentation. The proposed network is adapted from the U-Net structure. Though brain tumors do not assume complex structures like the task the traditional U-Net was designed for, their variance in appearance, shape, and ambiguity of boundaries makes it a compelling complex task to solve. SEDNet architecture design is inspired by the localized nature of brain tumors in brain images, thus consists of sufficient hierarchical convolutional blocks in the encoding pathway capable of learning the intrinsic features of brain tumors in brain slices, and a decoding pathway with selective skip path sufficient for capturing miniature local-level spatial features alongside the global-level features of brain tumor. SEDNet with the integration of the proposed preprocessing algorithm and optimization function on the BraTS2020 set reserved for testing achieves impressive dice and Hausdorff scores of 0.9308, 0.9451, 0.9026, and 0.7040, 1.2866, 0.7762 for non-enhancing tumor core (NTC), peritumoral edema (ED), and enhancing tumor (ET), respectively. Furthermore, through transfer learning with initialized SEDNet pre-trained weights, termed SEDNetX, a performance increase is observed. The dice and Hausdorff scores recorded are 0.9336, 0.9478, 0.9061, 0.6983, 1.2691, and 0.7711 for NTC, ED, and ET, respectively. With about 1.3 million parameters and impressive performance in comparison to the state-of-the-art, SEDNet(X) is shown to be computationally efficient for real-time clinical diagnosis.


title: Hidden symmetries of a self-dual monopole

abstract: The symmetries of a spinning particle in the field of a self-dual monopole are studied from the viewpoint of supersymmetric quantum mechanics.


title: Synthetic data enables faster annotation and robust segmentation for multi-object grasping in clutter

abstract: Object recognition and object pose estimation in robotic grasping continue to be significant challenges, since building a labelled dataset can be time consuming and financially costly in terms of data collection and annotation. In this work, we propose a synthetic data generation method that minimizes human intervention and makes downstream image segmentation algorithms more robust by combining a generated synthetic dataset with a smaller real-world dataset (hybrid dataset). Annotation experiments show that the proposed synthetic scene generation can diminish labelling time dramatically. RGB image segmentation is trained with hybrid dataset and combined with depth information to produce pixel-to-point correspondence of individual segmented objects. The object to grasp is then determined by the confidence score of the segmentation algorithm. Pick-and-place experiments demonstrate that segmentation trained on our hybrid dataset (98.9%, 70%) outperforms the real dataset and a publicly available dataset by (6.7%, 18.8%) and (2.8%, 10%) in terms of labelling and grasping success rate, respectively. Supplementary material is available at https://sites.google.com/view/synthetic-dataset-generation.


title: Entanglement harvesting in cosmic string spacetime

abstract: We study the entanglement harvesting phenomenon for static detectors locally interacting with massless scalar fields in the cosmic string spacetime which is locally flat but with a conical structure characterized by a deficit angle. Specifically, three alignments of the detectors with respect to the string, i.e., parallel and vertical alignments with the detectors on the same side of the string, and vertical alignment with the detectors on two different sides, are examined. For the alignments on the same side of the string, we find that the presence of a cosmic string may either assist or inhibit entanglement harvesting both in the sense of the entanglement harvested and the harvesting-achievable range of interdetector separation depending on the detector-to-string distance, and this is remarkably different from the case of a locally flat spacetime with a reflecting boundary where the boundary always enlarges the harvesting-achievable range. For the alignment with detectors on two different sides of the string, the detectors notably can always harvest more entanglement than those in flat spacetime without a cosmic string, which is in sharp contrast to those on the same side. Interestingly, the presence of a cosmic string enlarges the harvesting-achievable range for the detectors in vertical alignment only in the vicinity of the string, while it always reduces the harvesting-achievable range for the detectors in parallel alignment.