title: Gravitational Collapse in Higher-Dimensional Rastall Gravity with and without Cosmological Constant

abstract: We consider a spherically symmetric homogeneous perfect fluid undergoing a gravitational collapse to singularity in the framework of higher-dimensional Rastall gravity in the cases of vanishing and nonvanishing cosmological constants. The possible final states of the collapse in any finite dimension are black hole and naked singularity, hence violating the cosmic censorship conjecture, but the naked singularity formation becomes less favored when the dimension is increased, such that the conjecture is fully restored in the limit of very high dimensions. We find that there are two physically distinct solutions for the collapse evolution in the case of nonzero cosmological constant: trigonometric and exponential solutions. The effective energy density of the fluid is decreasing (increasing) in the former (latter) when the magnitude of the cosmological constant is increased, which implies that the former undergoes a slower collapse than the latter. Furthermore, we find that a temporary trapped surface is possible to emerge in the case of trigonometric solution in the naked singularity region only. Therefore, faraway observers with observational time shorter than the collapse duration may conclude that a black hole is formed, although the collapse will eventually lead to a naked singularity formation.


title: Using an Evolutionary Algorithm to Create (MAX)-3SAT QUBOs

abstract: A common way of solving satisfiability instances with quantum methods is to transform these instances into instances of QUBO, which in itself is a potentially difficult and expensive task. State-of-the-art transformations from MAX-3SAT to QUBO currently work by mapping clauses of a 3SAT formula associated with the MAX-3SAT instance to an instance of QUBO and combining the resulting QUBOs into a single QUBO instance representing the whole MAX-3SAT instance. As creating these transformations is currently done manually or via exhaustive search methods and, therefore, algorithmically inefficient, we see potential for including search-based optimization. In this paper, we propose two methods of using evolutionary algorithms to automatically create QUBO representations of MAX-3SAT problems. We evaluate our created QUBOs on 500 and 1000-clause 3SAT formulae and find competitive performance to state-of-the-art baselines when using both classical and quantum annealing solvers.


title: Fair Generalized Linear Mixed Models

abstract: When using machine learning for automated prediction, it is important to account for fairness in the prediction. Fairness in machine learning aims to ensure that biases in the data and model inaccuracies do not lead to discriminatory decisions. E.g., predictions from fair machine learning models should not discriminate against sensitive variables such as sexual orientation and ethnicity. The training data often in obtained from social surveys. In social surveys, oftentimes the data collection process is a strata sampling, e.g. due to cost restrictions. In strata samples, the assumption of independence between the observation is not fulfilled. Hence, if the machine learning models do not account for the strata correlations, the results may be biased. Especially high is the bias in cases where the strata assignment is correlated to the variable of interest. We present in this paper an algorithm that can handle both problems simultaneously, and we demonstrate the impact of stratified sampling on the quality of fair machine learning predictions in a reproducible simulation study.


title: Dynamic Activation Pitfalls in LLaMA Models: An Empirical Study

abstract: In this work, we systematically investigate the efficacy of dynamic activation mechanisms within the LLaMA family of language models. Despite the potential of dynamic activation methods to reduce computation and increase speed in models using the ReLU activation function, our empirical findings have uncovered several inherent pitfalls in the current dynamic activation schemes. Through extensive experiments across various dynamic activation strategies, we demonstrate that LLaMA models usually underperform when compared to their ReLU counterparts, particularly in scenarios demanding high sparsity ratio. We attribute these deficiencies to a combination of factors: 1) the inherent complexity of dynamically predicting activation heads and neurons; 2) the inadequate sparsity resulting from activation functions; 3) the insufficient preservation of information resulting from KV cache skipping. Our analysis not only sheds light on the limitations of dynamic activation in the context of large-scale LLaMA models but also proposes roadmaps for enhancing the design of future sparsity schemes.


title: Feferman's completeness theorem

abstract: Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of full uniform reflection of $\mathsf{PA}$. This result is commonly known as Feferman's completeness theorem. The purpose of this paper is twofold. On the one hand this is an expository paper, giving two new proofs of Feferman's completeness theorem that, we hope, shed light on this mysterious and often overlooked result. On the other hand, we combine one of our proofs with results from computable structure theory due to Ash and Knight to give sharp bounds on the order types of well-orders necessary to attain the completeness for levels of the arithmetical hierarchy.


title: Dual-Segment Clustering Strategy for Federated Learning in Heterogeneous Environments

abstract: Federated learning (FL) is a distributed machine learning paradigm with high efficiency and low communication load, only transmitting parameters or gradients of network. However, the non-independent and identically distributed (Non-IID) data characteristic has a negative impact on this paradigm. Furthermore, the heterogeneity of communication quality will significantly affect the accuracy of parameter transmission, causing a degradation in the performance of the FL system or even preventing its convergence. This letter proposes a dual-segment clustering (DSC) strategy, which first clusters the clients according to the heterogeneous communication conditions and then performs a second clustering by the sample size and label distribution, so as to solve the problem of data and communication heterogeneity. Experimental results show that the DSC strategy proposed in this letter can improve the convergence rate of FL, and has superiority on accuracy in a heterogeneous environment compared with the classical algorithm of cluster.


title: Generalized cluster states from Hopf algebras: non-invertible symmetry and Hopf tensor network representation

abstract: Cluster states are crucial resources for measurement-based quantum computation (MBQC). It exhibits symmetry-protected topological (SPT) order, thus also playing a crucial role in studying topological phases. We present the construction of cluster states based on Hopf algebras. By generalizing the finite group valued qudit to a Hopf algebra valued qudit and introducing the generalized Pauli-X operator based on the regular action of the Hopf algebra, as well as the generalized Pauli-Z operator based on the irreducible representation action on the Hopf algebra, we develop a comprehensive theory of Hopf qudits. We demonstrate that non-invertible symmetry naturally emerges for Hopf qudits. Subsequently, for a bipartite graph termed the cluster graph, we assign the identity state and trivial representation state to even and odd vertices, respectively. Introducing the edge entangler as controlled regular action, we provide a general construction of Hopf cluster states. To ensure the commutativity of the edge entangler, we propose a method to construct a cluster lattice for any triangulable manifold. We use the 1d cluster state as an example to illustrate our construction. As this serves as a promising candidate for SPT phases, we construct the gapped Hamiltonian for this scenario and delve into a detailed discussion of its non-invertible symmetries. We also show that the 1d cluster state model is equivalent to the quasi-1d Hopf quantum double model. We also introduce the Hopf tensor network representation of Hopf cluster states by integrating the tensor representation of structure constants with the string diagrams of the Hopf algebra.

categories: quant-ph cond-mat.str-el hep-th math-ph math.MP math.QA


title: The Spectra of IceCube Neutrino Candidate Sources

abstract: We present recent work on the Spectra of IceCube Neutrino (SIN) candidate sources project. We defined a selection of candidate neutrino sources by identifying blazars in the vicinity of IceCube's highest-energy neutrinos. We now want to shed light on these source candidates' nature, starting at their redshift, continuing with their black hole masses, their variability, and, for the first time, a combined photon-neutrino spectral energy distribution. We present their hybrid spectral energy distributions (combining photon and neutrino fluxes), investigate the sources' variability in the near-infrared, optical, X-ray, and $\gamma$-ray bands, and compare the variability with a blazar sample of non-candidate sources. Furthermore, we search for flares at the arrival time of the high-energy neutrinos.


title: Sign of the Times: Evaluating the use of Large Language Models for Idiomaticity Detection

abstract: Despite the recent ubiquity of large language models and their high zero-shot prompted performance across a wide range of tasks, it is still not known how well they perform on tasks which require processing of potentially idiomatic language. In particular, how well do such models perform in comparison to encoder-only models fine-tuned specifically for idiomaticity tasks? In this work, we attempt to answer this question by looking at the performance of a range of LLMs (both local and software-as-a-service models) on three idiomaticity datasets: SemEval 2022 Task 2a, FLUTE, and MAGPIE. Overall, we find that whilst these models do give competitive performance, they do not match the results of fine-tuned task-specific models, even at the largest scales (e.g. for GPT-4). Nevertheless, we do see consistent performance improvements across model scale. Additionally, we investigate prompting approaches to improve performance, and discuss the practicalities of using LLMs for these tasks.


title: 1/3 and other magnetization plateaus in a quasi-one-dimensional Ising magnet $\mathbf{TbTi_3Bi_4}$ with zigzag spin chain

abstract: We report the magnetic properties of newly synthesized, single crystals of $\mathrm{TbTi_3Bi_4}$ whose crystal structure is highlighted by the stacking of terbium-based zigzag chains and titanium-based kagome lattices. This compound demonstrates extreme easy-axis magnetic anisotropy due to the crystalline-electric-field effect which aligns the $\mathrm{Tb^{3+}}$ moments along the zigzag chain direction. As the result of the strong single-ion anisotropy and multiple magnetic interactions, $\mathrm{TbTi_3Bi_4}$ behaves as a quasi-one-dimensional Ising magnet with a remarkable antiferromagnetic ordering at $T_\mathrm{N}$ = 20.4 K. When a magnetic field is applied along the direction of the zigzag chain, multiple meta-magnetic transitions occur between 1/3 and other magnetization plateaus. We have created a field-temperature phase diagram and mapped out the complex magnetic structures resulting from frustration.


title: Localized Attractor Computations for Infinite-State Games (Full Version)

abstract: Infinite-state games are a commonly used model for the synthesis of reactive systems with unbounded data domains. Symbolic methods for solving such games need to be able to construct intricate arguments to establish the existence of winning strategies. Often, large problem instances require prohibitively complex arguments. Therefore, techniques that identify smaller and simpler sub-problems and exploit the respective results for the given game-solving task are highly desirable. In this paper, we propose the first such technique for infinite-state games. The main idea is to enhance symbolic game-solving with the results of localized attractor computations performed in sub-games. The crux of our approach lies in identifying useful sub-games by computing permissive winning strategy templates in finite abstractions of the infinite-state game. The experimental evaluation of our method demonstrates that it outperforms existing techniques and is applicable to infinite-state games beyond the state of the art.


title: Three-Dimensional Path Planning: Navigating through Rough Mereology

abstract: In this paper, we present an innovative technique for the path planning of flying robots in a 3D environment in Rough Mereology terms. The main goal was to construct the algorithm that would generate the mereological potential fields in 3-dimensional space. To avoid falling into the local minimum, we assist with a weighted Euclidean distance. Moreover, a searching path from the start point to the target, with respect to avoiding the obstacles was applied. The environment was created by connecting two cameras working in real-time. To determine the gate and elements of the world inside the map was responsible the Python Library OpenCV [1] which recognized shapes and colors. The main purpose of this paper is to apply the given results to drones.


title: Bounds and Approximations for the Distribution of a Sum of Lognormal Random Variables

abstract: A sum of lognormal random variables (RVs) appears in many problems of science and engineering. For example, it is invloved in computing the distribution of recevied signal and interference powers for radio channels subject to lognormal shadow fading. Its distribution has no closed-from expression and it is typically characterized by approximations, asymptotes or bounds. We give a novel upper bound on the cumulative distribution function (CDF) of a sum of $N$ lognormal RVs. The bound is derived from the tangential mean-arithmetic mean inequality. By using the tangential mean, our method replaces the sum of $N$ lognormal RVs with a product of $N$ shifted lognormal RVs. It is shown that the bound can be made arbitrarily close to the desired CDF, and thus it becomes more accurate than any other bound or approximation, as the shift approaches infinity. The bound is computed by numerical integration, for which we introduce the Mellin transform, which is applicable to products of RVs. At the left tail of the CDF, the bound can be expressed by a single Q-function. Moreover, we derive simple new approximations to the CDF, expressed as a product $N$ Q-functions, which are more accurate than the previous method of Farley.


title: Volatile atmospheres of lava worlds

abstract: A magma ocean (MO) is thought to be a ubiquitous stage in the early evolution of rocky planets and exoplanets. During the lifetime of the MO, exchanges between the interior and exterior envelopes of the planet are very efficient. In particular, volatile elements that initially are contained in the solid part of the planet can be released and form a secondary outgassed atmosphere. We determine trends in the H-C-N-O-S composition and thickness of these secondary atmospheres for varying planetary sizes and MO extents, and the oxygen fugacity of MOs, which provides the main control for the atmospheric chemistry. We used a model with coupled chemical gas-gas and silicate melt-gas equilibria and mass conservation to predict the composition of an atmosphere at equilibrium with the MO depending on the planet size and the extent and redox state of the MO. We used a self-consistent mass-radius model for the rocky core to inform the structure of the planet, which we combined with an atmosphere model to predict the transit radius of lava worlds. We find that MOs (especially the shallow ones) on small planets are generally more reduced, and are thus dominated by H2-rich atmospheres (whose outgassing is strengthened at low planetary mass), while larger planets and deeper MOs vary from CO to CO2-N2-SO2 atmospheres, with increasing fO2 . In the former case, the low molecular mass of the atmosphere combined with the low gravity of the planets yields a large vertical extension of the atmosphere, while in the latter cases, secondary outgassed atmospheres on super-Earths are likely significantly shrunk. Both N and C are largely outgassed regardless of the conditions, while the S and H outgassing is strongly dependent on the fO2 , as well as on the planetary mass and MO extent for the latter.


title: Positional Knowledge is All You Need: Position-induced Transformer (PiT) for Operator Learning

abstract: Operator learning for Partial Differential Equations (PDEs) is rapidly emerging as a promising approach for surrogate modeling of intricate systems. Transformers with the self-attention mechanism$\unicode{x2013}$a powerful tool originally designed for natural language processing$\unicode{x2013}$have recently been adapted for operator learning. However, they confront challenges, including high computational demands and limited interpretability. This raises a critical question: Is there a more efficient attention mechanism for Transformer-based operator learning? This paper proposes the Position-induced Transformer (PiT), built on an innovative position-attention mechanism, which demonstrates significant advantages over the classical self-attention in operator learning. Position-attention draws inspiration from numerical methods for PDEs. Different from self-attention, position-attention is induced by only the spatial interrelations of sampling positions for input functions of the operators, and does not rely on the input function values themselves, thereby greatly boosting efficiency. PiT exhibits superior performance over current state-of-the-art neural operators in a variety of complex operator learning tasks across diverse PDE benchmarks. Additionally, PiT possesses an enhanced discretization convergence feature, compared to the widely-used Fourier neural operator.


title: MVBIND: Self-Supervised Music Recommendation For Videos Via Embedding Space Binding

abstract: Recent years have witnessed the rapid development of short videos, which usually contain both visual and audio modalities. Background music is important to the short videos, which can significantly influence the emotions of the viewers. However, at present, the background music of short videos is generally chosen by the video producer, and there is a lack of automatic music recommendation methods for short videos. This paper introduces MVBind, an innovative Music-Video embedding space Binding model for cross-modal retrieval. MVBind operates as a self-supervised approach, acquiring inherent knowledge of intermodal relationships directly from data, without the need of manual annotations. Additionally, to compensate the lack of a corresponding musical-visual pair dataset for short videos, we construct a dataset, SVM-10K(Short Video with Music-10K), which mainly consists of meticulously selected short videos. On this dataset, MVBind manifests significantly improved performance compared to other baseline methods. The constructed dataset and code will be released to facilitate future research.


title: Logical coherence in 2D compass codes

abstract: 2D compass codes are a family of quantum error-correcting codes that contain the Bacon-Shor codes, the X-Shor and Z-Shor codes, and the rotated surface codes. Previous numerical results suggest that the surface code has a constant accuracy and coherence threshold under uniform coherent rotation. However, having analytical proof supporting a constant threshold is still an open problem. It is analytically proven that the toric code can exponentially suppress logical coherence in the code distance $L$. However, the current analytical lower bound on the threshold for the rotation angle $\theta$ is $|\sin(\theta)| < 1/L$, which linearly vanishes in $L$ instead of being constant. We show that this lower bound is achievable by the Z-Shor code which does not have a threshold under stochastic noise. Compass codes provide a promising direction to improve on the previous bounds. We analytically determine thresholds for two new compass code families with thresholds near the rotated surface code's numerically established coherence threshold. Furthermore, using a Majorana mode-based simulator, we use random families of compass codes to smoothly interpolate between the Z-Shor codes and the X-Shor codes.


title: DeCoDEx: Confounder Detector Guidance for Improved Diffusion-based Counterfactual Explanations

abstract: Deep learning classifiers are prone to latching onto dominant confounders present in a dataset rather than on the causal markers associated with the target class, leading to poor generalization and biased predictions. Although explainability via counterfactual image generation has been successful at exposing the problem, bias mitigation strategies that permit accurate explainability in the presence of dominant and diverse artifacts remain unsolved. In this work, we propose the DeCoDEx framework and show how an external, pre-trained binary artifact detector can be leveraged during inference to guide a diffusion-based counterfactual image generator towards accurate explainability. Experiments on the CheXpert dataset, using both synthetic artifacts and real visual artifacts (support devices), show that the proposed method successfully synthesizes the counterfactual images that change the causal pathology markers associated with Pleural Effusion while preserving or ignoring the visual artifacts. Augmentation of ERM and Group-DRO classifiers with the DeCoDEx generated images substantially improves the results across underrepresented groups that are out of distribution for each class. The code is made publicly available at https://github.com/NimaFathi/DeCoDEx.


title: Gravitational wavefunctions in JT supergravity

abstract: We determine explicit expressions for the continuous two-sided gravitational wavefunctions in supersymmetric versions of JT gravity, focusing mainly on $\mathcal{N}=2$ JT supergravity. Our approach is based on representation theory of the associated supergroup, for which we determine the relevant mixed parabolic matrix elements that implement asymptotic AdS boundary conditions at the quantum level. We match our expressions with those found by solving the energy-eigenvalue equation of arXiv:2207.00408. We discuss gravitational applications by computing several amplitudes of interest, and address how our framework can be generalized further.


title: Emergence of high-mass stars in complex fiber networks (EMERGE) II. The need for data combination in ALMA observations

abstract: ALMA's high-resolution images allow to resolve the filamentary structure of the ISM down to few thousand au at kpc distances. We aim to systematically quantify the impact of the interferometric response and the effects of the short-spacing information during the characterization of the ISM structure using ALMA observations. We create a series of continuum ALMA synthetic observations to test the recovery of the observational properties of dense cores and filaments (i.e. intensity peak, radial profile, and width) at different scales. We compare the results obtained with and without different data combination techniques using different ALMA arrays and SD telescopes in simulated data and real observations. Our analysis illustrates the severity of interferometric filtering effects. ALMA-12m alone observations show significant scale-dependent flux losses systematically corrupting (>30%error) all the physical properties inferred in cores and filaments (i.e. column density, mass, and size) before the maximum recoverable scale of the interferometer. These effects are only partially mitigated by the addition of the ALMA ACA-7m array although degrading the telescope PSF. Our results demonstrate only the addition of the ALMA Total Power information allows to recover the true sky emission down to few times the ALMA beamsize with satisfactory accuracy (<10% error). Additional tests demonstrate the emission recovery at all scales is further improved if the 7mTP data are replaced by maps obtained by a larger SD telescope (e.g., IRAM-30m), even if the latter are noisier than expected. These observational biases particularly affect partially resolved targets, becoming critical especially for studies in nearby regions such as Taurus or Orion. Our results demonstrate the need for the use of data combination techniques to accurately characterize the complex physical structure of the ISM in the ALMA era.


title: Sensitivity Decouple Learning for Image Compression Artifacts Reduction

abstract: With the benefit of deep learning techniques, recent researches have made significant progress in image compression artifacts reduction. Despite their improved performances, prevailing methods only focus on learning a mapping from the compressed image to the original one but ignore the intrinsic attributes of the given compressed images, which greatly harms the performance of downstream parsing tasks. Different from these methods, we propose to decouple the intrinsic attributes into two complementary features for artifacts reduction,ie, the compression-insensitive features to regularize the high-level semantic representations during training and the compression-sensitive features to be aware of the compression degree. To achieve this, we first employ adversarial training to regularize the compressed and original encoded features for retaining high-level semantics, and we then develop the compression quality-aware feature encoder for compression-sensitive features. Based on these dual complementary features, we propose a Dual Awareness Guidance Network (DAGN) to utilize these awareness features as transformation guidance during the decoding phase. In our proposed DAGN, we develop a cross-feature fusion module to maintain the consistency of compression-insensitive features by fusing compression-insensitive features into the artifacts reduction baseline. Our method achieves an average 2.06 dB PSNR gains on BSD500, outperforming state-of-the-art methods, and only requires 29.7 ms to process one image on BSD500. Besides, the experimental results on LIVE1 and LIU4K also demonstrate the efficiency, effectiveness, and superiority of the proposed method in terms of quantitative metrics, visual quality, and downstream machine vision tasks.


title: Attribute reduction algorithm of rough sets based on spatial optimization

abstract: Rough set is one of the important methods for rule acquisition and attribute reduction. The current goal of rough set attribute reduction focuses more on minimizing the number of reduced attributes, but ignores the spatial similarity between reduced and decision attributes, which may lead to problems such as increased number of rules and limited generality. In this paper, a rough set attribute reduction algorithm based on spatial optimization is proposed. By introducing the concept of spatial similarity, to find the reduction with the highest spatial similarity, so that the spatial similarity between reduction and decision attributes is higher, and more concise and widespread rules are obtained. In addition, a comparative experiment with the traditional rough set attribute reduction algorithms is designed to prove the effectiveness of the rough set attribute reduction algorithm based on spatial optimization, which has made significant improvements on many datasets.


title: Do language models capture implied discourse meanings? An investigation with exhaustivity implicatures of Korean morphology

abstract: Markedness in natural language is often associated with non-literal meanings in discourse. Differential Object Marking (DOM) in Korean is one instance of this phenomenon, where post-positional markers are selected based on both the semantic features of the noun phrases and the discourse features that are orthogonal to the semantic features. Previous work has shown that distributional models of language recover certain semantic features of words -- do these models capture implied discourse-level meanings as well? We evaluate whether a set of large language models are capable of associating discourse meanings with different object markings in Korean. Results suggest that discourse meanings of a grammatical marker can be more challenging to encode than that of a discourse marker.


title: Strong Forms of Weakly e-continuous Functions

abstract: The main purpose of this study is to introduce and study two new classes of continuity called eR-continuous functions and weakly eR-continuous functions via e-regular sets. Both of the forms of continuous functions we have described are stronger than the weakly e-continuity. Furthermore, we obtain various characterizations of weakly eR-continuous functions. In addition, we examine not only the relations of these functions with some other forms of existing continuous functions, but also some of their fundamental properties.


title: Cables of the figure-eight knot via real Fr{\o}yshov invariants

abstract: We prove that the $(2n,1)$-cable of the figure-eight knot is not smoothly slice when $n$ is odd, by using the real Seiberg-Witten Fr{\o}yshov invariant of Konno-Miyazawa-Taniguchi. For the computation, we develop an $O(2)$-equivariant version of the lattice homotopy type, originally introduced by Dai-Sasahira-Stoffregen. This enables us to compute the real Seiberg-Witten Floer homotopy type for a certain class of knots. Additionally, we present some computations of Miyazawa's real framed Seiberg-Witten invariant for 2-knots.


title: Tight Bounds for Online Convex Optimization with Adversarial Constraints

abstract: A well-studied generalization of the standard online convex optimization (OCO) is constrained online convex optimization (COCO). In COCO, on every round, a convex cost function and a convex constraint function are revealed to the learner after the action for that round is chosen. The objective is to design an online policy that simultaneously achieves a small regret while ensuring small cumulative constraint violation (CCV) against an adaptive adversary. A long-standing open question in COCO is whether an online policy can simultaneously achieve $O(\sqrt{T})$ regret and $O(\sqrt{T})$ CCV without any restrictive assumptions. For the first time, we answer this in the affirmative and show that an online policy can simultaneously achieve $O(\sqrt{T})$ regret and $\tilde{O}(\sqrt{T})$ CCV. We establish this result by effectively combining the adaptive regret bound of the AdaGrad algorithm with Lyapunov optimization - a classic tool from control theory. Surprisingly, the analysis is short and elegant.


title: Imaging Polarimetry of Comet 67P/Churyumov-Gerasimenko: Homogeneous Distribution of Polarisation and its Implications

abstract: Comet 67P/Churyumov-Gerasimenko (67P) become observable for the first time in 2021 since the Rosetta rendezvous in 2014--16. Here, we present pre-perihelion polarimetric measurements of 67P from 2021 performed with the Very Large Telescope (VLT), as well as post-perihelion polarimetric measurements from 2015--16 obtained with the VLT and the William Herschel Telescope (WHT). This new data covers a phase angle range of ~4-50{\deg} and presents polarimetric measurements of unprecedentedly high S/N ratio. Complementing previous measurements, the polarimetric phase curve of 67P resembles that of other Jupiter family comets and high-polarisation, dusty comets. Comparing pre- and post-perihelion data sets, we find only a marginal difference between the polarimetric phase curves. In our imaging maps, we detect various linear structures produced by the dust in the inner coma of the comet. Despite this, we find a homogeneous spread of polarisation around the photocentre throughout the coma and tail, in contrast to previous studies. Finally, we explore the consequences of image misalignments on both polarimetric maps and aperture polarimetric measurements.


title: Deep Blur Multi-Model (DeepBlurMM) -- a strategy to mitigate the impact of image blur on deep learning model performance in histopathology image analysis

abstract: AI-based analysis of histopathology whole slide images (WSIs) is central in computational pathology. However, image quality, including unsharp areas of WSIs, impacts model performance. We investigate the impact of blur and propose a multi-model approach to mitigate negative impact of unsharp image areas. In this study, we use a simulation approach, evaluating model performance under varying levels of added Gaussian blur to image tiles from >900 H&E-stained breast cancer WSIs. To reduce impact of blur, we propose a novel multi-model approach (DeepBlurMM) where multiple models trained on data with variable amounts of Gaussian blur are used to predict tiles based on their blur levels. Using histological grade as a principal example, we found that models trained with mildly blurred tiles improved performance over the base model when moderate-high blur was present. DeepBlurMM outperformed the base model in presence of moderate blur across all tiles (AUC:0.764 vs. 0.710), and in presence of a mix of low, moderate, and high blur across tiles (AUC:0.821 vs. 0.789). Unsharp image tiles in WSIs impact prediction performance. DeepBlurMM improved prediction performance under some conditions and has the potential to increase quality in both research and clinical applications.


title: Charm CP violation and searches

abstract: Charm CP violation is a unique gate to the physics of up-type quarks and allows searches for physics beyond the Standard Model in new and exciting ways, complementary to kaon and $b$ decays. We review recent advances, focusing on symmetry-based methods and providing an outlook on the next challenges at the intensity frontier of charm physics.


title: Comparing the Efficacy of GPT-4 and Chat-GPT in Mental Health Care: A Blind Assessment of Large Language Models for Psychological Support

abstract: Background: Rapid advancements in natural language processing have led to the development of large language models with the potential to revolutionize mental health care. These models have shown promise in assisting clinicians and providing support to individuals experiencing various psychological challenges. Objective: This study aims to compare the performance of two large language models, GPT-4 and Chat-GPT, in responding to a set of 18 psychological prompts, to assess their potential applicability in mental health care settings. Methods: A blind methodology was employed, with a clinical psychologist evaluating the models' responses without knowledge of their origins. The prompts encompassed a diverse range of mental health topics, including depression, anxiety, and trauma, to ensure a comprehensive assessment. Results: The results demonstrated a significant difference in performance between the two models (p > 0.05). GPT-4 achieved an average rating of 8.29 out of 10, while Chat-GPT received an average rating of 6.52. The clinical psychologist's evaluation suggested that GPT-4 was more effective at generating clinically relevant and empathetic responses, thereby providing better support and guidance to potential users. Conclusions: This study contributes to the growing body of literature on the applicability of large language models in mental health care settings. The findings underscore the importance of continued research and development in the field to optimize these models for clinical use. Further investigation is necessary to understand the specific factors underlying the performance differences between the two models and to explore their generalizability across various populations and mental health conditions.


title: Vacuum energy in the effective field theory of general relativity with a scalar field

abstract: A consistency condition of general relativity as an effective field theory in Minkowskian background uniquely fixes the value of the cosmological constant. In two-loop calculations, including the interaction of gravitons with matter fields, it has been shown that this value of the cosmological constant leads to vanishing vacuum energy, under the assumption that the energy-momentum tensor of the gravitational field is given by the pseudotensor of Landau-Lifshitz's classic textbook. Here, we demonstrate that this result also holds when the self-interaction of a scalar field is taken into account. That is, our two-loop-order calculation suggests that in an effective field theory of metric and scalar fields, one arrives at a consistent theory with massless gravitons if the cosmological constant is fixed from the condition of vanishing vacuum energy. Vice versa, imposing the consistency condition in Minkowskian background leads to a vanishing vacuum energy.


title: Optimal crawling: from mechanical to chemical actuation

abstract: Taking inspiration from the crawling motion of biological cells on a substrate, we consider a physical model of self-propulsion where the spatio-temporal driving can involve both, a mechanical actuation by active force couples, and a chemical actuation through controlled mass turnover. We show that the competition and cooperation between these two modalities of active driving can drastically broaden the performance repertoire of the crawler. When the material turnover is slow and the mechanical driving dominates, we find that the highest velocity at a given energetic cost is reached when actuation takes the form of an active force configuration propagating as a traveling wave. As the rate of material turnover increases, and the chemical driving starts to dominate the mechanical one, such a peristalsis-type control progressively loses its efficacy, yielding to a standing wave type driving which involves an interplay between the mechanical and chemical actuation. Our analysis suggests a new paradigm for the optimal design of crawling biomimetic robots where the conventional purely mechanical driving through distributed force actuators is complemented by a distributed chemical control of the material remodeling inside the force-transmitting machinery.


title: Probing the broad line region geometry and size of the gravitationally lensed quasar Q2237+0305 with microlensing time series

abstract: Lensed quasars are powerful cosmic laboratories; they are used to simultaneously probe various astrophysical phenomena. Microlensing by stars within distant galaxies acts as strong gravitational lenses of multiply imaged quasars, and provides a unique and direct measurement of the lensed quasar internal structure. Microlensing of the continuum emitting region as well as the broad-line region (BLR) is well characterized by four observable indices, $\mu^{cont}$, $\mu^{BLR}$, $WCI$ (wing-core), and $RBI$ (red-blue), measured directly from the spectra. During the 2004-2007 monitoring period, image A of the quadruply lensed system Q2237+0305 underwent a strong microlensing amplification, while image D remained unaffected. We used 35 epochs of archival spectrophotometric data of Q2237+0305 obtained with the Very Large Telescope of the European Southern Observatory to develop an independent microlensing method for estimating the geometry and size of the BLR. We measured the index time series for the CIV line and the continuum emission at $1450\,\unicode{x212B}$. We built a library of the simulated microlensing index time series that reproduce the observed times series based on three representative BLR models: Keplerian disk (KD), polar wind (PW), and equatorial wind (EW). After sampling the model parameter space, we find that KD is the predominant model, while PW and EW are less likely. We infer that the system is viewed at an intermediate viewing angle $i\sim 35^\circ$, and we estimate the most likely CIV BLR half-light radius $r_\mathrm{1/2}=51\pm 23$ light days. Our results are in good agreement with previous findings in the literature and extend the validity of the index-based approach to a temporal domain.


title: Kolmogorov complexity as a combinatorial tool

abstract: Kolmogorov complexity is often used as a convenient language for counting and/or probabilistic existence proofs. However, there are some applications where Kolmogorov complexity is used in a more subtle way. We provide one (somehow) surprising example where an existence of a winning strategy in a natural combinatorial game is proven (and no direct proof is known).


title: Gradient Boosted Filters For Signal Processing

abstract: Gradient boosted decision trees have achieved remarkable success in several domains, particularly those that work with static tabular data. However, the application of gradient boosted models to signal processing is underexplored. In this work, we introduce gradient boosted filters for dynamic data, by employing Hammerstein systems in place of decision trees. We discuss the relationship of our approach to the Volterra series, providing the theoretical underpinning for its application. We demonstrate the effective generalizability of our approach with examples.


title: Words Blending Boxes. Obfuscating Queries in Information Retrieval using Differential Privacy

abstract: Ensuring the effectiveness of search queries while protecting user privacy remains an open issue. When an Information Retrieval System (IRS) does not protect the privacy of its users, sensitive information may be disclosed through the queries sent to the system. Recent improvements, especially in NLP, have shown the potential of using Differential Privacy to obfuscate texts while maintaining satisfactory effectiveness. However, such approaches may protect the user's privacy only from a theoretical perspective while, in practice, the real user's information need can still be inferred if perturbed terms are too semantically similar to the original ones. We overcome such limitations by proposing Word Blending Boxes, a novel differentially private mechanism for query obfuscation, which protects the words in the user queries by employing safe boxes. To measure the overall effectiveness of the proposed WBB mechanism, we measure the privacy obtained by the obfuscation process, i.e., the lexical and semantic similarity between original and obfuscated queries. Moreover, we assess the effectiveness of the privatized queries in retrieving relevant documents from the IRS. Our findings indicate that WBB can be integrated effectively into existing IRSs, offering a key to the challenge of protecting user privacy from both a theoretical and a practical point of view.


title: Quantum entanglement and non-Gaussianity in the primordial Universe

abstract: We propose a new method to investigate signatures of a quantum gravity phase in the primordial state of cosmological perturbations. We formulate and study a quantum model of a perturbed Friedmann-Lemaitre-Robertson-Walker universe beyond the conventional Born-Oppenheimer factorization, that is, without restricting the wave function of the universe to the product of the background and perturbation wave functions. We show that the quantum dynamics generically does not preserve the product form of the universe's wave function, that spontaneously evolves into a more general entangled state. Upon expanding this state in a suitable basis of background wave functions and setting Gaussian initial conditions for the perturbations, we numerically find that each of these wave functions becomes associated to a non-Gaussian state of an inhomogeneous perturbation.


title: TimeX++: Learning Time-Series Explanations with Information Bottleneck

abstract: Explaining deep learning models operating on time series data is crucial in various applications of interest which require interpretable and transparent insights from time series signals. In this work, we investigate this problem from an information theoretic perspective and show that most existing measures of explainability may suffer from trivial solutions and distributional shift issues. To address these issues, we introduce a simple yet practical objective function for time series explainable learning. The design of the objective function builds upon the principle of information bottleneck (IB), and modifies the IB objective function to avoid trivial solutions and distributional shift issues. We further present TimeX++, a novel explanation framework that leverages a parametric network to produce explanation-embedded instances that are both in-distributed and label-preserving. We evaluate TimeX++ on both synthetic and real-world datasets comparing its performance against leading baselines, and validate its practical efficacy through case studies in a real-world environmental application. Quantitative and qualitative evaluations show that TimeX++ outperforms baselines across all datasets, demonstrating a substantial improvement in explanation quality for time series data. The source code is available at \url{https://github.com/zichuan-liu/TimeXplusplus}.


title: Identification via Permutation Channels

abstract: We study message identification over a $q$-ary uniform permutation channel, where the transmitted vector is permuted by a permutation chosen uniformly at random. For discrete memoryless channels (DMCs), the number of identifiable messages grows doubly exponentially. Identification capacity, the maximum second-order exponent, is known to be the same as the Shannon capacity of the DMC. Permutation channels support reliable communication of only polynomially many messages. A simple achievability result shows that message sizes growing as $2^{c_nn^{q-1}}$ are identifiable for any $c_n\rightarrow 0$. We prove two converse results. A ``soft'' converse shows that for any $R>0$, there is no sequence of identification codes with message size growing as $2^{Rn^{q-1}}$ with a power-law decay ($n^{-\mu}$) of the error probability. We also prove a ``strong" converse showing that for any sequence of identification codes with message size $2^{Rn^{q-1}\log n}$ ($R>0$), the sum of type I and type II error probabilities approaches at least $1$ as $n\rightarrow \infty$. To prove the soft converse, we use a sequence of steps to construct a new identification code with a simpler structure which relates to a set system, and then use a lower bound on the normalized maximum pairwise intersection of a set system. To prove the strong converse, we use results on approximation of distributions.


title: GrainGrasp: Dexterous Grasp Generation with Fine-grained Contact Guidance

abstract: One goal of dexterous robotic grasping is to allow robots to handle objects with the same level of flexibility and adaptability as humans. However, it remains a challenging task to generate an optimal grasping strategy for dexterous hands, especially when it comes to delicate manipulation and accurate adjustment the desired grasping poses for objects of varying shapes and sizes. In this paper, we propose a novel dexterous grasp generation scheme called GrainGrasp that provides fine-grained contact guidance for each fingertip. In particular, we employ a generative model to predict separate contact maps for each fingertip on the object point cloud, effectively capturing the specifics of finger-object interactions. In addition, we develop a new dexterous grasping optimization algorithm that solely relies on the point cloud as input, eliminating the necessity for complete mesh information of the object. By leveraging the contact maps of different fingertips, the proposed optimization algorithm can generate precise and determinable strategies for human-like object grasping. Experimental results confirm the efficiency of the proposed scheme.


title: Sums of rational cubes and the $3$-Selmer group

abstract: Recently, Alp\"oge-Bhargava-Shnidman determined the average size of the $2$-Selmer group in the cubic twist family of any elliptic curve over $\mathbb{Q}$ with $j$-invariant $0$. We obtain the distribution of the $3$-Selmer groups in the same family. As a consequence, we improve their upper bound on the density of integers expressible as a sum of two rational cubes. Assuming a $3$-converse theorem, we also improve their lower bound on this density. The $\sqrt{-3}$-Selmer group in this cubic twist family is well-known to be large, which poses significant challenges to the methods previously developed by the second author. We overcome this problem by strengthening the analytic core of these methods. Specifically, we prove a "trilinear large sieve" for an appropriate generalization of the classical R\'edei symbol, then use this to control the restriction of the Cassels-Tate pairing to the $\sqrt{-3}$-Selmer groups in these twist families.


title: Agnostic Active Learning of Single Index Models with Linear Sample Complexity

abstract: We study active learning methods for single index models of the form $F({\mathbf x}) = f(\langle {\mathbf w}, {\mathbf x}\rangle)$, where $f:\mathbb{R} \to \mathbb{R}$ and ${\mathbf x,\mathbf w} \in \mathbb{R}^d$. In addition to their theoretical interest as simple examples of non-linear neural networks, single index models have received significant recent attention due to applications in scientific machine learning like surrogate modeling for partial differential equations (PDEs). Such applications require sample-efficient active learning methods that are robust to adversarial noise. I.e., that work even in the challenging agnostic learning setting. We provide two main results on agnostic active learning of single index models. First, when $f$ is known and Lipschitz, we show that $\tilde{O}(d)$ samples collected via {statistical leverage score sampling} are sufficient to learn a near-optimal single index model. Leverage score sampling is simple to implement, efficient, and already widely used for actively learning linear models. Our result requires no assumptions on the data distribution, is optimal up to log factors, and improves quadratically on a recent ${O}(d^{2})$ bound of \cite{gajjar2023active}. Second, we show that $\tilde{O}(d)$ samples suffice even in the more difficult setting when $f$ is \emph{unknown}. Our results leverage tools from high dimensional probability, including Dudley's inequality and dual Sudakov minoration, as well as a novel, distribution-aware discretization of the class of Lipschitz functions.


title: Vortex-comb spectroscopy

abstract: We propose a new Fourier-transform spectroscopy technique based on the rotational Doppler effect. The technique offers an application for optical vortex frequency combs, where each frequency component carries a unique amount of orbital angular momentum (OAM). Here, we emulate a vortex comb using a tunable single frequency laser and a collection of spiral phase plates, generating up to eleven distinct OAM modes. Unlike in traditional Fourier-transform spectroscopy based on the Michelson interferometer (linear Doppler effect), the spectral resolution of vortex-comb spectroscopy is not limited by the mechanical scan distance of the instrument but only by the measurement time. Although the spectrometer requires just one free-running frequency comb, the down-conversion scheme resembles dual-comb spectroscopy, leading to fast mode-resolved measurements.


title: Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability

abstract: Deep Learning Systems (DLSs) have been widely applied in safety-critical tasks such as autopilot. However, when a perturbed input is fed into a DLS for inference, the DLS often has incorrect outputs (i.e., faults). DLS testing techniques (e.g., DeepXplore) detect such faults by generating perturbed inputs to explore data flows that induce faults. Since a DLS often has infinitely many data flows, existing techniques require developers to manually specify a set of activation values in a DLS's neurons for exploring fault-inducing data flows. Unfortunately, recent studies show that such manual effort is tedious and can detect only a tiny proportion of fault-inducing data flows. In this paper, we present Themis, the first automatic DLS testing system, which attains strong fault detection capability by ensuring a full coverage of fault-inducing data flows at a high probability. Themis carries a new workflow for automatically and systematically revealing data flows whose internal neurons' outputs vary substantially when the inputs are slightly perturbed, as these data flows are likely fault-inducing. We evaluated Themis on ten different DLSs and found that on average the number of faults detected by Themis was 3.78X more than four notable DLS testing techniques. By retraining all evaluated DLSs with the detected faults, Themis also increased (regained) these DLSs' accuracies on average 14.7X higher than all baselines.


title: Positive operator-valued kernels and non-commutative probability

abstract: We prove new factorization and dilation results for general positive operator-valued kernels, and we present their implications for associated Hilbert space-valued Gaussian processes, and their covariance structure. Further applications are to non-commutative probability theory, including a non-commutative Radon--Nikodym theorem for systems of completely positive maps.

categories: math.OA math-ph math.FA math.MP quant-ph


title: Energy conservation for 3D Euler and Navier-Stokes equations in a bounded domain. Applications to Beltrami flows

abstract: In this paper we consider the incompressible 3D Euler and Navier-Stokes equations in a smooth bounded domain. First, we study the 3D Euler equations endowed with slip boundary conditions and we prove the same criteria for energy conservation involving the gradient, already known for the Navier-Stokes equations. Subsequently, we utilise this finding, which is based on a proper approximation of the velocity (and doesn't require estimates or additional assumptions on the pressure), to explore energy conservation for Beltrami flows. Finally, we explore Beltrami solutions to the Navier-Stokes equations and demonstrate that conditions leading to energy conservation are significantly distinct from those implying regularity. This remains true even when making use of the bootstrap regularity improvement, stemming from the solution being a Beltrami vector field.


title: Controllability Test for Nonlinear Datatic Systems

abstract: Controllability is a fundamental property of control systems, serving as the prerequisite for controller design. While controllability test is well established in modelic (i.e., model-driven) control systems, extending it to datatic (i.e., data-driven) control systems is still a challenging task due to the absence of system models. In this study, we propose a general controllability test method for nonlinear systems with datatic description, where the system behaviors are merely described by data. In this situation, the state transition information of a dynamic system is available only at a limited number of data points, leaving the behaviors beyond these points unknown. Different from traditional exact controllability, we introduce a new concept called $\epsilon$-controllability, which extends the definition from point-to-point form to point-to-region form. Accordingly, our focus shifts to checking whether the system state can be steered to a closed state ball centered on the target state, rather than exactly at that target state. On its basis, we propose a tree search algorithm called maximum expansion of controllable subset (MECS) to identify controllable states in the dataset. Starting with a specific target state, our algorithm can iteratively propagate controllability from a known state ball to a new one. This iterative process gradually enlarges the $\epsilon$-controllable subset by incorporating new controllable balls until all $\epsilon$-controllable states are searched. Besides, a simplified version of MECS is proposed by solving a special shortest path problem, called Floyd expansion with radius fixed (FERF). FERF maintains a fixed radius of all controllable balls based on a mutual controllability assumption of neighboring states. The effectiveness of our method is validated in three datatic control systems whose dynamic behaviors are described by sampled data.


title: Transfer Learning in Pre-Trained Large Language Models for Malware Detection Based on System Calls

abstract: In the current cybersecurity landscape, protecting military devices such as communication and battlefield management systems against sophisticated cyber attacks is crucial. Malware exploits vulnerabilities through stealth methods, often evading traditional detection mechanisms such as software signatures. The application of ML/DL in vulnerability detection has been extensively explored in the literature. However, current ML/DL vulnerability detection methods struggle with understanding the context and intent behind complex attacks. Integrating large language models (LLMs) with system call analysis offers a promising approach to enhance malware detection. This work presents a novel framework leveraging LLMs to classify malware based on system call data. The framework uses transfer learning to adapt pre-trained LLMs for malware detection. By retraining LLMs on a dataset of benign and malicious system calls, the models are refined to detect signs of malware activity. Experiments with a dataset of over 1TB of system calls demonstrate that models with larger context sizes, such as BigBird and Longformer, achieve superior accuracy and F1-Score of approximately 0.86. The results highlight the importance of context size in improving detection rates and underscore the trade-offs between computational complexity and performance. This approach shows significant potential for real-time detection in high-stakes environments, offering a robust solution to evolving cyber threats.


title: Paley-like quasi-random graphs arising from polynomials

abstract: Paley graphs and Paley sum graphs are classical examples of quasi-random graphs. In this paper, we provide new constructions of families of quasi-random graphs that behave like Paley graphs but are neither Cayley graphs nor Cayley sum graphs. These graphs give a unified perspective of studying various graphs arising from polynomials over finite fields such as Paley graphs, Paley sum graphs, and graphs coming from Diophantine tuples and their generalizations. We also provide new lower bounds on the clique number and independence number of general quasi-random graphs. In particular, we give a sufficient condition for the clique number of quasi-random graphs of $n$ vertices to be at least $(1-o(1)\log_{3.008}n$. Such a condition applies to many classical quasi-random graphs, including Paley graphs and Paley sum graphs, as well as some new Paley-like graphs we construct.


title: Search for new physics in high-mass diphoton events from proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: Results are presented from a search for new physics in high-mass diphoton events from proton-proton collisions at $\sqrt{s}$ = 13 TeV. The data set was collected in 2016-2018 with the CMS detector at the LHC and corresponds to an integrated luminosity of 138 fb$^{-1}$. Events with a diphoton invariant mass greater than 500\GeV are considered. Two different techniques are used to predict the standard model backgrounds: parametric fits to the smoothly-falling background and a first-principles calculation of the standard model diphoton spectrum at next-to-next-to-leading order in perturbative quantum chromodynamics calculations. The first technique is sensitive to resonant excesses while the second technique can identify broad differences in the invariant mass shape. The data are used to constrain the production of heavy Higgs bosons, Randall-Sundrum gravitons, the large extra dimensions model of Arkani-Hamed, Dimopoulos, and Dvali (ADD), and the continuum clockwork mechanism. No statistically significant excess is observed. The present results are the strongest limits to date on ADD extra dimensions and RS gravitons with a coupling parameter greater than 0.1.


title: ReconBoost: Boosting Can Achieve Modality Reconcilement

abstract: This paper explores a novel multi-modal alternating learning paradigm pursuing a reconciliation between the exploitation of uni-modal features and the exploration of cross-modal interactions. This is motivated by the fact that current paradigms of multi-modal learning tend to explore multi-modal features simultaneously. The resulting gradient prohibits further exploitation of the features in the weak modality, leading to modality competition, where the dominant modality overpowers the learning process. To address this issue, we study the modality-alternating learning paradigm to achieve reconcilement. Specifically, we propose a new method called ReconBoost to update a fixed modality each time. Herein, the learning objective is dynamically adjusted with a reconcilement regularization against competition with the historical models. By choosing a KL-based reconcilement, we show that the proposed method resembles Friedman's Gradient-Boosting (GB) algorithm, where the updated learner can correct errors made by others and help enhance the overall performance. The major difference with the classic GB is that we only preserve the newest model for each modality to avoid overfitting caused by ensembling strong learners. Furthermore, we propose a memory consolidation scheme and a global rectification scheme to make this strategy more effective. Experiments over six multi-modal benchmarks speak to the efficacy of the method. We release the code at https://github.com/huacong/ReconBoost.


title: The number of symmetric chain decompositions

abstract: We prove that the number of symmetric chain decompositions of the Boolean lattice $2^{[n]}$ is $$\left(\frac{n}{2e}+o(n)\right)^{2^n}.$$ Furthermore, the number of symmetric chain decompositions of the hypergrid $[t]^n$ is $$n^{(1-o_n(1))\cdot t^n}.$$


title: Exponential Quintessence: curved, steep and stringy?

abstract: We explore the possibility that our universe's current accelerated expansion is explained by a quintessence model with an exponential scalar potential, $V =V_0\, e^{-\lambda\, \phi}$, keeping an eye towards $\lambda \geq \sqrt{2}$ and an open universe, favorable to a string theory realisation and with no cosmological horizon. We work out the full cosmology of the model, including matter, radiation, and optionally negative spatial curvature, for all $\lambda>0$, performing an extensive analysis of the dynamical system and its phase space. The minimal physical requirements of a past epoch of radiation domination and an accelerated expansion today lead to an upper bound $\lambda \lesssim \sqrt{3}$, which is driven slightly up in the presence of observationally allowed spatial curvature. Cosmological solutions start universally in a kination epoch, go through radiation and matter dominated phases and enter an epoch of acceleration, which is only transient for $\lambda>\sqrt{2}$. Field distances traversed between BBN and today are sub-Planckian. We discuss possible string theory origins and phenomenological challenges, such as time variation of fundamental constants. We provide theoretical predictions for the model parameters to be fitted to data, most notably the varying dark energy equation of state parameter, in light of recent results from DES-Y5 and DESI.


title: Learning Coarse-Grained Dynamics on Graph

abstract: We consider a Graph Neural Network (GNN) non-Markovian modeling framework to identify coarse-grained dynamical systems on graphs. Our main idea is to systematically determine the GNN architecture by inspecting how the leading term of the Mori-Zwanzig memory term depends on the coarse-grained interaction coefficients that encode the graph topology. Based on this analysis, we found that the appropriate GNN architecture that will account for $K$-hop dynamical interactions has to employ a Message Passing (MP) mechanism with at least $2K$ steps. We also deduce that the memory length required for an accurate closure model decreases as a function of the interaction strength under the assumption that the interaction strength exhibits a power law that decays as a function of the hop distance. Supporting numerical demonstrations on two examples, a heterogeneous Kuramoto oscillator model and a power system, suggest that the proposed GNN architecture can predict the coarse-grained dynamics under fixed and time-varying graph topologies.


title: On the Virasoro fusion and modular kernels at any irrational central charge

abstract: We propose a series representation for the Virasoro fusion and modular kernels at any irrational central charge. Two distinct, yet closely related formulas are needed for the cases $c\in \mathbb C \backslash (-\infty,1]$ and $c <1$. We also conjecture that the formulas have a well-defined limit as the central charge approaches rational values. Our proposal for $c <1$ agrees numerically with the fusion transformation of the four-point spherical conformal blocks, whereas our proposal for $c\in \mathbb C \backslash (-\infty,1]$ agrees numerically with Ponsot and Teschner's integral formula for the fusion kernel. The case of the modular kernel is studied as a special case of the fusion kernel.


title: Exploring $t$-Channel Models for Dark Matter

abstract: We report on a comprehensive study of the Direct Detection phenomenology of singlet Dark Matter $t$-channel portal models. For that purpose, we present a complete computation of the loop-induced direct detection cross-section for both scalar and fermionic Dark Matter candidates. We complete the study by comparing the results with current and future bounds from Direct Detection experiments and requiring the correct Dark Matter relic density.


title: Leveraging graphical model techniques to study evolution on phylogenetic networks

abstract: The evolution of molecular and phenotypic traits is commonly modelled using Markov processes along a rooted phylogeny. This phylogeny can be a tree, or a network if it includes reticulations, representing events such as hybridization or admixture. Computing the likelihood of data observed at the leaves is costly as the size and complexity of the phylogeny grows. Efficient algorithms exist for trees, but cannot be applied to networks. We show that a vast array of models for trait evolution along phylogenetic networks can be reformulated as graphical models, for which efficient belief propagation algorithms exist. We provide a brief review of belief propagation on general graphical models, then focus on linear Gaussian models for continuous traits. We show how belief propagation techniques can be applied for exact or approximate (but more scalable) likelihood and gradient calculations, and prove novel results for efficient parameter inference of some models. We highlight the possible fruitful interactions between graphical models and phylogenetic methods. For example, approximate likelihood approaches have the potential to greatly reduce computational costs for phylogenies with reticulations.


title: WENO scheme on characteristics for the equilibrium dispersive model of chromatography with generalized Langmuir isotherms

abstract: Column chromatography is a laboratory and industrial technique used to separate different substances mixed in a solution. Mathematically, it can be modelled using non-linear partial differential equations whose main ingredients are the adsorption isotherms, which are non-linear functions modelling the affinity between the different substances in the solution and the solid stationary phase filling the column. The goal of this work is twofold. Firstly, we aim to extend the techniques of Donat, Guerrero and Mulet (Appl. Numer. Math. 123 (2018) 22-42) to other adsorption isotherms. In particular, we propose a family of generalized Langmuir-type isotherms and prove that the correspondence between the concentrations of solutes in the liquid phase (the primitive variables) and the conserved variables is well defined and admits a global smooth inverse that can be computed numerically. Secondly, to establish the well-posedness of the mathematical model, we study the eigenstructure of the Jacobian of the mentioned correspondence and use this characteristic information to get oscillation-free sharp interfaces on the numerical approximate solutions. To do so, we determine the structure of the Jacobian matrix of the system and use it to deduce its eigenstructure. We combine the use of characteristic-based numerical fluxes with a second-order implicit-explicit scheme proposed in the cited reference and perform some numerical experiments with T\'oth's adsorption isotherms to demonstrate that the characteristic-based schemes produce accurate numerical solutions with no oscillations, even when steep gradients appear in the solutions.


title: Systematic investigation of the nuclear multiple deformations in U+U collisions with A Multi-Phase Transport model

abstract: Relativistic heavy ion collisions provide a unique opportunity to study the shape of colliding nuclei, even up to higher-order multiple deformations. In this work, several observables that are sensitive to quadrupole and hexadecapole deformations of Uranium-238 in relativistic U+U collisions have been systematically investigated with A Multi-Phase Transport model. We find that the flow harmonic $v_{2}$, the $v_{2}$ and mean transverse momentum correlation, and the three-particle asymmetry cumulant ${\rm ac}_{2}\{3\}$ are sensitive to nuclear quadrupole deformation, while ${\rm ac}_{2}\{3\}$ and nonlinear response coefficient $\chi_{4,22}$ are sensitive to nuclear hexadecapole deformation. Our results from transport model studies are in qualitative agreement with previous hydrodynamic studies. The results indicate that the uncertainties of the hexadecapole deformation of Uranium on the quadrupole deformation determination can be reduced by the abundance of correlation observables provided by the relativistic heavy ion collisions.


title: BARO: Robust Root Cause Analysis for Microservices via Multivariate Bayesian Online Change Point Detection

abstract: Detecting failures and identifying their root causes promptly and accurately is crucial for ensuring the availability of microservice systems. A typical failure troubleshooting pipeline for microservices consists of two phases: anomaly detection and root cause analysis. While various existing works on root cause analysis require accurate anomaly detection, there is no guarantee of accurate estimation with anomaly detection techniques. Inaccurate anomaly detection results can significantly affect the root cause localization results. To address this challenge, we propose BARO, an end-to-end approach that integrates anomaly detection and root cause analysis for effectively troubleshooting failures in microservice systems. BARO leverages the Multivariate Bayesian Online Change Point Detection technique to model the dependency within multivariate time-series metrics data, enabling it to detect anomalies more accurately. BARO also incorporates a novel nonparametric statistical hypothesis testing technique for robustly identifying root causes, which is less sensitive to the accuracy of anomaly detection compared to existing works. Our comprehensive experiments conducted on three popular benchmark microservice systems demonstrate that BARO consistently outperforms state-of-the-art approaches in both anomaly detection and root cause analysis.


title: Multi-Source Conformal Inference Under Distribution Shift

abstract: Recent years have experienced increasing utilization of complex machine learning models across multiple sources of data to inform more generalizable decision-making. However, distribution shifts across data sources and privacy concerns related to sharing individual-level data, coupled with a lack of uncertainty quantification from machine learning predictions, make it challenging to achieve valid inferences in multi-source environments. In this paper, we consider the problem of obtaining distribution-free prediction intervals for a target population, leveraging multiple potentially biased data sources. We derive the efficient influence functions for the quantiles of unobserved outcomes in the target and source populations, and show that one can incorporate machine learning prediction algorithms in the estimation of nuisance functions while still achieving parametric rates of convergence to nominal coverage probabilities. Moreover, when conditional outcome invariance is violated, we propose a data-adaptive strategy to upweight informative data sources for efficiency gain and downweight non-informative data sources for bias reduction. We highlight the robustness and efficiency of our proposals for a variety of conformal scores and data-generating mechanisms via extensive synthetic experiments. Hospital length of stay prediction intervals for pediatric patients undergoing a high-risk cardiac surgical procedure between 2016-2022 in the U.S. illustrate the utility of our methodology.


title: Revealing the Production Mechanism of High-Energy Neutrinos from NGC 1068

abstract: The detection of high-energy neutrino signals from the nearby Seyfert galaxy NGC 1068 provides us with an opportunity to study nonthermal processes near the center of supermassive black holes. Using the IceCube and latest Fermi-LAT data, we present general multimessenger constraints on the energetics of cosmic rays and the size of neutrino emission regions. In the photohadronic scenario, the required cosmic-ray luminosity should be larger than about 1-10 percent of the Eddington luminosity, and the emission radius should be less than about 15 Schwarzschild radii in low-beta plasma and less than about 3 Schwarzschild radii in high-beta plasma. The leptonic scenario overshoots the NuSTAR or Fermi-LAT data for any emission radii we consider, and the required gamma-ray luminosity is much larger than the Eddington luminosity. The beta decay scenario also violates not only the energetics requirement but also gamma-ray constraints especially when the Bethe-Heitler and photomeson production processes are consistently considered. Our results rule out the leptonic and beta decay scenarios in a nearly model-independent manner, and support hadronic mechanisms in magnetically-powered coronae if NGC 1068 is a source of high-energy neutrinos.


title: Application of Gated Recurrent Units for CT Trajectory Optimization

abstract: Recent advances in computed tomography (CT) imaging, especially with dual-robot systems, have introduced new challenges for scan trajectory optimization. This paper presents a novel approach using Gated Recurrent Units (GRUs) to optimize CT scan trajectories. Our approach exploits the flexibility of robotic CT systems to select projections that enhance image quality by improving resolution and contrast while reducing scan time. We focus on cone-beam CT and employ several projection-based metrics, including absorption, pixel intensities, contrast-to-noise ratio, and data completeness. The GRU network aims to minimize data redundancy and maximize completeness with a limited number of projections. We validate our method using simulated data of a test specimen, focusing on a specific voxel of interest. The results show that the GRU-optimized scan trajectories can outperform traditional circular CT trajectories in terms of image quality metrics. For the used specimen, SSIM improves from 0.38 to 0.49 and CNR increases from 6.97 to 9.08. This finding suggests that the application of GRU in CT scan trajectory optimization can lead to more efficient, cost-effective, and high-quality imaging solutions.


title: Content-Based Image Retrieval for Multi-Class Volumetric Radiology Images: A Benchmark Study

abstract: While content-based image retrieval (CBIR) has been extensively studied in natural image retrieval, its application to medical images presents ongoing challenges, primarily due to the 3D nature of medical images. Recent studies have shown the potential use of pre-trained vision embeddings for CBIR in the context of radiology image retrieval. However, a benchmark for the retrieval of 3D volumetric medical images is still lacking, hindering the ability to objectively evaluate and compare the efficiency of proposed CBIR approaches in medical imaging. In this study, we extend previous work and establish a benchmark for region-based and multi-organ retrieval using the TotalSegmentator dataset (TS) with detailed multi-organ annotations. We benchmark embeddings derived from pre-trained supervised models on medical images against embeddings derived from pre-trained unsupervised models on non-medical images for 29 coarse and 104 detailed anatomical structures in volume and region levels. We adopt a late interaction re-ranking method inspired by text matching for image retrieval, comparing it against the original method proposed for volume and region retrieval achieving retrieval recall of 1.0 for diverse anatomical regions with a wide size range. The findings and methodologies presented in this paper provide essential insights and benchmarks for the development and evaluation of CBIR approaches in the context of medical imaging.


title: Prompting-based Synthetic Data Generation for Few-Shot Question Answering

abstract: Although language models (LMs) have boosted the performance of Question Answering, they still need plenty of data. Data annotation, in contrast, is a time-consuming process. This especially applies to Question Answering, where possibly large documents have to be parsed and annotated with questions and their corresponding answers. Furthermore, Question Answering models often only work well for the domain they were trained on. Since annotation is costly, we argue that domain-agnostic knowledge from LMs, such as linguistic understanding, is sufficient to create a well-curated dataset. With this motivation, we show that using large language models can improve Question Answering performance on various datasets in the few-shot setting compared to state-of-the-art approaches. For this, we perform data generation leveraging the Prompting framework, suggesting that language models contain valuable task-agnostic knowledge that can be used beyond the common pre-training/fine-tuning scheme. As a result, we consistently outperform previous approaches on few-shot Question Answering.


title: Analytical Characterization of the Operational Diversity Order in Fading Channels

abstract: We introduce and characterize the operational diversity order (ODO) in fading channels, as a proxy to the classical notion of diversity order at any arbitrary operational signal-to-noise ratio (SNR). Thanks to this definition, relevant insights are brought up in a number of cases: (i) We quantify that in line-of-sight scenarios an increased diversity order is attainable compared to that achieved asymptotically; (ii) this effect is attenuated, but still visible, in the presence of an additional dominant specular component; (iii) we confirm that the decay slope in Rayleigh product channels increases very slowly and never fully achieves unitary slope for finite values of SNR.


title: Imaginary quadratic fields $F$ with $X_0(15)(F)$ finite

abstract: Caraiani and Newton have proven that if $F$ is an imaginary quadratic number field such that $X_0(15)$ has rank $0$ over $F$, then every elliptic curve over $F$ is modular. This paper is concerned with the quadratic fields $F=\mathbb{Q}(\sqrt{-p})$ for a prime number $p$. We give explicit conditions on $p$ under which the rank is $0$, and prove that these conditions are satisfied for $87,5\%$ of the primes for which the rank is expected to be even based on the parity conjecture. We also show these conditions are satisfied if and only if rank $0$ follows from a $4$-descent over $\mathbb{Q}$ on the quadratic twist $X_0(15)_{-p}$. To prove this, we perform two consecutive $2$-descents and prove this gives rank bounds equivalent to those obtained from a $4$-descent using visualisation techniques for $\mathrm{Sha}[2]$. In fact we prove a more general connection between higher descents for elliptic curves which seems interesting in its own right.


title: Interval Selection in Sliding Windows

abstract: We initiate the study of the Interval Selection problem in the (streaming) sliding window model of computation. In this problem, an algorithm receives a potentially infinite stream of intervals on the line, and the objective is to maintain at every moment an approximation to a largest possible subset of disjoint intervals among the $L$ most recent intervals, for some integer $L$. We give the following results: - In the unit-length intervals case, we give a $2$-approximation sliding window algorithm with space $\tilde{\mathrm{O}}(|OPT|)$, and we show that any sliding window algorithm that computes a $(2-\varepsilon)$-approximation requires space $\Omega(L)$, for any $\varepsilon > 0$. - In the arbitrary-length case, we give a $(\frac{11}{3}+\varepsilon)$-approximation sliding window algorithm with space $\tilde{\mathrm{O}}(|OPT|)$, for any constant $\varepsilon > 0$, which constitutes our main result. We also show that space $\Omega(L)$ is needed for algorithms that compute a $(2.5-\varepsilon)$-approximation, for any $\varepsilon > 0$. Our main technical contribution is an improvement over the smooth histogram technique, which consists of running independent copies of a traditional streaming algorithm with different start times. By employing the one-pass $2$-approximation streaming algorithm by Cabello and P\'{e}rez-Lantero [Theor. Comput. Sci. '17] for \textsf{Interval Selection} on arbitrary-length intervals as the underlying algorithm, the smooth histogram technique immediately yields a $(4+\varepsilon)$-approximation in this setting. Our improvement is obtained by forwarding the structure of the intervals identified in a run to the subsequent run, which constrains the shape of an optimal solution and allows us to target optimal intervals differently.


title: Optimal information acquisition for eliminating estimation risk

abstract: This paper diverges from previous literature by considering the utility maximization problem in the context of investors having the freedom to actively acquire additional information to mitigate estimation risk. We derive closed-form value functions using CARA and CRRA utility functions and establish a criterion for valuing extra information through certainty equivalence, while also formulating its associated acquisition cost. By strategically employing variational methods, we explore the optimal acquisition of information, taking into account the trade-off between its value and cost. Our findings indicate that acquiring earlier information holds greater worth in eliminating estimation risk and achieving higher utility. Furthermore, we observe that investors with lower risk aversion are more inclined to pursue information acquisition.


title: Laser Printing of Silver and Silver Oxide

abstract: We show that direct laser writing (DLW) in aqueous silver nitrate with a 1030 nm femtosecond (fs) laser results in deposition of a mixture of silver oxide and silver, in contrast to the pure silver deposition previously reported with 780 nm fs DLW. However, adding photoinitiator prevents silver oxide formation in a concentration-dependent manner. As a result, the resistivity of the material can also be controlled by photoinitiator concentration with resistivity being reduced from approximately 9e-3 $\Omega m$ to 3e-7 $\Omega m$. Silver oxide peaks dominate the X-ray diffraction spectra when no photoinitiator is present, while the peaks disappear with photoinitiator concentrations above 0.05wt%. While femtosecond pulses are needed to initiate deposition, a continues-wave laser when well overlapped with the previously written material and supplying enough average power can lead to further printing, suggesting thermal deposition can also occur where the photoinitiator molecule also acts as a general reducing agent that prevents oxide formation. We also compare the surface quality of printed lines for different photoinitiator concentrations and laser printing conditions. A THz polarizer and metamaterial are printed as a demonstration of silver oxide printing.


title: Large Language Model Bias Mitigation from the Perspective of Knowledge Editing

abstract: Existing debiasing methods inevitably make unreasonable or undesired predictions as they are designated and evaluated to achieve parity across different social groups but leave aside individual facts, resulting in modified existing knowledge. In this paper, we first establish a new bias mitigation benchmark BiasKE leveraging existing and additional constructed datasets, which systematically assesses debiasing performance by complementary metrics on fairness, specificity, and generalization. Meanwhile, we propose a novel debiasing method, Fairness Stamp (FAST), which enables editable fairness through fine-grained calibration on individual biased knowledge. Comprehensive experiments demonstrate that FAST surpasses state-of-the-art baselines with remarkable debiasing performance while not hampering overall model capability for knowledge preservation, highlighting the prospect of fine-grained debiasing strategies for editable fairness in LLMs.


title: Progressive Depth Decoupling and Modulating for Flexible Depth Completion

abstract: Image-guided depth completion aims at generating a dense depth map from sparse LiDAR data and RGB image. Recent methods have shown promising performance by reformulating it as a classification problem with two sub-tasks: depth discretization and probability prediction. They divide the depth range into several discrete depth values as depth categories, serving as priors for scene depth distributions. However, previous depth discretization methods are easy to be impacted by depth distribution variations across different scenes, resulting in suboptimal scene depth distribution priors. To address the above problem, we propose a progressive depth decoupling and modulating network, which incrementally decouples the depth range into bins and adaptively generates multi-scale dense depth maps in multiple stages. Specifically, we first design a Bins Initializing Module (BIM) to construct the seed bins by exploring the depth distribution information within a sparse depth map, adapting variations of depth distribution. Then, we devise an incremental depth decoupling branch to progressively refine the depth distribution information from global to local. Meanwhile, an adaptive depth modulating branch is developed to progressively improve the probability representation from coarse-grained to fine-grained. And the bi-directional information interactions are proposed to strengthen the information interaction between those two branches (sub-tasks) for promoting information complementation in each branch. Further, we introduce a multi-scale supervision mechanism to learn the depth distribution information in latent features and enhance the adaptation capability across different scenes. Experimental results on public datasets demonstrate that our method outperforms the state-of-the-art methods. The code will be open-sourced at [this https URL](https://github.com/Cisse-away/PDDM).


title: On the number of infinite clusters in the constrained-degree percolation model

abstract: We consider constrained-degree percolation model on the hypercubic lattice \linebreak $\mathbb{L}^d=(\mathbb{Z}^d,\mathbb{E}^d)$. In this model, there exits a sequence $(U_e)_{e\in\mathbb{E}^d}$ of i.i.d. random variables with distribution $Unif([0,1])$ and a positive integer $k$, which is called a constraint. Each edge $e$ attempts to open at time $U_e$, and the attempt is successful if the number of neighboring edges open at each endvertex of $e$ is at most $k-1$. In \cite{hartarsky2022weakly}, the authors demonstrated that this model undergoes a phase transition when $d\geq3$ and for most nontrivial values of $k$. In the present work, we prove that, for any fixed constraint, the number of infinite clusters at any given time $t\in[0,1)$ is either 0 or 1, almost surely.


title: Measurements of Building Attenuation in 450 MHz LTE Networks

abstract: This work reports on a measurement study to estimate the attenuation of 450 MHz LTE networks. The LTE band 72 is currently deployed in Germany, in particular for smart grid applications. Due to this use-case, we assume that a significant amount of future devices will be deployed stationary and indoor which motivated our campaign. We designed a custom measurement device which uses commercial off-the-shelf hardware to assess the downlink RSRP of a public mobile network. In addition, a software has been developed to provide non-experts the possibility to conduct these measurements in the future. This software provides the possibility to determine the indoor position based on ground plans. We conducted measurements at three different buildings. Our results reveal, that the building attenuation of 450 MHz LTE networks is highly heterogeneous and mainly depends on the type of the building, the indoor position and in particular the height of the floor where the device is located.


title: Comparative Performance of Fluorite-Structured Materials for Nanosupercapacitor Applications

abstract: Over the last fifteen years, ferroelectric and antiferroelectric ultra thin films based on fluorite-structured materials have drawn significant attention for a wide variety of applications requiring high integration density. Antiferroelectric $ZrO_2$, in particular, holds significant promise for nanosupercapacitors, owing to its potential for high energy storage density (ESD) and high efficiency ($\eta$). This work assesses the potential of high-performance $Hf_{1-x}Zr_{x}O_2$ thin films encapsulated by TiN electrodes that show linear dielectric (LD), ferroelectric (FE), and antiferroelectric (AFE) behavior. Oxides on silicon are grown by magnetron sputtering and plasma-enhanced atomic layer deposition. ESD and $\eta$ are compared for FE, AFE, and LD samples at the same electrical field (3.5 MV/cm). As expected, ESD is higher for the FE sample ($95 J/cm^3$), but $\eta$ is ridiculously small ($\approx$ 55%), because of the opening of the FE hysteresis curve inducing high loss. Conversely, LD samples exhibit the highest efficiency (nearly 100%), at the expense of a lower ESD. AFE $ZrO_2$ thin film strikes a balance between FE and LD behavior, showing reduced losses compared to the FE sample but an ESD as high as $52 J/cm^3$ at 3.5 MV/cm. This value can be further increased up to $84 J/cm^3$ at a higher electrical field (4.0 MV/cm), with an $\eta$ of 75%, among the highest values reported for fluorite-structured materials, offering promising perspectives for future optimization.


title: Full-wave EM simulation analysis of human body blockage by dense 2D antenna arrays

abstract: Recently, proposals of human-sensing-based services for cellular and local area networks have brought indoor localization to the attention of several research groups. In response to these stimuli, various Device-Free Localization (DFL) techniques, also known as Passive Localization methods, have emerged by exploiting ambient signals to locate and track individuals that do not carry any electronic device. This study delves into human passive indoor localization through full-wave electromagnetic simulations. For the scope, we exploit simulations from the commercial tool FEKO software that employs the Method of Moments (MoM). In particular, we collect and analyze the electric field values in a scenario constituted by a dense 2D/3D deployment of receivers in the presence of an anthropomorphic mobile target. The paper describes in detail the collected dataset and provides a first analysis based on a statistical approach. Possible use cases are also investigated through examples in the context of passive localization, sensing, and imaging.


title: Tip-leakage-flow excited unsteadiness and associated control

abstract: Tip leakage flow in turbomachinery inherently generates intense unsteady features, named self-excited unsteadiness, which has not been well understood. A Zonalised LES (ZLES) is employed around a linear cascade, with wall-modelled Large Eddy Simulation (LES) forced to be active in the tip region. The simulation is well validated and demonstrated the advantages of effectively reducing the computational effort while maintaining an equivalent prediction accuracy in the region of interest. The time-averaged and spatial-spectral characteristics of tip leakage vortex (TLV) structures are systematically discussed. The self-excited unsteady processes of TLV include unsteady vortex separation inside the tip gap, the tip leakage jet-mainstream interaction, the primary tip leakage vortex (PTLV) wandering motion and the induced separation near endwall. The Spectral Proper Orthogonal Decomposition (SPOD) is used to examine the dominant frequencies and their coherent structures. It is found that these unsteady features change from a single high-frequency mode to a multiple lower-frequencies mode due to the PTLV breakdown. The SPOD and correlation analyses reveal that the self-excited unsteadiness is mainly induced by the interactions between unsteady vortex separation, tip leakage jet, and mainstream. The associated unsteady fluctuations are convected along the tip leakage jet trajectory, causing the wandering motion of PTLV core. Based on the cause of the investigated unsteadiness, a micro-offset tip design is proposed and validated for effectively suppressing this unsteadiness, and associated turbulence generation and hence pressure fluctuations. This work improves the understanding of tip-leakage-flow dynamics and informs the control of the associated unsteady fluid oscillation and noise.


title: Classical Mechanics in Noncommutative Spaces: Confinement and More

abstract: We consider a semi-classical approximation to the dynamics of a point particle in a noncommutative space. In this approximation, the noncommutativity of space coordinates is described by a Poisson bracket. For linear Poisson brackets, the corresponding phase space is given by the cotangent bundle of a Lie group, with the Lie group playing the role of a curved momentum space. We show that the curvature of the momentum space may lead to rather unexpected physical phenomena such as an upper bound on the velocity of a free nonrelativistic particle, bounded motion for repulsive central force, and no-fall-into-the-centre for attractive Coulomb potential. We also consider a superintegrable Hamiltonian for the Kepler problem in $3$-space with $su(2)$ noncommutativity. The leading correction to the equations of motion due to noncommutativity is shown to be described by an effective monopole potential.


title: Optimal constants of smoothing estimates for the 3D Dirac equation

abstract: Recently, Ikoma (2022) considered optimal constants and extremisers for the $2$-dimensional Dirac equation using the spherical harmonics decomposition. Though its argument is valid in any dimensions $d \geq 2$, the case $d \geq 3$ remains open since it leads us to too complicated calculation: determining all eigenvalues and eigenvectors of infinite dimensional matrices. In this paper, we give optimal constants and extremisers of smoothing estimates for the $3$-dimensional Dirac equation. In order to prove this, we construct a certain orthonormal basis of spherical harmonics. With respect to this basis, infinite dimensional matrices actually become block diagonal and so that eigenvalues and eigenvectors can be easily found. As applications, we obtain the equivalence of the smoothing estimate for the Schr\"{o}dinger equation and the Dirac equation, and improve a result by Ben-Artzi and Umeda (2021).


title: Digging into the ultraviolet luminosity functions of galaxies at high redshifts: galaxies evolution, reionization, and cosmological parameters

abstract: Thanks to the successful performance of the James Webb Space Telescope, our understanding of the epoch of reionization of the Universe has been advanced. The ultraviolet luminosity functions (UV LFs) of galaxies span a wide range of redshift, not only revealing the connection between galaxies and dark matter (DM) halos but also providing the information during reionization. In this work, we develop a model connecting galaxy counts and apparent magnitude based on UV LFs, which incorporates redshift-dependent star formation efficiency (SFE) and corrections for dust attenuation. By synthesizing some observations across the redshift range $4\le z \le 10$ from various galaxy surveys, we discern the evolving SFE with increasing redshift and DM halo mass through model fitting. Subsequent analyses indicate that the Thomson scattering optical depth was $\tau_{\rm e} = 0.052^{+0.003}_{-0.002}$ and the epoch of reionization started (ended) at $z=20.58^{+6.25}_{-6.75}$ ($z=5.38^{+0.65}_{-0.70}$) which is insensitive to the choice of the truncated magnitude of the UV LFs. Incorporating additional dataset and some reasonable constraints, the amplitude of matter perturbation is found to be $\sigma_8=0.79\pm0.05$, which is consistent with the standard $\Lambda$CDM model. Future galaxy surveys and the dynamical simulations of galaxy evolution will break the degeneracy between SFE and cosmological parameters, improving the accuracy and the precision of the UV LF model further.