title: Including higher harmonics in gravitational-wave parameter estimation and cosmological implications for LISA

abstract: Massive black holes (MBHs) are crucial in shaping their host galaxies. How the MBH co-evolves with its host galaxy is a pressing problem in astrophysics and cosmology. The valuable information carried by the binary MBH is encoded in the gravitational waves (GWs), which will be detectable by the space-borne GW detector LISA. In the GW data analysis, usually, only the dominant $(2,2)$ mode of the GW signal is considered in the parameter estimation for LISA. However, including the higher harmonics in parameter estimation can break the degeneracy between the parameters, especially for the inclination angle and luminosity distance. This may enable the identification of GW signals without electromagnetic counterparts, known as ''dark sirens''. Thus, incorporating higher harmonics will be beneficial to resolve the Hubble tension and constrain the cosmological model. In this paper, we investigate the role of higher harmonics in the parameter estimation for GWs emitted by binary MBHs. We demonstrate that including $(3,3)$ mode can lead to a $10^3$-times improvement in angular resolution and a $10^4$-times improvement in luminosity distance. Meanwhile, our results indicate that considering higher harmonics increases the probability of identifying over 70% host galaxies from $10^{-2}\,\rm{Gpc}^3$ cosmological volume threshold (corresponding $10^5$ host galaxies), while the probability less than 8% for only the $(2,2)$ mode. Thus, our results underscore the importance of including higher modes in the GW signal from binary MBHs, for LISA at least $(3,3)$ mode.


title: Central elements in the $\mathrm{SL}_d$-skein algebra of a surface

abstract: The $\mathrm{SL}_d$-skein algebra $\mathcal{S}_{\mathrm{SL}_d}^q(S)$ of a surface $S$ is a certain deformation of the coordinate ring of the character variety consisting of flat $\mathrm{SL}_d$-local systems over the surface. As a quantum topological object, $\mathcal{S}_{\mathrm{SL}_d}^q(S)$ is also closely related to the HOMFLYPT polynomial invariant of knots and links in $\mathbb{R}^3$. We exhibit a very rich family of central elements in this algebra $\mathcal{S}_{\mathrm{SL}_d}^q(S)$ that appear when the quantum parameter $q$ is a root of unity. These central elements are obtained by threading along framed links certain polynomials arising in the elementary theory of symmetric functions, and related to taking powers in $\mathrm{SL}_d$.


title: Enhanced Spin Hall Ratio in Two-Dimensional Semiconductors

abstract: The conversion efficiency from charge current to spin current via spin Hall effect is evaluated by the spin Hall ratio (SHR). Through state-of-the-art $ab~initio$ calculations involving both charge conductivity and spin Hall conductivity, we report the SHRs of the III-V monolayer family, revealing an ultrahigh ratio of 0.58 in the hole-doped GaAs monolayer. In order to find more promising 2D materials, a descriptor for high SHR is proposed and applied to a high-throughput database, which provides the fully-relativistic band structures and Wannier Hamiltonians of 216 exfoliable monolayer semiconductors and has been released to the community. Among potential candidates for high SHR, the MXene monolayer Sc$_2$CCl$_2$ is identified with the proposed descriptor and confirmed by computation, demonstrating the descriptor validity for high SHR materials discovery.


title: Progenitors and Explosion Properties of Supernova Remnants Hosting Central Compact Objects: II. A Global Systematic Study with a Comparison to Nucleosynthesis Models

abstract: Core-collapse explosions of massive stars leave behind neutron stars, with a known diversity that includes the "Central Compact Objects" (CCOs). Typified by the neutron star discovered near the centre of the Cas A supernova remnant (SNR), CCOs have been observed to shine only in X-rays. To address their supernova progenitors, we perform a systematic study of SNRs that contain a CCO and display X-ray emission from their shock-heated ejecta. We make use of X-ray data primarily using the Chandra X-ray observatory, complemented with XMM-Newton. This study uses a systematic approach to the analysis of each SNR aimed at addressing the supernova progenitor as well as the explosion properties (energy and ambient density). After fitting for the ejecta abundances estimated from a spatially resolved spectroscopic study, we compare the data to six nucleosynthesis models making predictions on supernova ejecta yields in core-collapse explosions. We find that the explosion models commonly used by the astrophysics community do not match the ejecta yields for any of the SNRs, suggesting additional physics, e.g. multi-dimensional explosion models or updated progenitor structures, are required. Overall we find low-mass ($\leq$25 solar masses) progenitors among the massive stars population and low-energy explosions ($<$10$^{51}$ ergs). We discuss degeneracies in our model fitting, particularly how altering the explosion energy affects the estimate of the progenitor mass. Our systematic study highlights the need for improving on the theoretical models for nucleosynthesis predictions as well as for sensitive, high-resolution spectroscopy observations to be acquired with next-generation X-ray missions.


title: Correcting Motion Distortion for LIDAR HD-Map Localization

abstract: Because scanning-LIDAR sensors require finite time to create a point cloud, sensor motion during a scan warps the resulting image, a phenomenon known as motion distortion or rolling shutter. Motion-distortion correction methods exist, but they rely on external measurements or Bayesian filtering over multiple LIDAR scans. In this paper we propose a novel algorithm that performs snapshot processing to obtain a motion-distortion correction. Snapshot processing, which registers a current LIDAR scan to a reference image without using external sensors or Bayesian filtering, is particularly relevant for localization to a high-definition (HD) map. Our approach, which we call Velocity-corrected Iterative Compact Ellipsoidal Transformation (VICET), extends the well-known Normal Distributions Transform (NDT) algorithm to solve jointly for both a 6 Degree-of-Freedom (DOF) rigid transform between two LIDAR scans and a set of 6DOF motion states that describe distortion within the current LIDAR scan. Using experiments, we show that VICET achieves significantly higher accuracy than NDT or Iterative Closest Point (ICP) algorithms when localizing a distorted raw LIDAR scan against an undistorted HD Map. We recommend the reader explore our open-source code and visualizations at https://github.com/mcdermatt/VICET, which supplements this manuscript.


title: Constraining the pion distribution amplitude using Drell-Yan reactions on a proton

abstract: Using a reaction model that incorporates pion bound state effects and continuum results for proton parton distributions and the pion distribution amplitude, $\varphi_\pi$, we deliver parameter-free predictions for the $\mu^+$ angular distributions in $\pi N \to \mu^+ \mu^- X$ reactions on both unpolarised and polarised targets. The analysis indicates that such angular distributions are sensitive to the pointwise form of $\varphi_\pi$ and suggests that unpolarised targets are practically more favourable. The precision of extant data is insufficient for use in charting $\varphi_\pi$; hence, practical tests of this approach to charting $\varphi_\pi$ must await data with improved precision from new-generation experiments. The reaction model yields a nonzero single-spin azimuthal asymmetry, without reference to $T$-odd parton distribution functions (DFs). This may necessitate additional care when attempting to extract such $T$-odd DFs from data.


title: On the Depth between Beam Search and Exhaustive Search for Text Generation

abstract: Beam search and exhaustive search are two extreme ends of text decoding algorithms with respect to the search depth. Beam search is limited in both search width and depth, whereas exhaustive search is a global search that has no such limitations. Surprisingly, beam search is not only computationally cheaper but also performs better than exhaustive search despite its higher search error. Plenty of research has investigated a range of beam widths, from small to large, and reported that a beam width that is neither too large nor too small is desirable. However, in terms of search depth, only the two extreme ends, beam search and exhaustive search are studied intensively. In this paper, we examine a range of search depths between the two extremes to discover the desirable search depth. To this end, we introduce Lookahead Beam Search (LBS), a multi-step lookahead search that optimizes the objective considering a fixed number of future steps. Beam search and exhaustive search are special cases of LBS where the lookahead depth is set to $0$ and $\infty$, respectively. We empirically evaluate the performance of LBS and find that it outperforms beam search overall on machine translation tasks. The result suggests there is room for improvement in beam search by searching deeper. Inspired by the analysis, we propose Lookbehind Heuristic Beam Search, a computationally feasible search algorithm that heuristically simulates LBS with 1-step lookahead. The empirical results show that the proposed method outperforms vanilla beam search on machine translation and text summarization tasks.


title: Material Characteristics Governing In-Plane Phonon-Polariton Thermal Conductance

abstract: The material dependence of phonon-polariton based in-plane thermal conductance is investigated by examining systems composed of air and several wurtzite and zinc-blende crystals. Phonon-polariton based thermal conductance varies by over an order of magnitude ($\sim 0.5-60$ nW/K), which is similar to the variation observed in the materials corresponding bulk thermal conductivity. Regardless of material, phonon-polaritons exhibit similar thermal conductance to that of phonons when layers become ultrathin ($\sim 10$ nm) suggesting the generality of the effect at these length-scales. A figure of merit is proposed to explain the large variation of in-plane polariton thermal conductance that is composed entirely of easily predicted and measured optical phonon energies and lifetimes. Using this figure of merit, in-plane phonon-polariton thermal conductance enlarges with increases in: (1) optical phonon energies, (2) splitting between transverse and longitudinal mode pairs, and (3) phonon lifetimes.


title: On the fractional integrals and derivatives of Bateman's matrix polynomials

abstract: The object of this paper is to investigate the certain results involving Bateman's matrix polynomials for integral index. We obtain some properties, integral representation and recurrence relations for hypergeometric matrix function. We introduce some matrix differential equations of the three order, integral transform and fractional integral formulas for hypergeometric matrix function by using the beta and Laplace transforms formula, Erdelyi Kober type fractional integral operators


title: Party Prediction for Twitter

abstract: A large number of studies on social media compare the behaviour of users from different political parties. As a basic step, they employ a predictive model for inferring their political affiliation. The accuracy of this model can change the conclusions of a downstream analysis significantly, yet the choice between different models seems to be made arbitrarily. In this paper, we provide a comprehensive survey and an empirical comparison of the current party prediction practices and propose several new approaches which are competitive with or outperform state-of-the-art methods, yet require less computational resources. Party prediction models rely on the content generated by the users (e.g., tweet texts), the relations they have (e.g., who they follow), or their activities and interactions (e.g., which tweets they like). We examine all of these and compare their signal strength for the party prediction task. This paper lets the practitioner select from a wide range of data types that all give strong performance. Finally, we conduct extensive experiments on different aspects of these methods, such as data collection speed and transfer capabilities, which can provide further insights for both applied and methodological research.


title: Multipartite Entanglement Distribution in Quantum Networks using Subgraph Complementations

abstract: Quantum networks are important for quantum communication and allow for several tasks such as quantum teleportation, quantum key distribution, quantum sensing, and quantum error correction. Graph states are a specific class of multipartite entangled states that can be represented by graphs. We propose a novel approach for distributing graph states across a quantum network. We show that the distribution of graph states can be characterized by a system of subgraph complementations, which we also relate to the minimum rank of the underlying graph and the degree of entanglement quantified by the Schmidt-rank of the quantum state. We analyze resource usage for our algorithm and show that it improves on the number of qubits, bits for classical communication, and EPR pairs utilized, as compared to prior work. In fact, the number of local operations and resource consumption for our approach scales linearly in the number of vertices. This produces a quadratic improvement in completion time for several classes of graph states represented by dense graphs, which translates into an exponential improvement by allowing parallelization of gate operations. This leads to improved fidelities in the presence of noisy operations, as we show through simulation in the presence of noisy operations. Common classes of graph states are classified along with their optimal distribution time using subgraph complementations. We find a close to optimal sequence of subgraph complementation operations to distribute an arbitrary graph state, and establish upper bounds on distribution time along with providing approximate greedy algorithms.


title: Linking the Dynamic PicoProbe Analytical Electron-Optical Beam Line / Microscope to Supercomputers

abstract: The Dynamic PicoProbe at Argonne National Laboratory is undergoing upgrades that will enable it to produce up to 100s of GB of data per day. While this data is highly important for both fundamental science and industrial applications, there is currently limited on-site infrastructure to handle these high-volume data streams. We address this problem by providing a software architecture capable of supporting large-scale data transfers to the neighboring supercomputers at the Argonne Leadership Computing Facility. To prepare for future scientific workflows, we implement two instructive use cases for hyperspectral and spatiotemporal datasets, which include: (i) off-site data transfer, (ii) machine learning/artificial intelligence and traditional data analysis approaches, and (iii) automatic metadata extraction and cataloging of experimental results. This infrastructure supports expected workloads and also provides domain scientists the ability to reinterrogate data from past experiments to yield additional scientific value and derive new insights.


title: Extending the Chemical Reach of the H3 Survey: Detailed Abundances of the Dwarf-galaxy Stellar Stream Wukong/LMS-1

abstract: We present the first detailed chemical-abundance analysis of stars from the dwarf-galaxy stellar stream Wukong/LMS-1 covering a wide metallicity range ($-3.5 < \rm[Fe/H] \lesssim -1.3$). We find abundance patterns that are effectively indistinguishable from the bulk of Indus and Jhelum, a pair of smaller stellar streams proposed to be dynamically associated with Wukong/LMS-1. We confirmed a carbon-enhanced metal-poor star ($\rm[C/Fe] > +0.7$ and $\rm[Fe/H] \sim -2.9$) in Wukong/LMS-1 with strong enhancements in Sr, Y, and Zr, which is peculiar given its solar-level [Ba/Fe]. Wukong/LMS-1 stars have high abundances of $\alpha$ elements up to $\rm[Fe/H] \gtrsim -2$, which is expected for relatively massive dwarfs. Towards the high-metallicity end, Wukong/LMS-1 becomes $\alpha$-poor, revealing that it probably experienced fairly standard chemical evolution. We identified a pair of N- and Na-rich stars in Wukong/LMS-1, reminiscent of multiple populations in globular clusters. This indicates that this dwarf galaxy contained at least one globular cluster that was completely disrupted in addition to two intact ones previously known to be associated with Wukong/LMS-1, which is possibly connected to similar evidence found in Indus. From these $\geq$3 globular clusters, we estimate the total mass of Wukong/LMS-1 to be ${\approx}10^{10} M_\odot$, representing ${\sim}1$% of the present-day Milky Way. Finally, the [Eu/Mg] ratio in Wukong/LMS-1 continuously increases with metallicity, making this the first example of a dwarf galaxy where the production of $r$-process elements is clearly dominated by delayed sources, presumably neutron-star mergers.


title: PAITS: Pretraining and Augmentation for Irregularly-Sampled Time Series

abstract: Real-world time series data that commonly reflect sequential human behavior are often uniquely irregularly sampled and sparse, with highly nonuniform sampling over time and entities. Yet, commonly-used pretraining and augmentation methods for time series are not specifically designed for such scenarios. In this paper, we present PAITS (Pretraining and Augmentation for Irregularly-sampled Time Series), a framework for identifying suitable pretraining strategies for sparse and irregularly sampled time series datasets. PAITS leverages a novel combination of NLP-inspired pretraining tasks and augmentations, and a random search to identify an effective strategy for a given dataset. We demonstrate that different datasets benefit from different pretraining choices. Compared with prior methods, our approach is better able to consistently improve pretraining across multiple datasets and domains. Our code is available at \url{https://github.com/google-research/google-research/tree/master/irregular_timeseries_pretraining}.


title: Higher Derivative Sigma Models

abstract: We explore the nature of running couplings in the higher derivative linear and nonlinear sigma models and show that the results in dimensional regularization for the physical running couplings do not always match the values quoted in the literature. Heat kernel methods identify divergences correctly, but not all of these divergences are related to physical running couplings. Likewise the running found using the Functional Renormalization Group does not always appear as running couplings in physical processes, even for the case of logarithmic running. The basic coupling of the higher derivative SU(N) nonlinear sigma model does not run at all at one loop, in contrast to published claims for asymptotic freedom. At one loop we describe how to properly identify the physical running couplings in these theories, and provide revised numbers for the higher derivative nonlinear sigma model.


title: An inverse-designed nanophotonic interface for excitons in atomically thin materials

abstract: Efficient nanophotonic devices are essential for applications in quantum networking, optical information processing, sensing, and nonlinear optics. Extensive research efforts have focused on integrating two-dimensional (2D) materials into photonic structures, but this integration is often limited by size and material quality. Here, we use hexagonal boron nitride (hBN), a benchmark choice for encapsulating atomically thin materials, as a waveguiding layer while simultaneously improving the optical quality of the embedded films. When combined with photonic inverse design, it becomes a complete nanophotonic platform to interface with optically active 2D materials. Grating couplers and low-loss waveguides provide optical interfacing and routing, tunable cavities provide a large exciton-photon coupling to transition metal dichalcogenides (TMD) monolayers through Purcell enhancement, and metasurfaces enable the efficient detection of TMD dark excitons. This work paves the way for advanced 2D-material nanophotonic structures for classical and quantum nonlinear optics.


title: Quasilocal entanglement across the Mott-Hubbard transition

abstract: The possibility to directly measure, in a cold-atom quantum simulator, the von Neumann entropy and mutual information between a site and its environment opens new perspectives on the characterization of the Mott-Hubbard metal-insulator transition, in the framework of quantum information theory. In this work we provide an alternative view of the Mott transition in the two-dimensional Hubbard model in terms of rigorous quasilocal measures of entanglement and correlation between two spatially separated electronic orbitals, with no contribution from their environment. A space-resolved analysis of cluster dynamical mean-field theory results elucidates the prominent role of the nearest-neighbor entanglement in probing Mott localization: both its lower and upper bounds sharply increase at the metal-insulator transition. The two-site entanglement beyond nearest neighbors is shown to be quickly damped as the inter-site distance is increased. These results ultimately resolve a conundrum of previous analyses based on the single-site von Neumann entropy, which has been found to monotonically decrease when the interaction is increased. The quasilocal two-site entanglement recovers instead the distinctive character of Mott insulators as strongly correlated quantum states, demonstrating its central role in the $2d$ Hubbard model.


title: Human-in-the-loop online just-in-time software defect prediction

abstract: Online Just-In-Time Software Defect Prediction (O-JIT-SDP) uses an online model to predict whether a new software change will introduce a bug or not. However, existing studies neglect the interaction of Software Quality Assurance (SQA) staff with the model, which may miss the opportunity to improve the prediction accuracy through the feedback from SQA staff. To tackle this problem, we propose Human-In-The-Loop (HITL) O-JIT-SDP that integrates feedback from SQA staff to enhance the prediction process. Furthermore, we introduce a performance evaluation framework that utilizes a k-fold distributed bootstrap method along with the Wilcoxon signed-rank test. This framework facilitates thorough pairwise comparisons of alternative classification algorithms using a prequential evaluation approach. Our proposal enables continuous statistical testing throughout the prequential process, empowering developers to make real-time decisions based on robust statistical evidence. Through experimentation across 10 GitHub projects, we demonstrate that our evaluation framework enhances the credibility of model evaluation, and the incorporation of HITL feedback elevates the prediction performance of online JIT-SDP models. These advancements hold the potential to significantly enhance the value of O-JIT-SDP for industrial applications.


title: Modular degree and a conjecture of Watkins

abstract: Given an elliptic curve $E/\mathbb{Q}$ of conductor $N$, there exists a surjective morphism $\phi_E: X_0(N) \to E$ defined over $\mathbb{Q}$. In this article, we discuss the growth of $\mathrm{deg}(\phi_E)$ and shed some light on Watkins's conjecture, which predicts $2^{\mathrm{rank}(E(\mathbb{Q}))} \mid \mathrm{deg}(\phi_E)$. Moreover, for any elliptic curve over $\mathbb{F}_q(T)$, we have an analogous modular parametrization relating to the Drinfeld modular curves. In this case, we also discuss growth and the divisibility properties.


title: Fast and Low-Memory Compressive Sensing Algorithms for Low Tucker-Rank Tensor Approximation from Streamed Measurements

abstract: In this paper we consider the problem of recovering a low-rank Tucker approximation to a massive tensor based solely on structured random compressive measurements. Crucially, the proposed random measurement ensembles are both designed to be compactly represented (i.e., low-memory), and can also be efficiently computed in one-pass over the tensor. Thus, the proposed compressive sensing approach may be used to produce a low-rank factorization of a huge tensor that is too large to store in memory with a total memory footprint on the order of the much smaller desired low-rank factorization. In addition, the compressive sensing recovery algorithm itself (which takes the compressive measurements as input, and then outputs a low-rank factorization) also runs in a time which principally depends only on the size of the sought factorization, making its runtime sub-linear in the size of the large tensor one is approximating. Finally, unlike prior works related to (streaming) algorithms for low-rank tensor approximation from such compressive measurements, we present a unified analysis of both Kronecker and Khatri-Rao structured measurement ensembles culminating in error guarantees comparing the error of our recovery algorithm's approximation of the input tensor to the best possible low-rank Tucker approximation error achievable for the tensor by any possible algorithm. We further include an empirical study of the proposed approach that verifies our theoretical findings and explores various trade-offs of parameters of interest.


title: WellXplain: Wellness Concept Extraction and Classification in Reddit Posts for Mental Health Analysis

abstract: During the current mental health crisis, the importance of identifying potential indicators of mental issues from social media content has surged. Overlooking the multifaceted nature of mental and social well-being can have detrimental effects on one's mental state. In traditional therapy sessions, professionals manually pinpoint the origins and outcomes of underlying mental challenges, a process both detailed and time-intensive. We introduce an approach to this intricate mental health analysis by framing the identification of wellness dimensions in Reddit content as a wellness concept extraction and categorization challenge. We've curated a unique dataset named WELLXPLAIN, comprising 3,092 entries and totaling 72,813 words. Drawing from Halbert L. Dunn's well-regarded wellness theory, our team formulated an annotation framework along with guidelines. This dataset also includes human-marked textual segments, offering clear reasoning for decisions made in the wellness concept categorization process. Our aim in publishing this dataset and analyzing initial benchmarks is to spearhead the creation of advanced language models tailored for healthcare-focused concept extraction and categorization.


title: EventTransAct: A video transformer-based framework for Event-camera based action recognition

abstract: Recognizing and comprehending human actions and gestures is a crucial perception requirement for robots to interact with humans and carry out tasks in diverse domains, including service robotics, healthcare, and manufacturing. Event cameras, with their ability to capture fast-moving objects at a high temporal resolution, offer new opportunities compared to standard action recognition in RGB videos. However, previous research on event camera action recognition has primarily focused on sensor-specific network architectures and image encoding, which may not be suitable for new sensors and limit the use of recent advancements in transformer-based architectures. In this study, we employ a computationally efficient model, namely the video transformer network (VTN), which initially acquires spatial embeddings per event-frame and then utilizes a temporal self-attention mechanism. In order to better adopt the VTN for the sparse and fine-grained nature of event data, we design Event-Contrastive Loss ($\mathcal{L}_{EC}$) and event-specific augmentations. Proposed $\mathcal{L}_{EC}$ promotes learning fine-grained spatial cues in the spatial backbone of VTN by contrasting temporally misaligned frames. We evaluate our method on real-world action recognition of N-EPIC Kitchens dataset, and achieve state-of-the-art results on both protocols - testing in seen kitchen (\textbf{74.9\%} accuracy) and testing in unseen kitchens (\textbf{42.43\% and 46.66\% Accuracy}). Our approach also takes less computation time compared to competitive prior approaches, which demonstrates the potential of our framework \textit{EventTransAct} for real-world applications of event-camera based action recognition. Project Page: \url{https://tristandb8.github.io/EventTransAct_webpage/}


title: Residual Denoising Diffusion Models

abstract: We propose residual denoising diffusion models (RDDM), a novel dual diffusion process that decouples the traditional single denoising diffusion process into residual diffusion and noise diffusion. This dual diffusion framework expands the denoising-based diffusion models, initially uninterpretable for image restoration, into a unified and interpretable model for both image generation and restoration by introducing residuals. Specifically, our residual diffusion represents directional diffusion from the target image to the degraded input image and explicitly guides the reverse generation process for image restoration, while noise diffusion represents random perturbations in the diffusion process. The residual prioritizes certainty, while the noise emphasizes diversity, enabling RDDM to effectively unify tasks with varying certainty or diversity requirements, such as image generation and restoration. We demonstrate that our sampling process is consistent with that of DDPM and DDIM through coefficient transformation, and propose a partially path-independent generation process to better understand the reverse process. Notably, our RDDM enables a generic UNet, trained with only an L1 loss and a batch size of 1, to compete with state-of-the-art image restoration methods. We provide code and pre-trained models to encourage further exploration, application, and development of our innovative framework (https://github.com/nachifur/RDDM).


title: Causally Sound Priors for Binary Experiments

abstract: We introduce the BREASE framework for the Bayesian analysis of randomized controlled trials with a binary treatment and a binary outcome. Approaching the problem from a causal inference perspective, we propose parameterizing the likelihood in terms of the baseline risk, efficacy, and adverse side effects of the treatment, along with a flexible, yet intuitive and tractable jointly independent beta prior distribution on these parameters, which we show to be a generalization of the Dirichlet prior for the joint distribution of potential outcomes. Our approach has a number of desirable characteristics when compared to current mainstream alternatives: (i) it naturally induces prior dependence between expected outcomes in the treatment and control groups; (ii) as the baseline risk, efficacy and risk of adverse side effects are quantities commonly present in the clinicians' vocabulary, the hyperparameters of the prior are directly interpretable, thus facilitating the elicitation of prior knowledge and sensitivity analysis; and (iii) we provide analytical formulae for the marginal likelihood, Bayes factor, and other posterior quantities, as well as exact posterior sampling via simulation, in cases where traditional MCMC fails. Empirical examples demonstrate the utility of our methods for estimation, hypothesis testing, and sensitivity analysis of treatment effects.


title: Uncovering Promises and Challenges of Federated Learning to Detect Cardiovascular Diseases: A Scoping Literature Review

abstract: Cardiovascular diseases (CVD) are the leading cause of death globally, and early detection can significantly improve outcomes for patients. Machine learning (ML) models can help diagnose CVDs early, but their performance is limited by the data available for model training. Privacy concerns in healthcare make it harder to acquire data to train accurate ML models. Federated learning (FL) is an emerging approach to machine learning that allows models to be trained on data from multiple sources without compromising the privacy of the individual data owners. This survey paper provides an overview of the current state-of-the-art in FL for CVD detection. We review the different FL models proposed in various papers and discuss their advantages and challenges. We also compare FL with traditional centralized learning approaches and highlight the differences in terms of model accuracy, privacy, and data distribution handling capacity. Finally, we provide a critical analysis of FL's current challenges and limitations for CVD detection and discuss potential avenues for future research. Overall, this survey paper aims to provide a comprehensive overview of the current state-of-the-art in FL for CVD detection and to highlight its potential for improving the accuracy and privacy of CVD detection models.


title: A Computational Evaluation Framework for Singable Lyric Translation

abstract: Lyric translation plays a pivotal role in amplifying the global resonance of music, bridging cultural divides, and fostering universal connections. Translating lyrics, unlike conventional translation tasks, requires a delicate balance between singability and semantics. In this paper, we present a computational framework for the quantitative evaluation of singable lyric translation, which seamlessly integrates musical, linguistic, and cultural dimensions of lyrics. Our comprehensive framework consists of four metrics that measure syllable count distance, phoneme repetition similarity, musical structure distance, and semantic similarity. To substantiate the efficacy of our framework, we collected a singable lyrics dataset, which precisely aligns English, Japanese, and Korean lyrics on a line-by-line and section-by-section basis, and conducted a comparative analysis between singable and non-singable lyrics. Our multidisciplinary approach provides insights into the key components that underlie the art of lyric translation and establishes a solid groundwork for the future of computational lyric translation assessment.


title: Pressure drag reduction via imposition of spanwise wall oscillations on a rough wall

abstract: The present study tests the efficacy of the well-known viscous drag reduction strategy of imposing spanwise wall oscillations to reduce pressure drag contributions in a transitional- and fully-rough turbulent wall flow. This is achieved by conducting a series of direct numerical simulations of a turbulent flow over two-dimensional (spanwise aligned) semi-cylindrical rods, placed periodically along the streamwise direction with varying streamwise spacing. Surface oscillations, imposed at fixed viscous-scaled actuation parameters optimum for smooth wall drag reduction, are found to yield substantial drag reduction (>25%) for all the rough wall cases, maintained at matched roughness Reynolds numbers. While the total drag reduction is due to a drop in both viscous and pressure drag in the case of transitionally-rough flow (i.e. with large inter-rod spacing), it is solely associated with pressure drag reduction for the fully-rough cases (i.e. with small inter-rod spacings), with the latter being reported for the first time. The study finds that pressure drag reduction in all cases is caused by the attenuation of the vortex shedding activity in the roughness wake, in response to wall-oscillation frequencies that are of the same order as the vortex shedding frequencies. Contrary to speculations in the literature, this study confirms that the mechanism behind pressure drag reduction, achieved via imposition of spanwise oscillations, is independent from the viscous drag reduction. This mechanism is responsible for weakening of the Reynolds stresses and increase in base pressure in the roughness wake, explaining the pressure drag reduction observed by past studies, across varying roughness heights and geometries.


title: Portfolios Generated by Contingent Claim Functions, with Applications to Option Pricing

abstract: This paper is a synthesis of the theories of portfolio generating functions and rational option pricing. For a family of n >= 2 assets with prices represented by strictly positive continuous semimartingales, a contingent claim function is a scalable positive C^{2,1} function of the asset prices and time. We extend the theory of portfolio generation to measure the value of portfolios generated by contingent claim functions directly, with no numeraire portfolio. We show that if a contingent claim function satisfies a particular parabolic differential equation, then the value of the portfolio generated by that contingent claim function will replicate the value of the function. This differential equation is a general form of the Black-Scholes equation.


title: An underground fiber cable discrimination method based on laser interferometer

abstract: The maintenance and repair of optical fiber networks often requires the discrimination of underground cables among a group of buried ones. Presently, the methods commonly used are either inefficient or harmful to the fiber cable. In this paper, we evaluate the effectiveness of fiber optic vibration sensing method on underground fiber cable discrimination. We find that the typical vibration sensing method-distributed acoustic sensing (DAS) is not suitable for fiber cable discrimination. Especially for long distance scenario, due to "frequency grafting" effect, the DAS method will give a false response on the spectrum of knock events during cable discrimination process. In response, we propose an underground fiber cable discrimination method based on laser interferometer, and demonstrate it on the 40-km urban fiber cable connecting Tsinghua University and Yongding Road. It can give an obvious and real response to the knock event, and can be used in practical applications.


title: The Monge-Ampere system: convex integration with improved regularity in dimension two and arbitrary codimension

abstract: We prove a convex integration result for the Monge-Ampere system in dimension $d=2$ and arbitrary codimension $k\geq 1$. We achieve flexibility up to the Holder regularity $\mathcal{C}^{1,\frac{1}{1+ 4/k}}$, improving hence the previous $\mathcal{C}^{1,\frac{1}{1+ 6/k}}$ regularity that followed from flexibility up to $\mathcal{C}^{1,\frac{1}{1+d(d+1)/k}}$ in our previous work, valid for any $d,k\geq 1$. The present result agrees with flexibility up to $\mathcal{C}^{1,\frac{1}{5}}$ for $d=2, k=1$ obtained by Conti, Delellis, Szekelyhidi, as well as with the $\mathcal{C}^{1,\alpha}$ result where $\alpha\to 1$ as $k\to\infty$, due to Kallen.


title: Entropic Timescales of Dynamic Heterogeneity in Supercooled Liquid

abstract: Non-Gaussian displacement distributions are universal predictors of dynamic heterogeneity in slowly varying environments. Here, we explore heterogeneous dynamics in supercooled liquid using molecular dynamics simulations and show the efficiency of the information-theoretic measure in quantifying dynamic heterogeneity over the widely used moment-based quantifications of nonGaussianity. Our analysis shows that the heterogeneity quantified by the negentropy is significantly different from the one obtained using the conventional approach that considers deviation from Gaussianity up to lower-order moments. Further, we extract the timescales of dynamic heterogeneity using the two methods and show that the differential changes diverge as the system experiences strong intermittency near the glass transition.


title: Robust Machine Learning Modeling for Predictive Control Using Lipschitz-Constrained Neural Networks

abstract: Neural networks (NNs) have emerged as a state-of-the-art method for modeling nonlinear systems in model predictive control (MPC). However, the robustness of NNs, in terms of sensitivity to small input perturbations, remains a critical challenge for practical applications. To address this, we develop Lipschitz-Constrained Neural Networks (LCNNs) for modeling nonlinear systems and derive rigorous theoretical results to demonstrate their effectiveness in approximating Lipschitz functions, reducing input sensitivity, and preventing over-fitting. Specifically, we first prove a universal approximation theorem to show that LCNNs using SpectralDense layers can approximate any 1-Lipschitz target function. Then, we prove a probabilistic generalization error bound for LCNNs using SpectralDense layers by using their empirical Rademacher complexity. Finally, the LCNNs are incorporated into the MPC scheme, and a chemical process example is utilized to show that LCNN-based MPC outperforms MPC using conventional feedforward NNs in the presence of training data noise.


title: Time-to-Pattern: Information-Theoretic Unsupervised Learning for Scalable Time Series Summarization

abstract: Data summarization is the process of generating interpretable and representative subsets from a dataset. Existing time series summarization approaches often search for recurring subsequences using a set of manually devised similarity functions to summarize the data. However, such approaches are fraught with limitations stemming from an exhaustive search coupled with a heuristic definition of series similarity. Such approaches affect the diversity and comprehensiveness of the generated data summaries. To mitigate these limitations, we introduce an approach to time series summarization, called Time-to-Pattern (T2P), which aims to find a set of diverse patterns that together encode the most salient information, following the notion of minimum description length. T2P is implemented as a deep generative model that learns informative embeddings of the discrete time series on a latent space specifically designed to be interpretable. Our synthetic and real-world experiments reveal that T2P discovers informative patterns, even in noisy and complex settings. Furthermore, our results also showcase the improved performance of T2P over previous work in pattern diversity and processing scalability, which conclusively demonstrate the algorithm's effectiveness for time series summarization.


title: Implications of Mini-EUSO measurements for a space-based observation of UHECRs

abstract: Mini-EUSO is the first mission of the JEM-EUSO program on board the International Space Station. It was launched in August 2019 and it is operating since October 2019 being located in the Russian section (Zvezda module) of the station and viewing our planet from a nadir-facing UV-transparent window. The instrument is based on the concept of the original JEM-EUSO mission and consists of an optical system employing two Fresnel lenses of 25 cm each and a focal surface composed of 36 Multi-Anode Photomultiplier tubes, 64 channels each, for a total of 2304 channels with single photon counting sensitivity and an overall field of view of 44$\times$44$^\circ$. Mini-EUSO can map the night-time Earth in the near UV range (predominantly between 290 nm and 430 nm), with a spatial resolution of about 6.3 km and different temporal resolutions of 2.5 $\mu$s, 320 $\mu$s and 41 ms. Mini-EUSO observations are extremely important to better assess the potential of a space-based detector in studying Ultra-High Energy Cosmic Rays (UHECRs) such as K-EUSO and POEMMA. In this contribution we focus the attention on the results of the UV measurements and we place them in the context of UHECR observations from space, namely the estimation of exposure.


title: ISR-LLM: Iterative Self-Refined Large Language Model for Long-Horizon Sequential Task Planning

abstract: Motivated by the substantial achievements observed in Large Language Models (LLMs) in the field of natural language processing, recent research has commenced investigations into the application of LLMs for complex, long-horizon sequential task planning challenges in robotics. LLMs are advantageous in offering the potential to enhance the generalizability as task-agnostic planners and facilitate flexible interaction between human instructors and planning systems. However, task plans generated by LLMs often lack feasibility and correctness. To address this challenge, we introduce ISR-LLM, a novel framework that improves LLM-based planning through an iterative self-refinement process. The framework operates through three sequential steps: preprocessing, planning, and iterative self-refinement. During preprocessing, an LLM translator is employed to convert natural language input into a Planning Domain Definition Language (PDDL) formulation. In the planning phase, an LLM planner formulates an initial plan, which is then assessed and refined in the iterative self-refinement step by using a validator. We examine the performance of ISR-LLM across three distinct planning domains. The results show that ISR-LLM is able to achieve markedly higher success rates in task accomplishments compared to state-of-the-art LLM-based planners. Moreover, it also preserves the broad applicability and generalizability of working with natural language instructions.


title: Improved measurement of the branching fractions for $J/\psi\to\gamma\pi^0$, $\gamma\eta$ and $\gamma\eta^\prime$

abstract: Using a data sample of $(1.0087\pm 0.0044)\times 10^{10}$ $J/\psi$ events collected with the BESIII detector, the decays of $J/\psi\to\gamma\pi^{0} (\eta, \eta^\prime)\to\gamma\gamma\gamma$ are studied. Newly measured branching fractions are $\mathcal{B}$$(J/\psi\to\gamma\pi^{0})$=$(3.34\pm 0.02\pm 0.09)\times 10^{-5}$, $\mathcal{B}$$(J/\psi\to\gamma\eta)$=$(1.096\pm 0.001\pm0.019)\times 10^{-3}$ and $\mathcal{B}$$(J/\psi\to\gamma\eta^\prime)$=$(5.40\pm 0.01\pm0.11)\times 10^{-3}$, where the first uncertainties are statistical and the second are systematic. These results are consistent with the world average values within two standard deviations. The ratio of partial widths $\Gamma(J/\psi\to\gamma\eta^\prime)/\Gamma(J/\psi\to\gamma\eta)$ is measured to be $4.93 \pm 0.13$. The singlet-octet pseudoscalar mixing angle $\theta_P$ is determined to be $\theta_P = -(22.11 \pm0.26)^\circ$ or $-(19.34 \pm 0.34)^\circ$ with two different phenomenological models.


title: Dynamic Mode Decomposition for data-driven analysis and reduced-order modelling of ExB plasmas: I. Extraction of spatiotemporally coherent patterns

abstract: In this two-part article, we evaluate the utility and the generalizability of the Dynamic Mode Decomposition (DMD) algorithm for data-driven analysis and reduced-order modelling of plasma dynamics in cross-field ExB configurations. The DMD algorithm is an interpretable data-driven method that finds a best-fit linear model describing the time evolution of spatiotemporally coherent structures (patterns) in data. We have applied the DMD to extensive high-fidelity datasets generated using a particle-in-cell (PIC) code based on a cost-efficient reduced-order PIC scheme. In this part, we first provide an overview of the concept of DMD and its underpinning Proper Orthogonal and Singular Value Decomposition methods. Two of the main DMD variants are next introduced. We then present and discuss the results of the DMD application in terms of the identification and extraction of the dominant spatiotemporal modes from high-fidelity data over a range of simulation conditions. We demonstrate that the DMD variant based on variable projection optimization (OPT-DMD) outperforms the basic DMD method in identification of the modes underlying the data, leading to notably more reliable reconstruction of the ground-truth. Furthermore, we show in multiple test cases that the discrete frequency spectrum of OPT-DMD-extracted modes is consistent with the temporal spectrum from the Fast Fourier Transform of the data. This observation implies that the OPT-DMD augments the conventional spectral analyses by being able to uniquely reveal the spatial structure of the dominant modes in the frequency spectra, thus, yielding more accessible, comprehensive information on the spatiotemporal characteristics of the plasma phenomena.


title: Dynamic Mode Decomposition for data-driven analysis and reduced-order modelling of ExB plasmas: II. dynamics forecasting

abstract: In part I of the article, we demonstrated that a variant of the Dynamic Mode Decomposition (DMD) algorithm based on variable projection optimization, called Optimized DMD (OPT-DMD), enables a robust identification of the dominant spatiotemporally coherent modes underlying the data across various test cases representing different physical parameters in an ExB simulation configuration. As the OPT-DMD can be constrained to produce stable reduced-order models (ROMs) by construction, in this paper, we extend the application of the OPT-DMD and investigate the capabilities of the linear ROM from this algorithm toward forecasting in time of the plasma dynamics in configurations representative of the radial-azimuthal and axial-azimuthal cross-sections of a Hall thruster and over a range of simulation parameters in each test case. The predictive capacity of the OPT-DMD ROM is assessed primarily in terms of short-term dynamics forecast or, in other words, for large ratios of training-to-test data. However, the utility of the ROM for long-term dynamics forecasting is also presented for an example case in the radial-azimuthal configuration. The model's predictive performance is heterogeneous across various test cases. Nonetheless, a remarkable predictiveness is observed in the test cases that do not exhibit highly transient behaviors. Moreover, in all investigated cases, the error between the ground-truth and the reconstructed data from the OPT-DMD ROM remains bounded over time within both the training and the test window. As a result, despite its limitation in terms of generalized applicability to all plasma conditions, the OPT-DMD is proven as a reliable method to develop low computational cost and highly predictive data-driven reduced-order models in systems with a quasi-periodic global evolution of the plasma state.


title: Indicator functions, v-numbers and Gorenstein rings in the theory of projective Reed-Muller-type codes

abstract: For projective Reed--Muller-type codes we give a global duality criterion in terms of the v-number and the Hilbert function of a vanishing ideal. As an application, we provide a global duality theorem for projective Reed--Muller-type codes over Gorenstein vanishing ideals, generalizing the known case where the vanishing ideal is a complete intersection. We classify self dual Reed-Muller-type codes over Gorenstein ideals using the regularity and a parity check matrix. For projective evaluation codes, we give a duality theorem inspired by that of affine evaluation codes. We show how to compute the regularity index of the $r$-th generalized Hamming weight function in terms of the standard indicator functions of the set of evaluation points.


title: Integrated Monostatic and Bistatic mmWave Sensing

abstract: Millimeter-wave (mmWave) signals provide attractive opportunities for sensing due to their inherent geometrical connections to physical propagation channels. Two common modalities used in mmWave sensing are monostatic and bistatic sensing, which are usually considered separately. By integrating these two modalities, information can be shared between them, leading to improved sensing performance. In this paper, we investigate the integration of monostatic and bistatic sensing in a 5G mmWave scenario, implement the extended Kalman-Poisson multi-Bernoulli sequential filters to solve the sensing problems, and propose a method to periodically fuse user states and maps from two sensing modalities.


title: Muffin: A Framework Toward Multi-Dimension AI Fairness by Uniting Off-the-Shelf Models

abstract: Model fairness (a.k.a., bias) has become one of the most critical problems in a wide range of AI applications. An unfair model in autonomous driving may cause a traffic accident if corner cases (e.g., extreme weather) cannot be fairly regarded; or it will incur healthcare disparities if the AI model misdiagnoses a certain group of people (e.g., brown and black skin). In recent years, there have been emerging research works on addressing unfairness, and they mainly focus on a single unfair attribute, like skin tone; however, real-world data commonly have multiple attributes, among which unfairness can exist in more than one attribute, called 'multi-dimensional fairness'. In this paper, we first reveal a strong correlation between the different unfair attributes, i.e., optimizing fairness on one attribute will lead to the collapse of others. Then, we propose a novel Multi-Dimension Fairness framework, namely Muffin, which includes an automatic tool to unite off-the-shelf models to improve the fairness on multiple attributes simultaneously. Case studies on dermatology datasets with two unfair attributes show that the existing approach can achieve 21.05% fairness improvement on the first attribute while it makes the second attribute unfair by 1.85%. On the other hand, the proposed Muffin can unite multiple models to achieve simultaneously 26.32% and 20.37% fairness improvement on both attributes; meanwhile, it obtains 5.58% accuracy gain.


title: Learning variational autoencoders via MCMC speed measures

abstract: Variational autoencoders (VAEs) are popular likelihood-based generative models which can be efficiently trained by maximizing an Evidence Lower Bound (ELBO). There has been much progress in improving the expressiveness of the variational distribution to obtain tighter variational bounds and increased generative performance. Whilst previous work has leveraged Markov chain Monte Carlo (MCMC) methods for the construction of variational densities, gradient-based methods for adapting the proposal distributions for deep latent variable models have received less attention. This work suggests an entropy-based adaptation for a short-run Metropolis-adjusted Langevin (MALA) or Hamiltonian Monte Carlo (HMC) chain while optimising a tighter variational bound to the log-evidence. Experiments show that this approach yields higher held-out log-likelihoods as well as improved generative metrics. Our implicit variational density can adapt to complicated posterior geometries of latent hierarchical representations arising in hierarchical VAEs.


title: Local times of anisotropic Gaussian random fields and stochastic heat equation

abstract: We study the local times of a large class of Gaussian random fields satisfying strong local nondeterminism with respect to an anisotropic metric. We establish moment estimates and H\"{o}lder conditions for the local times of the Gaussian random fields. Our key estimates rely on geometric properties of Voronoi partitions with respect to an anisotropic metric and the use of Besicovitch's covering theorem. As a consequence, we deduce sample path properties of the Gaussian random fields that are related to Chung's law of the iterated logarithm and modulus of non-differentiability. Moreover, we apply our results to systems of stochastic heat equations with additive Gaussian noise and determine the exact Hausdorff measure function with respect to the parabolic metric for the level sets of the solutions.


title: Nanodevice-Enabled Near-Field Thermal Radiation between Sub-Wavelength Surfaces

abstract: With the continuous advancement of nanotechnology, nanodevices have become crucial components in computing, sensing and energy conversion applications. However, the structures of nanodevices typically possess sub-wavelength dimensions and separations, which pose significant challenges for understanding energy transport phenomena in nanodevices. Here, based on a judiciously designed thermal nanodevice, we report the first measurement of near-field energy transport between two coplanar sub-wavelength structures over temperature bias up to ~190 K. Our experimental results demonstrate a remarkable 20-fold enhancement in heat transfer beyond blackbody radiation. In contrast with the well-established near-field interactions between two semi-infinite bodies, the sub-wavelength confinements in nanodevices lead to the increased polariton scattering and the reduction of supporting modes and therefore a lower heat flow at a given separation. Our work unveils exciting opportunities for the rational design of nanodevices, particularly for on-chip near-field energy transport, with important implications for the development of efficient nanodevices for energy harvesting and thermal management.


title: Computational Discovery of Fast Interstitial Oxygen Conductors

abstract: New highly oxygen-active materials may enhance many energy-related technologies by enabling efficient oxygen-ion transport at lower temperatures, e.g., below 400 Celsius. Interstitial oxygen conductors have the potential to realize such performance but have received far less attention than vacancy-mediated conductors. Here, we combine physically-motivated structure and property descriptors, ab initio simulations, and experiments to demonstrate an approach to discover new fast interstitial oxygen conductors. Multiple new families were found which adopt completely different structures from known oxygen conductors. From these families, we synthesized and studied oxygen kinetics in La4Mn5Si4O22+d (LMS), a representative member of perrierite/chevkinite family. We found LMS has higher oxygen ionic conductivity than the widely used yttria-stabilized ZrO2, and among the highest surface oxygen exchange rates at intermediate temperature of known materials. The fast oxygen kinetics is the result of simultaneously active interstitial and interstitialcy diffusion pathways. This work developed and demonstrated a powerful approach for discovering new families of interstitial oxygen conductors and suggests many more such materials remain to be discovered.


title: MST-compression: Compressing and Accelerating Binary Neural Networks with Minimum Spanning Tree

abstract: Binary neural networks (BNNs) have been widely adopted to reduce the computational cost and memory storage on edge-computing devices by using one-bit representation for activations and weights. However, as neural networks become wider/deeper to improve accuracy and meet practical requirements, the computational burden remains a significant challenge even on the binary version. To address these issues, this paper proposes a novel method called Minimum Spanning Tree (MST) compression that learns to compress and accelerate BNNs. The proposed architecture leverages an observation from previous works that an output channel in a binary convolution can be computed using another output channel and XNOR operations with weights that differ from the weights of the reused channel. We first construct a fully connected graph with vertices corresponding to output channels, where the distance between two vertices is the number of different values between the weight sets used for these outputs. Then, the MST of the graph with the minimum depth is proposed to reorder output calculations, aiming to reduce computational cost and latency. Moreover, we propose a new learning algorithm to reduce the total MST distance during training. Experimental results on benchmark models demonstrate that our method achieves significant compression ratios with negligible accuracy drops, making it a promising approach for resource-constrained edge-computing devices.


title: A Comprehensive Survey for Evaluation Methodologies of AI-Generated Music

abstract: In recent years, AI-generated music has made significant progress, with several models performing well in multimodal and complex musical genres and scenes. While objective metrics can be used to evaluate generative music, they often lack interpretability for musical evaluation. Therefore, researchers often resort to subjective user studies to assess the quality of the generated works, which can be resource-intensive and less reproducible than objective metrics. This study aims to comprehensively evaluate the subjective, objective, and combined methodologies for assessing AI-generated music, highlighting the advantages and disadvantages of each approach. Ultimately, this study provides a valuable reference for unifying generative AI in the field of music evaluation.


title: survivalContour: Visualizing predicted survival via colored contour plots

abstract: Advances in survival analysis have facilitated unprecedented flexibility in data modeling, yet there remains a lack of tools for graphically illustrating the influence of continuous covariates on predicted survival outcomes. We propose the utilization of a colored contour plot to depict the predicted survival probabilities over time, and provide a Shiny app and R package as implementations of this tool. Our approach is capable of supporting conventional models, including the Cox and Fine-Gray models. However, its capability shines when coupled with cutting-edge machine learning models such as random survival forests and deep neural networks.


title: On Philomatics and Psychomatics for Combining Philosophy and Psychology with Mathematics

abstract: We propose the concepts of philomatics and psychomatics as hybrid combinations of philosophy and psychology with mathematics. We explain four motivations for this combination which are fulfilling the desire of analytical philosophy, proposing science of philosophy, justifying mathematical algorithms by philosophy, and abstraction in both philosophy and mathematics. We enumerate various examples for philomatics and psychomatics, some of which are explained in more depth. The first example is the analysis of relation between the context principle, semantic holism, and the usage theory of meaning with the attention mechanism in mathematics. The other example is on the relations of Plato's theory of forms in philosophy with the holographic principle in string theory, object-oriented programming, and machine learning. Finally, the relation between Wittgenstein's family resemblance and clustering in mathematics is explained. This paper opens the door of research for combining philosophy and psychology with mathematics.


title: Devignet: High-Resolution Vignetting Removal via a Dual Aggregated Fusion Transformer With Adaptive Channel Expansion

abstract: Vignetting commonly occurs as a degradation in images resulting from factors such as lens design, improper lens hood usage, and limitations in camera sensors. This degradation affects image details, color accuracy, and presents challenges in computational photography. Existing vignetting removal algorithms predominantly rely on ideal physics assumptions and hand-crafted parameters, resulting in the ineffective removal of irregular vignetting and suboptimal results. Moreover, the substantial lack of real-world vignetting datasets hinders the objective and comprehensive evaluation of vignetting removal. To address these challenges, we present Vigset, a pioneering dataset for vignetting removal. Vigset includes 983 pairs of both vignetting and vignetting-free high-resolution ($5340\times3697$) real-world images under various conditions. In addition, We introduce DeVigNet, a novel frequency-aware Transformer architecture designed for vignetting removal. Through the Laplacian Pyramid decomposition, we propose the Dual Aggregated Fusion Transformer to handle global features and remove vignetting in the low-frequency domain. Additionally, we propose the Adaptive Channel Expansion Module to enhance details in the high-frequency domain. The experiments demonstrate that the proposed model outperforms existing state-of-the-art methods. The code, models, and dataset are available at \url{https://github.com/CXH-Research/DeVigNet}.


title: Some New Results on Gaussian Product Inequalities

abstract: The long-standing Gaussian product inequality (GPI) conjecture states that, for any centered $\mathbb{R}^n$-valued Gaussian random vector $(X_1, \dots, X_n)$ and any positive reals $\alpha_1, \dots, \alpha_n$, ${\bf E}[\prod_{j=1}^{n}|X_j|^{\alpha_j}]\ge \prod_{j=1}^{n}{\bf E}[|X_j|^{\alpha_j}]$. In this paper, we present some related inequalities for centered $\mathbb{R}^n$-valued Gaussian random vector $(X_1, \dots, X_n)$ when $\{\alpha_1, \dots, \alpha_n\}$ contains both positive and negative numbers.


title: A method of approximation of discrete Schr\"odinger equation with the normalized Laplacian by discrete-time quantum walk on graphs

abstract: We propose a class of continuous-time quantum walk models on graphs induced by a certain class of discrete-time quantum walk models with the parameter $\epsilon\in [0,1]$. Here the graph treated in this paper can be applied both finite and infinite cases. The induced continuous-time quantum walk is an extended version of the (free) discrete-Schr\"odinger equation driven by the normalized Laplacian: the element of the weighted Hermitian takes not only a scalar value but also a matrix value depending on the underlying discrete-time quantum walk. We show that each discrete-time quantum walk with an appropriate setting of the parameter $\epsilon$ in the long time limit identifies with its induced continuous-time quantum walk and give the running time for the discrete-time to approximate the induced continuous-time quantum walk with a small error $\delta$. We also investigate the detailed spectral information on the induced continuous-time quantum walk.


title: DP-Coloring of Graphs from Random Covers

abstract: DP-coloring (also called correspondence coloring) of graphs is a generalization of list coloring that has been widely studied since its introduction by Dvo\v{r}\'{a}k and Postle in $2015$. DP-coloring of a graph $G$ is equivalent to an independent transversal of a DP-cover of $G$. Intuitively, a $k$-fold DP-cover of a graph $G$ is an assignment of lists of size $k$ to the vertices of $G$ where the names of colors vary from edge to edge. In this paper, we introduce the notion of random DP-covers and study the behavior of DP-coloring from such random covers. We prove a series of results about the probability that a graph is or is not DP-colorable from a random cover. These results support the following threshold behavior on random $k$-fold DP-covers as $\rho\to\infty$ where $\rho$ is the maximum density of a graph: graphs are non-DP-colorable with high probability when $k$ is sufficiently smaller than $\rho/\ln\rho$, and graphs are DP-colorable with high probability when $k$ is sufficiently larger than $\rho/\ln\rho$. Our results depend on $\rho$ growing fast enough and imply a sharp threshold for dense enough graphs. For sparser graphs, we analyze DP-colorability in terms of degeneracy. We also prove fractional DP-coloring analogs to these results.


title: Extended Zero-Gradient-Sum Approach for Constrained Distributed Optimization with Free Initialization

abstract: This paper proposes an extended zero-gradient-sum (EZGS) approach for solving constrained distributed optimization (DO) with free initialization. A Newton-based continuous-time algorithm (CTA) is first designed for general constrained optimization and then extended to solve constrained DO based on the EZGS method. It is shown that for typical consensus protocols, the EZGS CTA can achieve the performance with exponential/finite/fixed/prescribed-time convergence. Particularly, the nonlinear consensus protocols for finite-time EZGS algorithms can have heterogeneous power coefficients. The prescribed-time EZGS dynamics is continuous and uniformly bounded, which can achieve the optimal solution in one stage. Moreover, the barrier method is employed to tackle the inequality constraints. Finally, the performance of the proposed algorithms is verified by numerical examples.


title: Fluctuation relation in continuous-time random walks driven by an external field

abstract: We study a fluctuation relation representing a nonequilibrium equality indicating that the ratio between the distribution of trajectories obtained by exchanging the initial and final positions is characterized by free energy differences for the duration of the trajectories. We examine the fluctuation relation for noninteracting charge carriers driven by an external electric field by using a continuous-time lattice random walk model with a general waiting-time distribution of transitions. The fluctuation relation is obtained regardless of the lattice structure factor or the form of the waiting-time distribution. However, the fluctuation relation is satisfied only after taking the continuum limit in the presence of a reflecting boundary. Moreover, in free space without boundary conditions, exchanging the initial and final positions is equivalent to exchanging the field (or drift) directions. However, we show that the exchanging field (or drift) directions is not relevant for studying the fluctuation relation under the reflecting boundary condition.


title: CO, H$_2$O, and CH$_4$ in the Dusty Atmosphere of a $\le$5 Myr-old Exoplanet

abstract: Very young massive planets are sufficiently luminous by their internal heat of formation to permit detailed studies, including spectroscopy of their atmospheres with large telescopes at sufficient resolution ($\lambda / \Delta \lambda \gtrsim 1000$) to identify major constituents to inform models of planet formation and early evolution. We obtained 1-2.4$\mu$m ($YJHK$) spectra of the planetary-mass "b" companion of 2MASS~J04372171+2651014, a 1-3 Myr-old M dwarf member of the Taurus star-forming region, and one of the youngest such objects discovered to date. These indicate the presence of CO and possibly H$_2$O and CH$_4$ in the atmosphere, all suggesting a $T_{\rm eff}$ of around 1200K, characteristic of a L-T transition spectral type and consistent with previous estimates based on its luminosity and age. The absence or attenuation of spectral features at shorter wavelengths suggests the presence of micron-size dust, consistent with the object's red color. The spectrum of 2M0437b resembles those of the HR 8799 planets, especially the innermost "b" planet, with the exception of a pronounced flux deficit in the $H$-band of uncertain origin.


title: PE-MED: Prompt Enhancement for Interactive Medical Image Segmentation

abstract: Interactive medical image segmentation refers to the accurate segmentation of the target of interest through interaction (e.g., click) between the user and the image. It has been widely studied in recent years as it is less dependent on abundant annotated data and more flexible than fully automated segmentation. However, current studies have not fully explored user-provided prompt information (e.g., points), including the knowledge mined in one interaction, and the relationship between multiple interactions. Thus, in this paper, we introduce a novel framework equipped with prompt enhancement, called PE-MED, for interactive medical image segmentation. First, we introduce a Self-Loop strategy to generate warm initial segmentation results based on the first prompt. It can prevent the highly unfavorable scenarios, such as encountering a blank mask as the initial input after the first interaction. Second, we propose a novel Prompt Attention Learning Module (PALM) to mine useful prompt information in one interaction, enhancing the responsiveness of the network to user clicks. Last, we build a Time Series Information Propagation (TSIP) mechanism to extract the temporal relationships between multiple interactions and increase the model stability. Comparative experiments with other state-of-the-art (SOTA) medical image segmentation algorithms show that our method exhibits better segmentation accuracy and stability.


title: Extensions and Approximations

abstract: We investigate the order of approximation when certain singular kernels when act on the zero-extension of functions. The results can be repurposed to give non trivial estimates on the moduli of continuity of zero-extensions. Our approach avoids the use of Hardy type inequalities and so applies to any function in $L^p([0,1]^d)$ regardless of smoothness.


title: This paper presents a new application of Borsuk-Ulam's theorem to nonlinear programming

abstract: Borsuk-Ulam's theorem is a useful tool of algebraic topology. It states that for any continuous mapping $f$ from the $n$-sphere to the $n$-dimensional Euclidean space, there exists a pair of antipodal points such that $f(x)=f(-x)$. As for its applications, ham-sandwich theorem, necklace theorem and coloring of Kneser graph by Lov\'{a}sz are well-known. This paper attempts to apply Borsuk-Ulam's theorem to nonlinear programming.


title: Learning Efficient Representations for Image-Based Patent Retrieval

abstract: Patent retrieval has been attracting tremendous interest from researchers in intellectual property and information retrieval communities in the past decades. However, most existing approaches rely on textual and metadata information of the patent, and content-based image-based patent retrieval is rarely investigated. Based on traits of patent drawing images, we present a simple and lightweight model for this task. Without bells and whistles, this approach significantly outperforms other counterparts on a large-scale benchmark and noticeably improves the state-of-the-art by 33.5% with the mean average precision (mAP) score. Further experiments reveal that this model can be elaborately scaled up to achieve a surprisingly high mAP of 93.5%. Our method ranks first in the ECCV 2022 Patent Diagram Image Retrieval Challenge.


title: Quantifying and Documenting Inequity in PhD-granting Mathematical Sciences Departments in the United States

abstract: We provide an example of the application of quantitative techniques, tools, and topics from mathematics and data science to analyze the mathematics community itself in order to quantify and document inequity in our discipline. This work is a contribution to the new and growing interdisciplinary field recently termed "mathematics of Mathematics," or "MetaMath." Using data about PhD-granting institutions in the United States and publicly available funding data from the National Science Foundation, we highlight inequalities in departments at U.S. institutions of higher education that produce PhDs in the mathematical sciences. Specifically, we determine that a small fraction of mathematical sciences departments receive a large majority of federal funding awarded to support mathematics in the United States. Additionally, we identify the extent to which women faculty members are underrepresented in mathematical sciences PhD-granting institutions in the United States. We also show that this underrepresentation of women faculty is even more pronounced in departments that received more federal grant funding.


title: Ab initio investigation of the $^7$Li($p,e^+e^-$)$^8$Be process and the X17 boson

abstract: Observations of anomalies in the electron-positron angular correlations in high-energy decays in $^4$He, $^8$Be, and $^{12}$C have been reported recently by the ATOMKI collaboration. These could be explained by the creation and subsequent decay of a new boson with a mass of ${\sim}17$ MeV. Theoretical understanding of pair creation in the proton capture reactions used in these experiments is important for the interpretation of the anomalies. We apply the ab initio No-Core Shell Model with Continuum (NCSMC) to the proton capture on $^7$Li. The NCSMC describes both bound and unbound states in light nuclei in a unified way with chiral two- and three-nucleon interactions as the only input. We investigate the structure of $^8$Be, the $p+^7$Li elastic scattering, the $^7$Li($p,\gamma$)$^8$Be cross section and the internal pair creation $^7$Li($p,e^+ e^-$)$^8$Be. We discuss the impact of a proper treatment of the initial scattering state on the electron-positron angular correlation spectrum and compare our results to available ATOMKI data sets. Finally, we calculate $^7$Li($p,X$)$^8$Be cross sections for several proposed models of the hypothetical X17 particle.


title: The wave kernel on asymptotically complex hyperbolic manifolds

abstract: We study the behavior of the wave kernel of the Laplacian on asymptotically complex hyperbolic manifolds for finite times. We show that the wave kernel on such manifolds belongs to an appropriate class of Fourier integral operators and analyze its trace. This construction proves that the singularities of its trace are contained in the set of lengths of closed geodesics and we obtain an asymptotic expansion for the trace at time zero.


title: Worst case tractability of $L_2$-approximation for weighted Korobov spaces

abstract: We study $L_2$-approximation problems $\text{APP}_d$ in the worst case setting in the weighted Korobov spaces $H_{d,\a,{\bm \ga}}$ with parameter sequences ${\bm \ga}=\{\ga_j\}$ and $\a=\{\az_j\}$ of positive real numbers $1\ge \ga_1\ge \ga_2\ge \cdots\ge 0$ and $\frac1 2<\az_1\le \az_2\le \cdots$. We consider the minimal worst case error $e(n,\text{APP}_d)$ of algorithms that use $n$ arbitrary continuous linear functionals with $d$ variables. We study polynomial convergence of the minimal worst case error, which means that $e(n,\text{APP}_d)$ converges to zero polynomially fast with increasing $n$. We recall the notions of polynomial, strongly polynomial, weak and $(t_1,t_2)$-weak tractability. In particular, polynomial tractability means that we need a polynomial number of arbitrary continuous linear functionals in $d$ and $\va^{-1}$ with the accuracy $\va$ of the approximation. We obtain that the matching necessary and sufficient condition on the sequences ${\bm \ga}$ and $\a$ for strongly polynomial tractability or polynomial tractability is $$\dz:=\liminf_{j\to\infty}\frac{\ln \ga_j^{-1}}{\ln j}>0,$$ and the exponent of strongly polynomial tractability is $$p^{\text{str}}=2\max\big\{\frac 1 \dz, \frac 1 {2\az_1}\big\}.$$


title: ZC3: Zero-Shot Cross-Language Code Clone Detection

abstract: Developers introduce code clones to improve programming productivity. Many existing studies have achieved impressive performance in monolingual code clone detection. However, during software development, more and more developers write semantically equivalent programs with different languages to support different platforms and help developers translate projects from one language to another. Considering that collecting cross-language parallel data, especially for low-resource languages, is expensive and time-consuming, how designing an effective cross-language model that does not rely on any parallel data is a significant problem. In this paper, we propose a novel method named ZC3 for Zero-shot Cross-language Code Clone detection. ZC3 designs the contrastive snippet prediction to form an isomorphic representation space among different programming languages. Based on this, ZC3 exploits domain-aware learning and cycle consistency learning to further constrain the model to generate representations that are aligned among different languages meanwhile are diacritical for different types of clones. To evaluate our approach, we conduct extensive experiments on four representative cross-language clone detection datasets. Experimental results show that ZC3 outperforms the state-of-the-art baselines by 67.12%, 51.39%, 14.85%, and 53.01% on the MAP score, respectively. We further investigate the representational distribution of different languages and discuss the effectiveness of our method.


title: i-Align: an interpretable knowledge graph alignment model

abstract: Knowledge graphs (KGs) are becoming essential resources for many downstream applications. However, their incompleteness may limit their potential. Thus, continuous curation is needed to mitigate this problem. One of the strategies to address this problem is KG alignment, i.e., forming a more complete KG by merging two or more KGs. This paper proposes i-Align, an interpretable KG alignment model. Unlike the existing KG alignment models, i-Align provides an explanation for each alignment prediction while maintaining high alignment performance. Experts can use the explanation to check the correctness of the alignment prediction. Thus, the high quality of a KG can be maintained during the curation process (e.g., the merging process of two KGs). To this end, a novel Transformer-based Graph Encoder (Trans-GE) is proposed as a key component of i-Align for aggregating information from entities' neighbors (structures). Trans-GE uses Edge-gated Attention that combines the adjacency matrix and the self-attention matrix to learn a gating mechanism to control the information aggregation from the neighboring entities. It also uses historical embeddings, allowing Trans-GE to be trained over mini-batches, or smaller sub-graphs, to address the scalability issue when encoding a large KG. Another component of i-Align is a Transformer encoder for aggregating entities' attributes. This way, i-Align can generate explanations in the form of a set of the most influential attributes/neighbors based on attention weights. Extensive experiments are conducted to show the power of i-Align. The experiments include several aspects, such as the model's effectiveness for aligning KGs, the quality of the generated explanations, and its practicality for aligning large KGs. The results show the effectiveness of i-Align in these aspects.


title: On The Cohomology of $N_C(-2)$ in Positive Characteristic

abstract: Let $C \subset \mathbb{P}^3$ be a general Brill--Noether curve. A classical problem is to determine when $H^0(N_C(-2)) = 0$, which controls the quadric section of $C$. So far this problem has only been solved in characteristic zero, in which case $H^0(N_C(-2)) = 0$ with finitely many exceptions. In this note, we extend these results to positive characteristic, uncovering a wealth of new exceptions in characteristic 2.


title: Operator-valued analogues of multidimensional Bohr-Rogosinski inequalities

abstract: In this article, we first establish operator-valued analogues of multidimensional refined Bohr inequality. Then we establish operator-valued analogues of multidimensional improved Bohr inequality with a certain power of the norm of the initial coefficient. Finally, we establish operator-valued analogues of a multidimensional sharp version of Bohr inequality with the initial coefficient being replaced by the norm value of the function. In addition, we establish operator-valued analogues of multidimensional improved Bohr inequality using the quantity $S_r/\pi$. All the results prove to be sharp.


title: A new unified arc-length method for damage mechanics problems

abstract: The numerical solution of continuum damage mechanics (CDM) problems suffers from convergence-related challenges during the material softening stage, and consequently existing iterative solvers are subject to a trade-off between computational expense and solution accuracy. In this work, we present a novel unified arc-length (UAL) method, and we derive the formulation of the analytical tangent matrix and governing system of equations for both local and non-local gradient damage problems. Unlike existing versions of arc-length solvers that monolithically scale the external force vector, the proposed method treats the latter as an independent variable and determines the position of the system on the equilibrium path based on all the nodal variations of the external force vector. This approach renders the proposed solver substantially more efficient and robust than existing solvers used in CDM problems. We demonstrate the considerable advantages of the proposed algorithm through several benchmark 1D problems with sharp snap-backs and 2D examples under various boundary conditions and loading scenarios. The proposed UAL approach exhibits a superior ability of overcoming critical increments along the equilibrium path. Moreover, in the presented examples, the proposed UAL method is 1-2 orders of magnitude faster than force-controlled arc-length and monolithic Newton-Raphson solvers.


title: SamDSK: Combining Segment Anything Model with Domain-Specific Knowledge for Semi-Supervised Learning in Medical Image Segmentation

abstract: The Segment Anything Model (SAM) exhibits a capability to segment a wide array of objects in natural images, serving as a versatile perceptual tool for various downstream image segmentation tasks. In contrast, medical image segmentation tasks often rely on domain-specific knowledge (DSK). In this paper, we propose a novel method that combines the segmentation foundation model (i.e., SAM) with domain-specific knowledge for reliable utilization of unlabeled images in building a medical image segmentation model. Our new method is iterative and consists of two main stages: (1) segmentation model training; (2) expanding the labeled set by using the trained segmentation model, an unlabeled set, SAM, and domain-specific knowledge. These two stages are repeated until no more samples are added to the labeled set. A novel optimal-matching-based method is developed for combining the SAM-generated segmentation proposals and pixel-level and image-level DSK for constructing annotations of unlabeled images in the iterative stage (2). In experiments, we demonstrate the effectiveness of our proposed method for breast cancer segmentation in ultrasound images, polyp segmentation in endoscopic images, and skin lesion segmentation in dermoscopic images. Our work initiates a new direction of semi-supervised learning for medical image segmentation: the segmentation foundation model can be harnessed as a valuable tool for label-efficient segmentation learning in medical image segmentation.


title: How Can Context Help? Exploring Joint Retrieval of Passage and Personalized Context

abstract: The integration of external personalized context information into document-grounded conversational systems has significant potential business value, but has not been well-studied. Motivated by the concept of personalized context-aware document-grounded conversational systems, we introduce the task of context-aware passage retrieval. We also construct a dataset specifically curated for this purpose. We describe multiple baseline systems to address this task, and propose a novel approach, Personalized Context-Aware Search (PCAS), that effectively harnesses contextual information during passage retrieval. Experimental evaluations conducted on multiple popular dense retrieval systems demonstrate that our proposed approach not only outperforms the baselines in retrieving the most relevant passage but also excels at identifying the pertinent context among all the available contexts. We envision that our contributions will serve as a catalyst for inspiring future research endeavors in this promising direction.


title: Limit theorems for non-degenerate U-statistics of block maxima for time series

abstract: The block maxima method is a classical and widely applied statistical method for time series extremes. It has recently been found that respective estimators whose asymptotics are driven by empirical means can be improved by using sliding rather than disjoint block maxima. Similar results are derived for general non-degenerate U-statistics of arbitrary order, in the multivariate time series case. Details are worked out for selected examples: the empirical variance, the probability weighted moment estimator and Kendall's tau statistic. The results are also extended to the case where the underlying sample is piecewise stationary. The finite-sample properties are illustrated by a Monte Carlo simulation study.


title: In situ observation of chemistry in Rydberg molecules within a coherent solvent

abstract: We often infer the state of systems in nature indirectly, for example in high energy physics by recording the tracks particles leave behind in an ambient medium. We adapt this principle to energies 9 orders of magnitude smaller, to classify the final state of exotic molecules after internal conversion of their electronic state, through their interaction with an ambient quantum fluid, a Bose-Einstein condensate. The BEC is the ground-state of a million bosonic atoms near zero temperature, and a single embedded ultra-long range Rydberg molecule can coherently excite waves in this fluid, which carry tell-tale signatures of its dynamics. Bond lengths exceeding a micrometer allow us to observe the molecular fingerprint on the BEC in situ, via optical microscopy. Interpreting images in comparison with simulations shows that the molecular electronic state rapidly converts from the initially excited S- and D-orbitals to a much more complex molecular state (called "trilobite"), marked by a maximally localized electron. This internal conversion liberates energy, such that one expects final state particles to move rapidly through the medium, which is however ruled out by comparing experiment and simulations. The molecule thus must strongly decelerate in the medium, for which we propose a plausible mechanism. Our experiment demonstrates a coherent medium that facilitates and records an electronic state change of embedded exotic molecules in ultra-cold chemistry, with sufficient sensitivity to constrain velocities of final state particles.


title: Creating Light-Made Waveguides with Structured Optical Beams in Nonlinear Kerr Media

abstract: While in linear optics the subject of structured light has been a fruitful field of both theoretical and applied research, its development in the arena of nonlinear optics has been underexplored. In this paper, we construct Frozen-Wave-type structured optical beams in Kerr nonlinear media, emphasizing the self-defocusing case, and use them to guide and control Gaussian optical beams. The results presented in this study support the expectation that structured light in nonlinear media can open new venues of theoretical research and applications, particularly in the realms of light controlling light and for all-optical photonics.


title: Unified Single-Stage Transformer Network for Efficient RGB-T Tracking

abstract: Most existing RGB-T tracking networks extract modality features in a separate manner, which lacks interaction and mutual guidance between modalities. This limits the network's ability to adapt to the diverse dual-modality appearances of targets and the dynamic relationships between the modalities. Additionally, the three-stage fusion tracking paradigm followed by these networks significantly restricts the tracking speed. To overcome these problems, we propose a unified single-stage Transformer RGB-T tracking network, namely USTrack, which unifies the above three stages into a single ViT (Vision Transformer) backbone with a dual embedding layer through self-attention mechanism. With this structure, the network can extract fusion features of the template and search region under the mutual interaction of modalities. Simultaneously, relation modeling is performed between these features, efficiently obtaining the search region fusion features with better target-background discriminability for prediction. Furthermore, we introduce a novel feature selection mechanism based on modality reliability to mitigate the influence of invalid modalities for prediction, further improving the tracking performance. Extensive experiments on three popular RGB-T tracking benchmarks demonstrate that our method achieves new state-of-the-art performance while maintaining the fastest inference speed 84.2FPS. In particular, MPR/MSR on the short-term and long-term subsets of VTUAV dataset increased by 11.1$\%$/11.7$\%$ and 11.3$\%$/9.7$\%$.


title: Is There an Earth-like Planet in the Distant Kuiper Belt?

abstract: The orbits of trans-Neptunian objects (TNOs) can indicate the existence of an undiscovered planet in the outer solar system. Here, we used N-body computer simulations to investigate the effects of a hypothetical Kuiper Belt planet (KBP) on the orbital structure of TNOs in the distant Kuiper Belt beyond ~50 au. We used observations to constrain model results, including the well-characterized Outer Solar System Origins Survey (OSSOS). We determined that an Earth-like planet (m ~ 1.5-3 Earth masses) located on a distant (semimajor axis a ~ 250-500 au, perihelion q ~ 200 au) and inclined (i ~ 30 deg) orbit can explain three fundamental properties of the distant Kuiper Belt: a prominent population of TNOs with orbits beyond Neptune's gravitational influence (i.e., detached objects with q > 40 au), a significant population of high-i objects (i > 45 deg), and the existence of some extreme objects with peculiar orbits (e.g., Sedna). Furthermore, the proposed KBP is compatible with the existence of identified Gyr-stable TNOs in the 2:1, 5:2, 3:1, 4:1, 5:1, and 6:1 Neptunian mean motion resonances. These stable populations are often neglected in other studies. We predict the existence of an Earth-like planet and several TNOs on peculiar orbits in the outer solar system, which can serve as observationally testable signatures of the putative planet's perturbations.


title: Photon escape cones, physical and optical metrics, asymptotic and near-horizon physics

abstract: We consider the explicit analytic behaviour of photon escape cones in generic static spherically symmetric spacetimes, emphasizing the interplay between the physical spacetime metric and the optical metric, and the interplay between large-distance asymptotic and near-horizon physics. The circular photon orbits (photon spheres) are shown to be given by wormhole throats in the optical metric, (not the physical metric), and the escape cone solid angle is easily calculable in terms of the capture cross section, sigma_{capture}, the area of the spherical 2-surfaces, and the norm of the timelike Killing vector. Under appropriate circumstances, for near-horizon photon emission the escape cone solid angle can be related to the surface gravity kappa_H. We provide a number of illustrative examples, involving both black holes and wormholes, including situations with multiple photon spheres.


title: DiffI2I: Efficient Diffusion Model for Image-to-Image Translation

abstract: The Diffusion Model (DM) has emerged as the SOTA approach for image synthesis. However, the existing DM cannot perform well on some image-to-image translation (I2I) tasks. Different from image synthesis, some I2I tasks, such as super-resolution, require generating results in accordance with GT images. Traditional DMs for image synthesis require extensive iterations and large denoising models to estimate entire images, which gives their strong generative ability but also leads to artifacts and inefficiency for I2I. To tackle this challenge, we propose a simple, efficient, and powerful DM framework for I2I, called DiffI2I. Specifically, DiffI2I comprises three key components: a compact I2I prior extraction network (CPEN), a dynamic I2I transformer (DI2Iformer), and a denoising network. We train DiffI2I in two stages: pretraining and DM training. For pretraining, GT and input images are fed into CPEN$_{S1}$ to capture a compact I2I prior representation (IPR) guiding DI2Iformer. In the second stage, the DM is trained to only use the input images to estimate the same IRP as CPEN$_{S1}$. Compared to traditional DMs, the compact IPR enables DiffI2I to obtain more accurate outcomes and employ a lighter denoising network and fewer iterations. Through extensive experiments on various I2I tasks, we demonstrate that DiffI2I achieves SOTA performance while significantly reducing computational burdens.


title: Adversarial Fine-Tuning of Language Models: An Iterative Optimisation Approach for the Generation and Detection of Problematic Content

abstract: In this paper, we tackle the emerging challenge of unintended harmful content generation in Large Language Models (LLMs) with a novel dual-stage optimisation technique using adversarial fine-tuning. Our two-pronged approach employs an adversarial model, fine-tuned to generate potentially harmful prompts, and a judge model, iteratively optimised to discern these prompts. In this adversarial cycle, the two models seek to outperform each other in the prompting phase, generating a dataset of rich examples which are then used for fine-tuning. This iterative application of prompting and fine-tuning allows continuous refinement and improved performance. The performance of our approach is evaluated through classification accuracy on a dataset consisting of problematic prompts not detected by GPT-4, as well as a selection of contentious but unproblematic prompts. We show considerable increase in classification accuracy of the judge model on this challenging dataset as it undergoes the optimisation process. Furthermore, we show that a rudimentary model \texttt{ada} can achieve 13\% higher accuracy on the hold-out test set than GPT-4 after only a few rounds of this process, and that this fine-tuning improves performance in parallel tasks such as toxic comment identification.


title: Bengali Document Layout Analysis with Detectron2

abstract: Document digitization is vital for preserving historical records, efficient document management, and advancing OCR (Optical Character Recognition) research. Document Layout Analysis (DLA) involves segmenting documents into meaningful units like text boxes, paragraphs, images, and tables. Challenges arise when dealing with diverse layouts, historical documents, and unique scripts like Bengali, hindered by the lack of comprehensive Bengali DLA datasets. We improved the accuracy of the DLA model for Bengali documents by utilizing advanced Mask R-CNN models available in the Detectron2 library. Our evaluation involved three variants: Mask R-CNN R-50, R-101, and X-101, both with and without pretrained weights from PubLayNet, on the BaDLAD dataset, which contains human-annotated Bengali documents in four categories: text boxes, paragraphs, images, and tables. Results show the effectiveness of these models in accurately segmenting Bengali documents. We discuss speed-accuracy tradeoffs and underscore the significance of pretrained weights. Our findings expand the applicability of Mask R-CNN in document layout analysis, efficient document management, and OCR research while suggesting future avenues for fine-tuning and data augmentation.