title: An Analysis of On-the-fly Determinization of Finite-state Automata

abstract: In this paper we establish an abstraction of on-the-fly determinization of finite-state automata using transition monoids and demonstrate how it can be applied to bound the asymptotics. We present algebraic and combinatorial properties that are sufficient for a polynomial state complexity of the deterministic automaton constructed on-the-fly. A special case of our findings is that automata with many non-deterministic transitions almost always admit a determinization of polynomial complexity. Furthermore, we extend our ideas to weighted finite-state automata.


title: Sparse3D: Distilling Multiview-Consistent Diffusion for Object Reconstruction from Sparse Views

abstract: Reconstructing 3D objects from extremely sparse views is a long-standing and challenging problem. While recent techniques employ image diffusion models for generating plausible images at novel viewpoints or for distilling pre-trained diffusion priors into 3D representations using score distillation sampling (SDS), these methods often struggle to simultaneously achieve high-quality, consistent, and detailed results for both novel-view synthesis (NVS) and geometry. In this work, we present Sparse3D, a novel 3D reconstruction method tailored for sparse view inputs. Our approach distills robust priors from a multiview-consistent diffusion model to refine a neural radiance field. Specifically, we employ a controller that harnesses epipolar features from input views, guiding a pre-trained diffusion model, such as Stable Diffusion, to produce novel-view images that maintain 3D consistency with the input. By tapping into 2D priors from powerful image diffusion models, our integrated model consistently delivers high-quality results, even when faced with open-world objects. To address the blurriness introduced by conventional SDS, we introduce the category-score distillation sampling (C-SDS) to enhance detail. We conduct experiments on CO3DV2 which is a multi-view dataset of real-world objects. Both quantitative and qualitative evaluations demonstrate that our approach outperforms previous state-of-the-art works on the metrics regarding NVS and geometry reconstruction.


title: Developing a simulation tool to investigate a novel trapped two-state Bose-Einstein condensate Ramsey interferometer driven by dipole oscillations and gravitational sag

abstract: We propose and explore the feasibility of a novel Ramsey interferometer created by a trapped two-state Bose-Einstein condensate (BEC) driven by dipole oscillations and gravitational sag. The BEC is formed in a pure cigar shaped compressed magnetic trap (CMT) via a dilute atom cloud of $^{87}Rb$ atoms in state $\vert F=2, m_F=+2 \rangle$ $(\vert +2 \rangle)$ of the $5 ^2S_{\frac{1}{2}}$ ground state. Here, Rmasey interferometry is performed with states $\vert F=2, m_F=+1 \rangle$ $(\vert +1 \rangle)$ and $\vert +2 \rangle$. The proposed interferometer utilises the response of atoms to the harmonic oscillator trapping potential and the gravitational sag due to the variation in the $m_F$ state. Briefly, the state $\vert +1 \rangle$ experiences a shallower radial trap with a larger gravitational sag; whereas, state $\vert +2 \rangle$ experiences a tighter radial trap with a gravitational sag which is half of state $\vert +1 \rangle$. Due to this, a superposition between the states $\vert +1 \rangle$ and $\vert +2 \rangle$ experiences multipath propagation resulting in an interference pattern. This may be utilised to measure local gravitational fields and measure inter-sate scattering lengths. Here, a theoretical framework is reported which is developed via the two-level system in combination with the Gross-Pitaevskii equation (GPE). Further, the development of a simulation tool via GPELabs in MATLAB that explores the prosed interferometer is reported along with key insights and findings.


title: The Global R-linear Convergence of Nesterov's Accelerated Gradient Method with Unknown Strongly Convex Parameter

abstract: The Nesterov accelerated gradient (NAG) method is an important extrapolation-based numerical algorithm that accelerates the convergence of the gradient descent method in convex optimization. When dealing with an objective function that is $\mu$-strongly convex, selecting extrapolation coefficients dependent on $\mu$ enables global R-linear convergence. In cases where $\mu$ is unknown, a commonly adopted approach is to set the extrapolation coefficient using the original NAG method. This choice allows for achieving the optimal iteration complexity among first-order methods for general convex problems. However, it remains unknown whether the NAG method with an unknown strongly convex parameter exhibits global R-linear convergence for strongly convex problems. In this work, we answer this question positively by establishing the Q-linear convergence of certain constructed Lyapunov sequences. Furthermore, we extend our result to the global R-linear convergence of the accelerated proximal gradient method, which is employed for solving strongly convex composite optimization problems. Interestingly, these results contradict the findings of the continuous counterpart of the NAG method in [Su, Boyd, and Cand\'es, J. Mach. Learn. Res., 2016, 17(153), 1-43], where the convergence rate by the suggested ordinary differential equation cannot exceed the $O(1/{\tt poly}(k))$ for strongly convex functions.


title: U-SEANNet: A Simple, Efficient and Applied U-Shaped Network for Diagnosis of Nasal Diseases on Nasal Endoscopic Images

abstract: Numerous studies have affirmed that deep learning models can facilitate early diagnosis of lesions in endoscopic images. However, the lack of available datasets stymies advancements in research on nasal endoscopy, and existing models fail to strike a good trade-off between model diagnosis performance, model complexity and parameters size, rendering them unsuitable for real-world application. To bridge these gaps, we created the first large-scale nasal endoscopy dataset, named 7-NasalEID, comprising 11,352 images that contain six common nasal diseases and normal samples. Subsequently, we proposed U-SEANNet, an innovative U-shaped architecture, underpinned by depth-wise separable convolution. Moreover, to enhance its capacity for detecting nuanced discrepancies in input images, U-SEANNet employs the Global-Local Channel Feature Fusion module, enabling it to utilize salient channel features from both global and local contexts. To demonstrate U-SEANNet's potential, we benchmarked U-SEANNet against seventeen modern architectures through five-fold cross-validation. The experimental results show that U-SEANNet achieves a commendable accuracy of 93.58%. Notably, U-SEANNet's parameters size and GFLOPs are only 0.78M and 0.21, respectively. Our findings suggest U-SEANNet is the state-of-the-art model for nasal diseases diagnosis in endoscopic images.


title: Reconstructing Interacting Hands with Interaction Prior from Monocular Images

abstract: Reconstructing interacting hands from monocular images is indispensable in AR/VR applications. Most existing solutions rely on the accurate localization of each skeleton joint. However, these methods tend to be unreliable due to the severe occlusion and confusing similarity among adjacent hand parts. This also defies human perception because humans can quickly imitate an interaction pattern without localizing all joints. Our key idea is to first construct a two-hand interaction prior and recast the interaction reconstruction task as the conditional sampling from the prior. To expand more interaction states, a large-scale multimodal dataset with physical plausibility is proposed. Then a VAE is trained to further condense these interaction patterns as latent codes in a prior distribution. When looking for image cues that contribute to interaction prior sampling, we propose the interaction adjacency heatmap (IAH). Compared with a joint-wise heatmap for localization, IAH assigns denser visible features to those invisible joints. Compared with an all-in-one visible heatmap, it provides more fine-grained local interaction information in each interaction region. Finally, the correlations between the extracted features and corresponding interaction codes are linked by the ViT module. Comprehensive evaluations on benchmark datasets have verified the effectiveness of this framework. The code and dataset are publicly available at https://github.com/binghui-z/InterPrior_pytorch


title: 4D Myocardium Reconstruction with Decoupled Motion and Shape Model

abstract: Estimating the shape and motion state of the myocardium is essential in diagnosing cardiovascular diseases.However, cine magnetic resonance (CMR) imaging is dominated by 2D slices, whose large slice spacing challenges inter-slice shape reconstruction and motion acquisition.To address this problem, we propose a 4D reconstruction method that decouples motion and shape, which can predict the inter-/intra- shape and motion estimation from a given sparse point cloud sequence obtained from limited slices. Our framework comprises a neural motion model and an end-diastolic (ED) shape model. The implicit ED shape model can learn a continuous boundary and encourage the motion model to predict without the supervision of ground truth deformation, and the motion model enables canonical input of the shape model by deforming any point from any phase to the ED phase. Additionally, the constructed ED-space enables pre-training of the shape model, thereby guiding the motion model and addressing the issue of data scarcity. We propose the first 4D myocardial dataset as we know and verify our method on the proposed, public, and cross-modal datasets, showing superior reconstruction performance and enabling various clinical applications.


title: Practical Edge Detection via Robust Collaborative Learning

abstract: Edge detection, as a core component in a wide range of visionoriented tasks, is to identify object boundaries and prominent edges in natural images. An edge detector is desired to be both efficient and accurate for practical use. To achieve the goal, two key issues should be concerned: 1) How to liberate deep edge models from inefficient pre-trained backbones that are leveraged by most existing deep learning methods, for saving the computational cost and cutting the model size; and 2) How to mitigate the negative influence from noisy or even wrong labels in training data, which widely exist in edge detection due to the subjectivity and ambiguity of annotators, for the robustness and accuracy. In this paper, we attempt to simultaneously address the above problems via developing a collaborative learning based model, termed PEdger. The principle behind our PEdger is that, the information learned from different training moments and heterogeneous (recurrent and non recurrent in this work) architectures, can be assembled to explore robust knowledge against noisy annotations, even without the help of pre-training on extra data. Extensive ablation studies together with quantitative and qualitative experimental comparisons on the BSDS500 and NYUD datasets are conducted to verify the effectiveness of our design, and demonstrate its superiority over other competitors in terms of accuracy, speed, and model size. Codes can be found at https://github.co/ForawardStar/PEdger.


title: Sampling with flows, diffusion and autoregressive neural networks: A spin-glass perspective

abstract: Recent years witnessed the development of powerful generative models based on flows, diffusion or autoregressive neural networks, achieving remarkable success in generating data from examples with applications in a broad range of areas. A theoretical analysis of the performance and understanding of the limitations of these methods remain, however, challenging. In this paper, we undertake a step in this direction by analysing the efficiency of sampling by these methods on a class of problems with a known probability distribution and comparing it with the sampling performance of more traditional methods such as the Monte Carlo Markov chain and Langevin dynamics. We focus on a class of probability distribution widely studied in the statistical physics of disordered systems that relate to spin glasses, statistical inference and constraint satisfaction problems. We leverage the fact that sampling via flow-based, diffusion-based or autoregressive networks methods can be equivalently mapped to the analysis of a Bayes optimal denoising of a modified probability measure. Our findings demonstrate that these methods encounter difficulties in sampling stemming from the presence of a first-order phase transition along the algorithm's denoising path. Our conclusions go both ways: we identify regions of parameters where these methods are unable to sample efficiently, while that is possible using standard Monte Carlo or Langevin approaches. We also identify regions where the opposite happens: standard approaches are inefficient while the discussed generative methods work well.


title: The Morse Smale property for time-periodic scalar reaction-diffusion equation on the circle

abstract: \begin{abstract} We study the Morse-Smale property for the following scalar semilinear parabolic equation on the circle $S^1$, \begin{equation*} u_{t}=u_{xx}+f(t,u,u_{x}),\,\,t>0,\,x\in S^{1}=\mathbb{R}/2\pi \mathbb{Z}, \end{equation*} where $f$ is a $C^2$ function and $T$-periodic in $t$. Assume that the equation admits a compact global attractor $\mathcal{A}$ and let $P$ be the Poincar\'{e} map of this equation. We exclude homoclinic connection for hyperbolic fixed points of $P$ and prove that stable and unstable manifolds for any two heteroclinic hyperbolic fixed points of $P$ intersect transversely. Further, this equation admits the Morse-Smale property provided that all $\omega$-limit sets (in the case $f(t,u,u_x)=f(t,u,-u_x)$, the $\omega$-limit set is just a fixed point) of the corresponding Poincar\'{e} map are hyperbolic. \end{abstract}


title: A comprehensive review on Plant Leaf Disease detection using Deep learning

abstract: Leaf disease is a common fatal disease for plants. Early diagnosis and detection is necessary in order to improve the prognosis of leaf diseases affecting plant. For predicting leaf disease, several automated systems have already been developed using different plant pathology imaging modalities. This paper provides a systematic review of the literature on leaf disease-based models for the diagnosis of various plant leaf diseases via deep learning. The advantages and limitations of different deep learning models including Vision Transformer (ViT), Deep convolutional neural network (DCNN), Convolutional neural network (CNN), Residual Skip Network-based Super-Resolution for Leaf Disease Detection (RSNSR-LDD), Disease Detection Network (DDN), and YOLO (You only look once) are described in this review. The review also shows that the studies related to leaf disease detection applied different deep learning models to a number of publicly available datasets. For comparing the performance of the models, different metrics such as accuracy, precision, recall, etc. were used in the existing studies.


title: Robust autofocusing propagation in turbulence

abstract: We conducted a comprehensive study on the robust propagation of the same spot-size Gaussian beam (SSGB), same envelope Gaussian beam (SEGB), Circular Airy beam (CAB) and Circular Pearcey beam (CPB) in complex environments. Our findings clearly demonstrate that autofocusing beams exhibit higher stability in propagation compared with the Gaussian beams. To validate our results, we statistically analyze the intensity fluctuation of autofocusing beams and Gaussian beams. The analysis reveals that the intensity fluctuations of autofocusing beams are significantly smaller than that of Gaussian beams. Furthermore, we study the variation of the coherence factor and find that the coherence of autofocusing beams is better than that of Gaussian beams under turbulence. Additionally, we observe the change of the scintillation index (SI) with the propagation distance z, and our results show that autofocusing beams exhibit less oscillation than Gaussian beams, indicating that autofocusing beams propagate in complex environments with less distortion and fewer intensity fluctuation. Overall, our results suggest that autofocusing beams are promising for applications such as optical trapping and manipulation in complex environments. Our study provides valuable insights into the selection of stable beams that exhibit high intensity and high field gradient at the focal position in complex environments.


title: MedAlign: A Clinician-Generated Dataset for Instruction Following with Electronic Medical Records

abstract: The ability of large language models (LLMs) to follow natural language instructions with human-level fluency suggests many opportunities in healthcare to reduce administrative burden and improve quality of care. However, evaluating LLMs on realistic text generation tasks for healthcare remains challenging. Existing question answering datasets for electronic health record (EHR) data fail to capture the complexity of information needs and documentation burdens experienced by clinicians. To address these challenges, we introduce MedAlign, a benchmark dataset of 983 natural language instructions for EHR data. MedAlign is curated by 15 clinicians (7 specialities), includes clinician-written reference responses for 303 instructions, and provides 276 longitudinal EHRs for grounding instruction-response pairs. We used MedAlign to evaluate 6 general domain LLMs, having clinicians rank the accuracy and quality of each LLM response. We found high error rates, ranging from 35% (GPT-4) to 68% (MPT-7B-Instruct), and an 8.3% drop in accuracy moving from 32k to 2k context lengths for GPT-4. Finally, we report correlations between clinician rankings and automated natural language generation metrics as a way to rank LLMs without human review. We make MedAlign available under a research data use agreement to enable LLM evaluations on tasks aligned with clinician needs and preferences.


title: What can we learn from the dynamics of the Covid-19 epidemic ?

abstract: We investigate the mechanisms behind the quasi-periodic outbursts on the Covid-19 epidemics. Data for France and Germany show that the patterns of outbursts exhibit a qualitative change in early 2022, which appears in a change in their average period, and which is confirmed by time-frequency analysis. This provides a signal which can be used to discriminate among several mechanisms. Two main ideas have been proposed to explain periodicity in epidemics. One involves memory effects and another considers exchanges between epidemic clusters and a reservoir of population. We test these two approaches in the particular case of the Covid-19 epidemics and show that the "cluster model" is the only one which appears to be able to explain the observed pattern with realistic parameters. A last section discusses our results in the context of early studies of epidemics, and we stress the importance to work with models with a limited number of parameters, which moreover can be sufficiently well estimated, to draw conclusions on the general mechanisms behind the observations.


title: The Two-Particle Self-Consistent Approach for Multiorbital models: application to the Emery model

abstract: The Emery model, or three-band Hubbard model, is a Hamiltonian that is thought to contain much of the physics of cuprate superconductors. This model includes two noninteracting $p$ orbitals and one interacting $d$ orbital per unit cell. Few methods that can solve multiorbital interacting Hamiltonians reliably and efficiently exist. Here, we introduce an application of the two particle self-consistent (TPSC) approach to the Emery model. We construct this method within the framework of the TPSC+DMFT method, which can be seen as a way to introduce nonlocal corrections to dynamical mean-field theory (DMFT). We show that interacting orbital densities, rather than the noninteracting ones, must be used in the calculations. For the Emery model, we find that at constant bare interaction $U$, the vertex for spin fluctuations, $U_{sp}$, decreases rapidly with filling. This may be one of the factors that contributes to electron-doped cuprates appearing less correlated than hole-doped ones. More generally, our work opens the road to the application of the TPSC approach to spin fluctuations in multiorbital models.


title: Simulator-Driven Deceptive Control via Path Integral Approach

abstract: We consider a setting where a supervisor delegates an agent to perform a certain control task, while the agent is incentivized to deviate from the given policy to achieve its own goal. In this work, we synthesize the optimal deceptive policies for an agent who attempts to hide its deviations from the supervisor's policy. We study the deception problem in the continuous-state discrete-time stochastic dynamics setting and, using motivations from hypothesis testing theory, formulate a Kullback-Leibler control problem for the synthesis of deceptive policies. This problem can be solved using backward dynamic programming in principle, which suffers from the curse of dimensionality. However, under the assumption of deterministic state dynamics, we show that the optimal deceptive actions can be generated using path integral control. This allows the agent to numerically compute the deceptive actions via Monte Carlo simulations. Since Monte Carlo simulations can be efficiently parallelized, our approach allows the agent to generate deceptive control actions online. We show that the proposed simulation-driven control approach asymptotically converges to the optimal control distribution.


title: The inverse problem for neural networks

abstract: We study the problem of computing the preimage of a set under a neural network with piecewise-affine activation functions. We recall an old result that the preimage of a polyhedral set is again a union of polyhedral sets and can be effectively computed. We show several applications of computing the preimage for analysis and interpretability of neural networks.


title: Production of various elements in ultraperipheral $^{208}$Pb-$^{208}$Pb collisions at the LHC

abstract: As predicted by theory and confirmed by measurements, one, two or three neutrons are emitted frequently in ultraperipheral collisions (UPCs) of heavy relativistic nuclei, in particular, $^{208}$Pb. The exchange of low-energy Weizs\"{a}cker--Williams photons dominates in such interactions. This leads to the excitation and decay of Giant Dipole Resonances (GDR) in colliding nuclei below the proton emission threshold. Less is known about the electromagnetic dissociation of $^{208}$Pb induced by energetic photons leading to violent fragmentation of $^{208}$Pb. The UPCs of lead nuclei at the LHC were modelled with Relativistic ELectromagnetic Dissociation (RELDIS) model to evaluate the contribution of photonuclear reactions in the domain of quasideuteron absorption and at higher photon energies. It was demonstrated that due to the presence of a single heavy residue in the final state mostly accompanied by free protons and neutrons, the cross sections of the production of specific elements can be well approximated by the proton emission cross sections, which can be measured in the ALICE experiment at the LHC.


title: Prym Representations of the Handlebody Group

abstract: Let $S$ be an oriented, closed surface of genus $g.$ The mapping class group of $S$ is the group of orientation preserving homeomorphisms of $S$ modulo isotopy. In 1997, Looijenga introduced the Prym representations, which are virtual representations of the mapping class group that depend on a finite, abelian group. Let $V$ be a genus $g$ handlebody with boundary $S$. The handlebody group is the subgroup of those mapping classes of $S$ that extend over $V.$ The twist group is the subgroup of the handlebody group generated by twists about meridians. Here, we restrict the Prym representations to the handlebody group and further to the twist group. We determine the image of the representations in the cyclic case.


title: Arrow algebras

abstract: In this paper we introduce arrow algebras, simple algebraic structures which induce elementary toposes through the tripos-to-topos construction. This includes localic toposes as well as various realizability toposes, in particular, those realizability toposes which are obtained from partial combinatory algebras. Since there are many examples of arrow algebras and arrow algebras have a number of closure properties, including a notion of subalgebra given by a nucleus, arrow algebras provide a flexible tool for constructing toposes; we illustrate this by providing some general tools for creating toposes for Kreisel's modified realizability.


title: How to produce spin-splitting in antiferromagnetic materials

abstract: Antiferromagnetic (AFM) materials have potential advantages for spintronics due to their robustness, ultrafast dynamics, and magnetotransport effects. However, the missing spontaneous polarization and magnetization hinders the efficient utilization of electronic spin in these AFM materials. Here, we propose a simple way to produce spin-splitting in AFM materials by making the magnetic atoms with opposite spin polarization locating in the different environment (surrounding atomic arrangement), which does not necessarily require the presence of spin-orbital coupling (SOC). We confirm our proposal by four different types of two-dimensional (2D) AFM materials within the first-principles calculations. Our works provide a intuitional design principle to find or produce spin-splitting in AFM materials.


title: Asymmetry of AMOC Hysteresis in a State-of-the-Art Global Climate Model

abstract: We study hysteresis properties of the Atlantic Meridional Overturning Circulation (AMOC) under a slowly-varying North Atlantic (20$^{\circ}$N -- 50$^{\circ}$N) freshwater flux forcing in state-of-the-art Global Climate Model (GCM), the Community Earth System Model. Results are presented of a full hysteresis simulation ($4,400$ model years) and show that there is a hysteresis width of about $0.4$ Sv. This demonstrates that an AMOC collapse and recovery do not only occur in conceptual and idealised climate models, but also in a state-of-the-art GCM. The AMOC recovery is about a factor six faster than the AMOC collapse and this asymmetry is due to the major effect of the North Atlantic sea-ice distribution on the AMOC recovery. The results have implications for projections of possible future AMOC behaviour and for explaining relatively rapid climate transitions in the geological past.


title: Pilot Power Allocation for Channel Estimation in a Multi-RIS Aided Communication System

abstract: Reconfigurable intelligent surface (RIS) is a promising technology that enables the customization of electromagnetic propagation environments in next-generation wireless networks. In this paper, we investigate the optimal pilot power allocation during the channel estimation stage to improve the ergodic channel gain of RIS-assisted systems under practical imperfect channel state information (CSI). Specifically, we commence by deriving an explicit closed-form expression of the ergodic channel gain of a multi-RIS-aided communication system that takes into account channel estimation errors. Then, we formulate the pilot power allocation problem to maximize the ergodic channel gain under imperfect CSI, subject to the average pilot power constraint. Then, the method of Lagrange multipliers is invoked to obtain the optimal pilot power allocation solution, which indicates that allocating more power to the pilots for estimating the weak reflection channels is capable of effectively improving the ergodic channel gain under imperfect CSI. Finally, extensive simulation results corroborate our theoretical analysis.


title: Rethinking Exemplars for Continual Semantic Segmentation in Endoscopy Scenes: Entropy-based Mini-Batch Pseudo-Replay

abstract: Endoscopy is a widely used technique for the early detection of diseases or robotic-assisted minimally invasive surgery (RMIS). Numerous deep learning (DL)-based research works have been developed for automated diagnosis or processing of endoscopic view. However, existing DL models may suffer from catastrophic forgetting. When new target classes are introduced over time or cross institutions, the performance of old classes may suffer severe degradation. More seriously, data privacy and storage issues may lead to the unavailability of old data when updating the model. Therefore, it is necessary to develop a continual learning (CL) methodology to solve the problem of catastrophic forgetting in endoscopic image segmentation. To tackle this, we propose a Endoscopy Continual Semantic Segmentation (EndoCSS) framework that does not involve the storage and privacy issues of exemplar data. The framework includes a mini-batch pseudo-replay (MB-PR) mechanism and a self-adaptive noisy cross-entropy (SAN-CE) loss. The MB-PR strategy circumvents privacy and storage issues by generating pseudo-replay images through a generative model. Meanwhile, the MB-PR strategy can also correct the model deviation to the replay data and current training data, which is aroused by the significant difference in the amount of current and replay images. Therefore, the model can perform effective representation learning on both new and old tasks. SAN-CE loss can help model fitting by adjusting the model's output logits, and also improve the robustness of training. Extensive continual semantic segmentation (CSS) experiments on public datasets demonstrate that our method can robustly and effectively address the catastrophic forgetting brought by class increment in endoscopy scenes. The results show that our framework holds excellent potential for real-world deployment in a streaming learning manner.


title: Superpixels algorithms through network community detection

abstract: Community detection is a powerful tool from complex networks analysis that finds applications in various research areas. Several image segmentation methods rely for instance on community detection algorithms as a black box in order to compute undersegmentations, i.e. a small number of regions that represent areas of interest of the image. However, to the best of our knowledge, the efficiency of such an approach w.r.t. superpixels, that aim at representing the image at a smaller level while preserving as much as possible original information, has been neglected so far. The only related work seems to be the one by Liu et. al. (IET Image Processing, 2022) that developed a superpixels algorithm using a so-called modularity maximization approach, leading to relevant results. We follow this line of research by studying the efficiency of superpixels computed by state-of-the-art community detection algorithms on a 4-connected pixel graph, so-called pixel-grid. We first detect communities on such a graph and then apply a simple merging procedure that allows to obtain the desired number of superpixels. As we shall see, such methods result in the computation of relevant superpixels as emphasized by both qualitative and quantitative experiments, according to different widely-used metrics based on ground-truth comparison or on superpixels only. We observe that the choice of the community detection algorithm has a great impact on the number of communities and hence on the merging procedure. Similarly, small variations on the pixel-grid may provide different results from both qualitative and quantitative viewpoints. For the sake of completeness, we compare our results with those of several state-of-the-art superpixels algorithms as computed by Stutz et al. (Computer Vision and Image Understanding, 2018).


title: Electron-electron Scattering in the Diffusive Regime and Dyakonov-Perel Theory: a case study of spin decoherence in n-type GaAs

abstract: We argue that in the ensemble Monte Carlo approach, the spin decoherence caused by electron-electron interactions in n-type bulk GaAs at room temperature, according to Dyakonov-Perel theory, is mainly induced by the electron density while electron-electron scattering itself does not directly affect spin lifetime but instead influences it through any energy dependence of other scattering mechanisms as typically expected in the case of the electron mobility. Therefore, our analysis, which is strongly supported by Bayesian Occam's razor, reconciles the semiclassical Monte Carlo approach with the novel computational first-principles tool recently proposed by Xu, Habib, Sundararaman and Ping.


title: Towards Unified Token Learning for Vision-Language Tracking

abstract: In this paper, we present a simple, flexible and effective vision-language (VL) tracking pipeline, termed \textbf{MMTrack}, which casts VL tracking as a token generation task. Traditional paradigms address VL tracking task indirectly with sophisticated prior designs, making them over-specialize on the features of specific architectures or mechanisms. In contrast, our proposed framework serializes language description and bounding box into a sequence of discrete tokens. In this new design paradigm, all token queries are required to perceive the desired target and directly predict spatial coordinates of the target in an auto-regressive manner. The design without other prior modules avoids multiple sub-tasks learning and hand-designed loss functions, significantly reducing the complexity of VL tracking modeling and allowing our tracker to use a simple cross-entropy loss as unified optimization objective for VL tracking task. Extensive experiments on TNL2K, LaSOT, LaSOT$_{\rm{ext}}$ and OTB99-Lang benchmarks show that our approach achieves promising results, compared to other state-of-the-arts.


title: Towards Generalizable Neural Solvers for Vehicle Routing Problems via Ensemble with Transferrable Local Policy

abstract: Machine learning has been adapted to help solve NP-hard combinatorial optimization problems. One prevalent way is learning to construct solutions by deep neural networks, which has been receiving more and more attention due to the high efficiency and less requirement for expert knowledge. However, many neural construction methods for Vehicle Routing Problems~(VRPs) focus on synthetic problem instances with specified node distributions and limited scales, leading to poor performance on real-world problems which usually involve complex and unknown node distributions together with large scales. To make neural VRP solvers more practical, we design an auxiliary policy that learns from the local transferable topological features, named local policy, and integrate it with a typical construction policy (which learns from the global information of VRP instances) to form an ensemble policy. With joint training, the aggregated policies perform cooperatively and complementarily to boost generalization. The experimental results on two well-known benchmarks, TSPLIB and CVRPLIB, of travelling salesman problem and capacitated VRP show that the ensemble policy significantly improves both cross-distribution and cross-scale generalization performance, and even performs well on real-world problems with several thousand nodes.


title: Unified and Dynamic Graph for Temporal Character Grouping in Long Videos

abstract: Video temporal character grouping locates appearing moments of major characters within a video according to their identities. To this end, recent works have evolved from unsupervised clustering to graph-based supervised clustering. However, graph methods are built upon the premise of fixed affinity graphs, bringing many inexact connections. Besides, they extract multi-modal features with kinds of models, which are unfriendly to deployment. In this paper, we present a unified and dynamic graph (UniDG) framework for temporal character grouping. This is accomplished firstly by a unified representation network that learns representations of multiple modalities within the same space and still preserves the modality's uniqueness simultaneously. Secondly, we present a dynamic graph clustering where the neighbors of different quantities are dynamically constructed for each node via a cyclic matching strategy, leading to a more reliable affinity graph. Thirdly, a progressive association method is introduced to exploit spatial and temporal contexts among different modalities, allowing multi-modal clustering results to be well fused. As current datasets only provide pre-extracted features, we evaluate our UniDG method on a collected dataset named MTCG, which contains each character's appearing clips of face and body and speaking voice tracks. We also evaluate our key components on existing clustering and retrieval datasets to verify the generalization ability. Experimental results manifest that our method can achieve promising results and outperform several state-of-the-art approaches.


title: Diffusion Schr\"{o}dinger Bridges for Bayesian Computation

abstract: Denoising diffusion models are a novel class of generative models that have recently become extremely popular in machine learning. In this paper, we describe how such ideas can also be used to sample from posterior distributions and, more generally, any target distribution whose density is known up to a normalizing constant. The key idea is to consider a forward ``noising'' diffusion initialized at the target distribution which ``transports'' this latter to a normal distribution for long diffusion times. The time-reversal of this process, the ``denoising'' diffusion, thus ``transports'' the normal distribution to the target distribution and can be approximated so as to sample from the target. To accelerate simulation, we show how one can introduce and approximate a Schr\"{o}dinger bridge between these two distributions, i.e. a diffusion which transports the normal to the target in finite time.


title: Unravelling Metastable Markovian Open Quantum Systems

abstract: We analyse the dynamics of metastable Markovian open quantum systems by unravelling their average dynamics into stochastic trajectories. We use quantum reset processes as examples to illustrate metastable phenomenology, including a simple three-state model whose metastability is of classical type, and a two-qubit model that features a metastable decoherence free subspace. In the three-state model, the trajectories exhibit classical metastable phenomenology: fast relaxation into distinct phases and slow transitions between them. This extends the existing correspondence between classical and quantum metastability. It enables the computation of committors for the quantum phases, and the mechanisms of rare transitions between them. For the two-qubit model, the decoherence-free subspace appears in the unravelled trajectories as a slow manifold on which the quantum state has a continuous slow evolution. This provides a classical (non-metastable) analogue of this quantum effect. We discuss the general implications of these results, and we highlight the useful role of quantum reset processes for analysis of quantum trajectories in metastable systems.


title: Depth self-supervision for single image novel view synthesis

abstract: In this paper, we tackle the problem of generating a novel image from an arbitrary viewpoint given a single frame as input. While existing methods operating in this setup aim at predicting the target view depth map to guide the synthesis, without explicit supervision over such a task, we jointly optimize our framework for both novel view synthesis and depth estimation to unleash the synergy between the two at its best. Specifically, a shared depth decoder is trained in a self-supervised manner to predict depth maps that are consistent across the source and target views. Our results demonstrate the effectiveness of our approach in addressing the challenges of both tasks allowing for higher-quality generated images, as well as more accurate depth for the target viewpoint.


title: Consequences of the random matrix solution to the Peterson-Thom conjecture

abstract: In this paper we show various new structural properties of free group factors using the recent resolution (due independently to Belinschi-Capitaine and Bordenave-Collins) of the Peterson-Thom conjecture. These results include the resolution to the coarseness conjecture independently due to the first-named author and Popa, a generalization of Ozawa-Popa's celebrated strong solidity result using vastly more general versions of the normalizer (and in an ultraproduct setting), a dichotomy result for intertwining of maximal amenable subalgebras of interpolated free group factors, as well as application to ultraproduct embeddings of nonamenable subalgebras of interpolated free group factors.


title: Gaussian RBF-kernels via Fock spaces: quaternionic and several complex variables settings

abstract: In this paper we study two extensions of the complex-valued Gaussian radial basis function (RBF) kernel and discuss their connections with Fock spaces in two different settings. First, we introduce the quaternonic Gaussian RBF kernel constructed using the theory of slice hyperholomorphic functions. Then, we consider the case of Gaussian RBF kernels in several complex variables.


title: MARL for Decentralized Electric Vehicle Charging Coordination with V2V Energy Exchange

abstract: Effective energy management of electric vehicle (EV) charging stations is critical to supporting the transport sector's sustainable energy transition. This paper addresses the EV charging coordination by considering vehicle-to-vehicle (V2V) energy exchange as the flexibility to harness in EV charging stations. Moreover, this paper takes into account EV user experiences, such as charging satisfaction and fairness. We propose a Multi-Agent Reinforcement Learning (MARL) approach to coordinate EV charging with V2V energy exchange while considering uncertainties in the EV arrival time, energy price, and solar energy generation. The exploration capability of MARL is enhanced by introducing parameter noise into MARL's neural network models. Experimental results demonstrate the superior performance and scalability of our proposed method compared to traditional optimization baselines. The decentralized execution of the algorithm enables it to effectively deal with partial system faults in the charging station.


title: Tightly-bound and room-temperature-stable excitons in van der Waals degenerate-semiconductor Bi4O4SeCl2 with high charge-carrier density

abstract: Excitons, which represent a type of quasi-particles consisting of electron-hole pairs bound by the mutual Coulomb interaction, were often observed in lowly-doped semiconductors or insulators. However, realizing excitons in the semiconductors or insulators with high charge carrier densities is a challenging task. Here, we perform infrared spectroscopy, electrical transport, ab initio calculation, and angle-resolved-photoemission spectroscopy studies of a van der Waals degenerate-semiconductor Bi4O4SeCl2. A peak-like feature (i.e., alpha peak) is present around ~ 125 meV in the optical conductivity spectra at low temperature T = 8 K and room temperature. After being excluded from the optical excitations of free carriers, interband transitions, localized states and polarons, the alpha peak is assigned as the exciton absorption. Moreover, assuming the existence of weakly-bound excitons--Wannier-type excitons in this material violates the Lyddane-Sachs-Teller relation. Besides, the exciton binding energy of ~ 375 meV, which is about an order of magnitude larger than those of conventional semiconductors, and the charge-carrier concentration of ~ 1.25 * 10^19 cm^-3, which is higher than the Mott density, further indicate that the excitons in this highly-doped system should be tightly bound. Our results pave the way for developing the optoelectronic devices based on the tightly-bound and room-temperature-stable excitons in highly-doped van der Waals degenerate semiconductors.


title: Semantic-aware Consistency Network for Cloth-changing Person Re-Identification

abstract: Cloth-changing Person Re-Identification (CC-ReID) is a challenging task that aims to retrieve the target person across multiple surveillance cameras when clothing changes might happen. Despite recent progress in CC-ReID, existing approaches are still hindered by the interference of clothing variations since they lack effective constraints to keep the model consistently focused on clothing-irrelevant regions. To address this issue, we present a Semantic-aware Consistency Network (SCNet) to learn identity-related semantic features by proposing effective consistency constraints. Specifically, we generate the black-clothing image by erasing pixels in the clothing area, which explicitly mitigates the interference from clothing variations. In addition, to fully exploit the fine-grained identity information, a head-enhanced attention module is introduced, which learns soft attention maps by utilizing the proposed part-based matching loss to highlight head information. We further design a semantic consistency loss to facilitate the learning of high-level identity-related semantic features, forcing the model to focus on semantically consistent cloth-irrelevant regions. By using the consistency constraint, our model does not require any extra auxiliary segmentation module to generate the black-clothing image or locate the head region during the inference stage. Extensive experiments on four cloth-changing person Re-ID datasets (LTCC, PRCC, Vc-Clothes, and DeepChange) demonstrate that our proposed SCNet makes significant improvements over prior state-of-the-art approaches. Our code is available at: https://github.com/Gpn-star/SCNet.


title: Hybrid Transformer-RNN Architecture for Household Occupancy Detection Using Low-Resolution Smart Meter Data

abstract: Residential occupancy detection has become an enabling technology in today's urbanized world for various smart home applications, such as building automation, energy management, and improved security and comfort. Digitalization of the energy system provides smart meter data that can be used for occupancy detection in a non-intrusive manner without causing concerns regarding privacy and data security. In particular, deep learning techniques make it possible to infer occupancy from low-resolution smart meter data, such that the need for accurate occupancy detection with privacy preservation can be achieved. Our work is thus motivated to develop a privacy-aware and effective model for residential occupancy detection in contemporary living environments. Our model aims to leverage the advantages of both recurrent neural networks (RNNs), which are adept at capturing local temporal dependencies, and transformers, which are effective at handling global temporal dependencies. Our designed hybrid transformer-RNN model detects residential occupancy using hourly smart meter data, achieving an accuracy of nearly 92\% across households with diverse profiles. We validate the effectiveness of our method using a publicly accessible dataset and demonstrate its performance by comparing it with state-of-the-art models, including attention-based occupancy detection methods.


title: Situated Natural Language Explanations

abstract: Natural language is among the most accessible tools for explaining decisions to humans, and large pretrained language models (PLMs) have demonstrated impressive abilities to generate coherent natural language explanations (NLE). The existing NLE research perspectives do not take the audience into account. An NLE can have high textual quality, but it might not accommodate audiences' needs and preference. To address this limitation, we propose an alternative perspective, \textit{situated} NLE. On the evaluation side, we set up automated evaluation scores. These scores describe the properties of NLEs in lexical, semantic, and pragmatic categories. On the generation side, we identify three prompt engineering techniques and assess their applicability on the situations. Situated NLE provides a perspective and facilitates further research on the generation and evaluation of explanations.


title: An Improved Kernel and Parameterized Algorithm for Almost Induced Matching

abstract: An induced subgraph is called an induced matching if each vertex is a degree-1 vertex in the subgraph. The \textsc{Almost Induced Matching} problem asks whether we can delete at most $k$ vertices from the input graph such that the remaining graph is an induced matching. This paper studies parameterized algorithms for this problem by taking the size $k$ of the deletion set as the parameter. First, we prove a $6k$-vertex kernel for this problem, improving the previous result of $7k$. Second, we give an $O^*(1.6765^k)$-time and polynomial-space algorithm, improving the previous running-time bound of $O^*(1.7485^k)$.


title: Cross-Entropy-Based Approach to Multi-Objective Electric Vehicle Charging Infrastructure Planning

abstract: Pure electric vehicles (PEVs) are increasingly adopted to decarbonize the transport sector and mitigate global warming. However, the inadequate PEV charging infrastructure may hinder the further adoption of PEVs in the large-scale traffic network, which calls for effective planning solutions for the charging station (CS) placement. The deployment of charging infrastructure inevitably increases the load on the associated power distribution network. Therefore, we are motivated to develop a comprehensive multi-objective framework for optimal CS placement in a traffic network overlaid by a distribution network, considering multiple stakeholders' interested factors, such as traffic flow, PEV charging time cost, PEV travel distance, and the reliability of the distribution network. We leverage a cross-entropy-based method to solve the optimal CS placement and evaluate our method in a real-world 183-node traffic network in Chengdu, China, overlaid by a 26-region distribution network. It is demonstrated that our work provides various viable planning options favoring different objectives for the stakeholders' decision-making in practice.


title: Any link has a diagram with only triangles and quadrilaterals

abstract: A link diagram can be considered as a $4$-valent graph embedded in the $2$-sphere and divides the sphere into complementary regions. In this paper, we show that any link has a diagram with only triangles and quadrilaterals. This extends previous results shown by the authors and C. Adams.


title: Semi-Supervised Learning in the Few-Shot Zero-Shot Scenario

abstract: Semi-Supervised Learning (SSL) is a framework that utilizes both labeled and unlabeled data to enhance model performance. Conventional SSL methods operate under the assumption that labeled and unlabeled data share the same label space. However, in practical real-world scenarios, especially when the labeled training dataset is limited in size, some classes may be totally absent from the labeled set. To address this broader context, we propose a general approach to augment existing SSL methods, enabling them to effectively handle situations where certain classes are missing. This is achieved by introducing an additional term into their objective function, which penalizes the KL-divergence between the probability vectors of the true class frequencies and the inferred class frequencies. Our experimental results reveal significant improvements in accuracy when compared to state-of-the-art SSL, open-set SSL, and open-world SSL methods. We conducted these experiments on two benchmark image classification datasets, CIFAR-100 and STL-10, with the most remarkable improvements observed when the labeled data is severely limited, with only a few labeled examples per class


title: Large Language Models Streamline Automated Machine Learning for Clinical Studies

abstract: A knowledge gap persists between machine learning (ML) developers (e.g., data scientists) and practitioners (e.g., clinicians), hampering the full utilization of ML for clinical data analysis. We investigated the potential of the ChatGPT Advanced Data Analysis (ADA), an extension of GPT-4, to bridge this gap and perform ML analyses efficiently. Real-world clinical datasets and study details from large trials across various medical specialties were presented to ChatGPT ADA without specific guidance. ChatGPT ADA autonomously developed state-of-the-art ML models based on the original study's training data to predict clinical outcomes such as cancer development, cancer progression, disease complications, or biomarkers such as pathogenic gene sequences. Following the re-implementation and optimization of the published models, the head-to-head comparison of the ChatGPT ADA-crafted ML models and their respective manually crafted counterparts revealed no significant differences in traditional performance metrics (P>0.071). Strikingly, the ChatGPT ADA-crafted ML models often outperformed their counterparts. In conclusion, ChatGPT ADA offers a promising avenue to democratize ML in medicine by simplifying complex data analyses, yet should enhance, not replace, specialized training and resources, to promote broader applications in medical research and practice.


title: Lipschitz-free spaces over properly metrisable spaces and approximation properties

abstract: Let $T$ be a topological space admitting a compatible proper metric, that is, a locally compact, separable and metrisable space. Let $\mathcal{M}^T$ be the non-empty set of all proper metrics $d$ on $T$ compatible with its topology, and equip $\mathcal{M}^T$ with the topology of uniform convergence, where the metrics are regarded as functions on $T^2$. We prove that the set $\mathcal{A}^{T,1}$ of metrics $d\in\mathcal{M}^T$ for which the Lipschitz-free space $\mathcal{F}(T,d)$ has the metric approximation property is a dense set in $\mathcal{M}^T$, and is furthermore residual in $\mathcal{M}^T$ when $T$ is zero-dimensional. We also prove that if $T$ is uncountable then the set $\mathcal{A}^T_f$ of metrics $d\in\mathcal{M}^T$ for which $\mathcal{F}(T,d)$ fails the approximation property is dense in $\mathcal{M}^T$. Combining the last statement with a result of Dalet, we conclude that for any `properly metrisable' space $T$, $\mathcal{A}^T_f$ is either empty or dense in $\mathcal{M}^T$.


title: Preparing Reproducible Scientific Artifacts using Docker

abstract: The pursuit of scientific knowledge strongly depends on the ability to reproduce and validate research results. It is a well-known fact that the scientific community faces challenges related to transparency, reliability, and the reproducibility of empirical published results. Consequently, the design and preparation of reproducible artifacts has a fundamental role in the development of science. Reproducible artifacts comprise comprehensive documentation, data, and code that enable replication and validation of research findings by others. In this work, we discuss a methodology to construct reproducible artifacts based on Docker. Our presentation centers around the preparation of an artifact to be submitted to scientific venues that encourage or require this process. This report's primary audience are scientists working with empirical computer science; however, we believe that the presented methodology can be extended to other technology-oriented empirical disciplines.


title: On $Z$-monodromies in embedded graphs

abstract: We characterize all permutations which realize as the $z$-monodromies of faces in connected simple finite graphs embedded in surfaces whose duals are also simple.


title: The APX-hardness of the Traveling Tournament Problem

abstract: The Traveling Tournament Problem (TTP-$k$) is a well-known benchmark problem in sports scheduling, which asks us to design a double round-robin schedule such that each pair of teams plays one game in each other's home venue, each team plays at most $k$-consecutive home games or away games, and the total traveling distance of all the $n$ teams is minimized. TTP-$k$ allows a PTAS when $k=2$ and becomes APX-hard when $k\geq n-1$. In this paper, we reduce the gap by showing that TTP-$k$ is APX-hard for any fixed $k\geq3$.


title: Persistence of Monoclinic Crystal Structure in Three-Dimensional Second-Order Topological Insulator Candidate 1T'-MoTe2 Thin Flake without Structural Phase transition

abstract: A van der Waals material, MoTe2 with a monoclinic 1T' crystal structure is a candidate for three-dimensional (3D) second-order topological insulators (SOTIs) hosting gapless hinge states and insulating surface states. However, due to the temperature-induced structural phase transition, the monoclinic 1T' structure of MoTe2 would be transformed into the orthorhombic Td structure as the temperature is lowered, which hinders the experimental verification and the electronic applications of the predicted SOTI state at low temperatures. Here, we present systematic Raman spectroscopy studies of the exfoliated MoTe2 thin flakes with variable thicknesses at different temperatures. As a spectroscopic signature of the orthorhombic Td structure of MoTe2, the out-of-plane vibration mode D at ~ 125 cm-1 is always visible below a certain temperature in the multilayer flakes thicker than ~ 27.7 nm, but vanishes in the temperature range from 80 K to 320 K when the flake thickness becomes lower than ~ 19.5 nm. The absence of the out-of-plane vibration mode D in the Raman spectra here demonstrates not only the disappearance of the monoclinic-to-orthorhombic phase transition but also the persistence of the monoclinic 1T' structure in the MoTe2 thin flakes thinner than ~ 19.5 nm at low temperatures down to 80 K, which may be caused by the high enough density of the holes introduced during the gold-enhanced exfoliation process and exposure to air. The MoTe2 thin flakes with the low-temperature monoclinic 1T' structure provide a material platform for realizing SOTI states in van der Waals materials at low temperatures, which paves the way for developing a new generation of electronic devices based on SOTIs.


title: Synergizing Contrastive Learning and Optimal Transport for 3D Point Cloud Domain Adaptation

abstract: Recently, the fundamental problem of unsupervised domain adaptation (UDA) on 3D point clouds has been motivated by a wide variety of applications in robotics, virtual reality, and scene understanding, to name a few. The point cloud data acquisition procedures manifest themselves as significant domain discrepancies and geometric variations among both similar and dissimilar classes. The standard domain adaptation methods developed for images do not directly translate to point cloud data because of their complex geometric nature. To address this challenge, we leverage the idea of multimodality and alignment between distributions. We propose a new UDA architecture for point cloud classification that benefits from multimodal contrastive learning to get better class separation in both domains individually. Further, the use of optimal transport (OT) aims at learning source and target data distributions jointly to reduce the cross-domain shift and provide a better alignment. We conduct a comprehensive empirical study on PointDA-10 and GraspNetPC-10 and show that our method achieves state-of-the-art performance on GraspNetPC-10 (with approx 4-12% margin) and best average performance on PointDA-10. Our ablation studies and decision boundary analysis also validate the significance of our contrastive learning module and OT alignment.


title: Information geometric regularization of the barotropic Euler equation

abstract: A key numerical difficulty in compressible fluid dynamics is the formation of shock waves. Shock waves feature jump discontinuities in the velocity and density of the fluid and thus preclude the existence of classical solutions to the compressible Euler equations. Weak entropy solutions are commonly defined by viscous regularization, but even small amounts of viscosity can substantially change the long-term behavior of the solution. In this work, we propose the first inviscid regularization of the multidimensional Euler equation based on ideas from semidefinite programming, information geometry, geometric hydrodynamics, and nonlinear elasticity. From a Lagrangian perspective, shock formation in entropy solutions amounts to inelastic collisions of fluid particles. Their trajectories are akin to that of projected gradient descent on a feasible set of non-intersecting paths. We regularize these trajectories by replacing them with solution paths of interior point methods based on log determinantal barrier functions. These paths are geodesic curves with respect to the information geometry induced by the barrier function. Thus, our regularization replaces the Euclidean geometry of trajectories with a suitable information geometry. We extend this idea to infinite families of paths by viewing Euler's equations as a dynamical system on a diffeomorphism manifold. Our regularization embeds this manifold into an information geometric ambient space, equipping it with a geodesically complete geometry. Expressing the resulting Lagrangian equations in Eulerian form, we derive a regularized Euler equation in conservation form. Numerical experiments on one and two-dimensional problems show its promise as a numerical tool. While we focus on the barotropic Euler equations for concreteness and simplicity of exposition, our regularization easily extends to more general Euler and Navier-Stokes-type equations.


title: A Novel Reconfigurable Vector-Processed Interleaving Algorithm for a DVB-RCS2 Turbo Encoder

abstract: Turbo-Codes (TC) are a family of convolutional codes enabling Forward-Error-Correction (FEC) while approaching the theoretical limit of channel capacity predicted by Shannons theorem. One of the bottlenecks of a Turbo Encoder (TE) lies in the non-uniform interleaving stage. Interleaving algorithms require stalling the input vector bits before the bit rearrangement causing a delay in the overall process. This paper presents performance enhancement via a parallel algorithm for the interleaving stage of a Turbo Encoder application compliant with the DVB-RCS2 standard. The algorithm efficiently implements the interleaving operation while utilizing attributes of a given DSP. We will discuss and compare a serial model for the TE, with the presented parallel processed algorithm. Results showed a speed-up factor of up to 3.4 Total-Cycles, 4.8 Write and 7.3 Read.


title: SPEED: Streaming Partition and Parallel Acceleration for Temporal Interaction Graph Embedding

abstract: Temporal Interaction Graphs (TIGs) are widely employed to model intricate real-world systems such as financial systems and social networks. To capture the dynamism and interdependencies of nodes, existing TIG embedding models need to process edges sequentially and chronologically. However, this requirement prevents it from being processed in parallel and struggle to accommodate burgeoning data volumes to GPU. Consequently, many large-scale temporal interaction graphs are confined to CPU processing. Furthermore, a generalized GPU scaling and acceleration approach remains unavailable. To facilitate large-scale TIGs' implementation on GPUs for acceleration, we introduce a novel training approach namely Streaming Edge Partitioning and Parallel Acceleration for Temporal Interaction Graph Embedding (SPEED). The SPEED is comprised of a Streaming Edge Partitioning Component (SEP) which addresses space overhead issue by assigning fewer nodes to each GPU, and a Parallel Acceleration Component (PAC) which enables simultaneous training of different sub-graphs, addressing time overhead issue. Our method can achieve a good balance in computing resources, computing time, and downstream task performance. Empirical validation across 7 real-world datasets demonstrates the potential to expedite training speeds by a factor of up to 19.29x. Simultaneously, resource consumption of a single-GPU can be diminished by up to 69%, thus enabling the multiple GPU-based training and acceleration encompassing millions of nodes and billions of edges. Furthermore, our approach also maintains its competitiveness in downstream tasks.


title: Simulation of magnetic hyperthermia cancer treatment near a blood vessel

abstract: In this study, we conduct a study on magnetic hyperthermia treatment when a vessel is located near the tumor. The holistic framework is established to solve the process of tumor treatment. The interstitial tissue fluid, MNP distribution, temperature profile, and nanofluids are involved in the simulation. The study evaluates the cancer treatment efficacy by cumulative-equivalent-minutes-at-43 centigrade (CEM43), a widely accepted thermal dose. The influence of the nearby blood vessel is investigated, and parameter studies about the distance to the tumor, the width of the blood vessel, and the vessel direction are also conducted. After that, the effects of the fluid-structure interaction of moving vessel boundaries and blood rheology are discussed. The results demonstrate the cooling effect of a nearby blood vessel, and such effect reduces with the augment of the distance between the tumor and blood vessel. The combination of downward gravity and the cool effect from the lower horizontal vessel leads to the best performance with 97.77% ablation in the tumor and 0.87% injury in healthy tissue at distance d = 4 mm, but the cases of the vertical vessel are relatively poor. The vessel width and blood rheology affect the treatment by velocity gradient near the vessel wall. Additionally, the moving boundary almost has no impact on treatment efficacy. The simulation tool has been well-validated and the outcomes can provide a useful reference to magnetic hyperthermia treatment.


title: Multidepot Capacitated Vehicle Routing with Improved Approximation Guarantees

abstract: The Multidepot Capacitated Vehicle Routing Problem (MCVRP) is a well-known variant of the classic Capacitated Vehicle Routing Problem (CVRP), where we need to route capacitated vehicles located in multiple depots to serve customers' demand such that each vehicle must return to the depot it starts, and the total traveling distance is minimized. There are three variants of MCVRP according to the property of the demand: unit-demand, splittable and unsplittable. We study approximation algorithms for $k$-MCVRP in metric graphs, where $k$ is the capacity of each vehicle. The best-known approximation ratios for the three versions are $4-\Theta(1/k)$, $4-\Theta(1/k)$, and $4$, respectively. We give a $(4-1/1500)$-approximation algorithm for unit-demand and splittable $k$-MCVRP, and a $(4-1/50000)$-approximation algorithm for unsplittable $k$-MCVRP. When $k$ is a fixed integer, we give a $(3+\ln2-\max\{\Theta(1/\sqrt{k}),1/9000\})$-approximation algorithm for the splittable and unit-demand cases, and a $(3+\ln2-\Theta(1/\sqrt{k}))$-approximation algorithm for the unsplittable case.


title: Detecting Language Model Attacks with Perplexity

abstract: A novel hack involving Large Language Models (LLMs) has emerged, exploiting adversarial suffixes to deceive models into generating perilous responses. Such jailbreaks can trick LLMs into providing intricate instructions to a malicious user for creating explosives, orchestrating a bank heist, or facilitating the creation of offensive content. By evaluating the perplexity of queries with adversarial suffixes using an open-source LLM (GPT-2), we found that they have exceedingly high perplexity values. As we explored a broad range of regular (non-adversarial) prompt varieties, we concluded that false positives are a significant challenge for plain perplexity filtering. A Light-GBM trained on perplexity and token length resolved the false positives and correctly detected most adversarial attacks in the test set.


title: Cheap Lunch for Medical Image Segmentation by Fine-tuning SAM on Few Exemplars

abstract: The Segment Anything Model (SAM) has demonstrated remarkable capabilities of scaled-up segmentation models, enabling zero-shot generalization across a variety of domains. By leveraging large-scale foundational models as pre-trained models, it is a natural progression to fine-tune SAM for specific domains to further enhance performances. However, the adoption of foundational models in the medical domain presents a challenge due to the difficulty and expense of labeling sufficient data for adaptation within hospital systems. In this paper, we introduce an efficient and practical approach for fine-tuning SAM using a limited number of exemplars, making it suitable for such scenarios. Our approach combines two established techniques from the literature: an exemplar-guided synthesis module and the widely recognized Low-Rank Adaptation (LoRA) fine-tuning strategy, serving as data-level and model-level attempts respectively. Interestingly, our empirical findings suggest that SAM can be effectively aligned within the medical domain even with few labeled data. We validate our approach through experiments on brain tumor segmentation (BraTS) and multi-organ CT segmentation (Synapse). The comprehensive results underscore the feasibility and effectiveness of such an approach, paving the way for the practical application of SAM in the medical domain.


title: Locally Uniform Hashing

abstract: Hashing is a common technique used in data processing, with a strong impact on the time and resources spent on computation. Hashing also affects the applicability of theoretical results that often assume access to (unrealistic) uniform/fully-random hash functions. In this paper, we are concerned with designing hash functions that are practical and come with strong theoretical guarantees on their performance. To this end, we present tornado tabulation hashing, which is simple, fast, and exhibits a certain full, local randomness property that provably makes diverse algorithms perform almost as if (abstract) fully-random hashing was used. For example, this includes classic linear probing, the widely used HyperLogLog algorithm of Flajolet, Fusy, Gandouet, Meunier [AOFA 97] for counting distinct elements, and the one-permutation hashing of Li, Owen, and Zhang [NIPS 12] for large-scale machine learning. We also provide a very efficient solution for the classical problem of obtaining fully-random hashing on a fixed (but unknown to the hash function) set of $n$ keys using $O(n)$ space. As a consequence, we get more efficient implementations of the splitting trick of Dietzfelbinger and Rink [ICALP'09] and the succinct space uniform hashing of Pagh and Pagh [SICOMP'08]. Tornado tabulation hashing is based on a simple method to systematically break dependencies in tabulation-based hashing techniques.


title: Rare Events Analysis and Computation for Stochastic Evolution of Bacterial Populations

abstract: In this paper, we develop a computational approach for computing most likely trajectories describing rare events that correspond to the emergence of non-dominant genotypes. This work is based on the large deviations approach for discrete Markov chains describing the genetic evolution of large bacterial populations. We demonstrate that a gradient descent algorithm developed in this paper results in the fast and accurate computation of most-likely trajectories for a large number of bacterial genotypes. We supplement our analysis with extensive numerical simulations demonstrating the computational advantage of the designed gradient descent algorithm over other, more simplified, approaches.


title: Rigidity of flat holonomies

abstract: We prove that the existence of one horosphere in the universal cover of a closed, strictly quarter pinched, negatively curved Riemannian manifold of dimension $n\geq 3$ on which the stable holonomy along minimizing geodesics coincide with the Riemannian parallel transport, implies that the manifold is homothetic to a real hyperbolic manifold.


title: Lecture notes on algebraic methods in combinatorics

abstract: These are lecture notes of a course taken in Leipzig 2023, spring semester. It deals with extremal combinatorics, algebraic methods and combinatorial geometry. These are not meant to be exhaustive, and do not contain many proofs that were presented in the course.


title: Higher (equivariant) topological complexity of Milnor manifolds

abstract: Milnor manifolds are the total spaces of projectivizations of certain vector bundles over projective spaces. In this paper, we compute the sharp bounds on the higher topological complexity of these manifolds, and in many cases, we compute its exact value. We also compute sharp bounds on the higher equivariant topological complexity of Milnor manifolds, when they admit free $\mathbb{Z}_2$ and circle-actions.


title: Reinforcement Learning-based Optimal Control and Software Rejuvenation for Safe and Efficient UAV Navigation

abstract: Unmanned autonomous vehicles (UAVs) rely on effective path planning and tracking control to accomplish complex tasks in various domains. Reinforcement Learning (RL) methods are becoming increasingly popular in control applications, as they can learn from data and deal with unmodelled dynamics. Cyber-physical systems (CPSs), such as UAVs, integrate sensing, network communication, control, and computation to solve challenging problems. In this context, Software Rejuvenation (SR) is a protection mechanism that refreshes the control software to mitigate cyber-attacks, but it can affect the tracking controller's performance due to discrepancies between the control software and the physical system state. Traditional approaches to mitigate this effect are conservative, hindering the overall system performance. In this paper, we propose a novel approach that incorporates Deep Reinforcement Learning (Deep RL) into SR to design a safe and high-performing tracking controller. Our approach optimizes safety and performance, and we demonstrate its effectiveness during UAV simulations. We compare our approach with traditional methods and show that it improves the system's performance while maintaining safety constraints.


title: Indirect-to-direct bandgap transition in few-layer $\beta$-InSe as probed by photoluminescence spectroscopy

abstract: InSe is a promising material for a next-generation of two-dimensional electronic and optical devices, characteristics of which are largely determined by the type of band structure, direct or indirect. In general, different methods can be sensitive to different peculiarities of the electronic structure leading to different results. In this work, we will focus on the luminescent properties of few-layer $\beta$-InSe with a thickness of 6 to 75 monolayers (ML). Low-temperature micro-photoluminescence ($mu$-PL) studies show a sharp increase in PL intensity in the range of thicknesses from 16 to 20 monolayers, where, in addition, there is a singularity in the dependence of the work function on the thickness. Time-resolved photoluminescence spectroscopy (TRPL) reveals three characteristic PL decay times that differ from each other by about an order of magnitude. We associate the processes underlying the two faster decays with the recombination of electrons and holes between the band extrema, either directly or through the interband relaxation of holes. Their contributions to the total PL intensity increase significantly in the same thickness range, 16-20 MLs. On the contrary, the slowest contribution, which we attribute mainly to the defect-assisted recombination, prevails at a smaller number of monolayers and then noticeably decreases. These results indicate the indirect-to-direct bandgap transition near 16-20 MLs, which determines the range of applicability of a few-layer $\beta$-InSe for efficient light emitters.


title: Giant Rainbow Trees in Sparse Random Graphs

abstract: For any small constant $\epsilon>0$, the Erd\H{o}s-R\'enyi random graph $G(n,\frac{1+\epsilon}{n})$ with high probability has a unique largest component which contains $(1\pm O(\epsilon))2\epsilon n$ vertices. Let $G_c(n,p)$ be obtained by assigning each edge in $G(n,p)$ a color in $[c]$ independently and uniformly. Cooley, Do, Erde, and Missethan proved that for any fixed $\alpha>0$, $G_{\alpha n}(n,\frac{1+\epsilon}{n})$ with high probability contains a rainbow tree (a tree that does not repeat colors) which covers $(1\pm O(\epsilon))\frac{\alpha}{\alpha+1}\epsilon n$ vertices, and conjectured that there is one which covers $(1\pm O(\epsilon))2\epsilon n$. In this paper, we achieve the correct leading constant and prove their conjecture correct up to a logarithmic factor in the error term, as we show that with high probability $G_{\alpha n}(n,\frac{1+\epsilon}{n})$ contains a rainbow tree which covers $(1\pm O(\epsilon\log(1/\epsilon)))2\epsilon n$ vertices.


title: Integrated Variational Fourier Features for Fast Spatial Modelling with Gaussian Processes

abstract: Sparse variational approximations are popular methods for scaling up inference and learning in Gaussian processes to larger datasets. For $N$ training points, exact inference has $O(N^3)$ cost; with $M \ll N$ features, state of the art sparse variational methods have $O(NM^2)$ cost. Recently, methods have been proposed using more sophisticated features; these promise $O(M^3)$ cost, with good performance in low dimensional tasks such as spatial modelling, but they only work with a very limited class of kernels, excluding some of the most commonly used. In this work, we propose integrated Fourier features, which extends these performance benefits to a very broad class of stationary covariance functions. We motivate the method and choice of parameters from a convergence analysis and empirical exploration, and show practical speedup in synthetic and real world spatial regression tasks.


title: Ensemble-localized Kernel Density Estimation with Applications to the Ensemble Gaussian Mixture Filter

abstract: The ensemble Gaussian mixture filter (EnGMF) is a non-linear filter suited to data assimilation of highly non-Gaussian and non-linear models that has practical utility in the case of a small number of samples, and theoretical convergence to full Bayesian inference in the ensemble limit. We aim to increase the utility of the EnGMF by introducing an ensemble-local notion of covariance into the kernel density estimation (KDE) step for the prior distribution. We prove that in the Gaussian case, our new ensemble-localized KDE technique is exactly the same as more traditional KDE techniques. We also show an example of a non-Gaussian distribution that can fail to be approximated by canonical KDE methods, but can be approximated well by our new KDE technique. We showcase our new KDE technique on a simple bivariate problem, showing that it has nice qualitative and quantitative properties, and significantly improves the estimate of the prior and posterior distributions for all ensemble sizes tested. We additionally show the utility of the proposed methodology for sequential filtering for the Lorenz '63 equations, achieving a significant reduction in error, and less conservative behavior in the uncertainty estimate with respect to traditional techniques.


title: Learning end-to-end inversion of circular Radon transforms in the partial radial setup

abstract: We present a deep learning-based computational algorithm for inversion of circular Radon transforms in the partial radial setup, arising in photoacoustic tomography. We first demonstrate that the truncated singular value decomposition-based method, which is the only traditional algorithm available to solve this problem, leads to severe artifacts which renders the reconstructed field as unusable. With the objective of overcoming this computational bottleneck, we train a ResBlock based U-Net to recover the inferred field that directly operates on the measured data. Numerical results with augmented Shepp-Logan phantoms, in the presence of noisy full and limited view data, demonstrate the superiority of the proposed algorithm.


title: Enhancement of the Prefiltered Rotationally Invariant Non-local PCA Algorithm for MRI

abstract: Magnetic resonance imaging (MRI) is a non-invasive medical imaging technique offering high-resolution 3D images and valuable insights into human tissue conditions. Even at present, the refinement of denoising methods for MRI remains a crucial concern for improving the quality of the images. This study aims to enhance the prefiltered rotationally invariant non-local principal component analysis (PRI-NL-PCA) algorithm. This paper relaxed the original restriction, using the particle swarm optimization and traversal method to determine the optimal parameters of the algorithm. This paper also combined the component filters of the original algorithm and picked the most suitable combination as the new collaborative algorithm. It was found that the original algorithm has already achieved the best possible outcome, apart from a few threshold parameters that need to be adjusted. The effective way to further enhance the performance is to attach only one NL-PCA filter before and after the pre-filtered rotationally invariant non-local mean (PRI-NLM) filter. Although the performance of the new collaborative algorithm is still a little short of advanced deep learning methods, it shows that the algorithm based on PCA denoising is indeed feasible. It requires only a few parameters to be adjusted, and it is conceivable that they can be determined directly from the image, granting it a strong general capacity for various body parts, and it merits further exploration. An auxiliary tool was also extracted from the new algorithm, encouraging further combination of it with other state-of-the-art methods to further improve their denoising performance.


title: From Humean Laws to a Neo-Kantian Spacetime: A Dynamics-First View of Topology

abstract: Do the spacetime manifolds which feature in our best scientific theories reflect anything metaphysically weighty in the world (e.g., any fundamental substances or relations)? Should we extend our notions of space and time beyond the epistemological roles they play in helping us codify the dynamical behavior of matter? Kant famously answered ``No'' to both of these questions, contra Newton and Leibniz. This paper introduces novel technical and philosophical support for such a (Neo-)Kantian perspective on the metaphysics of space and time. To begin, I will make an explicit analogy between broadly Humean views of laws (e.g., Lewis, Demarest, etc.) and dynamics-first views of geometry (e.g., Brown). I will then continue this line of analogous views beyond the metaphysics of laws debate and the dynamical vs geometric spacetime debate by extending it into the context of spacetime topology. Namely, I will put forward a dynamics-first view of topology (in answer to Norton's problem of pre-geometry). This dynamics-first view of topology is supported by some powerful new techniques for topological redescription which I have recently developed in Grimmer (2023a) and Grimmer (2023b), namely the ISE Method. These new techniques allow us to remove and replace the topological underpinnings of our spacetime theories just as easily as we can switch between different coordinate systems. For instance, a theory set on a M\"obius strip might be redescribed as being set on the Euclidean plane and vice versa. Indeed, as Grimmer (2023b) has proved, the ISE Method gives us access to effectively every possible spacetime framing of a given theory's kinematical and dynamical content. Given this overabundance of candidate spacetime framings, it is then conceivable that one can pick out a theory's topological structure via something analogous to a Best Systems Analysis.


title: Adaptive Assessment of Visualization Literacy

abstract: Visualization literacy is an essential skill for accurately interpreting data to inform critical decisions. Consequently, it is vital to understand the evolution of this ability and devise targeted interventions to enhance it, requiring concise and repeatable assessments of visualization literacy for individuals. However, current assessments, such as the Visualization Literacy Assessment Test (VLAT), are time-consuming due to their fixed, lengthy format. To address this limitation, we develop two streamlined computerized adaptive tests (CATs) for visualization literacy, A-VLAT and A-CALVI, which measure the same set of skills as their original versions in half the number of questions. Specifically, we (1) employ item response theory (IRT) and non-psychometric constraints to construct adaptive versions of the assessments, (2) finalize the configurations of adaptation through simulation, (3) refine the composition of test items of A-CALVI via a qualitative study, and (4) demonstrate the test-retest reliability (ICC: 0.98 and 0.98) and convergent validity (correlation: 0.81 and 0.66) of both CATs via four online studies. We discuss practical recommendations for using our CATs and opportunities for further customization to leverage the full potential of adaptive assessments. All supplemental materials are available at https://osf.io/a6258/.


title: Production of the newly observed $\bar{T}_{c\bar{s}0}$ by kaon-induced reactions on a proton/neutron target

abstract: Recently, a new doubly charged tetraquark $T^{a}_{c\bar{s}0}(2900)^{++}$ and its neutral partner $T^{a}_{c\bar{s}0}(2900)^0$ at the invariant mass spectrum of $\pi{}D_s$ were observed by the LHCb Collaboration. According to its properties, such as the mass and decay width, the $T^{a}_{c\bar{s}0}(2900)^{++/0}$ have been suggested to be a compact multi-quark state or a hadron molecule. In order to distinguish the various interpretations of the $T^{a}_{c\bar{s}0}(2900)^{++/0}$, we investigate the possibility to study the $\bar{T}^{a}_{c\bar{s}0}(2900)$ [the antiparticle of $T^{a}_{c\bar{s}0}(2900)$] by kaon-induced reactions on a proton target in an effective Lagrangian approach. The production mechanism is characterized by the $t$-channel $D$ meson exchange. Our theoretical approach is based on the assumption that $\bar{T}^{a}_{c\bar{s}0}(2900)$ can be either a $K^{*}D^{*}-D_s^{*}\rho$ molecule or a compact tetraquark state. Using the coupling constants of the $\bar{T}^{a}_{c\bar{s}0}(2900)$ to $KD$ channel obtained from molecule or compact tetraquark picture of the $\bar{T}^{a}_{c\bar{s}0}(2900)$, we compute the cross-sections for the process $K^{-}n\to{}\bar{T}^{a}_{c\bar{s}0}(2900)^{--}\Lambda^{+}_c$. The $\bar{K}N$ initial state interaction mediated by Pomeron and Reggeon exchanges is also included, which reduces the production of the $\bar{T}^{a}_{c\bar{s}0}(2900)$. Our calculations show that whether $\bar{T}^{a}_{c\bar{s}0}(2900)$ is a molecule or a compact tetraquark state, the cross-sections for the $K^{-}n\to{}\bar{T}^{a}_{c\bar{s}0}(2900)^{--}\Lambda^{+}_c$ reaction are of similar magnitude, ranging from approximately 0.075 nb to 0.270 nb.


title: Examining User-Friendly and Open-Sourced Large GPT Models: A Survey on Language, Multimodal, and Scientific GPT Models

abstract: Generative pre-trained transformer (GPT) models have revolutionized the field of natural language processing (NLP) with remarkable performance in various tasks and also extend their power to multimodal domains. Despite their success, large GPT models like GPT-4 face inherent limitations such as considerable size, high computational requirements, complex deployment processes, and closed development loops. These constraints restrict their widespread adoption and raise concerns regarding their responsible development and usage. The need for user-friendly, relatively small, and open-sourced alternative GPT models arises from the desire to overcome these limitations while retaining high performance. In this survey paper, we provide an examination of alternative open-sourced models of large GPTs, focusing on user-friendly and relatively small models that facilitate easier deployment and accessibility. Through this extensive survey, we aim to equip researchers, practitioners, and enthusiasts with a thorough understanding of user-friendly and relatively small open-sourced models of large GPTs, their current state, challenges, and future research directions, inspiring the development of more efficient, accessible, and versatile GPT models that cater to the broader scientific community and advance the field of general artificial intelligence. The source contents are continuously updating in https://github.com/GPT-Alternatives/gpt_alternatives.


title: On the Phase Retrievable Sequences

abstract: In this paper, we study phase retrievable sequences and give a characterization of phase retrievability of a sequence of bounded linear operators on a Hilbert space $H$; in particular, for $H=\ell_2^d(\Bbb{C})$. We also give several approaches for constructing phase retrievable sequences. Then, we investigate the property of phase retrieval for $g$-frames and frames.


title: Broken arrows: Hardy-Unruh chains and quantum contextuality

abstract: Hardy (1993) and Unruh (2018) constructed a family of non-maximally entangled states of pairs of particles giving rise to correlations that cannot be accounted for with a local hidden-variable theory. Rather than pointing to violations of some Bell inequality, however, they pointed to clashes with the basic rules of logic. Specifically, they constructed these states and the associated measurement settings in such a way that the outcomes will satisfy a set of two or three conditionals, which we call Hardy-Unruh chains, but not a conditional entailed by this set. Quantum mechanics avoids such broken 'if ... then ...' arrows because it cannot simultaneously assign truth values to all conditionals involved. Measurements to determine the truth value of some preclude measurements to determine the truth value of others. Hardy-Unruh chains thus nicely illustrate quantum contextuality: which variables do and do not get definite values depends on what measurements we decide to perform. We use the framework inspired by Bub (2016) and Pitowsky (1989) and developed in Janas, Cuffaro and Janssen (2022} to construct and analyze Hardy-Unruh chains in terms of fictitious bananas mimicking the behavior of spin-1/2 particles.


title: Unaligned 2D to 3D Translation with Conditional Vector-Quantized Code Diffusion using Transformers

abstract: Generating 3D images of complex objects conditionally from a few 2D views is a difficult synthesis problem, compounded by issues such as domain gap and geometric misalignment. For instance, a unified framework such as Generative Adversarial Networks cannot achieve this unless they explicitly define both a domain-invariant and geometric-invariant joint latent distribution, whereas Neural Radiance Fields are generally unable to handle both issues as they optimize at the pixel level. By contrast, we propose a simple and novel 2D to 3D synthesis approach based on conditional diffusion with vector-quantized codes. Operating in an information-rich code space enables high-resolution 3D synthesis via full-coverage attention across the views. Specifically, we generate the 3D codes (e.g. for CT images) conditional on previously generated 3D codes and the entire codebook of two 2D views (e.g. 2D X-rays). Qualitative and quantitative results demonstrate state-of-the-art performance over specialized methods across varied evaluation criteria, including fidelity metrics such as density, coverage, and distortion metrics for two complex volumetric imagery datasets from in real-world scenarios.


title: Sparse Sampling Transformer with Uncertainty-Driven Ranking for Unified Removal of Raindrops and Rain Streaks

abstract: In the real world, image degradations caused by rain often exhibit a combination of rain streaks and raindrops, thereby increasing the challenges of recovering the underlying clean image. Note that the rain streaks and raindrops have diverse shapes, sizes, and locations in the captured image, and thus modeling the correlation relationship between irregular degradations caused by rain artifacts is a necessary prerequisite for image deraining. This paper aims to present an efficient and flexible mechanism to learn and model degradation relationships in a global view, thereby achieving a unified removal of intricate rain scenes. To do so, we propose a Sparse Sampling Transformer based on Uncertainty-Driven Ranking, dubbed UDR-S2Former. Compared to previous methods, our UDR-S2Former has three merits. First, it can adaptively sample relevant image degradation information to model underlying degradation relationships. Second, explicit application of the uncertainty-driven ranking strategy can facilitate the network to attend to degradation features and understand the reconstruction process. Finally, experimental results show that our UDR-S2Former clearly outperforms state-of-the-art methods for all benchmarks.


title: Integrals Associated with the Digamma Integral Representation

abstract: The definite integral with the kernel x/(x^2+b^2)/[\exp(2\pi x)-1] integrated from x=0 to infinity is the main term of a representation of the Digamma-Function psi(b), the derivative of the logarithm of the Gamma-Function. We present relations within the set of integrals over x^n/(x^2+b^2)^j/[\exp(\mu x)-1]^s for small integer exponents n, j and s with the aim to reduce them all to Polygamma-Functions.


title: Only Encode Once: Making Content-based News Recommender Greener

abstract: Large pretrained language models (PLM) have become de facto news encoders in modern news recommender systems, due to their strong ability in comprehending textual content. These huge Transformer-based architectures, when finetuned on recommendation tasks, can greatly improve news recommendation performance. However, the PLM-based pretrain-finetune framework incurs high computational cost and energy consumption, primarily due to the extensive redundant processing of news encoding during each training epoch. In this paper, we propose the ``Only Encode Once'' framework for news recommendation (OLEO), by decoupling news representation learning from downstream recommendation task learning. The decoupled design makes content-based news recommender as green and efficient as id-based ones, leading to great reduction in computational cost and training resources. Extensive experiments show that our OLEO framework can reduce carbon emissions by up to 13 times compared with the state-of-the-art pretrain-finetune framework and maintain a competitive or even superior performance level. The source code is released for reproducibility.


title: A Reconfigurable Photonic Processor for NP-complete Problems

abstract: NP-complete problems are widely and deeply involved in various real-life scenarios while still intractable to solve efficiently on conventional computers. It is of great practical significance to construct versatile computing architectures that solve NP-complete problems with computational advantage. Here, we present a reconfigurable photonic processor to efficiently solve a benchmark NP-complete problem, the subset sum problem (SSP). We show that in the case of successive primes, the photonic processor has genuinely surpassed commercial electronic processors launched recently by taking advantages of the high propagation speed and vast parallelism of photons and state-of-the-art integrated photonic technology. Moreover, we are able to program the photonic processor to tackle different problem instances relying on the tunable integrated modules, variable split junctions, which can be used to build a fully reconfigurable architecture potentially allowing $2^{N}$ configurations at most. Our experiments confirm the potential of the photonic processor as a versatile and efficient computing platform, suggesting a possible practical route to solving computationally hard problems at large scale.


title: High powers in endomorphism rings over Dedekind domains

abstract: Let $\mathbb{A}$ be a Dedekind domain and $T$ an endomorphism of a finitely-generated projective $\mathbb{A}$-module. If $T$ is an $s^{th}$ power in $\mathrm{End}_{\mathbb{A}}(M)$ for $s$ ranging over an infinite set $\mathcal{S}$ of positive integers, then (a) $T$ decomposes as a direct sum of the zero operator and an invertible operator on a summand of $M$ and (b) that summand is semisimple or of finite order if $\mathcal{S}$ is appropriately large (what this means depends on the structure of the additive and multiplicative groups of $\mathbb{A}$). This generalizes a result of M. Cavachi's to the effect that the only non-singular integer matrix that is an $s^{th}$ power in $M_n(\mathbb{Z})$ for all $s$ is the identity.


title: The Borel-Pompieu formula involving proportional fractional $\psi$-Cauchy-Riemann operators

abstract: We prove an analog of the quaternionic Borel-Pompieu formula in the sense of proportional fractional $\psi$-Cauchy-Riemann operators via Riemann-Liouville derivative with respect to another function.


title: Supercell formation in epitaxial rare-earth ditelluride thin films

abstract: Square net tellurides host an array of electronic ground states and commonly exhibit charge-density-wave ordering. Here we report the epitaxy of DyTe$_{2-\delta}$ on atomically flat MgO (001) using molecular beam epitaxy. The films are single phase and highly oriented as evidenced by transmission electron microscopy and X-ray diffraction measurements. Epitaxial strain is evident in films and is relieved as the thickness increases up to a value of approximately 20 unit cells. Diffraction features associated with a supercell in the films are resolved which is coupled with Te-deficiency. First principles calculations attribute the formation of this defect lattice to nesting conditions in the Fermi surface, which produce a periodic occupancy of the conducting Te square-net, and opens a band gap at the chemical potential. This work establishes the groundwork for exploring the role of strain in tuning electronic and structural phases of epitaxial square-net tellurides and related compounds.