title: Consensus-based Distributed Variational Multi-object Tracker in Multi-Sensor Network

abstract: The growing need for accurate and reliable tracking systems has driven significant progress in sensor fusion and object tracking techniques. In this paper, we design two variational Bayesian trackers that effectively track multiple targets in cluttered environments within a sensor network. We first present a centralised sensor fusion scheme, which involves transmitting sensor data to a fusion center. Then, we develop a distributed version leveraging the average consensus algorithm, which is theoretically equivalent to the centralised sensor fusion tracker and requires only local message passing with neighbouring sensors. In addition, we empirically verify that our proposed distributed variational tracker performs on par with the centralised version with equal tracking accuracy. Simulation results show that our distributed multi-target tracker outperforms the suboptimal distributed sensor fusion strategy that fuses each sensor's posterior based on arithmetic sensor fusion and an average consensus strategy.


title: Potential-well bunch lengthening in electron storage rings

abstract: The cubic equation derived by B. Zotter has been popularly used for electron storage rings to describe the scaling law of potential-well bunch lengthening. This equation has also often been used to calculate the effective impedance when the bunch lengthening is measured or simulated. This paper discusses the validity of Zotter's equation and presents an alternative but self-consistent equation for potential-well bunch lengthening. Its applications to predicting bunch lengthening and extracting effective impedance from bunch length measurements are also addressed.


title: Testing precision and accuracy of weak value measurements in an IBM quantum system

abstract: Historically, weak values have been associated with weak measurements performed on quantum systems. Over the past two decades, a series of works have shown that weak values can be determined via measurements of arbitrary strength. One such proposal by Denkmayr et al. [Phys. Rev. Lett. 118, 010402 (2017)], carried out in neutron interferometry experiments, yielded better outcomes for strong than for weak measurements. We extend this scheme and explain how to implement it in an optical setting as well as in a quantum computational context. Our implementation in a quantum computing system provided by IBM confirms that weak values can be measured, with varying degrees of performance, over a range of measurement strengths. However, at least for this model, strong measurements do not always perform better than weak ones.


title: RenAIssance: A Survey into AI Text-to-Image Generation in the Era of Large Model

abstract: Text-to-image generation (TTI) refers to the usage of models that could process text input and generate high fidelity images based on text descriptions. Text-to-image generation using neural networks could be traced back to the emergence of Generative Adversial Network (GAN), followed by the autoregressive Transformer. Diffusion models are one prominent type of generative model used for the generation of images through the systematic introduction of noises with repeating steps. As an effect of the impressive results of diffusion models on image synthesis, it has been cemented as the major image decoder used by text-to-image models and brought text-to-image generation to the forefront of machine-learning (ML) research. In the era of large models, scaling up model size and the integration with large language models have further improved the performance of TTI models, resulting the generation result nearly indistinguishable from real-world images, revolutionizing the way we retrieval images. Our explorative study has incentivised us to think that there are further ways of scaling text-to-image models with the combination of innovative model architectures and prediction enhancement techniques. We have divided the work of this survey into five main sections wherein we detail the frameworks of major literature in order to delve into the different types of text-to-image generation methods. Following this we provide a detailed comparison and critique of these methods and offer possible pathways of improvement for future work. In the future work, we argue that TTI development could yield impressive productivity improvements for creation, particularly in the context of the AIGC era, and could be extended to more complex tasks such as video generation and 3D generation.


title: A double-decomposition based parallel exact algorithm for the feedback length minimization problem

abstract: Product development projects usually contain many interrelated activities with complex information dependences, which induce activity rework, project delay and cost overrun. To reduce negative impacts, scheduling interrelated activities in an appropriate sequence is an important issue for project managers. This study develops a double-decomposition based parallel branch-and-prune algorithm, to determine the optimal activity sequence that minimizes the total feedback length (FLMP). This algorithm decomposes FLMP from two perspectives, which enables the use of all available computing resources to solve subproblems concurrently. In addition, we propose a result-compression strategy and a hash-address strategy to enhance this algorithm. Experimental results indicate that our algorithm can find the optimal sequence for FLMP up to 27 activities within 1 hour, and outperforms state of the art exact algorithms.


title: Chirality-dependent persistent spin current in single circular helix molecules

abstract: Since the chiral-induced spin selectivity (CISS) was first observed experimentally, its microscopic mechanism has been continuously explored by the scientific community. Among these investigations, the non-equilibrium effects and the unknown origins of spin-orbit coupling (SOC) have been the central issues discussed in recent years. Here, we have achieved a persistent spin current in different circular single-helix molecule driven by a magnetic field, which is inherently linked to the equilibrium state associated with chirality. Due to its measurement method being different from the transport currents observed in previous experiments, the origin of its spin-orbit coupling can be explored by modifying the substrate with different light and heavy metal elements. Our results demonstrate that a persistent spin current can be observed regardless of whether the SOC originates from the chiral molecule or the substrate. Furthermore, by tuning the direction of the magnetic field, we can achieve a phase transition between trivial and non-trivial chiral persistent spin currents. Our work provides a new perspective and platform for exploring the nature of CISS and controlling the effects of CISS.


title: Side Ridge in Ar + KCl Collisions at 1.8 GeV/nucleon with Reaction-Plane Deblurring

abstract: Reaction-plane deblurring is applied to the triple-differential distributions of protons, deuterons and negatively charged pions from central Ar + KCl collisions at 1.8 GeV/nucleon, measured with the LBL-GSI Streamer Chamber, to yield distributions relative to the true reaction plane of the collisions. Within the reaction plane and in the forward cm rapidity region a side ridge away from the beam axis is observed: the distributions peak away from the beam direction for protons and deuterons but not for pions. These findings are consistent with a source of particles moving at an in-plane transverse velocity of ~0.1 c. Transport pBUU calculations yield results in semi-quantitative agreement with those from the data.


title: Bypassing the Simulator: Near-Optimal Adversarial Linear Contextual Bandits

abstract: We consider the adversarial linear contextual bandit problem, where the loss vectors are selected fully adversarially and the per-round action set (i.e. the context) is drawn from a fixed distribution. Existing methods for this problem either require access to a simulator to generate free i.i.d. contexts, achieve a sub-optimal regret no better than $\widetilde{O}(T^{\frac{5}{6}})$, or are computationally inefficient. We greatly improve these results by achieving a regret of $\widetilde{O}(\sqrt{T})$ without a simulator, while maintaining computational efficiency when the action set in each round is small. In the special case of sleeping bandits with adversarial loss and stochastic arm availability, our result answers affirmatively the open question by Saha et al. [2020] on whether there exists a polynomial-time algorithm with $poly(d)\sqrt{T}$ regret. Our approach naturally handles the case where the loss is linear up to an additive misspecification error, and our regret shows near-optimal dependence on the magnitude of the error.


title: Limiting Behaviour of Poisson-Dirichlet and Generalised Poisson-Dirichlet Distributions

abstract: We derive large-sample and other limiting distributions of the ``frequency of frequencies'' vector, ${\bf M_n}$, together with the number of species, $K_n$, in a Poisson-Dirichlet or generalised Poisson-Dirichlet gene or species sampling model. Models analysed include those constructed from gamma and $\alpha$-stable subordinators by Kingman, the two-parameter extension by Pitman and Yor, and another two-parameter version constructed by omitting large jumps from an $\alpha$-stable subordinator. In the Poisson-Dirichlet case ${\bf M_n}$ and $K_n$ turn out to be asymptotically independent, and notable, especially for statistical applications, is that in other cases the conditional limiting distribution of ${\bf M_n}$, given $K_n$, is normal, after certain centering and norming.


title: Trustworthiness-Driven Graph Convolutional Networks for Signed Network Embedding

abstract: The problem of representing nodes in a signed network as low-dimensional vectors, known as signed network embedding (SNE), has garnered considerable attention in recent years. While several SNE methods based on graph convolutional networks (GCN) have been proposed for this problem, we point out that they significantly rely on the assumption that the decades-old balance theory always holds in the real-world. To address this limitation, we propose a novel GCN-based SNE approach, named as TrustSGCN, which corrects for incorrect embedding propagation in GCN by utilizing the trustworthiness on edge signs for high-order relationships inferred by the balance theory. The proposed approach consists of three modules: (M1) generation of each node's extended ego-network; (M2) measurement of trustworthiness on edge signs; and (M3) trustworthiness-aware propagation of embeddings. Furthermore, TrustSGCN learns the node embeddings by leveraging two well-known societal theories, i.e., balance and status. The experiments on four real-world signed network datasets demonstrate that TrustSGCN consistently outperforms five state-of-the-art GCN-based SNE methods. The code is available at https://github.com/kmj0792/TrustSGCN.


title: Soil Image Segmentation Based on Mask R-CNN

abstract: The complex background in the soil image collected in the field natural environment will affect the subsequent soil image recognition based on machine vision. Segmenting the soil center area from the soil image can eliminate the influence of the complex background, which is an important preprocessing work for subsequent soil image recognition. For the first time, the deep learning method was applied to soil image segmentation, and the Mask R-CNN model was selected to complete the positioning and segmentation of soil images. Construct a soil image dataset based on the collected soil images, use the EISeg annotation tool to mark the soil area as soil, and save the annotation information; train the Mask R-CNN soil image instance segmentation model. The trained model can obtain accurate segmentation results for soil images, and can show good performance on soil images collected in different environments; the trained instance segmentation model has a loss value of 0.1999 in the training set, and the mAP of the validation set segmentation (IoU=0.5) is 0.8804, and it takes only 0.06s to complete image segmentation based on GPU acceleration, which can meet the real-time segmentation and detection of soil images in the field under natural conditions. You can get our code in the Conclusions. The homepage is https://github.com/YidaMyth.


title: Beam Test of the First Prototype of SiPM-on-Tile Calorimeter Insert for the Electron-Ion Collider Using 4 GeV Positrons at Jefferson Laboratory

abstract: We recently proposed a high-granularity calorimeter insert for the Electron-Ion Collider (EIC) that uses plastic scintillator tiles read out by SiPMs. Among its innovative features are an ASIC-away-of-SiPM strategy for reducing cooling requirements and minimizing space use, along with employing 3D-printed frames to reduce optical crosstalk and dead areas. To evaluate these features, we built a 40-channel prototype and tested it using a 4 GeV positron beam at Jefferson Laboratory. The measured energy spectra and 3D shower shapes are well described by simulations, confirming the effectiveness of the design, construction techniques, and calibration strategy. This constitutes the first use of SiPM-on-tile technology in EIC detector designs.


title: Mixed Reality: The Interface of the Future

abstract: The world is slowly moving towards everything being simulated digitally and virtually. Mixed Reality (MR) is the amalgam of the real world with virtual stimuli. It has great prospects in the future in terms of various applications additionally with some challenges. This paper focuses on how Mixed Reality could be used in the future along with the challenges that could arise. Several application areas along with the potential benefits are studied in this research. Three research questions are proposed, analyzed, and concluded through the experiments. While the availability of MR devices could introduce a lot of potential, specific challenges need to be scrutinized by the developers and manufacturers. Overall, MR technology has a chance to enhance personalized, supportive, and interactive experiences for human lives.


title: Jupiter Atmospheric Models and Outer Boundary Conditions for Giant Planet Evolutionary Calculations

abstract: We present updated atmospheric tables suitable for calculating the post-formation evolution and cooling of Jupiter and Jupiter-like exoplanets. These tables are generated using a 1D radiative transfer modeling code that incorporates the latest opacities and realistic prescriptions for stellar irradiation and ammonia clouds. To ensure the accuracy of our model parameters, we calibrate them against the measured temperature structure and geometric albedo spectrum of Jupiter, its effective temperature, and its inferred internal temperature. As a test case, we calculate the cooling history of Jupiter using an adiabatic and homogeneous interior and compare with extant models now used to evolve Jupiter and the giant planets. We find that our model reasonably matches Jupiter after evolving a hot-start initial condition to the present age of the solar system, with a discrepancy in brightness temperature/radius within two per cent. Our algorithm allows us to customize for different cloud, irradiation, and metallicity parameters. This class of boundary conditions can be used to study the evolution of solar-system giant planets and exoplanets with more complicated interior structures and non-adiabatic, inhomogeneous internal profiles.


title: On the Treatment of Melanoma: A Mathematical Model of Oncolytic Virotherapy

abstract: We develop and analyze a mathematical model of oncolytic virotherapy in the treatment of melanoma. We begin with a special, local case of the model, in which we consider the dynamics of the tumour cells in the presence of an oncolytic virus at the primary tumour site. We then consider the more general regional model, in which we incorporate a linear network of lymph nodes through which the tumour cells and the oncolytic virus may spread. The modelling also considers the impact of hypoxia on the disease dynamics. The modelling takes into account both the effects of hypoxia on tumour growth and spreading, as well as the impact of hypoxia on oncolytic virotherapy as a treatment modality. We find that oxygen-rich environments are favourable for the use of adenoviruses as oncolytic agents, potentially suggesting the use of complementary external oxygenation as a key aspect of treatment. Furthermore, the delicate balance between a virus' infection capabilities and its oncolytic capabilities should be considered when engineering an oncolytic virus. If the virus is too potent at killing tumour cells while not being sufficiently effective at infecting them, the infected tumour cells are destroyed faster than they are able to infect additional tumour cells, leading less favourable clinical results. Numerical simulations are performed in order to support the analytic results and to further investigate the impact of various parameters on the outcomes of treatment. Our modelling provides further evidence indicating the importance of three key factors in treatment outcomes: tumour microenvironment oxygen concentration, viral infection rates, and viral oncolysis rates. The numerical results also provide some estimates on these key model parameters which may be useful in the engineering of oncolytic adenoviruses.


title: Time-dependent finite-dimensional dynamical system representation of breather solutions

abstract: A concept of finite-dimensional dynamical system representation is introduced. Since the solution trajectory of partial differential equations are usually represented within infinite-dimensional dynamical systems, the proposed finite-dimensional representation provides decomposed snapshots of time evolution. Here we focus on analyzing the breather solutions of nonlinear Klein-Gordon equations, and such a solution is shown to form a geometrical object within finite-dimensional dynamical systems. In this paper, based on high-precision numerical scheme, we represent the breather solutions of the nonlinear Klein-Gordon equation as the time evolving trajectory on a finite-dimensional dynamical system. Consequently, with respect to the evolution of finite-dimensional dynamical systems, we confirm that the rotational motion around multiple fixed points plays a role in realizing the breather solutions. Also, such a specific feature of breather solution provides us to understand mathematical mechanism of realizing the coexistence of positive and negative parts in nonlinear systems.


title: The quantum Harish-Chandra isomorphism for GL$_n$

abstract: We prove that for generic parameters, the quantum radial parts map of Varagnolo and Vasserot gives an isomorphism between the spherical double affine Hecke algebra of $GL_n$ and a quantized multiplicative quiver variety, as defined by Jordan.


title: Leveraging Semi-Supervised Graph Learning for Enhanced Diabetic Retinopathy Detection

abstract: Diabetic Retinopathy (DR) is a significant cause of blindness globally, highlighting the urgent need for early detection and effective treatment. Recent advancements in Machine Learning (ML) techniques have shown promise in DR detection, but the availability of labeled data often limits their performance. This research proposes a novel Semi-Supervised Graph Learning SSGL algorithm tailored for DR detection, which capitalizes on the relationships between labelled and unlabeled data to enhance accuracy. The work begins by investigating data augmentation and preprocessing techniques to address the challenges of image quality and feature variations. Techniques such as image cropping, resizing, contrast adjustment, normalization, and data augmentation are explored to optimize feature extraction and improve the overall quality of retinal images. Moreover, apart from detection and diagnosis, this work delves into applying ML algorithms for predicting the risk of developing DR or the likelihood of disease progression. Personalized risk scores for individual patients are generated using comprehensive patient data encompassing demographic information, medical history, and retinal images. The proposed Semi-Supervised Graph learning algorithm is rigorously evaluated on two publicly available datasets and is benchmarked against existing methods. Results indicate significant improvements in classification accuracy, specificity, and sensitivity while demonstrating robustness against noise and outlie rs.Notably, the proposed algorithm addresses the challenge of imbalanced datasets, common in medical image analysis, further enhancing its practical applicability.


title: Magic momenta and three dimensional Landau levels from a three dimensional graphite moir\'e superlattice

abstract: Twisted bilayer graphene (TBG) and other quasi-two-dimensional moir\'e superlattices have attracted significant attention due to the emergence of various correlated and topological states associated with the flat bands in these systems. In this work, we theoretically explore the physical properties of a new type of \textit{three dimensional graphite moir\'e superlattice}, the bulk alternating twisted graphite (ATG) system with homogeneous twist angle, which is grown by in situ chemical vapor decomposition method. Compared to TBG, the bulk ATG system is bestowed with an additional wavevector degrees of freedom due to the extra dimensionality. As a result, we find that when the twist angle of bulk ATG is smaller than twice of the magic angle of TBG, there always exist ``magic momenta" at which the in-plane Fermi velocities of the moir\'e bands vanish. Moreover, topologically distinct flat bands of TBG at different magic angles can even co-exist at different out-of-plane wavevectors in a single bulk ATG system. Most saliently, when the twist angle is relatively large, exactly dispersionless three dimensional zeroth Landau level would emerge in the bulk ATG, which may give rise to robust three dimensional quantum Hall effects over a large range of twist angles.


title: Metrical properties of finite product of partial quotients in arithmetic progressions

abstract: We investigate the dynamics of continued fractions and explore the ergodic behaviour of the products of mixed partial quotients in continued fractions of real numbers. For any function $\Phi:\mathbb N\to [2,+\infty)$ and any integer $d\geq 1$, we determine the Lebesgue measure and Hausdorff dimension of the set of real numbers for which the product of partial quotients in arithmetic progressions satisfy $a_n(x)a_{2n}(x)\cdots a_{dn}(x)\geq \Phi(n)$ for infinitely many positive integers $n$. Our findings shed light on the size of the set of exceptions to Bourgain's (1988) and Host and Kra's (2005) theorems concerning the convergence of multiple ergodic averages for Gauss dynamical systems. By exploring the Hausdorff dimension of these sets, we gain valuable insights into the behaviour of such exceptions. Overall, our research contributes to a deeper understanding of the dynamics of continued fractions and their connection to the convergence properties of ergodic averages in Gauss dynamical systems.


title: Few shot font generation via transferring similarity guided global style and quantization local style

abstract: Automatic few-shot font generation (AFFG), aiming at generating new fonts with only a few glyph references, reduces the labor cost of manually designing fonts. However, the traditional AFFG paradigm of style-content disentanglement cannot capture the diverse local details of different fonts. So, many component-based approaches are proposed to tackle this problem. The issue with component-based approaches is that they usually require special pre-defined glyph components, e.g., strokes and radicals, which is infeasible for AFFG of different languages. In this paper, we present a novel font generation approach by aggregating styles from character similarity-guided global features and stylized component-level representations. We calculate the similarity scores of the target character and the referenced samples by measuring the distance along the corresponding channels from the content features, and assigning them as the weights for aggregating the global style features. To better capture the local styles, a cross-attention-based style transfer module is adopted to transfer the styles of reference glyphs to the components, where the components are self-learned discrete latent codes through vector quantization without manual definition. With these designs, our AFFG method could obtain a complete set of component-level style representations, and also control the global glyph characteristics. The experimental results reflect the effectiveness and generalization of the proposed method on different linguistic scripts, and also show its superiority when compared with other state-of-the-art methods. The source code can be found at https://github.com/awei669/VQ-Font.


title: When 3D Bounding-Box Meets SAM: Point Cloud Instance Segmentation with Weak-and-Noisy Supervision

abstract: Learning from bounding-boxes annotations has shown great potential in weakly-supervised 3D point cloud instance segmentation. However, we observed that existing methods would suffer severe performance degradation with perturbed bounding box annotations. To tackle this issue, we propose a complementary image prompt-induced weakly-supervised point cloud instance segmentation (CIP-WPIS) method. CIP-WPIS leverages pretrained knowledge embedded in the 2D foundation model SAM and 3D geometric prior to achieve accurate point-wise instance labels from the bounding box annotations. Specifically, CP-WPIS first selects image views in which 3D candidate points of an instance are fully visible. Then, we generate complementary background and foreground prompts from projections to obtain SAM 2D instance mask predictions. According to these, we assign the confidence values to points indicating the likelihood of points belonging to the instance. Furthermore, we utilize 3D geometric homogeneity provided by superpoints to decide the final instance label assignments. In this fashion, we achieve high-quality 3D point-wise instance labels. Extensive experiments on both Scannet-v2 and S3DIS benchmarks demonstrate that our method is robust against noisy 3D bounding-box annotations and achieves state-of-the-art performance.


title: Characterizing the forbidden pairs for graphs to be super-edge-connected

abstract: Let $\mathcal{H}$ be a set of given connected graphs. A graph $G$ is said to be $\mathcal{H}$-free if $G$ contains no $H$ as an induced subgraph for any $H\in \mathcal{H}$. The graph $G$ is super-edge-connected if each minimum edge-cut isolates a vertex in $G$. In this paper, except for some special graphs, we characterize all forbidden subgraph sets $\mathcal{H}$ such that every $\mathcal{H}$-free is super-edge-connected for $|\mathcal{H}|=1$ and $2$.


title: On strong algebrability of families of non-measurable functions of two variables

abstract: Recently Tomasz Natkaniec in [On lineability of families of non-measurable functions of two variable. Rev. R. Acad. Cienc. Exactas F\'is. Nat. Ser. A Mat. RACSAM, 115(1):Paper No. 33, 10, 2021] studied the lineability problem for several classes of non-measurable functions in two variables. In this note we improve his results in the direction of algebrability. In particular, we show that most of the classes considered by Natkaniec contain free algebras with $2^{\mathfrak{c}}$ many generators.


title: Multi-scale, Data-driven and Anatomically Constrained Deep Learning Image Registration for Adult and Fetal Echocardiography

abstract: Temporal echocardiography image registration is a basis for clinical quantifications such as cardiac motion estimation, myocardial strain assessments, and stroke volume quantifications. In past studies, deep learning image registration (DLIR) has shown promising results and is consistently accurate and precise, requiring less computational time. We propose that a greater focus on the warped moving image's anatomic plausibility and image quality can support robust DLIR performance. Further, past implementations have focused on adult echocardiography, and there is an absence of DLIR implementations for fetal echocardiography. We propose a framework that combines three strategies for DLIR in both fetal and adult echo: (1) an anatomic shape-encoded loss to preserve physiological myocardial and left ventricular anatomical topologies in warped images; (2) a data-driven loss that is trained adversarially to preserve good image texture features in warped images; and (3) a multi-scale training scheme of a data-driven and anatomically constrained algorithm to improve accuracy. Our tests show that good anatomical topology and image textures are strongly linked to shape-encoded and data-driven adversarial losses. They improve different aspects of registration performance in a non-overlapping way, justifying their combination. Despite fundamental distinctions between adult and fetal echo images, we show that these strategies can provide excellent registration results in both adult and fetal echocardiography using the publicly available CAMUS adult echo dataset and our private multi-demographic fetal echo dataset. Our approach outperforms traditional non-DL gold standard registration approaches, including Optical Flow and Elastix. Registration improvements could be translated to more accurate and precise clinical quantification of cardiac ejection fraction, demonstrating a potential for translation.


title: ObjectLab: Automated Diagnosis of Mislabeled Images in Object Detection Data

abstract: Despite powering sensitive systems like autonomous vehicles, object detection remains fairly brittle in part due to annotation errors that plague most real-world training datasets. We propose ObjectLab, a straightforward algorithm to detect diverse errors in object detection labels, including: overlooked bounding boxes, badly located boxes, and incorrect class label assignments. ObjectLab utilizes any trained object detection model to score the label quality of each image, such that mislabeled images can be automatically prioritized for label review/correction. Properly handling erroneous data enables training a better version of the same object detection model, without any change in existing modeling code. Across different object detection datasets (including COCO) and different models (including Detectron-X101 and Faster-RCNN), ObjectLab consistently detects annotation errors with much better precision/recall compared to other label quality scores.


title: Temperature Dependence of a Depth-Encoded System for Polarization-Sensitive Optical Coherence Tomography using a PM Fiber

abstract: A polarization-sensitive optical coherence tomography (PS-OCT) system is able to not only show the structure of samples through the analysis of backscattered light, but is also capable of determining their polarimetric properties. This is an extra functionality to OCT which allows the retardance and axis orientation of a bulk sample to be determined. Here, we describe the temperature instabilities of a depth-encoded, multiple input state PS-OCT system, where two waves corresponding to two orthogonal states in the interrogating beam are delayed using a 5-meter long polarization-maintaning (PM) fiber. It is shown that the temperature not only affects the delay between the two relatively delayed waves, but also the amount of mismatched dispersion in the interferometer, which ultimately affects the achievable axial resolution in the system. To this end, the technique of complex master/slave interferometry (CMSI) can be used as an option to mitigate this effect.


title: Approximating Fair $k$-Min-Sum-Radii in $\mathbb{R}^d$

abstract: The $k$-center problem is a classical clustering problem in which one is asked to find a partitioning of a point set $P$ into $k$ clusters such that the maximum radius of any cluster is minimized. It is well-studied. But what if we add up the radii of the clusters instead of only considering the cluster with maximum radius? This natural variant is called the $k$-min-sum-radii problem. It has become the subject of more and more interest in recent years, inspiring the development of approximation algorithms for the $k$-min-sum-radii problem in its plain version as well as in constrained settings. We study the problem for Euclidean spaces $\mathbb{R}^d$ of arbitrary dimension but assume the number $k$ of clusters to be constant. In this case, a PTAS for the problem is known (see Bandyapadhyay, Lochet and Saurabh, SoCG, 2023). Our aim is to extend the knowledge base for $k$-min-sum-radii to the domain of fair clustering. We study several group fairness constraints, such as the one introduced by Chierichetti et al. (NeurIPS, 2017). In this model, input points have an additional attribute (e.g., colors such as red and blue), and clusters have to preserve the ratio between different attribute values (e.g., have the same fraction of red and blue points as the ground set). Different variants of this general idea have been studied in the literature. To the best of our knowledge, no approximative results for the fair $k$-min-sum-radii problem are known, despite the immense amount of work on the related fair $k$-center problem. We propose a PTAS for the fair $k$-min-sum-radii problem in Euclidean spaces of arbitrary dimension for the case of constant $k$. To the best of our knowledge, this is the first PTAS for the problem. It works for different notions of group fairness.


title: GENDIRECT: a GENeralized DIRECT-type algorithmic framework for derivative-free global optimization

abstract: Over the past three decades, numerous articles have been published discussing the renowned DIRECT algorithm (DIvididing RECTangles). These articles present innovative ideas to enhance its performance and adapt it to various types of optimization problems. A comprehensive collection of deterministic, derivative-free algorithmic implementations based on the DIRECT framework has recently been introduced as part of the DIRECTGO project. DIRECTGO empowers users to conveniently employ diverse DIRECT-type algorithms, enabling efficient solutions to practical optimization problems. Despite their variations, DIRECT-type algorithms share a common algorithmic structure and typically differ only at certain steps. Therefore, we propose GENDIRECT -- GENeralized DIRECT-type framework that encompasses and unifies DIRECT-type algorithms into a single, generalized framework within this paper. GENDIRECT offers a practical alternative to the creation of yet another ``new'' DIRECT-type algorithm that closely resembles existing ones. Instead, GENDIRECT allows the efficient generation of known or novel DIRECT-type optimization algorithms by assembling different algorithmic components. This approach provides considerably more flexibility compared to both the DIRECTGO toolbox and individual DIRECT-type algorithms. A few hundred thousand DIRECT-type algorithms can be combined using GENDIRECT, facilitating users' easy customization and the addition of new algorithmic components. By modifying specific components of five highly promising DIRECT-type algorithms found in the existing literature using GENDIRECT, the significant potential of GENDIRECT has been demonstrated. The resulting newly developed improved approaches exhibit greater efficiency and enhanced robustness in dealing with problems of varying complexity.


title: An Isotropic Discretization with Semi-implicit Approach for Phase Field Model of Alloy Solidification

abstract: Quantitative phase field models have been extensively used to study the solidification behavior of alloys under different conditions. However, a longstanding challenge of phase field models is the directional bias caused by the discretization-induced lattice effects. In particular, widely used discretization methods may introduce significant spurious anisotropy for simulations of polycrystalline solidification. In this paper, we demonstrate a feasible 2D discretization strategy utilizing a hexagonal mesh to reduce the lattice-induced anisotropy of the phase field model. The leading differential terms of the 2D discretization methods are analyzed by using known methods in Fourier space. Using Taylor expansion of discrete Fourier Transform up to sixth order, we found that the proposed discretization strategy is more accurate and isotropic than other methods, including the isotropic discretization recently proposed by Ji et al.[1]. Additionally, the proposed 2D discretization method can be easily incorporated into a semi-implicit algorithm to solve phase field equations, thereby greatly reducing time step constraints and improving computational efficiency compared to explicit approaches. To prove the accuracy and efficiency of the proposed isotropic discretization with semi-implicit algorithm, 2D simulations of alloy solidification with different discretization schemes were performed and compared. We show that the proposed discretization using a hexagonal mesh can drastically reduce grid-induced anisotropy compared to conventional methods.


title: Autonomous Soft Tissue Retraction Using Demonstration-Guided Reinforcement Learning

abstract: In the context of surgery, robots can provide substantial assistance by performing small, repetitive tasks such as suturing, needle exchange, and tissue retraction, thereby enabling surgeons to concentrate on more complex aspects of the procedure. However, existing surgical task learning mainly pertains to rigid body interactions, whereas the advancement towards more sophisticated surgical robots necessitates the manipulation of soft bodies. Previous work focused on tissue phantoms for soft tissue task learning, which can be expensive and can be an entry barrier to research. Simulation environments present a safe and efficient way to learn surgical tasks before their application to actual tissue. In this study, we create a Robot Operating System (ROS)-compatible physics simulation environment with support for both rigid and soft body interactions within surgical tasks. Furthermore, we investigate the soft tissue interactions facilitated by the patient-side manipulator of the DaVinci surgical robot. Leveraging the pybullet physics engine, we simulate kinematics and establish anchor points to guide the robotic arm when manipulating soft tissue. Using demonstration-guided reinforcement learning (RL) algorithms, we investigate their performance in comparison to traditional reinforcement learning algorithms. Our in silico trials demonstrate a proof-of-concept for autonomous surgical soft tissue retraction. The results corroborate the feasibility of learning soft body manipulation through the application of reinforcement learning agents. This work lays the foundation for future research into the development and refinement of surgical robots capable of managing both rigid and soft tissue interactions. Code is available at https://github.com/amritpal-001/tissue_retract.


title: Linear Trimer Formation by Three-Center-Four-Electron Bonding in RuP

abstract: In molecules like hydrogen, most chemical bonds are formed by sharing two electrons from each atom in the bonding molecular orbital (two-center-two-electron (2c2e) bonding). There are, however, different kinds of chemical bonding. The I3- molecule, for example, is noteworthy because three iodine atoms are linearly united by sharing four electrons (three-center-four-electron (3c4e) bonding). Some inorganic solids undergo phase transitions that result in the formation of "molecules" in their crystalline frameworks, which are often accompanied by dramatic changes in physical properties; the metal-to-insulator transition (MIT) in vanadium dioxide, for example, occurs with the formation of dimer molecules with 2c2e bonding. We repot the creation of a linear ruthenium trimer with 3c4e bonding in ruthenium monopnictide at its MIT. Charge transfer from polymerized phosphorous to ruthenium produces this unusual molecule, with all conduction electrons trapped by the bonding molecular orbital. Our results demonstrate that molecules are crucial even in solid crystals as they impact their electronic properties.


title: Stabilizing confined quasiparticle dynamics in one-dimensional polar lattice gases

abstract: The disorder-free localization that occurred in the study of relaxation dynamics in far-from-equilibrium quantum systems has been widely explored. Here we investigate the interplay between the dipole-dipole interaction (DDI) and disorder in the hard-core polar bosons in a one-dimensional lattice. We find that the localized dynamics will eventually thermalize in the clean gas, but can be stabilized with the existence of a small disorder proportional to the inverse of DDI strength. From the effective dimer Hamiltonian, we show that the effective second-order hopping of quasiparticles between nearest-neighbor sites is suppressed by the disorder with strength similar to the effective hopping amplitude. The significant gap between the largest two eigenvalues of the entanglement spectrum indicates the dynamical confinement. We also find that the disorder related sample-to-sample fluctuation is suppressed by the DDI. Finally, we extend our research from the uncorrelated random disorder to the correlated quasiperiodic disorder and from the two-dimer model to the half-filling system, obtaining similar results.


title: Specializations of Iterated Galois Groups of PCF Rational Functions

abstract: We obtain a criterion for when the specialization of the iterated Galois group for a post-critically finite (PCF) rational map is as large as possible, i.e., it equals the generic iterated Galois group for the given map.


title: LeanContext: Cost-Efficient Domain-Specific Question Answering Using LLMs

abstract: Question-answering (QA) is a significant application of Large Language Models (LLMs), shaping chatbot capabilities across healthcare, education, and customer service. However, widespread LLM integration presents a challenge for small businesses due to the high expenses of LLM API usage. Costs rise rapidly when domain-specific data (context) is used alongside queries for accurate domain-specific LLM responses. One option is to summarize the context by using LLMs and reduce the context. However, this can also filter out useful information that is necessary to answer some domain-specific queries. In this paper, we shift from human-oriented summarizers to AI model-friendly summaries. Our approach, LeanContext, efficiently extracts $k$ key sentences from the context that are closely aligned with the query. The choice of $k$ is neither static nor random; we introduce a reinforcement learning technique that dynamically determines $k$ based on the query and context. The rest of the less important sentences are reduced using a free open source text reduction method. We evaluate LeanContext against several recent query-aware and query-unaware context reduction approaches on prominent datasets (arxiv papers and BBC news articles). Despite cost reductions of $37.29\%$ to $67.81\%$, LeanContext's ROUGE-1 score decreases only by $1.41\%$ to $2.65\%$ compared to a baseline that retains the entire context (no summarization). Additionally, if free pretrained LLM-based summarizers are used to reduce context (into human consumable summaries), LeanContext can further modify the reduced context to enhance the accuracy (ROUGE-1 score) by $13.22\%$ to $24.61\%$.


title: DualStream: Spatially Sharing Selves and Surroundings using Mobile Devices and Augmented Reality

abstract: In-person human interaction relies on our spatial perception of each other and our surroundings. Current remote communication tools partially address each of these aspects. Video calls convey real user representations but without spatial interactions. Augmented and Virtual Reality (AR/VR) experiences are immersive and spatial but often use virtual environments and characters instead of real-life representations. Bridging these gaps, we introduce DualStream, a system for synchronous mobile AR remote communication that captures, streams, and displays spatial representations of users and their surroundings. DualStream supports transitions between user and environment representations with different levels of visuospatial fidelity, as well as the creation of persistent shared spaces using environment snapshots. We demonstrate how DualStream can enable spatial communication in real-world contexts, and support the creation of blended spaces for collaboration. A formative evaluation of DualStream revealed that users valued the ability to interact spatially and move between representations, and could see DualStream fitting into their own remote communication practices in the near future. Drawing from these findings, we discuss new opportunities for designing more widely accessible spatial communication tools, centered around the mobile phone.


title: Remote ID for separation provision and multi-agent navigation

abstract: In this paper, we investigate the integration of drone identification data (Remote ID) with collision avoidance mechanisms to improve the safety and efficiency of multi-drone operations. We introduce an improved Near Mid-Air Collision (NMAC) definition, termed as UAV NMAC (uNMAC), which accounts for uncertainties in the drone's location due to self-localization errors and possible displacements between two location reports. Our proposed uNMAC-based Reciprocal Velocity Obstacle (RVO) model integrates Remote ID messages with RVO to enable enhanced collision-free navigation. We propose modifications to the Remote ID format to include data on localization accuracy and drone airframe size, facilitating more efficient collision avoidance decisions. Through extensive simulations, we demonstrate that our approach halves mission execution times compared to a conservative standard Remote ID-based RVO. Importantly, it ensures collision-free operations even under localization uncertainties. By integrating the improved Remote ID messages and uNMAC-based RVO, we offer a solution to significantly increase airspace capacity while adhering to strict safety standards. Our study emphasizes the potential to augment the safety and efficiency of future drone operations, thereby benefiting industries reliant on drone technologies.


title: Domain Generalization via Balancing Training Difficulty and Model Capability

abstract: Domain generalization (DG) aims to learn domain-generalizable models from one or multiple source domains that can perform well in unseen target domains. Despite its recent progress, most existing work suffers from the misalignment between the difficulty level of training samples and the capability of contemporarily trained models, leading to over-fitting or under-fitting in the trained generalization model. We design MoDify, a Momentum Difficulty framework that tackles the misalignment by balancing the seesaw between the model's capability and the samples' difficulties along the training process. MoDify consists of two novel designs that collaborate to fight against the misalignment while learning domain-generalizable models. The first is MoDify-based Data Augmentation which exploits an RGB Shuffle technique to generate difficulty-aware training samples on the fly. The second is MoDify-based Network Optimization which dynamically schedules the training samples for balanced and smooth learning with appropriate difficulty. Without bells and whistles, a simple implementation of MoDify achieves superior performance across multiple benchmarks. In addition, MoDify can complement existing methods as a plug-in, and it is generic and can work for different visual recognition tasks.


title: Detection of two new RRATs at 111 MHz

abstract: A search for pulse signals in a area with declinations of $+52\degr <\delta <+55\degr$ was carried out on the LPA LPI radio telescope. When processing ten months of observations recorded in six frequency channels with a channel width of 415 kHz and a total bandwidth of 2.5 MHz, 22 thousand events were found with a pronounced dispersion delay of signals over frequency channels, i.e. having signs of pulsar pulses. It turned out that the found pulses belong to four known pulsars and two new rotating radio transients (RRATs). An additional pulse search conducted in 32-channel data with a channel width of 78 kHz revealed 8 pulses for the transient J0249+52 and 7 pulses for the transient J0744+55. Periodic radiation of transients was not detected. The analysis of observations shows that the found RRATs are most likely pulsars with nullings, where the proportion of nulling is greater than 99.9\%.


title: pSTarC: Pseudo Source Guided Target Clustering for Fully Test-Time Adaptation

abstract: Test Time Adaptation (TTA) is a pivotal concept in machine learning, enabling models to perform well in real-world scenarios, where test data distribution differs from training. In this work, we propose a novel approach called pseudo Source guided Target Clustering (pSTarC) addressing the relatively unexplored area of TTA under real-world domain shifts. This method draws inspiration from target clustering techniques and exploits the source classifier for generating pseudo-source samples. The test samples are strategically aligned with these pseudo-source samples, facilitating their clustering and thereby enhancing TTA performance. pSTarC operates solely within the fully test-time adaptation protocol, removing the need for actual source data. Experimental validation on a variety of domain shift datasets, namely VisDA, Office-Home, DomainNet-126, CIFAR-100C verifies pSTarC's effectiveness. This method exhibits significant improvements in prediction accuracy along with efficient computational requirements. Furthermore, we also demonstrate the universality of the pSTarC framework by showing its effectiveness for the continuous TTA framework. The source code for our method is available at https://manogna-s.github.io/pstarc


title: Sharp uncertainty principles on metric measure spaces

abstract: We study the Heisenberg-Pauli-Weyl uncertainty principle and the Caffarelli-Kohn-Nirenberg interpolation inequalities, on metric measure spaces satisfying measure contraction property. Using localization techniques, we show that these inequalities are valid only on volume cones.


title: Bengali Document Layout Analysis -- A YOLOV8 Based Ensembling Approach

abstract: This paper focuses on enhancing Bengali Document Layout Analysis (DLA) using the YOLOv8 model and innovative post-processing techniques. We tackle challenges unique to the complex Bengali script by employing data augmentation for model robustness. After meticulous validation set evaluation, we fine-tune our approach on the complete dataset, leading to a two-stage prediction strategy for accurate element segmentation. Our ensemble model, combined with post-processing, outperforms individual base architectures, addressing issues identified in the BaDLAD dataset. By leveraging this approach, we aim to advance Bengali document analysis, contributing to improved OCR and document comprehension and BaDLAD serves as a foundational resource for this endeavor, aiding future research in the field. Furthermore, our experiments provided key insights to incorporate new strategies into the established solution.


title: Existence and nonexistence of global solutions for time-dependent damped NLS equations

abstract: We investigate the Cauchy problem for the nonlinear Schr\"odinger equation with a time-dependent linear damping term. Under non standard assumptions on the loss dissipation, we prove the blow-up in the inter-critical regime, and the global existence in the energy subcritical case. Our results generalize and improve the ones in [9, 11, 21].


title: Invariant prime ideals in equivariant Lazard rings

abstract: Let $A$ be an abelian compact Lie group. In this paper we compute the spectrum of invariant prime ideals of the $A$-equivariant Lazard ring, or equivalently the spectrum of points of the moduli stack of $A$-equivariant formal groups. We further show that this spectrum is homeomorphic to the Balmer spectrum of compact $A$-spectra, with the comparison map induced by equivariant complex bordism homology.


title: Drift Analysis with Fitness Levels for Elitist Evolutionary Algorithms

abstract: The fitness level method is a popular tool for analyzing the hitting time of elitist evolutionary algorithms. Its idea is to divide the search space into multiple fitness levels and estimate lower and upper bounds on the hitting time using transition probabilities between fitness levels. However, the lower bound generated by this method is often loose. An open question regarding the fitness level method is what are the tightest lower and upper time bounds that can be constructed based on transition probabilities between fitness levels. To answer this question, {\color{red} we combine drift analysis with fitness levels and define the tightest bound problem as a constrained multi-objective optimization problem subject to fitness levels.} The tightest metric bounds from fitness levels are constructed and proven for the first time. Then linear bounds are derived from metric bounds and a framework is established that can be used to develop different fitness level methods for different types of linear bounds. The framework is generic and promising, as it can be used to draw tight time bounds on both fitness landscapes without and with shortcuts. This is demonstrated in the example of the (1+1) EA maximizing the TwoMax1 function


title: Are there higher electron densities in narrow emission line regions of Type-1 AGN than Type-2 AGN?

abstract: In the manuscript, we check properties of electron densities $n_e$ traced by flux ratio $R_{sii}$ of [S~{\sc ii}]$\lambda6716$\AA~ to [S~{\sc ii}]$\lambda6731$\AA~ in narrow emission line regions (NLRs) between Type-1 AGN and Type-2 AGN in SDSS DR12. Under the framework of Unified Model considering kpc-scale structures, similar $n_e$ in NLRs should be expected between Type-1 AGN and Type-2 AGN. Based on reliable measurements of [S~{\sc ii}] doublet with measured parameters at least five times larger than corresponding uncertainties, there are 6039 Type-1 AGN and 8725 Type-2 AGN (excluding the Type-2 LINERs and the composite galaxies) collected from SDSS DR12. Then, lower $R_{sii}$ (higher $n_e$) in NLRs can be well confirmed in Type-1 AGN than in Type-2 AGN, with confidence level higher than 5$\sigma$, even after considering necessary effects including effects of electron temperatures traced by [O~{\sc iii}]$\lambda4364,4959,5007$\AA~ on estimating $n_e$ in NLRs. Two probable methods are proposed to explain the higher $n_e$ in NLRs in Type-1 AGN. First, the higher $n_e$ in NLRs of Type-1 AGN could indicate longer time durations of AGN activities in Type-1 AGN than in Type-2 AGN, if AGN activities triggering galactic-scale outflows leading to more electrons injecting into NLRs were accepted to explain the higher $n_e$ in NLRs of Type-2 AGN than HII galaxies. Second, the lower $n_e$ in NLRs of Type-2 AGN could be explained by stronger star-forming contributions in Type-2 AGN, considering lower $n_e$ in HII regions. The results provide interesting challenges to the commonly and widely accepted Unified Model of AGN.


title: Correlated and Multi-frequency Diffusion Modeling for Highly Under-sampled MRI Reconstruction

abstract: Most existing MRI reconstruction methods perform tar-geted reconstruction of the entire MR image without tak-ing specific tissue regions into consideration. This may fail to emphasize the reconstruction accuracy on im-portant tissues for diagnosis. In this study, leveraging a combination of the properties of k-space data and the diffusion process, our novel scheme focuses on mining the multi-frequency prior with different strategies to pre-serve fine texture details in the reconstructed image. In addition, a diffusion process can converge more quickly if its target distribution closely resembles the noise distri-bution in the process. This can be accomplished through various high-frequency prior extractors. The finding further solidifies the effectiveness of the score-based gen-erative model. On top of all the advantages, our method improves the accuracy of MRI reconstruction and accel-erates sampling process. Experimental results verify that the proposed method successfully obtains more accurate reconstruction and outperforms state-of-the-art methods.


title: A Unifying Variational Framework for Gaussian Process Motion Planning

abstract: To control how a robot moves, motion planning algorithms must compute paths in high-dimensional state spaces while accounting for physical constraints related to motors and joints, generating smooth and stable motions, avoiding obstacles, and preventing collisions. A motion planning algorithm must therefore balance competing demands, and should ideally incorporate uncertainty to handle noise, model errors, and facilitate deployment in complex environments. To address these issues, we introduce a framework for robot motion planning based on variational Gaussian processes, which unifies and generalizes various probabilistic-inference-based motion planning algorithms, and connects them with optimization-based planners. Our framework provides a principled and flexible way to incorporate equality-based, inequality-based, and soft motion-planning constraints during end-to-end training, is straightforward to implement, and provides both interval-based and Monte-Carlo-based uncertainty estimates. We conduct experiments using different environments and robots, comparing against baseline approaches based on the feasibility of the planned paths, and obstacle avoidance quality. Results show that our proposed approach yields a good balance between success rates and path quality.


title: DoRA: Domain-Based Self-Supervised Learning Framework for Low-Resource Real Estate Appraisal

abstract: The marketplace system connecting demands and supplies has been explored to develop unbiased decision-making in valuing properties. Real estate appraisal serves as one of the high-cost property valuation tasks for financial institutions since it requires domain experts to appraise the estimation based on the corresponding knowledge and the judgment of the market. Existing automated valuation models reducing the subjectivity of domain experts require a large number of transactions for effective evaluation, which is predominantly limited to not only the labeling efforts of transactions but also the generalizability of new developing and rural areas. To learn representations from unlabeled real estate sets, existing self-supervised learning (SSL) for tabular data neglects various important features, and fails to incorporate domain knowledge. In this paper, we propose DoRA, a Domain-based self-supervised learning framework for low-resource Real estate Appraisal. DoRA is pre-trained with an intra-sample geographic prediction as the pretext task based on the metadata of the real estate for equipping the real estate representations with prior domain knowledge. Furthermore, inter-sample contrastive learning is employed to generalize the representations to be robust for limited transactions of downstream tasks. Our benchmark results on three property types of real-world transactions show that DoRA significantly outperforms the SSL baselines for tabular data, the graph-based methods, and the supervised approaches in the few-shot scenarios by at least 7.6% for MAPE, 11.59% for MAE, and 3.34% for HR10%. We expect DoRA to be useful to other financial practitioners with similar marketplace applications who need general models for properties that are newly built and have limited records. The source code is available at https://github.com/wwweiwei/DoRA.


title: Bound states of a one-dimensional Dirac equation with multiple delta-potentials

abstract: Two approaches are developed for the study of the bound states of a one-dimensional Dirac equation with the potential consisting of $N$ $\delta$-function centers. One of these uses the Green's function method. This method is applicable to a finite number $N$ of $\delta$-point centers, reducing the bound state problem to finding the energy eigenvalues from the determinant of a $2N\times2N$ matrix. The second approach starts with the matrix for a single delta-center that connects the two-sided boundary conditions for this center. This connection matrix is obtained from the squeezing limit of a piecewise constant approximation of the delta-function. Having then the connection matrices for each center, the transmission matrix for the whole system is obtained by multiplying the one-center connection matrices and the free transfer matrices between neighbor centers. An equation for bound state energies is derived in terms of the elements of the total transfer matrix. Within both the approaches, the transcendental equations for bound state energies are derived, the solutions to which depend on the strength of delta-centers and the distance between them, and this dependence is illustrated by numerical calculations. The bound state energies for the potentials composed of one, two, and three delta-centers ($N=1,\,2,\,3$) are computed explicitly. The principle of strength additivity is analyzed in the limits as the delta-centers merge at a single point or diverge to infinity.


title: Evaluating Transformer's Ability to Learn Mildly Context-Sensitive Languages

abstract: Despite the fact that Transformers perform well in NLP tasks, recent studies suggest that self-attention is theoretically limited in learning even some regular and context-free languages. These findings motivated us to think about their implications in modeling natural language, which is hypothesized to be mildly context-sensitive. We test the Transformer's ability to learn mildly context-sensitive languages of varying complexities, and find that they generalize well to unseen in-distribution data, but their ability to extrapolate to longer strings is worse than that of LSTMs. Our analyses show that the learned self-attention patterns and representations modeled dependency relations and demonstrated counting behavior, which may have helped the models solve the languages.


title: Revisiting the Anisotropic Fractional Calder\'on Problem Using the Caffarelli-Silvestre Extension

abstract: We revisit the source-to-solution anisotropic fractional Calder\'on problem introduced and analyzed in [FGKU21] and [F21]. Using the Caffarelli-Silvestre interpretation of the fractional Laplacian, we provide an alternative argument for the recovery of the heat and wave kernels from [FGKU21]. This shows that in the setting of the source-to-solution anisotropic fractional Calder\'on problem the heat and Caffarelli-Silvestre approach give rise to equivalent perspectives and that each kernel can be recovered from the other. Moreover, we also discuss the Dirichlet-to-Neumann anisotropic source-to-solution problem and provide a direct link between the Dirichlet Poisson kernel and the wave kernel. This illustrates that it is also possible to argue completely on the level of the Poisson kernel, bypassing the recovery of the heat kernel as an additional auxiliary step. Last but not least, as in [CGRU23], we relate the local and nonlocal source-to-solution Calder\'on problems.


title: DeepScaler: Holistic Autoscaling for Microservices Based on Spatiotemporal GNN with Adaptive Graph Learning

abstract: Autoscaling functions provide the foundation for achieving elasticity in the modern cloud computing paradigm. It enables dynamic provisioning or de-provisioning resources for cloud software services and applications without human intervention to adapt to workload fluctuations. However, autoscaling microservice is challenging due to various factors. In particular, complex, time-varying service dependencies are difficult to quantify accurately and can lead to cascading effects when allocating resources. This paper presents DeepScaler, a deep learning-based holistic autoscaling approach for microservices that focus on coping with service dependencies to optimize service-level agreements (SLA) assurance and cost efficiency. DeepScaler employs (i) an expectation-maximization-based learning method to adaptively generate affinity matrices revealing service dependencies and (ii) an attention-based graph convolutional network to extract spatio-temporal features of microservices by aggregating neighbors' information of graph-structural data. Thus DeepScaler can capture more potential service dependencies and accurately estimate the resource requirements of all services under dynamic workloads. It allows DeepScaler to reconfigure the resources of the interacting services simultaneously in one resource provisioning operation, avoiding the cascading effect caused by service dependencies. Experimental results demonstrate that our method implements a more effective autoscaling mechanism for microservice that not only allocates resources accurately but also adapts to dependencies changes, significantly reducing SLA violations by an average of 41% at lower costs.


title: Towards Code Watermarking with Dual-Channel Transformations

abstract: The expansion of the open source community and the rise of large language models have raised ethical and security concerns on the distribution of source code, such as misconduct on copyrighted code, distributions without proper licenses, or misuse of the code for malicious purposes. Hence it is important to track the ownership of source code, in which watermarking is a major technique. Yet, drastically different from natural languages, source code watermarking requires far stricter and more complicated rules to ensure the readability as well as the functionality of the source code. Hence we introduce SrcMarker, a watermarking system to unobtrusively encode ID bitstrings into source code, without affecting the usage and semantics of the code. To this end, SrcMarker performs transformations on an AST-based intermediate representation that enables unified transformations across different programming languages. The core of the system utilizes learning-based embedding and extraction modules to select rule-based transformations for watermarking. In addition, a novel feature-approximation technique is designed to tackle the inherent non-differentiability of rule selection, thus seamlessly integrating the rule-based transformations and learning-based networks into an interconnected system to enable end-to-end training. Extensive experiments demonstrate the superiority of SrcMarker over existing methods in various watermarking requirements.


title: A Survey of Local Differential Privacy and Its Variants

abstract: The introduction and advancements in Local Differential Privacy (LDP) variants have become a cornerstone in addressing the privacy concerns associated with the vast data produced by smart devices, which forms the foundation for data-driven decision-making in crowdsensing. While harnessing the power of these immense data sets can offer valuable insights, it simultaneously poses significant privacy risks for the users involved. LDP, a distinguished privacy model with a decentralized architecture, stands out for its capability to offer robust privacy assurances for individual users during data collection and analysis. The essence of LDP is its method of locally perturbing each user's data on the client-side before transmission to the server-side, safeguarding against potential privacy breaches at both ends. This article offers an in-depth exploration of LDP, emphasizing its models, its myriad variants, and the foundational structure of LDP algorithms.


title: Big-model Driven Few-shot Continual Learning

abstract: Few-shot continual learning (FSCL) has attracted intensive attention and achieved some advances in recent years, but now it is difficult to again make a big stride in accuracy due to the limitation of only few-shot incremental samples. Inspired by distinctive human cognition ability in life learning, in this work, we propose a novel Big-model driven Few-shot Continual Learning (B-FSCL) framework to gradually evolve the model under the traction of the world's big-models (like human accumulative knowledge). Specifically, we perform the big-model driven transfer learning to leverage the powerful encoding capability of these existing big-models, which can adapt the continual model to a few of newly added samples while avoiding the over-fitting problem. Considering that the big-model and the continual model may have different perceived results for the identical images, we introduce an instance-level adaptive decision mechanism to provide the high-level flexibility cognitive support adjusted to varying samples. In turn, the adaptive decision can be further adopted to optimize the parameters of the continual model, performing the adaptive distillation of big-model's knowledge information. Experimental results of our proposed B-FSCL on three popular datasets (including CIFAR100, minilmageNet and CUB200) completely surpass all state-of-the-art FSCL methods.


title: A path integral approximation of conditional probability densities with application to stochastic elastic rods

abstract: In this work, we generalise Gelfand-Yaglom-type methods in the vector case for the computation of Gaussian path integrals. The extension we propose allows to consider general second variation operators subject to different boundary conditions and to regularise the divergence in presence of zero modes. The derived methods are exploited to study the statistical physics of polymers at thermodynamic equilibrium (e.g. DNA). The energy of equilibria combined with suitable Jacobi field determinants can be used to estimate the distribution of end-to-end displacements when the filament is interacting with a heat bath. In the continuum limit of Cosserat elastic rods, we demonstrate how to derive approximate conditional probability density functions governing the relative location and orientation of the two ends, first for the looping problem and second when the rod is subject to a prescribed external end-loading, in addition to external stochastic forcing. For isotropic Cosserat rods, certain looping boundary value problems admit non-isolated families of critical points of the energy due to an associated continuous symmetry, and the standard Laplace method fails for the presence of zero modes. Taking inspiration from (imaginary) path integral techniques, we show how a quantum mechanical probabilistic treatment of Goldstone modes in statistical rod mechanics sheds light on J-factor computations for isotropic rods in the semi-classical context. All the results are achieved exploiting appropriate Jacobi fields arising from Gaussian path integrals, and show good agreement when compared with intense Monte Carlo simulations for the target examples.


title: Equitable-FL: Federated Learning with Sparsity for Resource-Constrained Environment

abstract: In Federated Learning, model training is performed across multiple computing devices, where only parameters are shared with a common central server without exchanging their data instances. This strategy assumes abundance of resources on individual clients and utilizes these resources to build a richer model as user's models. However, when the assumption of the abundance of resources is violated, learning may not be possible as some nodes may not be able to participate in the process. In this paper, we propose a sparse form of federated learning that performs well in a Resource Constrained Environment. Our goal is to make learning possible, regardless of a node's space, computing, or bandwidth scarcity. The method is based on the observation that model size viz a viz available resources defines resource scarcity, which entails that reduction of the number of parameters without affecting accuracy is key to model training in a resource-constrained environment. In this work, the Lottery Ticket Hypothesis approach is utilized to progressively sparsify models to encourage nodes with resource scarcity to participate in collaborative training. We validate Equitable-FL on the $MNIST$, $F-MNIST$, and $CIFAR-10$ benchmark datasets, as well as the $Brain-MRI$ data and the $PlantVillage$ datasets. Further, we examine the effect of sparsity on performance, model size compaction, and speed-up for training. Results obtained from experiments performed for training convolutional neural networks validate the efficacy of Equitable-FL in heterogeneous resource-constrained learning environment.


title: Relativistic GPS in 3-dimensions

abstract: We extend to three dimensions the proposal of a completely relativistic positioning system (rPS). The system does not rely on approximations, in fact, it works at a few Schwarzschild radii from a black hole, and it does not rely on Newtonian physics or special relativity. Since general relativity (GR) claims to be our fundamental framework to describe classical physics, it must provide tools to bootstrap physics within the theory itself, without relying on previous approximated frameworks. The rPS is able to self-diagnose, that is, it detects deviations from assumptions about the gravitational field and consequently stops operations; in addition it is robust, i.e., it is able to autonomously restore operations when assumptions are restored. From a more general viewpoint, the rPS is equivalent to geodesy in spacetime, which establishes a (conventional) coordinate system on a surface by means of measurements within the surface itself, as well as allowing it to extract information about the intrinsic geometry of the same surface. In other words, the positioning system is potentially able to extract information about the gravitational field (which in fact is identified with the geometry of spacetime) in addition to the gravitational theory, which describes its dynamics. Thus, it becomes a framework within which one can operationally distinguish different theories of gravitation.


title: Tutorial: a priori estimation of sample size, effect size, and statistical power for cluster analysis, latent class analysis, and multivariate mixture models

abstract: Before embarking on data collection, researchers typically compute how many individual observations they should do. This is vital for doing studies with sufficient statistical power, and often a cornerstone in study pre-registrations and grant applications. For traditional statistical tests, one would typically determine an acceptable level of statistical power, (gu)estimate effect size, and then use both values to compute the required sample size. However, for analyses that identify subgroups, statistical power is harder to establish. Once sample size reaches a sufficient threshold, effect size is primarily determined by the number of measured features and the underlying subgroup separation. As a consequence, a priory computations of statistical power are notoriously complex. In this tutorial, I will provide a roadmap to determining sample size and effect size for analyses that identify subgroups. First, I introduce a procedure that allows researchers to formalise their expectations about effect sizes in their domain of choice, and use this to compute the minimally required number of measured variables. Next, I outline how to establish the minimum sample size in subgroup analyses. Finally, I use simulations to provide a reference table for the most popular subgroup analyses: k-means, Ward agglomerative hierarchical clustering, c-means fuzzy clustering, latent class analysis, latent profile analysis, and Gaussian mixture modelling. The table shows the minimum numbers of observations per expected subgroup (sample size) and features (measured variables) to achieve acceptable statistical power, and can be readily used in study design.


title: Gradient Gibbs measures with periodic boundary laws of a generalized SOS model on a Cayley tree

abstract: We consider Gradient Gibbs measures corresponding to a periodic boundary law for a generalized SOS model with spin values from a countable set, on Cayley trees. On the Cayley tree, detailed information on Gradient Gibbs measures for models of SOS type are given in \cite{3, 16,8,11} and we continue the works for the generalized SOS model. Namely, in this paper, the problem of finding Gradient Gibbs measures that correspond to periodic boundary laws is reduced to a functional equation and by solving the equation all Gradient Gibbs measures with 4 periodic boundary laws are found.


title: Testing for sufficient follow-up in censored survival data by using extremes

abstract: In survival analysis, it often happens that some individuals, referred to as cured individuals, never experience the event of interest. When analyzing time-to-event data with a cure fraction, it is crucial to check the assumption of `sufficient follow-up', which means that the right extreme of the censoring time distribution is larger than that of the survival time distribution for the non-cured individuals. However, the available methods to test this assumption are limited in the literature. In this article, we study the problem of testing whether follow-up is sufficient for light-tailed distributions and develop a simple novel test. The proposed test statistic compares an estimator of the non-cure proportion under sufficient follow-up to one without the assumption of sufficient follow-up. A bootstrap procedure is employed to approximate the critical values of the test. We also carry out extensive simulations to evaluate the finite sample performance of the test and illustrate the practical use with applications to leukemia and breast cancer datasets.


title: Nondestructive discrimination of Bell states between distant parties

abstract: Identifying Bell state without destroying it is frequently dealt with in nowadays quantum technologies such as quantum communication and quantum computing. In practice, quantum entangled states are often distributed among distant parties, and it might be required to determine them separately at each location, without inline communication between parties. We present a scheme for discriminating an arbitrary Bell state distributed to two distant parties without destroying it. The scheme requires two entangled states that are pre-shared between the parties, and we show that without these ancillary resources, the probability of non-destructively discriminating the Bell state is bounded by 1/4, which is the same as random guessing. Furthermore, we demonstrate a proof-of-principle experiment through an IonQ quantum computer that our scheme can surpass classical bounds when applied to practical quantum processor.


title: Robust estimation for number of factors in high dimensional factor modeling via Spearman correlation matrix

abstract: Determining the number of factors in high-dimensional factor modeling is essential but challenging, especially when the data are heavy-tailed. In this paper, we introduce a new estimator based on the spectral properties of Spearman sample correlation matrix under the high-dimensional setting, where both dimension and sample size tend to infinity proportionally. Our estimator is robust against heavy tails in either the common factors or idiosyncratic errors. The consistency of our estimator is established under mild conditions. Numerical experiments demonstrate the superiority of our estimator compared to existing methods.


title: Boosting Weakly-Supervised Image Segmentation via Representation, Transform, and Compensator

abstract: Weakly-supervised image segmentation (WSIS) is a critical task in computer vision that relies on image-level class labels. Multi-stage training procedures have been widely used in existing WSIS approaches to obtain high-quality pseudo-masks as ground-truth, resulting in significant progress. However, single-stage WSIS methods have recently gained attention due to their potential for simplifying training procedures, despite often suffering from low-quality pseudo-masks that limit their practical applications. To address this issue, we propose a novel single-stage WSIS method that utilizes a siamese network with contrastive learning to improve the quality of class activation maps (CAMs) and achieve a self-refinement process. Our approach employs a cross-representation refinement method that expands reliable object regions by utilizing different feature representations from the backbone. Additionally, we introduce a cross-transform regularization module that learns robust class prototypes for contrastive learning and captures global context information to feed back rough CAMs, thereby improving the quality of CAMs. Our final high-quality CAMs are used as pseudo-masks to supervise the segmentation result. Experimental results on the PASCAL VOC 2012 dataset demonstrate that our method significantly outperforms other state-of-the-art methods, achieving 67.2% and 68.76% mIoU on PASCAL VOC 2012 val set and test set, respectively. Furthermore, our method has been extended to weakly supervised object localization task, and experimental results demonstrate that our method continues to achieve very competitive results.


title: Fearless Luminance Adaptation: A Macro-Micro-Hierarchical Transformer for Exposure Correction

abstract: Photographs taken with less-than-ideal exposure settings often display poor visual quality. Since the correction procedures vary significantly, it is difficult for a single neural network to handle all exposure problems. Moreover, the inherent limitations of convolutions, hinder the models ability to restore faithful color or details on extremely over-/under- exposed regions. To overcome these limitations, we propose a Macro-Micro-Hierarchical transformer, which consists of a macro attention to capture long-range dependencies, a micro attention to extract local features, and a hierarchical structure for coarse-to-fine correction. In specific, the complementary macro-micro attention designs enhance locality while allowing global interactions. The hierarchical structure enables the network to correct exposure errors of different scales layer by layer. Furthermore, we propose a contrast constraint and couple it seamlessly in the loss function, where the corrected image is pulled towards the positive sample and pushed away from the dynamically generated negative samples. Thus the remaining color distortion and loss of detail can be removed. We also extend our method as an image enhancer for low-light face recognition and low-light semantic segmentation. Experiments demonstrate that our approach obtains more attractive results than state-of-the-art methods quantitatively and qualitatively.


title: Bridging Dimensions: General Embedding Algorithm and Field-Theory Reconstruction in 5D Braneworld Models

abstract: We develop a general algorithm that enables the consistent embedding of any four-dimensional static and spherically symmetric geometry into any five-dimensional single-brane braneworld model, characterized by an injective and nonsingular warp factor. Furthermore, we supplement the algorithm by introducing a method that allows one to, in principle, reconstruct 5D field theories that support the aforementioned geometries. This approach is based on a conformal transformation of the metric with the conformal factor being identified with the warp factor of the bulk geometry. The reconstructed theories depend solely on the induced brane geometry, since the warp factor is model-independently represented by a scalar field in the Lagrangian density. As a first application of our reconstruction method, we present for the first time a complete theory that supports the five-dimensional brane-localized extension of the Schwarzschild black hole, for any warp factor. The same method is subsequently utilized to illustrate the process of coherently embedding a de Sitter brane in braneworld models.


title: Graded group actions and generalized $H$-actions compatible with gradings

abstract: We introduce the notion of a graded group action on a graded algebra or, which is the same, a group action by graded pseudoautomorphisms. An algebra with such an action is a natural generalization of an algebra with a super- or a pseudoinvolution. We study groups of graded pseudoautomorphisms, show that the Jacobson radical of a group graded finite dimensional associative algebra $A$ over a field of characteristic $0$ is stable under graded pseudoautomorphisms, prove the invariant version of the Wedderburn-Artin Theorem and the analog of Amitsur's conjecture for the codimension growth of graded polynomial $G$-identities in such algebras $A$ with a graded action of a group $G$.


title: A hidden Markov model for statistical arbitrage in international crude oil futures markets

abstract: In this work, we study statistical arbitrage strategies in international crude oil futures markets. We analyse strategies that extend classical pairs trading strategies, considering the two benchmark crude oil futures (Brent and WTI) together with the newly introduced Shanghai crude oil futures. We document that the time series of these three futures prices are cointegrated and we model the resulting cointegration spread by a mean-reverting regime-switching process modulated by a hidden Markov chain. By relying on our stochastic model and applying online filter-based parameter estimators, we implement and test a number of statistical arbitrage strategies. Our analysis reveals that statistical arbitrage strategies involving the Shanghai crude oil futures are profitable even under conservative levels of transaction costs and over different time periods. On the contrary, statistical arbitrage strategies involving the three traditional crude oil futures (Brent, WTI, Dubai) do not yield profitable investment opportunities. Our findings suggest that the Shanghai futures, which has already become the benchmark for the Chinese domestic crude oil market, can be a valuable asset for international investors.


title: A Multiscale Method for Two-Component, Two-Phase Flow with a Neural Network Surrogate

abstract: Understanding the dynamics of phase boundaries in fluids requires quantitative knowledge about the microscale processes at the interface. We consider the sharp-interface motion of compressible two-component flow, and propose a heterogeneous multiscale method (HMM) to describe the flow fields accurately. The multiscale approach combines a hyperbolic system of balance laws on the continuum scale with molecular-dynamics simulations on the microscale level. Notably, the multiscale approach is necessary to compute the interface dynamics because there is -- at present -- no closed continuum-scale model. The basic HMM relies on a moving-mesh finite-volume method, and has been introduced recently for compressible one-component flow with phase transitions in [Magiera and Rohde, JCP. 469 (2022)]. To overcome the numerical complexity of the molecular-dynamics microscale model a deep neural network is employed as an efficient surrogate model. The entire approach is finally applied to simulate droplet dynamics for argon-methane mixtures in several space-dimensions. Up to our knowledge such compressible two-phase dynamics accounting for microscale phase-change transfer rates have not yet been computed.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: A note on the polar decomposition in metric spaces

abstract: The analogue of polar coordinates in the Euclidean space, a polar decomposition in a metric space, if well-defined, can be very useful in dealing with integrals with respect to a sufficiently regular measure. In this note we handle the technical details associated with such polar decompositions.


title: Pretraining Representations for Bioacoustic Few-shot Detection using Supervised Contrastive Learning

abstract: Deep learning has been widely used recently for sound event detection and classification. Its success is linked to the availability of sufficiently large datasets, possibly with corresponding annotations when supervised learning is considered. In bioacoustic applications, most tasks come with few labelled training data, because annotating long recordings is time consuming and costly. Therefore supervised learning is not the best suited approach to solve bioacoustic tasks. The bioacoustic community recasted the problem of sound event detection within the framework of few-shot learning, i.e. training a system with only few labeled examples. The few-shot bioacoustic sound event detection task in the DCASE challenge focuses on detecting events in long audio recordings given only five annotated examples for each class of interest. In this paper, we show that learning a rich feature extractor from scratch can be achieved by leveraging data augmentation using a supervised contrastive learning framework. We highlight the ability of this framework to transfer well for five-shot event detection on previously unseen classes in the training data. We obtain an F-score of 63.46\% on the validation set and 42.7\% on the test set, ranking second in the DCASE challenge. We provide an ablation study for the critical choices of data augmentation techniques as well as for the learning strategy applied on the training set.


title: Towards Certified Probabilistic Robustness with High Accuracy

abstract: Adversarial examples pose a security threat to many critical systems built on neural networks (such as face recognition systems, and self-driving cars). While many methods have been proposed to build robust models, how to build certifiably robust yet accurate neural network models remains an open problem. For example, adversarial training improves empirical robustness, but they do not provide certification of the model's robustness. On the other hand, certified training provides certified robustness but at the cost of a significant accuracy drop. In this work, we propose a novel approach that aims to achieve both high accuracy and certified probabilistic robustness. Our method has two parts, i.e., a probabilistic robust training method with an additional goal of minimizing variance in terms of divergence and a runtime inference method for certified probabilistic robustness of the prediction. The latter enables efficient certification of the model's probabilistic robustness at runtime with statistical guarantees. This is supported by our training objective, which minimizes the variance of the model's predictions in a given vicinity, derived from a general definition of model robustness. Our approach works for a variety of perturbations and is reasonably efficient. Our experiments on multiple models trained on different datasets demonstrate that our approach significantly outperforms existing approaches in terms of both certification rate and accuracy.


title: Realizing cyclic linear transformations as Frobenius elements in the Galois groups of $q$-polynomials over function fields

abstract: We realize Frobenius conjugacy classes in Galois groups of certain $q$-polynomials over $\mathbb{F}_q(t)$ using specific degree 1 ideals. We combine this with methods from elementary linear algebra and group theory to realize transvections in some linear Galois groups. This enables the Galois group to be identified as a known classical group in several reasonably general cases.


title: Quantum transport theory for neutrinos with flavor and particle-antiparticle mixing

abstract: We derive quantum kinetic equations for mixing neutrinos including consistent forward scattering terms and collision integrals for coherent neutrino states. In practice, we reduce the general Kadanoff--Baym equations in a few clearly justified steps to a generalized density matrix equation that describes both the flavour- and particle-antiparticle coherences and is valid for arbitrary neutrino masses and kinematics. We then reduce this equation to a simpler particle-antiparticle diagonal limit and eventually to the ultra-relativistic limit. Our derivation includes simple Feynman rules for computing collision integrals with the coherence information. We also expose a novel spectral shell structure underlying the mixing phenomenon and quantify how the prior information on the system impacts on the QKE's, leading to a direct effect on its evolution. Our results can be used for example to accurately model neutrino distributions in hot and dense environments and to study the production and decay of mixing heavy neutrinos in colliders.


title: Experimental Validation of a Dynamic Virtual Power Plant Concept Based on Multiple-Converter Power Hardware-In-the-Loop Test Bench

abstract: Recently, the concept of dynamic virtual power plants (DVPP) has been proposed to collectively provide desired dynamic ancillary services such as fast frequency and voltage control by a heterogeneous ensemble of distributed energy resources (DER). This paper presents an experimental validation of a recent DVPP control design approach on a multi-converter power hardware-in-the-loop (PHIL) test bed system. More specifically, we consider a DVPP composed of a wind generation system, a photovoltaic (PV) system, and a STATCOM with small storage capacity to collectively provide grid-following fast frequency regulation in the presence of grid-frequency and load variations. The performance of the aggregated DVPP response is evaluated with respect to its ability to match a desired dynamic behavior while taking practical limitations of the individual DVPP units into account.


title: DiCLET-TTS: Diffusion Model based Cross-lingual Emotion Transfer for Text-to-Speech -- A Study between English and Mandarin

abstract: While the performance of cross-lingual TTS based on monolingual corpora has been significantly improved recently, generating cross-lingual speech still suffers from the foreign accent problem, leading to limited naturalness. Besides, current cross-lingual methods ignore modeling emotion, which is indispensable paralinguistic information in speech delivery. In this paper, we propose DiCLET-TTS, a Diffusion model based Cross-Lingual Emotion Transfer method that can transfer emotion from a source speaker to the intra- and cross-lingual target speakers. Specifically, to relieve the foreign accent problem while improving the emotion expressiveness, the terminal distribution of the forward diffusion process is parameterized into a speaker-irrelevant but emotion-related linguistic prior by a prior text encoder with the emotion embedding as a condition. To address the weaker emotional expressiveness problem caused by speaker disentanglement in emotion embedding, a novel orthogonal projection based emotion disentangling module (OP-EDM) is proposed to learn the speaker-irrelevant but emotion-discriminative embedding. Moreover, a condition-enhanced DPM decoder is introduced to strengthen the modeling ability of the speaker and the emotion in the reverse diffusion process to further improve emotion expressiveness in speech delivery. Cross-lingual emotion transfer experiments show the superiority of DiCLET-TTS over various competitive models and the good design of OP-EDM in learning speaker-irrelevant but emotion-discriminative embedding.


title: Excitation of extraordinary modes inside the source of Saturn's kilometric radiation

abstract: The electron cyclotron maser instability (ECMI) of extraordinary mode waves was investigated with the parameters observed in Saturn's kilometric radiation (SKR) sources. Previous studies employed simplified dispersion relations, and did not consider the excitation of the relativistic (R) mode. This mode is introduced by considering the relativistic effect in plasmas consisting of both cold and hot electrons. Using particle-in-cell simulations, we investigated the excitation of R and X modes based on the measured data. Using the reported value of the density ratio of energetic to total electrons $n_e/n_0=24\%$, the most unstable mode is the R mode. The escaping X-mode emissions are amplified only if the energetic electrons are dominant with $n_e/n_0 \ge 90\%$. For these cases, only the X mode is excited and the R mode disappears due to its strong coupling. The results are well in line with the linear kinetic theory of ECMI. The properties of both the R and X modes are consistent with the observed SKR emissions. This raises questions about the nature of the measured electric field fluctuations within ``presumed'' SKR sources. The study provides new insights into the ECMI process relevant to SKR emission mechanisms.


title: A Generic Fundus Image Enhancement Network Boosted by Frequency Self-supervised Representation Learning

abstract: Fundus photography is prone to suffer from image quality degradation that impacts clinical examination performed by ophthalmologists or intelligent systems. Though enhancement algorithms have been developed to promote fundus observation on degraded images, high data demands and limited applicability hinder their clinical deployment. To circumvent this bottleneck, a generic fundus image enhancement network (GFE-Net) is developed in this study to robustly correct unknown fundus images without supervised or extra data. Levering image frequency information, self-supervised representation learning is conducted to learn robust structure-aware representations from degraded images. Then with a seamless architecture that couples representation learning and image enhancement, GFE-Net can accurately correct fundus images and meanwhile preserve retinal structures. Comprehensive experiments are implemented to demonstrate the effectiveness and advantages of GFE-Net. Compared with state-of-the-art algorithms, GFE-Net achieves superior performance in data dependency, enhancement performance, deployment efficiency, and scale generalizability. Follow-up fundus image analysis is also facilitated by GFE-Net, whose modules are respectively verified to be effective for image enhancement.


title: Tight Bounds for Machine Unlearning via Differential Privacy

abstract: We consider the formulation of "machine unlearning" of Sekhari, Acharya, Kamath, and Suresh (NeurIPS 2021), which formalizes the so-called "right to be forgotten" by requiring that a trained model, upon request, should be able to "unlearn" a number of points from the training data, as if they had never been included in the first place. Sekhari et al. established some positive and negative results about the number of data points that can be successfully unlearnt by a trained model without impacting the model's accuracy (the "deletion capacity"), showing that machine unlearning could be achieved by using differentially private (DP) algorithms. However, their results left open a gap between upper and lower bounds on the deletion capacity of these algorithms: our work fully closes this gap, obtaining tight bounds on the deletion capacity achievable by DP-based machine unlearning algorithms.